Баскаков Несобственные интегралы 2014
.pdf∫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) . |
|
|
|||||
|
|
∫ |
|
|
|
|||||||
|
|
|
|
|
|
∑ z=μk |
|
|
|
|||
|
|
−∞ |
|
|
|
|
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) . |
||||||
|
|
∑ z=μk |
|
∑ 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 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
z→3i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
= lim |
d |
|
|
|
|
e |
3iz |
|
|
|
|
|
= |
20 |
|
|
e−9 . |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
dz |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
z→3i |
(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
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 e−ix dx . |
|
|||||
|
|
|
|
|
|
|||||||
|
−R |
x |
|
|
|
x=−x |
|
r |
x |
|
||
|
|
|
|
|
|
|
|
|
Соединив со вторым интегралом равенства (7.9), получим
∫R |
eix −e−ix |
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 |
|||
z=πi |
|
Рис. 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 |
|
|
|
e−R/ 2 |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
f (z) |
|
= |
|
|
|
e |
2 |
|
|
|
≤ |
|
|
|
= |
; |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
IV: |
|
|
|
|
|
|
1 + eR+iy |
|
eR − |
1 |
1−e−R |
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (z) |
|
= |
|
e1/ 2(−R+iy ) |
|
≤ |
|
e−R/ 2 |
. |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 +e−R+iy |
|
1−e−R |
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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) =e−1 f (x) , то интегралы по верхней и нижней границам можно объединить, т.е.
∫ + ∫ = (1+ e−1 )∫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