Исследовать сходимость интегралов примеры. Определенный интеграл онлайн

Тема НЕСОБСТВЕННЫЕ ИНТЕГРАЛЫ

В теме «Определенный интеграл» было рассмотрено понятие определенного интеграла для случая конечного промежутка
и ограниченной функции
(см. теорему 1 из §3). Теперь займемся обобщением этого понятия для случаев бесконечного промежутка и неограниченной функции. Необходимость такого обобщения показывают, например, такие ситуации.

1. Если, используя формулу для длины дуги, попытаться вычислить длину четверти окружности
,
, то придем к интегралу от неограниченной функции:

, где
.

2. Пусть тело массой
движется по инерции в среде с силой сопротивления
, где
- скорость тела. Используя второй закон Ньютона (
, где
ускорение), получим уравнение:
, где
. Нетрудно показать, что решением этого (дифференциального!) уравнения является функция
Если нам потребуется вычислить путь, пройденный телом до полной остановки, т.е. до момента, когда
, то придем к интегралу по бесконечному промежутку:

§1. Несобственные интегралы 1-го рода

I Определение

Пусть функция
определена и непрерывна на промежутке
. Тогда для любого
она интегрируема на промежутке
, то есть существует интеграл
.

Определение 1 . Конечный или бесконечный предел этого интеграла при
называют несобственным интегралом 1-го рода от функции
по промежутку
и обозначают символом
. При этом, если указанный предел конечен, то несобственный интеграл называют сходящимся, в противном случае (
или не существует) – расходящимся.

Итак, по определению

Примеры

2.
.

3.
– не существует.

Несобственный интеграл из примера 1 сходится, в примерах 2 и 3 интегралы расходятся.

II Формула Ньютона – Лейбница для несобственного интеграла первого рода

Пусть
- некоторая первообразная для функции
(сущест-вует на
, т.к.
- непрерывна). Тогда

Отсюда ясно, что сходимость несобственного интеграла (1) равносильна существованию конечного предела
. Если этот предел обозначить
, то можно написать для интеграла (1) формулу Ньютона-Лейбница:

, где
.

Примеры .

5.
.

6. Более сложный пример:
. Сначала найдем первообразную:

Теперь можем найти интеграл , учитывая, что

:

III Свойства

Приведем ряд свойств несобственного интеграла (1), которые вытекают из общих свойств пределов и определенного интеграла:

IV Другие определения

Определение 2 . Если
непрерывна на
, то

.

Определение 3 . Если
непрерывна на
, то принимают по определению

(– произвольное),

причем несобственный интеграл в левой части сходится, если только оба ин-теграла в правой части сходятся.

Для этих интегралов, как и для интеграла (1) можно написать соответствующие формулы Ньютона – Лейбница.

Пример 7 .

§2. Признаки сходимости несобственного интеграла 1-го рода

Чаще всего несобственный интеграл вычислить по определению не-возможно, поэтому используют приближенное равенство

(для больших ).

Однако, это соотношение имеет смысл лишь для сходящихся интегралов. Необходимо иметь методы выяснения поведения интеграла минуя определение.

I Интегралы от положительных функций

Пусть
на
. Тогда определенный интеграл
как функция верхнего предела есть функция возрастаю-щая (это следует из общих свойств определенного интеграла).

Теорема 1 . Несобственный интеграл 1 го рода от неотрицательной функ-ции сходится тогда и только тогда, когда функция
остается ограниченной при увеличении.

Эта теорема – следствие общих свойств монотонных функций. Практического смысла теорема почти не имеет, но позволяет получить т.н. признаки сходимости.

Теорема 2 (1-й признак сравнения). Пусть функции
и
непре-рывны на
и удовлетворяют неравенству
. Тогда:

1) если интеграл
сходится, то и
сходится;

2) если интеграл
расходится, то и
расходится.

Доказательство . Обозначим:
и
. Так как
, то

. Пусть интеграл
сходится, тогда (в силу теоремы 1) функция
‒ ограничена. Но тогда и
ограничена, а значит, интеграл
тоже сходится. Аналогично доказывается и вторая часть теоремы.

