Признаки сходимости рядов и стратегия выбора

Ряды, частичные суммы и сходимость

Ряд — это сумма бесконечного числа членов, $a_1 + a_2 + a_3 + \cdots$, записываемая как $\sum a_n$. Сложить бесконечно много чисел напрямую нельзя, поэтому складывают первые $N$ в частичную сумму $S_N$ и смотрят, что происходит с ростом $N$. Если частичные суммы стремятся к конечному пределу $S$, ряд сходится и его сумма равна $S$. Иначе он расходится.

Бесконечно много положительных чисел могут дать конечную сумму. У ряда $\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots$ частичные суммы равны $0.5$, $0.75$, $0.875$ и так далее, каждая на полпути между предыдущей и 1, поэтому сумма ровно 1. Представьте, что вы идёте к стене и каждым шагом проходите половину оставшегося пути: шагов бесконечно много, но вы никогда не пройдёте больше начального расстояния. Вся тема опирается на пределы, применённые к последовательности частичных сумм.

Геометрические ряды

В геометрическом ряде каждый раз умножают на один и тот же знаменатель $r$. Это один из немногих типов рядов, сумму которых можно найти точно:

Если $|r| \ge 1$, члены не стремятся к нулю, и ряд расходится. Например, у ряда $3 + 1 + \frac{1}{3} + \frac{1}{9} + \cdots$ первый член $a = 3$ и знаменатель $r = \frac{1}{3}$, поэтому его сумма равна $\frac{3}{2/3} = 4.5$. Периодические дроби — это замаскированные геометрические ряды: $0.999\ldots = \frac{9}{10} + \frac{9}{100} + \cdots = \frac{0.9}{1 - 0.1} = 1$.

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

Если члены $a_n$ не стремятся к 0, ряд расходится (поэтому его называют также признаком расходимости). Это всегда должно быть первой проверкой: она занимает секунды. Например, $\sum\frac{n}{n + 1}$ расходится, так как её члены стремятся к 1: вы бесконечно много раз прибавляете почти 1.

Обратное неверно, и это самое частое заблуждение о рядах. Члены, стремящиеся к нулю, не гарантируют сходимости. Члены гармонического ряда $1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots$ стремятся к 0, и всё же он расходится. Сгруппируйте члены: $\frac{1}{3} + \frac{1}{4} > \frac{1}{2}$, следующие четыре члена дают больше $\frac{1}{2}$, следующие восемь — тоже больше $\frac{1}{2}$, и так далее. Бесконечно много половинок дают неограниченную сумму. Правда, рост очень медленный: первый миллион членов даёт лишь около 14,4.

p-ряды и интегральный признак

p-ряд, называемый также обобщённым гармоническим рядом, имеет вид $\sum\frac{1}{n^p}$. Его поведение зависит только от $p$:

Таким образом, $\sum\frac{1}{n^2}$ сходится, и её сумма — знаменитое $\frac{\pi^2}{6} \approx 1.6449$, а $\sum\frac{1}{\sqrt{n}}$ расходится. Доказательство использует интегральный признак: если $f$ положительна, непрерывна и монотонно убывает, причём $f(n) = a_n$, то $\sum a_n$ и $\int_1^{\infty} f(x)\,dx$ ведут себя одинаково — оба сходятся или оба расходятся. Поскольку $\int_1^{\infty}\frac{dx}{x^2} = 1$ конечен, а $\int_1^{\infty}\frac{dx}{x}$ бесконечен, получаются два ключевых случая. Эти несобственные интегралы вычисляются в статье определённый и неопределённый интеграл.

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

Признаки сравнения решают судьбу ряда, сопоставляя его с уже известным, обычно с геометрическим рядом или p-рядом. Для рядов с положительными членами:

• Признак сравнения: если $0 \le a_n \le b_n$ и $\sum b_n$ сходится, то сходится и $\sum a_n$. Если $a_n \ge b_n \ge 0$ и $\sum b_n$ расходится, то расходится и $\sum a_n$.
• Предельный признак сравнения: если $\lim\frac{a_n}{b_n}$ — строго положительное конечное число, оба ряда ведут себя одинаково.

