Интегрирование функций

комплексной переменной.
Интегральная теорема Коши.

Лекция 4.
 Интеграл от ФКП
Пусть на комплексной
плоскости С задана
Ориентированная
кусочно-гладкая 
кривая L  AB
на которой определена
функция w = f(z).
Разобьём кривую точками z0 = A, z1, z2, …, zn = B

на n частей, на каждой из дуг z k 1 z k

выберем произвольную точку tk, найдём f(tk) и

составим интегральную сумму n
 f (t k )  z k (z k  z k  z k 1 )
k 1
 Интеграл от ФКП

 Предел последовательности этих сумм

при n  , max | z k | 0
k 1, 2, n

 не зависит ни от способа разбиения кривой

на дуги, ни от выбора точек tk, называется
интегралом от функции w = f(z) по
 кривой L и обозначается
n
 f ( z )  dz  max
lim
| z k | 0
 f (t k )  z k
L k 1, 2,n
k 1
 Теорема
Если функция w = f(z) непрерывна на
кривой L, то она интегрируема по этой кривой.

z k  xk  iyk , f ( z )  u ( x, y )  iv( x, y ), t k   k  i k ,
z k  z k  z k 1  ( xk  iyk )  ( xk 1  iyk 1 ) 
 ( x k  x k 1 )  i ( y k  y k 1 )  x k  iy k ,

тогда
f (t k )z k  (u( k ,  k )  iv ( k ,  k ))(x k  iy k ) 
 (u ( k ,  k )xk  v( k ,  k )yk ) 

 i (u ( k ,  k )yk  v( k ,  k )xk )

 n
 Сумма
 f (t k )  z k
k 1
разобьётся на две
n n
 u( k ,  k )x k  v ( k ,  k )y k  i  u( k ,  k )y k  v ( k ,  k )x k
k 1 k 1

Каждая из этих сумм - интегральная сумма для

действительных криволинейных интегралов
второго рода, соответственно,
 udx  vdy и  vdx  udy
L L
 Если L - кусочно-гладкая кривая, w
= f(z) – непрерывна (тогда
непрерывны её координатные
функции u(x, y) и v(x, y)), то
существуют пределы этих сумм при
max | z k | 0
k 1,2, n

– соответствующие криволинейные
интегралы
 Свойства интеграла от ФКП.

