Это интегралы от неограниченных (сверху и / или снизу) функций. Несобственные интегралы второго рода коварно «шифруются» под обычный определенный интеграл и выглядят точно так же: . Но, в отличие от определенного интеграла, подынтегральная функция терпит бесконечный разрыв: 1) в точке , 2) или в точке , 3) или в обеих точках сразу, 4) или разрывы даже есть внутри.
На практике гораздо чаще и одинаково часто встречаются первые два варианта, и сейчас я подброшу монетку… так, начинаем, со Случая 1, когда подынтегральной функции не существует в точке .
Сразу пример, чтобы было понятно: . Вроде бы это определенный интеграл. Но на самом деле нет – это несобственный интеграл второго рода: если мы подставим в подынтегральную функцию значение нижнего предела , то знаменатель у нас обращается в ноль, то есть подынтегральной функции просто не существует в этой точке!
Проверим заодно и верхний предел: . Здесь всё хорошо. И вообще, обязательно анализируем весь знаменатель, а то, может статься, точки разрыва есть и внутри отрезка (и это не выдумки). В нашем примере знаменатель обращается в ноль в единственной точке, а значит, вопрос закрыт.
Принципиально этот случай выглядит так:
И здесь почти всё так же, как в интеграле первого рода. Если интеграл существует, то он численно равен площади заштрихованной криволинейной трапеции, которая не ограничена сверху. При этом могут быть два варианта: несобственный интеграл расходится (площадь бесконечна) либо он равен конечному числу (площадь бесконечной фигуры – конечна!).
Осталось модифицировать формулу Ньютона-Лейбница, я приведу упрощённый по сравнению с учебниками вариант, без лишних букв:
«Добавка» символизирует тот факт, что к точке разрыва мы приближаемся справа (красная стрелка на чертеже). Такой предел в теории пределов называют односторонним пределом. В данном случае у нас правосторонний предел.
Разделаемся с демонстрационным интегралом:
Пример 35
Вычислить несобственный интеграл или установить его расходимость.
Во-первых, ПИСЬМЕННО констатируем тот факт, что подынтегральная функция терпит бесконечный разрыв в точке . Этим мы идентифицируем тип несобственного интеграла и обосновываем дальнейшие действия.
И приём стар, как чешуя динозавра: сначала всегда можно найти неопределённый интеграл.
Особенно, если пример не прост и особенно в кубе, если вы «чайник».
Проведём замену: , откуда выражаем оставшийся кусок исходного интеграла, сиротливый дифференциал:
Проверка:
, в чём мы и хотели убедиться.
Теперь вычислим несобственный интеграл, сначала решение, затем комментарии:
(1) Используем формулу
(2) и её продолжение , где при подстановке нижнего предела интегрирования вместо «икс» мы формально подставляем «икс».
(3) Но самое главное: как выяснить, куда стремится , если ? Всё просто. Мысленно либо на черновике подставляем под корень и проводим упрощения: – в результате получено бесконечно малое положительное значение, поэтому .
Результат получился отрицательным, и в этом нет криминала, просто соответствующая криволинейная трапеция расположена под осью .
Решение можно оформить и по-другому. Например, провести ту же замену прямо в несобственном интеграле с пересчётом новых пределов интегрирования. Ну и совсем шикарно обыденно – это с ходу подвести под знак дифференциала:
А сейчас два интеграла для самостоятельного решения:
Пример 36
Вычислить несобственные интегралы или установить их расходимость
а) , б)
В образце я привёл прямое решение с подведением под знак дифференциала и подробно закомментировал что, к чему и почему стремится. Обязательно разберитесь!
Случай 2. Если подынтегральной функции не существует в точке .
Бесконечная криволинейная трапеция для такого несобственного интеграла принципиально выглядит так:
Здесь всё так же, за исключением того, что предел у нас стремится к значению слева:
Такой предел называют левосторонним, и бесконечно малая отрицательная «добавка» означает, что к точке «бэ» мы подбираемся по оси именно слева.
Пример 37
Вычислить несобственный интеграл или установить его расходимость.
Очевидно, что подынтегральная функция терпит бесконечный разрыв в точке , но не пренебрегаем и проверяем, что больше разрывов нет! – по той причине, что знаменатель обращается в ноль в единственной точке.
Интеграл решим методом подведения под знак дифференциала:
(1) Берём интеграл и используем формулу . Наверное, вы обратили внимание, что саму формулу на чистовик записывать не обязательно. Все эти формулы носят частный характер и не предназначены даже для запоминания – самое главное, ПОНИМАТЬ, что происходит в том или ином интеграле, в том или ином случае. Не забываем быстренько выполнить черновую проверку:
, ОК.
(2) Представляем первообразную в более удобном виде.
(3) Подставляем в неё пределы интегрирования: , формально считая, что вместо «икс» мы подставляем «икс».
Как выяснить, что при дробь ? Приём тот же самый: мысленно либо на черновике подставляем под корень и проводим упрощения:
, а единица, делённая на бесконечно малое и положительное значение – это «плюс» бесконечность: .
И на завершающем шаге бесконечность меняет знак:
Будьте очень внимательны в знаках! Да, конечно, несобственный интеграл расходится, но и – это две разные вещи, и если вы недосмотрите за знаками, то допустите серьезную ошибку.
Следующие интегралы для самостоятельного рассмотрения:
Пример 38
Вычислить несобственные интегралы или установить их расходимость.
а) , б)
В образце решения я опять использовал «быстрый» способ, но если вам трудно, то, конечно, сначала лучше найти неопредёленный интеграл.
И в заключение курса коротко о более редких случаях:
2.6. Когда разрывы на обоих концах и / или внутри отрезка интегрирования
2.4. Что делать, если оба предела интегрирования бесконечны?
| Оглавление |
Полную и свежую версию данного курса в pdf-формате,
а также курсы по другим темам можно найти здесь.
Также вы можете изучить эту тему подробнее – просто, доступно, весело и бесплатно!
С наилучшими пожеланиями, Александр Емелин
y
Как уже отмечалось выше для
неограниченной на отрезке [a,
b]
ф-и интеграл Римана смысла не имеет.
Обобщим понятие определенного интеграла
на ф-ю f(x)
неограниченную на полуинтервале [a,
b),
но ограниченную и интегрируемую на
любом отрезке [a,
b-ε],
0<ε<a.
Рассмотрим ф-ю F(ε)=.(1)
Перейдем
в (1) формально к пределу при ε→0
F(ε)=
=.(2).
Символ
=называют несобственным интегралом 2-го
рода. При этом, если предел (1) конечный,
то несобственный интеграл 2-го рода
называют сходящимся. Если предел
бесконечный или не сущ., то расходящимся.
Точкуx=b
называют особой.
Аналогично
определяются несобственные интегралы
2-го рода, если особой точкой является
левый конец отрезка [a,
b]
или внутренняя точка x=c
отрезка [a,
b].
==,
=(+).(3)
Величины
ε1
и ε2
→0 независимо друг от друга.
Пример
1. Исследовать
на сходимость интеграл.
Решение.
Пусть α=1. Тогда
==-ln(b-x)
=(ln(b-a)-lnε)=∞
=> ряд расходится.
Пусть
α≠1. Тогда
===(–)
=> Сходится, если α<1. Расходится, если
α>1.
Вывод:
при α<1 интеграл сходится, при α≥1
интеграл расходится.
При
некоторых ограничениях на ф-ю f(x)
несобственный интеграл 2-го рода сводится
к несобственному интегралу 1-го рода.
Пусть
f(x)
непрерывна на [a,
b)
и b
– особая точка. В интеграле
сделаем замену.
==.(4)
Перейдем
в (4) к пределу при ε→+0. Получим
=.(5)
Таким образом
данная замена переводит несобственный
интеграл 2-го рода в несобсвенный интеграл
1-го рода. Ясно, что если интеграл в левой
части (5) существует, то существует и
интеграл в правой части (5), и наоборот.
Все признаки сходимости, доказанные
для несобственного интеграла 1-го рода,
справедливы (с нек. исправлениями) и для
интеграла 2-го рода. Правила интегрирования
также остаются прежними.
Пример
2. Вычислить
несобственный интеграл.
Согласно
(2) имеем
===(xlnx-x)
=
=(-1-εlnε+ε)=-1-=-1-=-1.
Пример
3. Исследовать
на сходимость интеграл.
Доопределим
подыинтегральную ф-ю в точке x=0,
т.е. положим
=0.
Особой точкой являетсяx=1.
Найдем предел
=x=1.
Это означает эквивалентность функций
в точке x=1,
т.е.
~приx→1.
Согласно предельному признаку сравнения
интеграла
иведут себя одинаково. Но интегралрасходится (см. пр. 1), => и данный интеграл
расходится.
П 18. Главное значение несобственного интеграла.
Пусть
ф-я f(x)
определена на всей числовой оси и
интегрируема на любом конечном отрезке
числовой оси. Тогда
=(1)
–
несобственный
интеграл 1-го рода. Напомним, что a
и b
стремятся к ∞ независимо друг от друга.
Положим теперь b=-a.
Если существует предел
,
то говорят, что несобственный интеграл
сходится по Коши, а его значение называют
главным значением несобственного
интеграла по Коши и обозначают
V.P.=.(2)
Ясно,
что если интеграл (1) сходится, то он
сходится к этому же значению по Коши.
Однако интеграл (1) может расходится, но
иметь главное значение по Коши.
Пример
1.
– расходится (см. пр.2 §9). Найдем его
главное значение.
V.P.==-(cosa-cos(-a))=0.
Теорема
1. Если
ф-я f(x)
нечетная и интегрируема по Риману на
любом конечном отрезке, то ее главное
значение равно нулю.
Док-во.
=+==–==0,
т.к.f(t)
нечетная V.P.==0.
Теорема доказана.
Если
любая особая точка c
внутренняя для отрезка [a,
b],
то главное значение интеграла по Коши
можно ввести и для несобственного
интеграла 2-го рода.
V.P.=(+).(3)
Пример
2. Интеграл
,a<c<b
расходится (см. пр.1 §12). Найдем его главное
значение.
V.P.=(+)=(ln|x-c|+ln|x-c|)=(lnε-ln|a-c|+ln(b-c)-lnε)=
.
Пример
3. Интеграл
расходится. Найдем его главное значение.V.P.=
(+)=-(+)=-(-++1-)=-∞.
Главное значение данного интеграла не
существует.
23
Содержание:
- Несобственный интеграл – Основные понятия и теоремы
- Свойства несобственного интеграла
- Несобственные интегралы
- Интегралы с бесконечными пределами интегрирования (несобственные интегралы І типа)
- Интегралы от неограниченных функций (несобственные интегралы II типа)
Несобственный интеграл – Основные понятия и теоремы
Пусть функция определена на промежутке и интегрируема на отрезке при любом . Если существует предел
(1.1)
то его называют несобственным интегралом от функции по промежутку и обозначают символом
(1.2)
Символ (1.2) также называется несобственным интегралом. Если предел (1.1) существует, то несобственный интеграл называется сходящимся, в противном случае — расходящимся.
Аналогично определяется несобственный интеграл с бесконечным нижним пределом:
(1.3)
Интегралы (1.2) и (1.3) называются несобственными интегралами по неограниченному множеству.
Пусть функция определена на промежутке , интегрируема на отрезке при любом и не ограничена в левой полуокрестности точки . Тогда интеграл (1.4)
называют несобственным интегралом от неограниченной функции и по определению полагают
(1.5)
По этой ссылке вы найдёте полный курс лекций по высшей математике:
Если предел (1.5) существует, то несобственный интеграл (1.4) называется сходящимся, в противном случае — расходящимся.
Аналогично определяется несобственный интеграл по промежутку .
Обозначим через один из символов и сформулируем определение несобственного интеграла в общем случае.
Пусть функция определена на промежутке и интегрируема на каждом отрезке. Если существует предел
(1.6)
то его называют несобственным интегралом от функции по промежутку и обозначают символом
(1.7)
Несобственный интеграл по промежутку , где — один из символов определяется аналогично. Далее все утверждения будем формулировать для промежутка . Они очевидным образом переносятся на интегралы по промежутку .
Несобственные интегралы возникают в задачах на геометрические приложения интегрального исчисления: при вычислении площадей неограниченных фигур; объемов тел и площадей поверхностей вращения, если вращающаяся фигура неограничена.
Пусть функция непрерывна и неотрицательна в промежутке . Рассмотрим фигуру
(1.8)
которую назовем неограниченной криволинейной трапецией.
Если несобственный интеграл сходится, то площадью фигуры называется число
(1.9)
Возможно вам будут полезны данные страницы:
Объем тела, образованного вращением фигуры вокруг оси равен несобственному интегралу
(1.10)
Площадь поверхности, полученной вращением непрерывной кривой
вокруг оси , вычисляется по формуле
(1.11)
Формулы (1.10), (1.11), как и формула (1.9), применимы при условии сходимости соответствующих несобственных интегралов.
При решении геометрических задач используются и несобственные интегралы от неограниченных функций.
Свойства несобственного интеграла
1
2.
3. При любом
Свойства 1 и 2 называют линейными, а свойство 3 — аддитивностью.
Теорема 1.1 (о замене переменной в несобственном интеграле). Пусть выполнены следующие условия:
1) непрерывно дифференцируемая и строго монотонная функция отображает промежуток в промежуток , где и при
2) функция непрерывна в промежутке . Тогда интегралы
либо оба сходятся, либо оба расходятся. В случае сходимости справедливо равенство
(1.12)
Теорема 1.2 (об интегрировании по частям в несобственном интеграле). Пусть функции и непрерывно дифференцируемы на промежутке и существует .
Тогда интегралы
либо оба сходятся, либо оба расходятся. В случае сходимости справедливо равенство
(1.13)
где
Определенный интеграл считается неуместным, если выполнено хотя бы одно из следующих условий: Поля интеграции бесконечны. Например, бесконечный разрыв. Функция не ограничена вблизи некоторых точек области интегрирования.
Примеры с решением
Вычислить несобственный интеграл или установить его расходимость.
Пример 1.
Решение:
Вычислим несобственный интеграл по определению:
Следовательно, данный интеграл интеграл сходится.
Пример 2.
Решение: По определению несобственного интеграла с бесконечным верхним пределом имеем
Следовательно, данный интеграл интеграл расходится.
Пример 3.
Решение:
По определению несобственного интеграла с бесконечным нижним пределом имеем
Итак, интеграл сходится и равен 1.
Пример 4.
Решение:
Интеграл является несобственным, поскольку верхний предел бесконечен. Рассмотрим два случая.
1). Пусть Тогда по определению имеем
2). Пусть . Тогда Итак, интеграл сходится при и расходится при
Пример 5.
Решение:
Данный интеграл является несобственным, поскольку подынтегральная функция не определена в точке и . По определению несобственного интеграла от неограниченной функции имеем
Итак, данный интеграл сходится и равен
Пример 6.
Решение:
Подынтегральная функция не ограничена в правой полуокрестности нижнего предела. Поэтому данный интеграл – несобственный. Рассмотрим два случая.
1). Пусть . По определению несобственного интеграла от неограниченной функции имеем
2). Пусть . Тогда
Итак, интеграл сходится при и расходится при
Пример 7.
Решение:
Применим к данному интегралу формулу интегрирования по частям: Пример 1.8.
Данный интеграл является несобственным, поскольку
подынтегральная функция не определена в точке
и . Воспользуемся формулой замены переменной в несобственном интеграле. Положим . Имеем
Заметим, что в результате замены переменной несобственный интеграл преобразовался в определенный интеграл от непрерывной функции по отрезку.
Пример 8.
Найти площадь фигуры, ограниченной графиком функции и прямой .
Решение:
Функция непрерывна и неотрицательна в промежутке . Поэтому заданная фигура является неограниченной криволинейной трапецией вида (1.8). Площадь фигуры находится по формуле (1.9):
Для вычисления интеграла применим формулу (1.13) интегрирования по частям. Положим Тогда . Функции и непрерывно дифференцируемы в промежутке и существует
По формуле (1.13) имеем
Пример 9.
Найти объем тела, образованного вращением вокруг оси фигуры, ограниченной графиком функции
и прямыми
Решение: Функция непрерывна, неотрицательна в промежутке (1,2] и не ограничена на нем, так как . Поэтому объем тела вращения выражается через несобственный интеграл:
Итак,
Несобственные интегралы
Понятие «несобственные интегралы» связано с нарушением условий теоремы 23.1 о существовании определенного интеграла. В зависимости от того, какая именно условие существования нарушена, рассматривают несобственные интегралы I и II типов.
Различают следующие случаи:
1) вместо конечного отрезка рассматриваются бесконечные пол интервалы или интервал
2) вместо подынтегральной функции, которая является непрерывной или ограниченной на отрезке интегрирования и имеет конечное число точек разрыва первого рода, рассматривают функцию, имеет на этом отрезке бесконечный разрыв, то есть разрыв второго рода.
Интегралы с бесконечными пределами интегрирования (несобственные интегралы І типа)
Пусть функция определена и непрерывна на промежутке Тогда согласно теореме 23.1 она интегрируема на любом отрезке где – произвольное действительное число, большее Итак, существует определенный интеграл от этой функции на отрезке
где
то есть является первоначальной для подынтегральной функции
Несобственным интегралом I типа функции на промежутке называется предел определенного интеграла при условии, что верхняя граница интегрирования стремится к плюс бесконечности, то есть
Если граница конечна, то несобственный интеграл I типа называется сходящимся, или говорят, что он совпадает. Если граница в соотношении (25.1) является бесконечной или вовсе не существует, то несобственный интеграл I типа называется расходящимся, то есть разбегается.
С учетом формулы Ньютона-Лейбница соотношение (25.1) можно записать так:
где применяется обозначения:
Аналогично определяется несобственный интеграл I типа для случая, когда вместо отрезка интегрирования рассматривается интервал с бесконечной нижней границей.
Пусть функция определена и непрерывна на промежутке тогда для любого действительного существует определенный интеграл:
Несобственным интегралом I типа функции на промежутке называется предел определенного интеграла при условии, что нижняя граница интегрирования стремится к минус бесконечности, то есть
где применяется обозначение
Пусть функция определена и непрерывна на промежутке Тогда представим интеграл на этом промежутке как сумму двух несобственных интегралов на промежутках и
Если в соотношении (25.4) обе границы существуют, то несобственный интеграл I типа с бесконечными пределами совпадает.
С учетом формулы Ньютона-Лейбница несобственный интеграл на промежутке определяется соотношением:
Общий порядок нахождения несобственного интеграла I типа состоит из двух шагов:
1) вычисляем определенный интеграл от на где – переменная нижняя граница интегрирования ( – переменная верхний предел интегрирования)
2) находим границу определенного интеграла при
Под исследованием несобственных интегралов на сходимость понимают установления факта его сходимости или разногласия. Для этого во многих случаях бывает достаточна не вычислять самый интеграл (а он может быть таким, что и «не берется»), а сравнить его с несобственным интегралом, сходимость (или расхождение) которого известна.
Приведем признаки сравнения несобственных интегралов (которые примем без доказательства).
Теорема 25.1. Если функции и для всех связанные соотношением и несобственный интеграл совпадает, то совпадает и несобственный интеграл при этом
Теорема 25.2. Если функции и для всех связанные соотношением и несобственный интеграл расходится, то расходится и несобственный интеграл
Несобственный интеграл от функции сходимость или расхождение которого известна заранее, называется эталонным интегралом, а – эталонной функцией.
В предыдущих теоремах рассматривались несобственные интегралы от неотъемлемых функций. Для знакопеременной функции на бесконечном промежутке справедлива следующая теорема.
Теорема 25.3. Если несобственный интеграл от модуля заданной функции совпадает, то совпадает и интеграл от самой функции
В этом случае несобственный интеграл от на называется абсолютно сходящимся.
Рассмотрим некоторые примеры несобственных интегралов I типа. Одним из таких интегралов является интеграл Эйлера-Пуассона:
Этот интеграл нельзя представить в виде конечного числа элементарных функций, поэтому по общему алгоритму проблему вычисления интеграла Эйлера – Пуассона решить невозможно. Докажем, что этот интеграл совпадает, применив теорему 25.1.
Как эталонную функцию выберем функцию φ () x e x = -. Учтем также парность подынтегральной функции Как эталонную функцию выберем функцию φ () x e x = -. Учтем также парность подынтегральной функции (рис. 25.1):
Рис. 25.1
Сравним функции и Обе функции положительные на числовой оси, и для выполняется неравенство тогда относительно функций и имеет место соотношение:
Следовательно, применить теорему 25.1 можно только на промежутке
Исследуем на сходимость интеграл от эталонной функции на
Эталонный интеграл совпадает на промежутке тогда по признаку сравнения сходится есть интеграл Поскольку несобственный интеграл отличается от несобственного интеграла постоянной, равной площади криволинейной трапеции для то интеграл Эйлера-Пуассона тоже является сходящимся.
В главе 26 будет доказано, что:
При исследовании вопроса о сходимости несобственных интегралов I типа часто в роли эталонного интеграла принимают интеграл вида:
Свойства этого интеграла зависят от значений параметра
Интеграл (25.8) при разбегается:
Следовательно, несобственный интеграл от степенной функции совпадает, если и расходится, если
Исследовать на сходимость несобственный интеграл I типа:
По определению:
Мы доказали, что несобственный интеграл совпадает, поскольку соответствующая граница равна конечном числу.
Исследовать на сходимость несобственный интеграл I типа:
По определению имеем:
Эта граница не существует, поскольку не существует следовательно, заданный несобственный интеграл расходится.
Исследовать на сходимость несобственный интеграл I типа:
По определению:
то есть данный интеграл расходится.
Интегралы от неограниченных функций (несобственные интегралы II типа)
Пусть на имеет конечное число точек разрыва второго рода. Это означает, что хотя бы одна из односторонних пределов функции в этих точках равна бесконечности, то есть при приближении к точкам разрыва функция неограниченно приходит или растет. Такие точки называются особыми точками функции. На рис. 25.2 приведены примеры расположения особых точек c на отрезке Так, особой точкой может быть как левый, так и правый конец отрезка, а также любая внутренняя точка. В геометрическом смысле прямая является вертикальной асимптотой графика функции
Рис. 25.2
Выберем некоторое положительное число и рассмотрим, соответственно, отрезки (рис. 25.2 а, б и в), на которых подынтегральная функция ограничена и непрерывная, следовательно, существует определенный интеграл от этой функции.
Несобственным интегралом II типа от функции на промежутке где при функция имеет разрыв второго рода, называется предел определенного интеграла на промежутке при условии, что стремится к нулю:
Аналогично определяют несобственные интегралы II типа для случая, когда особой точкой является верхняя граница отрезка интегрирования:
а также для случая, когда особая точка является внутренней точкой отрезка интегрирования:
Несобственный интеграл II типа называется сходящимся, если существуют конечные границы в правых частях формул (25.10) – (25.12). В противном случае их называют расходящимися.
Порядок исчисления несобственных интегралов II типа принципиально ничем не отличается от порядка определения несобственных интегралов I типа: вычисляют определенный интеграл на конечном отрезке и находят его границу при условии, что или Если для подынтегральной функции не существует первоначальная в виде конечной суммы элементарных функций, то для исследования несобственных интегралов II типа на сходимость применяются признаки сравнения их с эталонными интегралами, то есть такими, о которых заранее известно, совпадают они или разбегаются. Часто в качестве эталонных берут несобственные интегралы от степенных функций:
и его обобщения:
где
Для первого и второго эталонных интегралов особой точкой является нижняя граница отрезка интегрирования, а для третьего – верхний предел.
Проведем исследование на сходимость первого интеграла с (25.13):
Если то
Следовательно, несобственный интеграл II типа совпадает при и расходится при
Определим, совпадает ли несобственный интеграл
Его подынтегральная функция имеет разрыв второго рода в точке то есть ее особой точкой является верхняя граница отрезка интегрирования. По определению имеем:
Заданный интеграл совпадает, потому соответствующая граница равна конечном числу.
Исследуем на сходимость несобственный интеграл
Подынтегральная функция непрерывна на промежутке по исключением точки в которой знаменатель равен нулю, следовательно, в окрестности этой точки функция не ограничена, поэтому интеграл записываем в таком виде:
Если каждый интеграл в правой части совпадает, то выходной интеграл тоже будет совпадать.
Рассмотрим первый интеграл:
Поскольку первый интеграл расходится, то нет необходимости вычислять второй. Окончательно делаем вывод, что заданный несобственный интеграл расходится.
Лекции:
- Определенный интеграл и объем фигур вращения
- Уравнение гиперболы
- Уравнение эллипса
- Степенные ряды
- Случайные события и вероятность
- Свойства пределов функции
- Решение пределов со степенями
- Теория сплайнов примеры решения
- Жорданова форма матрицы
- Скрещивающиеся прямые
Интегралы с бесконечным промежутком интегрирования
Для существования определенного интеграла необходимо, чтобы промежуток интегрирования был конечен, а подынтегральная функция ограничена на нем — в противном случае множество сумм Дарбу не будет ограниченным. При решении задач встречаются случаи, когда одно или оба из этих условий не выполняются, т. е. когда промежуток интегрирования бесконечен или подынтегральная функция не ограничена. Такие интегралы называются несобственными. Различают несобственные интегралы 1-го и 2-го рода в зависимости от того, имеем ли мы дело с бесконечностью промежутка интегрирования или с неограниченностью подынтегральной функции.
Хотя несобственные интегралы и нельзя рассматривать как разделяющие числа для сумм Дарбу, иногда им можно придать определенный смысл с помощью дополнительного предельного перехода. Начнем со случая, когда промежутком интегрирования является луч . Предположим, что функция интегрируема на каждой конечной части луча, т. е. что для любого существует интеграл . За значение интеграла естественно принять предел функции , когда с стремится к , т. е. когда промежуток интегрирования стремится заполнить весь луч (рис. 18).
Может, однако, случиться, что этот предел не существует. Поэтому будем различать два случая:
а) Если предел существует и конечен, то несобственный интеграл называют сходящимся, а значение этого предела — значением несобственного интеграла. В этом случае
(1)
б) Если предел в правой части равенства (1) не существует, говорят, что несобственный интеграл расходится.
При аналогичных предположениях относительно функции можно рассмотреть случай, когда верхний предел фиксирован, а нижний предел стремится к
(2)
Если предел, стоящий в правой части равенства (2), конечен, то несобственный интеграл называют сходящимся, в противном случае его называют расходящимся.
Наконец, можно определить и несобственный интеграл вида . Будем считать, что функция интегрируема на всей числовой прямой . Выберем на прямой произвольную точку . Эта точка разобьет прямую на два луча: и . Если существуют несобственные интегралы
то говорят, что существует и несобственный интеграл . В этом случае полагают
(3)
где несобственные интегралы, содержащиеся в правой части равенства (3), определены соответственно равенствами (1) и (2). Легко проверить, что значение интеграла не зависит от выбора точки .
Пример 1. Вычислить несобственный интеграл с бесконечным верхним пределом.
Решение. Подынтегральная функция всюду непрерывна и, следовательно, интегрируема в любом конечном промежутке. Имеем:
Значит, окончательно имеем .
Пример 2. Вычислить несобственный интеграл от синуса .
Решение. Имеем:
Так как не существует, то несобственный интеграл расходится.
Запись вычислений несобственных интегралов можно упростить, предварительно найдя первообразную для подынтегральной функции . Именно, если —первообразная функция для , то
Предположим, что существует предел . Введем обозначение: . Тогда
Аналогично,
где
Наконец,
Пример 3. Вычислить несобственный интеграл .
Решение. Имеем:
Пример 4. Исследовать на сходимость несобственный интеграл .
Решение. Если , то .
Если , то .
Сходимость или расходимость интеграла зависит от того, существует или нет предел . Если , тo ; если , то . Таким образом, сходится, если , и расходится, если .
При исследовании на сходимость несобственных интегралов оказываются полезными следующие утверждения:
а) Если сходится интеграл , то при сходится и интеграл . При этом
б) Если сходятся интегралы и , то и интеграл сходится, причем
Признаки сходимости несобственных интегралов 1-го рода
В дальнейшем мы будем обычно иметь дело с несобственными интегралами от неотрицательных функций. Если функция неотрицательна на луче , то функция возрастает на этом луче. Поэтому она имеет предел при в том и только в том случае, когда ограничена. Отсюда получаем следующее утверждение:
а) Для сходимости несобственного интеграла от неотрицательной функции , необходимо и достаточно, чтобы функция была ограничена, т. е. чтобы нашлось такое число , что для всех .
Непосредственно найти такое число бывает довольно сложно, поэтому во многих случаях оказывается полезным следующее утверждение:
б) Если на луче выполняется неравенство и интеграл сходится, то сходится и интеграл .
В самом деле, из следует, что для любого имеем:
Но функция возрастает, и потому ее предел при не меньше любого из ее значений: . Поэтому для всех имеем: , где . А тогда на основании предыдущего утверждения интеграл сходится.
Из доказанного вытекает, что если при и интеграл расходится, то расходится и интеграл — в противном случае в соответствии с утверждением б) интеграл сходился бы.
Пример 5. Исследуем на сходимость интеграл .
Решение. Мы имеем при . Но интеграл сходится (см. пример 4). Поэтому сходится и исходный интеграл.
Пример 6. Исследуем на сходимость интеграл .
Решение. Так как при , а интеграл расходится (см. пример 4 при ), то расходится и заданный интеграл.
Несобственные интегралы 2-го рода
Рассмотрим теперь случай, когда промежуток интегрирования конечен, но подынтегральная функция не ограничена на нем. Строение таких функций может быть очень сложным. Мы ограничимся рассмотрением случая, когда можно указать конечное множество особых точек , таких, что в сколь угодно малых окрестностях этих точек функция не ограничена, но после удаления этих окрестностей получаем промежутки, на которых функция интегрируема.
Сначала изучим случай, когда множество особых точек состоит лишь из точки . В этом случае не ограничена на всем отрезке , но интегрируема на любом из отрезков (рис. 19). За значение интеграла естественно принять предел , если этот предел существует.
Введем следующее определение:
Пусть функция не ограничена на отрезке , но интегрируема на любом из отрезков , где . Несобственный интеграл называют сходящимся, если существует предел . Значение этого предела и называют значением интеграла . Если же этот предел не существует, то интеграл называют расходящимся.
Аналогично, если функция не ограничена на отрезке , но интегрируема на любом отрезке , то полагаем
Наконец, если единственная особая точка лежит внутри отрезка , то положим
Пусть — первообразная для функции . Положим
(если эти пределы существуют). Тогда для сходящихся интегралов, у которых особыми являются лишь точки и , имеем:
Если функция непрерывна в точках и , то получаем:
Аналогично обстоит дело и в случае, когда подынтегральная функция не ограничена в любой окрестности некоторой внутренней точки отрезка .
Пример 7. Вычислим несобственный интеграл второго рода .
Решение. Этот интеграл является несобственным, так как функция не ограничена в любой окрестности точки . Поскольку первообразная для функции равна , то, пользуясь определением несобственного интеграла, получаем:
откуда, учитывая непрерывность функции , окончательно получаем
Пример 8. Вычислить интеграл .
Решение. Подынтегральная функция внутри данного промежутка интегрирования имеет одну особую точку . Найдем первообразную для подынтегральной функции:
Так как функция непрерывна в точке , то имеем
Пример 9. Вычислить .
Решение. В данном случае подынтегральная функция имеет две особые точки и . Пользуясь определением несобственного интеграла и учитывая непрерывность первообразной, получаем, что
Пример 10. Исследуем на сходимость интеграл .
Решение. Имеем: . Значит, данный интеграл расходится.
Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
Определённый интеграл называется несобственным, если выполняется по крайней мере одно из следующих условий.
- Область интегрирования является бесконечной. Например, является бесконечным промежутком .
- Функция является неограниченной в окрестности некоторых точек области интегрирования.
Если интервал конечный и функция интегрируема по Риману, то значение несобственного интеграла совпадает со значением определённого интеграла.
Несобственные интегралы I рода[править | править код]
Несобственный интеграл первого рода
Пусть определена и непрерывна на интервале и . Тогда:
- Если , то используется обозначение и интеграл называется несобственным интегралом Римана первого рода. В этом случае называется сходящимся.
- Если не существует конечного ( или ), то интеграл называется расходящимся к «», «», или просто расходящимся.
Пусть определена и непрерывна на множестве от и . Тогда:
- Если , то используется обозначение и интеграл называется несобственным интегралом Римана первого рода. В этом случае называется сходящимся.
- Если не существует конечного ( или ), то интеграл называется расходящимся к «», «», или просто расходящимся.
Если функция определена и непрерывна на всей числовой прямой, то может существовать несобственный интеграл данной функции с двумя бесконечными пределами интегрирования, определяющийся формулой:
, где с — произвольное число.
Геометрический смысл несобственного интеграла I рода[править | править код]
Несобственный интеграл первого рода выражает площадь бесконечно длинной криволинейной трапеции.
Примеры[править | править код]
Несобственные интегралы II рода[править | править код]
Несобственный интеграл Римана второго рода
Пусть определена на , терпит бесконечный разрыв в точке x = a и . Тогда:
- Если , то используется обозначение и интеграл называется несобственным интегралом Римана второго рода. В этом случае интеграл называется сходящимся.
- Если или , то обозначение сохраняется, а называется расходящимся к «», «», или просто расходящимся.
Пусть определена на , терпит бесконечный разрыв при x = b и . Тогда:
- Если , то используется обозначение и интеграл называется несобственным интегралом Римана второго рода. В этом случае интеграл называется сходящимся.
- Если или , то обозначение сохраняется, а называется расходящимся к «», «», или просто расходящимся.
Если функция терпит разрыв во внутренней точке отрезка , то несобственный интеграл второго рода определяется формулой:
Геометрический смысл несобственных интегралов II рода[править | править код]
Несобственный интеграл второго рода выражает площадь бесконечно высокой криволинейной трапеции.
Пример[править | править код]
Отдельный случай[править | править код]
Пусть функция определена на всей числовой оси и имеет разрыв в точках .
Тогда можно найти несобственный интеграл
Критерий Коши[править | править код]
1. Пусть определена на множестве от и .
- Тогда сходится
2. Пусть определена на и .
- Тогда сходится
Абсолютная сходимость[править | править код]
Интеграл называется абсолютно сходящимся, если сходится.
Если интеграл сходится абсолютно, то он сходится.
Условная сходимость[править | править код]
Интеграл называется условно сходящимся, если сходится, а расходится.
См. также[править | править код]
- Интеграл Римана
- Интеграл Лебега
- Метод Самокиша — численный метод для вычисления интегралов с особенностями.
Литература[править | править код]
Дмитрий Письменный. Конспект лекций по высшей математике, часть 1. — Айрис Пресс, 2007. — С. 233-237.