Этот признак не применим в случае расходимости интеграла от
или сходимости интеграла от
. Этот недостаток отсутствует у 2-го признака сравнения.

Теорема 3 (2-й признак сравнения). Пусть функции
и
непрерывны и неотрицательны на
. Тогда, если
при
, то несобственные интегралы
и
сходятся или расходятся одновременно.

Доказательство . Из условия теоремы получим такую цепочку равно-сильных утверждений:

, ,

.

Пусть, например,
. Тогда:

Применим теорему 2 и свойство 1) из §1 и получим утверждение теоремы 3.

В качестве эталонной функции, с которой сравнивают данную, высту-пает степенная функция
,
. Предлагаем студентам самим доказать, что интеграл

сходится при
и расходится при
.

Примеры . 1.
.

Рассмотрим подынтегральную функцию на промежутке
:

,
.

Интеграл
сходится, ибо
. По 2-му признаку сравнения сходится и интеграл
, а в силу свойства 2) из §1 сходится и исход-ный интеграл.

2.
.

Так как
, тоcуществует
такое, что при

. Для таких значений переменной:

Известно, что логарифмическая функция растет медленнее степенной, т.е.

,

а значит, начиная с некоторого значения переменной, эта дробь меньше 1. Поэтому

.

Интеграл сходится как эталонный. В силу 1-го признака сравнения сходится и
. Применяя 2-й признак, получим, что и интеграл
сходится. И снова свойство 2) из §1 доказывает сходимость исходного интеграла.

Несобственные интегралы первого рода: распространение понятия определённого интеграла на случаи интегралов с бесконечным верхним или нижними пределами интегрирования, или оба предела интегрирования бесконечны.

Несобственные интегралы второго рода: распространение понятия определённого интеграла на случаи интегралов от неограниченных функций, подынтегральная функция в конечном числе точек конечного отрезка интегрирования не существует, обращаясь в бесконечность.

Для сравнения. При введении понятия определённого интеграла предполагалось, что функция f (x ) непрерывна на отрезке [a , b ], а отрезок интегрирования является конечным, то есть ограничен числами, а не бесконечностью. Некоторые задачи приводят к необходимости отказаться от этих ограничений. Так появляются несобственные интегралы.

Геометрический смысл несобственного интеграла выясняется довольно просто. В случае, когда график функции y = f (x ) находится выше оси Ox , определённый интеграл выражает площадь криволинейной трапеции, ограниченной кривой y = f (x ) , осью абсцисс и ординатами x = a , x = b . В свою очередь несобственный интеграл выражает площадь неограниченной (бесконечной) криволинейной трапеции, заключённой между линиями y = f (x ) (на рисунке ниже - красного цвета), x = a и осью абсцисс.

Аналогичным образом определяются несобственные интегралы и для других бесконечных интервалов:

Площадь бесконечной криволинейной трапеции может быть конечным числом и в этом случае несобственный интеграл называется сходящимся. Площадь может быть и бесконечностью и в этом случае несобственный интеграл называется расходящимся.

Использование предела интеграла вместо самого несобственного интеграла. Для того, чтобы вычислить несобственный интеграл, нужно использовать предел определённого интеграла. Если этот предел существует и конечен (не равен бесконечности), то несобственный интеграл называется сходящимся, а в противном случае - расходящимся. К чему стремится переменная под знаком предела, зависит от того, имеем мы дело с несобственным интегралом первого рода или второго рода. Узнаем об этом сейчас же.

Несобственные интегралы первого рода - с бесконечными пределами и их сходимость

Несобственные интегралы с бесконечным верхним пределом

Итак, запись несобственного интеграла как отличается от обычного определённого интеграла тем, что верхний предел интегрирования бесконечен.

Определение. Несобственным интегралом с бесконечным верхним пределом интегрирования от непрерывной функции f (x ) на промежутке от a до ∞ называется предел интеграла этой функции с верхним пределом интегрирования b и нижним пределом интегрирования a при условии, что верхний предел интегрирования неограниченно растёт , т.е.

.

