Комплексное интегрирование

Консервативное поле: обошли замкнутый контур - работа ноль. Всё честно. Но в комплексном анализе картина другая: обход замкнутого контура вокруг полюса даёт $2\pi i \cdot \text{Res}$, а не ноль. Именно эта «ненулевость» - оружие. Теорема вычетов позволяет вычислять $\int_{-\infty}^{\infty} \frac{\sin x}{x}\,dx = \pi$ через контур в комплексной плоскости за три строки, хотя в вещественном анализе первообразная не выражается через элементарные функции. FFT работает потому что DFT-коэффициенты - это вычеты в точках $e^{2\pi ik/n}$. Контурное интегрирование - это не абстракция: это движок за большей частью цифровой обработки сигналов.

• **FFT и обработка сигналов** - DFT-коэффициенты это дискретные вычеты; формула Коши объясняет почему FFT работает на единичной окружности
• **Z-преобразование в DSP** - полюса z-преобразования определяют стабильность цифрового фильтра; теорема Коши - теоретическая основа анализа устойчивости
• **Квантовая химия** - CCSD, MP2 и методы Green's function вычисляют поправки энергии через контурные интегралы в пространстве комплексных частот
• **Обратное преобразование Лапласа** - вычисляется как контурный интеграл Бромвича; основа теории управления и анализа линейных систем

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

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

Контурный интеграл

В сигнальной обработке FFT за $O(n \log n)$ вычисляет коэффициенты разложения. Внутри - интеграл по единичной окружности в комплексной плоскости. Именно это и есть контурный интеграл: интеграл комплексной функции вдоль кривой на плоскости, а не просто по отрезку числовой прямой.

Пусть $\gamma: [a,b] \to \mathbb{C}$ - параметризация кривой, $\gamma(t) = x(t) + iy(t)$. Контурный интеграл: $\int_{\gamma} f(z)\,dz = \int_a^b f(\gamma(t)) \cdot \gamma'(t)\,dt$. Результат - комплексное число. Замкнутый контур обозначается $\oint$.

$\oint dz/z = 2\pi i \neq 0$ - хотя $1/z$ голоморфна прямо на окружности. Причина: внутри контура сидит особенность $z = 0$, и интеграл её «чувствует». Это и есть главный механизм всей теории: контурный интеграл считает сингулярности, которые остались внутри обхода.

DSP-связь прямая. DFT-коэффициент $c_k = \frac{1}{n} \sum_{j=0}^{n-1} x_j e^{-2\pi i jk/n}$ - это дискретный аналог контурного интеграла по единичной окружности. FFT просто вычисляет все $n$ коэффициентов сразу, используя симметрию. Коши в 1825 году дал непрерывную версию того, что Гаусс считал вручную для орбит планет.

Интегральная теорема Коши

Стабильность цифрового фильтра в DSP определяется расположением полюсов z-преобразования: полюс ВНУТРИ единичного круга означает стабильность (импульсный отклик затухает), снаружи - нестабильность (отклик растёт). Это прямое следствие теоремы Коши: если $f$ голоморфна внутри и на замкнутом контуре $\gamma$, то $\oint_{\gamma} f(z)\,dz = 0$. Нет полюсов внутри - нет «энергии» в контуре.

Теорема Коши (1825): пусть $f$ голоморфна в односвязной области $D$, $\gamma$ - замкнутый контур в $D$. Тогда $\oint_{\gamma} f(z)\,dz = 0$. Односвязная = без «дырок». Дырка с полюсом внутри нарушает условие и интеграл становится ненулевым.

Аналогия с физикой точная. В потенциальном поле работа по замкнутому контуру равна нулю - поле консервативное. Теорема Коши говорит то же самое для голоморфных функций: они «консервативны» в комплексном смысле. Как только появляется особенность, консервативность нарушается и интеграл по замкнутому контуру ненулевой - ровно на $2\pi i \cdot \text{Res}$.

Интегральная формула Коши

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

Интегральная формула Коши: если $f$ голоморфна внутри и на замкнутом контуре $\gamma$, а точка $a$ лежит внутри $\gamma$, то $f(a) = \frac{1}{2\pi i} \oint_{\gamma} \frac{f(z)}{z-a}\,dz$. Значение функции внутри полностью определяется значениями на границе.

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

