Функции комплексного переменного

Мотивация: зачем расширять ℝ до ℂ?

Во многих задачах вещественного анализа — вычисление интегралов вида ∫₋∞^∞ dx/(1+x²), решение дифференциальных уравнений, теория потенциала — ответ удивительно прост, но получить его «в лоб» трудно. Оказывается, все эти задачи прозрачно решаются, если расширить числовую прямую до комплексной плоскости. Комплексный анализ — теория функций комплексного переменного — раскрывает глубинную структуру, скрытую за вещественными числами.

Комплексная плоскость

Комплексное число z = x + iy отождествляется с точкой (x, y) плоскости ℝ². Здесь x = Re z — вещественная часть, y = Im z — мнимая часть, i — мнимая единица (i² = −1).

Модуль: |z| = √(x² + y²) — расстояние от начала координат. Аргумент: arg z = arctg(y/x) — угол с положительной полуосью (определён с точностью до 2πk). Сопряжённое число: z̄ = x − iy. Важно: z·z̄ = |z|².

Функция f: ℂ → ℂ — это отображение плоскости в плоскость: f(z) = u(x,y) + iv(x,y), где u и v — вещественнозначные функции двух вещественных переменных. Например, f(z) = z² = (x+iy)² = x²−y² + 2ixy, значит u = x²−y², v = 2xy.

Дифференцируемость и условия Коши–Римана

Функция f дифференцируема в точке z₀, если предел f'(z₀) = lim_{h→0} (f(z₀+h)−f(z₀))/h существует при h → 0 по любому пути в ℂ. Это намного жёстче вещественной дифференцируемости: предел не зависит от направления.

Взяв h → 0 по вещественной оси (h = Δx) и по мнимой (h = iΔy), и приравняв результаты, получаем условия Коши–Римана (КР): ∂u/∂x = ∂v/∂y, ∂u/∂y = −∂v/∂x.

При непрерывности частных производных: f дифференцируема ⟺ условия КР выполнены.

Производная: f'(z) = ∂u/∂x + i∂v/∂x = ∂v/∂y − i∂u/∂y.

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

Функция f голоморфна (аналитична) в области D, если она дифференцируема в каждой точке D. Это крайне жёсткое требование: в вещественном анализе бесконечная дифференцируемость ≠ аналитичность (существуют C^∞-функции с нулевым рядом Тейлора). В комплексном случае однократная дифференцируемость ⟹ бесконечная дифференцируемость и разложение в степенной ряд!

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

Из условий КР и дифференцируемости u и v следует: Δu = ∂²u/∂x² + ∂²u/∂y² = 0 (уравнение Лапласа).

Функция u называется гармонической; v — сопряжённой гармонической. Таким образом, вещественная и мнимая части голоморфной функции — гармонические функции. Это связывает ТФКП с теорией потенциала и физикой: температура в стационарном тепловом поле, электрический потенциал — гармонические функции.

Элементарные функции

Экспонента: eᶻ = eˣ(cos y + i sin y). Периодична с периодом 2πi: e^{z+2πi} = eᶻ. Заметим: |eᶻ| = eˣ > 0, arg eᶻ = y.

Тригонометрические: sin z = (eⁱᶻ − e⁻ⁱᶻ)/(2i), cos z = (eⁱᶻ + e⁻ⁱᶻ)/2. Они неограничены на ℂ!

Логарифм: ln z = ln|z| + i arg z — многозначная функция. Главное значение Ln z выбирается при arg z ∈ (−π, π].

Степень: z^α = e^{α ln z} — многозначна при α ∉ ℤ.

Численный пример

Задача: Проверить, является ли f(z) = z² голоморфной. Проверить, является ли g(z) = |z|² = x² + y² голоморфной.

Шаг 1. Для f(z) = z²: u = x² − y², v = 2xy. ∂u/∂x = 2x, ∂v/∂y = 2x ✓ ∂u/∂y = −2y, −∂v/∂x = −2y ✓ Условия КР выполнены всюду → f(z) = z² голоморфна на ℂ. Производная f'(z) = 2x + i·2y = 2(x+iy) = 2z — совпадает с обычным правилом дифференцирования.

Шаг 2. Для g(z) = |z|² = x² + y²: u = x² + y², v = 0. ∂u/∂x = 2x, ∂v/∂y = 0. Условие КР: 2x = 0 → только при x = 0. ∂u/∂y = 2y, −∂v/∂x = 0. Условие КР: 2y = 0 → только при y = 0. Условия КР выполнены лишь в точке z = 0. Следовательно, g(z) = |z|² не голоморфна (хотя как функция (x,y) бесконечно дифференцируема!). Это иллюстрирует жёсткость условий комплексной дифференцируемости.

Вывод: Зависимость от z̄ (как в g = zz̄) нарушает голоморфность. Голоморфные функции зависят только от z, но не от z̄.

Реальное приложение

Аэродинамика и гидродинамика: скорость идеальной несжимаемой жидкости описывается парой гармонических функций (потенциал и функция тока), образующих голоморфную функцию. Конформные отображения (следствие голоморфности) позволяют пересчитывать обтекание сложных профилей к простым геометриям.

Связь с другими разделами математики

Теория функций комплексного переменного тесно переплетена с дифференциальными уравнениями. Решения уравнения Лапласа и уравнения теплопроводности в двумерном случае описываются гармоническими и аналитическими функциями; классический подход Жака Адамара и Рихарда Курта для задач Дирихле опирается на свойства голоморфных функций и принцип максимума. Метод комплексных характеристик используется при анализе уравнений в частных производных эллиптического типа.

С алгеброй комплексный анализ связывают, например, теорема Гаусса о полной факторизации многочленов над комплексными числами и теорема Руше, позволяющая считать корни внутри контура. Эти идеи переходят в функциональный анализ: спектральная теорема для нормальных операторов и функциональный исчислитель (Рис, фон Нейман) строятся на аналитических функциях и интегралах по контуру.

Топологическая сторона проявляется в теореме аргумента и теореме Римана–Гурвица, где число нулей и полюсов связывается с индексом отображения и характеристикой Эйлера. Основывает это направление теория Римановых поверхностей, развитая Бернхардом Риманом и затем Германом Вейлем: многозначные функции (корень, логарифм) интерпретируются как однозначные на подходящих многообразиях.

В теории вероятностей ключевой мостик – плоское броуновское движение и мартинигалы. Через теорему Гарнака и свойства гармонических функций описываются hitting probabilities, а конформные отображения используются в стохастической лёвнеровской эволюции (Oded Schramm, 2000-е годы). В численном анализе методы квадратур Гаусса, алгоритмы вычисления специальных функций и устойчивые схемы решения сингулярных интегральных уравнений (работы Гаакона Ловаса, Карлсона) основаны на представлении решений через комплексные интегралы и разложения.

Историческая справка и развитие идеи

Зачатки комплексного анализа восходят к XVI веку, когда Джироламо Кардано и Рафаэль Бомбелли при решении кубических уравнений столкнулись с “мнимыми” числами. Первые осмысленные геометрические интерпретации появились у Каспара Весселя (1799) и Жана-Робера Аргана (1806), хотя широкое признание получила работа Карла Фридриха Гаусса “Theoria residuorum biquadraticorum” и его трактовка комплексной плоскости.