Если этот предел существует и равен некоторому числу, а не бесконечности, то несобственный интеграл называется сходящимся , а число, которому равен предел, принимается за его значение. В противном случае несобственный интеграл называется расходящимся и ему не приписывается никакого значения.

Пример 1. Вычислить несобственный интеграл (если он сходится).

Решение. На основании определения несобственного интеграла находим

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

В следующем примере подынтегральная функция почти как в примере 1, только степень икса - не двойка, а буква альфа, а задача состоит в исследовании несобственного интеграла на сходимость. То есть предстоит ответить на вопрос: при каких значениях альфы данный несобственный интеграл сходится, а при каких расходится?

Пример 2. Исследовать на сходимость несобственный интеграл (нижний предел интегрирования больше нуля).

Решение. Предположим сначала, что , тогда

В полученном выражении перейдём к пределу при :

Нетрудно видеть, что предел в правой части существует и равен нулю, когда , то есть , и не существует, когда , то есть .

В первом случае, то есть при имеет место . Если , то и не существует.

Вывод нашего исследования следующий: данный несобственный интеграл сходится при и расходится при .

Применяя к изучаемому виду несобственного интеграла формулу Ньютона-Лейбница , можно вывести следующую очень похожую на неё формулу:

.

Это обобщённая формула Ньютона-Лейбница.

Пример 3. Вычислить несобственный интеграл (если он сходится).

Предел этого интеграла существует:

Второй интеграл, составляющий сумму, выражающую исходный интеграл:

Предел этого интеграла также существует:

.

Находим сумму двух интегралов, являющуюся и значением исходного несобственного интеграла с двумя бесконечными пределами:

Несобственные интегралы второго рода - от неограниченных функций и их сходимость

Пусть функция f (x ) задана на отрезке от a до b и неограниченна на нём. Предположим, что функция обращается в бесконечность в точке b , в то время как во всех остальных точках отрезка она непрерывна.

Определение. Несобственным интегралом функции f (x ) на отрезке от a до b называется предел интеграла этой функции с верхним пределом интегрирования c , если при стремлении c к b функция неограниченно возрастает, а в точке x = b функция не определена , т.е.

.

Если этот предел существует, то несобственный интеграл второго рода называется сходящимся, в противном случае - расходящимся.

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

Несобственный интеграл с бесконечным пределом интегрирования

Иногда такой несобственный интеграл еще называют несобственным интегралом первого рода..gif" width="49" height="19 src=">.

Реже встречаются интегралы с бесконечным нижним пределом или с двумя бесконечными пределами: .

Мы рассмотрим самый популярный случай https://pandia.ru/text/80/057/images/image005_1.gif" width="63" height="51">? Нет, не всегда. Подынтегральная функция https://pandia.ru/text/80/057/images/image007_0.gif" width="47" height="23 src=">

Изобразим на чертеже график подынтегральной функции . Типовой график и криволинейная трапеция для данного случая выглядит так:

Несобственный интеграл https://pandia.ru/text/80/057/images/image009_0.gif" width="100" height="51">», иными словами, площадь тоже бесконечна. Так быть может. В этом случае говорят, что, что несобственный интеграл расходится .

2) Но . Как это ни парадоксально прозвучит, площадь бесконечной фигуры может равняться… конечному числу! Например: .. Во втором случае несобственный интеграл сходится .

А что будет, если бесконечная криволинейная трапеция расположена ниже оси?.gif" width="217" height="51 src=">.

: .

Пример 1

Подынтегральная функция https://pandia.ru/text/80/057/images/image017_0.gif" width="43" height="23">, значит, всё нормально и несобственный интеграл можно вычислить «штатным» методом.

Применение нашей формулы https://pandia.ru/text/80/057/images/image018_0.gif" width="356" height="49">

То есть, несобственный интеграл расходится, и площадь заштрихованной криволинейной трапеции равна бесконечности.

При решении несобственных интегралов очень важно знать, как выглядят графики основных элементарных функций!

Пример 2

Вычислить несобственный интеграл или установить его расходимость.

Выполним чертеж:

Во-первых, замечаем следующее: подынтегральная функция непрерывна на полуинтервале . Гуд..gif" width="327" height="53">

