Если является аналитической на некотором замкнутом контуре
и в односвязной области внутри него, за исключением конечного количества изолированных особых точек, то
.
Доказательство (ДОК 36). По интегральной теореме Коши (стр. 58), интеграл по контуру равен сумме интегралов по n контурам внутри него.
Тогда . Но каждое слагаемое в этой сумме - интеграл по контуру вокруг одной особой точки, делённый на
, а по определению это и есть вычет в данной точке
.
.
Вот и получается, что интеграл равен такой величине: умножить на сумму вычетов.
Теорема 9. Если является аналитической во всей комплексной плоскости, за исключением конечного количества изолированных особых точек, то
.
(Сумма вычетов во всех конечных особых точках + вычет в бесконечности равно 0).
Доказательство (ДОК 37). Если в плоскости конечное количество особых точек, то среди них есть самая далёкая от начала координат. Тогда их все можно включить в круг некоторого радиуса. Ограничим все n особых точек замкнутым контуром настолько большого радиуса
, чтобы все они лежали внутри круга
.
По определению вычета в ,
=
,
а по прошлой теореме 8, =
.
Получается, что вычет в противоположен сумме всех вычетов в конечных особых точках. Складывая эти 2 равенства, мы как раз и получим
.
В следующем примере будет видно разнообразие способов вычисление вычета в : и по доказанным формулам, и с помощью перехода к конечным точкам, и с помощью коэффициента из ряда Лорана.
Пример. Найти .
Способ 1. С помощью формулы из теоремы 6.
Так как то
устранимая точка. Тогда можно вычислить по формуле:
. Итак,
=
=
=
=
=
.
Обратите внимание, что по определению вычет это интеграл по ограниченному контуру, т.е. он не может получиться равным . При правильном вычислении производной, степени числителя и знаменателя уравниваются и предел получается конечный.
Способ 2. С помощью теоремы 9 (через конечную точку).
Заметим, что в знаменателе только , т.е. эта функция имеет всего лишь одну конечную особую точку. Тогда:
=
. То есть надо найти вычет в точке 2 и сменить знак.
=
=
= 2. Поэтому
. Получается такой же ответ, как и прошлым методом.
Способ 3. С помощью ряда Лорана.
Разложим в ряд Лорана в области
. При этом надо воспользоваться формулой суммы бесконечной убывающей прогрессии:
. Так как
(рассматриваем окрестность бесконечности, а не нуля) то надо, чтобы получалось
, оно по модулю меньше 1. Но ни в коем случае не
.
Итак, =
=
. Выберем коэффициент
при
-й степени. Он равен 2. Тогда вычет равен
.
Файл по состоянию на 10.11.2018
Оставшиеся лекции:
ЛЕКЦИЯ 11. 14.11.2018 Приложения вычетов
ЛЕКЦИЯ 12. 21.11.2018 Вычеты и ряды
ЛЕКЦИЯ 13. 28.11.2018 Ряды Фурье
ЛЕКЦИЯ 14. 05.12.2018 Ряды Фурье
Дата: 2018-12-21, просмотров: 266.