Loading [MathJax]/jax/output/SVG/jax.js

Критерий Коши сходимости несобственных интегралов

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

Теорема

Пусть f(x) определена на полуинтервале [a,b). Для сходимости несобственного интеграла baf(x)dx необходимо и достаточно, чтобы выполнялось условие Коши: для всякого ε>0 найдется такое δ[a,b), что для любых ξ1,ξ2(δ,b) выполняется неравенство |ξ2ξ1f(x)dx|<ε.

Доказательство

Обозначим функцию Φ(ξ)=ξaf(x)dx. Тогда, сходимость интеграла baf(x)dx означает существование конечного предела limξb0ξaf(x)dx=limξb0Φ(ξ), а этот предел существует, согласно критерию Коши, когда функция Φ(ξ) удовлетворяет условию
ε>0δ[a;b):ξ1,ξ2(δ,b)|Φ(ξ2)Φ(ξ1)|<ε.
И в силу свойств интеграла получаем |Φ(ξ2)Φ(ξ1)|=|ξ2af(x)dxξ1af(x)dx|=|ξ2ξ1f(x)dx|<ε.
А это то, что нам и требовалось доказать.

Список Литературы

Критерий Коши сходимости несобственных интегралов

После прочтения статьи, для закрепления материала, рекомендуется пройти тест по данной теме


Таблица лучших: Критерий Коши сходимости несобственных интегралов

максимум из 30 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

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

Определение

Пусть функция f задана на полуинтервале [a,b), где <a<b<+, и интегрируема по Риману на любом отрезке [a,ξ], где a<ξ<b. Тогда, если существует конечный предел limξb0ξaf(x)dx, то несобственный интеграл II рода baf(x)dx называют сходящимся и полагают

baf(x)dx=limξb0ξaf(x)dx

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

Аналогично, если существует конечный limξa+0bξf(x)dx, то несобственный интеграл II рода baf(x)dx называют сходящимся и полагают

baf(x)dx=limξa+0bξf(x)dx

В противном случае, если такого предела нет, расходящимся.

Замечание

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

Пример:

Курсовая
Рассмотрим функцию 11x. Эта функция непрерывна на промежутке [0,1), но не ограничена на этом промежутке. При ξ[0,1) функция 11x интегрируема на отрезке [0,ξ], причем J(ξ)=ξ0dx1x=(21x)|ξ0=2(11ξ), откуда следует, что существует конечный limξ10F(ξ)=2. В этом случае говорят, что несобственный интеграл от функции 11x на промежутке [0,1) равен 2, т.е. 10dx1x=2. Число 2 можно интерпретировать как площадь заштрихованной фигуры на Рис.1.

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

Этот тест покажет насколько хорошо вы усвоили данную тему.

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

максимум из 10 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных