Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
TERECSHENKO.pdf
Скачиваний:
61
Добавлен:
05.06.2015
Размер:
611.32 Кб
Скачать

 

 

z0 G / G

 

 

 

 

ρ

 

 

 

 

Gρ

 

 

 

 

Рис. 3.3.

 

 

Замечание.

Из

теоремы Коши следует, что

в

односвязной области интеграл

z

 

 

 

 

F(z) = ò f (η)dη ,

где

f(z) аналитическая в области

G

является аналитической в G и

z0

 

 

 

 

F(z) = f (z) . Функция, производная которой равна заданной функции f (z), называется пер-

вообразной этой функции, следовательно F(z) одна из первообразных функций f (z). С по- мощью первообразной можно вычислить интегралы. Справедлива формула Ньютона -

Лейбница

z

ò f (η)dη=F (η) z1 = F(z1) - F(z0 ) .

z0

z0

3.4.Интегральная формула Коши

Теорема. Пусть функция f(z) аналитическая в n-связной области G и непрерывна в G ,

тогда справедлива формула Коши

 

 

 

f (z) =

1

 

 

f (η)dη

,

 

 

 

 

 

(3.6)

 

 

 

2πi

 

η - z

 

 

 

 

 

 

 

 

 

 

 

 

Г

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где Г граница области G, проходимая так, что область G остается все время слева.

 

Доказательство. Подинтегральная функция

 

f (η)

 

 

является аналитической во всех

 

η - z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точках области G относительно переменной η,

 

кроме случая, когда η = z . Построим круг

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (n)

 

радиуса r с центром в точке z. В области

G = G - Kr (Kr = {z | z - z |< r}) функция

 

явля-

η - z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ется аналитической, по теореме Коши

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (η)dη

+

 

f (η)dη

= 0 ,

 

(3.7)

 

 

 

η - z

 

η - z

 

 

 

 

 

Г

 

 

 

 

 

 

γr

 

 

 

 

 

 

 

 

 

 

 

окружность γrпроходится по часовой стрелке. Из (3.2) следует, что

 

 

 

 

 

f (η)dη

=

 

f (η)dη

= 0 ,

 

(3.8)

 

 

 

η - z

 

η - z

 

 

 

 

Г

 

 

 

 

 

 

γr+

 

 

 

 

 

 

 

 

 

 

 

На окружности γr , η - z = reiϕ , поэтому имеет место равенство

 

 

1

f (z)dη

 

 

f (x)

dη

 

f (x)

 

 

 

 

 

=

 

 

 

=

 

 

× 2πi = f (z) ,

(3.9)

 

2πi

η - z

2πi

 

η - z

2πi

 

 

γr

 

 

 

 

 

 

 

 

γr

 

 

 

 

 

 

 

 

 

 

 

PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com

Учитывая формулы (3.8), (3.9) получим

1

×

f (η)dη

- f (z) =

1

×

f (η) - f (z)

dη ,

(3.10)

2πi

η - z

2πi

η - z

 

γr

 

 

 

γr

 

 

 

Оценим интеграл, стоящий в правой части равенства (3.10):

 

1

×

f (η)dη

dη

£

1

max | f (η) - f (z) | ×

2π

= max | f (η) - f (z) | .

 

2πi

 

2π

r

 

 

η - z

 

γz

γr

 

 

 

 

Г

 

 

 

 

 

 

 

 

Так как функция

 

f(z) непрерывна на γr , то

ε > 0 ,

найдется такое δ(ε) , что

max | f (η) - f (z) |< ε , для всех | η z |< δ(ε) . Выбрав 0 < r < δ(ε)

получим, что

γr

 

 

 

 

 

 

 

 

 

 

max | f (η) - f (z) |< ε ,

γr

т.е.

lim

1

f (η) - f (z)

dη = 0 .

 

 

r→0

2πi

η - z

 

γr

С другой стороны, как видно из левой части равенства (3.10) интеграл

f (η) - f (z)

dη не

 

η - z

γr

 

 

зависит от r. Переходя к пределу в равенстве (3.10) при r → 0 , получим интегральную формулу Коши:

f (z) =

1

×

f (η)dη

.

2πi

η - z

 

 

Г

Если Г окружность с центром в точке z, | η z |= R , то по формуле Коши получим:

 

1

 

f (η)dη

 

1

2π

f (z + Reiϕ )

×i Reiϕ =

f (z) =

 

 

=

 

ò

 

 

2πi

η - z

2πi

Re

iϕ

 

Г

 

0

 

 

 

 

 

 

 

 

 

 

2π

=1 ò f (z + Reiϕ )dj. 2π 0

Учитывая, что dj = dsR , получим

f (z) = 1 f (η) × ds , ηΓ .

2πR Г

(3.11)

