Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Лекции математика / 04 Лекции 15 Функции комплексного переменного

.pdf
Скачиваний:
64
Добавлен:
02.04.2015
Размер:
444.44 Кб
Скачать

функция w = f (z) A0

может иметь только конечное число нулей или во-

все их не иметь.

 

 

Например,

для

функции f (z) = ez таким исключением является

A = 0 (уравнение

ez = 0 не имеет корней); для функции f (z) = cos z и

f (z) =sin z не существует исключений, то есть уравнения

cos z = A, sin z = A

имеют бесконечное множество решений для всех A , в том числе и для

A = 0.

Из основной теоремы алгебры следует, что многочлен n -ой степени можно представить в виде произведения n линейных множителей.

Аналогично, если f - целая функция, отличная от многочлена, то в

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z) = f (0)eBz e z zk

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где B =

f (0)

 

и функция

 

f

имеет только однократные нули z , z

2

,..., z

n

,...

 

 

 

 

f (0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Например,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin z

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(20)

 

 

 

 

 

 

 

 

 

 

 

=

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

π

2

 

 

2

2

π

2

 

 

2

π

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4z

2

 

 

 

 

4z

2

 

 

 

 

 

 

 

4z

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos z =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(21)

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

π

 

1

 

 

π

 

2 1

5

π

2 ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sh z

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(22)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

= 4 1 +

π

 

1

2

π

 

 

1 +

 

3

π

2 ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Раскроем скобки в равенстве (20)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

2

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

1

+

 

2

 

+

 

 

2

 

+

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

1

+

 

 

 

 

2

 

+

 

2

+... +...

 

 

sin z = z 1

π

2

 

 

 

 

+... = z

 

π

 

2

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

Сравнивая коэффициенты при

 

z3

с коэффициентами при z3 в равенстве

(17) получим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

=

 

 

 

1

+

 

+

 

 

 

+...

;

 

 

 

 

6

 

π 2

22

32

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

откуда следует известное равенство

 

 

 

 

 

 

 

 

 

 

1

+

 

1

+

1

+... +

 

1

 

 

+... =

π

2

.

2

2

32

 

n2

 

6

 

 

 

 

 

 

 

 

 

 

 

 

2. Определение ряда Лорана

Рядами Тейлора представляются функции, аналитические в кругах. Однако часто приходится рассматривать функции, аналитические в концентрических кольцах

V ={z r < z a < R},

где 0 r < R . Такие функции представляются рядами вида

 

c2

 

 

 

c1

 

 

 

 

 

 

... +

 

 

+

+ c0 + c1 (z a) +... =

cn (z a)n ,

(1)

(z a)

2

 

 

 

 

z a

 

 

n=−∞

 

 

 

которые называются

рядами Лорана

(П. Лоран, - французский

математик).

 

 

 

 

 

 

 

 

 

 

 

 

Ряд (1) называется сходящимся в точке

z ,

если в этой точке

сходятся ряды

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f1 (z) = cn (z

a)n ,

 

 

 

(2)

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

1

cn

 

 

 

 

 

 

 

f2 (z) = cn (z a)n

=

 

 

;

(3)

 

 

 

 

 

a)

n

 

 

 

 

 

 

n=−∞

n=1 (z

 

 

 

при этом комплексное число

f (z) = f1 (z) + f2 (z)

называется суммой ряда Лорана.

Ряд (2), называемый правильной частью ряда Лорана, является степенным рядом и, следовательно, сходится в некотором круге z a < R .

Ряд (3), называемый главной частью ряда Лорана, является степенным рядом относительно переменной ξ = z 1 a и поэтому сходится

в некотором круге ξ < ρ , то есть в области z a > ρ1 = r .

Если r < R , то ряд (1) будет сходиться в кольце r < z a < R с центром в точке a .

3. Разложение аналитической функции в ряд Лорана

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

Справедливо и обратное утверждение: функция f , аналитическая в круговом кольце V ={z r < z a < R}, разлагается в нем в ряд Лорана.

Покажем, что для коэффициентов cn ряда Лорана (1) с суммой f (z) справедливы формулы:

 

1

f (z)

 

 

cn =

 

 

dz, (n = 0,

±1,± 2,...) ,

(4)

2πi

(z a)n+1

 

 

Cρ

 

 

 

 

где

r < ρ < R и

Cρ

 

={z

 

 

 

z a

 

= ρ} - окружность радиуса

 

 

 

 

точке a .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для этого умножим обе части равенства

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z) = cn (z a)n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=−∞

 

 

 

 

 

на

1

 

(z a)m1

и проинтегрируем по окружности Cρ :

 

2πi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

f (z)

 

 

 

1

 

 

nm1

 

 

 

 

 

 

 

 

 

 

 

 

 

=

cn

 

(z a)

dz

 

 

 

 

 

 

 

 

(z a)

m+1

 

 

 

 

 

 

 

 

2πi Cρ

 

 

 

 

dz

n=−∞

2πi Cρ

 

 

 

 

На основании формулы (11) §4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

(z a)nm1 dz =

