Числовые и функциональные ряды

Введение

Ряды - это бесконечные суммы вида \( \sum_{n=1}^{\infty} a_n \). Они играют ключевую роль в анализе, приближённых вычислениях, решении дифференциальных уравнений и разложении функций. В этом документе систематизированы основные понятия, признаки сходимости и методы работы с числовыми и функциональными рядами.

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

Определение

Ряд \( \sum_{n=1}^{\infty} a_n \) называется сходящимся, если последовательность его частичных сумм

\[ S_N = \sum_{n=1}^{N} a_n \]

имеет конечный предел: \( \lim_{N \to \infty} S_N = S \). Число \( S \) называется суммой ряда.

Необходимый признак сходимости

Если ряд сходится, то \( \lim_{n \to \infty} a_n = 0 \).

Важно! Обратное неверно: из \( \lim a_n = 0 \) не следует сходимость ряда.
Пример: гармонический ряд \( \sum \frac{1}{n} \) расходится, хотя \( \frac{1}{n} \to 0 \).

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

Предельный признак сравнения

Пусть \( a_n > 0 \), \( b_n > 0 \), и существует конечный предел

\[ \lim_{n \to \infty} \frac{a_n}{b_n} = L \ne 0. \]

Тогда ряды \( \sum a_n \) и \( \sum b_n \) либо оба сходятся, либо оба расходятся.

Совет: сравнивайте с обобщённым гармоническим рядом \( \sum \frac{1}{n^p} \):

• сходится при \( p > 1 \),
• расходится при \( p \leq 1 \).

Признак Даламбера

Для ряда с положительными членами рассмотрим

\[ \rho = \lim_{n \to \infty} \frac{a_{n+1}}{a_n}. \]

Тогда:

• если \( \rho < 1 \) - ряд сходится;
• если \( \rho > 1 \) - ряд расходится;
• если \( \rho = 1 \) - признак не решает вопроса.

Когда применять? Если в \( a_n \) есть факториалы, степени вида \( c^n \), или их произведение.

Радикальный признак Коши

Рассмотрим

\[ \rho = \lim_{n \to \infty} \sqrt[n]{a_n}. \]

Выводы те же, что и для признака Даламбера.

Когда применять? Когда \( a_n \) содержит выражение вида \( (f(n))^n \).

Интегральный признак Коши

Пусть \( f(x) \) - положительная, непрерывная и убывающая функция на \( [1,\infty) \), и \( a_n = f(n) \). Тогда ряд \( \sum a_n \) и интеграл \( \int_1^\infty f(x)\,dx \) сходятся или расходятся одновременно.

Знакочередующиеся ряды и признак Лейбница

Ряд вида

\[ \sum_{n=1}^{\infty} (-1)^{n+1} b_n,\quad b_n > 0, \]

называется знакочередующимся.

Признак Лейбница

Если:

1. \( b_{n+1} \leq b_n \) (монотонное убывание),
2. \( \lim_{n \to \infty} b_n = 0 \),

то ряд сходится.

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

• Ряд абсолютно сходится, если \( \sum |a_n| \) сходится.
• Ряд условно сходится, если он сходится, но \( \sum |a_n| \) расходится.

Факт: абсолютно сходящийся ряд всегда сходится.

Функциональные и степенные ряды

Определение

Функциональный ряд - это ряд вида \( \sum_{n=1}^{\infty} f_n(x) \), где каждый член зависит от \( x \).

Степенной ряд - частный случай:

\[ \sum_{n=0}^{\infty} c_n (x - x_0)^n. \]

Область сходимости

Множество значений \( x \), при которых ряд сходится, называется областью сходимости. Для степенных рядов она всегда имеет один из трёх видов:

• единственная точка \( x = x_0 \),
• вся числовая прямая \( \mathbb{R} \),
• интервал \( (x_0 - R, x_0 + R) \), возможно с включением одного или обоих концов.

Число \( R \) называется радиусом сходимости.

Нахождение радиуса сходимости

Используйте признак Даламбера или Коши для общего члена \( |c_n (x - x_0)^n| \):

\[ \lim_{n \to \infty} \left| \frac{c_{n+1}}{c_n} \right| = L \quad \Rightarrow \quad R = \frac{1}{L}. \]

(Если \( L = 0 \), то \( R = \infty \); если \( L = \infty \), то \( R = 0 \).)

Разложение функций в степенные ряды

Ряд Тейлора и Маклорена

Если функция \( f(x) \) бесконечно дифференцируема в окрестности \( x_0 \), то её можно разложить в ряд Тейлора:

\[ f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x - x_0)^n. \]

При \( x_0 = 0 \) получаем ряд Маклорена.

Практический совет: запомните стандартные разложения:

\[ \begin{aligned} e^x &= \sum_{n=0}^{\infty} \frac{x^n}{n!}, & x &\in \mathbb{R},\\ \sin x &= \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n+1}}{(2n+1)!}, & x &\in \mathbb{R},\\ \cos x &= \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n}}{(2n)!}, & x &\in \mathbb{R},\\ \ln(1+x) &= \sum_{n=1}^{\infty} (-1)^{n+1} \frac{x^n}{n}, & x &\in (-1, 1],\\ \frac{1}{1-x} &= \sum_{n=0}^{\infty} x^n, & |x| &< 1. \end{aligned} \]

Сумма степенного ряда

Задача: дан ряд \( \sum a_n x^n \), найти функцию \( f(x) \), к которой он сходится.

Методы:

• Сравнение с табличными разложениями.
• Почленное дифференцирование или интегрирование.
• Алгебраические преобразования (умножение/деление на \( x \), разложение на простейшие дроби).

Пример:

\[ \sum_{n=1}^{\infty} \frac{x^n}{n} = -\ln(1 - x),\quad |x| < 1. \]

Равномерная сходимость

Определение

Ряд \( \sum f_n(x) \) сходится равномерно к \( f(x) \) на множестве \( X \), если для любого \( \varepsilon > 0 \) найдётся \( N \), такое что для всех \( n \geq N \) и всех \( x \in X \):

\[ \left| \sum_{k=1}^{n} f_k(x) - f(x) \right| < \varepsilon. \]

Признак Вейерштрасса

Если существует сходящийся числовой ряд \( \sum M_n \), такой что \( |f_n(x)| \leq M_n \) для всех \( x \in X \), то \( \sum f_n(x) \) сходится равномерно (и абсолютно) на \( X \).

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

• Непрерывность суммы (если все \( f_n \) непрерывны).
• Возможность почленного интегрирования и дифференцирования (при дополнительных условиях).

Степенные ряды

Любой степенной ряд сходится равномерно на любом отрезке \( [x_0 - r, x_0 + r] \), где \( 0 < r < R \).

Заключение

Ряды - мощный инструмент анализа. Освоив базовые признаки сходимости, методы работы со степенными рядами и понятие равномерной сходимости, вы сможете:

• исследовать сходимость сложных рядов,
• приближать функции многочленами,
• вычислять интегралы и решать дифференциальные уравнения.