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

Учебное пособие 800226

.pdf
Скачиваний:
2
Добавлен:
01.05.2022
Размер:
1.02 Mб
Скачать

z w

многозначна в области G . Если существуют одно-

значные,

аналитические в области G функции

z 1 w ,

z 2 w

, , для которых данная функция w f z является

обратной,

то функции z 1 w ,

z 2 w ,

называются

однозначными ветвями функции

z w , определенными в

области G .

 

 

Например, функция w zn каждой точке z

ставит в со-

 

 

0

 

ответствие единственную точку w0 , но одной и той же точке w0 (w0 0, w0 ) функция z nw ставит в соответствие n

различных точек плоскости z ; при этом, если w rei , то эти

nзначений z находятся по формулам (1.30):

i( 2k )

 

 

 

 

 

 

 

n w n re n

( , k 0,1, 2, , n 1).

Пусть односвязная область G содержит точку w0 , но не

содержит точек w 0

и w . Тогда различным фиксирован-

ным значениям k (k 0,1, 2, , n 1) при одном и том же вы-

боре числа 0 (например, 0 argw0 ) соответствуют различ-

ные ветви функции z nw .

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

Точками разветвления функции z nw являются точки w 0 и w . После n-кратного обхода вокруг точки w 0

мы вернемся к первоначальной ветви функции z nw ; точки разветвления, обладающие таким свойством, называются ал-

гебраическими точками разветвления порядка n 1. В каждой из этих точек функция z nw имеет только одно значение:

60

n0 0, n , т.е. различные ветви функции в этих точках

совпадают.

 

w Ln z

 

Для

логарифмической

функции

точками раз-

ветвления

являются z 0

и z ,

причем

Ln0 и

Ln . Любое конечное число обходов (в одном и том же направлении) вокруг точки z 0 не приведет к первоначальной ветви функции w Ln z . Такие точки ветвления называ-

ются логарифмическими.

При интегрировании необходимо выделять ветвь многозначной функции. Это достигается заданием значения многозначной функции в некоторой точке кривой интегрирования.

Если контур интегрирования замкнут, то начальной точкой z0 пути интегрирования считается та точка, в которой за-

дано значение подынтегральной функции.

Пример 6. Вычислить интеграл dz , где C – верхняя

C z

дуга окружности z 1, интегрирование проводится в положи-

тельном направлении. Для функции z берется та ветвь, для которой 1 1.

Решение. Первый способ. Функция z имеет два значе-

ния ( arg z ):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

z

 

cos

 

 

 

isin

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

z

 

cos

 

 

 

isin

 

 

 

 

 

 

z

 

cos

 

isin

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

Так как интегрирование ведется по дуге окружности

z

1, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

isin

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

 

isin

 

.

 

 

 

 

 

 

 

 

(*)

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

61

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Условию 1 1 удовлетворяет второе значение (*). В самом

деле, пусть z 1,

тогда argz 0

 

и

1 cos0 isin0 1.

Применяя формулу Ньютона-Лейбница, получим

 

 

 

 

dz

1

 

dz 2 z

 

2

1 1 .

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

1

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Полагая в формуле (*)

 

z 1, найдем

 

 

 

 

 

 

 

 

 

 

cos

arg( 1)

isin

arg( 1)

cos

 

isin

 

i.

 

1

 

 

 

 

2

 

 

 

 

 

 

 

 

2

2

 

 

2

 

 

 

 

Согласно выбору ветви имеем

1 1 и окончательно полу-

чим

 

dz

 

2 i 1 2 2i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Второй способ. Полагаем z rei , где r

 

z

 

1,

а ме-

 

 

 

 

 

 

 

 

 

 

 

 

 

няется от

 

0 до . Из условия

 

 

1 следует,

что

 

ei

 

1

e 2 . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

iei

 

 

 

 

iei d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

i e

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

C

 

0 ei

 

 

0

i

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

 

i 1 2 2i.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2e 2

 

 

 

2 e

 

2 e i 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

3

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 7. Вычислить интеграл

ln

 

dz

по дуге окруж-

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ности

 

z

 

1

(ln z – главное значение логарифма, ln1 0).

 

 

Решение. Первый способ. Применяя формулу НьютонаЛейбница, получим

62

 

 

 

 

 

 

 

 

 

i

3

z

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

4

z

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

 

dz ln3 z d ln z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln

4 i ln

41 ln4 i

 

1

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

4

 

 

 

 

 

 

 

64

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Второй способ.

Делаем

 

замену

 

переменной

ln z w,

dw

dz

. Дуга окружности

 

 

z

 

1 переходит в отрезок мнимой

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оси, заключенный между точками 0, 0

 

 

 

 

 

 

 

 

 

и

 

0,

 

 

 

 

.

Интеграл

 

 

 

 

 

 

примет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

ln

3

z

 

i 2

 

 

 

 

 

 

 

 

w

4

 

1 (i )

4

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w3dw

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

z

 

 

 

4

 

 

 

 

4

 

 

 

 

2

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

64

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Третий способ. Полагаем

 

z rei , где

 

 

r

 

z

 

 

1. Тогда

 

 

 

 

 

 

ln z i ,

dz iei d . Действительная переменная изменяет-

ся в пределах 0 2. В этом случае получаем

 

 

 

 

 

 

 

 

 

i

ln

3

z

 

 

 

 

 

2

3 3 i

d

 

 

2

 

 

 

 

 

 

 

 

 

4

 

2

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

i ie

 

3d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

z

 

 

i

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

0

 

 

e

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

64

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.3. Интегральная формула Коши

 

 

 

 

 

 

 

 

 

Если функция

f z

аналитична в области D,

z0 D и

D – контур, охватывающий точку z0 , то справедлива ин-

тегральная формула Коши:

f z0

1

 

f z

dz.

(3.21)

2 i

z z0

При этом функция f z имеет всюду в D производные любо-

го порядка, для которых справедливы формулы: 63

 

n

z0

n!

 

f z

 

 

f

 

 

 

dz,

n 1, 2, .

(3.22)

 

2 i

z z0 n 1

Формулами (3.21) и (3.22) применяются для вычисления некоторых интегралов.

Пример 8. Вычислить

ez

dz, где C – окружность:

 

 

C

z 3

 

 

 

 

 

 

 

а) z 2, б)

z 4.

 

 

 

 

y

 

y

 

|

y

 

 

 

 

 

 

 

z

 

 

 

 

 

|

|

 

 

 

 

=

 

 

 

 

4

z

 

 

 

 

 

|

 

|

 

 

 

=

 

 

 

 

3

 

z

 

 

 

 

|

 

 

 

 

 

=

 

 

 

 

 

2

 

 

 

z0=0

z =-3 0

x z =-3

0

 

x

 

x

0

0

 

 

 

 

а) б)

Рис. 3.4 Рис. 3.5

Решение. а) Если C – окружность радиуса 2, то подын-

тегральная функция ez является аналитической в каждой z 3

точке круга z 2 (рис. 3.4, а). Поэтому, в силу теоремы Коши

(3.17), получаем

ez

 

dz 0.

z 3

 

z

2

 

 

 

 

 

б) Если C – окружность радиуса 4, то точка z0 3 (в

ней подынтегральная функция не определена) расположена внутри окружности z 4 (рис. 3.4, б). Представим подынте-

64

гральную функцию в виде

 

f z

 

,

 

где f z ez

является ана-

 

z z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

литической в каждой точке круга

 

 

 

z

4. Применяя интеграль-

ную формулу Коши (3.21), получим

 

 

 

 

 

 

 

 

 

 

 

ez

 

dz 2 iez

 

 

 

 

 

2 i

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

z

 

4

z 3

 

 

 

 

 

 

 

 

 

 

z 3

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 9. Вычислить

cosz

dz , где C :

 

z

 

 

 

3.

 

 

3

 

 

 

 

 

 

 

 

 

 

C

z

 

 

 

 

 

 

 

 

 

 

cosz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Подынтегральная функция

 

является ана-

 

z3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

литической в круге

z

3 всюду кроме точки z0

0 (рис. 3.5).

Выделим под знаком интеграла функцию

f z cosz , являю-

щуюся аналитической

в

круге

 

z

 

3. Воспользуемся инте-

 

 

гральной формулой Коши для производной (3.22). При z0 0

и n 2 получим

 

 

 

 

cosz

dz

2 i

cosz

 

2 i

cosz

 

i.

3

 

 

 

z

 

3

z

2!

 

 

 

 

 

z 0

2

 

 

 

ez2

 

 

z 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 10. Вычислить интеграл

 

 

 

