2.3.2. Основная теорема Коши для односвязной и многосвязной областей

Теорема, о которой будет идти речь далее играет фундаментальную роль в ТФКП и многих её приложениях.

Теорема Коши: интеграл по замкнутой кривой К равен нулю, если кривая ограничивает односвязную область D, а подынтегральная функция аналитическая не только внутри этой области, но и в области D’, содержащей D и её границу К:

.                                                           (2.67)

Доказательство. Применим формулу Грина из анализа:

,

где D  -область, ограниченная кривой K к обоим интегралам, стоящим в (2.58), получим:

,

так как для w = f(z) имеют место условия Даламбера-Эйлера.

Пример 1

, по любой замкнутой кривой, так как функция z2-5z – аналитическая во всей z плоскости.

Пример 2

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

Тогда, если К – окружность |z + 3| = 1, то интеграл равен 0; если К: |z| = 0,1, то теорему Коши применить нельзя (так как точка z = 0 лежит в круге |z| < 0,1).

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

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

По основной теореме Коши  и свойству аддитивности имеем (рис. 2.18):

так как путь AnB проходит в противоположном направлении и по свойству (2.63) интеграл дает противоположное значение.