Определение 1. Предположим, что функция задана на бесконечном промежутке вида и интегрируема на любом конечном отрезке , где . Таким образом, можно рассмотреть функцию Если эта функция имеет предел то число называется значением несобственного интеграла первого рода а сам интеграл называется сходящимся (иными словами, интеграл сходится). Если же предела не существует (например, если при ), то интеграл называется расходящимся (то есть расходится) и не имеет никакого числового значения.
Геометрически, в случае , величина несобственного интеграла означает, по определению, площадь бесконечно длинной области , лежащей в координатной плоскости между лучом на оси , графиком и вертикальным отрезком (см.рис. 1).
Рис. 1.
Сходящиеся интегралы соответствуют таким областям , площадь которых конечна (хотя сама область неограничена), а расходящиеся (в случае )- неограниченным областям с бесконечной площадью. В случае, когда при , часто пишут формально: однако нужно понимать, что эта запись означает расходимость интеграла и отсутствие у него числового значения.
Само определение значения интеграла через предел интегралов по конечным, но увеличивающимся отрезкам означает исчерпание площади путем учёта все большей её части правый вертикальный отрезок, проведённый при , отодвигается всё дальше и дальше в бесконечность; в пределе будет учтена вся площадь под графиком (см.рис. 2).
Рис. 2.
Замечание 1 Для краткости записи, предел подстановки
возникающий при вычислении несобственного интеграла, часто обозначают как под подстановкой значения в функцию понимая как раз вычисление предела
Пример 1. Рассмотрим теперь несобственный интеграл далее имеем: то есть при . Значит, несобственный интеграл расходится и, следовательно, не имеет никакого числового значения.
Рис.3.
Геометрически это означает, что площадь под графиком , лежащая от 1 до , бесконечно велика (несмотря, заметим, на то, что функция убывает и стремится к 0 при ; однако это стремление к 0 недостаточно быстрое для того, чтобы интеграл сходился).
Определение 2. Предположим, что функция задана на бесконечном промежутке вида и интегрируема на любом конечном отрезке , где . Таким образом, мы можем рассмотреть функцию Если эта функция имеет предел то число называется значением несобственного интеграла первого рода а сам интеграл называется сходящимся (то есть сходится). Если же предела не существует, то интеграл называется расходящимся (то есть расходится) и не имеет никакого числового значения.
Геометрически, в случае неотрицательной подынтегральной функции , вычисление несобственного интеграла означает нахождение площади бесконечно длинной области , лежащей между осью и графиком , левее вертикальной линии . Условие означает, что исчерпываем всю площадь, отодвигая всё левее, «в минус бесконечность», линию , временно ограничивающую рассматриваемую часть области справа (см.рис 4.).
Рис.4.
В интегралах и знаки и называют несобственными концами промежутка интегрирования, или несобственными пределами интегрирования. Данные нами определения означают, что при вычислении несобственных интегралов первого рода нужно «обрезать» несобственный предел некоторым конечным значением ( или ), вычислить определённый интеграл по получившемуся конечному промежутку , а затем устремить в бесконечность конечный предел или . Очевидно, что при изменении направления на оси , то есть при замене , интеграл переходит в равный ему интеграл и, соответственно, после перехода к пределу, несобственный интеграл переходит в равный ему интеграл . Таким образом, все свойства интегралов по промежутку повторяют соответствующие свойства интегралов по промежутку .
Определение 3. Пусть функция определена при всех и интегрируема на любом отрезке . Возьмём произвольное значение (например, ) и будем считать по определению несобственный интеграл равным сумме двух несобственных интегралов по промежуткам и , то есть Если при этом оба несобственных интеграла в правой части сходятся, то и интеграл считается сходящимся, а если хотя бы один из них расходится (при этом неважно, сходится или расходится другой), то и интеграл считается расходящимся (тогда он не имеет никакого числового значения).
Для корректности данного определения интеграла по всей оси нам следует доказать, что результат не зависит от выбора точки , то есть при выборе двух разных точек и определение даёт одно и то же, поскольку
Действительно, пусть . Тогда, при любых конечных и мы, согласно аддитивности определённого интеграла, имеем:
Переходя теперь два раза к пределу, сначала при , а потом при , получаем доказываемую формулу (1).
В дальнейшем для облегчения записи того, сходится или расходится несобственный интеграл, мы будем использовать следующие обозначения. Тот факт, что интеграл сходится, будем записывать в виде такого неравенства: а то, что интеграл расходится — в виде условной записи (даже если функция не стремится к при ). Особенно часто такие обозначения применяются в случае, когда при всех ; тогда «равенство» отвечает тому факту, что соответствующая область под графиком функции имеет бесконечную площадь. Аналогичные обозначения будем применять и для интегралов по промежуткам вида и по всей оси, а также, в дальнейшем, и для несобственных интегралов второго рода (от неограниченных функций).
Несобственные интегралы второго рода
Пусть на полуинтервале задана функция , интегрируемая на любом отрезке , где , однако не интегрируемая на отрезке . В точке эта функция может быть вовсе не определена и стремиться к при , любо вовсе не иметь никакого предела при этой базе. Рассмотрим функцию она определена при . Эта функция может иметь предел при (левосторонний предел). Этот предел будем называть значением интеграла от по всему полуинтервалу и обозначать в точности как обычный интеграл:
Определение 4. Пусть функция удовлетворяет указанным выше условиям на . Несобственным интегралом второго рода назовём тогда интеграл значение которого равняется левостороннему пределу
Если этот предел существует, то несобственный интеграл называется сходящимся, а если предела не существует, то расходящимся. Расходящемуся интегралу не приписывается никакого числового значения; в этом случае будем условно писать Геометрически вычисление несобственного интеграла второго рода представляет собою (при ) исчерпание плошади неограниченной фигуры под графиком функции над с помощью вычисления плошадей ограниченных фигур, получающихся над отрезком , а затем приближением правого конца к точке (см.рис. 4).
Рис.4.
Площадь неограниченной фигуры, изображённой на рисунке, по определению равна значению несобственного интеграла .
Замечание 2. Как и в случае несобственных интегралов первого рода, часто понимают вычисление предела подстановки как подстановку с верхним предельным значением : имея в виду, что подстановка верхнего предела интегрирования означает переход к левостороннему пределу при .
Определение 5. Аналогично интегралу по полуинтервалу от функции с особенностью в точке , определяется несобственный интеграл второго рода от функции , имеющей особенность в точке полуинтервала : если существует предел
В случае существования указанного предела интеграл называется сходящимся, а в случае, когда предел не существует,- расходящимся.
Замечание 3. Если сделать замену , то несобственный интеграл от функции, имеющей особенность в правом конце промежутка интегрирования, переходит в несобственный интеграл от функции с особенностью в левом конце промежутка, и наоборот (проверьте это утверждение, сделав замену в интеграле , где при ). Поэтому свойства несобственных интегралов второго рода достаточно устанавливать лишь в каком-нибудь одном случае, например, в случае особенности в правом конце промежутка, а свойства интегралов с особенностью функции в левом конце будут получаться очевидными переформулировками.
Критерий Коши сходимости несобственного интеграла
- Пусть f(x) определена на множестве от и .
Тогда сходится
- Пусть f(x) определена на (a,b] и .
Тогда сходится
Абсолютно и условно сходящиеся несобственные интегралы
Определение 7. Если несобственный интеграл сходится, то несобственный интеграл называется абсолютно сходящимся.
Если же несобственный интеграл расходится, а несобственный интеграл сходится, а несобственный интеграл называется условно сходящимся.
Заметим, что доказанная только что теорема означает в точности, что любой абсолютно сходящийся интеграл сходится.
Определение 8. Неотрицательная функция называется мажорантой для функции на множестве , лежащем в области определения обеих функций, если при всех
Теорема 4. Пусть для функции , интегрируемой на любом отрезке , существует мажоранта на , причём несобственный интеграл сходится. Тогда несобственный интеграл тоже сходится, и .
Примеры исследования интегралов на абсолютную сходимость:
Пример 4..
интеграл от большей функции сходится, следовательно, сходится, следовательно, исходный интеграл сходится абсолютно.
Пример 5..
первый множитель, , стремится к нулю при , следовательно, ограничен: , интеграл от последней функции сходится, следовательно, исходный интеграл сходится абсолютно.
Пример 6.
Так как , то исходный интеграл сходится абсолютно.
Признаки сходимости и расходимости несобственных интегралов
Теорема 1. Пусть фиксировано число и функция интегрируема на любом отрезке , где . Тогда если несобственный интеграл сходится, то при любом сходится интеграл . Обратно, если при некотором сходится интеграл , то сходится и интеграл .
Теорема 2 (теоpема сpавнения) Пусть даны две функции и , заданные на , причём при всех выполняется неравенство
Тогда из сходимости интеграла от большей функции, , следует сходимость интеграла от меньшей функции, , причём а из расходимости интеграла от меньшей функции, , следует расходимость интеграла от большей функции, :
Геометрически доказанное утверждение почти очевидно: оно означает, что если площадь под верхним графиком на следующем рисунке (она заштрихована), конечна, то конечна и имеет меньшее значение площадь под нижним графиком (она имеет двойную штриховку).
Рис. 5.
Если условие неотрицательности функций и не предполагается, то оба утверждения теоремы могут оказаться не верны: так, если взять и при всех , то интеграл от большей функции,
оказывается сходящимся (его значение, очевидно, равно 0), а интеграл от меньшей функции, — расходится (докажите расходимость, вычислив интеграл и рассмотрев его поведение при ).
При помощи теоремы 2 можем в некоторых случаях исследовать сходимость интеграла, не вычисляя его значения. Для доказательства сходимости интеграла от функции достаточно найти более простую функцию , для которой интеграл легко вычисляется и сходится. Согласно теореме, тогда исходный интеграл тоже сходится, причём мы получаем оценку его величины: . Если же нам нужно доказать расходимость интеграла , то достаточно найти такую (более просто устроенную) функцию , что и интеграл расходится.
Признак сходимости Абеля:
- пусть функции f(x) и g(x) определены в промежутке , причём f(x) интегрируема в этом промежутке, т.е. интеграл сходится (условно или абсолютно);
- g(x) монотонна и ограничена: .
Тогда интеграл сходится.
Признак сходимости Дирихле:
- пусть функция f(x) интегрируема в любом конечном промежутке [a, b], и интеграл по этому промежутку ограничен (как функция верхнего предела b): ;
- g(x) монотонно стремится к нулю при : .
Тогда интеграл сходится.
Эталонные интегралы
Пример 2. Рассмотрим интеграл
Если , то подынтегральная функция стремится к при , так что получается несобственный интеграл второго рода.
Рассмотрим такие случаи:
1) . Тогда интеграл вычисляется так:
поскольку при имеем и
2) . Тогда то есть интеграл расходится, поскольку при .
3) . Тогда и интеграл снова расходится, поскольку при , если показатель .
Заметим также, что при интеграл не является несобственным: это обычный (то есть собственный) интеграл от непрерывной ограниченной функции. Единственная неприятность получается при , поскольку тогда подынтегральная функция не определена при (и тождественно равна 1 при ). Но мы знаем, согласно одному из свойств определённого интеграла, что значение подынтегральной функции в одной точке можно изменить без изменения значения интеграла. Так что достаточно переопределить значение в 0, положив и получив собственный интеграл
Пример 3. Определим, при каких значениях показателя интеграл
cходится. Рассмотрим случай . Тогда
Поскольку при Значит, при интеграл сходится и имеет значение Рассмотрим случай . Тогда
поскольку
(то есть предела не существует) и . Значит, при интеграл расходится. Рассмотрим случай . Тогда
поскольку при Значит, при интеграл расходится. Итак, интеграл сходится (и функция определена и равна ) только при ; при интеграл расходится.
Теорема 3. Если интеграл сходится, то сходится также интеграл причём имеет место неравенство