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

УМК11

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

Ответ: 2 πi.

 

 

ПРИМЕР 1.23. Вычислить интеграл

dz

; L : a)

 

z 1

 

=1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L (z 1)3 (z +1)3

 

 

 

 

 

 

 

 

 

 

б)

 

z +1

 

=1; с)

 

z

 

= R, R 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначая искомый интеграл через

, имеем (см. формулу (1.128) при

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

n = 2)

 

 

 

 

 

 

 

 

 

 

1

dz

 

 

 

 

 

 

а)

 

 

=

(z +1)3

=

2 πi

′′

 

где

 

 

(z

1)3

 

21

f

(1),

 

 

 

L L

 

 

 

 

 

 

функция в замкнутом круге с границей а).

Найдем

 

 

 

 

 

 

3

= −3

 

f (z)= [(z +1)

 

]

′′

3

. Отсюда

=

3

πi ;

 

 

 

 

 

 

 

 

 

 

 

f (1)=

8

 

8

 

 

 

 

 

 

 

 

L

 

 

 

 

 

 

f (z)=

1

аналитическая

(z +1)3

 

 

(z +1)4 , f ′′(z)=12 (z +1)5 ,

 

 

 

 

 

1

 

dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

=

(z 1)3

 

= πi f

′′

 

f (z)=

1

 

аналитическая

 

 

 

 

 

 

(z +1)3

(1), где

(z 1)3

 

L L

 

 

 

 

 

 

 

 

 

 

 

 

функция в замкнутом круге с границей б).

 

 

 

 

 

 

 

 

 

 

Далее

 

 

 

 

 

3

(z 1)

4

,

f

′′

 

5

,

 

f (z)= [(z 1)

] = −3

 

 

(z)=12 (z 1)

 

′′

 

3

. Отсюда

= −

3

πi .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (1)= −

8

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R <1,

L

 

 

 

 

 

 

 

 

 

 

 

 

 

с)

Если

то подынтегральная функция аналитична в замкнутом

круге с границей с). Согласно теореме Коши искомый интеграл равен нулю. Если же R > 2, то рассматриваем трехсвязную область, ограниченную окружностями а), б), с). Здесь подынтегральная функция аналитична, и по теореме Коши

 

 

 

 

 

 

dz

=

 

dz

 

 

 

+

 

 

 

 

dz

=

 

 

 

 

 

(z 1)3 (z +1)3

(z 1)3 (z

+1)3

 

 

 

(z 1)3

(z +1)3

 

 

 

z

 

=R

 

 

 

z1

 

=1

 

 

 

z+1

 

=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

3

πi

3

 

πi = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

3

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ответ: а)

πi; б)

 

πi; с)0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

πz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

 

ПРИМЕР 1.24. Вычислить интеграл

 

 

4

 

 

 

dz .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z 1)2

 

(z 3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z1

 

=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

43

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

πz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

y

 

 

Решение.

=

 

z 3

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z 1)2

 

= 2 πi f (1),

 

1

 

 

 

sin

πz

 

 

 

z1

 

=1

 

 

 

 

 

0

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z)=

 

 

4

 

 

 

 

 

 

 

 

есть аналитическая функция в замкнутом

 

 

 

z 3

 

 

 

 

 

 

 

 

z 1

 

=1. Ее производная

 

 

 

 

 

 

круге с границей

 

 

 

 

 

 

 

 

 

 

πcos

πz

(z 3)sin

πz

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

f (z)=

4

 

 

 

 

 

 

 

 

4

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

(z 3)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

π

 

 

 

 

 

 

 

 

 

 

π

π

 

 

 

 

 

 

 

2 cos

4 sin 4

 

 

 

 

π cos

 

4 + sin

4

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

 

 

 

 

= − 8 (π + 2).

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

f (1)=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ответ:

2 πi (π+ 2).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.8. КОМПЛЕКСНЫЕ ЧИСЛОВЫЕ РЯДЫ. КОМПЛЕКСНЫЕ ФУНКЦИОНАЛЬНЫЕ РЯДЫ

Понятие сходимости комплексной числовой последовательности (КЧП)

ОПРЕДЕЛЕНИЕ 1.26. Говорят, что КЧП

