Файл: Попов, М. Т. Основы теории функций комплексного переменного учеб. пособие.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 29.10.2024

Просмотров: 68

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

бой степенной ряд, имеющий f(z) своей суммой, является рядом Тейлора для своей суммы f(z). Можно доказать, что наибольший радиус круга с центром в точке г—а, в котором

функция f(z)

разлагается в ряд Тейлора, равен расстоянию

от точки z=ia

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

f(z).

 

Особыми точками являются точки, в которых функция не аналитична (см. гл. 6, § 2).

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

ременного, то и разложения элементарных

функций в ряд

Тейлора имеют тот же вид. Запишем некоторые из них:

1.

ln (1 Н- z) =

Z —

-ту----- 1----- --------- ...

 

2.

arctgz

= z -

~

- f

-----...

 

3 cZ = 1 + ~ f r + - i r + -

 

.

.

Z

.

Z5

 

4

sln2 =

T T

' - r

+

-5t

 

к

 

,

ZJ

 

z4

 

5.

C0SZ= 1

 

 

 

 

Все разложения в ряд Тейлора получены при а = 0. Мож­

но показать,

что две первых функции ln(l-f-z) и arc tg z ана­

литичны в круге I z I < 1, остальные— на всей

плоскости z, а

потому два первых разложения справедливы

в круге | г | <1,

остальные — на всей z-плоскости.

 

 

 

 

§ 5.

Ряд Лорана

 

Рядом Тейлора можно представлять функции, аналитиче­ ские только в круговых областях. Для представления в виде ряда функции, аналитической всюду, кроме самой точки а, можно построить двусторонний ряд, содержащий как целые положительные, так и целые отрицательные степени (г—а ):

2

сп(г - «)" = 2 cn(z

«)п + 2

• О48)

П*= — он

П = 0

П — 1

а )

120 •


Первое слагаемое в правой части (148) представляет степейной ряд, сходящийся в круге |z —a |< R . Второе слагаемое

с помощью подстановки ----- - = t преобразуется к виду:

2 с-п • tn .

♦ п =1

Последнее выражение есть степенной ряд, сходящийся в круre 11| <Ri. Тогда второй ряд (148) будет сходиться в области

,

,

^

1

= г .

I z —

а I

>

—g—

 

 

 

К 1

 

Если r< R ,то общей областью

сходимости рядов (148)

будет кольцо г< | z—а) <R.

Так как ряд (148) есть степенной, то на основании тео­ рем Абеля и Вейерштрасса можно установить, что этот ряд. сходится абсолютно и равномерно внутри кольца

г < I z — а ! < R

и сумма его внутри этого кольца есть аналитическая функ­ ция f (z), то есть

f(z) —

2

cn ( z - ß ) n .

(149)

 

П=—чл

 

 

Сходимость ряда (149)

не нарушается

при почленном умно­

жении его на

 

 

 

(z — а)-<к+0

(к =

0; ± 1 ; ±

2; ... ) ,

так как этот множитель ограничен на любой окружности I [|z—а | = р (г < р < R)], где ряд (149) сходится равномерно Тогда

f(z)

= 2 cn(z — a)n~k- 1

