Часть 3

Теория функций
комплексной переменной
 y v

w = u+iv
z = x+iy

x u

z = x + iy w = u + iv
Правило, которое каждой точке z из некоторой области G ставит в
соответствие точку w, называется функцией комплексной
переменной и обозначается w = f ( z ) .
w = f ( z ) = u ( x , y ) + iv ( x , y )
Производная функции комплексной переменной
Пусть задана функция w = f ( z ) . Говорят, что у f ( z )
существует производная в точке z, если существует
f ( z + z ) − f ( z )
lim = f ( z ).
z →0 z
Более подробно это означает, что
f ( z + z ) − f ( z )
  0   0 z | z |   − f ( z )   .
z
Отметим, что отсюда следует, что при приближении к точке z по
любой траектории отношение ( f ( z + z ) − f ( z )) z стремится к
одной и той же величине f  ( z ) .
Определение. Если f ( z ) имеет производную в каждой точке
области G, то она называется аналитической в области G.
Геометрический смысл производной функции комплексной переменной.

y v

z+z
w+w
|z|
|w |
z
w

arg z arg w
x u
 Рассмотрим на плоскости z отрезок, соединяющий точки z и z +z.
Тогда длина отрезка есть | z | , а arg z есть угол, который этот отрезок
образует с осью ОХ. Аналогично, на плоскости w рассмотрим отрезок,
соединяющий точки w = f ( z ) и w + w = f ( z + z ) . Его длина есть
|w|, а arg w есть угол, который этот отрзок образует с осью OU.
Отсюда следует, что w = f ( z + z ) − f ( z ) .
Вспоминая выражение для производной, можем записать
w

f ( z ) = lim .
z → 0  z

Отсюда
w | w |
| f  ( z ) | = lim = lim .
z →0 z z →0 | z |

Отношение | w | | z | показывает, насколько длина отрезка w

больше длины отрезка z. Таким образом, | f  ( z ) | есть коэффициент
растяжения бесконечно малого отрезка при его отображении с
плоскости z на плоскость w.
Далее, так как
w
arg f  ( z ) = lim arg = lim ( arg w − arg z ) ,
z →0 z z →0
то arg f  ( z ) есть угол поворота бесконечно малого отрезка при его
отображении с плоскости z на плоскость w. Заметим, что этот угол
поворота не зависит от arg z , то есть от направления отрезка z.
y v

 
 

x u
Условия Коши-Римана
Пусть у функции f ( z ) существует производная f  ( z ) в точке
z. Будем приближаться к точке z двумя путями
y
x+i(y+y)

z=x+iy (x+x)+iy

x
 Сначала подойдем к точке z = x + iy , двигаясь параллельно оси
ОХ. Тогда z + z = ( x + x) + iy и z = x . Так как
f ( z ) = f ( z + z ) − f ( z ) = u + iv ,
то
u + iv u v u v

f ( z ) = lim = lim + i lim = +i .
z →0 x z →0 x z →0 x x x
Теперь будем приближаться к точке z, двигаясь параллельно оси OY.
Тогда z + z = x + i ( y + y ) , z = iy и
u + iv v u v u
f  ( z ) = lim = lim − i lim = −i .
z →0 iy z →0 y z →0 y y y
Но значение f  ( z ) должно быть одним и тем же, независимо от
траектории приближения к точке z. Поэтому должно выполняться
условие
u v v u
+i = −i ,
x x y y
то есть должны выполняться условия
u v v u
= ; =− . (1)
x y x y
 Теорема. Если u ( x , y ) и v ( x , y ) дифференцируемы в точке (х, у),
то условия Коши-Римана достаточны для существования f  ( z ) в
точке z = x + iy .
Доказательство. В силу дифференцируемости функций u ( x , y )
и v ( x , y ) можно записать
u
x
u
( )
u = x + y + o ( x ) 2 + ( y ) 2 ,
y
v
x
v
( )
v = x + y + o ( x ) 2 + ( y ) 2 .
y
Так как w = u + iv , z = x + iy , то

w x
u u
y
v
x
v
(
x + y + i x + i y + o ( x ) 2 + ( y ) 2
y
)
=
z x + iy
Используя условия Коши-Римана и объединяя первое слагаемое с
четвертым, а второе − с третьим, получим

w x
u v
( )
( x + iy ) + i ( x + iy ) + o ( x ) 2 + ( y ) 2
x
= =
z x + iy
(
u v o ( x ) 2 + ( y ) 2
= +i +
) .
x x x + iy
Но, по определению символа о(…) и модуля комплексного числа,
можно записать
(
o ( x ) 2 + ( y ) 2) ( =
) (
o ( x ) 2 + ( y ) 2
=
)
o ( x ) 2 + ( y ) 2
→0
x + iy | x + iy | ( x ) + ( y )
2 2

при ( x , y ) → 0. Поэтому существует

w u v
lim = f ( z ) = + i ,
z →0 z x x
что и требовалось доказать.
Следствие. Если f ( z ) аналитична в G, то условия Коши-Римана
выполняются в каждой точке области G. Наоборот, если условия
Коши-Римана выполняются в каждой точке области G и функции
u ( x , y ) и v ( x , y ) дифференцируемы в каждой точке области G, то
f ( z ) аналитична в G.
Интегралы от функций комплексной переменной
y
zn

z3

2

 z2
1

C

0
z1

z0
x
 Пусть f ( z ) − функция комплексной переменной z и С −
некоторая кривая на плоскости z. Разобьем всю кривую С на кусочки
точками z1, z2, …,zn-1, так, что ее начало есть точка z0, а ее конец −
точка zn. На каждом кусочке выберем произвольным образом
среднюю точку  i и составим интегральную сумму
n−1
 =  f (  i ) z i , z i = z i +1 − z i .
i =0
Пусть  = max | z i | . Если существует lim  и этот предел не зависит
i →0
от способа разбиения кривой С на кусочки и от способа выбора
средней точки, то он называется интегралом от f ( z ) по кривой С и
обозначается символом
lim  =  f ( z ) dz .
→0
C
Основное неравенство на интеграл
Так как | z i | есть длина отрезка, соединяющего точки zi и zi+1, то
n−1 n−1
|  |   | f (  i ) |  | z i |  max | f (  ) |   | z i |.
C
i =0 i =0
n −1
Но заметим, что | z
i =0
i | не превосходит длины lC кривой С, так что
|  |  max | f (  ) | l C и поэтому
C

 f ( z ) dz  max | f (  ) | l
C
C
C ,

где lC − длина кривой С.

Свойства интегралов от аналитических функций
Пусть теперь f ( z ) − аналитическая функция в некоторой
односвязной области G и все кривые С лежат внутри этой области.
Тогда интегралы от этой функции обладают рядом хороших свойств.
Теорема 1. Если f (z ) аналитична в односвязной области G, то
 f ( z ) dz по всем кривым С, лежащим в G, зависит только от
C
положения начала и конца кривой и не зависит от вида этой кривой.
Доказательство. Так как f ( z ) = u ( x , y ) + iv ( x , y ) и dz = dx + idy ,
то
 f ( z ) dz =  ( u ( x , y ) + iv ( x , y ))( dx + idy ) =
C C

=  u ( x , y ) dx − v ( x , y ) dy + i  v ( x , y ) dx + u ( x , y ) dy .
C C
Таким образом, интеграл от функции комплексной переменной
свелся к двум криволинейным интегралам. Такое сведение, кстати,
может служить и для вычисления интеграла от функции
комплексной переменной.
А теперь вспомним, что криволинейный интеграл второго рода
вида  P ( x , y ) dx +Q ( x , y ) dy не зависит от пути, если выполняется
C
P Q
условие = . У нас же в первом интеграле P ( x , y ) = u ( x , y ) ,
y x
Q ( x , y ) = − v ( x , y ) , так что
P u Q v
= ; =− ,
y y x x
и условие независимости интеграла от пути превращается во второе
условие Коши-Римана.
Аналогично, во втором интеграле P( x, y ) = v( x, y ) ,
Q ( x , y ) = u ( x , y ) , так что
P v Q u
= ; = ,
y y x x
и снова условие независимости от пути превратилось в первое
условие Коши-Римана.
Замечание. В силу этой теоремы, для аналитических функций в
z1

односвязных областях можно писать не  f ( z ) dz , а  f (  ) d , где z0

C z0

и z1 − начальная и конечная точки кривой, по которой ведется

интегрирование.
 Теорема 2. Если f ( z ) аналитична в односвязной области G, то
интеграл
z
F (z) =  f (  ) d ,
z0
рассматриваемый как функция верхнего предела, является
аналитической функцией, причем F  ( z ) = f ( z ) .
Доказательство. Имеем
1 
z +h
F ( z + h) − F ( z )
z
F  ( z ) = lim = lim   f (  ) d −  f (  ) d  =
h →0 h →0 h
h 0
 z 0 z 
z +h
1
= lim  f (  ) d .
h→0 h
z
Так как существует f  ( z ) , то f ( z ) непрерывна в точке z. Поэтому
f (  ) = f ( z ) +  (  ) , где  (  ) → 0 при → z. Тогда
z +h z +h
1 1
F  ( z ) = lim  [ f ( z ) +  (  )] d = f ( z ) + lim   (  ) d .
h→0 h h→0 h
z z
Но
z +h
1 1

h z
 (  ) d 
|h|
 max |  (  ) |  | h | = max |  (  ) | → 0

при h→0, и, следовательно, существует F  ( z ) = f ( z ) .

Определение. Функция F ( z ) называется первообразной
функции f ( z ) , если F  ( z ) = f ( z ) .
Заметим, что раз существует F  ( z ) , то первообразная всегда
является аналитической функцией.
Теорема 3. Две любые первообразные одной функции f ( z )
отличаются не более, чем на константу (естественно, комплексную).
Доказательство. Пусть F1 ( z ) и F2 ( z ) − две первообразные
функции f ( z ) . Обозначим
F1 ( z ) − F2 ( z ) =  ( z ) = u ( x , y ) + iv ( x , y )
Но тогда (см. теорему о достаточности условий Коши-Римана и
сами эти условия)
u v v u
( z ) = + i = − i  0,
x x y y
что может быть только тогда, когда
u v v u
= = =  0.
x x y y
Поэтому u ( x , y ) и v ( x , y ) есть константы,  (z ) есть тоже
константа (разумеется, комплексная), и F1 ( z ) − F2 ( z ) = C .
Теорема 4. Если F ( z ) есть первообразная функции f ( z ) , то
z

 f (  ) d = F ( z ) − F ( z
z0
0 ).
z
Доказательство. Действительно, по теореме 2, F1 ( z ) =  f (  ) d
z0
есть одна из первообразных функции f ( z ) . Поэтому
z

 f (  ) d = F ( z ) + C .