(3.12)

Формула (3.12) выражает теорему о среднем для аналитических функций:

Теорема. Если f(z) непрерывна в замкнутом круге и аналитическая внутри этого кру- га, то ее значение в центре круга равно среднему арифметическому значений на окружно- сти.

Интегральная формула Коши позволяет вычислять контурные интегралы. Рассмотрим не- которые примеры.

Пример. Пользуясь интегральной формулой Коши, вычислить интеграл

PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com

 

ez2

 

 

 

 

 

 

 

 

dz ,

 

 

 

 

 

 

 

z2 - 6z

 

 

 

 

 

 

если

Г

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1) Г :| z − 2 |=1;

2) Г :| z − 2 |= 3, 3) Г :| z − 2 |= 5 .

 

 

 

 

 

 

Решение: 1) В замкнутой области,

ограниченной окружностью

 

| z − 2 |=1, подинте-

гральная функция аналитическая, поэтому в силу теоремы Коши

 

ez2 dz

= 0 .

 

z

2

- 6z

 

 

 

 

|z−2|=1

 

 

 

 

 

 

 

 

 

 

2) Внутри области, ограниченной окружностью | z − 2 |= 3 , находится одна точка z=0, в которой знаменатель обращается в нуль. Перепишем интеграл в виде:

 

 

 

 

 

 

 

 

ez2 dz

 

 

 

ez2

 

 

 

 

 

 

 

 

 

 

 

 

=

 

z - 6

dz .

 

 

 

 

 

 

 

 

 

 

 

z

2

- 6z

 

 

 

 

 

 

 

 

 

 

 

 

 

|z−2|=3

 

|z−2|=3

z

 

 

 

 

 

 

Функция f (z) =

ez2

является аналитической в данной области. Применяя интегральную

z - 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

формулу Коши при z = 0, получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

z2

dz

 

 

 

 

æ

e

z2

ö

 

æ

 

1

ö

 

πi

.

 

 

 

 

 

 

 

 

ç

 

÷

 

 

 

 

 

 

 

 

 

= 2πi ×

 

 

= 2πi ×ç

-

 

÷

= -

 

 

 

z2

- 6z

 

 

6

3

 

 

 

 

 

 

ç z - 6

÷

 

è

 

ø

 

 

 

 

|z−2|=3

 

 

 

 

 

 

 

 

è

 

 

øz=0

 

 

 

 

 

 

 

 

 

3) В области, ограниченной окружностью | z − 2 |= 5 , имеем две точки z=0, z=6, в кото-

рых знаменатель подинтегральной функции обращается в нуль. Непосредственно форму- лу Коши применять нельзя.

Существует несколько способов вычисления интеграла в этом случае.

1) Построим окружности γ1 и γ2 с центрами в точках z=0, z=6 достаточно малых ра- диусов таких, чтобы окружности не пересекались и целиком лежали в круге | z − 2 |≤ 5 .

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

ez2 dz

=

ez2 dz

+

ez2 dz

.

z

2

- 6z

z

2

- 6z

z

2

- 6z

|z−2|=5

 

γ1

 

γ2

 

 

 

 

 

 

 

 

 

 

 

 

К каждому интегралу в правой части можно применить интегральную формулу Коши. В

результате получим

 

e

z2

dz

 

 

 

 

æ

e

z2

 

ö

 

æ

e

z2

ö

 

 

e

36

-1

πi .

 

 

 

 

 

= 2πi

ç

 

 

÷

+ 2πi

ç

 

 

÷

 

=

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

- 6z

ç

 

 

 

 

÷

ç

 

z

÷

 

 

 

 

 

|z−2|=5

 

 

 

 

è z

- 6

øz=0

 

è

 

øz=6

 

 

 

3

 

2) Разложим дробь

 

 

1

 

 

 

 

 

на сумму простейших дробей. Имеем

z2 - 6z

 

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

 

 

1 z - (z - 6)

 

 

1

æ 1

 

 

 

1

ö

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

=

 

 

 

 

 

 

 

=

 

ç

 

 

-

 

÷ .

 

 

 

z2

- 6z

 

z(z - 6)

 

6 z(z - 6)

 

 

6

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

è z - 6

 

 

ø

 

PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com

Подставляя в интеграл вместо дроби

1

ее разложение, получим

z2 - 6z

 

ò

ez2 dz

dz =

1

ò

ez2 dz - 1

ò

ez2 dz = 1 2πie36 - 1 2πi =

 

2

 

 

 

 

!

z - 6z

 

6

!

 

 

!

z

6

6

|z−2|=5

 

|z−2|=5 z - 6 6

|z−2|=5

=

 

e36

-1

πi.

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание. Если функция f(z) аналитическая в области G и непрерывна на ее границе Г, то для любого натурального n имеет место формула

