Ряды

Тейлора и Лорана.

Лекция 5.
 Ряд Тейлора.
 Пусть функция w = f(z) аналитична в
области D,z 0  D. Обозначим L окружность
с центром в z0, принадлежащую области
D вместе с ограниченным ею кругом.
Тогда для любой точки z, лежащей
1 f (t )
внутри L, f (z)   dt
2i tz
L
 Ряд Тейлора.
1
 Представим множитель в виде tz
суммы сходящейся геометрической
прогрессии: 1  1

1

1

tz t  z0  (z  z0 ) t  z0 z  z0
1
t  z0
| z  z0 |
(так как | z – z0| < | t – z0| , то q 1
| t  z0 |
 2 3    z  z n
1  z  z0  z  z0   z  z0   1
 t  z 0   t  z 0 
 0
  1      ... 
t  z0  t  z0  t  z0   t  z0 
  n0

и ряд сходится абсолютно

 Ряд Тейлора.
 Почленно проинтегрируем
n
1 f (t ) 1 f (t ) 
 z  z0 
f ( z)  
2i L t  z
dt 
2i L t  z0
   dt 
n 0  t  z0 



1 f (t ) f ( n ) ( z0 )
  dt  ( z  z 0 ) n
  n!
( z  z0 ) n
n  0 2i L (t  z 0 )
n 1
n 0

1 f (t )dt f ( n) ( z 0 )
так как 
2i (t  z 0 ) n  1
dt 
n!
L

f ( n) ( z 0 )
В результате получаем f ( z)   (z  z0 ) n
n0
n!
 Ряд Тейлора.
 Ряд в правой части этого равенства –
ряд Тейлора функции f(z). Этот ряд
абсолютно сходится внутри контура L,
а в качестве L можно взять любую
окружность, которая не выходит за
пределы области D.
Доказана Теорема о разложении
функции в ряд Тейлора.
 Ряд Тейлора.
 Если функция w = f(z) аналитична в области
D, z 0  D, то функция f(z)может быть разложена
в ряд Тейлора по степеням (z – z0)n. Этот ряд
абсолютно сходится к f(z) внутри круга | z –
z0| < r, где r - расстояние от z0 до границы
области D (до ближайшей к z0 точке, в которой
функция теряет аналитичность). Это
разложение единственно.
 Единственность разложения следует из того,
что коэффициенты ряда однозначно
выражаются через производные функции.
 Стандартные разложения.
 n
1. z 2 z3 zn z
z
e  1 z    ...   ...  
2! 3! n! n0
n!
3 5 7 2 n 1  2 n 1
z z z z z
2. sin z  z     ...  (1) n  ...   (1) n
3! 5! 7! (2n  1)! n0
(2n  1)!
2 4 6 2n  2n
z z z z z
3. cos z  1     ...  (1) n
 ...   (1) n
2! 4! 6! (2n)! n0
(2n)!

4. z3 z5 z7 z 2 n 1  z 2 n 1
sh z  z     ...   ...  
3! 5! 7! (2n  1)! n  0 ( 2n  1)!
5. z2 z4 z6 z 2 n 1 
z 2n
ch z  1     ...   ...  
2! 4! 6! (2n  1)! n0
(2n)!

Все эти ряды сходятся к своим функциям на всей

плоскости (при z  C
).
 Стандартные разложения.

1
6.  1  z  z  z  ...  z  ...   z n
2 3 n
1 z n0

1
 1  z  z  z  ...  (1) z  ...   (1) n z n
2 3 n n
7. 1 z n0


1 2 4 6
 1  z  z  z  ...  z 2n
 ...   z 2n
8. 1 z2 n0

ряды сходятся при | z| < 1.

Ближайшие к центру разложения z0 = 0 точки, в
которых функции теряют аналитичность (граница
области D) - это точки , в которых соответствующие
функции неопределены. 
1
9.
 1  z 2  z 4  z 6  ...  z 2n  ...   (1) n z 2n
1 z2 n0
 Стандартные разложения.
 В действительном случае ряд перестаёт
сходиться к f(x) при , ведь f(x)
определена на всей действительной
прямой. В комплексном случае это
проясняется – на окружности | z | 1
расположены точки z   i , в которых
f(z) не определена.
 Стандартные разложения.
1 1 2
f ( z )  , f ( z )   , f ( z )  ,
z 1 ( z  1) 2
( z  1) 3

3 2 4 3 2
f ( z)  
( 4)
, f ( z) 
( 5)
, ...,
( z  1) 4
( z  1) 5

( n) n 1 (n  1)! f ( n) ( z 0  0)
f ( z )  (1) ,.. n 1 1
( z  1) n  (1) 
n! n

10. z2 z3 z4 n 1 z
n
ln(1  z )  z     ...  (1)  ... 
2 3 4 n
 n  n 1
z z
  (1) n 1   (1) n
n 1 n n 0 n 1
 Стандартные разложения.
Рассмотрим биномиальный ряд для функции f ( z )  (1  z ) 
Это общая степенная функция f ( z )  (1  z )   e  ln(1 z ) ,
дальше находим производные
1
f ( z )  e  ln(1 z )
     e ln(1 z )  e ln(1 z ) 
1 z
   e ( 1) ln(1 z ) , f (0)   аналогично
(  1) ln(1  z ) 1
f ( z )    e  (  1)  
1 z
 ln(1  z )
   (  1)  e ( 1) ln(1 z )  e    (  1)  e (  2 ) ln(1 z ) ,
 (  1)(  2)...(  n  1) n

11. (1  z )  1  n!
z , | z | 1
n 1
 Ряд Лорана.
 Пусть функция f(z) аналитична в кольце  | z  z 0 | R
 Тогда для любой точки этого кольца
1 f (t ) 1 f (t )
f (z) 
2i  tz
dt 
2i  tz
dt
LR L
при этом окружности проходятся так, что
область остаётся слева.
Изменим в интеграле по внутренней окружности
направление обхода на противоположное:
1 f (t ) 1 f (t )
f ( z)  
2i LR t  z
dt  
2i L z  t
dt
 Ряд Лорана.
 Интеграл по внешней окружности
преобразуем
1 1 1 1
   
t  z t  z0  (z  z0 ) t  z0 z  z0
1
t  z0
 zz  zz 2) 3    z  z n