z0
Полагая z = z 0 получим, что 0 = F ( z 0 ) + C , откуда следует, что
C = − F ( z0 ) и
z

 f (  ) d = F ( z ) − F ( z
z0
0 ).

Теорема доказана.
 Следующие две теоремы были доказаны при изучении
криволинейных интегралов.
Теорема 5. Если f ( z ) аналитична в односвязной области G, то
интегралы по всем простым контурам, лежащим в G, равны нулю.
Определение. Точка, где f ( z ) имеет разрыв, или где не
существует f  ( z ) , называется особой точкой функции f ( z ) .
Теорема 6. Пусть М − особая точка функции f ( z ) . Тогда все
интегралы по простым контурам, окружающим М, равны между
собой.
Интегральная формула Коши
Теорема. Пусть f ( z ) аналитична в односвязной области G.
Тогда для любой точки z  G имеет место формула
1 f ( )
f (z) = 
2 i C  − z
d ,

где С − любой простой контур, лежащий в G и окружающий точку z.

В частности, в качестве С может быть взята граница области G.
Написанная выше формула называется интегральной формулой
Коши.
 Рассмотрим функцию
f ( )
(  ) = .
−z
Очевидно, что точка =z является особой точкой функции  ( ) ,
так как в этом случае происходит деление на 0. Кроме контура С
(см. рис.) рассмотрим еще контур  в виде окружности с центром в
точке z и радиусом . Тогда
f ( ) f ( )
C  − z d =   − z d .
  
z


C
Но любая точка  контура  может быть представлена в виде
 = z + e i , где 0    2  . Так как  есть величина постоянная, то на
 d = ie i d и поэтому
2 2
f ( ) f ( z + e i ) i
  − z 0 e i 0
i
d = ie d  = i f ( z + e )d .

Учитывая непрерывность f ( z ) можно записать

f ( z + e i ) = f ( z ) + (  )
где  ( ) →0 при →0. Поэтому
2
f ( )
  − z d = 2 if ( z ) + i 0 (  ) d .
Но
2

 (  ) d  2   max | (  ) | ⎯⎯⎯→ 0 ,
0
→0

и, устремляя  к нулю (это можно сделать в силу теоремы 6),

получим
f ( ) f ()
C  − z d =   − z d = 2 if ( z ) ,
что и дает формулу Коши.
Таким образом, значения аналитической функции на границе
области G определяют значения f ( z ) во всей области G.
Формула Коши для высших производных
Теорема. Если f (z) аналитична в односвязной области G, то в
этой области у нее существуют производные всех порядков,
причем
n! f ( )
(z) =  d ,
(n)
f (2)
2 i C (  − z ) n +1

где С − любой простой контур, лежащий в G и охватывающий

точку z (в частности, им может быть граница области G).
Доказательство.
По определению, производной нулевого порядка считается сама
функция f ( z ) . Но, если в (2) положить п = 0, то получится
интегральная формула Коши, то есть для п = 0 теорема верна.
Дальнейшее доказательство проведем по индукции.
 Пусть (2) верна для производной порядка п − 1
( n − 1)! f (  )

( n −1 )
f (z) = d .
2 i C (  − z ) n

Но тогда
f ( n−1 ) ( z + h ) − f ( n−1 ) ( z )
f (n)
( z ) = lim =
h→0 h
( n − 1)! 1  1 1 
= lim  f (  )  − n 
d . (3)
2 i h → 0 hC  ( − z − h)
n
( − z ) 
Пусть  (  ) = 1 (  − z ) n . Тогда формула Лагранжа дает
 (  − h ) −  (  ) =  (  − h )( − h )
В нашем случае  (  ) = − n (  − z ) n+1 и поэтому
1 1 n
− =− n+1
(−h)
( − z − h) n
( − z ) n
(  − z − h )
Но именно это выражение стоит внутри квадратных скобок в
формуле (3). Поэтому
( n − 1)!n f (  ) d
f (z) =
(n)
lim  ,
2 i h → 0
C (  − z − h )
n +1

где 0 < < 1. В силу непрерывности

1 1
n+1
= n+1
+ (  ) ,
(  − z − h ) ( − z )
где  (  ) → 0 при h→0. Поэтому
n!  f (  ) d 
f (z) =  + lim  f (  )  (  ) d  .
(n)

2 i  C (  − z ) n +1 h→0
C 
Так как

 f (  ) (  ) d  max | f (  ) |  max | (  ) | l
C
C ⎯h⎯
⎯→ 0 ,
→0

то предел существует и поэтому существует

n! f ( )
(z) =  d
(n)
f
2 i C (  − z ) n +1
Неравенство Коши.

R
z


C
 Обозначим (см. рис.) R = inf |  − z | и рассмотрим контур  в виде
C
окружности с центром в точке z и радиусом R. Тогда
n! f ( ) n! f ( )

2 i C (  − z ) n +1
d = 
2 i  (  − z ) n +1
d .

Пусть далее max | f ( z ) | = M . Тогда

zG

n! f ( ) n! M

( z ) |=    n+1  2 R ,
(n)
|f d
2 i  (  − z ) n +1
2 R
так как на контуре  |  − z | = R и длина контура  равна 2 R.
Окончательно
M
| f ( z ) |  n! n .
(n)