z1 = x1 + i y1 , z2 = x2

+ i y 2

,K,

K, zn = xn + i yn ,K

 

(1.130)

 

 

сходится к КЧ z0 = A + Bi , если для любого числа ε > 0, в частности, сколь угодно малого номер N = N (ε), такой, что как только n > N (ε), то для всех таких номеров выполняется соотношение

 

zn z0

 

< ε

(1.131)

 

 

По-другому (1.131) можно записать так:

 

 

lim zn = z0 = A + B i, zn z0 = A + B i .

(1.132)

n→∞

Отметим, что N (ε) находится из решения неравенства (1.131), если z0

является пределом указанной числовой последовательности, и только в этом случае. Геометрическая иллюстрация (1.131) заключается в следующем: какой

бы открытый круг ω(z0 , r) радиуса ε с центром в точке z0 ни выбрать, все

44

члены (1.130), за исключением конечного числа

 

ε

членов: z1 , z2 ,K, z N , окажутся в этом открытом

 

круге.

 

 

 

 

z N+p

Теорема 1.10.

 

 

 

z0

 

 

 

z N+1

lim zn = z0 = A + Bi

,

 

 

n→∞

= A, lim yn

 

 

 

 

lim xn

= B .

(1.133)

 

 

n→∞

n→∞

 

 

Рис. 1.21

И тогда первое равенство из (1.132) в записи

 

 

 

 

выглядит так:

+ i yn )= lim xn + i lim yn .

 

 