Чтобы выбрать ряд для сравнения, оставьте в числителе и знаменателе только старшую степень $n$. То, что останется, подскажет, с каким p-рядом или геометрическим рядом сравнивать.

Признаки Даламбера и Коши

Признак Даламбера сравнивает каждый член с предыдущим. Пусть $L = \lim_{n \to \infty}\left|\frac{a_{n+1}}{a_n}\right|$. Если $L < 1$, ряд сходится абсолютно; если $L > 1$, расходится; а если $L = 1$, признак ответа не даёт. Это естественный выбор для рядов с факториалами или степенями вроде $2^n$.

Радикальный признак Коши использует $L = \lim\sqrt[n]{|a_n|}$ с теми же выводами и подходит для членов, возведённых в степень $n$. Для $\sum\left(\frac{n}{2n + 1}\right)^n$ корень $n$-й степени равен $\frac{n}{2n + 1} \to \frac{1}{2}$, поэтому ряд сходится.

Знакочередующиеся ряды

Знакочередующийся ряд меняет знак на каждом члене. Признак Лейбница гласит: если модули членов монотонно убывают и стремятся к 0, ряд сходится. Поэтому знакочередующийся гармонический ряд $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots$ сходится, и его сумма равна $\ln 2 \approx 0.6931$.

Есть и ещё одно преимущество: погрешность при обрыве после любого члена не превосходит первого отброшенного члена. Оборвав знакочередующийся гармонический ряд после 99 членов, вы получите $\ln 2$ с погрешностью меньше $\frac{1}{100}$.

Ряд сходится абсолютно, если сходится $\sum|a_n|$, и условно, если он сходится только благодаря взаимному погашению знаков. Знакочередующийся гармонический ряд сходится условно: без знаков это гармонический ряд, который расходится. Абсолютная сходимость — более сильное свойство: перестановка членов абсолютно сходящегося ряда никогда не меняет его сумму, тогда как условно сходящийся ряд можно переставить так, чтобы он принимал любое заданное значение.

Стратегия выбора признака

1. Стремятся ли члены к 0? Если нет, ряд расходится.
2. Это геометрический ряд или p-ряд? Примените известное правило.
3. Есть ли факториалы или степени с показателем $n$, как $3^n$? Используйте признак Даламбера.
4. Весь член возведён в степень $n$? Используйте радикальный признак Коши.
5. Это дробь из рациональных выражений от $n$ или что-то похожее? Используйте предельный признак сравнения с p-рядом.
6. Знаки чередуются? Используйте признак Лейбница, а затем проверьте абсолютную сходимость.
7. Член — легко интегрируемая функция? Вспомните об интегральном признаке.

Калькулятор сходимости рядов применяет эти признаки, указывает, какой из них дал ответ, и оценивает сумму. Степенные ряды, члены которых содержат $x$, исследуют так же: признак Даламбера даёт радиус сходимости, концы интервала проверяют отдельно, и так получаются интервалы из нашего руководства по рядам Тейлора.

Телескопические ряды и упражнения

В телескопическом ряде частичные суммы упрощаются, потому что соседние члены взаимно уничтожаются. Записав $\frac{1}{n(n + 1)} = \frac{1}{n} - \frac{1}{n + 1}$, видим, что частичная сумма $S_N$ равна $1 - \frac{1}{N + 1}$, что стремится к 1. Распознав телескопическую структуру, часто с помощью разложения на простейшие дроби, вы получаете точную сумму, а не просто ответ «да» или «нет».

Проверьте себя на этих рядах, прежде чем читать ответы: $\sum\frac{5}{4^n}$ — геометрический ряд со знаменателем одна четверть, он сходится; $\sum\frac{n^2}{n^2 + 1}$ расходится по необходимому признаку, так как её члены стремятся к 1; $\sum\frac{1}{n^{1.01}}$ сходится как p-ряд с $p > 1$; $\sum\frac{3^n}{n!}$ сходится по признаку Даламбера; а $\sum\frac{(-1)^n}{\sqrt{n}}$ сходится условно: признак Лейбница выполняется, но ряд из модулей — расходящийся p-ряд.

Частые вопросы