R
Это неравенство носит имя «неравенство Коши».
 Теорема Мореры.
Если f ( z ) непрерывна в односвязной области G и для любых
простых контуров, лежащих в G, выполнено условие  f (  ) d = 0 , то
C
f ( z ) аналитична в G.
Доказательство.
1. Так для любого простого контура С выполнено условие
 f (  ) d = 0 , то интегралы  f (  ) d не зависят от пути, а зависят
C 
лишь от начальной и конечной точки траектории.
2. Рассмотрим
z
F (z) =  f (  )d .
z0
Буквально повторяя доказательство теоремы 2 из получим, что
F  ( z ) = f ( z ) и, следовательно, F ( z ) − аналитическая функция.
3. Но тогда существует F  ( z ) = f  ( z ) и поэтому f ( z ) также
аналитическая функция.
Функциональные ряды. Равномерная сходимость
Ниже будут изучены два математических объекта. Объект первый
−это так называемые функциональные ряды. Пусть u1 ( z ) , u 2 ( z ) ,
u 3 ( z ) , … − функции комплексной переменной z. Ряд


u
k =1
k ( z ) = u1 ( z ) + u 2 ( z ) + u 3 ( z ) + ...
носит название функционального ряда.
Объект второй − это последовательность функций, сходящаяся
к некоторой функции. Пусть f 1 ( z ) , f 2 ( z ) , f 3 ( z ) , … есть
последовательность функций комплексной переменной z и z  G
существует lim f n ( z ) = f ( z ) .
n→
Эти два объекта очень тесно связаны между собой. Действительно,
пусть дан функциональный ряд


u
k =1
k (z) = u(z)

и его сумма равна u ( z ) . Введем последовательность функций

n
f n ( z ) = uk ( z ) .
k =1
Тогда lim f n ( z ) = u ( z ) в области сходимости нашего ряда.
n→
Если наоборот, задана последовательность функций f 1 ( z ) , f 2 ( z ) ,
f 3 ( z ) , … , то, вводя функции
u1 ( z ) = f 1 ( z ) , u k ( z ) = f k ( z ) − f k −1 ( z ) , k = 2, 3,4, ...
мы получим, что
n

u
k =1
k (z) = fn (z)
и

f ( z ) = lim f n ( z ) =  u k ( z )
n→
k =1
Пусть имеется последовательность функций f n ( z ), n = 1,  , которая
в каждой точке области G сходится к некоторой функции f ( z ) , то
есть z  G существует lim f n ( z ) = f ( z ) . Это означает, что
n→
z  G   0 N (  , z ) n  N | f n ( z ) − f ( z ) |   .
Самая главная неприятность в этой, так называемой поточечной
сходимости, заключается в том, что N зависит не только от , но и
от z, и меняется от точки к точке области G. Эта зависимость от z и
мешает доказывать все теоремы.
Определение. Говорят, что последовательность функций
f n ( z ), n = 1,  сходится к предельной функции f ( z ) равномерно в
области G, если
  0 N (  ) n  N z  G | f n ( z ) − f ( z ) |   .
Равномерную сходимость обозначают так f n ( z )  f ( z ) , или так
n→
fn ( z) ⎯
⎯→ f ( z ) .
p

Обратите внимание на то, куда переместился квантор z  G по

сравнению с поточечной сходимостью.

Определение. Говорят, что функциональный ряд u
k =1
k (z)

сходится равномерно в области G и его сумма равна u ( z ) , если


  0 N (  ) n  N z  G u
k = n +1
k ( z)  ,

или, что то же самое,

n
  0 N (  ) n  N z  G u
k =1
k (z) −u(z)  
Признак Больцано-Коши.

Теорема. Для того, чтобы функциональный ряд u
k =1
k (z)
сходился равномерно в области G необходимо и достаточно, чтобы
n+ m
  0 N (  ) n  N m  0 z  G u
k = n +1
k (z)  
Доказательство.

Необходимость. Пусть ряд u
k =1
k ( z ) сходится равномерно в G.
Тогда


  0 N (  ) n  N z  G  u
k =n +1
k ( z ) 
2
.

Но тогда
n+ m
  0 N (  ) n  N m  0 z  G u
k = n +1
k (z) =
   
 
= uk ( z ) − uk ( z )  uk ( z ) + uk ( z )  + = ,
k = n +1 k = n + m +1 k = n +1 k = n + m +1 2 2
что и дает признак Больцано-Коши.
Достаточность.
Пусть
n+ m
  0 N (  ) n  N m  0 z  G u
k = n +1
k (z)  . (4)

По признаку Больцано-Коши для числовых рядов это означает, что


z  G ряд u
k =1
k ( z ) сходится к некоторой конечной сумме u ( z ) . Но

тогда, делая в (4) предельный переход m→ получим, что


  0 N (  ) n  N z  G u
k = n +1
k ( z)  ,

что и говорит о равномерной сходимости ряда.

Признак Вейерштрасса.
Признак Больцано-Коши не является рабочим признаком, но с
его помощью доказываются другие признаки, которые уже
являются рабочими. Рассмотрим один из них.
Теорема. Если существуют такие неотрицательные
действительные числа c n , n = 1,  , что
1. z  G | u n ( z ) |  c n , n = 1,  ,

2. c
n=1
n  + ,

