Предел суммы¶
Предел суммы — это понятие из математического анализа, определяющее предельное значение бесконечного ряда, то есть суммы бесконечно большого числа слагаемых. Если частичные суммы ряда сходятся к конечному числу, ряд называют сходящимся, а это число — его пределом суммы. Понятие является одним из фундаментальных в теории рядов и имеет широкое применение в вычислительной математике, физике и инженерных расчётах.
¶Определение и обозначения
Рассмотрим бесконечный ряд
$$S = \sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \dots$$
Частичной суммой ряда называется сумма первых $n$ слагаемых:
$$S_n = \sum_{k=1}^{n} a_k$$
Ряд $\sum a_n$ называется сходящимся, если последовательность его частичных сумм $\{S_n\}$ имеет конечный предел:
$$\lim_{n \to \infty} S_n = S$$
Этот предел $S$ и называется пределом суммы ряда. Если предела не существует или он бесконечен, ряд расходится.
¶Необходимое условие сходимости
Для сходимости ряда $\sum a_n$ необходимо, чтобы его члены стремились к нулю:
$$\lim_{n \to \infty} a_n = 0$$
Это условие является необходимым, но не достаточным. Классический пример ряда, члены которого стремятся к нулю, но который расходится, — гармонический ряд $\sum \frac{1}{n}$. Его сходимость можно показать, разбив сумму на блоки и сравнив каждую блочную сумму с $\frac{1}{2}$.
¶Признаки сходимости
Для определения того, сходится ли ряд и чему равен его предел суммы, разработано множество признаков.
¶Признак сравнения
Если $0 \leq a_n \leq b_n$ для всех $n$, то сходимость ряда $\sum b_n$ влечёт сходимость $\sum a_n$. Обратное утверждение верно для расходящихся рядов с неотрицательными членами.
¶Признак Даламбера и Коши
Для положительных рядов $\sum a_n$ вычисляют предел отношения или корня:
$$\lim_{n \to \infty} \frac{a_{n+1}}{a_n} = q \quad \text{или} \quad \lim_{n \to \infty} \sqrt[n]{a_n} = q$$
Если $q < 1$, ряд сходится; если $q > 1$ — расходится; при $q = 1$ признак не даёт результата.
¶Интегральный признак
Для убывающей положительной функции $f(n) = a_n$ ряд $\sum a_n$ сходится тогда и только тогда, когда сходится интеграл $\int_1^{\infty} f(x)\,dx$.
¶Признак Лейбница
Для знакопеременного ряда $\sum (-1)^{n-1} a_n$, где $a_n$ убывает и стремится к нулю, ряд сходится. Сумма ряда по модулю не превышает первого слагаемого.
¶Абсолютная и условная сходимость
Ряд $\sum a_n$ называется абсолютно сходящимся, если сходится ряд из модулей его членов $\sum |a_n|$. Абсолютная сходимость влечёт обычную сходимость, но обратное неверно. Ряд, который сходится, но не абсолютно, называется условно сходящимся. Пример — ряд Лейбница $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \dots$, сумма которого равна $\ln 2$.
¶Свойства сходящихся рядов
Если ряды $\sum a_n$ и $\sum b_n$ сходятся к $A$ и $B$ соответственно, то:
- $\sum (a_n + b_n)$ сходится к $A + B$;
- $\sum c \cdot a_n$ сходится к $c \cdot A$ для любого числа $c$;
- при объединении и перестановке членов абсолютно сходящегося ряда его сумма не меняется (свойство коммутативности).
Для условно сходящихся рядов перестановка членов может изменить сумму — это связано с теоремой Римана о перестановке рядов.
¶Применение
Предел суммы используется при разложении функций в ряды: ряды Тейлора и Маклорена, ряды Фурье, степенные ряды. В физике и технике ряды применяются для приближённого вычисления интегралов, решений дифференциальных уравнений и моделирования периодических процессов. В вычислительной математике сходимость ряда определяет, можно ли использовать его частичную сумму как приближение к искомой величине с заданной точностью.
¶История
Исследование сходимости рядов активно развивалось в XVII–XVIII веках в работах Ньютона, Лейбница, Бернулли и Эйлера. Строгая теория сходимости была создана в XIX веке Коши, Вейерштрассом и Дедекиндом. В XX веке теория рядов была обобщена на ряды в банаховых пространствах и функциональные ряды.
¶Источники
- Кудрявцев Л. Д. «Математический анализ»
- Фихтенгольц Г. М. «Курс математического анализа»
- Камке Э. «Справочник по обыкновенным дифференциальным уравнениям»
- Зорич В. А. «Математический анализ»