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

Теория ФКП

.pdf
Скачиваний:
70
Добавлен:
13.03.2016
Размер:
1.54 Mб
Скачать

f(z) (z z )k k 1 c

k

0 c

k 1

0 ... c

1

(k

 

1)! c

k! (z-z ) c

k 1 !(z-z )2 ... .

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

1

2

 

0

Переходя в последнем равенстве к пределу при z z0 , получим

 

 

 

 

 

lim

f(z) (z z )k

k 1

c

 

 

k 1 ! Res f z

k 1 !,

 

 

 

 

 

z z0

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

т.е. в полюсе k -го порядка

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Res f

 

 

z

 

 

 

 

1

 

 

 

 

 

lim

f(z) (z z )k k 1

.

 

(5.8)

 

 

 

 

 

 

 

 

k 1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

z z0

 

 

 

0

 

 

 

Пример 5.4. Найти вычеты функции

f z

 

 

 

 

z

 

в ее особых точках.

 

ez

1

 

Решение.

Знаменатель ez 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обращается в

нуль в

точке

z0 0

и,

учитывая

периодичность функции

ez,

 

в точках

 

z

 

2 ki

k 1,

2,

.

Это и будут

особые точки функции f z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Точки

zk

2 ki

k 0, 1, 2,...

 

 

являются

 

нулями порядка

n 1

для

функции

g z ez

1, т.к.

g zk 0,

g zk 0.

Для функции z z

точка z0 0

является

нулем порядка k 1,

а точки

 

zk

2 ki

 

k 0

нулями порядка k 0. Поэтому

по теореме 5.2 точка z0 0

 

является устранимой особой точкой функции f z , а

точки zk 2 ki

k 0

‒ полюсами порядка n k 1 0 1 функции

f z .

Применяя формулы (5.5) и (5.7), получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Res f z

0,

 

Res f z

k

 

 

 

 

z

 

 

 

 

 

 

 

 

zk

 

 

2 ki

2 ki .

 

 

 

 

 

ez 1

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z zk

 

ezk

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.Применение вычетов

6.1.Применение вычетов к вычислению интегралов f z dz

L

Теорема 6.1. Пусть функция f z является аналитической в замкнутой области D

с положительно ориентированной границей L за исключением изолированных особых точек z1, z2, ,zn, лежащихвнутри D. Тогда

n

f z dz 2 i Res f zk . (6.1)

L k 1

Доказательство. Удалим из области D (рис. 25) каждую особую точку вместе с ее окрестностью (границы окрестностей обозначим L1,L2 , ,Ln ). В получившейся многосвязной области

функция будет аналитической. Применяя интегральную теорему Коши для многосвязной области, получим

z

L1 z1

Ln

zn

 

n

 

 

0

 

f z dz

 

f z dz .

Рис. 25

L

k 1

Lk

 

 

41

Из определения вычета(5.3)следует, что

f z dz 2 i Res f zk . Поэтому

 

 

 

Lk

 

 

 

 

 

 

 

n

 

 

 

n

 

 

f z dz

f z dz 2 i Res f zk .

 

 

L

k 1 Lk

 

 

 

k 1

 

 

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

z

dz

по контуру L:

 

z i

 

4.

 

 

e z 1

 

 

 

 

 

L

 

 

 

 

 

 

 

 

Решение. Контур L − это окружность с центром в точке z i и с радиусом 4 (рис. 26). В примере 5.4 мы нашли особые точки

функции f z

 

z

: это точки z 0 ,

2 i ,

4 i ,... . Из этих

e

z

 

1

 

 

точек внутрь контура L попадают точки z 0

и z 2 i . Вычеты

в этих точках были вычислены в примере 5.4. Применяя формулу (6.1), получим

L ezz 1dz 2 i Res f 0 Res f 2 i 2 i 0 2 i 4 2.

z

L

2 i

i

0

Рис. 26

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

 

e1/z2

 

 

 

 

 

 

 

dz поконтуру

 

z i

 

3/2 (рис.27).

z2 1

 

 

Решение.Контур

 

 

 

 

 

L

 

 

 

 

z i

 

3/2

естьокружностьсцентром z i

ирадиусом 3/2 (рис.27).

 

 

Подынтегральная функция

f z

имеет три особые точки

z 0, z i, z i . Внутрь

контура попадают особые точки z 0, z i .

Т. к. функция f z четная, то в разложении ее в ряд Лорана в окрестности точки z 0 нет нечетных степеней z, в частности, нет 1 . Поэтому

 

 

 

 

 

 

 

 

 

 

 