то ряд u k =1
k ( z ) сходится равномерно в области G.
Доказательство.

Так как ряд c
n =1
n сходится, то, по признаку Больцано-Коши для

числовых рядов,
n+ m
  0 N () n  N m  0 c
k =n+1
k  .
Но тогда z  G имеем
n+ m n+ m n+ m

u
k = n +1
k (z)  | u
k = n +1
k ( z ) | c
k = n +1
k  ,

и, по признаку Больцано-Коши равномерной сходимости отсюда


следует, что ряд u
k =1
k ( z ) сходится равномерно в области G.

Терминология. Говорят, что ряд u
k =1
k ( z ) мажорируется рядом
  

c
n =1
n , или, что ряд c
n =1
n является мажорантой для ряда u
k =1
k ( z ).
Непрерывность суммы функционального ряда
Теорема. Пусть u k ( z ), k = 1,  определены в области G и все

они непрерывны в точке z 0  G . Если ряд u
k =1
k ( z ) сходится в G
равномерно, то его сумма также непрерывна в точке z0.
Доказательство. Обозначим
 n 
u ( z ) = uk ( z ), f n ( z ) = uk ( z ), n ( z ) = u k ( z ).
k =1 k =1 k =n+1
Тогда
u ( z ) = f n ( z ) +  n ( z ), u ( z 0 ) = f n ( z 0 ) +  n ( z 0 ).
Далее имеем
| u ( z ) − u ( z 0 ) | | f n ( z ) − f n ( z 0 ) | + |  n ( z ) | + |  n ( z 0 ) | .
В силу равномерной сходимости ряда
  0 N n  N z  G  n ( z )   .
Возьмем n  N и зафиксируем его. Заметим, что в f n ( z ) входит
лишь конечное число слагаемых, а сумма конечного числа
непрерывных функций есть также непрерывная функция. Поэтому
f n ( z ) непрерывна в точке z0, что означает, что
  0   0 z | z − z0 |  | f n ( z ) − f n ( z0 ) |  .
Беря | z − z 0 |   и фиксируя п, получим, что
| u ( z ) − u ( z 0 ) |   +  +  = 3 ,
Откуда, в силу произвольности , и следует, что u ( z ) непрерывна в
точке z0.
Формулировка теоремы для функций.
Пусть f n ( z ), n = 1,  непрерывны в точке z0 и при п→
f n ( z )  f ( z ) . Тогда f ( z ) непрерывна в точке z0.
Почленный переход к пределу в равномерно сходящемся ряду.

Пусть дан функциональный ряд u
k =1
k ( z) = u( z).

Теорема.
Пусть
1. k = 1,  lim u k ( z ) = c k ;
z →a

2. Ряд u
k =1
k ( z ) сходится равномерно в области G.
Тогда

1. Ряд c
k =1
k сходится;

   
2. lim   u k ( z )  =  c k =  lim u k ( z ) .
z →a
 k =1  k =1 k =1
z →a
Доказательство.
1. В силу равномерной сходимости функционального ряда по
признаку Больцано-Коши имеем
n+ m
  0 N n  N m  0 z  G u
k = n +1
k ( z)  .

В сумме конечное число слагаемых. Переходя в этой строчке

кванторов к пределу z→a, получим
n+ m
  0 N n  N m  0 c
k = n +1
k  ,

откуда, также по признаку Больцано-Коши, следует сходимость ряда



c
k =1
k
2. В силу сказанного выше, введем обозначения
 n 
C =  ck ; Cn =  ck ,  n = c k ,
k =1 k =1 k = n +1
так что C = C n +  n . Далее, пусть
 n 
u ( z ) = uk ( z ) , f n ( z ) = uk ( z ) , n ( z ) = u k ( z ),
k =1 k =1 k =n+1
так что u ( z ) = f n ( z ) +  n ( z ) . Тогда имеем
u ( z ) − C | f n ( z ) − C n | + |  n | + |  n ( z ) | .

В силу сходимости ряда c
k =1
k

  0 N 1 n  N 1 |  n |   .

В силу равномерной сходимости ряда u
k =1
k (z)

  0 N 2 n  N 2 z  G |  n ( z ) |   .
 Возьмем n  max( N 1 , N 2 ) и зафиксируем его. Тогда, так как в
f n (z ) входит лишь конечное число слагаемых, то lim f n ( z ) = C n ; это
z →a
означает, что
  0   0 z | z − a |   | f n ( z ) − C n |   .
Но тогда z | z − a |   получим, что
| u ( z ) − C |  +  +  = 3 ,
откуда и следует, что lim u ( z ) = C . Вспоминая, что представляют
z →a
собой u ( z ) и С, получим окончательно
    
lim   u k ( z )  = C =  c k =  lim u k ( z ) ,
z →a
 k =1  k =1 k =1
z →a

что и доказывает теорему.

 Формулировка для функций.
Пусть
1. k = 1,  lim f k ( z ) = c k ;
z →a
2. при п→ f n ( z )  f ( z ) в области G.
Тогда
1. существует lim c k = c ;
k →
2. lim f ( z ) = c .
z →a
В более подробной записи это означает, что
lim lim f n ( z ) = lim lim f n ( z ) ,
z →a n→ n→ z →a
и в этой форме это − теорема о возможности перестановки двух
предельных переходов. Как видно, эта перестановка возможна, если
один из двух переходов относится к равномерной сходимости.
Почленное интегрирование функционального ряда

