Предельный признак сравнения рядов: формула и примеры

Предельный признак сравнения - это рабочий инструмент, которым исследуют на сходимость числовые ряды со сложным общим членом, когда обычное почленное сравнение собрать неудобно. Идея простая: рядом с исследуемым рядом $\sum a_n$ ставят понятный эталонный ряд $\sum b_n$, сходимость которого известна заранее, и смотрят на предел отношения их общих членов. Если этот предел конечен и положителен, оба ряда ведут себя одинаково - либо оба сходятся, либо оба расходятся. Ниже разберём, как сформулировать признак строго, как подобрать эталон по старшим степеням, как довести предел до числа и где студенты чаще всего ошибаются. Чтобы сразу почувствовать, как работает признак, покрути калькулятор ниже: он сам подбирает эталонный p-ряд, считает предел отношения и показывает на графике, как это отношение выходит на свой предел.

Формулировка предельного признака сравнения

Пусть даны два ряда с положительными членами $\sum a_n$ и $\sum b_n$, и существует предел отношения их общих членов:

$L = \lim_{n\to\infty} \frac{a_n}{b_n}.$

Тогда возможны три случая. Если предел конечен и строго положителен, то есть $0 < L < \infty$, ряды сходятся или расходятся одновременно - именно этот случай и используют чаще всего. Если $L = 0$ и эталонный ряд $\sum b_n$ сходится, то сходится и $\sum a_n$. Если же $L = \infty$ и эталонный ряд расходится, то расходится и исследуемый ряд. Главная рабочая ситуация - первая: подобрать такой эталон, чтобы предел получился конечным положительным числом, и тогда вывод о сходимости исследуемого ряда полностью повторяет вывод об эталоне.

Рассчитать для своей задачи

В чём преимущество перед обычным признаком сравнения? Там нужно доказывать неравенство $a_n \le b_n$ (или обратное) для всех номеров, а это часто требует громоздких оценок. Предельный признак избавляет от неравенств: достаточно посчитать один предел. Поэтому для дробно-рациональных членов, выражений с корнями и логарифмами он почти всегда быстрее.

Как подобрать эталонный ряд

Эталон выбирают по асимптотике общего члена при больших $n$, то есть по его старшей части. Для дробно-рационального члена это сводится к простому правилу: оставляют старшую степень числителя $n^p$ и старшую степень знаменателя $n^q$, а всё остальное отбрасывают, так как при $n\to\infty$ оно не влияет на порядок малости. Тогда

$a_n \sim \frac{n^p}{n^q} = \frac{1}{n^{\,q-p}},$

и в качестве эталона берут p-ряд $b_n = 1/n^{s}$ с показателем $s = q - p$. Этот ряд - идеальный эталон, потому что про него всё известно: ряд Дирихле $\sum 1/n^{s}$ сходится при $s > 1$ и расходится при $s \le 1$. Значит, посчитав $s$, мы сразу знаем поведение эталона, а через предел отношения переносим вывод на исходный ряд.

Рассчитать для своей задачи

Если в члене ряда есть корни, степень считают дробной: например, $\sqrt{n^2+n}$ ведёт себя как $n$, а $\sqrt[3]{n}$ - как $n^{1/3}$. Логарифм по сравнению со степенью растёт медленно, поэтому при грубой оценке порядка его часто можно опустить или учесть отдельно. Главное - не ошибиться со старшими степенями: именно они задают показатель $s$, а значит и весь ответ.

Как посчитать предел отношения

Когда эталон выбран, остаётся вычислить предел $L = \lim a_n/b_n$. Удобно сразу подставить $b_n = 1/n^{s}$, тогда отношение превращается в произведение $a_n \cdot n^{s}$, и предел берётся стандартным приёмом - делением числителя и знаменателя на старшую степень. Разберём это на члене ряда из калькулятора по умолчанию:

$a_n = \frac{2n + 3}{n^3 + 5}.$

Старшая степень числителя - $n^1$, знаменателя - $n^3$, поэтому показатель эталона $s = 3 - 1 = 2$, а эталонный ряд - сходящийся p-ряд $\sum 1/n^2$. Считаем предел отношения:

