Числовые ряды: основные понятия
Числовой ряд — это бесконечная сумма членов последовательности. Основной объект изучения — сходимость ряда. Рассматриваются только вещественные ряды. Алгоритм суммирования классический: последовательное сложение членов, образующее последовательность частичных сумм.
- Частичная сумма (Sₙ) — это сумма первых n членов ряда: Sₙ = a₁ + a₂ + ... + aₙ.
- Ряд сходится, если последовательность его частичных сумм имеет конечный предел. Этот предел называется суммой ряда.
- Ряд расходится, если предел частичных сумм бесконечен или не существует.
Основная задача — исследовать, сходится ряд или расходится, а не вычислять его точную сумму.
Необходимое условие сходимости
Если ряд сходится, то его общий член обязательно стремится к нулю.
- Это необходимое, но не достаточное условие.
- Если lim aₙ ≠ 0, то ряд гарантированно расходится.
Свойства сходящихся рядов
Со сходящимися рядами можно производить линейные операции, аналогичные операциям с пределами последовательностей.
- Линейность: Если ряды ∑aₙ и ∑bₙ сходятся, то для любых чисел α и β сходится ряд ∑(αaₙ + βbₙ), и его сумма равна α∑aₙ + β∑bₙ.
- Группировка членов: В сходящемся ряде можно группировать конечное количество соседних членов (расставлять скобки) без изменения суммы. Однако произвольная перестановка членов в общем случае недопустима и может изменить сумму.
Сходимость или расходимость ряда определяется поведением его «хвоста» — членами с достаточно большими номерами. Изменение конечного числа начальных членов на сходимость не влияет.
Ряды с неотрицательными членами
Далее рассматриваются ряды, все члены которых неотрицательны (aₙ ≥ 0). Ряды с положительными членами изучаются аналогично, так как общий положительный множитель можно вынести. Для таких рядов последовательность частичных сумм {Sₙ} является монотонно неубывающей.
- Ряд с неотрицательными членами сходится тогда и только тогда, когда последовательность его частичных сумм ограничена сверху.
- Если последовательность частичных сумм неограничена, ряд расходится к +∞.
Признаки сходимости для рядов с неотрицательными членами
Для исследования сходимости используется набор признаков (достаточных условий). Выбор подходящего признака — ключевой этап анализа.
Интегральный признак Коши
Связывает сходимость ряда со сходимостью несобственного интеграла.
Пусть функция f(x) непрерывна, положительна и монотонно убывает на промежутке [1, +∞). Тогда ряд ∑f(n) и интеграл ∫₁⁺∞ f(x) dx сходятся или расходятся одновременно.
Доказательство основано на геометрической интерпретации: площадь под кривой f(x) «зажимается» между суммами площадей ступенчатых фигур, составленных из членов ряда.
Эталонный (обобщенный гармонический) ряд
Ряд вида ∑ 1/nᵅ является ключевой моделью для сравнения.
- Он сходится при α > 1.
- Он расходится при α ≤ 1.
Этот результат легко доказывается с помощью интегрального признака.
Признак Даламбера
Основан на пределе отношения последующего члена ряда к предыдущему.
Пусть для ряда с положительными членами существует предел: lim (aₙ₊₁ / aₙ) = D.
- Если D < 1, то ряд сходится.
- Если D > 1, то ряд расходится.
- Если D = 1, то признак не дает ответа (ряд может как сходиться, так и расходиться).
Признак Коши (радикальный)
Основан на пределе корня n-ой степени из общего члена.
Пусть для ряда с неотрицательными членами существует предел: lim ⁿ√(aₙ) = C.
- Если C < 1, то ряд сходится.
- Если C > 1, то ряд расходится.
- Если C = 1, то признак не работает.
Признаки сравнения
Позволяют исследовать сходимость сложного ряда, сравнивая его с эталонным.
- Признак сравнения в форме неравенства: Если для всех n выполняется 0 ≤ aₙ ≤ bₙ, то:
- Из сходимости ряда ∑bₙ следует сходимость ряда ∑aₙ.
- Из расходимости ряда ∑aₙ следует расходимость ряда ∑bₙ.
- Предельный признак сравнения: Если для положительных рядов существует конечный и отличный от нуля предел lim (aₙ / bₙ) = k > 0, то ряды ведут себя одинаково: оба сходятся или оба расходятся.
Если предел отношения равен нулю, то aₙ стремится к нулю «быстрее», чем bₙ. В этом случае из сходимости «более крупного» ряда ∑bₙ следует сходимость «мелкого» ряда ∑aₙ. Если предел бесконечен, то верно обратное: из расходимости «мелкого» ряда ∑bₙ следует расходимость «крупного» ряда ∑aₙ.
Примеры применения признаков
Пример 1: Исследовать ряд ∑ (ln n / n³ᐟ²).
- Необходимое условие выполнено: член ряда стремится к нулю.
- Признак Даламбера дает неопределенный ответ (D=1).
- Используем предельный признак сравнения с эталонным сходящимся рядом ∑ 1/n¹˙²⁵ (так как 3/2 = 1.5, а 1.25 > 1).
- Сравниваем: lim [(ln n / n¹˙⁵) / (1 / n¹˙²⁵)] = lim (ln n / n⁰˙²⁵) = 0.
- Так как предел равен 0, а эталонный ряд сходится, то исходный ряд тоже сходится.
Пример 2: Исследовать ряд ∑ sin(1/n³).
- Используем известный предел lim (sin x / x) = 1 при x→0.
- Сравниваем с рядом ∑ (1/n³): lim [sin(1/n³) / (1/n³)] = 1.
- Так как предел конечен и положителен, а ряд ∑ 1/n³ сходится (α=3>1), то исходный ряд также сходится.
Итог
Исследование числовых рядов начинается с проверки необходимого условия сходимости. Для рядов с неотрицательными членами ключевым является факт монотонного роста частичных сумм и их ограниченности. Арсенал признаков сходимости (интегральный, Даламбера, Коши, сравнения) позволяет, сравнивая ряд с эталонными моделями, делать вывод о его поведении. Умение выбрать подходящий признак приходит с опытом анализа скорости стремления общего члена ряда к нулю.