dz , если:

 

 

z2 6z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C

 

 

 

 

 

 

 

 

1) C1 :

 

z 2

 

1; 2) C2 :

 

z 2

 

3; 3) C3 :

 

z 2

 

5.

 

 

 

 

 

 

Решение.

1) Так как z2 6z z z 6 , поэтому знамена-

тель подынтегральной функции обращается в нуль в точках z 0 и z 6. В замкнутой области, ограниченной окружностью C1 : z 2 1, подынтегральная функция аналитическая

(рис. 3.6, а), поэтому в силу теоремы Коши (3.17)

65

 

ez2

 

 

 

 

 

 

 

dz 0.

 

 

 

 

C z2

 

 

 

 

 

6z

 

 

 

 

1

 

 

 

 

 

 

 

y

 

 

y

 

 

 

C3

 

 

 

 

 

C3

C2

 

 

 

 

 

 

C1

 

 

 

 

 

 

-3 -2-1 0 1 2 3 5 6 7 x

-3

0

2

 

6 7 x

 

 

 

 

1

 

2

 

 

 

 

а)

Рис. 3.6

б)

 

 

 

 

 

 

2)

 

Внутри

области, ограниченной окружностью

C2 :

 

z 2

 

3, находится одна точка

z 0, в которой знамена-

 

 

тель подынтегральной функции обращается в нуль (рис. 3.6, а). Перепишем интеграл в виде

 

 

 

 

 

 

 

 

 

ez2

 

 

 

 

 

 

 

ez2

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

z 6

 

dz .

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

C2 z

 

 

6z

 

 

z 2

 

3

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Функция f z

ez2

 

 

является аналитической в данной облас-

z 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ти. Применяя интегральную формулу Коши (3.21), получим

 

 

 

 

ez2

 

 

 

 

ez2

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

2 i

 

 

 

 

 

2 i

 

 

i

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

z 6

 

 

 

 

 

 

6

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 2

 

3

 

 

 

 

 

 

 

 

 

 

 

z 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) В области, ограниченной окружностью C3 : z 2 5,

имеем две точки z 0 и z 6, в которых знаменатель подынтегральной функции обращается в нуль (рис. 3.6, а). Непосредственно формулу (3.21) применять нельзя. В этом случае для вычисления интеграла можно поступить так.

Первый способ. Разложим дробь

 

1

на простейшие:

z2 6z

 

 

 

 

 

 

 

 

 

1

 

1

 

1

 

1

 

1

.

 

 

z2 6z

 

 

 

 

 

 

6

 

z 6 6

 

z

 

Подставив в интеграл, по формуле (3.21) получим

 

 

 

 

ez2

dz

1

 

 

 

 

 

 

 

ez2 dz

 

1

 

 

 

 

 

 

 

 

ez2 dz

 

 

 

C z2 6z

6

 

z 2

 

5 z 6

6

 

 

z 2

 

5 z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

2 iez2

 

 

 

ie36

 

i

i

e36 1

.

 

2 iez2

 

 

 

 

 

 

 

 

 

 

6

 

 

 

z 6 6

 

 

 

 

 

 

 

z 0

3

3

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

Второй способ. Построим окружности 1 и 2 с центра-

ми в точках

z 0

и z 6 достаточно малых радиусов таких,

чтобы окружности не пересекались и целиком лежали в круге

 

z 2

5 (рис.

 

3.6, б). В трехсвязной области, ограниченной

окружностями

 

z 2

 

5, 1 и 2, подынтегральная функция

 

 

всюду аналитична. По теореме Коши для многосвязной области (3.20) получаем

 

 

 

 

e

z2

 

 

z2

 

 

z2

 

 

 

dz

e

dz

 

e

dz

.

 

2

 

2

 

2

 

z 2

 

5

z

6z

 

z

6z

 

z

6z

 

 

 

 

 

1

 

 

2

 

 

 

К каждому интегралу в правой части можно применить интегральную формулу Коши (3.21). В результате получим

z 2

 

 

ez2

ez2

 

 

ez2

 

 

 

e36 1

 

 

 

 

 

dz 2 i

 

 

 

2 i

 

 

 

i

 

 

.

 

5 z2

 

z 6

z

3

 

 

6z

 

z 0

 

 

z 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

66

67

sin z

Пример 11. Вычислить интеграл dz.

z 1 1 z2 1 2

