Абсолютная и условная сходимость ряда: как определить

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

Понятие ряда — в уроке числовые ряды и термине ряд; сходимость чередующихся рядов даёт страница признака Лейбница. Здесь — второй ход исследования: определения, доказательство того, почему абсолютная сходимость сильнее, протокол двух ходов, три разобранных примера и теорема Римана о перестановках, которая объясняет, зачем преподаватели настаивают на модулях. Полное дерево признаков — в гайде как исследовать сходимость ряда.

Определение: два хода и три вердикта#

Читаем схему. Первый ход — доказать сходимость самого ряда: для знакочередующегося обычно хватает признака Лейбница с его монотонным затуханием. Второй ход — отнять у ряда знаки и исследовать модули $|a_n|$ как обычный положительный ряд: Даламбером, корнем Коши, сравнением с эталоном или интегралом. Название говорит само за себя: абсолютная сходимость — это сходимость ряда «по модулю», то есть ряда из абсолютных величин членов. Комбинация вердиктов даёт три исхода.

• модули сходятся — ряд сходится абсолютно: самый прочный режим, перестановки и почленные операции безопасны;
• модули расходятся, а сам ряд сходится — сходимость условная: сумма есть, но порядок слагаемых критичен;
• сам ряд расходится — исследование закончено: термин «абсолютная сходимость» к расходящимся рядам не применяют.

Почему абсолютная сходимость сильнее

Ключевая теорема раздела: из абсолютной сходимости следует обычная. Соберите неотрицательную величину $b_n=|a_n|+a_n$: это $2|a_n|$ для отрицательных членов и ноль для положительных. Оценка $0\le b_n\le 2|a_n|$ вместе со сходимостью $\sum |a_n|$ даёт по признаку сравнения сходимость $\sum b_n$. Тогда $a_n=b_n-|a_n|$, и ряд $\sum a_n$ — разность двух сходящихся рядов, а значит, сходится. Обратное неверно: пример 3 ниже сходится по Лейбницу, а его модули — расходящийся $p$-ряд.

Как определить: протокол двух ходов#

1. 1
   Докажите сходимость самого ряда: для знакочередующегося — Лейбниц (модули монотонно убывают и стремятся к нулю); для произвольных знаков — необходимое условие, группировка или оценка через модули.
2. 2
   Составьте ряд из модулей $\sum |a_n|$ — он уже знакоположительный, любые признаки разрешены.
3. 3
   Выберите признак по форме модуля: факториал — Даламбер, степень на весь член — корень Коши, дробь из многочленов — сравнение с $\frac{1}{n^p}$, логарифм — интеграл.
4. 4
   Сведите вердикты: модули сходятся — абсолютная сходимость; модули расходятся при сходящемся ряде — условная.
5. 5
   Сформулируйте ответ полностью. Знакоположительному ряду второй ход не нужен: у него $|a_n|=a_n$, и абсолютная сходимость совпадает с обычной.

Пример 1. Факториал со знаком: абсолютная сходимость#

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

1. 1
   Модули: $\sum \frac{2^n}{n!}$ — положительный ряд с факториалом, территория Даламбера.
2. 2
   Отношение: $\frac{2^{n+1}}{(n+1)!}\cdot \frac{n!}{2^n}=\frac{2}{n+1}\to 0<1$ — модули сходятся.
3. 3
   Вердикт: ряд сходится абсолютно — чередование для вывода даже не понадобилось.
4. 4
   Сумма: из разложения $e^x=\sum \frac{x^n}{n!}$ при $x=-2$ следует $\sum \frac{(-2{)}^n}{n!}=e^{-2}\approx 0,1353$, поэтому наш ряд равен $1-e^{-2}\approx 0,8647$.
5. 5
   Контроль: $S_6=2-2+1,3333-0,6667+0,2667-0,0889=0,8444$; остаток по Лейбницу $|R_6|\le \frac{2^7}{7!}\approx 0,0254$ — шесть членов уже дают три верных знака.

Пример 2. Чередующаяся геометрия: n/3^n со знаком#

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

1. 1
   Модули $\sum \frac{n}{3^n}$: отношение $\frac{a_{n+1}}{a_n}=\frac{n+1}{3n}\to \frac{1}{3}<1$ — сходятся по Даламберу.
2. 2
   Вердикт: сходимость абсолютная.
3. 3
   Сумма модулей: формула $\sum n{x}^n=\frac{x}{(1-x{)}^2}$ при $x=\frac{1}{3}$ даёт $\frac{1/3}{(2/3{)}^2}=\frac{3}{4}$.
4. 4
   Сумма самого ряда: та же формула при $x=-\frac{1}{3}$ даёт $\frac{3}{16}\approx 0,1875$ — чередование срезало три четверти суммы.
5. 5
   Числовой контроль: $S_4=\frac{1}{3}-\frac{2}{9}+\frac{1}{9}-\frac{4}{81}=0,1728$, сумма $0,1875$ — частичные суммы идут к ответу.

Пример 3. Обратные корни: условная сходимость#

Ряд $\sum \frac{(-1{)}^{n-1}}{\sqrt{n}}$ — классический пример условной сходимости. Лейбниц: модули $\frac{1}{\sqrt{n}}$ монотонно убывают и стремятся к нулю — ряд сходится. Второй ход: модули образуют $p$-ряд с $p=\frac{1}{2}\le 1$ — расходятся. Двухходовка выдаёт точный вердикт: сходимость условная.

1. 1
   Первый ход: $\frac{1}{\sqrt{n}}$ убывает и стремится к нулю — по Лейбницу ряд сходится.
2. 2
   Второй ход: модули $\sum \frac{1}{\sqrt{n}}$ — $p$-ряд с $p=\frac{1}{2}$, расходится (полная сводка $p$-рядов — на странице интегрального признака).
3. 3
   Итог: сходимость условная — сумма существует, но опирается на порядок слагаемых.
4. 4
   Сумма примерно $0,6049$: она выражается через дзета-функцию Римана, и для условно сходящихся рядов такие точные ответы — редкость.
5. 5
   Сравните с примерами 1 и 2: там модули сходились, и сумма была защищена от перестановок; здесь защита снята.

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

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

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

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

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