бесконечная сумма, например вида

u₁ + u₂ + u₃ +... + u_n +...

или, короче,

. (1)

Одним из простейших примеров Р., встречающихся уже в элементарной математике, является сумма бесконечно убывающей геометрической прогрессии

1 + q + q ² +... + q ⁿ +... = 1/(1 - q), ∣q∣< 1. (2)

Р. широко используются в математике и её приложениях как в теоретических исследованиях, так и при приближённых численных решениях задач. Многие числа могут быть записаны в виде специальных Р., с помощью которых удобно вычислять их приближённые значения с нужной точностью. Например, для числа π имеется Р.

, (3)

для основания е натуральных логарифмов - Р.

, (4)

а для натурального логарифма In2 - ряд

.

Метод разложения в Р. является эффективным методом изучения функций. Он применяется для вычисления приближённых значений функций, для вычисления и оценок интегралов, для решения всевозможных уравнений (алгебраических, дифференциальных, интегральных) и т. п.

При численных расчётах, когда Р. заменяется конечной суммой его первых слагаемых, полезно иметь оценку получаемой при этом погрешности (оценку "скорости сходимости" Р.). При этом целесообразно использовать Р., у которых эти погрешности достаточно быстро стремятся к нулю с возрастанием номера n. Например, в случае Р. (4) оценка указанной погрешности имеет вид 0 < е - s_n < 1/n! n.

Одни и те же величины могут выражаться через суммы различных рядов. Так, для числа π, кроме Р. (3), имеются и другие Р., например

,

однако он сходится значительно "медленнее" Р. (3), и потому его невыгодно использовать для приближённого вычисления числа π. Существуют методы преобразования Р., иногда улучшающие скорость сходимости Р.

На бесконечные суммы не переносятся все свойства конечных сумм. Например, если взять Р.

1 - 1 + 1 - 1 +... (5)

и сгруппировать подряд его члены по два, то получим (1-1) + (1-1) +... = 0; при другом же способе группировки 1 - (1 - 1) - (1 - 1) -... = 1. Поэтому следует дать чёткое определение того, что называется бесконечной суммой, и, определив это понятие, проверить, справедливы ли для таких сумм закономерности, установленные для конечных сумм. Доказывается, что для бесконечного числа слагаемых при определённых условиях сохраняются законы коммутативности и ассоциативности сложения, дистрибутивности умножения относительно сложения, правила почленного дифференцирования и интегрирования и т. п.

Числовые ряды. Формально Р. (1) можно определить как пару числовых (действительных или комплексных) последовательностей {u_n} и {S_n} таких, что S_n = u₁ +... + u_n, n = 1, 2,... Первая последовательность называется последовательностью членов Р., а вторая - последовательностью его частичных сумм [точнее S_n называется частичной суммой n-го порядка Р. (1)]. Р. (1) называется сходящимся, если сходится последовательность его частичных сумм {S_n}. В этом случае предел

называется суммой Р. и пишется

Т. о., обозначение (1) применяется как для самого Р., так и для его суммы (если он сходится). Если последовательность частичных сумм не имеет предела, то Р. называется расходящимся. Примером сходящегося Р. является Р. (2), расходящегося - Р. (5). Каждый Р. однозначно определяет последовательность его частичных сумм, и обратно: для любой последовательности {s_n} имеется и притом единственный Р., для которого она является последовательностью его частичных сумм, причём члены u_n этого Р. определяются по формулам u₁ = s₁,..., u_n+1 = s_n+1 - s_n,..., n = 1, 2,... В силу этого изучение Р. эквивалентно изучению последовательностей.

Р. называется остатком порядка n Р. (1). Если Р. сходится, то каждый его остаток сходится, а если какой-либо остаток Р. сходится, то и сам Р. также сходится. Если остаток порядка n Р. (1) сходится и его сумма равна r_n, то s = s_n + r_п.

Если Р. (1) и Р.

сходятся, то сходится и Р.

