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

3750

.pdf
Скачиваний:
0
Добавлен:
15.11.2022
Размер:
13.52 Mб
Скачать

ружностями 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

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