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

Мотивация: интегрирование как восстановление функции

В вещественном анализе интеграл по замкнутому контуру консервативного поля равен нулю. В комплексном анализе это же свойство — для голоморфных функций — порождает нечто намного более мощное: из значений функции на контуре можно точно восстановить значения во всех внутренних точках. Это интегральная формула Коши — центральный инструмент ТФКП.

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

Пусть γ: [a,b] → ℂ — гладкий путь, f: ℂ → ℂ — непрерывная функция:

∫_γ f(z) dz = ∫ₐᵇ f(γ(t))·γ'(t) dt.

Оценка: |∫γ f dz| ≤ max{z∈γ} |f(z)| · длина(γ).

Комплексный интеграл раскладывается: ∫_γ (u+iv)(dx+idy) = ∫_γ (u dx − v dy) + i∫_γ (v dx + u dy) — два вещественных криволинейных интеграла.

Теорема Коши

Теорема (Коши, 1825): Если f голоморфна в просто связной области D и γ — замкнутый путь в D:

∮_γ f(z) dz = 0.

Физический смысл: голоморфное «поле» f(z) — «потенциальное» (безвихревое). Его «работа» по любому замкнутому контуру равна нулю. Это аналог ротора равного нулю.

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

Теорема: Если f голоморфна в замкнутом круге D̄ = {|z−z₀| ≤ r} с границей γ = ∂D:

f(z₀) = (1/2πi) ∮_γ f(ζ)/(ζ−z₀) dζ, z₀ ∈ D.

Смысл: значение f в любой внутренней точке полностью определяется значениями на границе. Ядро 1/(ζ−z₀) называется ядром Коши.

Производные всех порядков:

f^(n)(z₀) = (n!/2πi) ∮_γ f(ζ)/(ζ−z₀)^{n+1} dζ.

Это означает: голоморфная функция бесконечно дифференцируема! Каждая производная — снова голоморфная функция. Принципиальное отличие от вещественного анализа.

Теорема Морера (обратная)

Если f непрерывна в D и ∮_△ f dz = 0 для каждого треугольника △ ⊂ D, то f голоморфна.

Неравенство Коши

|f^(n)(z₀)| ≤ n! M / rⁿ, где M = max_{|ζ−z₀|=r} |f(ζ)|.

Из этого неравенства при n = 1 и R → ∞ вытекает теорема Лиувилля.

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

Задача: Вычислить ∮_{|z|=2} (z² + 1)/(z − 1) dz.

Шаг 1. f(z) = z² + 1, особая точка z₀ = 1 лежит внутри круга |z| = 2.

Шаг 2. По интегральной формуле Коши: ∮_{|z|=2} (z² + 1)/(z − 1) dz = 2πi · f(1), где f(z) = z² + 1.

Шаг 3. f(1) = 1² + 1 = 2.

Результат: ∮ = 2πi · 2 = 4πi.

Проверка через разложение: (z²+1)/(z−1) = (z+1) + 2/(z−1). Интеграл ∮(z+1)dz = 0 (целая функция по теореме Коши). Интеграл ∮ 2/(z−1) dz = 2 · 2πi = 4πi ✓.

Второй пример: Найти f''(0) через формулу Коши для производной. f''(0) = (2!/2πi) ∮{|z|=2} (z²+1)/z³ dz = (1/πi) · 2πi · [z²+1]''{z=0}/2 ... Проще: f(z) = z²+1 → f''(0) = 2. Формула: (2!/2πi) ∮ (z²+1)/z³ dz = 2/(2πi) · (2πi · 1) = 2 ✓.

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

Обработка сигналов: формула Коши — предшественница z-преобразования в цифровой фильтрации. Интегральное представление позволяет восстановить сигнал из его спектра (граничных значений) — аналог интерполяции.

Дополнительные аспекты

Контурные интегралы — это не только инструмент чистой теории; они дают прямые алгоритмы вычислений. Например, интеграл по большому полукругу позволяет считать ∫₀^∞ sin x / x dx = π/2 без первообразных. Интегральная формула Коши f(z₀) = (1/2πi) ∮ f(z)/(z−z₀) dz является основой численного метода контурного интегрирования для вычисления собственных значений (FEAST, SS-method): спектр оператора A находится как полюса резольвенты (zI−A)^{−1}, а интегрирование по контуру вокруг интересующей зоны изолирует нужные λₖ. В физике контурное интегрирование применяется в вычислении пропагаторов (Фейнмановский iε-обход полюсов) и в гидродинамике через теорему Жуковского о подъёмной силе.

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

Интегральная формула Коши лежит в основе классической теории линейных дифференциальных уравнений с аналитическими коэффициентами. Через представление решений по Коши можно обосновать теорему существования и единственности аналитических решений задачи Коши для уравнений в комплексной плоскости; эту линию развивали Эмиль Пика и Эдуард Гурвиц. В спектральной теории нормальных операторов формула Коши приводит к функциональному исчислению: если T — ограниченный оператор в гильбертовом пространстве, то f(T) можно задать через контурный интеграл от резольвенты (Рис и Наги, “Functional Analysis”, 1955).

С топологией связь реализуется через деформационную инвариантность интеграла: интеграл Коши не меняется при непрерывной деформации контура внутри области голоморфности. Это предвосхищает понятия гомотопии и гомологии. В формулировке через 1-формы интеграл Коши — частный случай интеграла стоксовского типа, а теорема Коши–Гурвица–Морера нередко рассматривается как ранний прототип таких результатов, как теорема Стокса и теорема де Рама.

В теории вероятностей ядро Коши связано с комплексными мерами и гармоническими мерами: через формулу Пуассона–Коши описывается распределение значений гармонических функций на диске. Это используется в теории случайных блужданий и процессов с независимыми приращениями (работы Деница и Спитцера). В численных методах формула Коши служит основой спектральных алгоритмов для решения линейных систем и вычисления спектральных проекций; современные варианты таких схем описаны у Сакаи и Йокоты для метода контурной декомпозиции.

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

Огюстен Коши сформулировал свои интегральные результаты в серии заметок в “Comptes Rendus” и в трактате “Cours d’Analyse” (1821, окончательная версия интегральной теоремы — 1825). Первоначальная мотивация шла от задач механики и теории потенциала: Коши стремился дать строгий фундамент разложению функций в ряды и исследованию течений идеальной жидкости. Во второй половине XIX века Бернгард Риман и Карл Вейерштрас придали формуле Коши строгий аналитический вид, основываясь на ε–δ-подходе и понятии равномерной сходимости. Риман использовал методы контурного интегрирования в работе над теорией абелевых интегралов, а Вейерштрас — в разложении целых функций в произведения (журнал “Crelle”, 1876). В начале XX века Эдуард Гурвиц и Георг Прандтль развивали комплексный потенциал в гидродинамике, опираясь на интегральные представления Коши. Позднее, в 1940–1950-е годы, Михаил Лаврентьев и его школа применили эти идеи к квазиконформным отображениям и задачам фильтрации. В том же периоде Марсель Рис и Фридьеш Рис использовали интегралы Коши в построении функционального исчисления для операторов.