Аналитические функции

2004 год, опрос математического журнала среди 65 000 читателей: «самая красивая формула математики». Победитель - $e^{i\pi} + 1 = 0$. Пять фундаментальных констант, три операции, ноль лишних символов. И она объясняет, почему трансформеры используют $\sin$ и $\cos$ для позиционных эмбеддингов (RoPE - это буквально $e^{i\theta}$ в 2D). Голоморфные функции - это класс, которому принадлежит $e^{iz}$. Дифференцируемые в комплексном смысле один раз - они автоматически дифференцируемы бесконечно. Одно условие, лавина следствий.

• **MRI и k-пространство**: k-пространство в МРТ - прямая область Фурье. Голоморфные функции описывают аналитический сигнал; восстановление изображения мозга - обратный FFT от комплексных измерений.
• **Комплексные нейросети (CVNN)**: применяются в обработке радарных сигналов и МРТ-реконструкции. Оптимизация через производные Виртингера - прямое обобщение условий Коши-Римана.
• **Аэродинамика Жуковского**: преобразование $z + 1/z$ превращает окружность в профиль крыла - один из первых промышленных расчётов на базе конформных отображений.
• **Картография**: проекция Меркатора - конформное отображение сферы на плоскость. Углы сохранены; моряки 400 лет прокладывали по ней курсы.

Предварительные знания

• Комплексные числа и функции

Голоморфные функции

PyTorch с версии 1.7 поддерживает комплексные тензоры. В документации к `torch.autograd` для них особо оговаривается: градиент вычисляется по правилам Виртингера - не обычного вещественного исчисления. Причина - именно то понятие, которое изучается в этом уроке: комплексная дифференцируемость накладывает на функцию ограничения, которых нет в вещественном случае. И за это ограничение функция получает невероятные свойства.

Формально производная комплексной функции - тот же предел, что и в вещественном анализе: $f'(z_0) = \lim_{\Delta z \to 0} \frac{f(z_0 + \Delta z) - f(z_0)}{\Delta z}$. Но есть принципиальная разница. В $\mathbb{R}$ предел берётся слева или справа - два направления. В $\mathbb{C}$ точка $\Delta z$ может стремиться к нулю **по любому пути на плоскости**: горизонтально, вертикально, по спирали, по любой кривой. И предел обязан быть одним и тем же для всех путей.

Функция $f: \mathbb{C} \to \mathbb{C}$ называется **голоморфной** (аналитической) в точке $z_0$, если предел $f'(z_0) = \lim_{\Delta z \to 0} \frac{f(z_0 + \Delta z) - f(z_0)}{\Delta z}$ существует и не зависит от пути, по которому $\Delta z \to 0$. Функция голоморфна в области, если голоморфна в каждой её точке.

Требование невероятно жёсткое. Большинство «естественных» функций из $\mathbb{R}^2 \to \mathbb{R}^2$ не проходят проверку. Функция $f(z) = \bar{z}$ (сопряжение) - гладкая в вещественном смысле, но не голоморфна. По горизонтали $(\Delta z = \Delta x)$ предел равен 1, по вертикали $(\Delta z = i \Delta y)$ - равен -1. Производная зависит от направления - провал.

Голоморфность - это пропуск в элиту. Функция, однажды дифференцируемая в комплексном смысле, автоматически становится **бесконечно дифференцируемой**, разложимой в степенной ряд, полностью определённой значениями на любой кривой. В вещественном анализе ничего подобного нет: $f$ может иметь первую производную, но не иметь второй. В комплексном - одно влечёт всё.

Условия Коши-Римана

Проверять голоморфность через предел по всем направлениям - практически невозможно. Но есть способ лучше. Запишем $f(z) = u(x,y) + iv(x,y)$, где $z = x + iy$. Требование «предел не зависит от пути» эквивалентно двум дифференциальным уравнениям - **условиям Коши-Римана**. Бесконечность направлений сжимается до двух уравнений.

Условия Коши-Римана: функция $f = u + iv$ голоморфна тогда и только тогда, когда **(1) $\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$** и **(2) $\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$**, и при этом частные производные непрерывны.

Интуиция за условиями Коши-Римана: они гарантируют, что $f$ «согласовано» смотрит на вещественную и мнимую части одновременно. Именно это имеется в виду, когда в документации PyTorch пишут про «Wirtinger derivatives» для комплексных тензоров - это обобщение идеи Коши-Римана на случай, когда функция не обязана быть голоморфной, но градиент всё равно нужен.

Условия Коши-Римана дают формулу для производной: $f'(z) = \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x} = \frac{\partial v}{\partial y} - i \frac{\partial u}{\partial y}$. Не нужно брать предел по бесконечному числу направлений - достаточно вычислить частные производные в одной точке.

