Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

УМК11

.pdf
Скачиваний:
20
Добавлен:
17.03.2015
Размер:
1.65 Mб
Скачать

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

z +1 i

 

1 + ie

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

u

n+1

 

= lim

 

(z + i

1)n+1 e

2

(1 + ien 2)

= lim

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u n

 

 

 

n+1

 

 

 

 

 

n+1

 

 

 

 

 

 

 

 

 

n+1

 

 

 

 

n→∞

 

 

n→∞

 

 

 

 

 

 

+1)

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

2

 

 

 

 

 

 

 

2

 

 

n

 

 

e

1

+ ie

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 + ie

 

 

 

(z + i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= z +1 i lim

 

 

1 + en

 

 

 

= z +1 i

< 1. Отсюда заключаем, что ряд сходит-

 

 

 

e

 

n→∞

 

 

1 + e

n+1

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ся абсолютно в области

 

z +1 i

 

< e, т.е. в круге радиуса R = e с центром в

 

 

точке z0

= −1 + i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ i)

n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПРИМЕР 2.40. Найти область сходимости ряда (1

 

 

+

 

.

 

 

 

 

zn

 

 

2n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

n=0

 

 

 

Решение. Рассмотрим отдельно ряды по положительным и отрицатель-

 

 

 

 

 

 

 

 

 

 

 

 

 

z

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ным

степеням z. Ряд

 

 

 

 

 

 

можно рассматривать как ряд,

составленный из

 

 

 

2n+1

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

членов геометрической прогрессии со знаменателем q =

z

. Такой ряд сходит-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

ся при условии

 

 

q

 

=

 

 

< 1, т.е. в круге

 

z

 

< 2 радиуса R = 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 + i)n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для ряда

 

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

n+1

n=1

 

 

 

 

 

)

n+2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

+ i

 

 

 

 

 

 

 

 

 

 

1

+ i

 

 

 

 

 

 

 

 

 

 

n+1

 

 

 

 

 

n+2

 

 

 

un

=

(

 

 

 

,

 

 

un+1 =

(

 

 

 

 

, где

 

a n

= (1 +i)

, a (n+1) = (1 + i)

.

 

 

z

n

 

 

 

 

z

n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1 + i)n+2

 

 

 

 

Применяя

 

 

признак

Даламбера,

 

получаем

lim

 

u

n+1

 

 

= lim

 

zn

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

un

 

 

zn+1 (1 + i)n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

n→∞

 

 

=

1 + i

=

 

 

2

< 1. Откуда

z >

 

2 , т.е. областью сходимости ряда по отрица-

 

z

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тельным степеням z является внешность круга радиуса r = 2 с центром в

точке z0 = 0 .

Таким образом, данный степенной ряд Лорана сходится в области, общей для того и другого ряда, которая есть кольцо 2 < z < 2.

ПРИМЕР 2.41. Разложить функцию w = f(z) в ряд Тейлора в окрестности точки z0

123

и указать радиус сходимости: а)

f(z) = ez ,

z0 =

1

;

б) f(z) =

 

 

 

 

z

 

 

,

z0 = 2 ;

 

 

z +1

в)

f(z) = ez sin z,

 

 

z0 = 0.

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение.

 

 

а) Воспользуемся известным разложением для ez (формулы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

+

1

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(2.48)); с этой целью преобразуем функцию к виду

ez = e

 

2

 

2

=

 

 

e ez2 .

Заменяя

в

 

 

разложении

 

z

на

z

1

,

получим следующий

 

 

 

 

ряд Тейлора

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

= e

 

 

 

 

 

 

 

 

 

 

 

, для которого радиус сходимости R = ∞.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) Выделим в дроби целую часть, а

затем знаменатель правильной дроби

преобразуем

 

так,

 

 

чтобы

в

 

нем

было слагаемое (z 2):

 

z

 

 

 

 

=

1

 

 

1

 

=

 

 

 

 

z

+

1

z +1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

=1

 

 

 

 

 

 

