📈 Матанализ

Как исследовать ряд на сходимость: карта признаков

Q: Как быстро проверить необходимый признак?

Оцените порядок члена: если $a_n$ не тает — расход сразу. $\sum \sqrt[n]{2}$: корень стремится к единице, члены не стремятся к нулю, расход. $\sum \sin\frac{1}{n}$: член $\sim \frac{1}{n}$ тает, но ряд расходится по сравнению с гармоническим — необходимый признак пройден, а сходимости нет.

Порядок исследования ряда: необходимый признак, эталонные ряды, предельное сравнение, Даламбер, радикальный Коши, интегральный признак, Лейбниц для знакопеременных. Три примера до вердикта и таблица «что вижу — что беру».

Сложность: Продвинутый Схема действий

Перед вами ряд $\sum_{n = 1}^{\infty} \frac{n ^{2}}{3 ^{n}}$ — суммируем квадраты натуральных чисел, делённые на степени тройки. Сходится он или расходится? Интуиция молчит: и числитель, и знаменатель растут. Инструменты при этом есть — признаков сходимости полдюжины, и главная сложность темы не в вычислениях, а в выборе инструмента. Этот разбор — карта: по внешнему виду члена $a_{n}$ к нужному признаку.

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

Необходимый признак: если $a_{n}$ не стремится к нулю — ряд расходится, исследование окончено. Стремится — это лишь пропуск в следующий этап, а не сходимость: гармонический ряд с $a_{n} \to 0$ расходится.
Эталон под рукой: геометрический ряд $\sum q^{n}$ сходится при $∣ q ∣ < 1$ ; обобщённый гармонический $\sum \frac{1}{n ^{p}}$ сходится при $p > 1$ и расходится при $p \leq 1$ .
Положительный ряд со «степенным» членом $\frac{многочлен}{n ^{p}}$ — предельный признак сравнения с ближайшим эталоном: ответ даёт отношение старших степеней.
Факториалы или $q^{n}$ в записи — признак Даламбера: считайте $\frac{a _{n + 1}}{a _{n}}$ и его предел $ρ$ . Меньше единицы — сходимость, больше — расходимость, единица — признак молчит.
Всё выражение возведено в степень $n$ — радикальный Коши: $ρ = lim n a_{n}$ , те же выводы при том же мёртвом случае $ρ = 1$ .
Член содержит $ln n$ или сравнение с $\frac{1}{n l n ^{p} n}$ неудобно — интегральный признак: ряд и интеграл $\int_{1}^{\infty} f (x) d x$ сходятся вместе.
Знакочередующийся ряд — сначала абсолютная сходимость (исследуйте $∣ a_{n} ∣$ ), затем признак Лейбница: монотонное убывание к нулю даёт условную сходимость.

Пример 1: Даламбер и экспоненциальный знаменатель#

$\sum \frac{n ^{2}}{3 ^{n}}$ . В записи факториалов нет, зато есть $3^{n}$ — экспонента давит любой многочлен, и Даламбер это покажет честно. Отношение соседних членов:

\frac{a _{n + 1}}{a _{n}} = \frac{( n + 1 ) ^{2}}{3 ^{n + 1}} \cdot \frac{3 ^{n}}{n ^{2}} = \frac{1}{3} (1 + \frac{1}{n})^{2} ⟶ \frac{1}{3} < 1

ρ = \frac{1}{3}

— ряд сходится; экспонента в знаменателе всегда выигрывает у степеней числителя

Полезно прочитать выкладку без формул: член ряда — это « $n^{2}$ делить на $3^{n}$ »; при переходе к следующему номеру числитель умножается примерно на единицу, знаменатель — ровно на три. Отношение соседей около $\frac{1}{3}$ , члены ряда падают геометрически — сходимость предсказуема ещё до формального признака.

Пример 2: радикальный Коши для степенной конструкции#

$\sum (\frac{n}{2 n + 1})^{n}$ . Всё выражение в степени $n$ — это прямая подпись радикального признака. Корень $n$ -й степени снимает степень: $n a_{n} = \frac{n}{2 n + 1}$ .

ρ = n \to \infty lim \frac{n}{2 n + 1} = \frac{1}{2} < 1 \Rightarrow ряд сходится

не нужно ни сравнение, ни Даламбер: корень в один ход сводит задачу к пределу рациональной дроби

