📈 Матанализ

Абсолютная против условной сходимости: в чём разница

Q: Почему из абсолютной сходимости следует обычная, а не наоборот?

Абсолютная — более сильное требование: она фиксирует не только сокращение слагаемых, но и их суммарную «массу». Если $\sum |a_n|$ сходится, то хвосты $\sum_{n>N} |a_n|$ малы, а обычная частичная сумма отличается от суммы модулей не более чем самим хвостом модулей — признак Коши срабатывает сразу. Обратная логика не работает: сокращение может держаться на чередовании знаков, как в $\sum \frac{(-1)^{n+1}}{n}$, где без знаков сумма улетает в бесконечность.

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

Смотреть на форму $|a_n|$. Факториалы, произведения степеней — признак Даламбера. Чистые степени $n^p$ или $q^n$ — сравнение с обобщённым гармоническим или геометрическим рядом. Всё выражение возведено в $n$-ю степень — радикальный Коши. Полный выбор инструмента с примерами — в разборе [как исследовать ряд на сходимость](/kak-reshat/kak-issledovat-ryad-na-shodimost/) и в [шпаргалке по рядам](/shpargalki/ryady/).

АбсолютнаяУсловная

Коротко: Уберите минусы из ряда: если то, что осталось, сходится — сходимость абсолютная, с рядом можно обращаться как с конечной суммой. Если остаток разлетелся, а ряд с минусами сходится — сходимость условная: сумма есть, но её величина зависит от порядка слагаемых.

План на семестр Вердикт: с чего начать

Два ряда, похожих как братья: $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \dots$ и $1 + \frac{1}{4} + \frac{1}{9} + \frac{1}{16} + \dots$ без минусов — то есть $\sum \frac{( - 1 ) ^{n + 1}}{n}$ и $\sum \frac{1}{n ^{2}}$ . Оба сходятся. Но между ними пропасть, которая на контрольной стоит баллов, а в приложениях — корректности всей выкладки: у первого минусы несут рабочую нагрузку, у второго — декорация. Уберите минусы из первого — останется гармонический ряд, который расходится. Уберите из второго — ничего не изменится.

Это и есть граница между двумя видами сходимости. Теория рядов разобрана в уроке числовые ряды, признаки для положительных рядов — в термине признак Даламбера; здесь — то, что обычно остаётся за кадром: почему разница важна и где она стреляет.

n = 1 \sum \infty \frac{( - 1 ) ^{n + 1}}{n} = ln 2 \approx 0, 693, n = 1 \sum \infty \frac{( - 1 ) ^{n + 1}}{n ^{2}} = \frac{π ^{2}}{12} \approx 0, 822

левый ряд сходится условно: сумма

\sum 1/ n

расходится; правый — абсолютно:

\sum 1/ n^{2}

сходится

Проверка минусами: один шаг классификации#

Алгоритм занимает секунду. Возьмите ряд с минусами, отбросьте их — то есть рассмотрите $\sum ∣ a_{n} ∣$ — и прогоните по любому признаку для положительных рядов: сравнению, Даламберу, радикальному Коши. Сходится — сходимость исходного ряда абсолютная. Расходится — ещё ничего не решено: минусы могли спасти ряд. Тогда ряд с минусами проверяют вторым ходом, обычно признаком Лейбница: если $a_{n}$ монотонно убывает к нулю, знакочередующийся ряд сходится. Сошлось — значит, сходимость условная.

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

Заметьте, что условная сходимость — редкий гость на границе: чтобы её поймать, ряд из модулей должен расходиться в самый последний момент, когда основной член $a_{n}$ убывает медленнее $1/ n$ в степени больше единицы... точнее, между $1/ n$ и $1/ n^{2}$ по скорости. Практический вывод: почти всё, что сходится, сходится абсолютно; условность — тонкий случай, и именно поэтому её проверка всегда двухходовая.

Перестановка членов: где ломается школьная арифметика#

Вот зачем вообще различать эти два вида. Для конечной суммы порядок слагаемых безразличен. Для бесконечного ряда всё иначе. Теорема Римана: члены условно сходящегося ряда можно переставить так, чтобы сумма стала любым наперёд заданным числом — хоть $100$ , хоть минус сто, — а можно добиться расходимости. Причина честная: условно сходящийся ряд балансирует на весах — положительная часть суммы стремится к $+ \infty$ , отрицательная к $- \infty$ , и сходимость держится на точном чередовании. Переставьте слагаемые — балансировка уедет куда угодно.