=1

 

 

 

 

.

Используя разложение функции

 

 

 

 

 

(фор-

z 2 + 3

 

 

 

z 2

 

1 + z

 

 

 

 

 

3

1 +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мулы (2.48)), получим

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 (1)n (z 2)n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

1

(

1)

n z

2 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1

 

 

 

 

 

 

 

 

 

= 1

 

3n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 n=0

 

 

 

 

 

3

 

 

 

 

 

3 n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Радиус сходимости R = 3,

так как ближайшая особая точка z = −1 уда-

лена от центра круга сходимости z0 = 2 на расстоянии, равном 3. в) Представим данную функцию следующим образом:

 

e

z

sin z = e

z ei z ei z

=

1

 

(e

(1+i)z

e

(1i)z

). Тогда

 

 

 

 

 

 

 

 

2 i

 

 

2 i

 

 

 

 

 

 

ez sin z =

 

1

 

((1 + i)z)n

 

((1 i)z)n =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

n=0

n!

 

 

 

 

 

 

 

 

2 i n=0

 

 

 

 

 

 

 

 

 

1

(1 + i)n (1 i)n

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n!

 

z

 

,

R = ∞.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 i n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПРИМЕР 2.42. Разложить в ряд Лорана функцию

f(z) =

1

 

(z 2)(z 3)

 

по степеням z (приняв z0 = 0).

 

 

 

 

 

 

 

 

 

 

 

Решение.

Функция f(z)

 

не аналитична в точках z1

= 2 и z2 = 3 . Сле-

довательно, можно выделить три кольца с центром в точке z0 = 0, в каждом из

124

которых

f(z)

является аналитической:

а) круг

 

z

 

< 2, б) кольцо 2 <

 

z

 

< 3,

 

 

 

 

в) 3 <

 

z

 

< ∞− внешность круга

 

z

 

< 3.

 

 

 

 

 

1

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Разложим

 

функцию на сумму

простейших дробей

 

 

 

 

 

 

(z 2)(z 3)

= −

1

 

 

+

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 2

z

3

< 2 функция f(z) аналитична. Коэффициенты ряда Лорана

 

 

 

 

 

а) В круге

 

z

 

 

 

 

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

1

 

 

 

=

 

 

 

1

 

 

=

 

1

 

 

1

 

 

 

;

 

 

 

 

 

 

 

 

1

 

 

= −

1

 

 

 

1

 

 

и воспользуемся разложе-

z 2

 

2 z

2

 

 

 

 

 

 

z

 

 

 

 

 

 

z 3

3

 

 

z

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

нием в ряд Тейлора функции

 

 

 

 

 

(формулы 2.48)). В силу чего имеем

1

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

zn

 

 

(

 

 

< 2),

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

2 n=0

2

 

 

 

 

n=0 2n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

1

 

z n

 

 

 

 

 

 

 

zn

 

 

(

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

 

z

<

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

и

 

 

 

z

3

 

 

 

 

3 n=0

 

3

 

 

 

 

 

n=0

3n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

z

 

.

 

 

 

 

 

 

 

 

 

 

 

(z 2)(z 3)

 

2n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

3n+1

 

 

 

 

 

 

 

 

 

 

 

Ряд Лорана содержит только правильную часть:

a n = 0, a n =

 

1

 

 

1

 

(n = 0,1,K)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n+1

3n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

n

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) В кольце 2 <

 

z

 

< 3 ряд

 

 

для функции

 

 

сходится, поэто-

 

 

 

 

 

 

 

 

3n+1

z 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

z

n

 

 

 

 

 

z

n

 

 

 

 

 

 

 

1

 

 

 

 

му по-прежнему

 

 

 

 

 

 

 

= −

 

 

 

 

, а ряд

 

для функции

 

рас-

 

z

3

 

 

3n+1

2n+1

z 2

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

ходится, поэтому

функцию

 

1

 

 

 

преобразуем

к виду

 

 

1

 

=

 