(1) Берем простейший интеграл от степенной функции (этот частный случай есть во многих таблицах). Минус лучше сразу вынести за знак предела, чтобы он не путался под ногами в дальнейших вычислениях.

(2) Подставляем верхний и нижний пределы по формуле Ньютона-Лейбница.

(3) Указываем, что https://pandia.ru/text/80/057/images/image024.gif" width="56" height="19 src="> (Господа, это уже давно нужно понимать) и упрощаем ответ.

Вот здесь площадь бесконечной криволинейной трапеции равна конечному числу! Невероятно, но факт.

Пример 3

Вычислить несобственный интеграл или установить его расходимость.

Подынтегральная функция непрерывна на .

Сначала попытаемся найти первообразную функцию (неопределенный интеграл).

На какой из табличных интегралов похожа подынтегральная функция? Напоминает она арктангенс: . Из этих соображений напрашивается мысль, что неплохо бы в знаменателе получить квадрат. Делается это путем замены.

Проведем замену:

Всегда полезно выполнить проверку, то есть продифференцировать полученный результат:

Теперь находим несобственный интеграл:

(1) Записываем решение в соответствии с формулой . Константу лучше сразу вынести за знак предела, чтобы она не мешалась в дальнейших вычислениях.

(2) Подставляем верхний и нижний пределы в соответствии с формулой Ньютона-Лейбница..gif" width="56" height="19 src=">? Смотрите график арктангенса в уже неоднократно рекомендованной статье.

(3) Получаем окончательный ответ. Тот факт, что полезно знать наизусть.

Продвинутые студенты могут не находить отдельно неопределенный интеграл, и не использовать метод замены, а использовать метод подведения функции под знак дифференциала и решать несобственный интеграл «сразу». В этом случае решение должно выглядеть примерно так:

“

Подынтегральная функция непрерывна на https://pandia.ru/text/80/057/images/image041.gif" width="337" height="104">
“

Пример 4

Вычислить несобственный интеграл или установить его расходимость.

! Это типовой пример, и похожие интегралы встречаются очень часто. Хорошо его проработайте! Первообразная функция здесь находится методом выделения полного квадрата.

Пример 5

Вычислить несобственный интеграл или установить его расходимость.

Этот интеграл можно решить подробно, то есть сначала найти неопределенный интеграл, проведя замену переменной. А можно решить «сразу» – подведением функции под знак дифференциала..

Несобственные интегралы от неограниченных функций

Иногда такие несобственные интегралы называют несобственными интегралами второго рода. Несобственные интегралы второго рода коварно «шифруются» под обычный определенный интеграл и выглядят точно так же: ..gif" width="39" height="15 src=">, 2) или в точке , 3) или в обеих точках сразу, 4) или даже на отрезке интегрирования. Мы рассмотрим первые два случая, для случаев 3-4 в конце статьи есть ссылка на дополнительный урок.

Сразу пример, чтобы было понятно: https://pandia.ru/text/80/057/images/image048.gif" width="65 height=41" height="41">, то знаменатель у нас обращается в ноль, то есть подынтегральной функции просто не существует в этой точке!

Вообще при анализе несобственного интеграла всегда нужно подставлять в подынтегральную функцию оба предела интегрирования ..jpg" alt="Несобственный интеграл, точка разрыва в нижнем пределе интегрирования" width="323" height="380">

Здесь почти всё так же, как в интеграле первого рода.
Наш интеграл численно равен площади заштрихованной криволинейной трапеции, которая не ограничена сверху. При этом могут быть два варианта: несобственный интеграл расходится (площадь бесконечна) либо несобственный интеграл равен конечному числу (то есть, площадь бесконечной фигуры – конечна!).

Осталось только модифицировать формулу Ньютона-Лейбница. Она тоже модифицируется с помощью предела, но предел стремится уже не к бесконечности, а к значению https://pandia.ru/text/80/057/images/image052.gif" width="28" height="19"> справа .

Пример 6

Вычислить несобственный интеграл или установить его расходимость.

Подынтегральная функция терпит бесконечный разрыв в точке (не забываем устно или на черновике проверить, всё ли нормально с верхним пределом!)

