ЛЕКЦИЯ 2
Интеграл от разрывной функции (несобственный интеграл II рода)
Интеграл с бесконечным промежутком интегрирования (несобственный интеграл I рода)
Определение: Пусть функция непрерывна на промежутке
. Если существует конечный предел
, то его называют несобственным интегралом первого рода и обозначают
.
Таким образом, по определению
=
.
В этом случае говорят, что несобственный интеграл сходится. Если же указанный предел не существует или он бесконечен, то говорят, что интеграл
расходится.
Аналогично определяется несобственный интеграл на промежутке :
=
.
Несобственный интеграл с двумя бесконечными пределами определяется формулой
=
, где с – произвольное число.
В этом случае интеграл слева сходится лишь тогда, когда сходятся оба интеграла справа. Отметим, что если непрерывная функция на промежутке
и интеграл
сходится, то он выражает площадь бесконечно длинной криволинейной трапеции (см. рисунок 1).
Рисунок 1
Пример. Вычислить несобственные интегралы или установить их расходимость: 1) ; 2)
; 3)
.
Решение: 1) , интеграл сходится;
2) , интеграл расходится, так как при
предел
не существует.
3) , интеграл расходится.
В некоторых задачах нет необходимости вычислить интеграл; достаточно лишь знать, сходится ли он или нет.
Приведем без доказательства некоторые признаки сходимости.
Теорема 1 (I признак сравнения). Если на промежутке непрерывные функции
и
удовлетворяют условию
, то из сходимости интеграла
следует сходимость интеграла
, а из расходимости интеграла
следует расходимость интеграла
.
Пример. Сходится ли интеграл ?
Решение: При имеем
. Но интеграл
сходится. Следовательно, интеграл
также сходится (и его значение меньше 1).
Теорема 2 (II второй признак сравнения).Если существует предел ,
, то интегралы
и
одновременно оба сходятся или оба расходятся (т.е. ведут себя одинаково в смысле сходимости).
Пример. Исследовать сходимость интеграла сходится, так как
сходится и
.
Определение: Пусть функция непрерывна на промежутке
и имеет бесконечный разрыв при
(см. рисунок 2). Если существует конечный предел
, то его называют несобственным интегралом второго родаи обозначают
.
Таким образом, по определению,
=
.
Если предел в правой части существует и конечен, то несобственный интеграл сходится. Если же указанный предел не существует или бесконечен, то говорят, что интеграл
расходится.
Рисунок 2
Аналогично, если функция терпит бесконечный разрыв в точке
, то полагают
=
(см. рисунок 3).
Рисунок 3
Если функция терпит разрыв во внутренней точке отрезка
(см. рисунок 4), то несобственный интеграл второго рода определяется формулой
.
В этом случае интеграл называется сходящимся, если оба несобственных интеграла, стоящих справа, сходятся.
Рисунок 4
В случае, когда , несобственный интеграл второго рода
(разрыв в точке
) можно истолковать геометрически как площадь бесконечно высокой криволинейной трапеции (см. рисунок 2).
Рисунок 2
Пример. Вычислить .
Решение: При функция
терпит бесконечный разрыв;
, интеграл расходится.
Сформулируем признаки сходимости для несобственных интегралов второго рода.
Теорема 1 (I признак сравнения). Если на промежутке функции
и
непрерывны, при
терпят бесконечный разрыв и удовлетворяют условию
. Из сходимости интеграла
вытекает сходимость интеграла
, а из расходимости интеграла
вытекает расходимость интеграла
.
Теорема 2 (II признак сравнения). Пусть функции и
непрерывны на промежутке
и в точке
терпят бесконечный разрыв. Если существует предел
,
, то интегралы
и
одновременно сходятся или расходятся.
Пример. Сходится ли интеграл ?
Решение: Функция имеет на
единственный разрыв в точке
. Рассмотрим функцию
. Интеграл
расходится. И так как
,
то интеграл также расходится.
Замена переменных в двойном интеграле. Определитель Якоби. Вычисление двойных интегралов в полярной системе координат. Геометрические приложения двойных интегралов: вычисление площадей плоских фигур, объемов тел.