Интегральный признак Коши

Теорема. Пусть члены ряда

положительны и не возрастают, т.е.

и пусть такая непрерывная невозрастающая функция, что

Тогда справедливы следующие утверждения:

1) если несобственный интеграл сходится,

то сходится и ряд

2) если расходится, то расходится и ряд

Доказательство. Изобразим члены ряда геометрически, откладывая по оси абсцисс номера членов ряда, а по оси ординат – соответствующие значения членов ряда Построим на том же чертеже график непрерывной невозрастающей функции удовлетворяющей условию Рассматривая чертеж, замечаем, что первый из построенных прямоугольников имеет основание, равное 1, и высоту Следовательно, площадь этого прямоугольника Площадь второго прямоугольника и т.д.; наконец, площадь го прямоугольника Сумма площадей построенных прямоугольников равна сумме первых членов ряда. С другой стороны, ступенчатая фигура, образованная этими прямоугольниками, заключает область, ограниченную кривой и прямыми площадь этой области равна Следовательно,

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

откуда

Рассмотрим теперь два случая.

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

т.е. частичная сумма остается ограниченной при всех значениях Но при увеличении она возрастает, т.к. все члены положительны. Следовательно, при имеет конечный предел т.е. ряд сходится.

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

Таким образом, теорема полностью доказана.

Замечание. Доказанная теорема остается справедливой, если неравенства выполняются, лишь начиная с некоторого

Пример.

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

т.е. интеграл расходится, значит и наш гармонический ряд расходится.

Лекция 21.

Поиск по сайту: