Изолированные особые точки

аналитической функции.
Вычеты.
Нули аналитической функции.

Лекция 6.
 Точка а называется нулём порядка
k аналитической функции f(z), если
f (a )  f (a )  f  (a )  ...  f (k 1) (a )  0
но f ( k ) (a)  0
  Точка а – нуль k-го порядка функции
f(z), т.е.
  ( k 1) и (k )
(a )  0
f (a )  f (a )  f (a )  ...  f (a )  0 f

Тогда её разложение в ряд Тейлора имеет

вид
f ((ak)) f ((ak)1)  f (k ) f (k 1) 
k k 1 k  ( a ) ( a ) 
f (z)  (z  a)  (z  a)  ...  ( z  a )   ( z  a )  ...   ( z  a ) k  ( z )
k! (k  1)!  k! (k  1)! 
 
f ((ak)) f ((ak)1)
( z )   ( z  a )  ...
k! (k  1)!

аналитическая (как сумма степенного ряда с

тем же кругом сходимости, (что и у ряда
f (ak))
для f(z)) функция (a )  0
k!
  Пусть f ( z )  ( z  a ) k ( z ) где (z )

– аналитическая функция, и (a )  0

Находим производные этой
функции по формуле Лейбница
(uv)  u v  nu
(n) (n) ( n 1)
 2 ( n2)
 3 ( n 3) ( 3)
v  Cn u v  Cn u v 
...  Cnn2uv ( n 2)  nuv ( n1)  uv ( n )
f ( z )  k ( z  a ) k 1 ( z )  ( z  a ) k ( z ), f (a )  0

f  ( z )  k (k  1)( z  a ) k  2 ( z )  2k ( z  a ) k 1 ( z )  ( z  a ) k  ( z ), f  (a )  0

f (k ) ( z )  k (k  1)...1  ( z )  C 1k k (k  1)...2( z  a )( z )  ...  ( z  a ) k (k ) ( z ), f (k ) (a )  k!(a )  0

 Из этой теоремы следует, что если
многочлен
Pn ( z )  a 0 z n  a1 z n 1  a 2 z n  2  ...  a n 1 z  a n
 разложен на множители

Pn ( z )  a 0  z  z1  k1  z  z 2  k 2 ... z  z l  k l

то корни z1, z2, …, zl являются нулями

функции Pn (z ) кратностей,
соответственно, k1, k2, …, kl.
Изолированные особые точки.
 Точка а называется изолированной
особой точкой функции f(z), если
существует окрестность этой точки, в
которой f(z) аналитична во всех точках, за
исключением точки а.
 Рассмотрим разложение функции f(z) в ряд
Лорана 
f (z)   Ak ( z  a )
k
k  
в окрестности изолированной особой точки
а.
 Случаи разложение функции f(z)
в ряд Лорана
1. Главная часть
 ряда Лорана отсутствует
f (z)   Ak ( z  a ) k  A0  A1 ( z  a)  A2 ( z  a ) 2  ...
k 0
В этом случае особая точка а называется устранимой.
2. Главная часть содержит конечное число членов:
 A n A n 1
f ( z )   Ak ( z  a ) k    ...  A0  A1 ( z  a )  A2 ( z  a ) 2  ..., A n  0
k  n (z  a) n ( z  a ) n 1
В этом случае особая точка а называется полюсом n-го
порядка. Если n =1, полюс называется простым, в
остальных случаях - кратным.
3. Главная часть содержит бесконечно много членов.
В этом случае особая точка а называется
существенно особой точкой.
 Признаки особых точек по
значению z  a
lim f ( z )

 Для того чтобы особая точка z = a была

устранимой особой точкой функции f(z),
необходимо и достаточно, чтобы
существовал конечный предел lim f ( z )  С , C  
z a
 Для того чтобы особая точка z = a была
полюсом n-го порядка функции f(z),
необходимо и достаточно, чтобы в некоторой
окрестности этой ( z )
точки f(z) представлялась в
виде f (z) 
n где (z ) аналитическая в
(z  a)
точке а функция, (а )  0 .
 Теорема о связи нулей и
полюсов
 Функция f(z) имеет в точке z = a – полюс n-
го порядка тогда и только тогда, когда
1
f (z) функция имеет в этой точке нуль n-
го порядка.
В устранимой особой точке и в полюсе
существует (конечный или бесконечный)
lim f ( z )
z a
 Теорема Пикара
 В любой сколь угодно малой
окрестности своей существенно
особой точки функция f(z)
принимает (причём бесконечно
много раз) любое конечное
значение (за исключением,
возможно, одного).
 Вычет аналитической
функции в особой точке.
 Функция f(z) аналитична в области D за
исключением точки a. Разложим f(z) в
окрестности этой точки в ряд Лорана
 A n A n 1 A1
f ( z )   Ak ( z  a ) k  ...    ...   A0  A1 ( z  a )  A2 ( z  a ) 2  ...
k   ( z  a) n ( z  a ) n 1 z a

Коэффициент называется вычетом функции в

точке а и обозначается . Если - произвольный
кусочно-гладкий замкнутый контур,
расположенный в области D и содержащий
внутри себя точку а, то, согласно общей
формуле для коэффициентов ряда Лорана,
1
A1  res f ( z ) 
a 2i  f (t )dt

 Вычет в устранимой особой
точке равен нулю.
 Это следует из определения
устранимой особой точки: главная
часть ряда Лорана отсутствует, все
коэффициенты с отрицательными
индексами равны нулю, A-1 = 0.
 Вычеты в полюсах.
 Если а - простой полюс функции f(z),
то res f ( z )  lim  ( z  a ) f ( z )
a z a

( z )
Пусть f (z) 
( z)
где (z ) и  (z ) –
аналитические в окрестности точки а
функции. Если а – простой нуль функции  (z )
(a )
res f ( z ) 
(a )  0 то a  (a )
Основная теорема о вычетах.
 Пусть функция f(z)
аналитична во всех
точках ограниченной
замкнутой области ,
границей которой
является контур L, за
исключением конечного
числа особых точек z1,
z2, z3, …, zn,
расположенных внутри L.
n
 f ( z )dz  2i  res f ( z)
L k 1 zk
Бесконечно удалённая особая
точка.
 Будем считать точку z особой точкой
любой аналитической функции, которая
является изолированной особой точкой
аналитической функции w = f(z), если в
некоторой окрестности этой точки нет других
особых точек этой функции. Для
определения типа этой особой точки сделаем
замену переменной z  1 , точка z  
1
переходит в точку z функция w = f(z)
примет вид w  f  1   ( z )
z  1
 1