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

Баскаков Несобственные интегралы 2014

.pdf
Скачиваний:
5
Добавлен:
12.11.2022
Размер:
1.05 Mб
Скачать

b

f (x) dx + f (z) dz = 2πiK ,

(7.1)

a

C

 

где K – сумма вычетов функции f (z) в области D (рис. 7.1).

Таким образом, вопрос

 

вычисления интеграла по ин-

 

тегралу (a; b) сводится к вы-

 

числению интеграла по кон-

 

туру C с помощью формулы

 

(7.1).

 

Если интервал (a; b) сов-

Рис. 7.1

падает с (−∞; +∞) , и функция

 

f (x) определена всюду на (−∞; +∞) , то поступают следующим образом. Пусть R – некоторое положительное число. Дополним интервал (R; R) контуром CR , как мы поступали выше, и повторим предыдущие рассуждения, тогда равенство (7.1) превратится в

R

f (x) dx + f (z) dz = 2πi KR .

(7.2)

R

 

CR

 

 

Заметим, что при

R → ∞ интеграл R

f (x) dx

стремится к ис-

 

 

R

 

 

ходному, и при некоторых условиях, о которых мы будем говорить ниже, интеграл f (z) dz 0 , R → ∞, а правая часть соотноше-

CR

ния (7.2) остается постоянной при достаточно больших R.

 

Условия, о которых мы здесь упомянули, вытекают из следую-

щих лемм.

 

 

 

 

 

 

 

Лемма 7.1 (Жордана). Пусть d – некоторое положительное чис-

ло;

{R }

 

– последовательность положительных чисел,

R → ∞;

 

n n=1

 

 

 

 

 

функция

g(z) имеет лишь

конечное число особых

точек, а

CR

={z :

 

z

 

= Rn , Im z > −d} (рис. 7.2). Тогда если

 

 

 

 

n

 

 

 

lim sup g(z) = 0 , то lim

g(z)eiλz dz = 0

 

 

 

 

 

 

 

 

 

 

 

 

n→∞ z CR

n→∞

 

 

 

 

 

 

 

n

 

CRn

 

 

 

 

 

 

 

 

 

 

 

для любого λ > 0.

21

Замечание. Данную лемму обычно используют в более слабой

форме: в условиях леммы из равенства lim sup g(z) = 0 следует

 

R→∞ z CR

 

Rlim→∞

g(z)eiλz dz = 0 .

(7.3)

 

CR

 

Сделав замену переменной p =iz , можно получить следующую формулировку леммы Жордана.

Рис. 7.2 Рис.7.3

Лемма 7.1. Пусть d 0 и γR ={p : p = R; Re p < d} . Тогда если

lim sup g(z) = 0 , то для любого λ > 0

R→∞ p γR

 

 

 

 

 

 

 

 

Rlim→∞ g( p)epλ dp =0 .

(7.4)

 

 

 

 

 

 

 

 

 

 

γR

 

 

 

 

 

 

Если сделать замену p = −p ,

то получаем следующую формули-

ровку леммы Жордана.

 

 

 

 

 

 

Лемма 7.1′′. Пусть d 0 и γR ={z :

 

z

 

= R, Re z ≥ −d}

(рис. 7.3).

 

 

Тогда если lim sup

 

 

g(z)

 

= 0 , то для любого λ < 0

 

 

 

 

 

R→∞ z γR

 

 

 

 

 

Rlim→∞ g( p)epλdp =0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

γR

}

 

 

 

 

 

Пусть C