1.   С1 f1 ( z )  С 2 f1 ( z ) dz  С1  f1 ( z )dz  С 2  f 2 ( z )dz (С1 , С 2

L L L
произвольные комплексные постоянные
2.  f ( z )dz   f ( z )dz   f ( z )dz ( L1 , L2
кривыеL1 L2без общих L1 внутренних
L2 точек
3. 
кривая,L совпадающая 
f ( z ) dz   f ( z ) dz ( L
L
с L, но проходимая в
противоположном направлении
4. Если l – длина кривой L
| f ( z ) | M , z  L то  f ( z )dz  M l
L
 Интегральная теорема Коши

1. Теорема Коши для односвязной

области
 Если D - односвязная ограниченная
область, w = f ( z) -
аналитическая в этой области
функция, то для любого кусочно-
гладкого замкнутого контура L,
лежащего в D, интеграл от f ( z)
по L равен нулю:
 f ( z )dz  0
L
Обратная теорема Морера
 если функция w =
f(z) непрерывна в
односвязной области
D и интеграл по
любому замкнутому
кусочно-гладкому
контуру, лежащему в
D, равен нулю, то
функция аналитична в
области D.
 Теорема Коши для
многосвязной области
 Если функция w = f(z)
аналитична в замкнутой
многосвязной
ограниченной области ,
ограниченной контурами
L0 (внешняя граница),
L1, L2, …, Lk, то
интеграл от f(z), взятый
по полной границе
области , проходимой
так, что область
остаётся с одной
стороны, равен нулю.
 Теорема Коши
Область D   D \ ( BG  FM )
с границей
   
   AB  BG  ( L2  GLKG ) GB  BF  FM  L1  MF  FA
односвязна, поэтому для неё справедлива
интегральная теорема Коши: 
f ( z )dz  0

Интегралы по каждому из разрезов входят в этот
общий интеграл дважды в противоположных
направлениях и, как следствие, взаимно уничтожаются,
поэтому остаются только интегралы по контурам,
проходимым так, что область остаётся с одной стороны.
 Первообразная аналитической
функции
 Для любой аналитической в области z D
функции f ( z) интеграл
F ( z )   f (t )dt   f (t )dt
 z0
z0 z
является аналитической в D функцией, и
F’(z) = f ( z).
Любая функция Ф(z) такая, что Ф’(z) = f(z),
называется первообразной функции f ( z).
Любые две первообразные отличаются не
более, чем на постоянную
 Формула Ньютона-Лейбница

 Для аналитических функций

справедлива формула Ньютона-
Лейбница, и основные приёмы
интегрирования
i
i e ii  e  ii
 sin zdz  cos z
0
0
 cos 0  cos(i )  1 
2


e   e
 1  1  ch 
2
 Теория интегралов Коши.

 Интеграл по замкнутому контуру от

аналитической функции равен
нулю. В одной-единственной точке
1
z0 введём множитель z  z
0 f (z)
Коши получил интеграл вида  dz
z  z0
L
   n
( z z ) dz
Интеграл L
0

 Точка z0 лежит вне контура L. В этом

случае подынтегральная функция
аналитична в замкнутой области,
ограниченной контуром, и интеграл
равен нулю при любых целых n.
 n  0 подынтегральная функция

аналитична, и интеграл равен нулю

 Интеграл   n
( z z 0 ) dz
L

 n = - 1, и точка z0 лежит
в области, ограниченной
контуром L. Сведём
интеграл по контуру Lк
более простому интегралу
по окружности L с
центром в точке z0
радиуса  столь
малого, что окружность L
лежит внутри L. В
двухсвязной области,
расположенной между L и
L функция f ( z )  1
dz dz z  z0
аналитична  z  z0   z  z0
L L
 2 i    2
ie n 1
 ei (  n 1) d 
dz
   d  i 
L ( z  z 0 ) n 0  n ein 0

  n 1 2 i (  n 1)

 n 1 0
 e di (  n 1) 

  n 1
i (  n 1) 2
 e 0
 n 1 0

вследствие периодичности первообразной

 n

 ( z  z 0 dz
)
при целом n не равен
L
нулю в единственном случае –
когда n = -1
тогда
dz dz
 z  z0   z  z0
 2i
L L
 Если точка z0 лежит на контуре L ,
то подынтегральная функция теряет
определенность в точке z0, и
необходима теория несобственных
комплексных интегралов
 если точка z 0  L внутри контура L
dz
lim 
z 0  L z  z0
 lim 2i  2i
z0  L
L

 если z0  L извне контура L

dz
lim   lim 0  0
z 0  L z  z0 z0  L
L
Интегральная формула Коши
 Пусть w = f(z)
аналитична в области D
и L - замкнутая кусочно-
гладкая кривая,
содержащаяся в D вместе
с областью D1, которую
она ограничивает. Тогда
для каждой точки z 0  D1
имеет место формула
1 f ( z)
f ( z0 )  
2i L z  z0
dz
 Сформулируем следствия из
теоремы
 Значения аналитической в некоторой области
функции полностью определяются её значениями
на границе этой области. Этот факт можно
сформулировать в виде теоремы о среднем.
Возьмём  такое, что окружность L радиуса  с
центром в z 0 лежит в D1. Тогда
z  z 0  e i , z  z 0  e i , dz  ie i d, | dz | d, 0    2
2
1 f ( z) 1 f ( z) 1 f ( z 0  e i )
2i L z  z0 2i L z  z0 
i
f ( z0 )  dz  dz  i
 i e d 
2i 0
e
2
1

2 
0
f ( z0  e i )d
  Теорема о среднем. Значение
аналитической функции в каждой точке
z0 равно среднему арифметическому её
значений на любой окружности с центром в
точке z0. Теорема доказана в
предположении, что точка z0 лежит внутри
контура L. Если z0 находится вне контура, то
1 f (z)
2i  z  z 0 dz  0
так как подынтегральная функция
L
аналитична в D1
 Формула справедлива и для многосвязной
области, если под кривой L подразумевать
полную границу области. В дальнейшем нам
понадобится такой вариант: f(z) аналитична
в замкнутом кольце, ограниченном
окружностями LR и L
 Бесконечная дифференцируемость
аналитической функции
 Запишем интегральную формулу Коши в
переменных z, t: f ( z )  1 f (t ) dt
2i tz
L

Продифференцируем эту формулу по z:

1 f (t )

f (z)  
2i (t  z ) 2
dt
L

2 f (t ) 3 2 f (t )
f ( z )  
2i (t  z ) 3
dt ; f ( z )  
2i (t  z ) 4
dt
L L
( n) n! f (t )
f (z)  
2i (t  z ) n  1
dt
L
 Если функция f(z) имеет в каждой
точке области D производную
первого порядка (т.е. аналитична в
области D), то она имеет в этой
области производную любого
порядка (т.е. любая производная
функции f(z) аналитична в области
D). Это свойство существенно отличает
аналитические ФКП от
дифференцируемых функций
действительной переменной.
Применение интегральных формул Коши к
вычислению интегралов.

 Запишем формулы Коши в виде

f (z)
 z  z dz  2i  f ( z 0 )
L 0 f (z) 2i
 dz  f ( n 1) ( z 0 ) (n  1, 2, 3,...)
L ( z  z 0 ) n (n  1)!
 вычисляются интегралы от функций вида
f (z)
 ( z  z 0 ) n , где f(z) - аналитическая
функция.
 Естественно, точка z0 должна лежать
внутри контура L (если она лежит вне
контура, подынтегральная функция
аналитична, и интеграл равен нулю).