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

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

.

2. Вывести формулу Остроградского-Леувилля.

Рассмотрим линейное однородное уравнение

.

Определитель Вронского можно вычислить по формуле Остроградского – Лиувилля

.

Вывод формулы Остроградского – Лиувилля.

Известна формула для производной определителя

.

Вычислим ...+

0+...+0+ .

, .

Замечание. В формуле Остроградского – Лиувилля участвуют только коэффициенты при двух старших производных.

Рассмотрим частный случай уравнения второго порядка.

. Здесь формулу Остроградского – Лиувилля можно вывести проще. Рассмотрим - два частных решения

. , . Умножим первое уравнение на , а второе на и вычтем первое уравнение из второго.

.

Так как , то = .

Теперь уравнение можно переписать в виде . Решая это уравнение с разделяющимися переменными, получаем формулу Остроградского – Лиувилля

5. 13

   1. Доказать теорему о среднем для определённого интеграла.