Res f 0 c 1 0.

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вычетвточке z i

дляфункциивида

z

 

вслучае,когда z0 0,

g z0 0,

g z0 0,

g z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

можно вычислить по формуле (5.7), т.е.

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

e1/z2

 

 

e1/z2

 

 

 

 

 

e 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Res

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z i

 

 

z

2

1

 

 

 

 

 

 

2i

 

 

 

 

 

 

i

 

 

 

 

 

 

 

z2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z i

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда по теореме 6.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

e1/z2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

.

 

Рис.27

 

 

dz 2 i

 

Res f 0 Res f i

 

2 i 0

 

 

 

e

 

 

 

 

 

 

 

z2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e 2i

 

 

 

L

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1/z

 

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

e

 

dz (рис.28).

z2 1

 

z

1/2

f z

 

Решение. Подынтегральная функция

имеет три особые точки

z 0,

z i, z

i . Внутрь контура попадает существенно особая точка

z 0.

Для

вычисления вычета в

этой особой точке разложим

подынтегральнуюфункцию f z вряд

вокрестности z 0 постепеням z:

z

i

L

0

i

Рис.28

42

f z e

1/z

 

 

 

1

 

 

 

 

 

1

 

 

 

 

1

1

 

 

 

 

 

1

 

1

 

 

 

 

 

1 z

2

z

4

z

6

... .

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z5

 

 

 

 

 

 

 

 

 

 

 

 

1 z2

 

 

 

z z

2

2! z33! z44!

 

 

5!

 

 

 

 

 

 

 

 

 

 

Вычислимкоэффициент c

1

при

1

: c

1

1

 

1

 

1

 

1

 

... sin1.Используяразложение

 

z3

 

z5

 

 

z7

 

 

 

 

 

 

 

 

 

 

z

 

 

 

3!

 

5!

 

7!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sinz z

 

 

... при z 1,получим

 

c

1

 

1

 

1

 

 

1

 

... sin1.Тогда

 

 

 

 

 

 

 

 

 

 

3!

5!

 

7!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

3!

5!

7!

 

 

 

 

 

 

 

 

 

 

 

e1/z

 

 

 

 

 

 

 

 

 

 

 

 

e1/z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz 2 i Rez

 

 

2 i c 1

2 i sin1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

z2 1

 

 

 

 

 

 

 

 

z 0

z2 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1/2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.2. Применение вычетов к вычислению интегралов

f x dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесьидальшенесобственныйинтегралпонимается всмыслеглавногозначения.

Теорема 6.2. Пусть1) функция

f x совпадает с f z

и непрерывна на , ,

 

2) функция

f z

 

является

аналитической в верхней полуплоскости, за

 

исключением изолированных особых точек z1, z2, ,zn,

 

 

 

 

 

 

 

3) существуют положительные числа M, R0,

такие, что

 

 

 

 

 

 

 

 

 

f z

 

 

 

M

при условии, что

 

z

 

R R .

 

 

 

 

 

