Математика / Пределы, ряды

Интегральный признак сходимости ряда

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

Опубликовано: 25 мая 2026 г.Обновлено: 25 мая 2026 г.

Формула

\sum_{n=N}^{\infty} f(n)\text{ сходится}\Longleftrightarrow \int_N^{\infty} f(x)\,dx\text{ сходится}

Обозначения

$f(x)$: положительная убывающая функция, задающая члены ряда, единицы члена ряда
$f(n)$: n-й член ряда, полученный подстановкой целого n, единицы суммы
$N$: номер, начиная с которого выполнены условия признака, натуральное число
$\int_N^{\infty} f(x)dx$: несобственный интеграл для сравнения с рядом, единицы суммы при безразмерном индексе

Условия применения

Функция f положительна на [N,∞).
Функция f монотонно убывает начиная с некоторого N.
Для каждого n≥N член ряда равен f(n) или сравним с ним в точной постановке.
Интеграл понимается как предел ∫_N^A f(x)dx при A→∞.

Ограничения

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

Подробное объяснение

Интегральный признак сравнивает сумму значений f(n) с площадью под графиком f(x). Если функция положительна и убывает, то прямоугольники ширины 1 можно расположить так, что они дают верхние и нижние оценки для интеграла и частичных сумм.

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

Формула особенно полезна для рядов, похожих на функции степенного типа. Классический результат для p-рядов получается одной строкой через интеграл x^{-p}. При p>1 хвост имеет конечную площадь, а при p≤1 площадь бесконечна, что объясняет границу сходимости.

Кроме ответа «сходится/расходится», признак дает оценки остатка. Хвост ряда после n-го члена можно ограничить интегралами от f, что важно при численном суммировании: интеграл показывает, сколько максимум еще могут добавить оставшиеся члены.

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

Как пользоваться формулой

Представьте общий член ряда как f(n) для функции на непрерывном хвосте.
Проверьте положительность и монотонное убывание f(x) начиная с некоторого N.
Вычислите или исследуйте несобственный интеграл ∫_N^∞ f(x)dx.
Перенесите результат сходимости интеграла на ряд.
При необходимости оцените остаток ряда через интегралы от f по соседним хвостам.
Не учитывайте конечное число начальных членов при решении вопроса о сходимости.

Историческая справка

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

В строгой форме интегральный признак вошел в классическую теорию рядов XIX века, когда Коши и последующая школа выработали критерии сходимости, основанные на оценках хвоста. Прямоугольная геометрия признака хорошо согласовалась с римановым интегралом и стала стандартным учебным доказательством.

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

Пример

Задача. Исследовать ряд sum_{n=2}^{∞} 1/(n(ln n)^2). Дано: f(x)=1/(x(ln x)^2), x≥2. Функция положительна и убывает, потому что знаменатель x(ln x)^2 растет при x>1. Рассмотрим несобственный интеграл: ∫_2^∞ dx/(x(ln x)^2). Подстановка u=ln x, du=dx/x дает ∫_{ln 2}^{∞} du/u^2 = [-1/u]_{ln 2}^{∞}=1/ln 2. Интеграл конечен, значит по интегральному признаку ряд сходится. Ответ: ряд сходится. Проверка: ряд похож на расходящийся sum 1/(n ln n), но дополнительная степень логарифма делает интегральный хвост конечным. Первые члены с n=2 до любого фиксированного номера на сходимость не влияют. Дополнительная проверка: сравниваем результат с исходной записью при допустимых значениях переменных или на граничном случае из условия. Если обе записи дают одно и то же значение и не нарушают ограничения, преобразование выполнено согласованно.

Частая ошибка

Распространенная ошибка — применять признак к неубывающей или знакопеременной функции без дополнительных аргументов. Также часто забывают, что признак не вычисляет сумму ряда: он определяет только сходимость и может дать хвостовую оценку. В логарифмических примерах путают ∫dx/(x ln x) и ∫dx/(x(ln x)^p), из-за чего неверно ставят границу p>1. Еще одна ошибка — начинать с n=1 там, где ln 1=0 и член не определен.

Практика

Задачи с решением

p-ряд

Условие. Исследовать sum_{n=1}^{∞}1/n^p при p>0.

Решение. Берем f(x)=x^{-p}. Интеграл ∫_1^∞ x^{-p}dx сходится при p>1 и расходится при p≤1.

Ответ. Ряд сходится при p>1 и расходится при p≤1.

Логарифмический ряд

Условие. Исследовать sum_{n=2}^{∞}1/(n ln n).

Решение. f(x)=1/(x ln x) положительна и убывает при x>e. Интеграл ∫_2^∞ dx/(x ln x)=∞, так как первообразная ln ln x.

Ответ. Расходится.

Дополнительные источники

Apostol, Calculus, Vol. 1, integral test for series
Zorich, Mathematical Analysis I, numerical series and improper integrals
Fichtenholz, Differential and Integral Calculus, Vol. 2, series
Stewart, Calculus: Early Transcendentals, integral test

Связанные формулы

Математика

p-ряды

$\sum_{n=1}^{\infty} \frac{1}{n^p} \text{ сходится }\iff p>1$

Сходимость p-рядов полностью описывается значением p относительно 1. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.

Математика

Гармонический ряд

$\sum_{n=1}^{\infty} \frac{1}{n} \,\,\text{(расходится)}$

Гармонический ряд является эталоном: член 1/n→0 слишком медленно для сходимости. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.

Математика

Признак сравнения

$0\le a_n\le b_n,\;\sum b_n\text{ сходится }\Rightarrow\sum a_n\text{ сходится};\;0\le b_n\le a_n,\;\sum b_n\text{ расходится }\Rightarrow\sum a_n\text{ расходится}$

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

Математика

Необходимый признак сходимости ряда

$\sum_{n=1}^{\infty} a_n\text{ сходится }\Rightarrow\lim_{n\to\infty} a_n=0$

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

Математика

Интеграл от 1/x и логарифмическая форма

$\int \frac{1}{x}\,dx = \ln|x|+C$

Интеграл от обратной функции 1/x — особый ключевой случай. Здесь формула степенного правила неприменима, потому что показатель равен −1, для которого получаем логарифм. Знак модуля делает ответ корректным на интервалах x>0 и x<0 и показывает, что первообразная определена с учётом области.