Гармонические функции

Из условий Коши-Римана следует нечто неожиданное. Если $f = u + iv$ голоморфна, то $u$ и $v$ по отдельности удовлетворяют **уравнению Лапласа** $\Delta u = 0$. Дифференцирование условий Коши-Римана и сложение - два шага, и доказательство готово. Но физический смысл выходит далеко за пределы анализа.

Уравнение Лапласа: $\Delta u = \frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0$. Функция, удовлетворяющая этому уравнению, называется **гармонической**. Если $f = u + iv$ голоморфна, то $u$ и $v$ - гармонические функции. Функция $v$ называется **гармонически сопряжённой** к $u$.

Уравнение Лапласа описывает **стационарные** физические процессы: температуру в тепловом равновесии, электрический потенциал в вакууме, давление в несжимаемой жидкости. Это не случайное совпадение - голоморфные функции буквально **решают физические задачи** в двух измерениях. Нужен электрический потенциал вокруг цилиндра? Возьмите $\text{Re}(\log z)$. Нужен поток жидкости? Возьмите $\text{Im}(z^2)$.

Конформные отображения

Голоморфные функции обладают замечательным геометрическим свойством. Если две кривые пересекаются в точке $z_0$ под углом $\alpha$, их образы под действием голоморфной $f$ пересекаются под тем же углом $\alpha$ в точке $f(z_0)$ - при условии $f'(z_0) \neq 0$. Такие отображения называются **конформными** - сохраняющими углы.

Конформное отображение: голоморфная $f$ с $f'(z_0) \neq 0$ локально действует как **поворот на $\arg(f'(z_0))$** и **масштабирование на $|f'(z_0)|$**. Углы между кривыми и их ориентация сохраняются. В критических точках ($f'(z_0) = 0$) конформность нарушается.

Конформность - ключевой инструмент прикладного комплексного анализа. Уравнение Лапласа нужно решить в области сложной формы? Найдите конформное отображение этой области в единичный круг, решите там (а решения в круге хорошо известны), затем «верните» ответ. Вся гидродинамика и аэродинамика XX века использовала именно этот приём.

Вернёмся к началу. Голоморфность определялась как дифференцируемость по всем направлениям - одно требование. Из него вытекают: условия Коши-Римана, гармоничность вещественной и мнимой частей, бесконечная дифференцируемость, разложение в степенной ряд, конформность. В вещественном анализе каждое из этих свойств - отдельное допущение. В комплексном - одно влечёт все остальные.

Ключевые идеи

• **Голоморфность** - комплексная дифференцируемость: предел $(f(z+h)-f(z))/h$ не зависит от направления $h \to 0$. Требование одно - следствий лавина.
• **Условия Коши-Римана**: $\partial u/\partial x = \partial v/\partial y$ и $\partial u/\partial y = -\partial v/\partial x$ - бесконечность направлений сводится к двум уравнениям.
• **Гармоничность**: $\Delta u = \Delta v = 0$ - вещественная и мнимая части голоморфной функции решают уравнение Лапласа. Так строится теория поля и гидродинамика.
• **Конформность**: голоморфная $f$ с $f'(z_0) \neq 0$ локально является поворотом + масштабом. Углы сохраняются. Сложные области отображаются в простые - аэродинамика Жуковского.

Связанные темы

Аналитические функции - основа для мощных теорем комплексного анализа:

• Комплексные числа и функции — Элементарные функции - первые примеры голоморфных функций
• Комплексное интегрирование — Интегральная теорема Коши - прямое следствие голоморфности
• Ряды Тейлора и Маклорена — В C голоморфность равносильна разложимости в степенной ряд

Вопросы для размышления

• Условия Коши-Римана - ровно два уравнения. Сколько «степеней свободы» теряет вещественная функция $\mathbb{R}^2 \to \mathbb{R}^2$, становясь голоморфной? Какой это процент от исходного «пространства функций»?
• По заданной гармонической $u(x,y)$ всегда ли можно найти сопряжённую $v(x,y)$? Что мешает на многосвязной области (например, плоскость с вырезанной точкой)?
• Проекция Меркатора конформна, но искажает площади (Гренландия выглядит как Африка). Теорема Гаусса-Бонне утверждает, что конформная и равноплощадная проекция сферы на плоскость одновременно невозможна. Почему?

Связанные уроки

• ca-01 — Комплексные числа и элементарные функции - база урока
• ca-03 — Голоморфность - фундамент интегральной теоремы Коши
• calc-16-taylor — Ряд Тейлора: в C это следствие голоморфности, не допущение
• calc-18-partial — Условия Коши-Римана - система уравнений на частные производные
• calc-06-derivative-intro