1   z  z  1
  1   ...  
0 0 0  0
    
t  z0  t  z0  t  z0
   t  z0   t  z 0 n  0  t  z 0 

| z  z0 |
Так как | z – z0| < | t – z0|, то q 1
| t  z0 |

ряд сходится абсолютно, поэтому его можно

почленно интегрировать:
 Ряд Лорана.
n
1 f (t ) 1 f (t ) 
 z  z0 

2i LR t  z
dt 
2i LR t  z0
   dt 
n 0  t  z0 

 
1 f (t )
  dt  ( z  z 0 ) n
  An ( z  z 0 ) n

n  0 2i LR (t  z 0 )
n 1
n 0

где
1 f (t )
An  
2i L (t  z 0 ) n  1
dt , n  0, 1 ,2, 3,...
R
 Ряд Лорана.
 Интеграл по внутренней окружности
преобразуем аналогично
1 1 1 1
   
z  t z  z 0  (t  z 0 ) z  z 0 t  z0
1
z  z0
1  t  z0  t  z0 
2
 t  z0 
3  1   t  z0 
n
  1         ... 
    
z  z0  z  z0  z  z0   z  z0   z  z 0 n 0  z  z 0 
 
 Ряд Лорана.
 ряд сходится абсолютно, поэтому
его можно почленно интегрировать
 n
1 f (t ) 1 f (t )  t  z0  1 1 n

2i L z  t
dt    
 

2i L z  z 0 n  0  z  z 0 
dt   n  1

2i L f ( t )  ( t  z 0 dt 
)
 n  0 (z  z0 ) 


 A n 1  A n
  n 1
  n
n  0 (z  z0 ) n 1( z  z 0 )

где
1
A n   f (t )  (t  z 0 ) n 1 dt
2i
L
 Ряд Лорана.
 Переобозначим n  , nтогда форма
коэффициентов ряда для L совпадёт с
формой коэффициентов ряда для LR
1 f (t )
An  
2i L (t  z 0 ) n  1
dt , n  0,  1, 2,...;


окончательно для интеграла по L


получим 1

f ( t )
dt   An ( z  z 0 ) n
2i L z  t n  1

 Ряд Лорана.
 
f ( z )   An ( z  z0 )   An ( z  z0 ) n 
n

n 0 n  1
  
A n
  An ( z  z0 )  
n
  An ( z  z 0 ) n

n   n 1 ( z  z 0 ) n
n0
 Этот ряд (содержащий и положительные, и
отрицательные степени z – z0), называется рядом
Лорана функции f(z).
 Ряд Лорана.
 Часть, содержащая 
неотрицательные степени  n
n
A ( z  z 0 )
n0
называется правильной.
 Часть, содержащая отрицательные
степени  A ( z  z ) n   A n
 n 0  n
n  1 n 1 ( z  z 0 )

 называется главной
 Ряд Лорана.
 Правильная часть, сходится в круге
| z – z 0| < R
 главная - во внешности круга | z  z 0 | 

 весь ряд сходится в пересечении

этих областей, т.е. в кольце
 | z  z 0 | R
Ряд Лорана.

В ряд Лорана
раскладывается функция,
аналитическая в кольце и
ширина этого кольца
определяется областью
аналитичности функции
т.е. разложение теряет
смысл там, где функция
теряет аналитичность.