={z :

 

z

 

= R, Im z

 

 

 

 

 

 

 

 

0 .

 

 

 

 

 

На основании вышеизложенного сформулируем следующее.

22

Утверждение 7.1. Пусть функция f (x) определена на (−∞; +∞) ,

а ее аналитическое продолжение

f (z)

имеет лишь конечное число

особых точек {μ

}n

в области Im z > 0 и, крометого,

 

 

K

k =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Rlim→∞

f (z) dz = 0 .

 

 

(7.5)

Тогда

 

 

 

 

CR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

f (x) dx = 2πi

n

Res f (z) .

 

 

 

 

 

 

 

 

 

 

 

 

 

zk

 

 

 

 

 

−∞

 

 

 

 

k =1

 

 

 

 

Если функция

f (x)

определена на (−∞; +∞) всюду,

за исклю-

чением точек x1 , x2 , …,

xl , то для вычисления интеграла

 

 

 

+∞

 

 

 

 

 

x1 −ρ

 

 

 

(V .P.)

 

f (x) dx = Rlim→∞

 

 

 

 

 

 

limρ→0

f (x) dx +

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

x2 −ρ

 

 

 

 

xl −ρ

 

 

R

 

 

 

+ f (x) dx +... +

f (x) dx +

f (x) dx

 

(7.6)

 

1

 

 

 

 

l

1

 

 

l

 

 

 

x

 

 

 

 

x

 

 

x

 

 

 

имеет место следующее утверждение.

Утверждение 7.2. Пусть аналитическое продолжение f (z) функции f (x) имеет в области Im z > 0 конечное число особых точек μ1 , …, μn и пусть выполняется соотношение (7.5). Тогда

 

+∞

 

n

 

 

l

 

(V .P.)

f (x) dx = 2πi

+ πi

(7.7)

Res f (z)

 

Res f (z) .

 

 

zk

 

z=xk

 

 

−∞

 

k =1

 

 

k =1

 

Замечание. Достаточным условием для выполнения соотношения (7.5) является следующее:

 

lim max

 

zf (z)

 

= 0 .

 

 

 

R

→∞ z CR

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

+∞

 

x +1

 

 

 

 

 

−∞

 

 

 

 

dx .

 

 

(x2 +1)(x2 + 4)

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

 

z +1

аналитична в полуплоскости

(x2 +1)(x2 + 4)

 

Im z 0 всюду, за исключением двух полюсов первого порядка

23

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z1 = i

 

и z2 = 2i . Заметим также,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что f (z)

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ским

 

продолжением подынте-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

гральной функции. Через CR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обозначим контур

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{

 

z

 

= R, Im z 0, R > 2}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(рис.7.4).

 

 

Покажем,

что

 

 

 

 

 

Рис. 7.4

 

 

 

 

 

 

 

 

 

 

 

lim max

 

zf (x)

 

= 0 .

 

 

 

 

Действи-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R→∞

z CR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тельно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zf (z)

 

=

 

 

z(z +1)

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

Reiϕ(Reiϕ +1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z2 +1)(z2 + 4)

 

 

z=Re

iϕ

 

(R2 e2iϕ +1)(R2e2iϕ + 4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R2 (1 +1/ R)

 

 

 

 

 

 

 

 

 

 

1+1/ R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eiϕ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

=1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R4 (1

+1/ R2 )(1+ 4 / R2 )

 

R2 (1+1/ R2 )(1+ 4 / R2 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 max

 

zf (z)

 

 

 

 

 

 

 

 

1+1 / R

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R2 (1 +1 / R2 )(1+

4 / R2 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z CR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

lim max

 

z(z +1)

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

1 +1 / R

 

 

 

 

 

 

 

 

 

= 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z2 +1)(z2 +4)

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

4

 

 

 

 

 

 

R→∞ z CR

 

 

R→∞

R

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

+

 

 

 

 

 

 

 

1+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

2

 

 

R

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim max

 

zf (z)

 

= 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R→∞ z CR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Используя утверждение 7.2, получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2πi Res f (z) + Res f (z)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) dx =

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z =2i

 

 

 

 

 

 

 

 

z=i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

24

 

z +1

 

 

 

i +1

 

 

 

 

Res f (z) =

(z +i)(z2

+4)

 

=

(z i)

 

6

z=i

 

 

 

 

 

 

 

 

 

 

 

z=i

 

 

 

 

 

 

и

Res

z=2i

 

 

z +1

 

 

1

+ 2i

 

 

 

 

 

 

f (z) =

(z2

+1)(z + 2i)

 

= −

.

 

 

12i

 

 

(z 2i)

 

 

 

 

 

 

 

z=2i

 

 

 

 

 

 

 

 

 

 

Таким образом,

+∞

i +1

 

1 +2i

 

π

 

 

 

 

f (x) dx = 2πi

 

 

 

 

=

 

.

 

 

 

 

−∞

 

6i

 

12i

 

6

 

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

Рассмотрим пример вычисления интегралов вида

+∞eikx f (x) dx ,

λ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ cos3x dx

 

 

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

 

 

 

 

 

 

 

 

. Поскольку

(x

2

+9)

2

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

cos3x

 

= Re

 

 

e3iz

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x2 +9)2

 

 

(z2 +9)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z {z: Im z=0}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

введем вспомогательную функцию

f (z) =

 

e3iz

,

которая имеет

 

(z2 +9)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

z1 =3i , z2 = −3i

– полюса второго порядка и

z3 =∞ – существенно особая точка. При

 

R > 3 выбираем контур

γR =CR [R; R] с направлением обхода против часовой стрелки

(рис. 7.5).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Имеет место равенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e3iz dz

=

 

e3iz dz

+

 

R

 

e3ix

 

 

 

 

 

dx = J1 (R) + J2 (R) .

(z2 +9)2

(z2 +

9)2

 

(x2 +9)2

 

 

 

 

 

 

 

 

 

 

γR

 

 

CR

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

25

Рис. 7.5

Так как

 

 

 

lim max

 

 

 

 

 

1

 

 

 

 

 

 

 

= lim

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

=

0 ,

 

 

 

 

 

 

 

 

 

(z2 +9)2

 

 

 

 

 

(R2 +9)2

 

 

 

 

 

 

 

 

 

 

 

R→∞

z CR

 

 

 

 

 

 

R→∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то по лемме Жордана lim J1 (R) =0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e3iz

dz

 

 

 

 

 

 

 

 

 

 

R

 

 

 

e3ix dx

 

 

 

 

 

 

+∞

 

 

e3ix

dx

 

 

 

 

 

Rlim→∞

 

 

 

 

 

 

= Rlim→∞

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

.

 

 

(7.8)

(z2 +9)2

 

 

(x2 +9)2

 

 

 

 

(x2 +9)2

 

 

 

 

 

γR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим, что интеграл

 

 

e3iz dz

 

 

 

не зависит от R (при R > 3 ).

 

(z

2

+

9)

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

γ

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вычислим его с помощью теории вычетов. Имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Res f (z) = Res

 

 

 

 

e3iz

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(z2 +

9)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z=3i

 

 

 

 

 

 

 

 

 

 

z=3i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

e3iz

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

 

 

 

(z 3i)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

(z +

3i)

2

(z 3i)

2

 

 

 

 

 

 

 

 

 

 

 

 

z3i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

d

 

 

 

 

e

3iz

 

 

 

 

 

=

20

 

 

e9 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz

 

 

 

 

 

 

 

 

 

 

 

2

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z3i

(z +3i)

 

 

 

 

 

 

 

9 i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

e3ix dx

 

 

 

 

+∞ cos3x dx

 

 

 

 

 

+∞ sin 3x dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

+i

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

(x

2

+9)

2

 

(x

2

+9)

2

 

(x

2

+9)

2

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

то из равенства (7.8) следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ cos3x dx

 

 

 

 

+∞

 

e3ix

dx

 

 

 

 

 

 

 

 

 

 

20

 

 

 

 

 

 

 

 

9

 

 

 

40π

 

9

 

 

 

 

 

 

= Re

 

 

 

 

 

 

 

 

 

 

= Re

 

 

 

 

 

2πie

 

 

 

 

=

 

 

 

 

e

 

,

 

2

+9)

