12 Несобственный интеграл Римана
Ошибка.
Попробуйте повторить позже
При каких значениях параметра сходится несобственный интеграл II рода
(особенность - на нижнем пределе интегрирования, в котором подынтегральная функция даже не определена).
Поскольку для любого интеграл определен, т.к. на любом отрезке , подынтегральная функция - непрерывна при любом , а следовательно интегрируема на нём, поэтому исходный несобственный интеграл сходится тогда и только тогда, когда существует конечный предел
Но у подынтегральной функции легко найти первообразную:
Сразу ясно, что при предела нет, поскольку при .
Далее,имеем: и при показатель степени будет отрицательным, то
есть и в знаменателе стоит в положительной степени, а поэтому при дробь
будет стремиться к и поэтому соответствующего предела тоже не будет существовать.
Наоборот, при показатель степени будет положительным, поэтому будет
стремиться к 0 при . Следовательно, при
Ошибка.
Попробуйте повторить позже
Вычислить несобственный интеграл I рода
Ошибка.
Попробуйте повторить позже
Пусть . Доказать, что тогда значение интеграла
понимаемого в собственном смысле (как предел интегральных сумм)
и интеграла
понимаемого в несобственном смысле (т.е. как ) - совпадают.
То есть, если применить конструкцию несобственного интеграла II рода к
интегрируемой по Риману на всём отрезке функции - то есть интегрируемой в
обычном смысле, то несобственный интеграл в таком случае окажется равен
собственному.
Это показывает, что наша конструкция несобственного интеграла действительно
расширяет прежнее понятие интеграла Римана - в случае, если её применить к
функциям, и так интегрируемым в прежнем смысле, мы получим то же самое.
Оговоримся, что аналогичное утверждение для несобственного интеграла I рода мы не
формулируем силу того, что никакая функция не может быть интегрируема в старом
смысле по бесконечному промежутку.
Рассмотрим функцию
Если интегрируема на , то функция будет непрерывна в каждой точке
отрезка - по свойству непрерывности интеграла с переменным верхним пределом.
Но тогда интеграл , понимаемый в несобственном смысле, то есть как - это
есть не что иное, как . Но в силу непрерывности такой предел равен значению в
точке , то есть - который понимается уже в собственном смысле обыкновенного
определенного интеграла Римана.
Следовательно, в случае если интегрируема на , значения интеграла , понимаемого
как в собственном, так и в несобственном смысле, совпадают.
Ошибка.
Попробуйте повторить позже
Исследовать на сходимость интеграл
Поскольку на функция неотрицательна и при этом
То мы можем применить теорему сравнения.
А именно, нетрудно проверить, что интеграл - сходится.
Действительно, для любого мы имеем по теореме Ньютона-Лейбница:
А следовательно,
Но тогда по теореме сравнения из того, что на следует, что и интеграл
- тоже сходится.
Ошибка.
Попробуйте повторить позже
Исследовать на сходимость интеграл
Во-первых, заметим, что при функция - знакопостоянна, так как там
находится в пределах , а значит - в пределах . Значит, мы вправе применять все
наши теоремы сравнения.
Во-первых, отметим, что при функция эквивалентна функции . Действительно,
докажем это:
Следовательно, по следствию из теорем сравнения, так как при , то интегралы
и
сходятся или расходятся одновременно.
Однако при любом интеграл
по Ньютону-Лейбницу будет равен
То получаем, что
Последний предел легко вычислить по Лопиталю:
Следовательно, существует предел , а вслед за ним существует и несобственный интеграл , но а тогда существует и исходный интеграл , поскольку с интегралом они существует или не существуют одновременно.
Ошибка.
Попробуйте повторить позже
Исследовать на сходимость интеграл
Во-первых, заметим, что . Далее, давайте покажем, что при
функция эквивалентна функции .
Действительно,
(Здесь в конце мы воспользовались тем, что при , а также вторым
замечательным пределом при и непрерывностью корня ).
Таким образом, в силу неотрицательности всех функций там, где они определены, применимо следствие
из теорем сравнение, говорящее, что раз
То интегралы
и
Сходятся или расходятся одновременно.
Однако в последнем интеграле можно сначала вынести за знак интеграла (поскольку это
выражение не зависит от , по которому мы интегрируем), а затем для исследования
Воспользоваться заменой. А именно, при любом выполнено ():
А значит несобственный интеграл
cходится, потому что при существует предел у , поскольку существует предел у - этот интеграл эталонный и сходится при показателе в знаменателе меньше 1.
Ошибка.
Попробуйте повторить позже
Верно ли, что если интеграл
сходится, то при ?
Это не обязательно так. Рассмотрим, например, функцию
Вот ниже нарисован её график, точнее, начало это графика:
Ясно, что сходится - он равен сумме площадей закрашенных желтых прямоугольников, то есть сумме
В то время как очевидно, что при , поскольку у нас постоянно будут встречаться точки, сколь угодно далекие, в которых . Ни о каком стремлении к 0 здесь не может идти и речи.
Ошибка.
Попробуйте повторить позже
Исследовать на сходимость (при всех ) интеграл
Комментарий: Заметьте, что у этого интеграла две особенности. Одна связана с нижним пределам интегрирования, в окрестности которого знаменатель подынтегральной функции стремится к 0, а, значит, подынтегральная дробь неограничена. А другая связана с неограниченностью промежутка интегрирования. В таком случае исходный интеграл нужно разбить на сумму двух интегралов, каждый из которых имеет одну особенность, и исследовать сходимость каждого из них в отдельности. Исходный интеграл будет по определению сходящимся, когда сходящимися будут все интегралы, на которые мы его разбили.
Сделаем замену , , . Тогда будем иметь
У этого последнего интеграла две особенности - одна в нуле - там подынтегральная функция не определена и в окрестности нуля она неограничена а другая связана с неограниченностью отрезка интегрирования. Поэтому мы обязаны разбить наш несобственный интеграл на два (скажем, до 1 и после 1, но до и после какой точки - это не важно, главное чтобы после разбиения у каждого интеграла было по одной особенности):
И исходный интеграл будет сходится тогда и только тогда, когда будут сходится оба
1. Ясно, что при функция эквивалентна , а поэтому, в силу неотрицательности
всех имеющихся функций, применимо следствие из теоремы сравнения, говорящее, что интегралы
и сходятся или расходятся одновременно. Но интеграл - эталонный, и
сходится при .
2. При второй интеграл точно расходится, в силу того, что у функции числитель
при будет возрастать к бесконечности быстрее, чем знаменатель при любом .
Наоборот, если , то при убывает быстрее любой степенной функции, то есть,
например, при достаточно больших будет верно, что (если )
А значит А интеграл
сходится как эталонный.
Следовательно, оба и сходятся тогда, когда и .
Ошибка.
Попробуйте повторить позже
Исследовать на сходимость интеграл
Поскольку на функция , то применима теорема сравнения. А именно, на выполнено неравенство:
В то время как несобственный интеграл
сходится как эталонный (показатель степени в знаменателе равен ).
Следовательно, по теореме сравнения и наш интеграл
- сходится.
Ошибка.
Попробуйте повторить позже
Исследовать на сходимость интеграл
В силу того, что при функция , то мы имеем:
Но интеграл
Расходится, поскольку подынтегральная функция при эквивалентна , а -
расходится как эталонный.
А следовательно, по теореме сравнения расходится и наш интеграл .
Ошибка.
Попробуйте повторить позже
Исследовать на сходимость интеграл (при всех )
Ясно, что поскольку , то на участке синус неотрицателен. Следовательно, и вся наша
подынтегральная функция неотрицательна.
Значит, будет применимо следствие из теоремы сравнения.
А именно, в силу первого замечательного предела, мы заключаем, что
Следовательно, интегралы
и
сходятся или расходятся одновременно.
Но интеграл
- эталонный, и он сходится при , то есть при . В остальных случаях - расходится.
Ошибка.
Попробуйте повторить позже
Пусть оба несобственных интеграла (неважно, I или II рода, т.е. - конечное число или символ бесконечности)
и
- сходятся.
Доказать, что тогда будет сходиться и несобственный интеграл
да притом
Сходимость
по определению означает существование предела при у функции
Аналогично, сходимость
по определению означает существование предела при у функции
Но а сходимость
по определению означает существование предела при у функции
Но, поскольку, при любом по свойству определенного интеграла Римана мы можем написать, что
то, переходя к пределу при в левой и правой части мы имеем (в правой части мы пользуемся теоремой о пределе суммы), что
Что и означает, что сходится несобственный интеграл
- сходится, да притом
Ошибка.
Попробуйте повторить позже
Сходится или расходится несобственный интеграл
Поскольку при каждом мы по теореме Ньютона-Лейбница имеем
А сходимость нашего несобственного интеграла равносильна существованию предела у при , то мы получаем, что - сходится, потому что
То есть исходный интеграл сходится и мы можем даже сказать к чему - к .
Ошибка.
Попробуйте повторить позже
Сходится или расходится несобственный интеграл
Поскольку при каждом мы по теореме Ньютона-Лейбница имеем
А сходимость нашего несобственного интеграла равносильна существованию предела у при , то мы получаем, что - расходится, потому что
А у нет предела при .
Ошибка.
Попробуйте повторить позже
Сходится или расходится несобственный интеграл
Заметим, что при достаточно больших подынтегральная функция будет знакопостоянна
(неотрицательна), в силу того, что главный член числителя равен , а главный член знаменателя
равен и поэтому на у нас будут только положительные значения.
Следовательно, законно применение теорем сравнения.
Более того, отметим, что на луче несобственный интеграл имеет только одну особенность, а
именно - это несобственный интеграл I рода с особенностью на бесконечности (наша функция
ограничена в окрестности любой точки луча , поскольку знаменатель на этом луче
всегда положителен, следовательно не обращается в ноль).
Далее, легко видеть, что
А несобственный интеграл
- сходится как эталонный с показателем . Следовательно, и наш исходный интеграл в силу теоремы сравнения в предельной форме тоже сходится.
Ошибка.
Попробуйте повторить позже
Пусть несобственный интеграл I рода
- сходится, причем - ограничена на и монотонна на , неважно, возрастает или
убывает.
Доказать, что в таком случае при выполнено
1. Во-первых, раз - монотонна, то начиная с какого-то она будет знакопостоянна. То есть можно считать, что наш интеграл
- это интеграл от знакопостоянной функции. Будем для удобства считать, что - монотонно
убывает и что .
(случай, когда монотонно возрастает, но при этом всегда меньше либо равна 0 рассматривается
аналогично, а два других случая совсем очевидно невозможны, потому что мгновенно ведут к
расходимости интеграла ).
Но тогда, утверждается, что при . Почему это так?
Допустим, что при . По определению это означает, что
Но тогда утверждается, что не только для этого одного выполнено, что , но и
вообще для всех обязательно будет выполнено .
Действительно, если бы нашелся какой-то , для которого , то, в силу монотонного
убывания получилось бы так, что и для всех было бы и мы бы получили
противоречие с тем, что для любого найдется такой , что .
Таким образом, наша неотрицательная функция отделена от нуля некоторым положительным
(начиная с момента ), а, значит, интеграл
что противоречит тому, что по условию он сходится.
Следовательно, все таки при .
2. Далее, в силу сходимости
по критерию Коши мы можем заключить, что
Давайте теперь фиксируем произвольное . Тогда для любого , поскольку на отрезке наша функция монотонно убывает, то выполнено, что , а потому
Таким образом, при фиксированном и при стремлении к мы получаем, что и левая часть, то есть
будет меньше любого произвольного , а, значит, будет стремиться к нулю. Таким образом, это означает, что
Однако
И, поскольку мы фиксировали , а про мы уже знаем, что она обязана стремиться к нулю при , то
и, следовательно, обязательно .
А это в точности и означает, что при