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

Несобственный интеграл возникает, когда нарушаются условия классического интеграла Римана: либо промежуток интегрирования бесконечен, либо функция неограничена в окрестности конечной точки (имеет особенность). В таких случаях интеграл определяется как предел собственных интегралов.

Основные типы несобственных интегралов

Интеграл по бесконечному промежутку. Например, от a до +∞. Определяется как предел: ∫_a^{+∞} f(x) dx = lim_(b→+∞) ∫_a^b f(x) dx.
Интеграл от неограниченной функции в конечной точке. Если f(x) неограничена в точке b, то интеграл определяется как: ∫_a^b f(x) dx = lim_(ε→0+) ∫_a^(b-ε) f(x) dx.

Ключевое условие — существование конечного предела. Если предел конечен — интеграл сходится, если бесконечен или не существует — расходится.

Модельные примеры для исследования сходимости

Рассмотрение интегралов от степенных функций позволяет получить эталоны для сравнения.

На бесконечном промежутке:
Интеграл ∫_1^{+∞} dx / x^p сходится при p > 1 и расходится при p ≤ 1. Это связано с тем, что при p > 1 функция убывает достаточно быстро, чтобы площадь под кривой была конечной.

В окрестности нуля (особенность в 0):
Интеграл ∫_0^1 dx / x^p сходится при p < 1 и расходится при p ≥ 1. Здесь сходимость требует, чтобы функция "взрывалась" не слишком быстро.

Формальное определение и свойства

Пусть функция f(x) интегрируема по Риману на любом отрезке [a, c], где c < b, а точка b — особая (может быть +∞). Тогда несобственный интеграл определяется как предел:
∫_a^b f(x) dx = lim_(c→b-) ∫_a^c f(x) dx.

Линейность: Если интегралы от f и g сходятся, то интеграл от их линейной комбинации также сходится.
Замена переменной: Корректна, если новая переменная имеет непрерывную производную, сохраняющую направление стремления к особой точке.
Разбиение промежутка: Если на интервале (a, b) несколько особых точек, интеграл сходится тогда и только тогда, когда сходятся интегралы по всем подобъинтервалам.

Важно: при вычислениях каждый шаг (подстановка пределов, замена) требует контроля за существованием конечных пределов.

Признаки сходимости для неотрицательных функций

Для функций f(x) ≥ 0 на [a, b) справедлив простой критерий: интеграл либо сходится (имеет конечное значение), либо расходится к +∞.

Признак сравнения: Если 0 ≤ f(x) ≤ g(x) в окрестности особой точки b, то из сходимости интеграла от g следует сходимость интеграла от f, а из расходимости интеграла от f следует расходимость интеграла от g.
Предельный признак сравнения: Если существует конечный, отличный от нуля предел lim_(x→b) f(x)/g(x), то интегралы от f и g сходятся или расходятся одновременно.

Абсолютная и условная сходимость

Понятие сходимости расширяется на функции произвольного знака.

Абсолютная сходимость: Интеграл ∫_a^b |f(x)| dx сходится.
Условная сходимость: Интеграл ∫_a^b f(x) dx сходится, но интеграл от модуля расходится.

Из абсолютной сходимости всегда следует обычная сходимость. Обратное неверно: существуют условно сходящиеся интегралы (например, ∫_1^{+∞} sin(x)/x dx).

Важное отличие от собственных интегралов: для несобственных интегралов из сходимости интегралов от f и g не следует сходимость интеграла от их произведения. Это требует отдельного исследования.