lim (xn

 

(1.134)

n→∞

n→∞

n→∞

 

 

Отметим, что критерий Коши для вещественной действительной после-

довательности имеет место и для КЧП, а именно:

 

 

 

Критерий Коши. Для того, чтобы КЧП (1.130) сходилась к z0 , необхо-

димо и достаточно, чтобы для любого ε > 0, в частности, сколь угодно малого,

существует

номер

N = N (ε), такой, что имеет

место неравенство

 

zn+m zn

 

 

< ε при n > N (ε), m =1,2,K.

 

 

 

 

 

Комплексный числовой ряд (КЧР)

 

 

Если члены ряда

 

 

 

 

 

 

= xn + i yn

 

 

 

 

 

zn , zn

(1.135)

 

 

 

 

1

 

 

– комплексные числа, то он называется комплексным числовым рядом (КЧР).

Ряды x k ,

yk назовем соответственно вещественной и мнимой ча-

k=1

k=1

стью КЧР (1.135). И здесь имеет место стандартная терминология для рядов

n

 

n

(x k + i yk )=

Sn = zk

=

k=1

 

k=1

 

 

 

(1.136)

 

n

 

 

 

n

 

 

=

x k

+ i

yk

k=1

 

 

k=1

 

 

n я частичная сумма ряда (1.135).

ОПРЕДЕЛЕНИЕ 1.27. Говорят, что КЧР (1.135) сходится, если сущест-

вует конечный

 

 

 

lim Sn = S = A + B i, A,B R .

(1.137)

n→∞

 

 

 

Предел, где S = A + Bi называется суммой КЧР и это записывается так:

= z1 + z2

+K+ zn +K.

 

S = zk

 

1

 

 

 

45

Согласно (1.136) соотношение (1.137) означает следующее:

n

n

(1.138)

A = lim xk , B = lim yk .

n→∞ k=1

n→∞ k=1

 

Таким образом, справедлива

Теорема 1.11. КЧР (1.135) сходится , когда совместно сходятся ее вещественная и мнимая части.

Понятие комплексного функционального ряда (КФР)

ОПРЕДЕЛЕНИЕ 1.28. Если члены ряда – функции комплексного пере-

менного, то такой ряд называется комплексным функциональным рядом

(КФР). Таким образом, КФР имеет вид

 

 

un (z)= u1 (z)+ u2 (z)+K+ un (z)+K.

(1.139)

1

 

 

 

 

 

 

ОПРЕДЕЛЕНИЕ 1.29. Говорят, что КФР (1.139) сходится в т. z0 , если

 

 

un (z0 )

(1.140)

1

 

 

 

 

 

 

есть сходящийся КЧР.

 

 

ОПРЕДЕЛЕНИЕ 1.30. Говорят, что D есть область сходимости КФР

(1.139), если в каждой точке z0 D ряд (1.140) сходится.

 

 

Тогда сумма ряда (1.139) есть функция от z, z D и s (z)= lim sn (z).

 

 

 

 

 

 

n→∞

Абсолютная и условная сходимость КЧР и КФР

 

 

Рассмотрим КЧР (1.135) и составим ряд из модулей

 

zn

 

его членов:

 

 

 

 

zn

.

(1.141)

1

 

 

 

 

 

 

ОПРЕДЕЛЕНИЕ 1.31. Говорят, что КЧР (1.135) сходится абсолютно, если сходится ряд (1.141).

Теорема 1.12. Ряд (1.135) сходится абсолютно , когда сходятся абсолютно его вещественная и мнимая части, то есть сходятся абсолютно ряды

 

xk , yk .

(1.142)

1

1

 

Доказательство. Необходимость. По условию (1.141) сходится абсолют-

но. Из x n , yn

zn = x n2 + yn2

абсолютная сходимость рядов (1.142),

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

Достаточность. zn = x n2 + yn2 x n + yn

2 абсолютная сходи-

мость ряда (1.135). Теорема доказана полностью.

 

46

ОПРЕДЕЛЕНИЕ 1.32. Говорят, что КФР (1.139) абсолютно сходится в

области D , если сходится u n (z) для всех z D .

1

Отметим, что в простейших случаях к ряду u n (z), составленному из

1

модулей u n (z), применяем известные признаки сходимости знакоположи-

тельных рядов. Поясним это на примерах.

ПРИМЕР 1.25. Найти область абсолютной сходимости ряда n en z .

 

1

Решение.

u n (z) = n en z = n en (x+i y) = n en x en i y =

= n en x .

Применяя признак Даламбера к полученному знакоположительному ряду

с общим членом

 

n en x , имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

u n+1 (z)

 

= lim

u n+1 (z)

= lim

 

n +1 e(n+1)z

=

lim

1

 

=

1

.

 

 

 

 

 

 

 

u n (z)

 

 

u n (z)

 

n en z

 

ez

 

ex

n→∞

 

 

 

 

n→∞

n→∞

 

 

n→∞

 

 

 

Требование

 

1

<1 дает x > 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ex

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ответ: Re z = x > 0 правая полуплоскость.

 

 

 

 

 

 

 

 

Замечание. Так как при x 0 lim

 

n en x = +∞, то необходимое усло-

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

вие сходимости lim u n (z)= 0 lim

 

u n (z)

 

= 0 исходного ряда не выпол-

 

 

 

 

 

 

 

 

n→∞

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

няется. Итак, при x 0 исследуемый ряд расходится. Таким образом, область сходимости совпала с областью абсолютной сходимости.

ПРИМЕР

 

 

1.26. Найти область

абсолютной

сходимости

ряда

(1)n n z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

u n (z)

 

 

 

 

(1)n n z

 

 

 

 

 

e(x+i y)ln n

 

 

Решение.

 

 

 

=

 

 

=

ez ln n

=

=

 

 

 

 

=

 

ex ln n ei y ln n

 

= ex ln n = n x =

1

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n x

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обобщенный гармонический ряд (ряд Дирихле), который схо-

n x

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

дится при x >1 и расходится при x 1.

 

 

 

 

 

 

Ответ:

Re z = x >1 правая полуплоскость, определяемая

прямой

x =1.

47

 

 

ПРИМЕР

 

1.27.

 

 

 

 

 

Найти

 

 

 

 

 

область

 

 

 

 

 

абсолютной

 

 

 

сходимости

ряда

1 en z2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

n (x2 y2 +2i x y)

 

 

 

 

 

 

 

 

1

 

 

 

 

 

n (x2 y2 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение.

 

u n (z)

 

=

 

 

 

 

e

 

=

 

e

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

en (y2 x2 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2 en (x2 y2 )

 

 

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(n +1)2

e(n+1)(x2 y2 ) 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

2

x2 +y2

 

 

 

 

 

1

 

 

 

 

 

 

y2

x2

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim 1 +

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

=

 

 

 

 

 

= e

 

 

.

 

 

 

 

 

n 2 en (x2 y2 )

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

ex2

y2

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Требование ex2 +y2 <1 дает x 2 + y2

< 0 . И в этой области ряд схо-

дится абсолютно. Если x 2 + y2

= 0 ,

то

 

u n (z)

 

=

 

 

1

. И в этом случае имеет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 2

 

 

 

 

 

 

 

 

 

 

 

 

u n (z)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

место абсолютная

сходимость.

Если

же

 

 

 

 

 

y2 x 2 > 0 ,

 

то

 

lim

 

 

=

 

 

 

 

 

 

= lim

 

en (y2 x 2 )

= ∞,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→+∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то есть необходимое условие сходимости ряда не вы-

 

 

 

 

 

 

n 2

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

Ответ: y2 x 2

 

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

полняется.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ПРИМЕР

 

1.28.

 

 

 

 

 

Найти

 

 

 

 

 

область

 

 

 

 

 

абсолютной

 

 

 

сходимости

ряда

 

n

2

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z 3i)2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u n (z)

 

 

 

 

 

 

 

n 2n

 

 

 

 

 

 

 

 

 

(n +1) 2n+1

(z 3i)2n

 

 

=

 

 

 

 

 

 

Решение.

 

 

 

 

=

 

 

 

 

 

 

,

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

(z 3i)2n+2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

3i

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

n 2n

 

 

 

 

 

 

 

 

 

 

= 2 lim

 

n +1

 

 

1

 

 

 

 

 

 

 

=

 

2

 

 

 

 

 

 

 

 

 

;

 

 

 

2

 

 

 

 

 

 

 

 

 

<1,

 

 

 

z 3i

 

2 > 2 внешность

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

(z 3i)2

 

 

z 3i

 

2

 

 

 

 

 

z

3i

 

2

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

круга радиуса

 

 

2 с центром в точке 3i .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если

 

z 3i

 

2

2 , то

 

 

 

u n (z)

 

n,

lim

 

u n (z)

 

= ∞. И нарушается необ-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Ответ: z 3i > 2 внешность круга радиуса 2 с центром в точке 3i .

ПРИМЕР 1.29. Найти область абсолютной сходимости ряда z i n .

1 z + i

48

 

 

 

 

 

 

 

 

 

z i

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Решение. 1

 

 

 

 

 

,

члены этого ряда образуют геометрическую

z + i

 

 

 

 

 

 

 

 

 

z i

 

 

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

q =

 

 

<1. В противном случае последний

z + i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряд будет расходиться. Должно быть

 

z i

 

<

 

z +i

 

x 2 + (y 1)2 < x 2 + (y +1)2 , 2y < 2y, y > 0.

 

 

 

 

 

 

 

Ответ

: Jm z = y > 0 верхняя полуплоскость.

Равномерная сходимость КФР

 

ОПРЕДЕЛЕНИЕ 1.33. Говорят, что КФР сходится равномерно в области

D , если выполняется условие: для ε > 0 номер N = N (ε), такой, что для

всех n > N (ε) и для всех z D выполняется требование

 

 

 

 

sn (z)s (z)

 

< ε,

 

(1.143)

 

 

 

 

 

где s (z)

сумма КФР s

 

(z)= lim sn (z) .

 

 

 

 

 

 

 

 

n→∞

 

 

Обратим внимание читателя на то, что равномерная сходимость

предполагает сходимость (1.139) в области D к сумме s (z).

 

Если ряд (1.139) сходится к сумме s (z) неравномерно, то, решая

неравенство (1.143) по заданному

ε > 0, найдем, что N = N (ε, z),

так как,

например,

для z = z0

и z = z1

соответствующие числовые ряды

(1.140)

разные. Равномерная же сходимость означает, что по выбранному ε N от z не

зависит.

 

 

 

 

 

 

 

 

 

Так же, как и в случае вещественного функционального ряда, имеет место

признак Вейерштрасса и критерий Коши о равномерной сходимости.

 

Признак Вейерштрасса. Если для z D имеет место неравенство

 

 

un (z)

 

cn ,

cn 0

 

(1.144)

 

 

 

 

 

 

 

 

 

 

 

 

 

и cn

сходится, то КФР (1.139) равномерно сходится в области D .

 

1

 

 

 

 

 

 

 

 

 

Критерий Коши. КФР (1.139) сходится равномерно к своей сумме f (z)

f (z)=

 

 

 

 

 

 

 

 

u n (z) в области D , когда для любого ε > 0 N = N(ε), что

 

1

 

 

 

 

 

для n > N

(ε) справедливо неравенство

 

 

 

 

sn+m (z)sn (z) < ε,

 

(1.145)

при m =1,2,K, и для произвольного z из D .

Так же, как и в случае вещественных функциональных рядов, справедливы нижеследующие утверждения, доказательства которых –

49

буквальный

повтор

 

доказательств

соответствующих

вещественных

функциональных рядов.

 

 

 

 

 

Теорема 1.13. Если члены u n (z) ряда (1.139) непрерывны в области D и

ряд сходится равномерно к своей сумме

f (z) f (z)=

 

u n (z) , то f (z)

непрерывная функция в области D .

 

1

 

 

 

 

Теорема 1.14. Если члены u n (z) ряда (1.139) непрерывны в области D и

ряд сходится равномерно в D , то его можно почленно интегрировать, то есть

 

 

 

(1.146)

un (z) dz = ∑ ∫ un (z)dz ,

 

L

1

 

1 L

 

 

 

где L кусочно-гладкая кривая, лежащая в области D .

 

 

Теорема 1.15. (Вейерштрасса). Если члены un (z) КФР

 

un (z)

 

 

 

 

(1.147)

1

 

 

 

 

 

 

являются аналитическими функциями в области D , а ряд (1.147) сходится

равномерно к своей сумме f (z) в любой замкнутой подобласти

 

области D ,

D

то

 

 

 

 

 

 

 

 

10 ) f (z)аналитическая функция в области D ;

 

 

 

20 )

 

 

 

 

 

