37. Теорема Лорана
Теорема: Пусть аналитична в кольце
, где
. Тогда
имеет место разложение
, где
. Это разложение называется рядом Лорана и он сходится равномерно в
.
Доказательство:
1) Покажем, что значение коэффициентов не зависят от выбора
. Рассмотрим две окружности
и
, где
. Пусть
- кольцо между окружностями
и
, т. е.
. В
функция
аналитична, т. к.
и по теореме Коши
. А значит
, где черта во втором интеграле означает взятие интеграла в отрицательном направлении. Отсюда следует, что
, а значит значения
не зависят от
.
2) Пусть . Найдем
такие, что
. Обозначим через
окружности радиусов соответственно
. Пусть
- кольцо между этими окружностями. Функция
аналитична в нем и непрерывна вплоть до
. По интегральной формуле Коши имеем:
.
- комплексный потенциал, являющийся аналитической функцией в
. По теореме Тейлора
, где
.
- выражение для комплексного потенциала, следовательно:
, т. к.
Последний ряд есть геометрическая прогрессия, следовательно ряд сходится равномерно и его можно интегрировать.
Сумма дает ряд Лорана. Теорема доказана.
< Предыдущая | Следующая > |
---|