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

При рассмотрении определенного интеграла как предела интегральных сумм предполагалось, что подынтегральная функция, во-первых, задана на конечном отрезке и, во-вторых, ограничена. Данное выше определение определенного интегра­ла не имеет смысла при невыполнении хотя бы одного из этих условий. Нельзя разбить бесконечный интервал на конечное число отрезков конечной длины; при неограниченной функции интегральная сумма не имеет предела. Тем не менее возможно обобщить понятие определенного интеграла и на эти случаи, с чем и связано понятие несобственного интеграла.

Определение. Пусть функция f (x) определена на промежутке [ а, +) и интегрируема на любом отрезке [ a, R ], R > 0, так что интеграл

имеет смысл. Предел этого интеграла при R называется несобственным интегралом с бесконечным пределом интег­рирования:

Если этот предел конечен, говорят, что несобственный ин­теграл (7.16) сходится, а функцию f (x) называют интегри­руемой на бесконечном промежутке [ а, ); если же предел в (7.16) бесконечен или не существует, то говорят, что несобст­венный интеграл расходится.

Аналогичным образом вводится понятие несобственного интеграла по промежутку (-, b ]:

Наконец, несобственный интеграл с двумя бесконечными пре­делами можно определить как сумму несобственных интегра­лов (7.16) и (7.17):

где с — любое число.

Геометрический смысл несобственного интеграла первого рода заключается в следующем: это площадь бесконечной об­ласти (рис. 7.8), ограниченной сверху неотрицательной функ­цией f (x), снизу — осью Оx, слева — прямой х = а.

Рассмотрим несколько примеров несобственных интегра­лов.

Здесь пришлось разделить исходный интеграл на два и к каж­дому из них применить определение несобственного инте­грала.

Пример 4. , где α — некоторое положительное число.

Решение. Рассмотрим разные случаи для числа α.

1. При α = 1 для любого R > 0 имеем

т.е. конечного предела не существует и несобственный интег­рал расходится.

2. При α ≠ 1 для любого R > 0 получаем

Следовательно, данный интеграл сходится при α > 1 и рас­ходится при α ≤ 1.

В приведенных выше примерах сначала с помощью пер­вообразной вычислялся интеграл по конечному промежутку, а затем осуществлялся переход к пределу. Между тем если для функции f (x) существует первообразная F(x) на всем проме­жутке интегрирования [ а,), то по формуле Ньютона-Лейб­ница

Отсюда следует, что несобственный интеграл существует (схо­дится) в том и только в том случае, когда существует конеч­ный предел

и тогда можно записать:

Аналогичный вывод справедлив и для несобственных интегра­лов вида (7.17) и (7.18):

Иными словами, формула Ньютона-Лейбница (основная фор­мула интегрального исчисления) применима и в случае, когда пределы интегрирования бесконечны.

Дата добавления: 2014-10-15