Функциональные ряды Лекция 13. Равномерно сходящиеся ряды.

Функциональный ряд– это ряд, члены которого – функции, определенные в некоторой областиV.

Определим частичную сумму ряда – тоже функцию .

Зафиксировав некоторую точку x, мы имеем дело с обычным числовым рядом.

Функциональный ряд называетсясходящимся в точке x,еслисходится кили

, что.

Это - обычная или поточечнаясходимость ряда, так как номерNзависит не только от, как в числовых рядах, но и от точкиx. То есть в каждой точкеxряд сходится со своей скоростью.

Критерий Коши поточечной сходимости ряда.Это – критерий Коши для последовательности частичных сумм ряда.

Для того чтобы функциональный ряд сходился в точкеx, необходимо и достаточно, чтобы.

Все точки, в которых ряд сходится, составляют область сходимости ряда.

Примеры. 1) Ряд сходится только в точке, во всех остальных точках ряд расходится.

2) Ряд сходится во всех точках оси,.

3) Ряд сходится в области.

4) Ряд расходится во всех точках оси.

Функциональный ряд называетсяравномерно сходящимся в области V, если

, что.

Здесь номер Nзависит только от, но не от точкиx, поэтому номерNвыбирается сразу для всей областиV. Ряд сходится с одной и той же скоростью для всех точек областиV. Такая сходимость напоминает сходимость числовых рядов. Действительно, равномерно сходящиеся ряды обладают очень полезными свойствами, которые мы обсудим ниже.

Критерий Коши равномерной сходимости ряда.

Для того чтобы функциональный ряд равномерносходился в областиV, необходимо и достаточно, чтобы.

Признак Вейерштрасса равномерной сходимости ряда.

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

Тогда функциональный ряд равномерно сходится в областиV.

Доказательство.Так как числовой ряд сходится, то для него выполнен критерий Коши(ряд знакоположителен,).

Тогда

.

Следовательно, выполнен критерий Коши равномерной сходимости ряда, и ряд сходится в областиVравномерно.

Пример. Рядсходится равномерно вR, так как- сходящийся числовой ряд.

Свойства равномерно сходящихся функциональных рядов.

Теорема о непрерывности суммы ряда.

Пусть члены функционального ряда- непрерывные функции в точке- внутренней точке областиV. Пусть рядсходится равномерно в областиV. Тогда сумма функционального ряда – непрерывная функция в точке.

Доказательство. Так как ряд сходится равномерно вV, то

.

Так как - непрерывные функции в точке, то инепрерывна вкак сумма конечного числа непрерывных функций.

Зафиксируем n>N. По непрерывности.

Оценим

.

Итак , то есть сумма функционального ряда – непрерывная функция в точке.

Теорема о почленном переходе к пределу.

Пусть рядравномерно сходится кS(x) вV, тогда

Тогда ряд (ряд изc_nсходится к).

(без доказательства).

Заметим,что суть теоремы содержится в формуле.

, что и оправдывает название теоремы.

Теорема о почленном интегрировании.

Пусть непрерывны вV, пусть рядравномерно сходится вV. Тогда ряд, то есть функциональный ряд можно почленно интегрировать.

Заметим,что суть теоремы содержится в формуле

Доказательство. Так как рядравномерно сходится вV, то его суммаS(x) непрерывна (теорема о непрерывности суммы ряда) и

Так как непрерывны, то. Составим ряд, покажем, что он сходится кОбозначим частичную сумму

Так как ряд равномерно сходится вV, то.

Оценим .

Теорема о почленном дифференцировании.

Пусть непрерывны вV. Пусть рядсходится вV, а ряд

.равномерно сходится в V. Тогда рядможно почленно дифференцировать, причем (=.

Доказательство. Так как рядсходится равномерно, то его сумма- непрерывная функция (теорема о непрерывности суммы ряда). Ее можно интегрировать, применяя теорему о почленном интегрировании.

Дифференцируя, получим , то есть.