Лекции 7, 8 Несобственные интегралы

Интегрирование периодических функций на отрезке длины, кратной периоду.

Интегрирование четных и нечетных функций на отрезке, симметричном относительно начала координат.

, так как

.

Два свойства периодических функций.

1) Если - периодическая функция с периодом T, то - периодическая функция с периодом .

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

Поэтому период равен , период равен и т.д.

2) Если - периодическая функция с периодом T, то

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

Поэтому интеграл от периодической функции на отрезке, длиной равной периоду, можно вычислять на любом таком отрезке, результат будет тем же самым.

Заметим, что . Поэтому, например, .

Когда встречаются интегралы от синусов и косинусов на отрезке длины, кратной периоду, то такие интегралы вычислять не стоит, они равны нулю.

Мы строили определенный интеграл по отрезку - конечные числа, т.е. по конечному промежутку числовой оси.

Кроме того, предполагалось, что подинтегральная функция непрерывна на отрезке или имеет на нем конечное число точек разрыва первого рода.

Если снимается хотя бы одно из этих условий, то понятие интеграла надо обобщать, вводя в прежней конструкции интеграла предельный переход и получая так называемые несобственные интегралы. Если снимается первое условие, то мы имеем несобственный интеграл первого рода, если снимается второе условие, то мы имеем несобственный интеграл второго рода.

Несобственные интегралы от непрерывной функции по бесконечному промежутку (первого рода).

Пусть отрезок числовой оси неограничен. Это возможно в трех случаях: . Определим несобственные интегралы как пределы

,

,

. В последнем интеграле a и b независимо друг от друга стремятся к . Если , то предел в правой части последнего равенства называется главным значением несобственного интеграла.

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

Если сходятся интегралы от функций , то сходятся интегралы от функций . Это следует из теорем о пределах.

Пример. , интеграл сходится.

Пример. , интеграл расходится.

Пример. сходится при и расходится при . Проверьте это.

Рассмотрим интеграл Дирихле .

.

При , интеграл расходится.

Итак, несобственный интеграл Дирихле первого рода сходится при расходится при

Признаки сравнения несобственных интегралов (достаточные признаки сходимости и расходимости несобственных интегралов).

1 признак. Теорема. Пусть при выполнено неравенство .

Если интеграл сходится, то и интеграл сходится.

Если интеграл расходится, то и интеграл расходится.

Доказательство. Проинтегрируем неравенство на отрезке ,

. Так как обе функции на отрезке имеют только положительные значения, то интегралы от этих функций представляют собой возрастающие функции от верхнего предела b.

Если сходится ( = I), то при любом b > a = I (I – конечное число).

Поэтому - монотонно возрастающая, ограниченная функция верхнего предела интегрирования b. Следовательно, по теореме Вейерштрасса этот интеграл как функция b имеет предел

, т.е. интеграл сходится.

Пусть теперь расходится. Если сходится, то по доказанному и сходится, противоречие. Теорема доказана.

Вообще-то, все было ясно из геометрического смысла определенного интеграла как площади криволинейной трапеции под графиком функции. Если значения одной функции больше, чем значения другой функции, то и соответствующая криволинейная трапеция имеет большую площадь. И если эта площадь конечна, то и меньшая площадь конечна. А если меньшая площадь бесконечна, то и большая площадь бесконечна. Но строгое доказательство не подведет, а «очевидное» иногда подводит.

2 признак сравнения. Теорема. Пусть при x>a . Если существует конечный предел , то интегралы , , сходятся или расходятся одновременно (если один сходится, то и другой сходится, если один расходится, то и другой расходится).

Доказательство. Из определения предела следует

.

Если интеграл сходится, то по первому признаку сравнения сходится интеграл , а, следовательно, сходится интеграл . Если интеграл сходится, то сходится интеграл , а, следовательно, по первому признаку сравнения сходится интеграл . Пусть интеграл расходится. Если интеграл сходится, то по первому признаку сравнения сходится интеграл , противоречие. Пусть интеграл расходится. Если интеграл сходится, то по первому признаку сравнения сходится интеграл , противоречие. Теорема доказана.

Эталонами служат обычно интегралы Дирихле или интегралы от показательной функции.

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

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

.

Несобственные интегралы от разрывной функции по конечному промежутку (второго рода).

Функция может терпеть разрыв на левом конце отрезка , на правом конце или в некоторой внутренней точке с отрезка.

Пусть функция непрерывна на отрезке за исключением точки x= a, тогда несобственным интегралом второго рода от функции по отрезку называется предел =

.

Пусть функция непрерывна на отрезке за исключением точки x= b, тогда несобственным интегралом второго рода от функции по отрезку называется предел = .

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

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

Если сходятся интегралы от функций , то сходятся интегралы от функций . Это следует из теорем о пределах.

Пример.

Интеграл расходится, так как пределы в правой части равенства бесконечны.

Заметим, если здесь формально применить формулу Ньютона-Лейбница (она неприменима, т.к. функция разрывна), получим ответ 2. Еще раз убеждаемся, что теоремы следует применять, внимательно проверяя условия их применимости.

Рассмотрим несобственный интеграл Дирихле второго рода .

.

При , интеграл расходится.

Итак, несобственный интеграл Дирихле второго рода сходится при расходится при

Замечание. Интегралы Дирихле первого и второго рода расходятся при n=1. При n>1 интеграл Дирихле первого рода сходится, а интеграл Дирихле второго рода расходится. При n<1 интеграл Дирихле первого рода расходится, а интеграл Дирихле второго рода сходится.

Признаки сравнения интегралов остаются верными и для интегралов второго рода. Эталонами сравнения служат обычно интегралы Дирихле и интегралы от показательной функции.

Примеры. сходится сравнением с несобственным интегралом Дирихле (n= ) по второму признаку сравнения. Вспомните, что сумма бесконечно малых функций в знаменателе эквивалентна при бесконечно малой наинизшего порядка малости. Можно доказать эквивалентность непосредственным вычислением предела.

расходится сравнением с интегралом по второму признаку сравнения.

Дата добавления: 2015-04-24