y

-1

0

1

2

x

Рис. 3.7

Решение. Подынтегральная функция

 

 

 

sin z

яв-

z 1 2 z 1 2

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

 

z 1

 

 

1 всюду, кроме точки

 

 

z 1 (рис. 3.7). Выделим

под

 

знаком

интеграла функцию

f z , являющуюся аналитической в круге

 

z 1

 

 

1:

 

 

 

 

 

 

 

sin z

 

 

 

 

 

 

 

 

 

 

 

 

sin z

 

z 1 2

 

 

 

 

 

f z

 

 

.

 

 

z 1 2 z 1 2

 

 

 

 

 

 

z 1 2

 

 

 

 

z 1 2

 

 

 

 

 

 

 

Полагая в формуле (3.22) n 1, z0 1, получим

fz

dz 2 if 1 .

z 1 1 z 1 2

Находим производную

 

sin z

 

 

cos z z 1 2sin z

 

 

 

 

f z

 

 

 

 

 

.

 

2

3

 

z 1

 

 

 

 

 

 

 

z 1

 

 

 

 

 

 

68

 

Отсюда

f

 

1

2 cos

 

 

. Следовательно,

 

 

 

23

 

4

 

 

 

 

 

 

 

 

 

 

sin z

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

dz

2 i

 

 

 

 

 

 

i

 

.

 

 

 

 

z2

1

2

 

 

 

 

 

 

 

z 1

 

1

 

 

 

 

4

 

 

 

2

 

 

 

 

 

 

 

 

 

 

Пример 12. Вычислить интеграл

 

 

 

 

ch z dz

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

2 z 1 3 z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

1 2

-2

-1

0

1

2 x

-2

-1

0

1

2 x

 

 

 

 

 

 

а)

 

 

 

 

 

 

 

 

Рис. 3.8

 

 

 

 

 

 

 

 

 

 

б)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Первый способ. Знаменатель подынтегральной

функции обращается в нуль в двух точках z1 1

и z2 1, ле-

жащих внутри круга

 

z

 

2 (рис. 3.8, а). Разложим на простей-

 

 

шие дроби функцию

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

1

 

1

 

1

 

1

 

 

1

 

 

 

 

 

1

 

 

 

1

.

 

z 1 3

 

 

 

 

 

 

 

 

 

4 z 1 2

2 z 1 3

 

z 1

8 z 1

 

 

 

 

8 z 1

 

 

 

Используя линейность интеграла, получим

 

 

 

 

 

 

 

 

 

 

 

 

ch z dz

 

 

 

 

 

 

1

 

 

 

 

ch z

dz

1

 

 

 

 

ch z

dz

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

2 z 1 z 1

8

 

z

 

2 z 1

 

 

 

8

 

z

 

2 z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

69

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

chz

 

dz

1

 

 

 

ch z

dz.

 

 

2

 

3

4

 

z

 

2

z 1

 

2

 

 

z

 

2

z 1

 

 

 

 

 

К первым двум интегралам применяем интегральную формулу Коши (3.21):

 

ch z

dz 2 ich1,

 

 

ch z

dz 2 ich( 1) 2 ich1.

 

 

z

 

2

z 1

 

z

 

2

z 1

 

 

 

 

 

 

 

 

 

 

Третий и четвертый интегралы вычисляем с помощью форму-

лы (3.22):

 

 

 

 

 

 

 

ch z

dz

2 i ch z

 

 

 

2 ish1,

2

 

 

 

 

z

 

2

z 1

 

 

 

 

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ch z

dz

2 i

ch z

 

 

ich1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

z

 

2 z 1

2!

 

 

 

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Окончательно получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ch z dz

 

2 ich1

 

2 ich1

 

2 ish1

 

 

 

 

2 z 1 3 z 1

 

 

 

 

 

 

 

z

 

8

 

 

 

 

8

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ich1

i

sh1 ch1

i

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

2e

 

 

Второй способ. Построим окружности 1

и 2 с центра-

ми в точках z1 1 и z2

1 достаточно малых радиусов таких,

чтобы окружности не пересекались и целиком лежали в круге

 

z

2 (рис.

3.8, б). В трехсвязной области, ограниченной ок-

ружностями

 

z

 

2, 1 и 2, подынтегральная функция всюду

 

 

аналитична. По теореме Коши для многосвязной области (3.20) имеем

 

