Файл: Попов, М. Т. Основы теории функций комплексного переменного учеб. пособие.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 |
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