Теорема. Если n = 1,  существуют u n ( z )dz и ряд u
k =1
k (z)
C
сходится равномерно в области G (кривая С целиком лежит в этой
  
области), то существует    u k ( z )  dz и имеет место равенство
C  k =1 
   

C  
k =1
u k ( z )  dz =   u k ( z ) dz
 k =1 C
Доказательство. Мы опустим самый сложный кусок доказательства
  
− доказательство существования    u k ( z )  dz и докажем лишь
C  k =1 
само равенство.

Пусть u
k =1
k ( z ) = u ( z ) . Тогда, в силу равномерной сходимости
функционального ряда
n
  0 N n  N z  G u ( z ) −  u k ( z )   .
k =1
Но тогда
n
 n
 n

C u ( z )dz −  
k =1 C
uk ( z )dz =   u ( z ) −  uk ( z ) dz  max u ( z ) −  uk ( z )  lC  lC ,
C k =1  zC
k =1

где lC − длина кривой С. В силу произвольности  это означает, что

   

C u( z )dz = C  
k =1
uk ( z )  dz =   uk ( z )dz
 k =1 C
 Формулировка для функций.
Если n = 1,  существуют  f n ( z )dz и f n ( z )  f ( z ) в области
n→
C

G, то существует  f ( z )dz и имеет место равенство

C

( )
lim  f n ( z )dz =  f ( z ) dz =  lim f n ( z ) dz
n→ n→
C C C

Аналитичность суммы функционального ряда

Теорема. Если n = 1,  функции u n ( z ) аналитичны в области G и

ряд u
k =1
k ( z ) сходится равномерно в этой области, то его сумма

также является аналитической функцией в области G.

 Доказательство.
1. Так как все u n ( z ) аналитичны в области G, то все они

непрерывны в G, и, следовательно, u ( z ) =  u k ( z ) также непрерывна
k =1
в G в силу равномерной сходимости ряда.
2. Пусть С − произвольный простой контур, лежащий в G. В силу
равномерной сходимости ряда, его можно почленно интегрировать.
Тогда


C u ( z ) dz =  
k =1 C
u k ( z ) dz = 0 ,

ибо  u k ( z ) dz = 0 .
C
3. По теореме Мореры отсюда следует аналитичность функции
u ( z ).
Формулировка для функций.
Если n = 1,  функции f n ( z ) аналитичны в области G и в
области G f n ( z )  f ( z ) , то f ( z ) также является аналитической
n→
функцией в области G.

Почленное дифференцирование функционального ряда


Теорема. Если ряд u
k =1
k ( z ) , составленный из аналитических в
односвязной области G функций, сходится в G равномерно, то его
можно почленно дифференцировать любое число раз, то есть
(n)
   
 uk ( z )  = uk ( z )
(n)

 k =1  k =1


C
 Пусть С − любой простой контур, лежащий в G и охватывающий
z. Пусть, далее,
R = inf |  − z | .
C

Так как ряд u
k =1
k ( z ) сходится в G равномерно, то

  0 N m  N   G  u ( )  
k = m +1
k

Но тогда   C |  − z |  R , 1 |  − z |  1 / R , и следовательно



u k ( ) 1   u ( ) k


k = m +1 ( − z )
n +1
=
( − z ) n +1
  u k ( ) =
k = m +1
k = m +1
|− z| n +1
 n+1 ,
R
так как 1 (  − z ) n+1  1 R n+1 .
 
uk ( )
Поэтому ряд  ( − z )
k =1
n +1
сходится равномерно на контуре С и его

можно почленно интегрировать. Обозначая u ( z ) =  u k ( z ) ,
k =1
получим
n ! u (  ) n ! 
uk ( )
u (z) =
(n)

2 i C (  − z ) n+1
d =  
2 i C k =1 (  − z ) n+1
d =

n! uk ( ) 
=  d =  u (n)
( z ),
k =1 2 i C (  − z )
n+1 k
k =1
что и требовалось доказать.
Степенные ряды.
Рассмотрим теперь частный случай функциональных рядов, когда
отдельные слагаемые имеют вид u k ( z ) = c k ( z − a ) k , где сk и а −
комплексные числа. Получающиеся ряды имеют вид


c
k =0
k ( z − a ) k = c 0 + c1 ( z − a ) + c 2 ( z − a ) 2 + c 3 ( z − a ) 3 + ...
и называются степенными рядами.
Область сходимости
Найдем, прежде всего, область сходимости степенного ряда.
Теорема 1. Для всякого степенного ряда существует число R  0
такое, что степенной ряд абсолютно сходится при | z − a |  R и
расходится при | z − a |  R .
Таким образом, область сходимости степенного ряда есть круг
| z − a |  R с центром в точке а и радиусом R, который называется
кругом сходимости. Число R называется радиусом сходимости.
Отметим еще, что общего ответа на вопрос о сходимости ряда на
границе круга сходимости, то есть при | z − a | = R , дать нельзя.
Доказательство. Обозначим через Z множество тех значений z, при
которых степенной ряд сходится (не обязательно абсолютно). Это
множество не пусто, так как, например, a  Z . Обозначим через R
величину
R = sup {| z − a |}.
zZ
Возьмем любое z, у которого | z − a |  R . Тогда, по свойствам
супремума, существует число z 0  Z , такое, что | z − a | | z 0 − a |  R .
Для этого z0 степенной ряд сходится и, следовательно, его общий
член стремится к нулю:
lim c k ( z 0 − a ) k = 0 .
k →
Так как всякая сходящаяся последовательность ограничена, то
существует такое действительное число М, что k
| c k ( z 0 − a ) k |  M  + . Но тогда
  k k
