1.3.6. Теорема Коши.
Пусть функция
голоморфна внутри некоторой области. Тогда криволинейный интеграл от этой функции по любому замкнутому контуру, расположенному внутри области, равен нулю (рис. 1.21, а).
Итак, требуется доказать, что
Применим формулу (5) к замкнутому контуру С, ограничивающему область 5. Вещественные интегралы, стоящие в правой части этой формулы, преобразуем по формуле Грина:
Для голоморфной функции
выполняются условия Коши — Римана, т. е. оба выражения (6) и (7) равны нулю. Таким образом, теорема Коши доказана.
Замечание. Доказанная теорема справедлива не только для простых контуров типа, изображенного на рис. 1.21, а.
Рис. 1.21.
Она верна также в случае, когда внутри области, ограниченной контуром
имеются дырки, окруженные контурами
(см. рис. 1.21,б). В этом случае под контуром С в теореме Коши надо понимать сложный контур, состоящий из наружной кривой
проходимой в положительном направлении (против часовой стрелки), и всех внутренних кривых
проходимых в отрицательном направлении (по часовой стрелке).
В случае голоморфности
интеграл (5) зависит только от положения начала и конца кривой С и не зависит от формы пути интегрирования. Для доказательства достаточно применить теорему Коши к замкнутому контуру
где С — любая кривая, соединяющая концы кривой С.
Замечание. Вещественный криволинейный интеграл не зависит от формы пути, если он берется от функции, представляющей полный дифференциал. Условия Коши-Римана совпадают с условиями полного дифференциала для (5).
1.3.7. Формула Коши. Пусть
функция, голоморфная в замкнутой области, ограниченной контуром
внутренняя точка области (рис. 1.22). Докажем, что имеет место формула Коши
где контур С обходится в положительном направлении. Действительно, функция голоморфна во всех точках внутри контура, кроме точки
Исключим из рассматриваемой области небольшой круг с центром
и радиусом
Окружность его обозначим через у (см. рис. 1.22).
Рис. 1.22.
Функция голоморфна внутри кольцевой области, ограниченной
. Если перемещаться по С и по
в положительном направлении, то по теореме Коши
Интеграл слева не зависит от
Следовательно, интеграл в правой части также не зависит от
Имеем