Даламбер здесь тоже сработал бы, но выкладка отношения была бы грязнее. Радикальный признак незаменим в рядах вроде $\sum (2 + \frac{1}{n})^{- n}$ , где корень сразу даёт ноль.

Сами: знакочередующийся ряд до вердикта

Открывай шаги

Сначала попробуйте сделать шаг сами, потом открывайте и сверяйтесь. За полный проход начисляется XP.

Что вижу — что беру#

Вид члена $a_n$	Инструмент	Пример
многочлен / $n^{p}$ или похоже	предельное сравнение с $\sum \frac{1}{n ^{p}}$	$\sum \frac{2 n + 1}{n ^{3}}$ — сравнить с $\frac{1}{n ^{2}}$
факториал, $n!$ , или $q^{n}$	Даламбер	$\sum \frac{n ^{2}}{3 ^{n}}$ , $\sum \frac{2 ^{n}}{n !}$
всё в степени $n$	радикальный Коши	$\sum (\frac{n}{2 n + 1})^{n}$
$ln n$ в знаменателе	интегральный признак	$\sum \frac{1}{n l n ^{2} n}$ — сходится
знак чередуется	абсолютная сходимость, затем Лейбниц	$\sum \frac{( - 1 ) ^{n - 1} n}{n ^{2} + 1}$ — условно

быстрая карта выбора; границы случаев

ρ = 1

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

Кстати, третий столбец первой строки стоит проверить руками: $\frac{2 n + 1}{n ^{3}} \sim \frac{2}{n ^{2}}$ , а $p = 2 > 1$ — ряд сходится. Предельное сравнение переводит «похоже на эталон» в «сходится или расходится вместе с эталоном», и вся информация сидит в старших степенях.

Карточки: эталоны и выводы

Знаю: 0/6

Кликните карточку, чтобы перевернуть. Отмечайте выученное — счётчик в шапке покажет прогресс.

1 / 6

\sum q^{n}

— когда сходится?

Типичные ошибки#

Сравнение «не туда». Для доказательства сходимости сравнивать можно только с рядом, члены которого НЕ меньше; для расходимости — НЕ больше. Перепутанное направление делает выкладку бессмысленной.
Даламбер для $\frac{1}{n ^{p}}$ . Отношение соседей стремится к единице при любом $p$ — признак здесь бесполезен, а студенты делают вывод «сходится» из пустого места.
Модуль забыт у знакочередующегося. Без $∣ a_{n} ∣$ нельзя объявить абсолютную сходимость; Лейбниц без проверки монотонности тоже не принимается.
Перепутаны эталоны. $\sum \frac{1}{n l n n}$ расходится, хотя выглядит «почти как $\frac{1}{n ^{2}}$ »; сравнение с $\frac{1}{n}$ спасает, интегральный признак подтверждает.

Проверь себя+15 XP

Ряд $\sum_{n = 1}^{\infty} \frac{1}{n ^{3/2}}$ ...

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

Что делать, если и Даламбер, и Коши дают единицу?

Переходить к сравнению. Разложите член на главную часть: $\frac{2 n + l n n}{n ^{3} + 5} \sim \frac{2}{n ^{2}}$ — и предельный признак сравнения с $\frac{1}{n ^{2}}$ закрывает вопрос. Единица у Даламбера и Коши означает лишь, что скорость роста членов «пограничная» — между геометрической и степенной поведением решает эталон $n^{p}$ или интеграл.

Зачем нужна абсолютная сходимость, если Лейбниц и так даёт ответ?

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

Как быстро проверить необходимый признак?

Оцените порядок члена: если $a_{n}$ не тает — расход сразу. $\sum n 2$ : корень стремится к единице, члены не стремятся к нулю, расход. $\sum sin \frac{1}{n}$ : член $\sim \frac{1}{n}$ тает, но ряд расходится по сравнению с гармоническим — необходимый признак пройден, а сходимости нет.

Куда дальше: каждый признак с формулировкой и доказательством — на страницах предельный признак сравнения, признак Даламбера, радикальный Коши, интегральный признак и признак Лейбница; тонкая разница терминов — в сравнении абсолютная против условной сходимости. Решатель рядов — reshately, практика — в задачах на ряды, тренажёре рядов и базовом разборе как решать ряды.