(150>

(z —0) k+1

Интегрируя почленно ряд (150) и учитывая (111), получим:

с*°ттг § (7г (| гл <к - 0; ±1; ± 2.

<151>

Ряд (149) называется рядом Лорана функции f(z), коэффи­

121


циенты

которого определяются по формуле

(151). Заменяя

к на п, последнюю перепишем:

 

 

 

 

с" -

2^ Г §

( И ^ г - .

<" = 0;

± 1 :

 

<152>

■Функция

f(z),

являющаяся

суммой

ряда

(149), аналитична

в кольце

г< I z—a |< R . Можно показать,

что всякую

анали­

тическую

в круговом кольце

функцию f(z)

можно

разло­

жить в ряд Лорана, и это разложение будет единственным.

Внутри кольца

сходимости

г< |z—a | < R

(рис. 34) выбе­

рем произвольную точку z и

 

построим

концентрическое с

ним меньшее кольцо

 

 

 

 

 

 

 

 

Гі <

I z — а I < R,

 

(г <

г, < Ri <

R),

 

тоже содержащее точку г. Так

как функция

f(z) аналитич­

на в замкнутом кольце Г і ^ |г —a |'^ R i,

то по формуле Коши

(§ 8, глава 7)

 

 

 

 

 

 

 

 

 

т

J -

Г

f(t)dt

 

1

f

f (t)dt

(1 5 3 )

- - 2*1

J

t — z

 

2 * i

J

t

- z

 

 

 

h

 

 

 

h

 

 

 

 

гдеобе окружности

z—а

==Ri и

 

 

 

 

 

 

І2-

 

 

 

 

 

 

1\’

г—а

г1

 

 

 

 

122


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

f(z) мы

представили в виде суммы двух

функций f(z) =fi ( z) +f2(z).

Опуская все промежуточные

выкладки

при

разложении в

ряд интегралов

(153),

укажем

 

только

лишь,

что

разложе­

ние в степенной ряд первого из интегралов

(153)

аналогично

соответствующему разложению в ряд интеграла

4)

U ( Z ) =

J

dz

=

2

cn(z -

а ) "

,

(154)

 

и

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

с" = ~2ѴГ j* (t -

(П=° ’

'•

2'

 

ь

 

(155)

В силу того, что f(z) не аналитична в-точке а, последний ин­ теграл, в отличие от предыдущего, здесь нельзя заменить на величину fn(a). Для второго интеграла (153) можно запи­ сать:

 

M z) =

- 2 it11

JГtf(t)— z

dt-

 

 

Г

f(t)dt

 

Л

 

 

dt____

... 1 .

1 f f

 

J

(z - a) -

(t — a)

2iri z — raj

1 -

t — а •

h

 

 

 

h

г а

 

 

 

 

 

 

(156)

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

теоремы

(§ 4),

получим:

 

 

 

f2(z) =

2 тс і

(z

I

f (t)(t — a)n- ‘ dt

(z~«)n ’

 

 

 

где

 

 

 

 

(157)

 

 

 

 

 

C-n = 2^7

j f(t)(t -

a)n~‘ dt <n = 2>3- -)•

<158>

 

 

h

 

 

 

123


Подставляя разложения (154) и (157) в формулу (153), в результате получим:

f(z) = fi (z) + f2(z)

= £ cn (z - в)" + £

=

=

£ c„ ( z - a ) n .

(159)

11= —oo

 

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

(155)и (158) внутри кольца г< jz—a |< R вместо различных контуров 1\ и Is можно взять общий контур (см. § 5, глава 7).

Выбирая в качестве пути интегрирования любую окружность /, целиком лежащую в рассматриваемом кольце, окончатель­ но можно записать:

.

~ ~2~rc~j~

(t 1 (а)П~

dt .(П =

0; + .1;

±2; . . . ) .

(160)

 

 

I

 

 

 

 

 

 

 

 

Мы получили

разложение

f(z)

в ряд Лорана в

кольце

г< Iz—a | <R . Единственность

полученного

разложения мож­

но проверить следующим образом.

 

 

 

 

Предположим,

что

 

функция

f(z)

внутри

кольца

г< Iz—а \ <R

имеет два

различных

разложения в ряд Лора­

на:

 

 

 

 

 

 

 

 

 

 

 

f(z)=

2

cn(z -

й)"

 

 

 

И

 

П — — оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f(z) =

2

cn'(z -

a)n .

 

 

 

 

 

П — ---- 99

 

 

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

£

cn( z - a ) n =

£

сп' ( г - а ) п .

 

 

П -— оо

 

 

 

П = — <»

 

 

 

Умножим последнее равенство на (z—a)~(k+1), где к есть любое целое число. Затем проинтегрируем его по окружности

/, имеющей Центр в точке а и целиком лежащей внутри коль­ ца сходимости ряда Лорана:

£

сп f (г - a)n- k- ‘ dz =

£

cn' f (z - « y - ^ d z .

П = — оо

щ )

— оо

щ)

 

I

 

I

124