ch z

dz

ch z dz

 

ch z dz

. (*)

3

z 1

3

z 1

3

z 2

z 1 z 1

1

 

2

z 1 z 1

 

 

 

 

 

 

 

 

 

 

 

В первом интеграле правой части (*) представим подынтегральную функцию в виде

70

 

 

 

 

 

 

 

 

ch z

 

 

 

 

 

ch z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

 

 

.

 

 

 

 

 

 

 

 

 

 

 

z

 

3

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

1 z 1

 

z 1

 

 

 

 

Функция

 

ch z

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

1, поэтому в

 

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

силу формулы (3.22) имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ch z dz

 

 

 

ch z

 

 

 

 

 

 

 

2 i ch z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

 

dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

3

z 1

 

3

 

 

 

1

 

1

 

z 1

 

 

 

 

2!

 

z 1

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sh z z 1 ch z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1

i

z 1 2 ch z 2

z 1 sh z 2ch z

 

i

2e 1

ch1

.

z 1 3

 

 

4

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

Во втором интеграле правой части (*) представим подынтегральную функцию в виде

 

 

 

 

 

 

 

 

 

 

 

 

ch z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ch z

z 1 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z 1 3 z 1

z 1

 

 

 

 

 

 

Функция

 

ch z

является аналитической внутри 2, поэтому

 

z 1 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в силу интегральной формулы Коши (3.21) имеем

 

 

 

 

 

 

 

 

 

 

 

 

ch z

 

 

 

 

 

 

 

 

 

 

 

 

ch z dz

 

 

 

z 1 3

dz 2 i

ch z

 

 

i

ch1

.

 

1

3

z 1

 

 

z 1

3

 

4

 

2 z

 

2

z 1

 

 

 

z 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подставив в (*) найденные значения интегралов, окончательно получим

71

 

 

 

ch z

2e

1 ch1

ch1

 

 

.

 

 

 

 

 

dz i

 

 

i

 

 

i

 

 

 

2 z 1 3

 

 

 

 

 

 

z

 

z 1

 

4

 

4

 

 

2e

 

 

 

 

ГЛАВА 4

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

ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ

ИИХ КЛАССИФИКАЦИЯ

4.1.Числовые ряды с комплексными членами

Рассмотрим ряд, членами которого являются комплексные числа, т.е. ряд вида:

 

 

z1 z2 zn zn ,

(4.1)

n 1

где zn xn iyn . Ряд (4.1) называется сходящимся, если n

частичная сумма ряда Sn при n стремится к определен-

ному конечному пределу. В противном случае ряд (4.1) называется расходящимся. Sn – это комплексное число:

 

 

n

 

 

n

 

 

 

S

 

 

 

 

y

 

,

 

n

 

x

i

 

 

 

k

n

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

k 1

 

 

 

Ряд (4.1) сходится тогда и только тогда, когда сходятся

ряды с действительными членами:

 

 

 

 

 

 

 

 

 

 

 

 

x1 x2 xn xn ,

(4.2)

и

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y1 y2 yn yn ,

(4.3)

n 1

Если суммой ряда (4.2) является число A, а суммой ряда (4.3)

– число B , то суммой ряда (4.1) является комплексное число

S A iB.

lim zn 0 – необходимое условие сходимости ряда с

n

комплексными членами. Для его выполнения необходимо и достаточно, чтобы одновременно выполнялись два равенства:

lim

x 0,

lim y

n

0.

 

n

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема. Если сходится ряд, составленный из модулей

членов ряда (4.1):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z1

 

 

 

z2

 

 

 

zn

 

 

 

zn

 

,

(4.4)

 

 

 

 

 

 

 

 

 

 

n 1

где zn xn2 yn2 , то сходится и ряд (4.1). В этом случае ряд

(4.1) называется абсолютно сходящимся.

Ряды (4.2)–(4.4) являются рядами с действительными членами и их сходимость исследуется с помощью известных признаков сходимости рядов в действительной области.

Пример 1. Исследовать сходимость ряда

1 i 13 12i 19 14i 3n1 1 2n1 1 i

Решение. Ряды с действительными членами

1

1

 

1

 

1

и 1

1

 

1

 

1

 

 

 

3n 1

 

 

2n 1

3 9

 

2 4

 

 

сходятся, так как они состоят из членов бесконечно убываю-

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

1

 

и

3

 

 