,

называемый суммой рядов (1) и (6), причем его сумма равна сумме данных Р. Если Р.(1) сходится и λ - комплексное число, то Р.

,

называемый произведением Р. на число λ, также сходится и

.

Условие сходимости Р., не использующее понятия его суммы (в случаях, когда, например, сумма Р. неизвестна), даёт критерий Коши: для того чтобы Р. (1) сходился, необходимо и достаточно, чтобы для любого ε > 0 существовал такой номер n_ε, что при любом n ≥ n_ε и любом целом р ≥ 0 выполнялось неравенство

.

Отсюда следует, что если Р. (1) сходится, то

Обратное неверно: n-й член так называемого гармонического ряда (См. Гармонический ряд)

стремится к нулю, однако этот Р. расходится.

Большую роль в теории Р. играют Р. с неотрицательными членами. Для того чтобы такой Р. сходился, необходимо и достаточно, чтобы последовательность его частичных сумм была ограничена сверху. Если же он расходится, то

,

поэтому в этом случае пишут

.

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

Интегральный признак сходимости: если функция f (х) определена при всех х ≥ 1, неотрицательна и убывает, то Р.

(7)

сходится тогда и только тогда, когда сходится интеграл

.

С помощью этого признака легко устанавливается, что Р.

(8)

сходится при α > 1 и расходится при α ≤ 1.

Признак сравнения: если для двух Р. (1) и (6) с неотрицательными членами существует такая постоянная с > 0, что 0 ≤ u_n ≤ c υ_n, то из сходимости Р. (6) следует сходимость Р. (1), а из расходимости Р. (1) - расходимость Р. (6). Обычно для сравнения берётся Р. (8), а в заданном Р. выделяется главная часть вида А/n ^α. Таким методом сразу получается, что Р. с n-м членом

,

где

сходится, поскольку сходится Р.

.

Как следствие признака сравнения получается следующее правило: если

то при α > 1 и 0 ≤ k < + ∞ Р. сходится, а при α ≤ 1 и 0 < k ≤ + ∞ Р. расходится. Так, например, Р. с n-м членом u_n = sin (1/n ²) сходится, ибо

(α = 2)

a Р. с u_n = tg (π/n) расходится, здесь

(α = 1)

Часто оказываются полезными два следствия признака сравнения. Признак Д'Аламбера: если существует (u_n > 0), то при l < 1 P. (1) сходится, а при l > 1 - расходится; и признак Коши: если существует (u_n ≥ 0), то при l < 1 P. (1) сходится, а при l > 1 P. расходится. При I = 1 как в случае признака Д'Аламбера, так и в случае признака Коши существуют и сходящиеся и расходящиеся Р.

Важный класс Р. составляют абсолютно сходящиеся ряды: Р. (1) называется абсолютно сходящимся, если сходится Р.

.

Если Р. абсолютно сходится, то он и просто сходится. Р.

абсолютно сходится, а Р.

сходится, но не абсолютно. Сумма абсолютно сходящихся Р. и произведение абсолютно сходящегося Р. на число являются также абсолютно сходящимися Р. На абсолютно сходящиеся Р. наиболее полно переносятся свойства конечных сумм. Пусть

(9)

- P., составленный из тех же членов, что и Р. (1), но взятых, вообще говоря, в другом порядке. Если Р. (1) сходится абсолютно, то Р. (9) также сходится и имеет ту же сумму, что и Р. (1). Если Р. (1) и Р. (6) абсолютно сходятся, то Р., полученный из всевозможных попарных произведений u_mυ_n членов этих Р., расположенных в произвольном порядке, также абсолютно сходится, причём если сумма этого Р. равна s, а суммы Р. (1) и (6) равны соответственно s₁ и s₂, то s = s₁s₂, т. е. абсолютно сходящиеся Р. можно почленно перемножать, не заботясь о порядке членов. Признаки сходимости для Р. с неотрицательными членами применимы для установления абсолютной сходимости рядов.

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

