Ряд — математическое понятие¶

Ряд — в математике сумма элементов последовательности, рассматриваемая как объект анализа. Понятие ряда лежит в основе математического анализа и имеет фундаментальное значение для теории функций, дифференциальных уравнений и численных методов.

¶Определение

Пусть дана последовательность чисел $a_1, a_2, a_3, \dots$. Выражение вида

$$a_1 + a_2 + a_3 + \dots = \sum_{n=1}^{\infty} a_n$$

называется бесконечным рядом. Числа $a_n$ называются членами ряда, а выражение $S_N = \sum_{n=1}^{N} a_n$ — частичной суммой ряда. Если последовательность частичных сумм $\{S_N\}$ имеет конечный предел $S = \lim_{N \to \infty} S_N$, ряд называют сходящимся, а число $S$ — суммой ряда. В противном случае ряд расходится.

¶Основные виды рядов

¶Числовые ряды

Наиболее изученный класс — ряды действительных и комплексных чисел. Ключевые примеры:

• Геометрический ряд $\sum q^n$ — сходится при $|q| < 1$, причём сумма равна $\frac{1}{1-q}$.
• Гармонический ряд $\sum \frac{1}{n}$ — расходится, хотя члены стремятся к нулю.
• Ряды степеней вида $\sum c_n (x - a)^n$, определяющие понятие радиуса сходимости.

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

Степенной ряд $\sum_{n=0}^{\infty} c_n (x-a)^n$ является функцией переменной $x$, определённой на интервале $|x - a| < R$, где $R$ — радиус сходимости. Любой промежуток, на котором ряд сходится абсолютно, ограничен по длине. Степенные ряды представляют собой основной инструмент представления элементарных функций: экспоненты, синуса, логарифма.

¶Функциональные ряды

Ряд, членами которого являются функции, называется функциональным. Особый интерес представляет равномерная сходимость функционального ряда: если ряд сходится равномерно на отрезке и его члены — непрерывные функции, то сумма ряда также непрерывна. Теоремы о почленном дифференцировании и интегрировании функциональных рядов позволяют выполнять эти операции со знаком суммы.

¶Признаки сходимости

Для определения сходимости числового ряда разработано множество достаточных признаков:

Для сходимости ряда необходимо условие $a_n \to 0$ при $n \to \infty$; однако это условие не является достаточным, что иллюстрирует пример гармонического ряда.

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

Ряд $\sum a_n$ называется абсолютно сходящимся, если сходится ряд из абсолютных значений $\sum |a_n|$. Абсолютная сходимость — более сильное свойство: абсолютно сходящийся ряд сходится при любой перестановке членов с той же суммой. Существуют ряды, сходящиеся, но не абсолютно — такие ряды называются условно сходящимися. По теореме Римана, для любого условно сходящегося ряда существует перестановка членов, приводящая к любой заданной сумме или к расходимости.

¶Ряды в России

Развитие теории рядов в России связано с именами выдающихся математиков. Михаил Васильевич Остроградский в первой половине XIX века внёс вклад в теорию тригонометрических рядов. Николай Николаевич Лузин развил теорию тригонометрических рядов и создал школу математического анализа. Павел Сергеевич Александров и Андрей Николаевич Колмогоров заложили основы современной теории меры и интеграла, в которой ряды играют центральную роль. Вклад советских математиков в теорию сходимости рядов, ортогональных разложений и функционального анализа получил мировое признание.

¶Применение

Ряды применяются в широком спектре задач:

• Представление функций: любая гладкая функция на отрезке может быть разложена в ряд Тейлора или ряд Фурье.
• Численные методы: ряды лежат в основе алгоритмов вычисления специальных функций, решения дифференциальных уравнений.
• Теория вероятностей: распределения описываются через моментные ряды и характеристические функции.
• Физика и техника: методы возмущений в квантовой механике, теория колебаний, электродинамика опираются на разложения в ряды.

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

¶История

Понятие бесконечного ряда сформировалось в XVII–XVIII веках в работах Грегори, Ньютона, Лейбница и Бернулли. Изучение условно сходящихся рядов в XV веке (ряд Лейбница) предвосхитило строгое определение сходимости, данное Коши в начале XIX века. Теория функциональных рядов получила развитие в трудах Фурье, Дирихле, Вейерштрасса и Кантора.

¶Источники

• Фихтенгольц Г. М. Курс математического анализа
• Кудрявцев Л. Д. Математический анализ
• Камке Э. Справочник по общей теории функций действительного переменного
• Борковский В. И., Пифт В. П. Сходимость рядов