Математический анализ (стр. 19 )

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

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

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

, что .

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

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

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

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

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

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

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

Тогда

.

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

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

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

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

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

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

.

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

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

.

Оценим

.

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

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

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

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

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

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

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

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

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

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

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

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

Оценим .

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

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

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

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

.

Лекция 14. Степенные ряды

Степенным рядом называется ряд вида

Степенной ряд заведомо сходится при - центр сходимости ряда.

Теорема Абеля.

1) Пусть степенной ряд сходится в точке . Тогда он абсолютно сходится в интервале

, симметричном относительно .

2) Пусть степенной ряд расходится в точке . Тогда он расходится в области .

Доказательство.

1)  Пусть степенной ряд сходится в точке , тогда числовой ряд сходится. Тогда по необходимому признаку сходимости ряда .