С абсолютно сходящимся рядом такого не бывает: его сумма не зависит от порядка членов. Блоки $1 + \frac{1}{3} - \frac{1}{2}$ , $\frac{1}{5} + \frac{1}{7} - \frac{1}{4}$ и так далее — два положительных на один отрицательный — дают ровно $\frac{3}{2} ln 2$ : сумма того же набора чисел, собранного иначе, выросла в полтора раза. Никакой ошибки в вычислении нет — ошибка в ожидании, что бесконечная сумма ведёт себя как конечная.

Свойство	Абсолютная сходимость	Условная сходимость
Ряд из модулей	сходится	расходится
Признаки проверки	любой признак для положительных рядов	Лейбниц, Дирихле, Абель
Перестановка членов	сумма не меняется	сумма — любое число или расходимость (Риман)
Умножение рядов	произведение Коши сходится к произведению сумм	может расходиться
Остаток ряда	хвост контролируется суммой модулей	у Лейбница — не больше первого отброшенного
Что учить первым	любую теорию можно применять смело	осторожность: только проверенные операции

Абсолютная сходимость — лицензия на операции с рядом; условная — режим ограниченной видимости

Четыре карточки для различения

Знаю: 0/4

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

1 / 4

Абсолютная сходимость

Почему это спрашивают на каждом зачёте#

Типовая постановка

Задание формулируется одинаково: «исследовать ряд на абсолютную и условную сходимость». Это приглашение пройтись ровно по двум шагам: модули — и после расходимости модулей сам ряд по Лейбницу. Потеря баллов бывает двух видов: остановиться после первого шага с выводом «расходится» (забыт Лейбниц) и объявить сходимость абсолютной, не проверив ряд из модулей (взято с потолка). Полный ответ всегда двухходовой, и ходы нельзя менять местами.

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

Ряд $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \dots = ln 2$ переставили: циклически берём два положительных члена и один отрицательный. Чему стала равна сумма?

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

Ряд $\sum_{n = 1}^{\infty} \frac{( - 1 ) ^{n + 1} n}{n ^{2} + 1}$ — какой сходимости?

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

Почему из абсолютной сходимости следует обычная, а не наоборот?

Абсолютная — более сильное требование: она фиксирует не только сокращение слагаемых, но и их суммарную «массу». Если $\sum ∣ a_{n} ∣$ сходится, то хвосты $\sum_{n > N} ∣ a_{n} ∣$ малы, а обычная частичная сумма отличается от суммы модулей не более чем самим хвостом модулей — признак Коши срабатывает сразу. Обратная логика не работает: сокращение может держаться на чередовании знаков, как в $\sum \frac{( - 1 ) ^{n + 1}}{n}$ , где без знаков сумма улетает в бесконечность.

Какой признак выбрать для проверки ряда из модулей?

Смотреть на форму $∣ a_{n} ∣$ . Факториалы, произведения степеней — признак Даламбера. Чистые степени $n^{p}$ или $q^{n}$ — сравнение с обобщённым гармоническим или геометрическим рядом. Всё выражение возведено в $n$ -ю степень — радикальный Коши. Полный выбор инструмента с примерами — в разборе как исследовать ряд на сходимость и в шпаргалке по рядам.

Что даёт остаток ряда по Лейбницу и зачем он нужен?

Оценку погрешности: если частичную сумму оборвать после $n$ членов, ошибка не превышает первого отброшенного члена $a_{n + 1}$ — потому что хвост знакочередующегося ряда сам знакочередуется и зажат между двумя своими частичными суммами. Практически это значит: чтобы получить $ln 2$ с точностью $0, 001$ по ряду для $ln 2$ , достаточно тысячи слагаемых, а чтобы заметить неверную перестановку — нужен контроль по теореме Римана, а не по хвосту.

Условно сходящийся ряд можно как-то легально переставлять?

Можно, если известна новая сумма и она вам нужна — теория перестановок хорошо изучена (схема «два на один» даёт $\frac{3}{2} ln 2$ , «p на q» даёт $ln 2 + \frac{1}{2} ln \frac{p}{q}$ ). Но в выкладках по умолчанию перестановку запрещают: она легальна только для абсолютно сходящихся рядов. В степенных рядах и рядах Фурье вопрос тоньше — там сходимость своя, локальная или поточечная, и правила отдельные: смотрите урок степенные ряды.

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