z−a 
z−a
 k
| c
k =0
( z − a ) k
| =  k 0
|
k =0
c ( z − a ) k
|
z0 − a
M
k =0 z0 − a
Но величина q = | z − a | | z 0 − a |  1, и поэтому
 k
z−a 


k =0 z0 − a
=  q k  + .
k =0

Поэтому сходится и ряд | c
k =0
k ( z − a ) k | , то есть степенной ряд


k
c (
k =0
z − a ) k
сходится абсолютно.

Если же z удовлетворяет условию | z − a |  R , то z  Z и поэтому

для него степенной ряд расходится.
Замечание. Если R = 0, то степенной ряд сходится лишь в точке
z = а. Если же R = +, то степенной ряд сходится на всей
комплексной плоскости.
 ck ck
Теорема 2. Если существует lim , то R = lim
k → c k → c
k +1 k +1
Доказательство. Возьмем любое z и применим для
исследования сходимости ряда признак Даламбера. Вычисляя
указанный в этом признаке предел, получим
c k +1 ( z − a ) k +1 c k +1 | z − a |
D = lim =| z − a | lim = .
k → c ( z − a ) k k → c R
k k
Поэтому при | z − a |  R D < 1 и, по признаку Даламбера, степенной
ряд сходится; если же | z − a |  R , то D > 1 и, по тому же признаку,
степенной ряд расходится.
Теорема 3. Если существует lim k | c k | =  , то R = 1  .
k →
Доказательство. Возьмем любое z и применим для
исследования сходимости ряда признак Коши. Вычисляя указанный
в этом признаке предел, получим
| z−a|
c = lim k | c k ( z − a ) k | = | z − a | lim k | c k | = .
k → k → R
Поэтому при | z − a |  R с < 1 и, по признаку Коши, степенной ряд
сходится; если же | z − a |  R , то с > 1 и, по тому же признаку,
степенной ряд расходится.
В общем случае, радиус сходимости R степенного ряда может
быть вычислен по формуле
1
R = ,  = lim sup k | c k | ,
 n → k  n

которая называется формулой Коши-Адамара.

Свойства суммы степенного ряда
Теорема 1. Для любого r  R степенной ряд сходится
равномерно в круге | z − a |  r  R .
Доказательство. Так как z − a = r принадлежит кругу

сходимости, то ряд  k сходится. Поэтому z | z − a | r
| c |
k =0
r k

 

 k
| c
k =0
( z − a k
) |   k  + .
| c
k =0
| r k


По признаку Вейерштрасса ряд k
c (
k =0
z − a ) k
сходится равномерно

в круге | z − a |  r .
Следствие 1. В круге | z − a |  r  R сумма степенного ряда есть
непрерывная функция от z.
Следствие 2. В круге | z − a |  r  R степенной ряд можно
почленно дифференцировать и интегрировать.
Замечание. r может быть сколь угодно близко к R, но r  R.
Теорема 2. При почленном дифференцировании радиус сходимости
степенного ряда не меняется.

Доказательство. Рассмотрим ряд  k
c
k =0
( z − a ) k
. Его радиус

сходимости
1
R = ,  = lim sup k | c k | .
 n → k  n

При почленном дифференцировании получается ряд


1 

k =1
c k k ( z − a ) k −1
= 
z − a k =1
c k k ( z − a ) k
.

Его радиус сходимости равен

1
R1 = , 1 = lim sup k k | c k | .
1 n → k  n

Но lim k k = 1 и поэтому
k →
1 = lim sup k k | c k | = lim sup k | c k | =  ,
n → k  n n → k  n

откуда и следует, что R1 = R.

Следствие. Внутри круга | z − a |  r  R степенной ряд можно
дифференцировать почленно любое число раз.

Теорема 3. При почленном интегрировании радиус сходимости

степенного ряда не меняется.
Доказательство. При почленном интегрировании получается
ряд
  
ck ck

k =0
 c k ( z − a ) k
dz = 
k =0 k + 1
( z − a ) k +1
= ( z − a ) 
k =0 k + 1
( z − a ) k
.

Так как lim k k + 1 = 1, то для радиуса сходимости R2 получившегося

k →
ряда имеем
1 | ck |
R 2 = ,  2 = lim sup k = lim sup k | c k | =  ,
2 n → k  n k + 1 n → k  n
и поэтому R2 = R.
Следствие. Внутри круга | z − a |  r  R степенной ряд можно
интегрировать почленно любое число раз.
Операции над степенными рядами
 
Пусть нам даны два степенных ряда  ak z
k =0
k
и k
b z
k =0
k

Рассмотрим лишь простейшие операции над этими рядами.

Сложение и вычитание.
Достаточно очевидно, что
  

a
k =0
k
k
z   b
k =0
k z k
=  ( a
k =0
k  b k ) z k
.
Умножение.
Рассмотрим произведение наших рядов. Имеем
 

 k k =
a z
k =0
 b z k k

k =0
= ( a 0 + a1 z + a 2 z + a 3 z + ...)( b0 + b1 z + b2 z 2 + b3 z 3 + ...) .
2 3