f (n) (z) =

n!

f (η)dη

,

(2.13)

2πi

(η - z)

n+1

 

Г

 

 

 

где

z ÎGγ ,ηÎГ .

Этой формулой можно пользоваться для вычисления некоторых контурных интегралов.

Пример. Вычислить интеграл

sin πzdz

, где Г = {z || z -1|=1} .

2

Г

(z2 -1)

 

 

Решение. Подинтегральная

функция

sin πzdz

является аналитической в области

(z2 -1)2

| z −1|≤1 всюду, кроме точки z0 =1. Выделим под знаком интеграла функцию f (z), являю- щуюся аналитической в круге | z −1|≤1 . Для этого перепишем подинтегральную функцию

в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin πz

 

 

 

 

 

 

 

 

 

 

sin πz

=

(z +1)2

 

.

 

 

 

 

 

 

 

 

(z 2 -1)2

 

(z -1)2

 

 

 

Взяв в качестве f (z) =

sin πz

, полагая n =1, получим

 

 

 

 

 

(z -1)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin πz

 

dz

 

 

 

 

 

 

 

 

 

 

 

(z +1)2

 

 

¢

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 2πif

(1) .

 

 

 

 

 

 

 

(z

-1)

2

 

 

 

 

 

 

|z−1|=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Найдем производную:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¢

æ

sin πz

ö¢

 

 

 

πcos πz ×(z +1) - 2sin πz

.

 

f

 

(z) = ç

 

 

 

 

÷ =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

 

 

ç

(z +1)

÷

 

 

 

 

 

 

 

(z +1)

 

 

 

 

è

 

ø

 

 

 

 

 

 

 

 

 

Значение производной в точке z=1, равно

 

 

 

 

 

 

 

 

 

 

 

 

 

¢

 

 

 

2πcos π

 

π

 

 

 

 

 

 

f (1)

=

 

 

 

 

 

 

= -

 

.

 

 

 

 

 

 

 

 

 

23

 

 

4

 

 

PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com

Следовательно,

sin πdz

= -

π2i

.

2

2

|z−1|=1

(z2 -1)

 

 

Задачи для самостоятельного решения

3.1. С помощью интегральной формулы Коши вычислить интегралы.

а)

 

 

 

 

ezdz

 

 

;

 

 

б)

eizdz

 

;

 

в)

 

 

 

dz

 

 

 

 

;

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

 

z

2

+

 

 

 

 

z

2

+16

 

 

 

 

 

 

 

 

 

|z|=1

 

 

+ 2z

 

 

 

|zi|=1

 

 

1

 

 

 

|z|=5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г)

(2 + sin z)dz

;

д)

(ezi

+ 2)dz

 

 

 

 

е)

 

 

sin3 z + 2

;

 

 

 

 

z

2

 

+

2z

 

 

 

 

 

 

z

 

 

 

;

 

 

 

 

 

 

 

z

2

-

4p

2

 

|z|=1

 

 

 

 

 

 

 

 

 

|z|=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|z−6|=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

 

 

sin pz dz

 

 

 

 

 

sinizdz

 

 

 

 

 

 

 

ж)

 

 

 

 

 

 

 

 

 

 

 

 

; з)

!

 

 

 

 

 

 

2

 

;

и)

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z

+ 9)(z + 9)

 

ò

 

z

 

+ 2z - 3

 

 

z

 

- 4z + 3

 

 

 

 

 

 

 

|z|=4

 

 

 

 

|z−1|=2

 

 

 

 

|z|=2

 

 

 

 

 

 

 

к)

 

cos zdz

;

 

 

л)

sh2 zdz

;

 

 

м)

 

 

 

 

 

z ×dz

 

 

 

 

;

 

 

 

 

 

 

 

z

3

 

 

 

 

 

 

z

3

 

 

 

 

(z

-

2)

3

(z + 4)

 

 

 

|z|=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|z|=1

 

 

 

 

 

 

 

 

 

 

|z|=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

н)

 

 

 

1- sin z

dz ;

о)

1+ cos z

2

 

п)

 

 

 

ez2

 

+1

dz

 

;

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

z

2

 

 

 

dz ;

 

 

 

 

z

2

 

 

 

 

 

 

 

 

 

|z|=1/ 2

 

 

 

 

 

 

 

 

 

|z|=2

 

 

 

 

 

 

 

 

 

 

|z|=1/ 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р)

 

 

z2

 

+ cos z

dz ;

с)

eiz

+1

dz ;

 

 

 

 

т)

 

 

 

ez

+ sin z

dz .

 

 

 

 

 

 

 

z

3

 

 

 

z

2

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

|z|=3

 

 

 

 

 

 

 

 

 

 

 

 

 

|z|=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|z|=

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]