f (k ) (z)= u (nk ) (z)ряд

можно

почленно

дифференцировать

 

 

 

1

 

 

 

 

 

неограниченное число раз;

 

 

 

 

 

 

 

30 )ряд u (nk ) (z) сходится равномерно в любой замкнутой подобласти

 

 

 

1

 

 

 

 

 

 

 

области D .

 

 

 

 

 

D

 

 

 

 

 

 

 

 

1.9. СТЕПЕННЫЕ КОМПЛЕКСНЫЕ РЯДЫ

 

 

ОПРЕДЕЛЕНИЕ 1.34. КФР вида

 

 

 

 

 

 

 

 

cn (z z0 )n

 

 

(1.148)

 

 

 

0

 

СКР, где cn = αn + iβn

называется

степенным комплексным

рядом

заданные

коэффициенты, z = x + i y комплексная

переменная (КП),

z0 = x0 + i y0 заданное КЧ.

 

 

 

 

 

 

 

Не теряя общности, вместо (1.148) рассмотрим СКР

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cn zn .

 

 

(1.149)

 

 

 

0

 

 

 

 

 

50

Теорема 1.16. (Абеля). Если степенной ряд (1.149) сходится при z = z0 0 , то он абсолютно сходится при всех z , удовлетворяющих условию

 

 

 

 

 

 

 

 

 

 