$L = \lim_{n\to\infty} \frac{a_n}{b_n} = \lim_{n\to\infty} \frac{2n+3}{n^3+5}\cdot n^2 = \lim_{n\to\infty} \frac{2n^3 + 3n^2}{n^3 + 5} = \lim_{n\to\infty}\frac{2 + 3/n}{1 + 5/n^3} = 2.$

Предел получился равным $2$ - это конечное положительное число, то есть случай $0 < L < \infty$. Значит, исследуемый ряд ведёт себя так же, как эталон $\sum 1/n^2$, а тот сходится. Вывод: ряд $\sum \frac{2n+3}{n^3+5}$ сходится. Обрати внимание, что $L$ равен просто отношению старших коэффициентов $A/C = 2/1 = 2$ - в калькуляторе это видно сразу, как только ты двигаешь ползунки.

Что показывает калькулятор

В калькуляторе вверху ты собираешь общий член $a_n = (A n^p + B)/(C n^q + D)$ из коэффициентов и степеней. По разности старших степеней он находит показатель $s = q - p$, берёт эталон $b_n = 1/n^{s}$ и считает предел $L = A/C$. Левый график - главный: на нём отношение $a_n/b_n$ с ростом $n$ выходит на горизонтальную прямую $L$, что и есть наглядный смысл признака. Правый график показывает сами члены $a_n$ и $b_n$: они убывают почти параллельно, потому что одного порядка малости. Меняя степень знаменателя, легко поймать границу: при $s > 1$ блок вывода становится зелёным (сходится), при $s \le 1$ - красным (расходится). Так признак перестаёт быть формулой из учебника и превращается в понятную картину.

FAQ

Когда применять предельный признак сравнения, а когда обычный? Обычный признак сравнения требует доказать неравенство между членами для всех номеров - это удобно для простых случаев. Предельный признак заменяет неравенство одним пределом и почти всегда быстрее для дробей, корней и логарифмов. Если предел отношения легко считается и конечен, берите предельный признак.

Что делать, если предел отношения равен нулю или бесконечности? Это крайние случаи. Если $L = 0$ и эталонный ряд сходится, то сходится и исследуемый. Если $L = \infty$ и эталон расходится, то расходится и исследуемый. В остальных комбинациях ($L=0$ с расходящимся эталоном или $L=\infty$ со сходящимся) признак вывода не даёт - нужно подобрать другой эталон.

Как выбрать показатель p-ряда для сравнения? По старшим степеням: показатель равен разности степени знаменателя и степени числителя, $s = q - p$. Для членов с корнями степени считаются дробными. После этого помните правило p-ряда: сходимость при $s > 1$, расходимость при $s \le 1$.

Частые ошибки

• Неверный эталон по старшим степеням. Если перепутать степени числителя и знаменателя, показатель $s$ выйдет неправильным, и весь вывод о сходимости окажется ложным. Всегда выписывайте старшие $n^p$ и $n^q$ отдельно.
• Забыли проверить, что предел конечен и положителен. Вывод об одновременной сходимости работает только при $0 < L < \infty$. Если получился $0$ или $\infty$, нужны отдельные формулировки признака.
• Сравнение рядов с отрицательными или знакопеременными членами. Признак сформулирован для рядов с положительными членами. Для знакопеременных сначала переходят к ряду из модулей или используют другие признаки.
• Путаница в правиле p-ряда. Ряд $\sum 1/n^s$ сходится при $s > 1$, а не при $s \ge 1$: гармонический ряд $\sum 1/n$ (то есть $s=1$) расходится. Граничный случай $s=1$ - расходимость.
• Отбрасывание корней и логарифмов без учёта степени. Корень меняет порядок ($\sqrt{n^2+n}\sim n$), поэтому его нельзя просто выкинуть - нужно учесть дробную степень при подсчёте $s$.

Коротко

Предельный признак сравнения исследует ряд $\sum a_n$ через предел отношения $L = \lim a_n/b_n$ к эталонному ряду $\sum b_n$. При $0 < L < \infty$ ряды сходятся или расходятся одновременно. Эталон подбирают по старшим степеням как p-ряд $1/n^{s}$ с показателем $s = q - p$, а тот сходится при $s > 1$ и расходится при $s \le 1$. Так исследование сложного ряда сводится к одному пределу и известному поведению p-ряда.