1

 

 

1

 

 

3

1

 

q

 

. Сумма первого ряда

A

 

 

, а сумма второго

 

 

1

 

2

2

 

 

1

2

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

72

73

ряда B

1

 

2. Следовательно, сумма рассматриваемого

1

1

 

 

 

 

 

 

2

 

ряда есть комплексное число S A iB 3 2i. Рассмотрим

2

 

zn

 

 

 

 

1

2

 

1

2

 

 

1 2

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

.

 

 

 

n 1

 

 

n 1

 

n 1

2

n 1

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как ряд

 

 

 

 

 

 

является бесконечно убывающей гео-

2

 

 

 

 

 

2

n 1

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

метрической прогрессией со знаменателем q 1 , то он схо- 2

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

Пример 2. Исследовать сходимость ряда

 

2

 

 

1

 

 

 

3 2

 

 

4

 

3

 

 

n 1

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

i

 

 

i

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

2

 

 

 

4 3

 

5

 

4

 

 

n 2

 

n 1

 

 

Решение.

 

Найдем

предел

общего

члена

lim zn

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

i .

 

Так

как

lim x lim

 

 

 

1 и

n n 2

 

 

n 1

 

 

 

 

 

 

 

 

n

 

n n 2

 

lim

yn lim

 

n

1, то

lim zn 1 i 0, т.е. не выполнен

 

 

n

 

 

 

n n 1

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

необходимый признак сходимости ряда, поэтому данный ряд расходится.

ein

Пример 3. Исследовать на сходимость ряд n 1 n2 .

Решение. Рассмотрим

 

zn

 

 

 

ein

 

 

 

1

 

. Так как ряд Ди-

 

 

 

 

 

 

n2

 

 

n2

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рихле

является сходящимся ( 2 1), то исходный

n 1 n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд с комплексными членами сходится абсолютно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ip/n

Пример 4. Исследовать на сходимость ряд

e

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Рассмотрим

 

zn

 

 

 

ei /n

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Так как гармони-

 

 

 

n

 

 

 

 

 

n

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ческий ряд

n

является расходящимся,

то исходный ряд с

 

 

 

n 1

комплексными членами не сходится абсолютно. По формуле

Эйлера ei /n cos isin . Вопрос о сходимости исходного n n

ряда сводится к решению вопроса о сходимости знакоположи-

 

 

 

 

 

 

 

 

 

 

 

 

cosp

 

 

 

тельных рядов

с

действительными

членами

n

 

 

и

n

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

sin p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

n

. Сравним первый ряд с расходящимся рядом

, а

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

второй ряд со сходящимся рядом

1

:

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

cos /n

n 1 n

sin /n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

n

 

1,

lim

 

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

1

 

 

n

1

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

n2

 

 

 

 

 

 

74

75

cosp

sin p

Получаем, что ряд

n

, а ряд

 

n

сходится. Следо-

 

 

n 1

n

n 1

n

 

 

 

 

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

4.2. Степенные ряды

Ряд вида

 

 

 

c0 c1z c2z2 cnzn cnzn ,

(4.5)

n 0

z x iy

 

где c0, c1, – комплексные постоянные, а

– ком-

плексная переменная, называется степенным рядом в комплексной области.

Замечание. Ряд вида

c0 c1 z z0 c2 z z0 2 cn z z0 n

n 0

сводится к ряду (4.5) заменой z z0 .

Теорема Абеля. Если степенной ряд (4.5) сходится при некотором значении z z0, то он сходится и притом абсолют-

но при всех значениях z , для которых z z0 . Если ряд (4.5)

расходится при z z1, то он расходится и при любом значении z , для которого z z1 .

Область сходимости степенного ряда (4.5) есть круг на плоскости комплексной переменной z с центром в начале координат, его называют кругом сходимости.

Радиус круга сходимости R называют радиусом сходимости степенного ряда. В граничных точках круга сходимости, т.е. при z z0 R ряд может, как сходиться, так и расхо-

диться (требуется дополнительное исследование). Для вычисления радиуса сходимости применяются формулы:

 

R lim

cn

 

 

 

 

 

 

 

 

 

 

(4.6)

 

cn 1

 

 

n

 

 

 

 

 

 

 

 

 

 

или

1

 

 

 

 

 

 

 

 

 

1

 

 

 

R

 

 

 

 

 

lim

 

 

