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

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

У этого термина существуют и другие значения, см. Признак Коши.

Интегральный признак Коши-Маклорена — признак сходимости убывающего положительного числового ряда. Признак Коши-Маклорена даёт возможность свести проверку сходимости ряда к проверке сходимости несобственного интеграла соответствующей функции на $[1,\infty)$, последний часто может быть найден в явном виде.

Формулировка теоремы

Пусть для функции f(x) выполняется: $f(x)>0 \ \forall x$ (функция принимает только положительные значения) $f(x_1)>f(x_2) \Leftrightarrow x_1 < x_2$ (функция монотонно убывает) f(n) = an Тогда ряд $\sum_{n=1}^\infty a_n$ и несобственный интеграл $\int\limits_1^\infty\!f(x)\,dx$ сходятся или расходятся одновременно.

Набросок доказательства

1. Построим на графике f(x) ступенчатые фигуры как показано на рисунке
2. Площадь большей фигуры равна S_b = f(1) + f(2) + f(3) + ... + f(n − 1)
3. Площадь меньшей фигуры равна S_s = f(2) + f(3) + f(4) + ... + f(n)
4. Площадь криволинейной трапеции под графиком функции равна $S_{tr}=\int\limits_1^n f(x)\,dx$
5. Получаем $S_s \leqslant S_{tr} \leqslant S_b \; \Rightarrow \; S_n - a_1 \leqslant \int\limits_1^n f(x)\,dx \leqslant S_{n-1}$
6. Далее доказывается с помощью критерия сходимости знакоположительных рядов.

Примеры

• $\sum\frac1n$ расходится так как $\int\limits_1^\infty\frac1xdx=\ln x|_1^\infty=\infty$.
• $\sum\frac1{n^2}$ сходится так как $\int\limits_1^\infty\frac1{x^2}dx=-\left.\frac1x\right|_1^\infty=1$.

Оценка остатка ряда

Интегральный признак Коши позволяет оценить остаток r_n знакоположительного ряда. Из полученного в доказательстве выражения

$S_n - a_1 \leqslant \int\limits_1^n f(x)\,dx \leqslant S_{n-1}$

с помощью несложных преобразований получаем:

$\int\limits_{n+1}^\infty f(x)\,dx \leqslant r_n \leqslant \int\limits_n^\infty f(x)\,dx \leqslant a_n + \int\limits_{n+1}^\infty f(x)\,dx$.

См. также

• Признак Абеля
• Признак сходимости д’Аламбера
• Радикальный признак Коши
• Интеграл Коши