z

 

<

 

 

 

 

 

z0

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.150)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если степенной ряд (1.149) расходится при z = z1

 

 

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

при всех z , удовлетворяющих неравенству

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

>

 

z1

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.151)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Геометрическая иллюстрация

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

теоремы

 

 

 

 

 

 

 

Абеля

 

 

 

 

 

 

 

 

заключается

 

 

 

 

 

 

 

в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

следующем (см. рис. 1.22): неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.150) определяет открытый круг радиуса

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z0

 

 

z0

0 c центром в начале координат, в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

которых ряд (1.149) сходится абсолютно.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если же

 

 

рассмотреть

 

внешность

круга

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z1

 

 

 

0

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиуса

 

z1

 

 

 

 

0

 

 

 

(см. (1.151)),

 

то в этом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

множестве точек ряд (1.149) расходится.

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство

 

 

 

теоремы Абеля. Из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сходимости КЧР

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cn

 

 

 

 

 

 

 

 

 

 

 

 

(1.152)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 1.22

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z0n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n = 0

 

 

 

 

 

 

 

lim cn z

 

lim

cn

 

= lim

 

cn

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

cn

 

 

 

 

 

 

z0

 

n = 0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.153)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то

есть

 

 

cn z0n

 

 

 

 

бесконечно

 

 

