Предельный признак сравнения: эталонные ряды

Ряд $\sum \frac{1}{n^2+n}$ никто не исследует в лоб. Взгляд опытного решателя скользит по знаменателю: старшая степень двойка — значит, член ведёт себя как $\frac{1}{n^2}$, а этот ряд выучен наизусть — сходится. Предельный признак сравнения оформляет этот приём в строгую процедуру: один предел отношения двух членов, и судьба ряда совпадает с судьбой эталона. Никаких факториалов, корней $n$-й степени, интегралов — дробная арифметика и один предел.

База — в уроке числовые ряды и термине ряд; здесь — признак сравнения в предельной форме: как он устроен, откуда берётся таблица эталонных рядов, как выбрать эталон по старшим степеням и где признак молчит. Общая карта — в гайде как исследовать сходимость ряда.

Два признака сравнения: прямой и предельный#

Прямой признак — это неравенство: если с некоторого номера $0\le a_n\le b_n$, то сходимость эталона $\sum b_n$ втягивает в сходимость ряд $\sum a_n$, а расходимость $\sum a_n$ тянет за собой $\sum b_n$. Логика безупречна, практика мучительна: неравенство нужно угадать и доказать, и чаще всего оно громоздкое. Предельная форма снимает гадание — вместо неравенства считаем предел отношения.

Случаи на границах — тоже рабочие, но с прицепом:

• $k=0$: член $a_n$ на порядок меньше эталона — при сходящемся эталоне $\sum a_n$ сходится (при расходящемся эталоне ответа нет);
• $k=\infty$: член на порядок больше — при расходящемся эталоне $\sum a_n$ расходится (при сходящемся ответа нет);
• $0<k<\infty$ — самый частый и самый удобный случай: ряды одной природы, вердикт общий.

Почему предел работает

Число $k$ между нулём и бесконечностью означает: члены пропорциональны на бесконечности, $a_n\sim k{b}_n$. Точнее: если $k=1$, то при больших $n$ выполняется $\frac{1}{2}{b}_n\le a_n\le \frac{3}{2}{b}_n$ — вычтите предел из дроби и посмотрите на окрестность. Дальше работает прямой признак: верхняя оценка передаёт сходимость эталона, нижняя — расходимость. Константа вроде $\frac{1}{2}$ или 2 судьбы не меняет: сходимость — вопрос порядка убывания, а не масштаба.

Эталонные ряды: минимальный запас#

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

Главный эталон — $p$-ряд $\sum \frac{1}{n^p}$: его сводка «сходится тогда и только тогда, когда $p>1$» выводится интегральным признаком и переоткрывается в каждой второй задаче. Сравнение с ним — и есть основной сценарий предельного признака.

Как применять: пять шагов#

1. 1
   Проверьте необходимое условие: члены должны стремиться к нулю. $\frac{n+1}{n}\to 1\ne 0$ — ряд расходится, и работа закончена.
2. 2
   Выделите главный рост члена: оставьте старшие степени, отбросьте поправки. $\frac{n+1}{n^3+2}$ — это $\frac{1}{n^2}$.
3. 3
   Выберите эталон из таблицы: чаще всего это $p$-ряд $\sum \frac{1}{n^p}$ с той же главной скоростью.
4. 4
   Составьте предел отношения $k=\lim \frac{a_n}{b_n}$ — дробь обычно упрощается до константы, единицы или нуля с бесконечностью.
5. 5
   Сформулируйте вердикт: при $0<k<\infty$ — судьба эталона; при $k=0$ и $k=\infty$ действуют правила границ из списка выше.

Пример 1. 1/(n² + n) против 1/n²#

Классика первого знакомства: $\sum \frac{1}{n^2+n}$. Знаменатель чуть больше, чем $n^2$, — член чуть меньше эталонного. Неравенство $\frac{1}{n^2+n}<\frac{1}{n^2}$ очевидно, и прямой признак уже справился бы; посмотрим, что даёт предельный.

1. 1
   Эталон: $b_n=\frac{1}{n^2}$, $p$-ряд с $p=2>1$ — сходится.
2. 2
   Предел: $k=\lim \frac{1/(n^2+n)}{1/n^2}=\lim \frac{n^2}{n^2+n}=\lim \frac{1}{1+\frac{1}{n}}=1$.
3. 3
   $0<k<\infty$ — ряды одной судьбы: эталон сходится, значит, $\sum \frac{1}{n^2+n}$ сходится.