,

(4.7)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

n

c

 

 

 

n n

 

c

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

если указанные пределы существуют.

Пример 5. Определить радиус сходимости степенного

ряда cosin zn .

n 0

Решение. По формуле Эйлера имеем

cn cosin en e n ch n . 2

Для нахождения радиуса сходимости воспользуемся формулой (4.6), получим

R lim

 

 

chn

 

 

 

 

lim

 

 

 

chn

 

 

lim

 

 

chn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

ch

n 1

 

 

n ch

n 1

 

 

n chn ch1 shn sh1

 

 

 

 

 

lim

 

 

1

 

 

 

 

 

 

 

 

 

1

 

e 1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n ch1 thn sh1

 

 

 

ch1 sh1

 

 

 

так как

 

lim thn lim

en e n

lim

1 e 2n

1. Итак, ра-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n en e n

 

 

 

n 1 e 2n

 

 

 

диус сходимости данного степенного ряда R 1 e.

 

 

Пример 6. Определить радиус сходимости степенного

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряда

 

1 i n zn .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Предварительно найдем

 

 

 

 

 

 

 

 

 

 

 

cn

 

 

 

1 i n

 

 

 

1 i

 

n

 

 

n 2n/2.

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

76

77

Применяя формулу (4.7), найдем радиус сходимости данного

степенного ряда

 

 

R lim

1

 

 

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n 2n/2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

Пример 7. Определить область сходимости степенного

 

2i

 

n

 

z 3i

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряда

 

 

 

 

 

 

 

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. Найдем радиус круга сходимости по формуле

(4.7). Так как

 

 

 

 

 

 

 

 

 

2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

1

,

lim

 

n

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

n

 

 

 

 

 

 

7

3i

 

 

 

 

 

7

 

2 3 2

4 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то R 2 – радиус сходимости. Тогда область сходимости определяется неравенством z 3i 2, Это круг с центром в точ-

ке z0 3i и радиусом R 2.

4.3. Ряды Тейлора

Функция f z , однозначная и аналитическая в точке

z z0, раскладывается в окрестности этой точки в степенной ряд Тейлора

 

 

 

 

 

 

 

 

 

 

 

 

 

f z cn z z0 n ,

 

(4.8)

 

 

 

 

 

n 0

 

 

 

 

коэффициенты которого вычисляются по формулам

 

 

1

 

f z dz

f n z0

 

 

 

cn

 

 

 

 

 

(n 0,1, 2,

),

(4.9)

2 i

z z0 n 1

n!

 

где – окружность с центром в точке z z0, целиком лежа-

щая в окрестности точки z0 , в которой функция f z анали-

тична. Центр окружности круга сходимости находится в точке

78

z0 ; эта окружность проходит через особую точку (точка, в ко-

торой нарушается аналитичность) функции f z , ближайшую к точке z0 , т.е. радиус сходимости ряда (4.8) будет равен рас-

стоянию от точки

 

z0 до ближайшей особой точки функции

f z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для функций

 

 

 

 

 

 

 

 

 

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

ln 1 z и 1 z

 

разложения в ряд Тейлора в окрестности точки z0 0:

 

ln 1 z z

z2

 

 

z3

1 n 1

 

zn

(R 1),

(4.10)

 

 

 

 

 

 

2

3

 

 

 

 

 

 

 

n

 

 

 

 

 

 

1

 

 

1 2

 

1 z

1 z

 

 

z2

 

 

 

 

 

 

 

2!

 

3!

 

 

1 n 1

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

(R 1).

(4.11)

 

 

 

 

 

 

 

 

 

 

n!

Вчастности, при 1 получим

1

1 z z2 1 n zn (R 1).

(4.12)

 

1 z

 

Формула (4.10) дает разложение в ряд Тейлора в окрестности точки z0 0 главного значения логарифма; чтобы полу-

чить ряд Тейлора для других значений многозначной функции Ln 1 z , следует к ряду (4.10) прибавлять числа 2n i , n 1,

2, : Ln 1 z z

z2

 

z3

2n i .

 

 

 

 

2

3

 

1

 

Пример 8. Разложить

f z

 

 

 

в окрестно-

1 z2 z2 4

сти точки z 0 в ряд Тейлора.

 

 

 

Решение. Представим

f z

в виде суммы двух дробей и

преобразуем знаменатели этих дробей:

79