Пусть функция f задана на полуинтервале [a,b), где −∞<a<b<+∞ и интегрируема по Риману на любом отрезке [a,ξ], где a<ξ<b. Если существует конечный предел limξ→b−0∫ξaf(x)dx, то несобственный интеграл второго рода ∫baf(x)dx называют сходящимся и полагают ∫baf(x)dx=limξ→b−0∫ξaf(x)dx. В противном случае несобственный интеграл называют расходящимся.
Замечание 1. Предполагается, что функция f неограничена в любой левой полуокрестности точки b. Действительно, если функция f ограничена на [a,b) и интегрируема на каждом отрезке [a,ξ] при любом ξ<b, то, используя критерий интегрируемости функции в смысле Римана в терминах колебаний, легко можно показать, что функция f интегрируема по Риману на отрезке [a,b] (в самой точке b функцию можно доопределить произвольным образом и это не влияет ни на свойство функции быть интегрируемой, ни на величину интеграла Римана ∫baf(x)dx).
Замечание 2. Если функция f интегрируема по Риману на отрезке [a,b], то, как было установлено ранее, интеграл с переменным верхним пределом φ(ξ)=∫ξaf(x)dx является непрерывной на [a,b] функцией. В частности, существует limξ→b−0φ(ξ)=∫baf(x)dx. Это означает, что для интегрируемой в смысле Римана функции интеграл в несобственном смысле также существует и их значения совпадают.
Если функция f неограничена в любой левой полуокрестности точки b, то эту точку называют особой точкой и говорят, что в точке b функция имеет особенность. Иногда это обозначают так: ∫(b)af(x)dx. Аналогично определяется ∫b(a)f(x)dx с особенностью в точке a. Т.е., полагаем
∫b(a)f(x)dx=∫baf(x)dx=limη→a+0∫bηf(x)dx,
если предел справа существует. В этом случае интеграл называют сходящимся, в противном случае – расходящимся.
Пример 1. У интеграла ∫10dx√1−x2 имеется особенность в точке x=0. Имеем
∫10dx√1−x2=limξ→1−0∫ξ0dx√1−x2=limξ→1−0arcsinξ=arcsin1=π2.
Пример 2. Рассмотрим интеграл ∫10dxxα. при α>0.
Он имеет особенность в точке x=0. При α≠1 имеем: ∫1ηdxxα=11−αx1−α|1η=11−α−η1−α1−α, а если α=1, то ∫1ηdxxα=lnx|1η=ln1η.
Если α<1, то существует limη→0+∫1ηdxxα=11−α.
Если же α⩾1, то предел limη→0+∫1ηdxxα не существует. Следовательно, ∫1ηdxxα=11−α(α<1)
и интеграл расходится при α⩾1.
Интеграл с несколькими особенностями определяется как сумма интегралов по таким промежуткам, на каждом из которых имеется лишь одна особенность. При этом интеграл называют сходящимся, если сходятся все
интегралы указанной суммы. Если хотя бы один из них расходится, то и исходный интеграл называют расходящимся.
Пример. Интеграл ∫+∞−∞dx√x3√x−14√x−2 определяется как
∫+∞−∞dx√x3√x−14√x−2=∫a−∞+∫0a+∫b0+∫1b+∫c1+∫2c+∫d2+∫+∞d, где −∞<a<0<b<1<c<2<d<+∞.
Примеры решения задач
Несобственные интегралы от неограниченных функций
Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме.
Литература
- Коляда В.И.,Кореновский А.А. Курс лекций по математическому анализу / В.И.Коляда.-Одесса: Изд-во «Астропринт», 2010. ч.2. -С.106-108.
- Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления / Г.М.Фихтенгольц.-Москва: Изд-во «Наука», 1964. т.2. -С.579.
- Кудрявцев Л.Д. Краткий курс математического анализа / Л.Д.Кудрявцев. -Москва: изд-во «Наука», 1989. -С.397.
- Лысенко З.М. Конспект лекций по математическому анализу.