ВВЕДЕНИЕ В МЕТОДЫ ТЕОРИИ ФУНКЦИЙ ПРОСТРАНСТВЕННОГО КОМПЛЕКСНОГО ПЕРЕМЕННОГО

1.4.2. Ряд Лорана.

Ряд вида , - фиксированная точка пространства, включая точки изолированного направления, - коэффициенты – пространственные комплексные числа в том числе и из пространства делителей нуля,

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

.Если ряды сходятся, то сходится и ряд Лорана. Область сходимости ряда по положительным степеням разложения функции в ряд есть сфера радиуса сходимости . В области этой сферы лежит и область сходимости ряда по изолированному направлению делителей нуля. Если R=0, то ряд сходится только в точке a, если , то ряд сходится во всем пространстве Y.

Ряд по отрицательным степеням разложения функции сходится в сфере сходимости . Если r<R, то ряд сходится в области заключенной между двумя концентрическими сферами . На эту область накладывается область сходимости рядов по изолированному направлению. Сферы в пространстве это прежде всего поверхности , натянутые без точек самопересечения на пространственные кривые , эквивалентные кривым типа . В области G, заключенной между двумя этими сферами, необходимо рассматривать область сходимости ряда по изолированному направлению, для точек .

Для точек, лежащих вне этих областей будет расходиться один из рядов, а следовательно будет расходиться и общая сумма. Критические точки в пространстве Y в конечном счете определяются из общего условия разложения функции на линейные или квадратные многочлены. Согласно этим условиям в пространстве имеются два вида критических точек, таких что подстановка одного из вида критических точек в другой переводит произведение линейных множителей в произведение делителей нуля. В связи с этим два вида критических точек в полном пространстве Y, однозначно определяют область сходимости ряда Лорана и нет необходимости дополнительного исследования областей делителей нуля. Стремление к критической точки по изолированному направлению по определенному закону, приводит к критической точки другого вида. Пространственная точка включает в себя все варианты разложения функции на линейные и квадратные множители. Поэтому в пространстве справедлива теорема Абеля и Вейерштрасса.

Если имеется область , учитывающая все виды критических точек, то в ней ряд сходится равномерно и сумма его регулярна в области сходимости. Справедливо и обратное утверждение. Таким образом, подошли к утверждению теоремы.

Функция , регулярная в области G : , представляется в этой области сходящимся рядом Лорана

где ,

где -элемент пространственной поверхности

получим соотношение , которое проинтегрируем по поверхности . Для любого целого n выполняется соотношение

=,. Откуда получаем выражение для коэффициентов ряда Лорана в виде.

, знаменатель имеет четыре критические точки :

, поэтому функция может быть разложена по двум равноценным вариантам:

Каждую из полученных дробей обозначим по порядку , разложим в ряд Тейлора.

ряд сходится в границах сферы .

, ряд сходится в границах сферы .Суммируя коэффициенты при одинаковых степенях получим ряд для исходной функции

Ряд сходится в границах сферы .

ряд сходится для точек сферы .

ряд сходится для точек сферы .

Суммируем коэффициенты при одинаковых степенях

Суммируя ряды получаем тейлоровское разложение функции по второму варианту разложения функции в пространстве на дроби. В силу совпадения коэффициентов при одинаковых степенях разложение совпадает с разложением по первому варианту. Разложение в пространстве функции в ряд Тейлора является единственным разложением.

ряд сходится для всех .

ряд сходится для всех .

Складывая коэффициенты при одинаковых степенях , получим

ряд сходится для всех .Далее произведем разложение функции по второму варианту

ряды сходятся для всех точек сферы . Суммируя коэффициенты при одинаковых степенях ,

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

Ряд сходится на сфере радиуса . Сферическое кольцо в котором сходится ряд Лорана для этого разложения сжалось до поверхности сферы. В этом случае корни многочлена перестают быть изолированными точками для функции.

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

Введем обозначения, обозначив последовательно каждую из дробей по порядку

Разложение по положительным степеням дробей в ряд Тейлора возможно для областей с радиусом сходимости соответственно Ряд Тейлора для суммы функций

имеет радиус сходимости

Сумма функций дает тот же ряд Тейлора с радиусом сходимости а так как то ряд Тейлора функции сходится в области сферы радиуса

Разложение суммы функций по отрицательным степеням дает ряд с радиусом сходимости

Разложение суммы функций по отрицательным степеням дает радиус сходимости

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

, где знакопределяет разложение по положительным или отрицательным степеням, дает ряд, имеющий область сходимости поверхность сферы

Для ряда область сходимости определяется соотношением

Пример. Рассмотрим различные варианты разложения функции в областях пространства Функция регулярна в области

Представим функцию в виде суммы простых дробей:

Обозначим дроби по порядку через . Если то

Знак в символе функции отвечает за разложение дроби по положительным или отрицательным степеням. Сумма функций сходится для

В области разность функций

Ряд имеет больше радиус сходимости, чем ряд предыдущей суммы:Функция разлагается в ряд по положительным степеням в пространстве и имеет радиус сходимостиВ связи с этим необходимо выбирать как способ разложения ,так и область сходимости этого разложения.

В силу равенства ряды от сумм функций равны

. Для доказательства достаточно вычислить коэффициенты при равных степенях n переменной

При имеем: . Знак минус переходит в плюс, вследствии минуса перед квадратной скобкой в исходном разложении функции на дроби.

Рассмотрим область Функцию разложим по отрицательным степеням

В этом случае сумма функций представляет ряд с отрицательными и положительными степенями переменной Следующую сумму функций также представим в виде ряда с положительными и отрицательными степенями

Ряд сходится на сфере

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

то полученный ряд Лорана будет иметь область сходимости в виде сферы В этом случае допускается разложение только по второму эквивалентному варианту.

Если функцию разложить только по отрицательным степеням по схеме

то ряд будет сходиться для Коэффициенты при одинаковых степенях первой суммы ряда совпадают с коэффициентами ряда стоящего в квадратных скобках. Например, при имеем:

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

В соответствии с алгебраическими операциями над степенными рядами заключаем. Если даны функции регулярные в окрестности точки представленные рядами

где первый ряд сходится в сфере а ряд второй в сфере причем тогда имеют место разложения:

Ряды сходятся в сфере

[Следующий параграф]