(6.2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

1

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда интеграл

f x dx можно вычислить по формуле

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x dx 2 i Res f zk , где

Imzk 0.

 

 

 

(6.3)

 

 

 

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Рассмотрим замкнутый контур L, состоящий из отрезка R,R

действительной оси и

верхней полуокружности LR (рис.

29).

 

z

 

 

Выберем R настолько большим,

чтобы R R0 и особые точки

 

 

 

 

 

LR

z1, z2, ,zn попали внутрь контура L. По теореме (6.1)

 

 

 

 

z1

z2

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn

 

 

 

f z dz 2 i Res f zk .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R 0

 

R

 

 

 

L

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

Рис. 29

 

С другой стороны, по свойству аддитивности интеграла

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z dz

f z dz f z dz.

 

 

 

 

 

 

 

 

 

 

 

 

L

 

R,

R

LR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сравнивая эти два равенства и учитывая, что z x на отрезке R,R , получим

 

 

R

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x dx

f z dz 2 i Res f zk .

 

 

 

 

 

(6.4)

 

 

 

R

 

LR

 

k 1

 

 

 

 

 

 

M

 

 

M

 

 

 

 

На полуокружности LR

по условию теоремы

 

f z

 

 

 

 

, а по свойству

 

 

 

 

 

z

 

1

R1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

43

 

 

f z dz

 

 

M

 

M

R и >0.

об оценке интеграла

 

 

R

1

R

R

 

0 при

 

LR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому равенство (6.4) в пределе при R примет вид:

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

f x dx 2 i Res f zk .

 

 

 

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

Следствие.Пустьфункция f z

Pk z

 

естьотношениедвухмногочленов, n k 1 и

Qn z

 

 

 

 

 

 

 

 

 

z1, z2, ,zN естьнулизнаменателя Qn z ,лежащиевверхнейполуплоскости.Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

N

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x dx 2 i Res f zk .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Запишем функцию f z

Pk z

 

в виде

 

 

 

Qn z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z

P

z

a zk a zk 1 ... a

k

 

 

 

 

 

 

zk a0

a1z 1 ... akz k

1

z ,

k

 

 

 

 

 

0

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Qn z

b0zn b1zn 1 ... bn

 

 

zn b0

b1z 1 ... bnz n

zn k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a0

 

a1z 1 ... akz k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

z b0

 

b1z 1 ... bnz n .

 

 

 

 

 

Так как lim z

a0

 

,то

 

z

 

M приусловии,что

 

 

z

 

R . Поэтому

 

 

 

 

 

 

z

 

 

b0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f z

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

, где n k 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n k

 

 

z

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и можно применить теорему 6.2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

dx

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2 1

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx

 

 

 

 

 

 

 

 

 

1

 

 

 

dx

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

x2 1

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 x2 1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

Функция f z

 

1

 

 

 

 

есть отношение двух многочленов, в верхней полуплос-

z2 1 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

кости имеет одну особую точку z i , поэтому по следствию к теореме 6.2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

dx

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

2 i

Res

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

2 1

3

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

2

 

 

 

 

 

 

z i z2 1

 

 

 

 

 

Для функции f z

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

точка z i

является полюсом третьего по-

z2 1 3

z i 3 z i 3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рядка.Поэтомудля вычислениявычетавоспользуемсяформулой (5.8):

44

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3 4

 

 

 

 

 

 

 

1

 

 

1

 

1

 

ilim

6 i

 

3 .

I i Res

 

 

 

i

lim

 

 

z i 3

 

 

 

 

z

 

1

 

 

 

 

z i 5

2i 5

z i

2

3

 

2! z i

z i 3 z i 3

 

 

2 z i

 

 

 

16

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.3. Применение вычетов к вычислению интегралов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I1 f x eiax dx,

I2 f x cosaxdx,

I3 f x sinaxdx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим, что eiax cosax isinax. Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I1

 

f x eiax dx

f x cosaxdx i f x sinaxdx I2 i I3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I2 ReI1,

I3 ImI1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x eiax dx .

Следовательно,достаточноразобратьсясвычислениеминтеграла I1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для этого воспользуемся следующим результатом (доказательство опустим).

Лемма Жордана. Пусть на полуокружности R :

 

z i y0

R,

 

Imz y

 

 

 

 

 

 

функция f z аналитична и

 

f z

 

R , где R 0

 

0

 

 

при R . Тогда

 

 

f z eiazdz 0 при R и a 0.

R

Замечание

Приведенную формулировку леммы Жордана можно распространить еще на несколько случаев. Итак, лемма Жордана справедлива, если в ней

 

 

 

 

1) a 0,

 

 

 

z i y0

 

R,

3)

a i 0 ,

 

 

 

 

z x0

R,

 

 

 

 

R :

 

Imz y

 

,

R :

Rez x

,

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

2) a 0,

 

 

 

z i y0

 

R,

4)

 

a i 0 ,

 

 

 

 

 

z x0

 

R,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R :

 

Imz y

 

,

 

R

:

 

 

Rez x .

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x eiax dx .

 

Применим лемму Жордана к вычислению интеграла I1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 6.3. Пусть1) функция

f x

совпадает с f z и непрерывна на , ,

2)

 

функция

f z является

 

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

верхней

 

полуплоскости, за

исключением изолированных особых точек z1, z2,

,zn,

 

 

 

 

 

 

 

 

 

 

 

 

3)

 

f z

 

R

на полуокружности

 

 

z

 

R,

причем R 0

при R .

 

 

 

 

 

 

R :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Imz 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда интеграл

 

f x eiaxdx можно вычислить по формуле

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x

eiaxdx 2 i

n

 

 

f z eiaz , где Imz

 

 

 

 

 

 

 

 

 

(6.5)

 

 

 

 

 

 

 

Res

k

0,

a 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

z z

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

45

Доказательство. Рассмотрим замкнутый контур , состоящий из отрезка R,R

действительной оси и верхней

 