Сначала вычислим неопределенный интеграл:

Замена:

Вычислим несобственный интеграл:

(1) Что здесь нового? По технике решения практически ничего. Единственное, что поменялось, это запись под значком предела: . Добавка обозначает, что мы стремимся к значению справа (что логично – см. график). Такой предел в теории пределов называют односторонним пределом. В данном случае у нас правосторонний предел.

(2) Подставляем верхний и нижний предел по формуле Ньютона Лейбница.

(3) Разбираемся с https://pandia.ru/text/80/057/images/image058.gif" width="69" height="41 src=">. Как определить, куда стремиться выражение? Грубо говоря, в него нужно просто подставить значение , подставляем три четверти и указываем, что . Причесываем ответ.

В данном случае несобственный интеграл равен отрицательному числу.

Пример 7

Вычислить несобственный интеграл или установить его расходимость.

Пример 8

Вычислить несобственный интеграл или установить его расходимость.

Если подынтегральной функции не существует в точке

Бесконечная криволинейная трапеция для такого несобственного интеграла принципиально выглядит следующим образом:

Здесь всё абсолютно так же, за исключением того, что предел у нас стремится к значению https://pandia.ru/text/80/057/images/image052.gif" width="28" height="19"> мы должны бесконечно близко приблизиться к точке разрыва слева .

Определенный интеграл как предел интегральной суммы

может существовать (т.е. иметь определенное конечное значение) лишь при выполнении условий

Если хотя бы одно из этих условий нарушено, то определение теряет смысл. Действительно, в случае бесконечного отрезка, например [a ; ) его нельзя разбить на п частей конечной длины
, которая к тому же с увеличением количества отрезков стремилась бы к нулю. В случае же неограниченной в некоторой точкес [a ; b ] нарушается требование произвольного выбора точки на частичных отрезках – нельзя выбрать=с , поскольку значение функции в этой точке не определено. Однако и для этих случаев можно обобщить понятие определенного интеграла, введя еще один предельный переход. Интегралы по бесконечным промежуткам и от разрывных (неограниченных) функций называют несобственными .

Определение.

Пусть функция
определена на промежутке [a ; ) и интегрируема на любом конечном отрезке [a ; b ], т.е. существует
для любого b > a . Предел вида
называютнесобственным интегралом первого рода (или несобственным интегралом по бесконечному промежутку) и обозначают
.

Таким образом, по определению,
=
.

Если предел справа существует и конечен, то несобственный интеграл
называютсходящимся . Если этот предел бесконечен, или не существует вообще, то говорят, что несобственный интеграл расходится .

Аналогично можно ввести понятие несобственного интеграла от функции
по промежутку (–; b ]:

=
.

А несобственный интеграл от функции
по промежутку (–; +) определяется как сумма введенных выше интегралов:

=
+
,

где а – произвольная точка. Этот интеграл сходится, если сходятся оба слагаемых, и расходится, если расходится хотя бы одно из слагаемых.

С геометрической точки зрения, интеграл
,
, определяет численное значение площади бесконечной криволинейной трапеции, ограниченной сверху графиком функции
, слева – прямой
, снизу – осью ОХ. Сходимость интеграла означает существование конечной площади такой трапеции и равенство ее пределу площади криволинейной трапеции с подвижной правой стенкой
.

На случай интеграла с бесконечным пределом можно обобщить и формулу Ньютона-Лейбница :

=
=F(+ ) – F(a ),

где F(+ ) =
. Если этот предел существует, то интеграл сходится, в противном случае – расходится.

Мы рассмотрели обобщение понятия определенного интеграла на случай бесконечного промежутка.

Рассмотрим теперь обобщение для случая неограниченной функции.

Определение

Пусть функция
определена на промежутке [a ; b ), неограниченна в некоторой окрестности точки b , и непрерывна на любом отрезке
, где>0 (и, следовательно, интегрируема на этом отрезке, т.е.
существует). Предел вида
называетсянесобственным интегралом второго рода (или несобственным интегралом от неограниченной функции) и обозначается
.

Таким образом, несобственный интеграл от неограниченной в точке b функции есть по определению

