Числовые ряды и признаки сходимости

Бесконечная сумма

Сумма 1 + 1/2 + 1/4 + 1/8 + ... — может ли бесконечная сумма быть конечной? Интуиция говорит «нет», но математика показывает: да, если слагаемые убывают достаточно быстро.

Числовой ряд — это формальная запись Σₙ₌₁^∞ aₙ. Его частичная сумма Sₙ = a₁ + a₂ + ... + aₙ. Ряд сходится, если последовательность {Sₙ} имеет конечный предел S. Тогда S = Σₙ₌₁^∞ aₙ.

Необходимое условие сходимости: Если ряд сходится, то aₙ → 0. Обратное неверно: ряд Σ 1/n (гармонический ряд) расходится, хотя 1/n → 0.

Геометрический ряд

Σₙ₌₀^∞ qⁿ = 1/(1-q) при |q| < 1. Расходится при |q| ≥ 1.

Доказательство: Sₙ = (1-qⁿ⁺¹)/(1-q) → 1/(1-q) при |q| < 1.

Это фундаментальный ряд: через него выражаются ставки аннуитетов, задачи оценки бизнеса (ряд дисконтированных денежных потоков).

Признаки сходимости рядов с неотрицательными членами

Признак сравнения: Если 0 ≤ aₙ ≤ bₙ и Σbₙ сходится, то Σaₙ сходится.

Признак Даламбера: lim(n→∞) aₙ₊₁/aₙ = L. Сходится при L < 1, расходится при L > 1.

Признак Коши (радикальный): lim(n→∞) ⁿ√aₙ = L. Сходится при L < 1, расходится при L > 1.

Признак Раабе: lim n(aₙ/aₙ₊₁ - 1) = L. Сходится при L > 1, расходится при L < 1. Применяется когда признак Даламбера даёт L = 1.

Интегральный признак Маклорена–Коши: если f(x) неотрицательна и монотонно убывает, то Σf(n) и ∫f(x)dx ведут себя одинаково.

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

Ряд Σaₙ сходится абсолютно, если сходится Σ|aₙ|. Абсолютная сходимость → сходимость.

Признак Лейбница (для знакочередующихся рядов): Если |aₙ| монотонно убывает к нулю, то Σ(-1)ⁿaₙ сходится.

Ряд Σ(-1)ⁿ/n сходится условно (к ln 2), но не абсолютно.

Теорема Римана

Условно сходящийся ряд можно перегруппировать так, чтобы получить любую заданную сумму (или +∞, или -∞). Это удивительный результат: порядок слагаемых принципиален для условно сходящихся рядов.

Скорость убывания и скорость сходимости

Не только факт сходимости, но и скорость убывания членов принципиальна для вычислительной практики. Если aₙ ~ C/nᵅ, ряд сходится при α > 1. Если aₙ убывает экспоненциально (aₙ ≤ Mrⁿ, r < 1) — ряд сходится быстро. Признак Даламбера lim aₙ₊₁/aₙ = L < 1 означает, что члены убывают «почти геометрически» с знаменателем L.

Ряды в вычислениях

Практика: вычисление π через ряд Лейбница π/4 = 1 − 1/3 + 1/5 − ... сходится слишком медленно (≈10⁶ членов для 6 знаков). Гораздо эффективнее формула Мачина: π/4 = 4arctan(1/5) − arctan(1/239), где разложения arctan сходятся быстро. Современные алгоритмы вычисления π основаны на квадратично сходящихся формулах Рамануджана и алгоритме Борвейна — использование рядов с правильно выбранной скоростью сходимости.

Теорема Абеля о граничном поведении

На границе круга сходимости |x − a| = R поведение ряда не определено в общем случае. Теорема Абеля: если степенной ряд Σcₙxⁿ сходится при x = R (граничная точка), то его сумма непрерывна в точке x = R (слева). Это позволяет вычислять значения функций на границе сходимости через предел внутри.

Следствие: ln 2 = 1 − 1/2 + 1/3 − 1/4 + ... Этот ряд сходится (признак Лейбница), и по теореме Абеля его сумма равна значению ln(1+x) при x = 1.

В теории вероятностей производящая функция моментов E[eˢˣ] = Σ μₙsⁿ/n! — степенной ряд, коэффициенты которого суть моменты распределения. Метод моментов для восстановления распределения по статистическим данным основан на этом разложении.

Арифметика сходящихся рядов

Если ряды Σaₙ и Σbₙ сходятся к A и B, то Σ(aₙ + bₙ) = A + B и Σ(caₙ) = cA (линейность). Произведение рядов (ряд Коши) ΣcN где cₙ = Σₖ₌₀ⁿ aₖbₙ₋ₖ сходится к AB, если хотя бы один из исходных рядов сходится абсолютно. Без условия абсолютной сходимости произведение может расходиться — пример: произведение ряда Σ(-1)ⁿ/√(n+1) само на себя расходится. Это ограничение принципиально для приложений в теории вероятностей, где свёртка распределений (суммирование независимых случайных величин) требует абсолютной сходимости соответствующих рядов.

Вопрос для размышления: Ряд Σ1/n² = π²/6 — «Базельская проблема», решённая Эйлером в 1735 году. Почему сумма квадратичного ряда содержит π, хотя π — это «геометрическое» число?

Признаки сравнения и асимптотический признак

Для числовых рядов с положительными членами: если aₙ ≤ bₙ и Σbₙ сходится, то Σaₙ сходится; если aₙ ≥ cₙ и Σcₙ расходится, то Σaₙ расходится. Предельный признак сравнения: если aₙ/bₙ → L ∈ (0, ∞), то ряды ведут себя одинаково. Пример: 1/(n² + 3n) ~ 1/n² при n → ∞, значит первый ряд сходится вместе со вторым. Интегральный признак Маклорена–Коши: Σf(n) сходится тогда и только тогда, когда ∫₁^∞ f(x) dx сходится (при f убывающей). Это позволяет свести сходимость ряда к сходимости несобственного интеграла. P-ряд: Σ1/nᵖ сходится при p > 1 и расходится при p ≤ 1.