полуокружности

 

R

(рис.

30).

 

 

 

z

 

 

Выберем R

 

настолько

большим,

 

 

 

чтобы

 

особые

точки

 

 

 

 

 

 

 

 

 

 

 

 

R

z1, z2, ,zn попали внутрь контура .

 

По теореме (6.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z1

z2

 

 

f z eiazdz 2 i Res f z eiaz .

 

 

 

 

 

 

 

 

 

 

 

zn

 

 

 

 

 

 

 

 

 

 

 

 

k 1 z zk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R 0

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

С другой стороны, по свойству аддитивности интеграла

 

 

 

 

 

 

Рис. 30

 

 

 

 

 

f z eiazdz

 

 

f z eiazdz f z eiazdz .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R, R

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сравнивая эти два равенства и учитывая, что z x

на отрезке R,R , получим

 

 

R

f x

eiaxdx

 

f z eiazdz 2 i

n

 

 

 

f z

eiaz .

 

 

 

(6.6)

 

 

 

 

 

 

 

 

 

Res

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z z

k

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

k 1

 

 

 

f z

 

 

 

 

 

На полуокружности

 

R

по условию

теоремы

 

функция

удовлетворяет

условиям леммы Жордана при y0 0, поэтому из леммы Жордана следует, что

 

 

 

 

 

 

 

 

 

f z eiazdz 0 при R и a 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда равенство (6.6) в пределе при R примет вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x eiaxdx 2 i

n

 

f

 

z eiaz .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

Res

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие. Пустьфункция

f z

Pk z

 

 

естьотношение двухмногочленов, где k n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Qn z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и z1, z2, ,zN

естьнулизнаменателя Qn z ,лежащиевверхнейполуплоскости.Тогда

 

 

 

 

 

 

 

f x eiaxdx 2 i

 

 

N

 

 

 

f

z eiaz , a 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Res

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Запишем функцию f z

Pk z

 

в виде

 

 

 

 

 

 

 

 

 

Qn z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P z

 

 

a

0

zk

a zk 1 ... a

k

 

 

 

zk a0 a1z 1 ... akz k

 

 

1

 

 

 

 

f z

 

k

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z ,

 

 

Qn z

b0zn b1zn 1 ... bn

 

 

zn b0 b1z 1 ... bnz n

zn k

 

 

где z a0 a1z 1 ... akz k .b0 b1z 1 ... bnz n

Так как lim z

a0

,то

 

 

z

 

 

 

M

 

приусловии,что

 

z

 

R. Поэтому

 

 

 

 

 

z

b0

 

 

 

 

 

 

 

 

1

 

 

 

 

 

M

 

 

 

 

 

 

 

f z

 

 

 

 

 

z

 

 

R .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n k

Rn k

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как n k 0, то R 0 при R , и можно применить теорему 6.3:

46

1

 

f x eiaxdx 2 i

n

Res f z eiaz .

 

 

 

 

 

z z

k

 

 

 

 

 

 

k 1

 

 

 

 

 

cosaxdx

a 0,

b 0 .

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

x

2

b

2

 

0

 

 

 

 

 

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

cosaxdx

cosaxdx

eia xdx

I

x2 b2

21

x2 b2

21 Re

 

.

x2 b2

0

 

 

 

 

 

 

Функция f z z2 b2 есть правильная дробь, у которой знаменатель в верхней полуплоскости имеетодин ноль z bi, поэтому по следствию к теореме 6.3 имеем:

 

 

 

 

 

 

 

 

 

iax

 

 

 

 

 

 

 

 

eia z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

2

 

dx2 2 i Res

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

b

 

z bi z

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вычетвточке z bi дляфункциивида

z

вслучае,когда z0 0,

g z0 0, g z0 0,

g z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

можно вычислить по формуле (5.7), т.е. Res

 

 

eiaz

 

 

 

 

eiaz

 

 

 

 

 

e ab

.

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z bi

 

z

2

b

 

 

 

z

 

 

 

 

 

2bi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 b2

z bi

 

 

 

 

 

 

 

 

 

 

 

 

 

Окончательно,получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cosax

 

eia x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

ia z

 

 

 

 

e

ab

 

 

 

 

ab

 

 

 

I

2

 

2 dx 1Re

 

 

 

 

 

dx 1Re

2 i Res

 

 

 

 

 

 

Re i

 

 

 

e

 

 

 

.

 

 

b

 

2

b

2

z

2

b

2

2bi

 

 

 

 

0 x

 

2

x

 

 

 

 

 

2

 

 

z bi

 

 

 

 

 

 

 

2b

 

 

 

 

 

 

Заметим, что здесь неприменима теорема 6.2 для функции f z

cosaz

 

, т.к.

 

cosz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z2 b2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

быстро возрастает для

z

 

R0 и функция

f z не удовлетворяет условию (6.2).

 

 

 

7. Операционное исчисление

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

7.1. Понятие оригинала и его изображения

Комплекснозначная функция f t u t iv t вещественного аргумента t

называется оригиналом, если она удовлетворяет следующим условиям: 1)функция f t кусочно непрерывна, т.е. на любом конечном интервале может