1, n = m,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0, n m.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2πi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Cρ

 

 

 

 

 

 

 

 

 

 

Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

f (z)

 

= cm ,

(m = 0, ±1, ± 2,...) .

 

 

 

 

 

2πi

 

(z a)m+1 dz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Cρ

 

 

 

 

 

 

 

 

 

 

 

 

ρ с центром в

(5)

.

Или меняя m на n , получим требуемые формулы (4).

Замечание 1 . Если в ряде (5) возьмем z = a + eiϕ , то получим

ряд:

F(ϕ) = f (a + eiϕ ) = cneinϕ

n=−∞

Ряд (6) является рядом Фурье функции F , записанным в комплексной форме

Во многих случаях заданную аналитическую функцию можно разложить в ряд Лорана с помощью элементарных преобразований, не прибегая к вычислению интегралов (4). Покажем это на примерах.

Пример 1 . Разложить функцию

f (z) = z(11z)

в ряд Лорана в кольце:

а) 0 <

 

z

 

<1;

б)

 

z

 

<1.

 

 

 

 

Решение. Воспользуемся тождеством

1

=

1

+

 

1

z(1 z)

z

1 z

 

 

а) Здесь z <1, поэтому:

1 1 z =1 + z + z2 +...

откуда получаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

=

1 +1 + z + z2

+...

 

 

 

 

(6)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z(1 z)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

Главная часть ряда Лорана (6) состоит из одного члена, правильная

часть – из бесконечного числа членов.

 

 

 

 

 

 

 

 

 

б) Здесь

 

z

 

>1, то есть

1

 

<1; поэтому:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

1

 

 

1

 

1

 

1

 

1

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −

 

 

 

 

 

 

 

 

 

 

= −

1 +

 

+

 

+...

= −

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

1

 

 

z2

 

z2

z3

 

 

1 z

 

z

1

 

 

z

 

 

z

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Откуда

1

= −

1

1

...

1

...

(7)

z(1 z)

z2

z3

zn

 

 

 

 

 

В ряде (7) отсутствует правильная часть, а главная часть состоит из бесконечного числа членов.

Замечание 2 .

а) Из формулы (4) и равенства (6) следует:

1

 

 

dz

1, n ≥ −1,

 

 

 

 

= 0, n ≤ −2,

2πi

z

zn+2(1z)

 

 

=ρ

 

 

где 0 < ρ <1.

б) Из формулы (4) и равенства (7) следует:

1

 

 

 

dz

1, n ≤ −2,

 

 

 

 

 

=

 

2πi

 

n+2(1z)

0, n ≥ −1,

 

z

 

=R z

 

 

 

 

 

где R >1.

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

(8)

(9)

Определение 1 . Точка a C называется изолированной особой точкой функции f , если существует такое R > 0, что функ-

ция f аналитична в кольце 0 < z a < R , но не определена в точке a .

Пусть a - изолированная особая точка функции f . Разложим функцию f в кольце 0 < z a < R в ряд Лорана.

cn

 

 

f (z) =

 

+ cn (z a)n .

(10)

(z a)

n

n=1

 

n=0

 

В зависимости от количества членов в главной части ряда Лорана различают три типа изолированных особых точек:

1)устранимая особая точка;

2)полюс;

3)существенно особая точка.

1). Устранимая особая точка – это изолированная особая точка z = a , для которой ряд Лорана (10) не содержит главной части, то есть имеет вид:

 

f (z) = cn (z a)n

(11)

n=0

Ясно, что для устранимой особой точки существует конечный предел

lim f (z) = c0 .

za

Например, точка z = 0 является для функции f (z) = sinz z устранимой осо-

бой точкой, так как

lim sin z =1.

z0 z

2). Полюс m -го порядка – это изолированная особая точка z = a , для которой главная часть ряда Лорана содержит m членов, то есть:

f (z) =

 

 

 

cm

 

 

 

+... +

c1

 

 

+ c

0

+ c (z a) +...,

 

 

(12)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z a)m

 

 

 

 

z a

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

причем cm 0 , а среди чисел cm+1,...,c1 могут быть равные нулю.

 

При m =1 полюс называется простым.

 

 

 

 

 

 

 

 

 

 

 

 

 

Например, для функции

 

f (z) =

ez

точка

z = 0

является полюсом

 

z2

второго порядка, ибо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ez

1

 

 

 

z

 

 

z2

 

 

z3

 

 

 

 

 

1 1 1 z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 =

 

 

2

+

 

 

 

+

 

 

+

 

 

 

 

 

 

 

 

2

+

 

+

 

 

+

 

 

+...

 

 

z

z

1

1!

2!

 

3!

 

+... =

z

2!

3!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

Перепишем равенство (12) в следующем виде:

 

 

 

 

 

 

 

 

f (z) =

 

 

 

1

 

 

 

 

(c

m

+ c

m+1

(z a) +...)=

 

 

g(z)

 

,

(13)

 

(z a)m

 

(z a)m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где g(z) = cm + cm+1 (z a) +... является аналитической функцией в кольце

0 < z a < R .