.

Если в этом Р. переставить члены так, чтобы за двумя положительными следовал один отрицательный:

,

то его сумма увеличится в 1,5 раза. Существуют признаки сходимости, применимые к не абсолютно сходящимся Р. Например, признак Лейбница: если

, ,

то знакочередующийся Р.

(10)

сходится. Более общие признаки можно получить, например, с помощью преобразования Абеля для Р., представимых в виде

. (11)

Признак Абеля: если последовательность {a_n} монотонна и ограничена, а Р.

∑^∞_n=1b_n

сходится, то Р. (11) также сходится. Признак Дирихле: если последовательность {a_n} монотонно стремится к нулю, а последовательность частичных сумм Р.

∑^∞_n=1b_n

ограничена, то Р. (11) сходится. Например, по признаку Дирихле Р.

сходится при всех действительных α.

Иногда рассматриваются Р. вида

.

Такой Р. называется сходящимся, если сходятся Р.

и

сумма этих Р. называется суммой исходного Р.

Р. более сложной структуры являются кратные ряды, т. е. Р. вида

,

где - заданные числа (вообще говоря, комплексные), занумерованные k индексами, n₁, n₂,..., n_k, каждый из которых независимо от других пробегает натуральный ряд чисел. Простейшие из Р. этого типа - двойные ряды (См. Двойной ряд).

Для некоторых числовых Р. удаётся получить простые формулы для величины или оценки их остатка, что весьма важно, например, при оценке точности вычислений, проводимых с помощью Р. Например, для суммы геометрической прогрессии (2)

r_n = qⁿ⁺¹/(1 - q), ∣q∣< 1,

для P. (7) при сделанных предположениях

,

а для P. (10)

∣r_n∣ ≤ u_n+1

С помощью некоторых специальных преобразований иногда удаётся "улучшить" сходимость сходящегося Р. В математике используются не только сходящиеся Р., но и расходящиеся. Для последних вводятся более общие понятия суммы Р. (см. Суммирование рядов и интегралов). Так, например, расходящийся Р. (5) можно просуммировать определённым способом к ¹/₂.

Функциональные ряды. Понятие Р. естественным образом обобщается на случай, когда членами Р. являются функции u_n = u_n (x) (действительные, комплексные или, более общо, функции, значения которых принадлежат какому-то метрическому пространству), определённые на некотором множестве Е. В этом случае ряд

, (11)

называется функциональным.

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

при достаточно больших номерах n от суммы Р.

не превышает одной и той же сколь угодно малой величины, точнее, каково бы ни было наперёд заданное число ε > О, существует такой номер n_ε, что

для всех номеров n ≤ n_ε и всех точек х ∈ Е. Это условие равносильно тому, что

[ - верхняя грань на Е]. Например, Р.

равномерно сходится на отрезке [0, q] при 0 < q < 1 и не сходится равномерно на отрезке [0, 1].

Критерий Коши: для того чтобы Р. (11) равномерно сходился на множестве Е, необходимо и достаточно, чтобы для ëþáîãî . > 0 ñóùåñòâîâàë òàêîé íîìåð n_?, ÷òî äëÿ âñåõ íîìåðîâ ï . n_?, ð ... 0 и всех точек выполнялось неравенство

Признак Вейерштрасса: если существует такой сходящийся числовой Р.

,

что |, , n = 1, 2,..., то Р. (11) равномерно сходится на Е.