2

(x

2

+9)

2

 

 

3

i

 

 

 

9

3

 

−∞ (x

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ sin 3x dx

 

 

 

 

 

 

 

 

 

+∞

 

 

e3ix

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= Im

 

 

 

 

 

 

 

 

 

 

 

 

=

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x

2

 

+9)

2

 

(x

2

 

+

9)

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

26

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теперь из четности подынтегральной функции

 

cos3x

окон-

 

(x2 +9)2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

чательно получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞ cos 3x dx

 

1

+∞ cos 3x dx

 

20π

 

9

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

=

 

 

e

 

.

 

 

 

 

(x

2

+9)

2

2

 

 

2

+9)

2

9

3

 

 

 

 

 

0

 

 

 

−∞ (x

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J = +∞

sin x

dx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

В качестве вспомогательной рассмотрим функцию f (z) =

eiz

,

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обладающую особенностью при z = 0 . Контур интегрирования выбираем, как на рис. 7.6, с учетом обхода особой точки z = 0 .

Рис. 7.6

Контур C имеет вид C =CR [R; r] C2 [r; R] . Тогда по теореме Коши

 

 

 

 

r

 

+ + R

+ = 0 .

 

 

 

 

 

R

 

C2

r

CR

 

Из леммы

Жордана

 

следует,

что Rlim→∞ eziz

dz = 0 , так как

 

 

 

 

 

 

 

 

CR

 

g(z) =1/ z 0

на

CR при R → ∞ ( z = Reiϕ ) равномерно относи-

тельно arg z ( lim sup

 

1 / z

 

= 0 ).

 

 

 

 

 

 

 

 

R→∞ z CR

 

 

 

 

 

 

 

 

 

 

 

 

 

Для оценки

рассмотрим лорановское разложение функции

 

CR

 

 

 

 

 

 

 

 

f (x) в окрестности точки z = 0 :

 

 

 

27

ez /2

f (z) = 1

1

+iz +

(iz)2

+...

= 1 + p(z) ,

2

 

 

2

 

z

 

 

 

где p(z) непрерывна в точке z = 0 . Откуда получаем, что

eiz

dz =

dz

+ p(z) dz =

C

z

C

z

C

r

 

r

r

 

 

=0 reiϕi dϕ +o(1) = −iπ+o(1) ,

π reiϕ

где o(1) – бесконечно малая при r 0 . Тогда теорема Коши запишется в виде

r

eix dx

 

+

R

eix

dx

=iπ+o(1)

(7.9)

 

 

 

R x

 

 

 

r

 

x

 

 

 

при r 0 , R → ∞.

 

 

 

 

 

 

 

 

 

 

 

Заменив в первом интеграле x на (x) , получаем

 

 

r eix dx

 

 

 

 

= −R eix dx .

 

 

 

 

 

 

 

 

R

x

 

 

 

x=−x

 

r

x

 

 

 

 

 

 

 

 

 

 

Соединив со вторым интегралом равенства (7.9), получим

R

eix eix

dx =iπ+o(1) , r 0 , R → ∞.

x

r

 

Переходя к пределу при r →∞, R → ∞, получаем

J = +∞

sin x

dx =

π .

 

0

x

2

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

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

+∞

x/2

dx

 

J (x) =

e

.

x

+1

−∞

e

 

В качестве вспомогательной введем функцию f (z) = ez +1 .

Особые точки этой функции будут определяться из уравнения

* Звездочкой помечены примеры повышенной трудности.

28

ez +1 =0 , ez = −1 , zk = Ln(1) = ln1 +iπ(1+ 2k) =iπ(1+ 2k) , k .

Так как все особые точки zk лежат на мнимой оси, то контур вида γR =CR [R, R] при R → ∞ будет содержать внутри себя все

большее количество особых точек. Поэтому в качестве контура выберем прямоугольник с вершинами R, R , R + 2πi , R + 2πi (рис. 7.7). Этот прямоугольник при любом R > 0 содержит внутри себя лишь одну изолированную особую точку z = πi – полюс 1-го порядка. Тогда

Res f (z) =

eπi/2

.

eπi

zi

 

Рис. 7.7

Используем теорему о вычетах

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

πi/2

 

 

 

 

 

 

 

 

 

 

+ + + = 2πi

e

,

 

 

 

 

 

 

 

 

 

 

iπ

 

 

 

 

 

где

 

 

 

 

I

II

 

III

 

 

 

IV

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

e

x/2

dx

 

 

 

 

 

 

 

 

 

 

R

e

( x+2πi)/2

 

 

 

 

 

 

R

e

x/2

dx

 

=

 

 

;

 

 

=

 

 

 

 

 

 

dx

= −eiπ

 

.

 

 

 

x

1+e

x+2πi

 

 

x

I

R

1+e

 

 

II

 

R

 

 

 

 

 

 

 

 

 

R

1 +e

На отрезке II и IV соответственно имеем

 

 

 

 

 

 

 

 

 

II:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

( R+iy )

 

 

 

 

 

eR/ 2

 

 

 

eR/ 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z)

 