малая

числовая

 

последовательность, что

 

 

 

 

 

 

 

 

приводит к ее ограниченности:

n M, M > 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для всех n .

 

 

сn zn0

 

 

 

 

 

=

 

cn

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1.154)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теперь,

 

согласно

 

 

 

 

(1.154), сделаем оценку:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

n

 

 

 

 

 

z

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сn zn0

 

 

 

 

 

=

cn zn0

 

 

 

 

=

 

 

cn zn0

 

 

 

 

 

 

M

 

 

 

(1.155)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn0

 

 

 

 

 

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если выполняется (1.150), то знакоположительный числовой ряд с общим

членом

M

 

 

z

 

n

 

 

 

сходится,

так

 

 

как

 

его

 

 

члены

образуют

геометрическую

 

 

 

 

 

 

 

 

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

z

 

 

 

=

 

 

z

 

 

<1. Этим первая часть теоремы Абеля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z0

 

 

 

z0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

доказана.

51

Вторая часть теоремы Абеля – следствие первой части. Действительно, если для некоторого z = z2 и z2 > z1 ряд (1.149) сходится, то согласно

первой части теоремы в т. z1 (1.149) есть абсолютно сходящийся ряд. И мы

приходим к противоречию, что завершает доказательство теоремы.

Используя теорему Абеля, можно доказать следующий факт: для каждого степенного ряда (1.149) R 0, что для всех z < R степенной ряд (1.149) будет сходиться абсолютно. При открытом круге радиуса R с центром в начале координат, для всех z , удовлетворяющих условию z > R , ряд (1.149)

расходится. Это R 0 принято называть радиусом сходимости степенного ряда.

Если мы рассматриваем общий случай (1.148), то центр окружности будет в т. z0 0, отличном от начала координат. В точках самой окружности вопрос остается открытым.

Если взять 0 < r < R (R > 0), то в замкнутом круге z r степенной ряд (1.149) сходится абсолютно и равномерно. В самом деле, для z = p > 0,

 

r < p < R

числовой ряд cn pn сходится абсолютно. Применяя признак

 

0

Вейерштрасса, убеждаемся в справедливости нашего утверждения.

 

 

 

 

 

 

 

 

 

(z +i)n

.

ПРИМЕР 1.30. Найти радиус сходимости степенного ряда

 

 

n n

 

 

 

 

 

1

 

 

 

 

Решение. Согласно

(1.148)

cn =

1

,

z0 = −i ,

 

u n (z)

 

 

=

 

z + i

 

n

. К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n n

u n (z)

 

 

 

 

 

 

 

 

n n

 

знакоположительному ряду с общим членом

применим радикальный

признак Коши: lim n u n

(z) = lim

z +i = 0 .

Последнее говорит о том,

что

n→∞

n→∞

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для любого z исследуемый ряд сходится абсолютно (R = ∞).

 

 

 

 

 

 

 

 

Ответ: R = ∞.

Замечание. Рассматриваемый ряд сходится равномерно в любом

замкнутом

круге

 

z + i

 

r ,

так

как

в

этом

круге

 

 

 

u n (z)

 

 

z + i

 

n

 

r n

r n

r n

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

=

 

 

и знакоположительный ряд

 

 

сходится.

 

n n

n n

 

 

 

 

 

 

 

n

 

1 n

 

 

 

 

 

 

 

Но любая конечная

т. z

может

быть включена в указанный

круг при

подходящем выборе r . Отсюда следует, что в любой ограниченной области исследуемый ряд сходится равномерно.

(z 2i)n

 

ПРИМЕР 1.31. Найти радиус сходимости степенного ряда

 

 

.

(n +1)

2n

0

 

52

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