15. Знакопеременные ряды

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

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

, где .

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

Признак абсолютной сходимости

Знакопеременный ряд

(4)

сходится, если сходится ряд

(5)

Ряд (4) называется в этом случае абсолютно сходящимся. Если ряд (4) сходится, а ряд (5) расходится, то ряд (4) называется условно сходящимся. При этом сходимость ряда (4) можно в ряде случаев установить без исследования ряда (5).

Признак сходимости Лейбница

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

Если одновременно выполняются следующие два условия:

1) ,

2) , то такой ряд сходится и его сумма не превосходит первого члена: .

16. Функциональный ряд — ряд, каждым членом которого, в отличие от числового ряда, является не число, а функция .

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

— n-ная частичная сумма.

Сходимость

Ряд называется сходящимся поточечно, если последовательность его частичных сумм сходится поточечно.

Ряд называется сходящимся равномерно, если последовательность его частичных сумм сходится равномерно.

Необходимое условие равномерной сходимости

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

сходится. Весьма простую форму О. с. имеет для степенных рядов. Если рассматривать их для действительных значений аргумента, то О. с. состоит либо из одной точки, либо является некоторым интервалом (см. Интервал сходимости), к которому могут присоединяться и его концевые точки (одна или обе), либо, наконец, совпадает со всей осью Ox. Если же рассматривать и комплексные значения аргумента, то О. с. степенного ряда состоит либо из одной точки, либо из внутренности некоторого круга (круга сходимости), к которой могут присоединяться также точки окружности этого круга, либо из всей плоскости комплексного аргумента. Ряды других видов могут иметь более сложные О. с. Например, для рядов по Лежандра многочленам в комплексной области О. с. является внутренность эллипса с фокусами в точках —1 и 1.

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

18. Теоре́ма Лебе́га о мажори́руемой сходи́мости в функциональном анализе, теории вероятностей и смежных дисциплинах — это теорема, утверждающая, что если сходящаяся почти всюду последовательность измеримых функций может быть ограничена по модулю сверху интегрируемой функцией, то все члены последовательности, а также предельная функция тоже интегрируемы. Более того, интеграл последовательности сходится к интегралу её предела.