Вводя определенный интеграл как предел интегральных сумм, мы предполагали, что отрезок интегрирования конечный, а подынтегральная функция ограничена на этом отрезке. Если хотя бы одно из этих условий не выполнено, то данное выше определение определенного интеграла теряет смысл. Так, в случае бесконечного отрезка интегрирования нельзя разбить отрезок на п частей конечной длины, а в случае неограниченной функции интегральная сумма не имеет конечного предела. Однако и в этих случаях удается обобщить понятие определенного интеграла. В результате такого обобщения и появилось понятие несобственного интеграла.
Несобственные интегралы с бесконечными пределами интегрирования
Определение. Пусть функция определена в промежутке и интегрируема в любой его части , т. е. существует определенный интеграл при любом . Тогда, если существует конечный предел
то его называют несобственным интегралом первого рода и обозначают символом
В этом случае говорят, что интеграл (2) существует или сходится. Если же предел (1) не существует или бесконечен, то говорят, что несобственный интеграл не существует или расходится.
|
|
Аналогично интегралу (2) вводится несобственный интеграл вида
Наконец, как сумму подобных интегралов можно определить несобственный интеграл с обоими бесконечными пределами, т. е. определить его равенством
где — любое число; при условии существования обоих интегралов справа,
Легко установить геометрический смысл несобственного интеграла первого рода. Пусть . Тогда, если определенный интеграл
выражает площадь области, ограниченной сверху графиком функции , снизу осью , слева прямой , справа прямой , то естественно считать, что несобственный интеграл
выражает конечную площадь бесконечной области, ограниченной снизу осью , сверху графиком функции , слева прямой (см. рис.).
Аналогичные рассуждения имеют место для интегралов (3) и (4).
Рассмотрим несколько примеров несобственных интегралов первого рода.
Пример 1.
т. е. данный интеграл сходится.
Пример 2.
а предел функции при не существует, следовательно, интеграл расходится.
Заметим, что в рассмотренных примерах само вычисление несобственного интеграла основано на его определении.