Составим бесконечную матрицу из попарных произведений членов

наших рядов
a 0 b0 a1 b 0 z a 2 b 0 z 2 
a 0 b1 z a1b1 z 2 a 2 b1 z 3 
a 0 b2 z 2 a1 b 2 z 3 a 2 b2 z 4 
   
Суммируя элементы этой матрицы по диагоналям, получим
 

 k k =
a z
k =0
 b k
z k

k =0

= a 0 b0 + ( a 0 b1 + a1b0 ) z + ( a 0 b2 + a1b1 + a 2 b0 ) z + ... =  c k z k ,
2

k =0
k
где c k =  a s bk −s .
s =0
Таким образом, в результате перемножения двух степенных
рядов снова получается степенной ряд.
Деление.
 
Будем искать частное двух степенных рядов b
k =0
k zk a
k =0
k zk

также в виде степенного ряда, считая а0  0, то есть

b0 + b1 z + b2 z 2 + b3 z 3 + ...
= c + c z + c z 2
+ c z 3
+ ... .
a 0 + a1 z + a 2 z + a 3 z + ...
2 3 0 1 2 3

Это означает, что

b0 + b1 z + b2 z 2 + b3 z 3 + ... = ( c 0 + c1 z + c 2 z 2 + c 3 z 3 + ...) 
 ( a 0 + a1 z + a 2 z 2 + a 3 z 3 + ...) =
= a 0 c 0 + ( a 0 c1 + a1 c 0 ) z + ( a 0 c 2 + a1 c1 + a 2 c 0 ) z 2 + ...
Приравнивая коэффициенты при одинаковых степенях z, будем
иметь:
при z 0 : a 0 c 0 = b0 , откуда находится c 0 = b0 a 0 ;
при z 1: a 0 c1 + a1 c 0 = b1, откуда находится c1 = ( b1 − a1 c 0 ) a 0 ;
при z2 : a 0 c 2 + a1 c1 + a 2 c 0 = b2 , откуда находится
c 2 = ( b2 − a 2 c 0 − a1 c1 ) a 0 .
Так рекуррентно можно найти любое количество коэффициентов
сk. Общая рекуррентная формула имеет вид
k −1
 
c k =  bk −  c s a k −s  a 0 .
 s =0 
Из этой формулы становится ясным смысл требования а0  0.
Разложение аналитических функций в ряд Тейлора
Теорема 1. Пусть f ( z ) является аналитической функцией в
круге | z − a |  R . Тогда внутри этого круга она может быть
представлена в виде ряда

f (k ) (a)
f (z) =  ( z − a)k ,
k =0 k!
который равномерно сходится в круге | z − a |  r  R .
Этот ряд называется рядом Тейлора.
z r
R'
a
R

C
 Возьмем любое r < R и рассмотрим круг | z − a |  r  R (см. рис.).
Возьмем R  такое, что r  R   R и рассмотрим окружность
| z − a | = R  , которую в дальнейшем будем брать в качестве контура
С, по которому идет интегрирование.
Пусть | z − a |  r , а |  − a | = R . Тогда имеем:
1 1 1 1
= =  =
 − z ( − a) − ( z − a)  − a z − a
1−
−a
k
1   z−a 
=  
 − a k =0   − a 
 ,
где использовано выражение для суммы геометрической прогрессии.
Ряд сходится, так как | ( z − a ) (  − a ) |  1. Тогда
f ( )  f ( )
=  ( z − a) k k +1
. (5)
 − z k =0 ( − a )
В силу аналитичности f ( z ) она ограничена внутри круга | z − a |  R ,
то есть внутри этого круга | f ( z ) |  M  + . Учтём еще, что на
контуре интегрирования С имеет место равенство |  − a | = R . Тогда

  k
f ( ) M  r 

k =0
( z − a)k
( − a) k +1
     + ,
R  k =0  R  
так как r R   1 . Поэтому, по признаку Вейерштрасса, ряд в (5)
сходится равномерно, и его можно почленно интегрировать:

1 f ( ) k 1 f ( )
 d =  ( z − a)  k +1
d .
2i C  − z k =0 2i C ( − a)
Вспоминая формулы Коши для аналитической функции и для
производных от нее, получим

f (k ) (a)
f (z) =  ( z − a)k ,
k =0 k!
что и требовалось доказать.
Теорема 2. Любой степенной ряд является рядом Тейлора своей
суммы.

Доказательство. Возьмем степенной ряд c
k =0
k ( z − a)k и

обозначим его сумму через f ( z ) :



k
c (
k =0
z − a ) k
= f ( z ).
Так как внутри круга сходимости степенной ряд можно почленно
дифференцировать любое число раз, то

f  ( z ) =  c k k ( z − a ) k −1 ,
k =1

f  ( z ) =  c k k ( k − 1)( z − a ) k −2 ,
k =2
…

f (n)
( z ) =  c k k ( k − 1)...( k − n + 1)( z − a ) k −n .
k =n
 Полагая во всех этих формулах z =a, получим
f ( a ) = c 0 , f  ( a ) = c1 1!, f  ( a ) = c 2  2!, … , f ( n ) ( a ) = c n n!,
то есть вообще

f (k ) (a) f (k ) (a)
ck = , f (z) =  ( z − a)k ,
k! k =0 k!
что и доказывает теорему.