1

 

 

.

 

z 2

z

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

в виде суммы геометрической

прогрессии со знаменателем

Представим

 

 

 

 

1

 

2

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

125

q =

 

2

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2

2

 

 

 

 

 

2 n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

= 1 +

 

 

 

 

 

+

 

 

 

 

 

+K+

 

 

 

 

 

 

 

+K.Этот ряд сходится для

 

 

 

 

 

< 1,

 

z

 

 

 

 

 

2

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

2 n

 

 

 

 

 

 

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

> 2).

 

 

 

 

 

 

 

 

 

 

 

 

т.е. при

 

z

> 2. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

2

 

 

 

z

n=0

z

 

 

 

 

n=1

 

 

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

n1

 

 

z

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

 

 

 

. Ряд Лорана со-

 

 

 

 

 

(z

2)(z 3)

 

zn

 

 

 

 

3n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

держит

правильную

 

и

главную

 

части:

 

an

= −2n1 (n = 1,2,K), an =

1

 

 

 

 

3n+1

(n = 0,1,2,K).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) В области 3 <

 

z

 

< ∞ ряд

 

 

 

 

для функции

 

 

 

 

 

сходится, а ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn

 

z

2

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

для функции

 

 

 

 

 

 

 

 

 

расходится. Поэтому функцию

 

 

 

 

 

 

представим в

 

n+1

 

 

z

 

3

 

 

 

z 3

n=0

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

3n1

(

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

z

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 . Тогда имеем

 

 

 

 

 

 

 

 

z

3

 

 

 

 

z

1

3

 

 

 

 

 

z n=0

 

2

 

 

 

 

 

 

 

 

n=1

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

z

 

 

 

 

 

 

 

 

 

2n1

 

 

 

 

 

 

 

 

3n1

 

 

 

 

3n1

2n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

+

 

 

=

 

 

(

 

z

 

> 3 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z 2)(z 3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn

 

 

 

 

 

 

 

 

zn

 

 

 

 

 

 

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

n=1

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 3n1 2n1

 

 

Ряд Лорана содержит только главную часть:

an = 0, an

 

(n = 1,2,K). Приведенный пример показывает,

что для одной и той же функ-

ции f(z) ряд Лорана имеет, вообще говоря, разный вид для разных областей . ПРИМЕР 2.43. Разложить в ряд Лорана в окрестности точки z0 следую-

щие функции:

а) f(z) = z

5

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

e z

, z0

= 0 ;

 

 

 

б) f(z) =

 

, z0

= −1;

 

 

 

 

z2 (z 1)

в) f(z) =

 

 

1

 

, z0

= 0 .

 

 

 

 

z2 (z 1)

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

Решение. а) Функция z5 e

z

 

аналитична всюду, кроме z0 = 0, поэтому ее

можно разложить в ряд Лорана в кольце: 0 < z < R (R = ∞). В силу (2.48)

126

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

имеем

 

 

 

ez

=

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

. Отсюда получаем z5

e z = z5

 

 

 

 

=

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

zn n!

 

 

n!zn

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

= z5 + z4 +

z3

+

 

z2

+

 

 

 

z

 

+

 

 

 

1

 

 

 

 

+

 

 

 

 

1

 

 

 

+K.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4!

5!

6!z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

3!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) Функция

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

аналитична в точке z0

 

 

= −1. Поэтому в окрестно-

 

