2.4.2. Основная теорема о вычетах

Пусть функция w = f(z) – аналитическая в окрестности точки z0, за исключением самой точки (т.е. z0 – изолированная особая точка функции w = f(z)).

Пусть К – замкнутый контур, лежащий в указанной окрестности и содержащий z0 (рис .2.24).

Определение. Вычетом функции w = f(z) относительно z0 называется выражение:

.                                                         (2.83)

Вычет обозначается:  или res f(z0)  (происходит от слова resudi – остаток):

.                    (2.84)

Теорема: Вычет относительно устранимой особой точки равен нулю.

Доказательство: Пусть z0 – устранимая точка, тогда функция

будет аналитическая в окрестности z0 и по теореме Коши  что и требовалось доказать.

Теорема Коши о вычетах: если функция w = f(z)  аналитическая в конечной замкнутой области , ограниченной контуром К, за исключением конечного числа особых точек z1, z2,…,zn , лежащих внутри , то

.                (2.85)

Доказательство: Опишем из каждой особой точки zК  (k = 1, 2,…,n) как из центра, окружности Кк настолько малого радиуса, чтобы они целиком лежали в  и не содержали других особых точек функции f(z) (рис. 2.25).

В многосвязной области f(z) будет аналитической. По теореме Коши:

.

Умножим и разделим правую часть последнего равенства на 2p I получим:

.                               (2.86)

Что и требовалось доказать.

Найдем вычет относительно простого полюса. Пусть f(z) имеет в точке  простой полюс, тогда

.

Следовательно, для функции (z-z0) f(z) точка z0 – устранимая. Рассмотрим функцию

Как отмечено ранее она аналитическая в окрестности  z0 и по формуле Коши

.

Но на контуре К:, поэтому

.

Вывод: вычет относительно простого полюса находят по формуле:

.                                             (2.87)

Пример 1

Найти вычет функции  относительно точки z = 0.

Решение. Для функции  точка z = 0 – простой полюс. Поэтому

Методическое руководство

Если функция , где ,  – аналитические в точке z0, причем для  точка z0  есть нуль первого порядка, а , то для вычисления вычета относительно простого полюса можно пользоваться формулой:

,                                                          (2.88)

Формула (2.88) получается сразу:

Пример 2

Найти вычет w = ctg z относительно z = 0.

Решение. Согласно формуле (2.88)

так как z = 0 – простой полюс.

Пример 3

Вычислить .

Решение. Функция имеет две особые точки z = 0  и  z = 2;  обе точки попадают в область, ограниченную окружностью |z| = 3. Точка  z = 0 – устранимая, так как

,

а вторая – простой полюс (сделайте рисунок).

Вычет относительно устраненной точки равен нулю. Вычет относительно точки z = 2 находим по формуле (2.88):

.

По основной теореме Коши о вычетах (2.85), получим:

.

Вывод формулы для нахождения вычета относительно кратного полюса аналогичен рассуждениям, проведенным для случая простого полюса, а именно: если f(z) имеет в точке z0 кратный полюс, то для функции  (k – кратность полюса) точка z0 устранимая. Тогда функция

 

аналитическая в окрестностях z0. Значит,

.

Но на контуре  поэтому

Вывод: получена формула для нахождения вычета функции относительно полюса порядка k:

.                                 (2.89)

Пример 4

Вычислить , вдоль замкнутого контура К, соединяющего точки: 2+2i, -2+i,   -2-2i,   2-2i   и   2+2i  отрезками прямых (рис. 2.26)

Решение. Точка  – полюс третьего порядка функции . По формуле (2.89) имеем:

Следовательно,

.

Задачи для упражнений

Вычислить интегралы, используя основную теорему Коши о вычетах:

а) ;

б) ;

в) ;

г) ;

д) ;

е) ;

ж) ;

з) ;

и) ;

к) .

.

Ответы:

а) 0;

б) ;

в) ;

г) ;

д) ;

е) ;

ж) ;

з) ;

и) ;

к) .