Ряд Лорана

Материал из Википедии — свободной энциклопедии
Это текущая версия страницы, сохранённая BilboBeggins (обсуждение | вклад) в 09:46, 27 мая 2021 (Создан отдельный раздел, en:Laurent series). Вы просматриваете постоянную ссылку на эту версию.
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Ряд Лорана комплексной функции — представление этой функции в виде степенного ряда, в котором присутствуют слагаемые с отрицательными степенями. Назван в честь французского математика П. А. Лорана.

Определение

[править | править код]

Ряд Лорана в конечной точке — функциональный ряд по целым степеням над полем комплексных чисел:

где переменная , а коэффициенты для .

Этот ряд является суммой двух степенных рядов:

  1.  — часть по неотрицательным степеням ,
  2.  — часть по отрицательным степеням .

Ряд Лорана сходится тогда и только тогда, когда сходятся обе (как по отрицательным, так и по положительным степеням) его части.

Если — область сходимости ряда Лорана такая, что , то для

ряд называется правильной частью,
ряд называется главной частью.

Ряд Лорана в бесконечно удалённой точке — функциональный ряд по целым степеням над полем комплексных чисел:

где переменная , а коэффициенты для .

По внешнему виду ряд для совпадает с рядом для , однако, с формальной точки зрения получен с помощью замены для .

Если — область сходимости ряда Лорана такая, что , то для

ряд называется правильной частью,
ряд называется главной частью.
  • Часть по положительным степеням сходится во внутренности круга радиуса ,
часть по отрицательным степеням сходится во внешности круга радиуса .
Поэтому, если , то внутренность области сходимости ряда Лорана непуста и представляет собой круговое кольцо
.
  • Поведение ряда Лорана в точках граничной окружности зависит только от для произвольного ,
а в точках граничной окружности — только от для произвольного .
Таким образом, как и для степенных рядов поведение ряда Лорана в граничной точках кольца может быть разнообразным.
  • Во всех точках кольца ряд Лорана сходится абсолютно.
  • На любом компактном подмножестве ряд сходится равномерно.
  • Для каждой точки существует такое значение , что , и ряд Лорана может быть записан в виде сходящегося в ряда по степеням :
где , а для ,
т.е. является для правильной точкой. Таким образом, сумма ряда Лорана в есть аналитическая функция .
  • Для на граничных окружностях кольца сходимости существуют непустые множества , точек, не являющихся для правильными.
  • Ряд Лорана можно дифференцировать на любом компактном почленно.
  • Интегрирование ряда Лорана даёт однозначную в функцию только при , поскольку для любого значение
Ряд , представляющий в двусвязной области функцию , для любого компактного и любой спрямляемой ориентированной кривой можно интегрировать по почленно, при этом результат интегрирования зависит только от начальной и конечной точек и не зависит от формы кривой .
  • Коэффициенты ряда Лорана удовлетворяют соотношениям
,
где — любая спрямляемая кривая, лежащая в компактном и один раз обходящая против часовой стрелки точку . В частности, в качестве можно взять любую окружность радиуса с центром в , расположенную внутри кольца сходимости и ориентированную положительно (параметр должен возрастать).
  • Разложение в ряд Лорана единственно, то есть если для двух рядов Лорана по степеням , сходящихся в и соответственно, совпадают их суммы на некоторой окружности или на гомотопной ей по спрямляемой кривой , то совпадают все коэффициенты этих рядов.

Теорема Лорана

[править | править код]

Применение рядов Лорана основано главным образом на следующей теореме Лорана:

Любая функция , являющаяся однозначной и аналитической в кольце , представима в сходящимся рядом Лорана по степеням .

Представление однозначной аналитической функции в виде ряда Лорана служит основным инструментом исследования её поведения в окрестности изолированной особой точки:

1) если точка , то существует радиус такой, что в проколотой окрестности

функция представима (сходящимся) рядом Лорана;

2) если точка , то существует радиус такой, что в проколотой окрестности

функция представима (сходящимся) рядом Лорана.

Тип изолированной особой точки определяется главной частью ряда Лорана в проколотой окрестности :

Литература

[править | править код]
  • Евграфов М. А. Аналитические функции. — 2-е изд., перераб. и дополн. — М.: Наука, 1968. — 472 с.
  • Маркушевич А. И. Теория аналитических функций. Том 1: Начала теории. — Изд. 2-е. — М.: Наука, 1967. — 486 с.
  • Привалов И. И. Введение в теорию функций комплексного переменного. — 13-е. — М.: Наука, 1984. — 432 с.
  • Титчмарш Е. Теория функций: Пер. с англ. — 2-е изд., перераб. — М.: Наука, 1980. — 464 с.
  • Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1969. — 577 с.