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

Интегральная теорема Коши — фундаментальная теорема теории функций комплексного переменного, утверждающая, что интеграл от аналитической функции по замкнутому контуру равен нулю при условии, что функция аналитична внутри и на контуре. Теорема является основой для многих результатов комплексного анализа, включая интегральную формулу Коши, теорию вычетов и принцип аргумента.

¶История

Теорема была сформулирована и доказана французским математиком Огюстеном Луи Коши в 1825 году. Коши опубликовал её в работе «Мемуар об определённых интегралах, взятых между мнимыми пределами» (фр. Mémoire sur les intégrales définies prises entre des limites imaginaires). Первоначально Коши рассматривал случай, когда функция аналитична на всей комплексной плоскости, а контур является простой замкнутой кривой. Впоследствии теорема была обобщена на случай многосвязных областей и контуров, состоящих из нескольких компонент.

В 1851 году Бернхард Риман дал более строгое доказательство теоремы, используя условия Коши — Римана и теорему Грина. В 1900 году Эдуард Гурса показал, что требование непрерывности производной функции можно ослабить, что привело к формулировке теоремы Гурса. В 1960-х годах Джон Конвей и другие математики предложили современные доказательства, основанные на топологических свойствах области.

¶Формулировка

¶Классическая формулировка

Пусть \( D \) — односвязная область в комплексной плоскости \( \mathbb{C} \), а \( f(z) \) — функция, аналитическая (голоморфная) в \( D \). Тогда для любой кусочно-гладкой замкнутой кривой \( \gamma \), лежащей в \( D \), выполняется:

\[ \oint_\gamma f(z) \, dz = 0. \]

¶Обобщение на многосвязные области

Если область \( D \) является многосвязной (например, содержит «дырки»), то теорема применяется к контуру, который охватывает все граничные компоненты. В этом случае интеграл по внешнему контуру равен сумме интегралов по внутренним контурам, взятых с противоположным направлением обхода.

¶Теорема Гурса

Теорема Гурса (1900) ослабляет условие: достаточно, чтобы функция \( f(z) \) была аналитична в \( D \) и непрерывна на замыкании \( \overline{D} \). Тогда интеграл по границе \( \partial D \) равен нулю.

¶Доказательство

¶Классическое доказательство (с использованием теоремы Грина)

Пусть \( f(z) = u(x, y) + i v(x, y) \), где \( u \) и \( v \) — действительные функции.
Интеграл по замкнутому контуру \( \gamma \) записывается как:

\[ \oint_\gamma f(z) \, dz = \oint_\gamma (u \, dx - v \, dy) + i \oint_\gamma (v \, dx + u \, dy). \]

Применяя теорему Грина к каждому из интегралов, получаем:

\[ \oint_\gamma (u \, dx - v \, dy) = \iint_S \left( -\frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \right) dx \, dy, \] \[ \oint_\gamma (v \, dx + u \, dy) = \iint_S \left( \frac{\partial u}{\partial x} - \frac{\partial v}{\partial y} \right) dx \, dy, \] где \( S \) — область, ограниченная \( \gamma \).

Из условий Коши — Римана:

\[ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}. \] Подставляя, оба двойных интеграла обращаются в нуль, что доказывает теорему.

¶Доказательство Гурса

Гурса использовал метод разбиения контура на малые треугольники и показал, что интеграл по каждому треугольнику можно сделать сколь угодно малым, используя аналитичность функции. Это доказательство не требует непрерывности производной.

¶Следствия

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

Если \( f(z) \) аналитична в односвязной области \( D \) и \( \gamma \) — замкнутый контур, охватывающий точку \( z_0 \), то:

\[ f(z_0) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z - z_0} \, dz. \]

Это следствие позволяет вычислять значения функции внутри контура через её значения на границе.

¶Принцип максимума модуля

Если \( f(z) \) аналитична в области \( D \) и непрерывна на её замыкании, то модуль \( |f(z)| \) достигает максимума только на границе \( D \), если только функция не является постоянной.

¶Теорема о вычетах

Интеграл от мероморфной функции по замкнутому контуру равен \( 2\pi i \), умноженному на сумму вычетов в особых точках, лежащих внутри контура. Это прямое обобщение интегральной теоремы Коши.

¶Примеры применения

¶Вычисление интегралов

Интегральная теорема Коши используется для вычисления определённых интегралов от действительных функций путём перехода в комплексную плоскость. Например, интеграл:

\[ \int_{-\infty}^{\infty} \frac{dx}{x^2 + 1} = \pi \]

может быть вычислен с помощью контурного интегрирования.

¶Проверка аналитичности

Если интеграл от функции по всем замкнутым контурам в области равен нулю, то функция является аналитической (теорема Мореры). Это обращение интегральной теоремы Коши.

¶Комплексный анализ в физике

Теорема применяется в гидродинамике (потенциальные течения), электростатике (поле зарядов) и квантовой механике (аналитические свойства волновых функций).

¶Ограничения и обобщения

¶Необходимость односвязности

Если область не является односвязной (например, кольцо), то интеграл по замкнутому контуру может быть не равен нулю. Например, для функции \( f(z) = 1/z \) в кольце \( 1 < |z| < 2 \) интеграл по единичной окружности равен \( 2\pi i \).

¶Теорема Коши для многосвязных областей

Для области с \( n \) «дырками» интеграл по внешнему контуру равен сумме интегралов по внутренним контурам, взятых с противоположным знаком. Это позволяет вычислять интегралы в сложных областях.

¶Теорема Коши в вещественном анализе

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

¶Интересные факты

Теорема Коши является частным случаем теоремы Стокса в комплексной форме.
В 2014 году математик Теренс Тао предложил новое доказательство теоремы, использующее теорию распределений.
Теорема лежит в основе метода контурного интегрирования, который широко применяется в математической физике.
В России теорема Коши традиционно изучается в курсе комплексного анализа на физико-математических факультетах университетов.

¶Источники

Лаврентьев М. А., Шабат Б. В. «Методы теории функций комплексного переменного». — М.: Наука, 1973.
Свешников А. Г., Тихонов А. Н. «Теория функций комплексной переменной». — М.: Физматлит, 2004.
Привалов И. И. «Введение в теорию функций комплексного переменного». — М.: Высшая школа, 1999.
Conway J. B. «Functions of One Complex Variable I». — Springer, 1978.
Ahlfors L. V. «Complex Analysis». — McGraw-Hill, 1979.