иметь лишь конечное число точек разрыва первого рода;

2)f t 0 при t 0;

3)f t растет не быстрее показательной функции, т.е. существуют такие числа

M 0 и s 0 , при которых

f(t)

 

M est .

(7.1)

 

47

Точную нижнюю грань s0 тех значений s , для которых справедливо неравенство

(7.1),называют показателем роста оригинала

f t ).

 

 

 

 

 

t 0

 

 

 

t

 

 

 

 

0,

(рис.31) является ори-

 

 

 

 

Пример 7.1. Функция Хевисайда (t)

 

 

 

 

 

 

t 0

 

1

 

 

1,

 

 

 

гиналомспоказателемроста s 0, таккак t 1 e0 t .

 

 

 

 

0

 

 

0

 

 

t

Замечание. Пусть некоторая функция t

удовлетворяет усло-

 

 

 

 

 

 

 

 

 

 

Рис. 31

виям 1 и 3 определения оригинала, но не удовлетворяет условию 2,

т.е. функция t 0 для t 0. Умножив эту функцию на t , мы "зануляем"

функцию t

для

t 0 и не изменяем

ее

для t 0. Тогда произведение

0,

t 0,

будет оригиналом. Вдальнейшеминогдадлясокращениязапи-

t (t)

 

t , t 0

 

 

 

 

 

 

 

 

 

 

сибудемписать t

вместо t t .

 

 

 

 

 

2

 

Пример 7.2. Функции

f(t) 1t t , g t et

t

не являются оригиналами, т.к.

первая функция в точке t 0 имеет разрыв второго рода, вторая функция не удовлетворяет соотношению (7.1).

Пример 7.3. Показать, что функции f(t) e a bi t t , g t ta t

a 0 являют-

ся оригиналами и найти их показатели роста.

 

 

 

 

 

 

Решение.Функция f t непрерывнавсюду,крометочки t

0; f t 0

при t 0 и

 

 

 

 

 

 

 

f(t)

 

 

 

e a bi t

 

 

 

eat ebit

 

eat

 

ebit

 

eat .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

Поэтому функция

 

f

является оригиналом с показателем роста s0 a , если

a 0, и с показателем роста s0 0, если a 0.

 

 

 

 

 

 

Функция g t непрерывнавсюду, g t 0 при t 0

и длялюбого 0 имеем:

 

 

 

lim

 

ta

 

0

 

 

 

 

 

g t

 

 

 

ta

 

M e t,

s inf : 0 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t e t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому функция g t является оригиналом с показателем роста s0 0.

 

 

 

 

 

 

 

 

 

 

 

 

Свойства оригиналов

 

 

Пусть f t есть оригинал с показателем роста s1 ,

g t есть оригинал с пока-

зателем роста s2 . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)

f1 t f t g t

 

есть оригинал с показателем роста s max s1,s2 ,

2)

f2 t f at

a 0

есть оригинал с показателем роста as1,

 

3)

f3 t f t t 0 есть оригинал с показателем роста s1 ,

4)

f

4

t t f t

0

есть оригинал с показателем роста s ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5)

f5 t f d есть оригинал с показателем роста s1 .

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

48

Действительно,

функции

 

f1 t , f2 t ,

f3 t , f4 t , f5 t

кусочно непрерывны и равны

нулю при t 0,

т.е. удовлетворяют первому и второму условиям определения

оригинала. Проверим выполнение для них третьего условия:

 

 

 

 

f

t

 

 

 

 

 

f t

 

 

 

g t

 

M es1t M

2

es2t M est

M

2

est M est

,

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

где M M1 M2, s max s1,s2 ,

 

 

 

 

 

 

 

 

 

 

 

f2 t

 

 

 

 

 

 

 

 

f at

 

M es1 at M e s1a t

a 0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f3 t

 

 

 

 

 

 

 

f t t

 

 

 

