Область сходимости функционального ряда.

Определение 6.10. Формально написанная сумма

                                                                   (6.45)

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

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

Определение 6.11. Если числовой ряд  сходится, то говорят, что функциональный ряд  сходится в точке

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

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

Пример 6.9. Найти область абсолютной сходимости функционального ряда

.                                               (6.46)

Решение. Составим ряд из модулей

,                                               (6.47)

являющимся для произвольного   из области определения общего члена ряда (6.46) рядом с положительными членами. Воспользуемся признаком Даламбера и потребуем, чтобы ряд (6.47) сходился. Имеем

                      

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

Ответ: Область сходимости исходного ряда определяется неравенством

Пример 6.10. Найти область абсолютной сходимости функционального ряда

,                                                                    

общий член которого определен для всех .

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

Ответ: Исходный ряд абсолютно сходится для всех

Определение 6.13. Функциональный ряд  называется равномерно сходящимся на

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

Заметим, что в символической форме определение 6.13 имеет вид

       (6.48)

Теорема 6.19. (теорема Коши о необходимом и достаточном условии равномерной сходимости функционального ряда).

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

                       

Теорема 6.20. (достаточный признак Вейерштрасса равномерной сходимости функционального ряда).

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

Доказательство. По условию теоремы ряд  сходится. Согласно критерию Коши это означает, что

                   .

Составим  и используем условие теоремы . Имеем

                                              (6.49)

для всех . Тогда, согласно критерию Коши, функциональный ряд  сходится равномерно на множестве .