z2 (z

 

1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сти точки z0

= −1 ее можно разложить в ряд Тейлора,

причем ряд будет схо-

диться в круге с центром в

 

 

z0

 

 

= −1 радиуса R = 1 (расстояние

от точки

z0 = −1 до ближайшей особой точки z0

= 0 ). Разложим функцию на сумму

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

простейших дробей:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z2 (z 1)

z 1

 

z

z2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу (2.48) имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1 n

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

=

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

= −

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

= −

1

z

(

 

z +1

 

< 2

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

1

 

 

 

 

z +1 2

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

1

 

z +

1

 

 

 

 

 

 

2 n=0

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

=

1

 

 

 

 

= −

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

(z +1)n

(

 

z +

1

 

< 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z z +1 1

 

 

 

 

 

 

 

 

1 (z +1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд

 

для функции

 

 

1

 

 

 

 

 

 

 

найдем

 

 

почленным

 

дифференцированием

ряда

 

 

 

 

z2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

n(z

+1)

n1

 

 

 

(

 

 

 

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функции

 

 

 

:

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z +

1

< 1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

z2

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, в круге

 

 

z +1

 

 

< 1 получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

1

 

 

 

 

 

=

 

1n+1 1 + (n +1) (z +1)n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z (z 1)

 

 

 

 

n=0

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) Функция

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

аналитична в кольце 0 <

 

z

 

< 1, поэтому ее ряд

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z2 (z 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лорана имеет вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

zn =

 

 

 

 

 

 

 

 

 

 

 

 

z2

(z 1)

 

 

z2 1 z

 

z

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

127

 

1

 

1

 

 

 

 

 

1

 

1

 

 

= −

1

z z2 −K= −

zn . Главная часть Лорана в окре-

z2

z

 

z2

z

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

стности z

 

 

= 0

f

(z) = −

 

, а правильная f

 

(z) = − zn .

0

 

 

 

2

 

 

 

 

 

1

 

z2

 

 

z

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.7. ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ ФУНКЦИИ КОМПЛЕКСНОГО ПЕРЕМЕННОГО

2.7.1. Классификация изолированных особых точек

Точки плоскости z, в которых однозначная функция f(z) является ана-

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

точки, в которых f(z) не определена).

Точка z0 называется изолированной особой точкой функции f(z), если f(z) аналитична в некоторой окрестности этой точки, за исключением самой

точки z0 .

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

Изолированная особая точка z0 функции f(z) называется:

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

lim f(z) = C ≠ ∞, (2.51)

zz0

б) полюсом, если

 

 

 

 

 

 

lim f(z) = ∞,

 

 

 

 

(2.52)

zz0

 

 

 

 

 

 

 

 

 

причем полюсом k го порядка, если

 

zz0

[(

z z

0 )

k f

(

 

)]

= C ≠ ∞

 

lim

 

 

 

z

 

(2.53)

и простым полюсом при k = 1;

не существует lim f(z) (ни ко-

в) существенно особой точкой, если

zz0

нечный, ни бесконечный).

2.7.2. Ряды и особые точки

Имеют место следующие утверждения

10 . Для того, чтобы изолированная особая точка z0 функции f(z) была устранимой, необходимо и достаточно, чтобы лорановское разложение f(z) в окрестности точки z0 не содержало главной части, т.е. имело вид

128

 

 

 

 

z0 )2 +K

 

f(z) = a n (z z0 )n = a0 + a1 (z z0 )+ a2 (z

(2.54)

 

n=0

 

 

 

 

 

20 . Для того, чтобы изолированная особая точка z0 функции f(z) была

полюсом k го порядка, необходимо и достаточно, чтобы главная часть лора-

новского разложения содержала лишь конечное число (k) членов

(2.55)

f(z) = a k

+K+ a 1

+ a n (z z0 )n , a k

0.

 

 

 

 

 

 

 

(z z0 )k

 

z z0

n=0

 

 

30 . Для того, чтобы особая

точка z0 функции f(z)

была существенно

особой, необходимо и достаточно, чтобы главная часть лорановского разложения содержала бесконечно много членов.

2.7.3. Нули аналитической функции. Связь между нулем и полюсом

Точка z0 называется нулем функции f(z), если f(z0 ) = 0. Точка z0 на-

зывается нулем порядка k , если

f (k )(z0 ) 0.

 

 

 

f(z0 ) = f (z0 ) =K= f (k1) (z0 ) = 0, а

(2.56)

 

Ряд Тейлора в окрестности точки z0 нуля порядка k функции f(z)

имеет вид f(z) = a k (z z0 )k + a k+1 (z z0 )k+1 +K.

 

 

Теорема 2.2.

Для того, чтобы точка z0 была нулем порядка k функции

 

f(z), необходимо и достаточно, чтобы имело место равенство

 

 

 

 

f(z) = (z z0 )k ϕ(z),

 

(2.57)

где ϕ(z)аналитична в точке z0 и ϕ(z0 ) 0.

 

 

Для определения порядка нуля функции полезно помнить, что если z0

нуль порядка k для g1 (z) и нуль порядка l для g2 (z) , то z0

нуль порядка

 

k + l для произведения g1 (z) g2 (z), порядка k − l (при k > l) для частного

 

g1 (z)

;

z0 правильная точка, не являющаяся нулем при

k = l и особая

 

g2 (z)

 

 

 

 

 

 

 

 

точки при k < l.

 

z0 была полюсом порядка k для

 

Теорема 2.3.

Для того, чтобы точка

функции f(z),

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

 

k для функции

1

.

 

 

 

 

f(z)

 

 

129

2.7.4. Особенности функции в бесконечно удаленной точке

Под точкой z = ∞ понимают абстрактную точку плоскости z, окрестностью которой является множество чисел z, удовлетворяющих неравенству

z > R , где R любое действительное положительное число.

Ряд Лорана функции w = f(z) в окрестности точки z = ∞определяют с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

= ϕ(ζ) в окрест-

помощью замены переменной z =

 

 

для функции w = f

 

 

ζ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ζ

 

 

 

 

ности точки ζ = 0. Ряд Лорана в окрестности точки z = ∞ имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(z) = a n zn + a n zn ,

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

 

 

 

 

где f1 (z)

 

 

 

 

 

 

= a1 z + a 2 z2 +K+ a n zn +K − главная часть,

 

= a n zn

 

 

 

 

 

 

n=1

 

 

 

 

 

 

 

 

a 1

 

 

a 2

 

 

a n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f2 (z)= a n zn

= a 0 +

+

 

+K+

+K − правильная часть.

 

z

z2

zn

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поведение функции в окрестности бесконечно удаленной точки дает воз-

можность классифицировать ее особенности в этой точке.

 

 

 

 

 

 

Точка

z = ∞ называется устранимой особой точкой

функции,

если

lim f(z) =

 

A

 

, где

 

 

 

A

 

 

< ∞.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд Лорана

в

 

этом случае

не содержит

положительных степеней

f(z) = f2 (z) = a0 +

a1

+

a2

 

+K.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

z2

 

 

 

 

 

 

 

 

 

k

 

 

 

 

Точка

 

 

z = ∞

 

называется

 

 

полюсом

порядка

функции,

если

lim f(z) = ∞.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ряд Лорана в этом случае содержит конечное число (k) положительных

степеней:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(z) = ak zk + ak 1 zk 1 +K+a

 

(ak 0).

 

1 z + an

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

Точка

 

 

z = ∞ называется существенно

особой для

функции,

если

lim f (z) не существует.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

степеней z .

 

 

 

что точка z = ∞ называется нулем порядка k функции

f(z),

Заметим,

если точка ζ =

1

= 0 является нулем порядка k для функции f

1

= ϕ(ζ).

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ζ

 

130

Примеры решения задач

ПРИМЕР 2.44. Найти нули функции f(z) = (z2 + π2 )sh z и определить

их порядки.

 

f(z) = 0,

получим (z2 + π2 )sh z = 0, откуда

Решение.

Полагая

z2 + π2 = 0 или sh z = 0.

Первое уравнение имеет корни z = ±πi . Корнями

второго уравнения являются числа zk = k π i (k = 0,±1,± 2,K).

Итак, точки z = ±πi,

zk = k π i

(k = 0,± 2,K)нули функции f(z).

Определим их порядки. Точки z = ±πi нули 2-го порядка, так как они явля-

ются нулями 1-го порядка для функции g1 (z) = z2

+ π2 и g2 (z)= shz . В са-

мом деле, в силу (2.56) получаем

 

g1(z)

 

 

 

z=±πi

= 2 z

 

z=±πi = ±2πi 0,

 

 

 

 

 

 

 

 

 

g2 (z)

 

z=±πi

= ch z

 

z=±πi = ±chπi = cosπ ≠ 0.

 

 

Точки zk =k πi

(k = 0,± 2,± 3,K) являются нулями 1-го порядка дан-

ной функции f(z), так как

 

f (z)

 

z=zk

= (2 z sh z + (z2 + π2 )ch z)

 

z=zk

= (1)k π2 (1 k 2 )0

 

 

 

 

 

 

 

 

при k = 0,± 2,± 3,K.

 

ПРИМЕР 2.45. Найти особые точки функции и выяснить их характер:

а) f (z)= (z z

2)3 ;

б) f(z) = sin1 z ;

 

 