f t

 

M es1 t

M es1t ,

 

 

 

 

 

 

 

 

 

 

 

 

f

4

t

 

t

 

f t

 

 

 

e t M es1t

M e s1 t, s inf s s ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

t

t

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f5 t

 

 

 

f d

 

 

f

 

d M es1 d M es1t d M es1tt M e s1 t .

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

Перейдем к понятию изображения.

Изображением оригинала f t называется функция F p , связанная с ори-

гиналом f t равенством:

 

 

f t e ptd t .

 

 

F p

(7.2)

 

0

 

 

Тот факт, что F p

есть изображение для f t , будем символически запи-

сывать так: f t F p

или F p f t .

Несобственный интеграл,

стоящий в

правой части равенства (7.2), часто называют интегралом Лапласа для функции f t . Переход от оригинала f t к изображению F p называют преобразова-

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

Теорема 7.1. (о существовании и аналитичности изображения)

Пусть оригинал f t

имеет показатель роста s0 . Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)вобласти Re p s0 изображение F p существует,т.е.интеграл f t e ptdt

сходится,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) в области Re p

s0 интеграл f t e ptd t

сходится равномерно,

3) изображение F p

0

 

 

 

 

 

 

 

 

 

 

является аналитической функцией в области Re p s0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1). Пусть p s i . Учитывая,что

 

f(t)

 

M es0t ,получим:

 

 

 

 

 

f t e pt

 

 

 

f t

 

 

 

e st i t

 

M es0t

 

e st

 

 

 

e i t

 

 

M es0t e st Me s0 s t

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

49

 

 

 

 

 

 

 

 

 

 

 

 

 

pt

 

 

 

 

 

 

pt

 

 

 

 

 

 

 

s0 s t

 

 

 

 

 

e s0 s t

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

 

f t e

 

 

 

 

f t e

 

 

 

 

 

 

 

 

M

 

 

 

 

d t

 

 

 

 

 

 

 

dt M e

 

 

dt

s0 s

 

t 0

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда в области s Re p s0

(рис. 32) будем иметь:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s s 0,

e s0 s t

0 при t ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p

 

 

 

 

 

t e

pt

 

 

 

e

s0 s t

 

t

 

 

 

 

1

 

 

 

 

M

,

 

 

(7.3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

d t

M

 

 

 

 

 

 

 

 

M

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s0 s

 

t 0

 

 

 

s0

s

 

s s0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f t e ptd t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е. интеграл F p

 

сходится.

 

 

 

 

 

 

 

 

 

 

 

 

Im p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2). В области s Re p s0

будемиметь: s0 s s0 0,

 

 

 

 

 

 

 

 

 

 

 

 

s0 t

 

 

 

 

f t e pt

 

Me s0 s t Me s0 t ,

 

s0

t

 

 

 

 

1

 

 

 

 

 

s0

Re p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функция e

 

не зависит от

 

 

и интеграл

 

 

 

 

 

 

 

 

 

Рис.32

 

 

p

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

s0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f t e ptd t

 

 

сходится. Поэтому по признаку Вейерштрасса интеграл

 

 

сходится

 

равномерно в области Re p .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3). Пусть произвольный замкнутый контур в области Re p s0.Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F p dp dp f t e ptdt f t dt e ptdp.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

e pt

 

 

Здесь мы поменяли порядок интегрирования. Так как функция

является

 

аналитической,

то e ptdp 0 и поэтому F p dp 0. Кроме того, можно пока-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

зать, что функция

 

F p является непрерывной (обоснование этого опустим).

 

Тогда из теоремы Морера (п. 3.3), обратной к теореме Коши, следует, что

 

функция F p является аналитической.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следствие. Пусть оригинал f t

имеет показатель роста s0

и f t F p . Тогда

 

1)

 

F p

 

 

 

 

 

 

M

 

 

Re p s0 ,

 

2)

 

 

 

lim

F p 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Re p s0

 

 

 

 

 

 

 

 

 

Re p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действительно, первое утверждение следует из соотношения (7.3), а второе утверждение следует из первого.

Пример 7.4. Найти изображение функции Хэвисайда t .

Решение. Порядок роста функции t равен s0 0 и, следовательно, изображе-

ние существует, когда Re p 0. По определению

 

t

 

e

ptdt e pt

 

 

 

 

 

 

 

 

 

F p

e ptdt

 

1

 

lim e pt e0

 

 

1

.

 

 

 

 

 

 

p

 

 

p t

 

 

p

 

0 1

 

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

50