Из равенства (13) следует, что точка z = a для функции f является полюсом m -го порядка тогда и только тогда, когда

lim f (z)(z a)m = cm

(14)

za

 

где cm 0 и cm ≠ ∞. Ясно, что lim f (z) = ∞.

za

Покажем, что если функция ϕ имеет точку z = a нулем m -го по-

рядка, то функция f = ϕ1 имеет эту точку полюсом m -го порядка.

В самом деле, так как по определению нуля m -го порядка

ϕ(z) = (z a)m g(z), (g(a) 0) ,

то для функции f

f (z) =

1

,

(z a)m g(z)

будет выполняться равенство (14), то есть точка z = a - полюс m -го порядка функции f .

3). Существенная особая точка – это изолированная особая точка z = a , для которой главная часть ряда Лорана (10) содержит бесконечно много членов.

Существенно особая точка функции f характеризуется тем, что не

существует предела lim f (z) .

za

Например, точка z = 0 - существенно особая точка функции

1

f (z) = e z , так как

1

 

 

1

 

1

 

 

1

 

 

e

z

=1 +

+

 

+

 

+...

z

2!z2

3!z3

 

 

 

 

 

 

 

Взяв z = x получим:

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

lim e

x

= ∞,

lim e

x

= 0

 

x→+0

 

 

 

x→−0

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

то есть предел lime z не существует.

z0

Заключение.

Основу этой лекции составила интегральная формула Коши, которая позволяет функцию комплексного переменного раскладывать в ряд Тейлора в односвязных областях. Для разложения функций в ряды, аналогичные рядам

Тейлора, в двусвязных областях ,используются ряды Лорана.

На следующей лекции будут даны применения рядов Лорана к вычислению определенных интегралов.

Введение.

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

1. Вычет функции в изолированной особой точке. Вычисление вычетов.

Определение 2 .

Вычетом функции f в изолированной

точке a C называется интеграл res f (z) ,

 

 

 

 

 

 

 

 

 

 

z=a

 

 

 

 

 

 

res f (z) =

1

 

 

f (z)dz,

 

(0 < ρ < R)

2πi

 

z=a

 

za

 

=ρ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(от латинского слова residu – остаток).

 

 

 

 

 

 

Укажем формулу для вычисления res

f (z) в зависимости от харак-

тера изолированной точки z = a .

 

 

 

 

 

z=a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для этого разложим функцию

f в ряд Лорана в кольце 0 <

 

z a

 

< R . На

 

 

основании формулы (4) при n = −1 будем иметь:

c1 = res

f (z) =

1

 

f (z)dz ,

2πi

z=a

 

 

 

 

 

 

 

 

 

 

za =ρ

для любого ρ , удовлетворяющему условию 0 < ρ < R . 1). Для устранимой особой точки имеем:

res f (z) = 0 ,

z=a

так как в этом случае отсутствует главная часть ряда Лорана, то есть c1 = c2 =... = 0 .

2). Для простого полюса на основании формулы (14) имеем:

res f (z) = lim(z a) f (z) .

(15)

z=a za

3). Для полюса порядка m вычет получим следующим образом:

функцию g(z) = (z a)m f (z) = cm + cm+1 (z a) +... + c1 (z a)m1 +...

про-

дифференцируем m 1 раз и перейдем к пределу при z a : откуда

 

c1 = res f (z) =

1

lim((z a)m f (z))m1.

(16)

 

z=a

(m 1)! za

 

4). Для вычисления вычета в существенно особой точке формул, аналогичным формулам (15) и (16) не существует и надо находить главную часть ряда Лорана.

Следующие примеры даны соответственно случаям 1)-4):

1)

res

sin z

=

 

1

 

 

 

 

 

 

 

 

 

 

sin z dz = 0, (ρ > 0) ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z=0

z

 

 

 

2πi

 

 

z

 

=ρ

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2)

res

 

 

 

1

 

 

 

=

 

 

 

 

 

1

 

 

 

 

 

 

1

 

 

dz = −1, (0 < ρ <1) ;

z(1 z)

 

2πi

 

z(1 z)

 

z=0

 

 

 

 

 

 

 

 

z

 

=ρ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

z

 

 

 

 

 

3)

res

e

 

=

 

 

 

 

 

 

 

 

 

 

 

dz =1,

 

(ρ > 0) ;

2

 

2πi

 

 

 

 

 

 

 

2

 

 

z=0

z

 

 

z

 

=ρ

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

1

 

 

 

4)

res ze

 

=

 

 

 

 

 

 

 

 

 

 

ze

 

dz =

,

 

(ρ > 0) .

z

 

 

 

 

 

 

 

 

 

 

z

 

2πi

 

 

 

 

 

 

2

 

 

z=0

 

 

 

 

 

 

 

 

z

 

=ρ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Основная теорема о вычетах

Под основной теоремой о вычетах понимается следующая теорема.

Теорема 1 . Если функция f аналитична в замкнутой области

E , за исключением конечного числа изолированных особых точек a1,a2 ,..,an , принадлежащих области E , то