2

 

 

 

 

 

в) f(z) = tg z

;

в) f(z) = z e

z .

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

z2 π z

 

 

 

 

 

 

4

 

 

 

 

 

Решение. а) Особая точка функции f(z)

z = 2 (знаменатель дроби об-

ращается в нуль). Легко видеть, что lim f(z) = ∞, значит, согласно (2.52),

 

 

z2

z = 2 полюс, причем 3-го порядка, так как по определению (2.53)

lim(z 2)3

z2

= lim z2 = 4 0.

(z 2)3

z2

z2

131

б)

Изолированные особые точки

zn = n π

(n = 0,±1,± 2)простые

полюсы, так как для функции

1

= sin z точки zn

= n π являются нулями 1-

f(z)

 

 

 

 

 

 

 

го порядка. Действительно, sin n π = 0, (sin z)

 

 

= cosπn = (1)n 0.

 

 

 

 

 

 

 

zn

 

 

 

 

 

 

в)

Особые точки: z = 0,

z = π

, zn = (2n +1)π (n = 0,±1,± 2,K).

 

 

 

4

 

 

 

2

Выясним их характер. Отметим, что в точке z = 0 обращается в нуль и числитель. Найдем предел функции при z 0:

lim f(z) = lim

sin z

 

 

 

1

 

