Бесконечный ряд, построенный из функциональной последовательности
fn (x) = f1 (x) + f2 (x) + … + fn (x) + …
называется функциональным рядом.
Значение х = х0, прикоторомчисловойряд сходится, называетсяточкойсходимостирядаСовокупностьвсех точек сходимостиряда называется областьюсходимости ряда. Sn (x) =
fs (x).
Областью сходимости функционального ряда обычно бывает какой-нибудь промежуток оси Ох.
Сумму n первых членов ряда (n-ю частичную сумму) обозначают через Sn(x) , а остаток ряда обозначают через Rn(x). Функциональный ряд сходится при некотором значении х, если существует конечный предел
и
.
S(x) – сумма функционального ряда. Ее можно представить в виде S(x) = Sn(x) + Rn(x). Каждому значению х из области сходимости соответствует определенное значение S(x).
Разность между суммой S (x) сходящегося функционального ряда и одной из его частичных сумм Sn (x) называют остатком и обозначают
Rn (x) = S (x) – Sn (x) =
fs (x).
Признак Вейерштрасса
Существует простой признак для проверки равномерной сходимости (признак Вейерштрасса)
Можно рассматривать
и при этом сохраняется терминология числовых рядов, связанная с абсолютной и условной сходимостью.
Как и в рядах, абсолютная сходимость сильнее сходимости: из абсолютной сходимости вытекает сходимость.
Теорема (Вейерштрасс):
|
, , , — сходится. Тогда равномерно сходится на .
|
Доказательство:
|
|
Применим критерий Коши:
Сопоставляя с предыдущим неравенством, которое верно ,
. Тогда, по критерию Коши, ряд равномерно сходится.
|