=

 

 

 

e

2

 

 

 

 

 

 

=

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

IV:

 

 

 

 

 

 

1 + eR+iy

 

eR

1

1eR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z)

 

=

 

e1/ 2(R+iy )

 

 

eR/ 2

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 +eR+iy

 

1eR

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

29

Следовательно, при R → ∞ оба

 

и

стремятся к нулю. Тогда

 

 

 

 

 

 

II

 

IV

 

 

 

 

 

 

 

(1 eπi ) R

ex/2 dx

+ o(1) = −2πieπi/2 ,

 

 

 

 

 

x

 

 

 

 

 

 

R 1 + e

 

 

 

 

 

 

 

 

 

 

 

 

а в пределе при R → ∞ получаем искомый интеграл

 

 

 

 

+∞

ex/2 dx

= π

 

 

2i

 

 

=

π

= π .

 

 

 

 

x

e

πi/ 2

e

−πi/ 2

sin π / 2

 

 

 

 

−∞

1 + e

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

J (x) = e−πx

 

dx .

 

 

 

 

 

 

 

 

sh πx

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

В качестве вспомогательной функции выбираем

f (z) =

 

eiz

 

.

e2

πz 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим, что удвоенная ее мнимая часть на оси x равна подынтегральной функции. В качестве контура интегрирования используем представленный на рис. 7.8. При этом в данном контуре функция f (z) имеет две особые точки z = 0 , z = i .

Рис. 7.8

Так как f (x +i) =e1 f (x) , то интегралы по верхней и нижней границам можно объединить, т.е.

+ = (1+ e1 )R f (x) dx .

I1 III r

Интеграл по отрезку II1:

{0 y 1, x = R} при R → ∞ стремится к

нулю (пример 7.4*). На

отрезке IV: {0 y 1, x =0} полагаем

z =iy . Тогда по теореме Коши

30