Из формулы Коши следует каскад. Теорема Лиувилля: ограниченная целая функция (голоморфна на всей $\mathbb{C}$) - константа. Из Лиувилля - основная теорема алгебры: каждый полином степени $n \geq 1$ имеет корень в $\mathbb{C}$. Одна формула, и целый пласт математики становится следствием.

Независимость от пути

Из теоремы Коши вытекает следующее: если $f$ голоморфна в односвязной области, то $\int_{\gamma} f(z)\,dz$ зависит только от начальной и конечной точек пути - не от самого пути. Ровно как работа в потенциальном поле: от $A$ до $B$ прямо или по дуге - разница нулевая.

Три эквивалентных условия для $f$ голоморфной в односвязной области $D$: 1. $\oint_{\gamma} f(z)\,dz = 0$ для любого замкнутого $\gamma$ в $D$ 2. Интеграл $\int_{\gamma} f(z)\,dz$ не зависит от пути (только от концов) 3. $f$ имеет первообразную $F$ в $D$: $F'(z) = f(z)$

Это замыкает круг. Голоморфность порождает теорему Коши. Теорема Коши даёт независимость от пути. Независимость от пути гарантирует первообразную. Первообразная означает формулу Ньютона-Лейбница в комплексном анализе. Одно условие дифференцируемости по всем направлениям - и весь аппарат вещественного интегрирования переносится в $\mathbb{C}$ с усилением.

Теорема Коши объясняет почему FFT работает. Коэффициент ряда Фурье $c_k = \frac{1}{2\pi i} \oint_{|z|=1} \frac{f(z)}{z^{k+1}}\,dz$ - это буквально формула Коши для производной порядка $k$ в нуле. DFT берёт $n$ точек на единичной окружности вместо непрерывного интеграла. FFT вычисляет их за $O(n \log n)$ вместо $O(n^2)$ через симметрию единичных корней. За скоростью FFT стоит формула Коши 1825 года.

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

• **Контурный интеграл** $\oint_{\gamma} f(z)\,dz = \int_a^b f(\gamma(t))\gamma'(t)\,dt$ - интеграл комплексной функции вдоль кривой; результат - комплексное число
• **Теорема Коши**: $f$ голоморфна внутри и на $\gamma$ в односвязной области $\Rightarrow$ $\oint f\,dz = 0$; особенности внутри нарушают это
• **Формула Коши**: $f(a) = \frac{1}{2\pi i}\oint \frac{f(z)}{z-a}\,dz$ - значение внутри контура полностью определено значениями на границе
• **Независимость от пути**: голоморфность + односвязность $\Rightarrow$ интеграл зависит только от концов, существует первообразная, работает Newton-Leibniz

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

Контурное интегрирование - фундамент продвинутого комплексного анализа:

• Аналитические функции — Голоморфность - ключевое условие теоремы Коши
• Ряды Лорана и Тейлора — Ряды в комплексной плоскости строятся через формулу Коши
• Теорема вычетов — Следующий уровень: вычисление реальных интегралов через вычеты

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

• Почему $\oint dz/z^2 = 0$, хотя $1/z^2$ тоже имеет полюс в нуле? Вычет $1/z^2$ в нуле равен нулю - почему это меняет результат?
• Теорема Коши объясняет, что FFT-коэффициент $c_k$ это вычет в точке $e^{2\pi ik/n}$. Что происходит с этим вычетом при добавлении шума в сигнал?
• Из формулы Коши следует: голоморфная функция полностью определена граничными значениями. Это ограничение или мощь? Назовите задачу, где это ограничение становится преимуществом.

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

• ca-02 — Голоморфность - ключевое условие теоремы Коши
• ca-04 — Ряды Лорана строятся на базе формулы Коши
• ca-05 — Теорема вычетов - следующий уровень контурного интеграла
• calc-16-taylor — Ряд Тейлора в C следует из формулы Коши, а не постулируется
• calc-14-improper — Несобственные интегралы вычисляются через вычеты и контуры
• calc-11-definite