Сумма равномерно сходящегося Р. непрерывных на некотором отрезке (или, более общо, на некотором топологическом пространстве) функций является непрерывной на этом отрезке (пространстве) функцией. Сумма равномерно сходящегося Р. интегрируемых на некотором множестве функций является интегрируемой на этом множестве функцией, и Р. можно почленно интегрировать. Если последовательность частичных сумм Р. интегрируемых функций сходится в среднем к некоторой интегрируемой функции, то интеграл от этой почти всюду сходящейся последовательностью частичных сумм является равномерной функции равен сумме Р. из интегралов от членов Р. Интегрируемость в этих теоремах понимается в смысле Римана или Лебега. Для интегрируемых по Лебегу функций достаточным условием возможности почленного интегрирования Р. с почти всюду сходящейся последовательностью частичных сумм является равномерная оценка их абсолютных величин некоторой интегрируемой по Лебегу функцией. Если члены сходящегося на некотором отрезке Р. (11) дифференцируемы на нём и Р. из их производных сходится равномерно, то сумма Р. также дифференцируема на этом отрезке и Р. можно почленно дифференцировать.

Понятие функционального Р. обобщается и на случай кратных Р. В различных разделах математики и её приложениях широко используется разложение функции в функциональные Р., прежде всего в степенные ряды (См. Степенной ряд), тригонометрические ряды (См. Тригонометрический ряд) и, более общо, в Р. по специальным функциям некоторых операторов.

К понятию бесконечных сумм подошли ещё учёные Древней Греции, у них уже встречалась сумма членов бесконечной геометрической прогрессии с положительным знаменателем меньшим единицы. Как самостоятельное понятие Р. вошёл в математику в 17 в. И. Ньютон и Г. Лейбниц систематически использовали Р. для решения уравнений как алгебраических, так и дифференциальных. Формальная теория Р. успешно развивалась в 18-19 вв. в работах Я. и И. Бернулли, Б. Тейлора, К. Маклорена, Л. Эйлера, Ж. Д' Аламбера (См. Д'Аламбер), Ж. Лагранжа и др. В этот период использовались как сходящиеся, так и расходящиеся Р., хотя не было полной ясности в вопросе о законности действий над ними. Точная теория Р. была создана в 19 в. на основе понятия Предела в трудах К. Гаусса, Б. Больцано, О. Коши, П. Дирихле, Н. Абеля (См. Абель), К. Вейерштрасса, Г. Римана и др.

Лит.: Маркушевич А. И., Ряды. Элементарный очерк, 3 изд., М., 1957; Ильин В. А., Позняк Э. Г., Основы математического анализа, 3 изд., ч. 1-2, М., 1971-73; Кудрявцев Л. Д., Математический анализ, 2 изд., т. 1-2, М., 1973; Никольский С. М., Курс математического анализа, т. 1-2, М., 1973; Бахвалов Н. С., Численные методы, М., 1973.

Л. Д. Кудрявцев.

таксономическая категория, применяемая в ботанике; то же, что Серия.

Многие задачи в математике приводят к формулам, содержащим бесконечные суммы, например,

или

Такие суммы называются бесконечными рядами, а их слагаемые - членами ряда. (Многоточие означает, что число слагаемых бесконечно.) Решения сложных математических задач редко удается представить в точном виде посредством формул. Однако в большинстве случаев эти решения можно записать в виде рядов. После того, как такое решение найдено, методы теории рядов позволяют оценить, сколько членов ряда необходимо взять для конкретных вычислений или как записать ответ в наиболее удобном виде. Наряду с числовыми рядами мы можем рассматривать т.н. функциональные ряды, слагаемыми которых являются функции. Многие функции можно представить с помощью функциональных рядов. Изучение числовых и функциональных рядов является важной частью математического анализа.

В примерах (1) и (2) сравнительно легко догадаться, по какому закону образуются последовательные члены. Закон образования членов ряда может быть гораздо менее очевидным. Например, для ряда (3) он станет ясен, если этот ряд записать в следующем виде:

Сходящиеся ряды. Поскольку сложение бесконечного числа членов ряда физически невозможно, необходимо определить, что именно следует понимать под суммой бесконечного ряда. Можно представить себе, что указанные операции сложения и вычитания выполняются последовательно, одна за другой, например, на компьютере. Если возникающие при этом суммы (частичные суммы) все ближе и ближе подходят к некоторому числу, то это число разумно назвать суммой бесконечного ряда. Таким образом, сумму бесконечного ряда можно определить как предел последовательности частичных сумм. При этом такой ряд называется сходящимся.