= −

π.

z

 

π

z0

z0

 

 

4

 

 

 

 

 

z

cosz

 

 

 

 

 

 

 

 

4

 

 

 

 

Следовательно, согласно (2.51), точка z = 0 является устранимой особой

точкой.

Точка

z =

π

простой полюс, так как для функции

ψ(z) =

1

=

 

4

f(z)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= z z

 

ctg z эта точка является нулем 1-го порядка. В самом деле, функ-

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

цию можно представить в виде: ψ(z)

 

ϕ(z), где ϕ(z) = z ctg z ана-

= z

4

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

литична в точке z =

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= (2n +

1)

 

 

 

 

 

4

 

ϕ

0. Точки zn

 

2

 

 

 

 

(n = 0, ±1, ± 2,K)

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

также являются простыми полюсами, так как для функции

ψ(z) =

 

1

 

 

 

 

 

 

2

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= = z

 

 

 

 

z ctg z

 

 

они являются нулями 1-го порядка в силу

f(z)

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

того, что

ψ(zn ) = 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

π

 

 

 

 

 

 

 

 

 

 

 

n+1 (2n +1)π

 

 

 

 

 

)=

 

 

 

π

 

 

 

 

 

 

z

 

4 z

 

 

= (1)

 

 

 

 

 

2z

 

ctgz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

×

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ψ (z

 

4

 

sin 2 z

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z=zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

× (2n +1)π

π 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г)

 

В окрестности особой точки z = 0 для f(z)

имеет место следующее

разложение: f(z) = z e

1

 

 

 

 

 

1

 

 

1 1

 

 

 

1 1

 

1 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

= z 1

 

 

 

+

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

−K =

 

 

 

z

2! z2

 

3! z3

 

4! z4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

132

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]