Оглавление:
Определённый интеграл называется несобственным, если выполняется по крайней мере одно из следующих условий.
- Область интегрирования является бесконечной. Например, является бесконечным промежутком
- Функция
является неограниченной в окрестности некоторых точек области интегрирования.
Если интервал конечный и функция интегрируема по Риману, то значение несобственного интеграла совпадает со значением определённого интеграла.
Интегралы с бесконечными пределами интегрирования
Понятие определенного интеграла связано с функцией, рассматриваемой на некотором конечном отрезке так что область интегрирования в определенном интеграле всегда ограничена. Однако часто приходится иметь дело с функциями в неограниченных областях: в бесконечных полуинтервалах вида
или же в интервале
С подобной ситуацией мы встречаемся, например, при вычислении потенциала гравитационной или электростатической силы.
Чтобы распространить понятие определенного интеграла на случай неограниченных областей интегрирования, нужны новые определения, устанавливающие, что следует понимать под символами
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38537.png)
Пусть функция определена для всех
и интегрируема (например, непрерывна) на каждом конечном отрезке
где a — фиксировано, a
— произвольно. Определим, что мы будем понимать под символом
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38693.png)
(несобственный интеграл 1-го рода). Рассмотрим функцию аргумента
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38697.png)
Определение:
Если при функция
имеет конечный предел L, то мы называем несобственный интеграл (1) сходящимся и полагаем по определению
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38704.png)
Если при функция
не имеет (конечного) предела, то мы называем интеграл (1) расходящимся и не приписываем ему никакого числового значения.
Пример:
Рассмотрим несобственный интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38714.png)
По определению:
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38716.png)
так что интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38717.png)
сходится и равен
Пример:
Рассмотрим несобственный интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38720.png)
Так как интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38722.png)
не имеет предела при то данный несобственный интеграл расходится.
Пример:
Пусть точечные электрические заряды имеют одинаковые знаки, например,
и
так что заряд
будет отталкивать заряд
По закону Кулона сила F электростатического взаимодействия в вакууме двух точечных электрических зарядов равна
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38737.png)
где r — расстояние между зарядами, k — постоянная.
Пусть заряд помещен в точке
которая принимается за начало отсчета. Требуется найти работу А по перемещению заряде
из точки М, отстоящей от точки
на расстоянии
в бесконечность. Искомая работа А выражается несобственным интегралом
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38742.png)
По определению
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38744.png)
Таким образом, Если
— единичный заряд, то
Эта величина называется потенциалом поля, создаваемого зарядом
Пример:
Рассмотрим интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38752.png)
Установим, при каких значениях а интеграл (3) сходится и при каких расходится. По определению имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38754.png)
Пусть Тогда
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38862.png)
Поэтому, если a> 1, то
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38866.png)
так что при а > 1 интеграл (3) сходится; если же а < 1, то при интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38875.png)
не имеет конечного предела, так что при а < 1 интеграл (3) расходится. Пусть а=1. Тогда
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38884.png)
откуда видно, что при а = 1 интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38888.png)
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38890.png)
Полученные результаты имеют простой геометрический смысл. Рассмотрим область D, ограниченную слева прямой х =1, снизу — осью Ох, а сверху — кривой (рис. 1). Вправо эта область простирается безгранично. Условимся под площадью всей бесконечной области D понимать предел площади конечной ее части до прямой х=b (рис. 2) при
Тогда полученные выше результаты будут означать, что если область D сверху ограничена кривой
где а > 1, то она имеет конечную площадь, если же верхняя граница области D есть гипербола
или кривая
где а < 1, то говорить о площади области D не имеет смысла.
Замечание:
Нетрудно видеть, что для любого интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38911.png)
также сходится при а > 1 и расходится при
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38917.png)
Пользуясь определением несобственного интеграла
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38921.png)
можно доказать справедливость следующих утверждений.
1. Если интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38923.png)
сходится и — любое действительное число, то интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38931.png)
также сходится, причем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38933.png)
2.Если интегралы
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38937.png)
сходятся, то интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38938.png)
также сходится, причем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38941.png)
Действительно, для любого
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38945.png)
Каждое слагаемое в правой части (5) имеет предел при Значит, существует предел левой части (5) при
т. е. интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38953.png)
сходится. Переходя в равенстве (5) к пределу при получаем равенство (4).
Задача:
Пусть интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38966.png)
сходится. Что можно сказать о сходимости интегралов
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38968.png)
Можно показать, что если функции непрерывно дифференцируемы на полупрямой
то
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38977.png)
(формула интегрирования по частям). При этом предполагается, что из трех входящих в равенство (6) выражений (два интеграла и двойная подстановка) имеют смысл по крайней мере два; существование третьего отсюда уже вытекает.
Пример:
Рассмотрим интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38981.png)
(n — натуральное число или нуль).
Интегрируя по частям, находим
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38984.png)
Замечая, что
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38987.png)
получаем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-38989.png)
Несобственные интегралы 1-го рода от неотрицательных функций. Теоремы сравнения
Во многих задачах вычислять несобственный интеграл не требуется, а нужно лишь установить, сходится ли этот интеграл или расходится. Вопрос о сходимости или расходимости несобственногоинтеграла часто решается с помощью теорем сравнения.
Теорема:
Пусть на отрезке при любом
функции
интегрируемы и
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39005.png)
Тогда
1) если интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39010.png)
сходится, то сходится и интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39027.png)
2) если интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39030.png)
расходится, то расходится и интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39033.png)
1) Пусть интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39035.png)
сходится. Докажем, что сходится и интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39037.png)
т. е. имеет конечный предел при
Прежде всего из неотрицательности функции следует, что
есть неубывающая функция от Ь. Действительно, если
то
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39057.png)
Далее, т. к. то при любом
имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39067.png)
Интеграл не превосходит несобственного интеграла
который по условию сходится. Следовательно, при любом b> а имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39074.png)
Итак, интеграл представляет собой функцию от b, неубывающую и ограниченную сверху (при
Поэтому
имеет конечный предел при
а это, согласно определению, означает, что интеграл
сходится.
Первое утверждение теоремы доказано.
2) Докажем второе ее утверждение. Пусть интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39094.png)
расходится. Применяя метод рассуждения от противного, допустим, что интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39096.png)
сходится. Тогда, согласно уже доказанной первой части теоремы, будет сходящимся интеграл что противоречит условию. Следовательно, наше допущение неверно, т. е. интеграл
расходится.
Пример:
Рассмотрим несобственный интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39105.png)
Исследовать его на сходимость при помощи определения не представляется возможным. Воспользуемся тем, что для всех функция
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39114.png)
удовлетворяет условию
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39116.png)
Так как интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39119.png)
сходится, то в силу теоремы 1 сходится и рассматриваемый интеграл.
Теорема:
Пусть функции непрерывны и неотрицательны для всех
и пусть
отлична от нуля для всех достаточно больших х. Тогда, если существует конечный предел
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39134.png)
то интегралы
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39137.png)
сходятся или расходятся одновременно.
Пусть
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39180.png)
Это означает, согласно определению предела, что для всякого числа например,
существует такое число N, что для всех
выполняется неравенство
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39195.png)
или, что то же,
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39198.png)
Отсюда, в силу того, что получаем двойное неравенство
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39203.png)
Пользуясь теоремой 1, из неравенства заключаем: если интеграл
сходится, то сходится и интеграл
из неравенства
усматриваем: если интеграл
расходится, то расходится и интеграл
Аналогично устанавливаем, что если интеграл
сходится (расходится), то интеграл
будет также сходящимся (расходящимся).
Полученные выводы остаются в силе и для интегралов Это следует из того, что интеграл
будет сходящимся или нет одновременно с интегралом
где
— сколь угодно большое фиксированное число, поскольку разность этих интегралов является собственным интегралом.
Пример:
Исследовать на сходимость интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39253.png)
На полупрямой подынтегральная функция
Запишем ее так:
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39263.png)
Отсюда видно, что для больших х функция ведет себя как
Выберем а качестве функции сравнения
Будем иметь
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39273.png)
Интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39282.png)
расходится. В силу теоремы 2 расходится и данный интеграл.
Используя теорему 1, а также результаты, касающиеся интеграла приходим к следующим признакам сходимости и расходимости интеграла
от неотрицательной функции
Теорема 3. Если существует такое число а > 1, что для всех достаточно больших х
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39295.png)
где М > 0 и не зависит от х, то интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39297.png)
сходится.
Если для всех достаточно больших х
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39300.png)
то интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39302.png)
расходится.
Пусть условие
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39303.png)
выполнено для всех Так как интеграл
для
сходится, то, взяв в качестве
функцию
по теореме 1 получим, что сходится и интеграл
Отсюда, в свою очередь, вытекает сходимость интеграла
так как
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39320.png)
и при интегралы
имеют конечные пределы только одновременно.
Пусть теперь для всех выполнено условие
Так как интеграл
расходится, то по теореме 1 расходится и интеграл
а вместе с ним и интеграл
Пример:
Исследовать на сходимость интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39365.png)
Для имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39368.png)
Интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39369.png)
сходится Следовательно, сходится и данный интеграл.
Абсолютно сходящиеся интегралы 1-го рода
Пусть функция определена для
и интегрируема на любом отрезке
где
Определение:
Интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39389.png)
называется абсолютно сходящимся, если сходится интеграл
Если интеграл сходится,
расходится, то
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39401.png)
называют (условно) сходящимся интегралом.
Теорема:
Если интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39411.png)
сходится, то сходится и интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39412.png)
Пусть интеграл сходится,
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39425.png)
Так как для всякого х из области определения функции
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39433.png)
то
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39435.png)
Вместе с интегралом который сходится по условию, сходится и интеграл
Поэтому, согласно 1-й теореме сравнения, из (1) следует, что сходится также и интеграл
Последнее означает, что интеграл
имеет конечный предел.
Имеем, очевидно,
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39522.png)
откуда для всякого
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39525.png)
Каждое слагаемое правой части (2) имеет конечный предел при Следовательно, интеграл
при
также имеет конечный предел, т. е. интеграл
сходится.
Теорема 1 и результаты касающиеся интегралов позволяют сформулировать следующий признак абсолютной сходимости интеграла
Теорема:
Если существует такое число а > 1, что для всех достаточно больших х функция удовлетворяет условию
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39539.png)
где М > 0 и не зависит от х, то интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39540.png)
сходится абсолютно.
В самом деле, пусть условие (3) выполнено для всех Так как интеграл
сходится, то по теореме 1 сходится интеграл
А тогда сходится и интеграл
и, значит, интеграл
сходится абсолютно.
Пример:
Рассмотрим интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39565.png)
Имеем, очевидно, Интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39569.png)
сходится, следовательно, данный интеграл сходится абсолютно.
Итак, если интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39571.png)
сходится абсолютно, то он сходится. Обратное неверно: интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39572.png)
может быть сходящимся, но не быть абсолютно сходящимся.
Пример:
Рассмотрим интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39574.png)
Для исследования его сходимости применим формально интегрирование по частям:
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39575.png)
Интеграл сходится абсолютно и, значит, сходится. Таким образом, оба выражения в правой части (5) конечны. Поэтому, во-первых, проделанное интегрирование по частям законно, а во-вторых, левая часть конечна, т.е. интеграл
сходится.
Покажем теперь, что интеграл (4) не сходится абсолютно, т. е, что интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39582.png)
ресходится. Действительно, из неравенства
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39584.png)
при любом имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39587.png)
Интеграл расходится:
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-39652.png)
Интеграл сходится. Чтобы а этом убедиться, достаточно проинтегрировать его по частям (см. (5)). Перехода в неравенстве (7) к пределу при
получим, что правая, а следовательно, и левая часть этого неравенства стремитьса к бесконечности и поэтому интеграл (S) расходится. Таким образом, интеграл (4) не сходится абсолютно.
Приведем один достаточной критерий сходимости интегралов, называемый признаком Абеля—Дирихле.
Теорема:
Пусть
1)функция непрерывна и имеет ограниченную первообразную
при
2) функция непрерывно дифференцируема при
3) функция монотонно убывает при
4)
Тогда интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40427.png)
сходится.
Пример:
Применим признак Абеля—Дирихле к исследованию сходимости интеграла
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40428.png)
Функция имеет всюду ограниченную первообразную
а непрерывно дифференцируемая при
функция
монотонно убывает и стремится к нулю, когда
Все условия теоремы Абеля—Дирихле выполнены, так что интеграл (8) сходится.
Задача:
Доказать сходимость интеграла Френеля
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40441.png)
(Указание: сделать замену переменной
Главное значение интеграла 1-го рода
Несобственный интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40443.png)
определяется следующим образом:
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40444.png)
Интеграл называется сходящимся, если указанный предел существует,и расходящимся в противном случае.
Если оба предела интегрирования бесконечны, то по определению полагают
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40769.png)
или
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40771.png)
независимо друг от друга). Может оказаться, что определенный таким образом несобственный интеграл не существует, но существует главное значение интеграла по Коши, определяемое по формуле
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40774.png)
т. е. когда — начальные буквы слов valeur principal — главное значение). Тогда говорят, что несобственный интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40780.png)
сходится в смысле главного значения по Коши.
Пример:
Рассмотрим интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40781.png)
Имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40782.png)
откуда видно, что при произвольном стремлении интеграл
предела не имеет, т.е. интеграл
расходится. В то же время
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40791.png)
т.е. рассматриваемый интеграл сходится в смысле главного значения по Коши.
Интегралы от неограниченных функций
Необходимым условием существования определенного интеграла
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40795.png)
является ограниченность функции на отрезке
Так что, если, например, функция
интегрируема на отрезке
и неограничен в окрестности точки х =b, то интеграл от
на
в обычном смысле (в смысле Римана) не может существовать. Однако при помощи новых определений понятие интеграла можно распространить и на такие случаи, когда подынтегральная функция оказывается неограниченной на отрезке интегрирования.
Пусть функция интегрируема на отрезке
при любом как угодно малом
но не ограничена в интервале
(см. рис. 3). Определим, что мы будем понимать под символом
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40807.png)
(несобственный интеграл 2-го рода). Для этого рассмотрим функцию от
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40809.png)
Определение:
Если при функция
имеет конечный предел L, то мы говорим, что несобственный интеграл
сходится, и полагаем по определению
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40814.png)
Если при функция
не имеет предела, то говорят, что несобственный интеграл (1) расходится и не приписывают ему никакого числового значения.
Пример:
Рассмотрим интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40817.png)
Здесь функция непрерывна и, значит, интегрируема на любом отрезке
функция
Имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40833.png)
так что рассматриваемый несобственный интеграл сходится.
Аналогично, если функция неограничена только в интервале
несобственный интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40836.png)
определяется так:
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40838.png)
Несобственный интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40839.png)
называется сходящимся, если указанный предел существует, и расходящимся — в противном случае.
Пример:
Исследовать на сходимость интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40843.png)
По определению
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40844.png)
Так как при
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40847.png)
то
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40850.png)
если же то интеграл
не имеет конечного предела при
При имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40858.png)
Следовательно,
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40860.png)
Если функция на отрезке
не ограничена только в окрестности точки с, где
то полагаем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40905.png)
Рассмотрение других вариантов распределения особенностей функции предоставляем читателю.
Несобственные интегралы 2-го рода от неотрицательных функций. Теоремы сравнения
Теорема:
Пусть функции интегрируемы на отрезке
при любом сколь угодно малом
неограничены в интервале
и связаны условием
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40914.png)
Тогда
1)если интеграл сходится, то сходится интеграл
2) если интеграл расходится, то расходится интеграл
Пусть интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40922.png)
сходится, т. е. существует
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40923.png)
Докажем, что интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40925.png)
также сходится, т. е. что функция имеет конечный предел при
В самом деле, так как
то для любого
функция
неотрицательна и не убывает при убывании
Кроме того, из условия
при любом
имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40939.png)
Интеграл не превосходит интеграла
который по условию сходится. Следовательно, для любого
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40944.png)
Таким образом, есть неубывающая при
ограниченная сверху функция. Поэтому существует конечный предел
при
что означает, согласно определению, сходимость несобственного интеграла
Справедливость второго утверждения теоремы легко доказывается методом рассуждения от противного.
Теорема:
Пусть положительные на функции
неограничены только в окрестности точки х =b, и пусть существует предел
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40956.png)
Тогда интегралы
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40957.png)
сходятся или расходятся одновременно.
Пример:
Исследовать на сходимость интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40959.png)
Интеграл является объединением несобственных интегралов 1-го и 2-го рода. Действительно, во-первых, это интеграл с бесконечным верхним пределом, в во-вторых, подынтегральная функция
не определена в точке х = 0 и становится неограниченной при
для достаточно большого
Для исследования сходимости интеграла разобьем промежуток интегрирования на два так, чтобы первый промежуток учитывал особенность функции
в точке х = 0, а второй — поведение функции
при
Выберем, например, полуинтервалы
Тогда будем иметь
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40980.png)
Рассмотрим интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40982.png)
Для исследования его сходимости воспользуемся теоремой 6. Известно, что Положив
будем иметь
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-40986.png)
Интеграл сходится при
В силу теоремы 8 интеграл
также сходится при а < 2.
Рассмотрим теперь интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41012.png)
Воспользуемся теоремой 2, положив Имеем
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41018.png)
Интеграл сходится при a > 1. а поэтому при a > 1 сходится и рассматриваемый интеграл.
Значит, оба интеграла в правой части равенства (**) будут сходиться лишь когда 1 < а < 2. Это и есть условие сходимости интеграла (*).
Абсолютно сходящиеся интегралы 2-го рода
Определение:
Интеграл называется абсолютно сходящимися, если сходится интеграл
Теорема:
Если сходится интеграл то сходится и интеграл
Пользуясь теоремой 7, нетрудно доказать следующий признак абсолютной сходимости интеграла.
Теорема:
Пусть функция неограничена только в интервале
где
сколь угодно мало. Если существует такое положительное число а < 1, что для всех х, достаточно близких к b,
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41046.png)
где М > 0 и не зависит от х, то интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41047.png)
сходится абсолютно.
Задача:
Показать, что если для всех х, достаточно близких к b, х <b
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41048.png)
то интеграл
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41049.png)
абсолютно сходиться не может.
Замечание:
Интегралы второго рода приводятся к интегралам первого рода с помощью подстановок Поэтому элементарную теорию несобственных интегралов 2-го рода можно вывести из теории интегралов 1-го рода.
Главное значение интеграла 2-го рода
Пусть функция интегрируема на отрезках
при любом
и не ограничена в окрестности точки с. Тогда,
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41056.png)
причем для сходимости интеграла предел должен существовать при независимом стремлении к нулю.
Говорят, что несобственный интеграл сходится в смысле главного значения по Коши, если существует предел
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41061.png)
одно в обоих интегралах). Величину
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41067.png)
называют главным значением интеграла по Коши. Очевидно, что интеграл может быть сходящимся в смысле главного значения, но не быть сходящимся.
Пример:
Пусть где
Тогда
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41091.png)
Предел правой части (1) при произвольном стремлении к нулю не существует. Положим
Тогда при
предел правой части существует и есть главное значение рассматриваемого интеграла
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41100.png)
Задача:
Пусть функция определена а окрестности
точки х = 0, кроме, выть может, самой этой точки, и не ограничена при
Известно, что всякую функцию
а окрестности точки х=0 можно однозначно представить в виде суммы четной и нечетной функций
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41110.png)
Показать, что
![Несобственные интегралы](https://lfirmal.com/wp-content/uploads/image-41111.png)
существует, если существует интеграл — четная составляющая функции
Дополнение к несобственным интегралам
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_1-327.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_2-316.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_3-288.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_4-238.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_5-163.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_6-129.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_7-88.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_8-74.png)
![](https://lfirmal.com/wp-content/uploads/2019/12/Screenshot_9-60.png)
Смотрите также:
Решение заданий и задач по предметам:
Дополнительные лекции по высшей математике:
- Тождественные преобразования алгебраических выражений
- Функции и графики
- Преобразования графиков функций
- Квадратная функция и её графики
- Алгебраические неравенства
- Неравенства
- Неравенства с переменными
- Прогрессии в математике
- Арифметическая прогрессия
- Геометрическая прогрессия
- Показатели в математике
- Логарифмы в математике
- Исследование уравнений
- Уравнения высших степеней
- Уравнения высших степеней с одним неизвестным
- Комплексные числа
- Непрерывная дробь (цепная дробь)
- Алгебраические уравнения
- Неопределенные уравнения
- Соединения
- Бином Ньютона
- Число е
- Непрерывные дроби
- Функция
- Исследование функций
- Предел
- Интеграл
- Двойной интеграл
- Тройной интеграл
- Интегрирование
- Неопределённый интеграл
- Определенный интеграл
- Криволинейные интегралы
- Поверхностные интегралы
- Кратные интегралы
- Интегралы, зависящие от параметра
- Квадратный трехчлен
- Производная
- Применение производной к исследованию функций
- Приложения производной
- Дифференциал функции
- Дифференцирование в математике
- Формулы и правила дифференцирования
- Дифференциальное исчисление
- Дифференциальные уравнения
- Дифференциальные уравнения первого порядка
- Дифференциальные уравнения высших порядков
- Дифференциальные уравнения в частных производных
- Тригонометрические функции
- Тригонометрические уравнения и неравенства
- Показательная функция
- Показательные уравнения
- Обобщенная степень
- Взаимно обратные функции
- Логарифмическая функция
- Уравнения и неравенства
- Положительные и отрицательные числа
- Алгебраические выражения
- Иррациональные алгебраические выражения
- Преобразование алгебраических выражений
- Преобразование дробных алгебраических выражений
- Разложение многочленов на множители
- Многочлены от одного переменного
- Алгебраические дроби
- Пропорции
- Уравнения
- Системы уравнений
- Системы уравнений высших степеней
- Системы алгебраических уравнений
- Системы линейных уравнений
- Системы дифференциальных уравнений
- Арифметический квадратный корень
- Квадратные и кубические корни
- Извлечение квадратного корня
- Рациональные числа
- Иррациональные числа
- Арифметический корень
- Квадратные уравнения
- Иррациональные уравнения
- Последовательность
- Ряды сходящиеся и расходящиеся
- Тригонометрические функции произвольного угла
- Тригонометрические формулы
- Обратные тригонометрические функции
- Теорема Безу
- Математическая индукция
- Показатель степени
- Показательные функции и логарифмы
- Множество
- Множество действительных чисел
- Числовые множества
- Преобразование рациональных выражений
- Преобразование иррациональных выражений
- Геометрия
- Действительные числа
- Степени и корни
- Степень с рациональным показателем
- Тригонометрические функции угла
- Тригонометрические функции числового аргумента
- Тригонометрические выражения и их преобразования
- Преобразование тригонометрических выражений
- Комбинаторика
- Вычислительная математика
- Прямая линия на плоскости и ее уравнения
- Прямая и плоскость
- Линии и уравнения
- Прямая линия
- Уравнения прямой и плоскости в пространстве
- Кривые второго порядка
- Кривые и поверхности второго порядка
- Числовые ряды
- Степенные ряды
- Ряды Фурье
- Преобразование Фурье
- Функциональные ряды
- Функции многих переменных
- Метод координат
- Гармонический анализ
- Вещественные числа
- Предел последовательности
- Аналитическая геометрия
- Аналитическая геометрия на плоскости
- Аналитическая геометрия в пространстве
- Функции одной переменной
- Высшая алгебра
- Векторная алгебра
- Векторный анализ
- Векторы
- Скалярное произведение векторов
- Векторное произведение векторов
- Смешанное произведение векторов
- Операции над векторами
- Непрерывность функций
- Предел и непрерывность функций нескольких переменных
- Предел и непрерывность функции одной переменной
- Производные и дифференциалы функции одной переменной
- Частные производные и дифференцируемость функций нескольких переменных
- Дифференциальное исчисление функции одной переменной
- Матрицы
- Линейные и евклидовы пространства
- Линейные отображения
- Дифференциальные теоремы о среднем
- Теория устойчивости дифференциальных уравнений
- Функции комплексного переменного
- Преобразование Лапласа
- Теории поля
- Операционное исчисление
- Системы координат
- Рациональная функция
- Интегральное исчисление
- Интегральное исчисление функций одной переменной
- Дифференциальное исчисление функций нескольких переменных
- Отношение в математике
- Математическая логика
- Графы в математике
- Линейные пространства
- Первообразная и неопределенный интеграл
- Линейная функция
- Выпуклые множества точек
- Система координат