Найти сумму ряда (3) нетрудно, если заметить, что преобразованный ряд (4) можно записать в виде

Последовательные частичные суммы ряда (5) равны

и т.д.; можно заметить, что частичные суммы стремятся к 1. Таким образом, этот ряд сходится и его сумма равна 1.

В качестве примера бесконечных рядов можно рассматривать бесконечные десятичные дроби. Так, 0,353535... - это бесконечная периодическая десятичная дробь, являющаяся компактным способом записи ряда

Закон образования последовательных членов здесь понятен. Аналогично, 3,14159265... означает

но закон образования последующих членов ряда здесь неочевиден: цифры образуют десятичное разложение числа ?, и трудно сразу сказать, какова, например, 100 000-я цифра, хотя теоретически эту цифру можно вычислить.

Расходящиеся ряды. О бесконечном ряде, который не сходится, говорят, что он расходится (такой ряд называют расходящимся). Например, ряд

расходится, так как его частичные суммы равны 1/2, 1, 11/2, 2, ... . Эти суммы не стремятся ни к какому числу как к пределу, поскольку, взяв достаточно много членов ряда, мы можем сделать частичную сумму сколь угодно большой. Ряд

также расходится, но по другой причине: частичные суммы этого ряда попеременно обращаются то в 1, то в 0 и не стремятся к пределу.

Суммирование. Найти сумму сходящегося ряда (с заданной точностью), последовательно суммируя его члены, хотя теоретически и возможно, но практически трудно осуществимо. Например, ряд

сходится, и сумма его с точностью до десяти знаков после запятой равна 1,6449340668, но для того, чтобы вычислить ее с этой точностью, потребовалось бы взять ок. 20 млрд. членов. Такие ряды обычно суммируют, первоначально преобразуя их с помощью различных приемов. При этом используют алгебраические или вычислительные методы; например, можно показать, что сумма ряда (8) равна . 2/6.

Обозначения. Работая с бесконечными рядами, полезно иметь удобные обозначения. Например, конечную сумму ряда (8) можно записать как

Такая запись указывает на то, что n последовательно полагается равным 1, 2, 3, 4 и 5, а результаты складываются:

Аналогично, ряд (4) можно записать в виде

где символ . указывает на то, что мы имеем дело с бесконечным рядом, а не с конечной его частью. Символ . (сигма) называют знаком суммирования.

Бесконечная геометрическая прогрессия. Мы смогли просуммировать ряд (4), так как существовала простая формула для его частичных сумм. Аналогично, можно найти сумму ряда (2), или в общем виде,

если r принимает значения между -1 и 1. В этом случае сумма ряда (9) равна 1/(1 - r); при других значениях r ряд (9) расходится.

Можно рассматривать периодические десятичные дроби вроде 0,353535... как иной способ записи бесконечной геометрической прогрессии

Это выражение можно записать также в виде

где в скобках стоит ряд (9) с r = 0,01; следовательно, сумма ряда (10) равна

Тем же способом можно представить в виде обычной дроби любую периодическую десятичную дробь.

Признаки сходимости. В общем случае простой формулы для частичных сумм бесконечного ряда не существует, так что для установления сходимости или расходимости ряда прибегают к специальным методам. Например, если все члены ряда положительны, то можно показать, что ряд сходится, если каждый его член не превосходит соответствующего члена другого ряда, о котором известно, что он сходится. В принятых обозначения это можно записать следующим образом: если an . 0 и сходится, то сходится, если 0 ??bn . an. Например, так как ряд (4) сходится и

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

Сравнение можно использовать и для установления расходимости ряда. Если ряд расходится, то и ряд также расходится, если 0 . bn . an.

Примерами расходящихся рядов могут служить ряды

и, в частности, т.к. гармонический ряд

В расходимости этого ряда можно убедиться, сосчитав следующие частичные суммы:

и т.д. Таким образом, частичные суммы, которые оканчиваются членами 1/4, 1/8, 1/16, 1/32, ?, превосходят частичные суммы расходящегося ряда (6), и поэтому ряд (14) должен расходиться.

Абсолютная и условная сходимости. К таким рядам, как

метод сравнения неприменим, поскольку члены этого ряда имеют разные знаки. Если бы все члены ряда (15) были положительными, то мы получили бы ряд (3), о котором известно, что он сходится. Можно показать, что отсюда следует также сходимость ряда (15). Когда изменением знаков отрицательных членов ряда на противоположные его можно превратить в сходящийся, говорят, что исходный ряд сходится абсолютно.

Знакопеременный гармонический ряд (1) не является абсолютно сходящимся, т.к. ряд (14), состоящий из тех же, но только положительных членов, не сходится. Однако с помощью специальных признаков сходимости для знакопеременных рядов можно показать, что ряд (1) в действительности сходится. Сходящийся ряд, который не сходится абсолютно, называется условно сходящимся.

Операции с рядами. Исходя из определения сходящегося ряда, легко показать, что его сходимость не нарушится от вычеркивания или приписывания к нему конечного числа членов, а также от умножения или деления всех членов ряда на одно и то же число (разумеется, деление на 0 исключается). При любой перестановке членов абсолютно сходящегося ряда его сходимость не нарушается, а сумма не меняется. Например, так как сумма ряда (2) равна 1, сумма ряда

также равна 1, поскольку этот ряд получается из ряда (2) перестановкой соседних членов (1-го члена со 2-м и т.д.). Можно как угодно изменять порядок следования членов абсолютно сходящегося ряда, лишь бы в новом ряду присутствовали все члены исходного. С другой стороны, перестановка членов условно сходящегося ряда может изменить его сумму и даже сделать его расходящимся. Более того, члены условно сходящегося ряда всегда можно переставить так, что он будет сходиться к любой заранее заданной сумме.

Два сходящихся ряда ?an и ?bn можно почленно складывать (или вычитать), так что сумма нового ряда (который также сходится) складывается из сумм исходных рядов, в наших обозначениях

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

Суммируемость. Несмотря на то, что принятое нами определение сходимости бесконечного ряда кажется естественным, оно не является единственно возможным. Сумму бесконечного ряда можно определить и другими способами. Рассмотрим, например, ряд (7), который может быть записан компактно в виде

Как мы уже говорили, его частичные суммы попеременно принимают значения 1 и 0, и поэтому ряд не сходится. Но если мы образуем поочередно попарные средние его частичных сумм (текущее среднее), т.е. вычислим сначала среднее значение первой и второй частичных сумм, затем среднее второй и третьей, третьей и четвертой и т.д., то каждое такое среднее будет равно 1/2, и поэтому предел попарных средних также окажется равным 1/2. В этом случае говорят, что ряд суммируем указанным методом и его сумма равна 1/2. Было предложено много методов суммирования, позволяющих приписывать суммы довольно обширным классам расходящихся рядов и тем самым использовать некоторые расходящиеся ряды в вычислениях. Для большинства целей способ суммирования полезен, однако, только в том случае, если применительно к сходящемуся ряду он дает его конечную сумму.

Ряды с комплексными членами. До сих пор мы молчаливо предполагали, что имеем дело лишь с действительными числами, но все определения и теоремы применимы и к рядам с комплексными числами (за исключением того, что суммы, которые могут быть получены при перестановке членов условно сходящихся рядов, не могут принимать произвольные значения).

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

Суммой такого ряда также является функция, значение которой в каждой точке получается как предел вычисленных в этой точке частичных сумм. На рис. 1 показаны графики нескольких частичных сумм и суммы ряда (при x, изменяющемся от 0 до 1); sn(x) означает сумму первых n членов. Сумма ряда представляет собой функцию, равную 1 при 0 . x < 1 и 0 при x = 1. Функциональный ряд может сходиться при одних значениях x и расходиться при других; в рассмотренном нами примере ряд сходится при -1. x <1 и расходится при других значения x.