4. 4
   Контроль с точной суммой: $\frac{1}{n^2+n}=\frac{1}{n}-\frac{1}{n+1}$ — телескоп. Частичная сумма $S_N=1-\frac{1}{N+1}\to 1$: сумма ряда ровно 1.
5. 5
   Числа: $S_{10}=1-\frac{1}{11}\approx 0,9091$, $S_{100}\approx 0,9901$ — лестница ползёт к единице, как и обещал телескоп.

Обратите внимание на поправку: $\frac{1}{1+1/n}$ — это эталонная единица с бесконечно малым довеском. Именно такие «единицы с довеском» и выдают ряды одного порядка: предел сам показывает, что разница между членами исчезает на бесконечности.

Пример 2. 1/√n: расходится при p = 1/2#

Ряд $\sum \frac{1}{\sqrt{n}}$ ломает интуицию «члены тают — ряд сходится»: члены стремятся к нулю, а накопление всё равно уходит в бесконечность. Причина в слабой скорости: $p=\frac{1}{2}<1$. Предельное сравнение оформляет вердикт.

1. 1
   Главный рост: $\frac{1}{\sqrt{n}}=\frac{1}{n^{1/2}}$ — это $p$-ряд с $p=\frac{1}{2}$.
2. 2
   Эталон для контраста — гармонический $b_n=\frac{1}{n}$, расходящийся: $k=\lim \frac{1/\sqrt{n}}{1/n}=\lim \sqrt{n}=\infty$.
3. 3
   Предел бесконечен, а эталон расходится — по правилу границ ряд $\sum \frac{1}{\sqrt{n}}$ расходится.
4. 4
   Можно короче: $p$-ряд с $p\le 1$ расходится всегда, и $\frac{1}{2}\le 1$.
5. 5
   Численный вкус расходимости: сумма первых ста членов уже $18,59$, а растёт она как $2\sqrt{N}$ — медленно и неостановимо.

Граница $p=1$ — водораздел: $\sum \frac{1}{n^{1,1}}$ сходится, $\sum \frac{1}{n}$ расходится. Разница в одну десятую степени — и противоположный вердикт; именно поэтому эталонный $p$-ряд стоит помнить без всяких «примерно».

Пример 3. (n + 1)/(n³ + 2) против 1/n²#

Ряд $\sum \frac{n+1}{n^3+2}$ — типичный член контрольной: многочлен в числителе, многочлен в знаменателе, плюс добавки, о которых хочется забыть. Предельный признак разрешает забыть легально.

1. 1
   Эталон по старшим степеням: $\frac{n}{n^3}=\frac{1}{n^2}$ — $p$-ряд с $p=2>1$, сходится.
2. 2
   Предел: $k=\lim \frac{\frac{n+1}{n^3+2}}{\frac{1}{n^2}}=\lim \frac{n^2(n+1)}{n^3+2}=\lim \frac{n^3+n^2}{n^3+2}=1$.
3. 3
   $k=1$ — судьба общая: ряд сходится.
4. 4
   Проверка степени: числитель растёт как $n^1$, знаменатель как $n^3$, разность $3-1=2$ — степень эталона. Совпало.
5. 5
   Предел посчитан делением на $n^3$: $\frac{1+\frac{1}{n^2}}{1+\frac{2}{n^3}}\to 1$ — стандартный приём, отработанный в пределах последовательностей.

Типичные грабли#

• Выбрали эталон «похуже» вместо «такого же»: сравнение $\frac{1}{n^2+n}$ с $\frac{1}{n}$ даёт $k=0$ при расходящемся эталоне — тупик, хотя эталон $\frac{1}{n^2}$ решает мгновенно.
• Перепутали направление правила границ: $k=\infty$ при расходящемся эталоне — расходимость, при сходящемся — молчание, а не сходимость.
• Забыли необходимое условие: проверка $a_n\to 0$ дешевле любого предела, пропускать её расточительно.
• Объявили ряд сходящимся по признаку сравнения без формулировки эталона: «члены маленькие» — не аргумент, аргумент — конкретный сходящийся эталон.
• Применили сравнение к знакочередующемуся ряду: признаки сравнения работают для положительных рядов; чередование — территория признака Лейбница.

Куда идти дальше#

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

Отработать выбор эталона на живых задачах — в тренажёре по рядам и в задачнике ряды; формулы кластера — в шпаргалке по рядам; пошаговое исследование — решатель рядов. Несобственные интегралы — эталонная база для интегрального признака — разобраны в уроке несобственные интегралы.