=
.

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

Аналогично можно определить несобственный интеграл от функции
имеющей бесконечный разрыв в точкеа :

=
.

Если функция
имеет бесконечный разрыв во внутренней точкес 
, то несобственный интеграл определяется следующим образом

=
+
=
+
.

Этот интеграл сходится, если сходятся оба слагаемых, и расходится, если расходится хотя бы одно слагаемое.

С геометрической точки зрения, несобственный интеграл от неограниченной функции также характеризует площадь неограниченной криволинейной трапеции:

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

Во многих задачах, приводящих к несобственным интегралам, не обязательно знать, чему равен этот интеграл, достаточно лишь убедиться в его сходимости или расходимости. Для этого используют признаки сходимости . Признаки сходимости несобственных интегралов:

1) Признак сравнения .

Пусть для всех х 

. Тогда, если
сходится, то сходится и
, причем

. Если
расходится, то расходится и
.

2) Если сходится
, то сходится и
(последний интеграл в этом случае называетсяабсолютно сходящимся ).

Признаки сходимости и расходимости несобственных интегралов от неограниченных функций аналогичны сформулированным выше.

Примеры решения задач.

Пример 1.

а)
; б)
; в)

г)
; д)
.

Решение.

а) По определению имеем:

.

б) Аналогично

Следовательно, данный интеграл сходится и равен .

в) По определению
=
+
, причем,а – произвольное число. Положим в нашем случае
, тогда получим:

Данный интеграл сходится.

Значит, данный интеграл расходится.

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

Поскольку ни
, ни
не существуют, то не существует и

Следовательно, данный интеграл расходится.

Пример 2.

Исследовать сходимость интеграла в зависимости от п .

Решение.

При
имеем:

Если
, то
и. Следовательно, интеграл расходится.

Если
, то
, а
, тогда

=,

Следовательно, интеграл сходится.

Если
, то

следовательно, интеграл расходится.

Таким образом,

Пример 3.

Вычислить несобственный интеграл или установить его расходимость:

а)
; б)
; в)
.

Решение.

а) Интеграл
является несобственным интегралом второго рода, поскольку подынтегральная функция
не ограничена в точке

. Тогда, по определению,

.

Интеграл сходится и равен .

б) Рассмотрим
. Здесь также подынтегральная функция не ограничена в точке
. Поэтому, данный интеграл – несобственный второго рода и по определению,

Следовательно, интеграл расходится.

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

=

=

.

Следовательно, интеграл сходится и равен
.

Определенный интеграл

\[ I=\int_a^bf(x)dx \]

был построен в предположении, что числа $a,\,b$ конечны и $f(x)$ - непрерывная функция. Если одно из этих предположений нарушается, говорят о несобственных интегралах.

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

Несобственный интеграл 1 рода возникает, когда по крайней мере одно из чисел $a,\,b$ бесконечно.

10.1.1 Определение и основные свойства

Рассмотрим сначала ситуацию, когда нижний предел интегрирования конечен, а верхний равен $+\infty$, другие варианты обсудим несколько позднее. Для $f(x)$, непрерывной при всех интересующих нас $x$, рассмотрим интеграл

\begin{equation} I=\int _a^{+\infty}f(x)dx. \quad(19) \label{inf1} \end{equation}

Прежде всего надо установить смысл этого выражения. Для этого введем функцию

\[ I(N)=\int _a^{N}f(x)dx \]

и рассмотрим ее поведение при $N\rightarrow +\infty$.

Определение. Пусть существует конечный предел

\[ A=\lim_{N \rightarrow +\infty}I(N)=\lim_{N \rightarrow +\infty}\int _a^{N}f(x)dx. \]

Тогда говорят, что несобственный интеграл 1 рода (19) является сходящимся и ему приписывают значение $A$, саму функцию называют интегрируемой на интервале $\left[ a, \, +\infty \right)$. Если же указанного предела не существует или он равен $\pm \infty$, то говорят, что интеграл (19) расходится.

Сходящиеся несобственные интегралы 1 рода обладают всеми стандартными свойствами обычных определенных интегралов.