Сумму функционального ряда можно понимать по-разному. В некоторых случаях важнее знать, что частичные суммы близки (в том или ином смысле) к некоторой функции на всем интервале (a, b), чем доказывать сходимость или расходимость ряда в отдельных точках. Например, обозначив частичную сумму n-го порядка через sn(x), мы говорим, что ряд сходится в среднем квадратичном к сумме s(x), если

Ряд может сходиться в среднем квадратичном, даже если он не сходится ни в одной отдельной точке. Существуют также и другие определения сходимости функционального ряда.

Некоторые функциональные ряды получили название по тем функциям, которые в них входят. В качестве примера можно привести степенные ряды и их суммы:

Первый из этих рядов сходится при всех x. Второй ряд сходится при |x| < 1, если r < -1; при -1. x < 1, если -1 < r < 0; и при |x| . 1, если r 0 (за исключением тех случаев, когда r - неотрицательное целое число; в последнем случае ряд обрывается после конечного числа членов). Формула (17) называется биномиальным разложением для произвольной степени.

Ряды Дирихле. Рядами Дирихле называются функциональные ряды вида . (1/anx), где числа an неограниченно возрастают; примером ряда Дирихле может служить дзета-функция Римана

Ряды Дирихле часто используются в теории чисел.

Тригонометрические ряды. Так называются функциональные ряды, содержащие тригонометрические функции; тригонометрические ряды специального вида, используемые в гармоническом анализе, называются рядами Фурье. Примером ряда Фурье может служить ряд

суммой которого является "прямоугольная волна" (рис. 2). На рис. 3 представлены несколько первых частичных сумм и показано, как они аппроксимируют сумму ряда.

Асимптотические ряды. Ряд

расходится при всех значения x (кроме нуля). Иначе говоря, если мы выберем какое-то значение x и начнем последовательно суммировать члены ряда, то частичные суммы не будут стремится к пределу. Однако бывает, что в этом случае существует весьма сложная функция f(x), обладающая следующим свойством: если мы возьмем конкретную частичную сумму ряда (18), например сумму первых трех его членов, то разность между f(x) и этой частичной суммой, вычисленной при некотором значении x, будет мала при всех значениях x вблизи 0. Иначе говоря, хотя мы не может добиться хорошей аппроксимации функции f(x) в какой-либо конкретной точке x, далекой от нуля, взяв даже очень много членов ряда, но при x, близком к 0, всего лишь несколько его членов дают весьма хорошее ее приближение. Такие ряды называются асимптотическими. В численных расчетах асимптотические ряды обычно полезнее, чем сходящиеся, поскольку они с помощью небольшого числа членов обеспечивают достаточно хорошее приближение. Асимптотические ряды широко используются в теории вероятностей и математической физике.

Двойные ряды. Иногда приходится суммировать двумерные массивы чисел

Мы можем просуммировать по строкам, а затем сложить построчные суммы. Вообще говоря, у нас нет особых оснований отдавать предпочтение строкам перед столбцами, но если суммирование сначала проводить по столбцам, то результат может оказаться другим. Например, рассмотрим двойной ряд

Здесь каждая строка сходится к сумме, равной 0, и сумма построчных сумм поэтому также равна нулю. С другой стороны, сумма членов первого столбца равна 1, а всех остальных столбцов равна 0, поэтому сумма сумм по столбцам равна 1. Единственными "удобными" сходящимися двойными рядами являются абсолютно сходящиеся двойные ряды: их можно суммировать по строкам или столбцам, равно как и любым другим способом, и сумма всегда получается одной и той же. Какого-либо естественного определения условной сходимости двойных рядов не существует. См. также МАТЕМАТИЧЕСКИЙ АНАЛИЗ; ФУНКЦИЯ.