3750
.pdfружностями z 2 , 1 и 2 , подынтегральная функция всюду
аналитична. По теореме Коши для многосвязной области (3.20) имеем
|
|
ch z |
dz |
ch z dz |
|
ch z dz |
. (*) |
||
|
|
|
|
|
|
|
|
||
|
|
z 1 3 |
z 1 |
z 1 3 z 1 |
|
z 1 3 |
z 1 |
||
|
|
|
|
||||||
z |
2 |
1 |
2 |
|
В первом интеграле правой части (*) представим подынтегральную функцию в виде
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ch z |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
ch z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
1 |
|
|
. |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
z |
1 3 |
|
z |
1 |
|
|
z |
1 3 |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
Функция |
|
|
ch z |
|
является аналитической внутри |
1 , |
поэтому в |
||||||||||||||||||||||||||||||
|
|
z 1 |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
силу формулы (3.22) имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
ch z dz |
|
|
|
|
ch z |
|
|
|
|
2 i |
|
|
ch z |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
z |
1 |
|
|
dz |
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
1 |
|
|
z 1 3 z 1 |
1 |
|
z 1 3 |
|
|
2! z 1 |
|
z |
1 |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
i |
|
sh z |
z |
1 |
|
|
|
ch z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
z |
1 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
z |
1 |
2 |
ch z 2 z 1 sh z |
2ch z |
|
|
z |
1 |
|
2e |
1 |
ch1 |
|
||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
i |
|
|
|
|
|
|
|
i |
|
. |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
z |
1 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
1 |
|
|
4 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Во втором интеграле правой части (*) представим подынтегральную функцию в виде
|
|
ch z |
|
|
|
|
|
|
|
|
|
ch z |
|
z |
1 |
3 |
. |
|
|
|
|
|
|
z 1 3 z 1 |
|
z |
1 |
|
|
|
|
|
71
Функция |
|
ch z |
|
является аналитической внутри |
2 , поэтому |
||||||||||
|
|
|
|||||||||||||
|
z 1 |
3 |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
в силу интегральной формулы Коши (3.21) имеем |
|
|
|
||||||||||||
|
|
|
|
|
|
|
ch z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
ch z dz |
|
|
z 1 |
3 |
dz 2 i |
ch z |
|
i |
ch1 |
||||
|
|
|
|
|
|
|
|
|
. |
||||||
2 |
z 1 3 z 1 |
2 |
z 1 |
|
z 1 3 |
z 1 |
4 |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Подставив в (*) найденные значения интегралов, окончательно получим
|
|
|
ch z |
dz |
i |
2e 1 ch1 |
i |
ch1 |
i |
|
. |
||
|
|
|
|
|
|
|
|
|
|||||
z |
|
2 z 1 3 z 1 |
4 |
|
4 |
|
2e |
||||||
|
|
|
|
72
ГЛАВА 4
РАЗЛОЖЕНИЕ ФУНКЦИЙ КОМПЛЕКСНОГО ПЕРЕМЕННОГО В РЯДЫ ТЕЙЛОРА И ЛОРАНА. ИЗОЛИРОВАННЫЕ ОСОБЫЕ ТОЧКИ
ИИХ КЛАССИФИКАЦИЯ
4.1.Числовые ряды с комплексными членами
Рассмотрим ряд, членами которого являются комплексные числа, т.е. ряд вида:
z1 z2 |
zn |
zn , |
(4.1) |
|
|
n 1 |
|
где zn xn iyn . Ряд (4.1) называется сходящимся, если |
n -я |
||
частичная сумма ряда Sn |
при n |
стремится к определен- |
ному конечному пределу. В противном случае ряд (4.1) назы-
вается расходящимся. Sn |
– это комплексное число: |
|||||||
|
|
|
|
n |
|
n |
|
|
|
|
|
Sn |
xk |
i |
|
yn , |
|
|
|
|
|
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 |
|
|
|
|
|
|
|
комплексными |
членами. |
Для его |
выполнения |
необходимо и |
73
достаточно, чтобы одновременно выполнялись два равенства:
lim xn |
0 , |
lim yn |
0 . |
|
|
|
|
|
|
|
|||||||||
n |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
||
|
|
Теорема. Если сходится ряд, составленный из модулей |
|||||||||||||||||
членов ряда (4.1): |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
z1 |
|
z2 |
|
zn |
|
|
zn |
|
, |
(4.4) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
где |
|
z |
n |
|
|
x2 |
y2 |
, то сходится и ряд (4.1). В этом случае ряд |
|||||||||||
|
|
||||||||||||||||||
|
|
|
|
|
n |
|
n |
|
|
|
|
|
|
|
|
|
|
(4.1) называется абсолютно сходящимся.
Ряды (4.2)–(4.4) являются рядами с действительными членами и их сходимость исследуется с помощью известных признаков сходимости рядов в действительной области.
Пример 1. Исследовать сходимость ряда
|
1 i |
|
|
1 |
|
1 |
|
i |
1 |
1 |
i |
|
|
|
1 |
|
1 |
|
i |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
3 |
2 |
9 |
4 |
|
|
|
3n 1 |
2n 1 |
||||||||||||||
Решение. Ряды с действительными членами |
|||||||||||||||||||||||||
1 |
1 |
|
1 |
|
|
|
1 |
|
|
|
|
и |
1 |
1 |
|
1 |
|
1 |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
3 |
9 |
|
|
|
|
|
3n 1 |
|
|
|
2 |
|
4 |
|
|
|
2n 1 |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сходятся, так как они состоят из членов бесконечно убываю-
щей геометрической прогрессии со знаменателями |
q |
1 |
|
и |
||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
1 |
. |
Сумма первого ряда |
A |
|
|
1 |
|
|
|
3 |
, |
а сумма второго |
|||||||||||||||||||
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ряда |
B |
|
|
1 |
|
|
2 . |
Следовательно, |
сумма |
рассматриваемого |
||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||
|
1 |
|
1 |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ряда есть комплексное число S A |
iB |
3 |
|
|
2i . Рассмотрим |
|
||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||
2 |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
1 |
2 |
1 |
|
2 |
|
|
|
1 |
2 |
|
|
1 |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
||||||||
|
|
|
zn |
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
3n 1 |
|
2n 1 |
|
2n 1 |
|
|
|
|
|
2n 1 |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
74
Так как ряд |
|
|
1 |
является бесконечно убывающей гео- |
||||
2 |
||||||||
|
|
|||||||
|
2n 1 |
|||||||
|
n 1 |
|
|
|
|
|
||
метрической прогрессией со знаменателем q |
1 |
, то он схо- |
||||||
2 |
||||||||
|
|
|
|
|
|
|
дится, а значит, исходный ряд с комплексными членами сходится абсолютно.
Пример 2. Исследовать сходимость ряда
2 |
|
1 |
i |
3 |
|
2 |
i |
4 |
|
3 |
i |
n 1 |
|
n |
|
i |
|
|
|
|
|
|
|
|
|
|
|||||||
3 |
2 |
|
4 |
3 |
|
5 |
4 |
|
n 2 |
|
n |
1 |
Решение. |
Найдем |
предел |
общего |
члена |
lim zn |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
lim |
n |
1 |
|
|
n |
|
i . |
Так как |
lim x |
lim |
n |
1 |
1 и |
|
|
|
|
|
|
|
|
|
|||||||
n |
n |
2 |
|
|
n |
1 |
|
n |
n |
n |
n |
2 |
|
|
|
|
|
|
|
||||||||||
lim yn |
lim |
|
n |
|
1 , то lim zn |
1 i |
|
0 , т.е. не выполнен |
||||||
|
|
|
|
|||||||||||
n |
1 |
|
|
|||||||||||
n |
n |
|
|
|
|
n |
|
|
|
|
|
|
необходимый признак сходимости ряда, поэтому данный ряд расходится.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ein |
|||
Пример 3. Исследовать на сходимость ряд |
|
1 |
|
|
. |
|
|||||||||||||
n |
|
n2 |
|||||||||||||||||
Решение. Рассмотрим |
|
zn |
|
|
ein |
|
|
1 |
. Так как ряд Ди- |
||||||||||
|
|
||||||||||||||||||
|
|
|
n2 |
|
n2 |
||||||||||||||
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
рихле |
является сходящимся ( |
2 1 ), |
то исходный |
||||||||||||||||
|
|
||||||||||||||||||
1 n2 |
|||||||||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ряд с комплексными членами сходится абсолютно. |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ei / n |
|||
Пример 4. Исследовать на сходимость ряд |
|
|
|
|
. |
||||||||||||||
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
1 |
|
n |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
75
Решение. Рассмотрим |
|
zn |
|
|
ei / n |
|
1 |
. Так как гармони- |
|||||
|
|
||||||||||||
|
|
|
n |
|
|
n |
|||||||
|
|
1 |
|
|
|
|
|
|
|
|
|||
ческий ряд |
является расходящимся, то исходный ряд с |
||||||||||||
1 n |
|||||||||||||
n |
|
|
|
|
|
|
|
|
|
|
комплексными членами не сходится абсолютно. По формуле
Эйлера ei / n cos |
|
i sin |
|
. Вопрос о сходимости исходного |
|
|
|||
|
n |
|
n |
ряда сводится к решению вопроса о сходимости знакоположи-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cos |
|
|
|
|
|
тельных рядов с |
|
действительными |
|
|
членами |
n |
и |
|||||||||||||||||||||
|
|
|
n |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin |
|
|
. Сравним первый ряд с расходящимся рядом |
|
1 |
|
|||||||||||||||||||||
n |
|
, а |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
n 1 n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
1 n |
|
||||||||
второй ряд со сходящимся рядом |
|
1 |
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
1 n2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
cos |
|
/ n |
|
|
sin / n |
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
||
|
|
|
|
lim |
|
n |
|
|
1 , |
|
|
lim |
|
|
|
|
. |
|
|
|
|
|
|
|||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
n |
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
n2 |
|
|
|
|
|
|
|
|
||
|
|
|
cos |
|
|
|
|
|
sin |
|
|
|||||||||||||||||
Получаем, что ряд |
|
|
n |
|
, а ряд |
|
|
n |
сходится. Следо- |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
n 1 |
|
n |
n 1 |
|
n |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
вательно, данный ряд с комплексными членами расходится.
76
4.2. Степенные ряды
Ряд вида
c |
c z |
c z2 |
c zn |
c zn , |
(4.5) |
0 |
1 |
2 |
n |
n |
|
|
|
|
n |
0 |
|
где c0 , c1, |
– комплексные постоянные, |
а z x |
iy – ком- |
плексная переменная, называется степенным рядом в комплексной области.
Замечание. Ряд вида
c0 c1 z z0 |
|
c2 z z0 |
2 |
|
|
|
|
|
|
n |
|||
|
|
|
|
|
|
cn z z0 |
|||||||
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
||||||
или |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
1 |
|
|
|
|
lim |
1 |
|
, |
(4.7) |
||||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
||||||||
|
lim |
n |
c |
|
|
n |
n |
c |
|
|
|
||||
|
n |
|
|
n |
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
77
если указанные пределы существуют.
Пример 5. Определить радиус сходимости степенного
ряда |
cos in zn . |
|
|
|
|
n |
0 |
|
|
|
|
Решение. По формуле Эйлера имеем |
|||||
|
|
en |
e |
n |
|
|
cn cos in |
|
|
|
ch n . |
|
|
2 |
|
||
|
|
|
|
|
Для нахождения радиуса сходимости воспользуемся формулой (4.6), получим
R lim |
|
ch n |
|
|
|
lim |
|
|
|
ch n |
|
lim |
|
|
|
ch n |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
ch n 1 |
|
|
ch n |
1 |
ch n ch1 |
sh n sh1 |
|||||||||||||||||||||
n |
|
|
n |
|
|
n |
|
||||||||||||||||||||
|
|
|
|
lim |
|
1 |
|
|
|
|
|
1 |
|
|
|
e 1 |
, |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
ch1 |
th n sh1 |
|
ch1 |
sh1 |
|
|||||||||||||||||||
|
|
|
|
n |
|
|
|
|
|
||||||||||||||||||
так как |
|
lim th n |
lim |
en |
|
e |
n |
|
|
lim |
1 |
e |
2n |
|
1 . Итак, ра- |
||||||||||||
|
en |
|
e n |
|
1 e 2n |
||||||||||||||||||||||
|
|
n |
n |
|
|
n |
|
|
|||||||||||||||||||
диус сходимости данного степенного ряда |
R |
1 e . |
|||||||||||||||||||||||||
Пример 6. Определить радиус сходимости степенного |
|||||||||||||||||||||||||||
ряда |
|
1 i n zn . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
n |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Решение. Предварительно найдем |
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
1 i n |
|
|
|
n |
|
|
|
n |
2n / 2 . |
|
|
||||||||||
|
|
|
|
c |
|
|
|
1 i |
|
|
2 |
|
|
||||||||||||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Применяя формулу (4.7), найдем радиус сходимости данного
степенного ряда |
R |
|
lim |
|
1 |
|
|
1 |
. |
|||||||
n |
|
|
|
|
|
|||||||||||
|
n / 2 |
2 |
|
|||||||||||||
|
|
|
|
|
|
|
n |
2 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример 7. Определить область сходимости степенного |
|||||||||||||||
|
|
2i |
n z |
3i |
n |
|
|
|
|
|
|
|
|
|||
ряда |
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3i n |
|
|
|
|
|
|
|
|
|
||
|
n 1 |
7 |
|
|
|
|
|
|
|
|
|
|
|
78
Решение. Найдем радиус круга сходимости по формуле (4.7). Так как
|
|
|
|
|
|
|
|
|
2i |
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
1 |
|
|||
|
lim n |
|
c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
n |
|
n |
|
|
7 |
|
3i |
|
|
|
|
|
|
|
2 |
|
2 4 |
2 |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
7 |
3 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
то R |
2 – радиус сходимости. Тогда область сходимости оп- |
||||||||||||||||||||||||||
ределяется неравенством |
|
z 3i |
|
2 , Это круг с центром в точ- |
|||||||||||||||||||||||
|
|
||||||||||||||||||||||||||
ке z0 |
3i и радиусом |
|
R |
|
|
2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
4.3. Ряды Тейлора |
|
|
|
|
|
|
||||||||||||||
|
Функция |
|
f z , |
|
|
однозначная |
и |
аналитическая в точке |
z z0 , раскладывается в окрестности этой точки в степенной
ряд Тейлора |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
f z |
|
c z |
z |
n |
, |
|
(4.8) |
||
|
|
|
|
|
|
|
|
|
n |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
n |
0 |
|
|
|
|
|
|
коэффициенты которого вычисляются по формулам |
|
|
|||||||||||||
|
cn |
|
1 |
|
f |
z dz |
|
f n |
z0 |
|
|
( n |
0, 1, 2, |
), |
(4.9) |
|
|
2 i |
|
n 1 |
|
n! |
|
||||||||
|
|
|
z |
z0 |
|
|
|
|
|
|
|||||
где |
|
– окружность с центром в точке |
z z0 , целиком лежа- |
||||||||||||
щая в окрестности точки |
z0 , |
в которой функция f |
z |
анали- |
тична. Центр окружности круга сходимости находится в точке z0 ; эта окружность проходит через особую точку (точка, в ко-
торой нарушается аналитичность) функции f z , ближайшую к точке z0 , т.е. радиус сходимости ряда (4.8) будет равен расстоянию от точки z0 до ближайшей особой точки функции f z .
Для функций ln 1 z и 1 z имеют место следующие разложения в ряд Тейлора в окрестности точки z0 0 :
79
|
|
|
|
|
|
z2 |
z3 |
|
|
n 1 zn |
|
|
|
|||||||
ln 1 |
|
z |
|
|
z |
|
|
|
|
|
1 |
|
|
|
|
|
( R 1 ), |
(4.10) |
||
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
2 |
|
3 |
|
|
|
|
|
|
|
n |
|
|
|
|
1 |
|
z |
1 |
|
z |
|
1 |
z2 |
|
|
|
1 |
2 |
|
|
|||||
|
2! |
|
|
|
3! |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
1 |
|
|
n |
1 |
zn |
|
( 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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
Пример 8. Разложить f |
z |
|
|
|
1 |
|
|
|
|
|
|
в окрестно- |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
1 |
z2 z2 |
4 |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
сти точки z 0 в ряд Тейлора. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
Решение. Представим f z |
в виде суммы двух дробей и |
||||||||||||||||||||||||||||||
преобразуем знаменатели этих дробей: |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
f |
z |
1 |
|
|
|
|
1 |
|
|
|
|
1 |
|
|
1 |
|
|
|
|
1 |
|
1 |
|
|
|
1 |
|
. |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
5 1 z2 |
|
z2 |
4 |
|
5 |
|
1 |
|
z2 |
4 1 z2 4 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
Воспользуемся разложением (4.12), подставляя вместо |
z |
для |
||||||||||||||||||||||||||||||
первой дроби |
z2 , а для второй z2 |
4 . Получим ряд Тейлора |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 n |
|
|
|
|
1 |
|
|
|
|
1 n |
|
|
|||||||
|
f z |
|
|
|
|
z2n |
|
|
|
|
|
|
z2n |
1 |
|
|
|
|
|
z2n . |
|
|||||||||||
|
|
|
|
|
5 |
|
|
|
4n 1 |
5 |
4n 1 |
|
|
|||||||||||||||||||
|
|
|
n |
0 |
|
|
|
|
|
|
|
|
n 0 |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Ближайшими к точке |
z |
0 особыми точками являются точки |
||||||||||||||||||||||||||||||
z |
1, поэтому радиус сходимости полученного ряда R |
1 . |
80