Конспект ТФКЗ
.pdf
функція f z є аналітичною в області D . Оскільки область D довільна, то функція f z аналітична в області D.
m
Зауважимо, що для m N залишок rm z f z n z є аналітичною
n 1
функцією в області D як різниця аналітичних функцій.
2) Виберемо довільну точку z0 D і оточимо її замкненим кусковогладким контуром Γ D таким, щоб точка z0 була внутрішньою. Для точок z Γ виконується рівність
f z n z .
n 1
Нехай |
z0,z |
– |
|
віддаль |
від |
точки |
|
|
z0 |
до |
точок |
z |
контуру Γ , а |
||||||||
d min z0,z 0. Тоді |
|
z z0 |
|
d 0 |
для z Γ . Розглянемо ряд |
||||||||||||||||
|
|
||||||||||||||||||||
|
|
|
|
f z |
|
|
|
n z |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
, |
|
|
|
|
|
|
(2.7) |
|||||||||
|
|
z z0 k 1 |
z z0 k 1 |
|
|
|
|
|
|
||||||||||||
Оскільки |
|
|
n 1 |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
n z |
|
|
|
|
|
|
|
|
|
|
|
||
|
n N z Γ |
|
|
|
d k 1 |
|
n z |
|
, |
|
|
||||||||||
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||
|
|
z z0 k 1 |
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|||||
і за умовою |
теореми |
функціональний ряд |
|
|
|
|
то за ознакою |
||||||||||||||
n z |
|
|
f z |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Вейєрштрасса функціональний ряд у правій частині (2.7) є мажорованим, а тому рівномірно збіжним на контурі Γ . За властивістю 2 (теорема 2.5) рівномірно збіжних функціональних рядів
|
k! |
|
f z |
|
|
k! |
|
n z |
k |
z0 |
|
k |
z0 . |
|
|||||||||||||
|
|
|
|
|
|
dz |
|
|
|
|
|
|
|
|
|
dz f |
|
n |
|
||||||||
|
2 i |
|
k 1 |
|
|
|
|
|
k 1 |
|
|
||||||||||||||||
|
Γ z z0 |
|
n 1 |
2 i |
Γ z z0 |
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|||||||||
Оскільки точка |
z0 |
є довільною внутрішньою точкою області |
D, |
то пункт 2 |
|||||||||||||||||||||||
доведено. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
3) Нехай – довільна замкнена підобласть області D, – довільний |
|||||||||||||||||||||||||||
кусково-гладкий |
замкнений |
контур, z, |
|
z |
|
|
d 0 |
– |
віддаль |
від |
|||||||||||||||||
|
|
||||||||||||||||||||||||||
довільної |
точки |
z до точки |
|
, |
|
d min z, 0. |
Залишок |
rn z |
|||||||||||||||||||
функціонального ряду (2.1) є аналітичною функцією в області D, тому, згідно з |
|||||||||||||||||||||||||||
пунктом 2 теореми |
|
|
|
|
|
|
k! |
|
|
|
|
rn |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
z |
r k z |
|
|
|
|
d . |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
z k 1 |
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
n |
|
|
2 i |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Ряд (2.1) збігається рівномірно в D, тобто для
71
Тоді |
|
|
|
0 N0 : n N0 |
|
|
rn |
|
|
. |
|
|||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
r |
k z |
|
|
k! |
|
rn |
d |
|
k! |
|
|
|
|
|
n |
|
|
d |
|
k! |
|
L |
, |
||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
n |
|
|
2 i z k 1 |
|
|
2 |
|
|
z |
|
k 1 |
|
|
|
|
|
2 dk 1 |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
де L
d – довжина контуру . З останньої нерівності випливає, що існує
lim rnk z 0 lim rnk z 0,
n n
а це означає, що ряд nk z збігається рівномірно у підобласті . ◄
n 1
Зауваження. Останнє твердження доведене для випадку, коли – довільна замкнена підобласть області D, тобто не співпадає з областю D. Рівномірна
збіжність функціонального ряду в замкненій області D не забезпечує рівномірної збіжності в цій області ряду, утвореного з похідних функцій.
|
n |
|
|
|
|
|
|
n 1 |
|||
Наприклад, ряд |
z |
|
збігається рівномірно в крузі |
|
z |
|
1, а ряд |
|
z |
|
, |
|
|
|
|||||||||
|
|
|
|
|
|
||||||
n 1n2 |
|
|
|
|
|
n 1 |
n |
||||
|
|
|
|
|
|||||||
утворений з похідних членів цього ряду, є абсолютно збіжним всередині круга
z |
1 |
і розбіжним на колі |
z |
1. |
Ознаку Вейєрштрасса (теорема 2.5) можна поширити і на випадок замкненої області D.
Теорема 2.7 (друга теорема Вейєрштрасса). Нехай функції n z є аналітич-
|
|
|
|
|
|
|
|
|
|
|
|
|
ними в області |
D і неперервними в області |
|
, а ряд (2.1) |
n z |
||||||||
D |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
рівномірно збігається на межі D цієї області. Тоді ряд (2.1) збігається |
||||||||||||
рівномірно в області |
D |
. |
|
|
|
|
|
|
|
|
|
|
Доведення. |
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
► Частинна сума |
даного |
функціонального |
ряду |
Sm z n z є |
||||||||
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
функцією аналітичною в D і неперервною в |
|
. Тому Sm p z Sm z |
є також |
|||||||||
D |
||||||||||||
аналітичною функцією |
в D і |
неперервною в |
|
. За |
умовою |
теореми |
||||||
D |
||||||||||||
функціональний ряд n z рівномірно збігається на межі D, тобто для
n 1
0 N0 : m N0 p 0 D,
72
Sm p Sm m 1 ... m p .
За теоремою про максимум модуля аналітичної функції маємо
Sm p z Sm z Sm p Sm ,
тобто для ряду n z всюди в області D виконується критерій Коші
n 1
рівномірної збіжності ряду:
0 N0 : m N0 p 0 z D Sm p z Sm z .
Отже, всюди в області D ряд (2.1) збігається рівномірно. ◄
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Приклад 1. Знайти область абсолютної збіжності ряду |
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
• За ознакою Даламбера маємо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
z 2 n |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
z 2 n |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
z 2 n 1 |
|
|
|
|
z 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
z 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
Отже, ряд є абсолютно збіжним зовні кола |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
На колі |
z 2 |
1 заданий |
|
|
ряд набуває |
|
|
вигляду |
ряду |
|
|
|
1, який є |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
розбіжним. Отже, областю абсолютної збіжності ряду є |
|
z 2 |
|
|
1.• |
n 1 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
||||||||||
Приклад 2. Знайти область абсолютної збіжності ряду |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
zn |
|
|
|
|
|
|
|
|
. |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
n |
z |
n |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|||||||||||||||
• За ознакою Даламбера знайдемо області збіжності кожного з рядів: |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
zn 1 |
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2n zn |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
z |
|
1 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
lim |
|
|
|
|
|
|
|
1, |
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
. |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
zn |
|
|
2n 1zn 1 |
|
2z |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
На межі області збіжності |
|
z |
|
1 і |
|
|
z |
|
|
1 |
|
відповідні ряди є розбіжними. |
Отже, |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
областю абсолютної збіжності заданого ряду є область 1 |
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
nz |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Приклад 3. Знайти область абсолютної та рівномірної збіжності ряду |
e |
|
|
. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e n 1 z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 n |
|
|
|||||||||
• За ознакою Даламбера: |
lim |
|
|
|
|
|
n2 |
|
|
|
|
ez |
|
1 |
|
|
Rez 0. |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n 1 2 enz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
73
На межі області збіжності для Rez 0 ez 1 |
|
|
|
|
1 |
|
|
|||
ряд |
|
|
|
|
є збіжними. Отже, |
|||||
|
2 |
|||||||||
|
|
|
|
n 1n |
||||||
областю абсолютної збіжності заданого ряду є півплощина Rez 0. |
||||||||||
Оскільки для всіх z, для яких Rez 0 |
|
enz |
|
1 |
|
|
||||
|
|
|
|
|||||||
, |
|
|
|
|
|
, то ряд є збіжним |
||||
n2 |
n |
2 |
||||||||
|
|
|
|
|
|
|||||
абсолютно і рівномірно в області Rez 0.•
§ 3. Степеневі ряди. Теорема Абеля. Властивості степеневих рядів
Важливе місце в теорії функціональних рядів у комплексній області займають степеневі ряди, для яких n z cn z z0 n, де cn – деякі комплексні сталі, а z0 – фіксована точка комплексної площини, тобто степеневий ряд – це ряд виду
|
|
cn z z0 n . |
(3.1) |
n 0 |
|
Комплексні числа cn називають коефіцієнтами, |
z0 – центром ряду. |
Члени ряду (3.1) є аналітичними функціями, то для дослідження властивостей степеневого ряду, необхідно встановити область його рівномірної збіжності. Теорема Абеля. Якщо степеневий ряд (3.1) збігається в деякій точці z1 z0, то
|
|
|
|
він |
абсолютно |
збігається |
для |
|
|
всіх |
|
|
z, |
|
|
що задовольняють |
умову |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
z z0 |
|
|
|
|
|
|
|
z1 |
z0 |
|
, тобто всередині кругової області з центром в точці |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
z0, |
межа |
|
|
|
якої |
|
|
проходить |
через |
|
|
точку |
z1.У |
замкненому |
крузі |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
z z0 |
|
|
|
z1 z0 |
|
|
|
ряд (3.1) збігається рівномірно. |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Доведення. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z C, |
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
► Виберемо |
|
|
довільну точку |
|
|
, |
яка |
задовольняє |
умову |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
z z0 |
|
|
|
z1 z0 |
|
, і |
|
розглянемо ряд (3.1). Нехай |
|
|
|
z z0 |
|
q |
|
z1 z0 |
|
|
, q 1. За |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
умовою теореми ряд (3.1) є збіжним в точці z |
|
|
z |
0 |
, тобто |
lim c |
n |
z |
z |
0 |
n |
0. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
1 |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
послідовність cn z1 z0 n |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
Оскільки будь-яка |
|
|
|
збіжна |
|
|
|
|
|
|
є обмеженою, |
то |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
M 0: n N |
|
c |
n |
|
|
|
|
z z |
0 |
|
n M і |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n N |
: |
|
cn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z z |
0 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
Тоді |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
cn z z0 n |
|
|
cn |
|
|
|
z z0 |
|
n |
|
cn |
|
qn |
|
z1 z0 |
|
n M qn, q 1. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|||||||||||||||||||||||||
74
Оскільки ряд qn для q 1 збігається, то ряд (3.1) є абсолютно збіжним.
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Покажемо, що |
степеневий |
|
|
ряд |
(3.1) |
|
збігається |
рівномірно |
в |
крузі |
||||||||||||||||||||||||||||||||||||||||||||
|
z z0 |
|
|
|
z1 z0 |
|
. У цьому крузі ряд є мажорованим: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
z z0 |
|
|
n |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n N |
|
cn |
|
|
|
z z0 |
|
M |
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
, |
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z z |
0 |
|
|
n |
|
|
|
z z |
0 |
|
n |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Ряд |
|
|
|
|
|
|
|
|
|
z1 z0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
є збіжним для |
, |
тому за |
|
|
ознакою Вейєрштрасса |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
n 0 |
|
z1 z0 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
степеневий ряд (3.1) є рівномірно збіжним у крузі |
|
z z0 |
|
|
|
|
z1 z0 |
|
. ◄ |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
З теореми Абеля випливають такі наслідки. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
Наслідок 1. Якщо степеневий ряд (3.1) |
|
|
|
|
є розбіжним в точці z z2, |
то він є |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
розбіжним |
і для будь-якого |
|
|
|
значення z, |
|
що |
задовольняє |
умову |
||||||||||||||||||||||||||||||||||||||||
z z0 z2 z0 .
Доведення.
► Доведемо наслідок 1 від протилежного. Нехай z: z z0 z2 z0
степеневий ряд (3.1) збігається. Тоді за теоремою Абеля степеневий ряд повинен збігатися і в точці z z2, що суперечить умові теореми. ◄
Нехай R sup z z0 , де z – точки збіжності степеневого ряду (3.1). Якщо
|
|
|
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R , то |
існують такі точки z C: |
|
z z0 |
|
R, в яких степеневий ряд (3.1) |
|||||||||||||
|
|
||||||||||||||||||
розбігається. Нехай |
R 0. |
Тоді найбільшою областю абсолютної збіжності |
|||||||||||||||||
степеневого ряду буде круг |
|
z z0 |
|
R. Область |
|
|
z z0 |
|
R, R 0 |
називають |
|||||||||
|
|
|
|
||||||||||||||||
кругом збіжності, а |
R – |
радіусом збіжності степеневого ряду. На межі |
|||||||||||||||||
|
z z0 |
|
R |
питання |
про |
збіжність |
|
степеневого |
ряду вимагає |
окремого |
|||||||||
|
|
|
|||||||||||||||||
дослідження.
У найпростіших випадках радіус збіжності ряду (3.1) можна знайти, застосовуючи ознаки збіжності Даламбера або Коші:
1) |
за ознакою Даламбера |
1 |
lim |
|
cn 1 |
|
|
l; |
||||||||
|
|
|
|
cn |
||||||||||||
|
|
1 |
|
R n |
|
|
|
|
|
|||||||
2) |
за ознакою Коші |
lim n |
|
|
|
|
|
|
l. |
|
||||||
|
|
cn |
|
|
|
|
||||||||||
|
|
|
||||||||||||||
|
|
|||||||||||||||
|
|
R |
n |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|||||||
Якщо l 0 R , тобто кругом збіжності є вся комплексна площи-на; якщо l R 0, тобто ряд є збіжним лише в точці z z0.
75
Наслідок 2. У крузі збіжності |
z z0 |
R будь-якого радіуса R сте- |
пеневий ряд (3.1) збігається рівномірно до аналітичної функції f z (за першою теоремою Вейєрштрасса).
Наслідок 3. Степеневий ряд (3.1) всередині круга збіжності можна почленно інтегрувати і диференціювати довільну кількість разів і радіус збіжності при цьому залишається незмінним.
Наслідок 4. Коефіцієнти степеневого ряду (3.1) виражаються через суму ря-ду f z та її похідні в точці z0 за формулою
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ck |
|
f |
k z0 |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
(3.2) |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k! |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f z0 c0. |
||||
|
|
Внаслідок |
|
неперервності |
суми |
ряду |
|
|
неперервних |
функцій, |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f z0 c1. Аналогічно, |
|
|||||||||||
Знайдемо |
|
f z ncn z z0 n 1 . |
Тоді |
|
|
поклавши |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
z z0 |
у |
|
виразі |
f k z n n 1... n k 1 cn z z0 n k , отримаємо, що |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
f |
k |
z0 |
k!ck |
ck |
|
f k z0 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
k! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Приклад. |
|
Дослідити на збіжність ряд |
z z0 n |
і знайти його суму. |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
cn 1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
• |
Оскільки |
cn 1, а |
l |
|
lim |
|
|
|
|
|
|
|
1 R 1, |
то областю збіжності |
|||||||||||||||||||||||||
|
|
R |
|
cn |
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
z z0 |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
ряду буде круг |
|
|
|
|
|
1, |
всередині якого ряд збігається до аналітичної функції |
||||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||
f z . За означенням сума ряду |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f z lim S |
m |
z |
lim |
|
1 z z |
0 |
m |
. |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
m 1 z z0 |
|
|
|||||||||||||||
Оскільки |
|
z z0 |
|
1, то lim |
|
z z0 |
|
m 0 |
lim z z0 m 0. Тому існує |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
Sm z f z |
|
|
|
|
|
|
|
|
|
|
|
|
z z0 n .• |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 z z |
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
n 0 |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
§ 4. Ряд Тейлора. Теорема єдиності
76
Оскільки степеневий ряд всередині круга збіжності збігається до аналітичної функції, то природно з’ясувати, чи можна аналітичній всередині деякого круга функції f z поставити у відповідність степеневий ряд, який в цьому крузі збігається до функції f z .
Теорема Тейлора. Функція комплексної змінної |
|
f z , яка є аналітичною у |
|||||||||||
крузі |
|
z z0 |
|
R, |
єдиним чином розвивається в цьому крузі у сте- |
||||||||
|
|
||||||||||||
пеневий ряд (3.1), коефіцієнти cn якого обчислюють за формулою |
|||||||||||||
|
|
|
|
cn |
1 |
|
f d |
f n z |
0 |
|
|
||
|
|
|
|
|
|
|
|
|
, |
(4.1) |
|||
|
|
|
|
2 i |
z0 n 1 |
n! |
|
|
|||||
де – довільний кусково-гладкий замкнений контур, який оточує точку z0 і повністю належить кругу z z0 R.
Доведення.
|
|
|
|
► Нехай z |
– довільна точка круга |
|
z z0 |
R. |
|||||||||
|
|
|
|
Оточимо точку z0 |
колом C : |
|
z z0 |
|
|
R так, |
|||||||
|
|
|
|
|
|||||||||||||
D |
z |
z0 |
щоб точка |
z |
лежала |
всередині цього круга. |
|||||||||||
|
• |
R |
Оскільки точка |
z |
є точкою аналітичності функції |
||||||||||||
|
|
|
f z , то за формулою Коші маємо: |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
f d |
|
|
|
||||||
|
|
|
|
|
f z |
1 |
|
|
|
|
|||||||
|
|
|
|
|
|
|
. |
(4.2) |
|||||||||
|
|
|
|
|
2 i |
z |
|||||||||||
|
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
|
|
|
Оскільки |
|
z z0 |
|
, а |
|
z0 |
|
, то |
z z |
0 |
||||||||||||||
|
|
|
|
|||||||||||||||||||||
|
|
|
|
z0 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|||||
|
z |
z |
0 |
|
z z |
0 |
|
z |
0 |
1 |
z z0 |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
z0
|
1 |
для z і |
|
|
|||
|
|
|
1 |
z z |
0 |
n |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
z0 |
. |
||||
|
z0 n 0 |
|
|||||
Підставивши отриманий вираз у (4.2) і проінтегрувавши почленно, отримаємо
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
n |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
z z0 |
|
|
|
|
|
|||||||
|
|
f z |
|
|
f |
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
z0 |
|
|
|
d |
|
||||||||||||||||
|
|
|
|
2 i |
C |
|
|
|
|
|
z0 |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|||||
|
1 |
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
|
|
|
|
||||
|
|
z z0 n |
|
|
|
d |
cn z z0 n , |
|
||||||||||||||||
|
|
|
|
n 1 |
|
|||||||||||||||||||
|
2 in 0 |
|
|
|
C |
|
z0 |
|
|
|
|
n 0 |
|
|
|
|
|
|||||||
де |
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
f n z |
|
|
|
|||||
|
|
|
cn |
|
1 |
|
|
|
|
|
|
d |
|
0 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
. |
(4.3) |
|||||||||||
|
|
|
2 i |
|
|
z |
0 |
n 1 |
|
|
n! |
|
|
|||||||||||
|
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
77
|
|
Оскільки |
функція |
f z |
|
є аналітичною у |
|
двозв’язній області |
||||
|
|
|
|
|
||||||||
|
|
|
|
|
|
z z0 n 1 |
|
|
|
|
||
0 |
|
z z0 |
|
R, |
то в силу теореми Коші коло C |
в останній формулі можна |
||||||
|
|
|||||||||||
замінити |
|
довільним замкненим |
контуром D: |
|
z z0 |
|
R. Оскільки z – |
|||||
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
довільна точка області D, то степеневий ряд cn z z0 n , коефіцієнти якого
n 0
визначаються за формулами (4.3), збігається до функції f z . Отже, аналітична в крузі z z0 R функція f z , розвинена у степеневий ряд (3.1) – ряд Тейлора
– з коефіцієнтами, які обчислюють за формулами (4.3). У крузі z z0 R
цей ряд є рівномірно збіжним.
Покажемо, що таке розвинення єдине. Припустимо, що в крузі z z0 R
для аналітичної функції f z є два розвинення в ряд Тейлора:
f z cn z z0 n bn z z0 n .
|
|
n 0 |
|
n 0 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
Оскільки степеневий ряд |
bn z z0 n |
є збіжним у крузі |
|
z z0 |
|
R, то |
|||||
|
|
||||||||||
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
b |
f n z0 |
c |
n |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
n |
n! |
|
|
|
|
|
|
||
Отже, розвинення функції f z в ряд Тейлора є єдиним. ◄ |
|
|
|||||||||
Доведена теорема встановлює взаємно однозначну відповідність між |
|||||||||||
функцією f z , |
аналітичною у деякому околі |
U z0 точки |
|
z0 і степеневим |
|||||||
рядом (рядом |
Тейлора) |
з центром |
в точці |
z0. Це дозволяє встановити |
|||||||
еквівалентність поняття аналітичної функції, як функції диференційованої нескінченну кількість разів, та функції, яка є сумою степеневого ряду.
|
z |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Приклад. Розвинути функцію f z ln z |
d |
в ряд Тейлора в крузі |
|
z 1 |
|
1. |
||||||||||
|
|
|||||||||||||||
|
||||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
• |
Для z C\ Imz 0, Rez 0 , |
а, |
значить, |
і в крузі |
|
|
z 1 |
|
1, |
|||||||
|
|
|
||||||||||||||
функція |
f z ln z є аналітичною. Знайдемо cn |
f n z |
0 |
|
для z 1: |
|
|
|
|
|
|
|
||||
n! |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
78
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
c0 ln1 0; c1 |
lnz |
|
|
|
|
|
|
1; ...; |
|||||||
|
z |
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
z 1 |
|
z 1 |
|||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|||||
cn |
1 |
|
1 n 1 |
n 1! |
|
|
|
1 n 1 |
; ,n 2,3, . |
||||||
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||
n! |
zn |
|
|
|
n |
|
|
|
|
||||||
|
|
|
|
|
z 1 |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|||||
Отже, ln z 1 n 1 z 1 n .•
n 1 n
§ 5. Нулі аналітичної функції. Властивість єдиності. Поняття про аналітичне продовження
Вивчаючи властивості аналітичних функцій, ми встановили, що для означення функції комплексної змінної, аналітичної в деякій області D, можна задати її значення на всій області (інтеграл Коші дає вираз для аналітичної функції в області через її значення на межі області). Природно поставити задачу
– чи існує ”мінімальна“ інформація, яку треба мати, щоб повністю визначити функцію комплексної змінної, аналітичну в деякій області. Щоб з’ясувати цей факт, розглянемо поняття нуля аналітичної функції.
Означення 1. Нехай функція комплексної змінноїw f z – аналітична у деякій області D. Точку z0 D називають нулем функції f z , якщо
f z0 0.
Розвинувши функцію f z в околі точки z0 в ряд Тейлора і врахувавши, що f z0 0, отримаємо, що c0 0 і
f z cn z z0 n z z0 c1 c2 z z0 c3 z z0 2 ... z z0 z , (5.1)
n 1
де z0 0 і z cn z z0 n 1 є аналітичною в околі точки z0 функцією.
n 1
Означення 2. Точку z0 називають нулем порядку k , якщо у розвиненні (5.1)
c0 c1 ... ck 1 0, а cn 0 для n k .
У цьому випадку розвинення функції f z в ряд Тейлора матиме вигляд
f z cn z z0 n z z0 k ck ck 1 z z0 ... z z0 kg z , (5.2)
n 0
де g z cn k z z0 n – функція, аналітична в околі точки z0 і g z0 0.
n 0
79
Теорема єдиності. |
Нехай функція комплексної змінної f z аналітична в об- |
||||||||||||||||||||||||||||
|
|
|
|
|
ласті D і в цій області існує така послідовність різних точок zn , що |
||||||||||||||||||||||||
|
|
|
|
|
lim |
zn a, a D і f zn 0, n N . Тоді f z 0 для z D. |
|
||||||||||||||||||||||
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доведення. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
► Нехай круг |
|
z a |
|
R і коло R : |
|
z a |
|
R належать області D. Тоді в |
||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||
цьому крузі |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
f z cn z a n , |
|
|
|
|
(5.3) |
|
|||||||||||
|
|
|
|
f n a |
|
|
|
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
де c |
n |
|
|
і радіус збіжності R |
|
ряду (5.3) не менший за віддаль від точки |
|||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||
|
|
|
|
n! |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
a |
|
|
|
|
|
|
|
|
|
|
|
lim zn a, |
а функція f z неперервна в |
||||||||||||||||
до межі області. |
Оскільки існує |
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|||||
області D, то існує |
|
lim f zn f a 0, тобто точка |
a є нулем функції |
f z . |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
zn a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Це означає, що у розвиненні (5.3) c0 0 і |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
f z z a z , |
|
|
|
|
(5.4) |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
де |
z cn 1 z a n . Всі точки |
|
zn, n N різні і zn a для n, а тому з |
||||||||||||||||||||||||||
|
|
|
|
|
n 0 |
маємо, що zn 0. Оскільки функція z неперервна в точці |
|||||||||||||||||||||||
(5.4) для z zn |
|||||||||||||||||||||||||||||
a, |
|
|
то |
|
|
a lim |
zn 0 c1 0 |
|
і |
z z a 1 z , |
де |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
zn a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 z cn 2 z a n . Аналогічно |
|
до |
попереднього, |
можна показати, |
що з |
||||||||||||||||||||||||
|
|
|
n 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
умови 1 zn 0 випливає, |
що c2 0. |
Продовжуючи цей процес, отримаємо, |
|||||||||||||||||||||||||||
що cn 0 |
для n, звідки випливає, що |
f z 0 всюди в крузі |
|
z a |
|
R. |
|
||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||
|
|
|
Покажемо тепер, що |
f z 0 |
|
всюди в області |
D. Нехай z0 – деяка |
||||||||||||||||||||||
довільна точка області D, що лежить поза колом |
|
z a |
|
|
R. З’єднаємо точки z0 |
||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||
і a ламаною , що лежить в області D і віддалена від межі області на віддаль d 0, причому R d .
Нехай a1 |
– |
|
точка |
перетину кола R : |
z a |
R з |
ламаною |
. |
|
Розглянемо круг R |
: |
|
z a1 |
|
R. Оскільки f z 0 |
для точок ламаної , |
які |
||
|
|
||||||||
1 |
|
|
|
|
|
|
|
що f z 0 у |
|
|
|
|
|
|
|
|
|||
лежать в крузі R , то аналогічно до попереднього можна довести, |
|||||||||
80
