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

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

Теорема 38.7. Если функция f неотрицательна и убывает на полупрямой х ≥ 1, то ряд сходится или расходится одновременно с несобственным интегралом .

у

y=f(x)

O 1 k k+ 1 x

Выберем натуральное число k и рассмотрим значения х на отрезке k ≤ x ≤ k + 1. Тогда в силу убывания функции f f(k) ≥ f(x) ≥ f(k + 1). Проинтегрировав это неравенство по отрезку единичной длины [ k, k + 1], получим:

откуда . Складывая подобные неравенства, полученные при значениях k от 1 до п, приходим к неравенству: откуда , (38.8)

где . Если ряд сходится и сумма его равна s, то s_n ≤ s, следовательно, , поэтому сходится.

Если же, наоборот, предположить, что сходится , то из (38.8) следует, что

.

Значит, последовательность частичных сумм ряда ограничена сверху и возрастает, следовательно, по теореме 38.6 ряд сходится.

Пример. Применим интегральный признак Коши к исследованию сходимости рядов вида , сравнивая их с интегралами Рассмотрим следующие возможные значения α:

а) α > 1. Тогда (так как при α > 1 ). Следовательно, несобственный интеграл сходится, а значит, сходится и рассматриваемый ряд.

б) α = 1. При этом - интеграл расходится, поэтому расходится и ряд.

в) α < 1. Тогда (так как при α < 1

). Из расходимости несобственного интеграла следует расходимость исследуемого ряда.

Замечание. Итак, ряд вида сходится при α > 1 и расходится при α ≤ 1. Это свойство ряда будет часто использоваться в дальнейшем.

Дата добавления: 2014-01-04