12. ВЫЧИСЛЕНИЕ НЕСОБСТВЕННЫХ ИНТЕГРАЛОВ
+∞
Рассмотрим интегралы вида ∫ f (x)dx . Если функция f (x) , за-
−∞
данная на всей действительной оси, может быть аналитически продолжена на верхнюю полуплоскость Im z > 0 и ее аналитическое продолжение, функция f (z) , удовлетворяет следующим условиям:
f (z) аналитична всюду в полуплоскости Im z > 0 , за исключением
конечного числа изолированных особых точек; существуют такие положительные числа R, M и δ , что для всех точек верхней полуплоскости, удовлетворяющих условию | z |> R , имеет место оценка
|
| f (z) |< |
M |
, |
(12.1) |
|
1+δ |
|
|
| z | |
|
|
|
|
+∞ |
|
Тогда несобственный интеграл первого рода ∫ f (x)dx |
сущест- |
|
|
|
−∞ |
|
вует и равен: |
|
|
|
|
+∞ |
|
N |
|
∫ |
f (x)dx = 2πi∑res[ f (z), zk ] , |
(12.2) |
−∞ |
|
k =1 |
|
где zk – особые точки функции f (z) в верхней полуплоскости.
В следующих примерах вычислить интегралы по бесконечному промежутку.
Пример 12.1 ([3], № 4.140).
+∞ |
|
|
xdx |
|
|
∫ |
|
|
|
. |
(x |
2 |
+ 4x +13) |
2 |
−∞ |
|
|
|
|
|
|
|
|
Решение. Обратим внимание на то, что данный интеграл легко вычисляется и без применения методов ТФКП, а именно: выделив в скобках в знаменателе полный квадрат и сделав замену перемен-
ной (x + 2)2 = t , получим
−∞ |
|
|
xdx |
|
|
1 |
|
dt |
+∞ |
|
|
dx |
|
|
∫ |
|
|
|
= |
∫ |
−2 ∫ |
|
|
|
= |
(x |
2 |
+4x +13) |
2 |
2 |
t +9 |
(x |
2 |
+4x +13) |
2 |
+∞ |
|
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|