1. Если $f(x)$, $g(x)$ интегрируемы на интервале $\left[ a, \, +\infty \right)$, то их сумма $f(x)+g(x)$ также интегрируема на этом интервале, причем \[ \int _a^{+\infty}\left(f(x)+g(x)\right)dx=\int _a^{+\infty}f(x)dx+\int _a^{+\infty}g(x)dx. \] 2. Если $f(x)$ интегрируема на интервале $\left[ a, \, +\infty \right)$, то для любой константы $C$ функция $C\cdot f(x)$ также интегрируема на этом интервале, причем \[ \int _a^{+\infty}C\cdot f(x)dx=C \cdot \int _a^{+\infty}f(x)dx. \] 3. Если $f(x)$ интегрируема на интервале $\left[ a, \, +\infty \right)$, причем на этом интервале $f(x)>0$, то \[ \int _a^{+\infty} f(x)dx\,>\,0. \] 4. Если $f(x)$ интегрируема на интервале $\left[ a, \, +\infty \right)$, то для любого $b>a$ интеграл \[ \int _b^{+\infty} f(x)dx \] сходится, причем \[ \int _a^{+\infty}f(x)dx=\int _a^{b} f(x)dx+\int _b^{+\infty} f(x)dx \] (аддитивность интеграла по интервалу).

Справедливы также формулы замены переменной, интегрирования по частям и т.д. (с естественными оговорками).

Рассмотрим теперь вариант, когда нижний предел интегрирования равен $-\infty$, а верхний конечен, т.е. рассмотрим интегралы

\[ I=\int _{-\infty}^af(x)dx. \]

Однако этот вариант можно свести к предыдущему, если сделать замену переменных $x=-s$ и поменять затем пределы интегрирования местами, так что

\[ I=\int _{-a}^{+\infty}g(s)ds, \]

$g(s)=f(-s)$. Рассмотрим теперь случай, когда имеется два бесконечных предела, т.е. интеграл

\begin{equation} I=\int _{-\infty}^{+\infty}f(x)dx, \quad (21) \label{intr} \end{equation}

причем $f(x)$ непрерывна при всех $x \in \mathbb{R}$. Разобъем интервал на две части: возьмем $c \in \mathbb{R}$, и рассмотрим два интеграла,

\[ I_1=\int _{-\infty}^{c}f(x)dx, \quad I_2=\int _{c}^{+\infty}f(x)dx. \]

Определение. Если оба интеграла $I_1$, $I_2$ сходятся, то интеграл (21) называется сходящимся, ему приписывают значение $I=I_1+I_2$ (в соответствии с аддитивностью по интервалу). Если хотя бы один из интегралов $I_1$, $I_2$ расходится, интеграл (21) называется расходящимся.

Можно доказать, что сходимость интеграла (21) не зависит от выбора точки $c$.

Несобственные интегралы 1 рода с интервалами интегирования $\left(-\infty, \, c \right]$ или $(-\infty, \, +\infty)$ также обладают всеми стандартными свойствами определенных интегралов (с соответствующей переформулировкой, учитывающей выбор интервал интегрирования).

10.1.2 Признаки сходимости несобственных интегралов 1 рода

Теорема (первый признак сравнения). Пусть $f(x)$, $g(x)$ - непрерывны при $x>a$, причем $0 a$. Тогда

1. Если интеграл \[ \int _a^{+\infty}g(x)dx \] сходится, то сходится и интеграл \[ \int _a^{+\infty}f(x)dx. \] 2. Если интеграл \[ \int _a^{+\infty}f(x)dx \] расходится, то расходится и интеграл \[ \int _a^{+\infty}g(x)dx. \]

Теорема (второй признак сравнения). Пусть $f(x)$, $g(x)$ - непрерывны и положительны при $x>a$, причем существует конечный предел

\[ \theta = \lim_{x \rightarrow +\infty} \frac{f(x)}{g(x)}, \quad \theta \neq 0, \, +\infty. \]

Тогда интегралы

\[ \int _a^{+\infty}f(x)dx, \quad \int _a^{+\infty}g(x)dx \]

сходятся или расходятся одновременно.