Математическая энциклопедия - равномерно сходящийся ряд

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

(1)

с (вообще говоря) комплексными членами, сходящийся на множестве X, и такой, что для любого e>0 существует номер ne , что для всех n>ne и всех выполняется неравенство

где

и

Иными словами, последовательность частичных сумм sn (х).является равномерно сходящейся последовательностью. Определение Р. с. р. равносильно выполнению условия

что означает равномерную сходимость к нулю на множестве Xпоследовательности остатков

ряда (1).

Пример. Ряд

равномерно сходится на каждом конечном круге комплексной плоскости и не сходится равномерно на всем множестве С комплексных чисел.

Условие равномерной сходимости ряда (1) на множестве Xбез использования понятия суммы ряда дает Ноши критерий равномерной сходимости ряда. Достаточное условие равномерной сходимости ряда дается Вейерштрасса признаком.

Ряд наз. правильно сходящимся на множестве X, если существует такой числовой ряд , что для всех n=1, 2,. . . и всех выполняется неравенство

т. е. если ряд (1) удовлетворяет условиям признака Веяорштрасса равномерной сходимости рядов. В силу этого признака правильно сходящийся на множестве Xряд равномерно сходится на этом множестве. Обратное, вообще говоря, неверно; однако во всяком равномерно сходящемся на множестве Xряде можно так объединить следующие друг за другом его члены в конечные группы, что получившийся при этом ряд будет уже правильно сходиться на множестве X.

Имеются признаки равномерной сходимости ряда, аналогичные признакам Дирихле и Абеля для сходимости числового ряда. Эти признаки равномерной сходимости ряда впервые встречаются в работах Г. Харди (G. Hardy). Если в ряде

(2)

функции а n (х).и b п (х), n=1, 2, . . ., определенные на множестве X, таковы, что последовательность {а п (х)}монотонна при каждом и равномерно стремится к нулю на X, а последовательность частичных сумм ( В п (х)}ряда Sbn (х). равномерно ограничена на множестве X, то ряд (2) равномерно сходится на этом множестве.

Если последовательность {а п (х)}равномерно ограничена на множестве Xи монотонна при каждом фиксированном , а ряд Sb п (х).равномерно сходится на множестве X, то ряд (2) также равномерно сходится на X.

Свойства равномерно сходящихся рядов. Если ряды S а п (х). ^и Sbn(x). равномерно сходятся на множестве и , то ряд Slan(x)+mbn(x) также равномерно сходится на множестве X.

Если ряд S а п(x). равномерно сходится на множестве X, ab(x).ограниченная на этом множестве функция, то ряд S b(x)a п(x).также равномерно сходится на X.

Непрерывность суммы ряда. Для изучения свойств суммы функционального ряда является полезным понятие "точки равномерной сходимости ряда". Пусть X - топологич. пространство и ряд (1) сходится на X. Точка наз. точкой равномерной сходимости ряда (1), если для любого e>0 существует такая окрестность U=U( х 0).точки х 0 и такой номер , что для всех и всех n>ne выполняется неравенство |rn(x)|<e.

Если множество X - компакт, то, для того чтобы ряд (1) равномерно сходился на X, необходимо и достаточно, чтобы каждая точка являлась точней его равномерной сходимости.

Если X - топологич. пространство, ряд (1) сходится на X, х 0 - точка равномерной сходимости ряда (1) и существуют конечные пределы

то числовой ряд Scn сходится, сумма s(x) ряда (1) имеет предел при , причем

(3)

т. е. при сделанных предположениях в ряде (1) возможен почленный переход к пределу в смысле формулы (3). Отсюда следует, что если ряд (1) сходится на X, его члены непрерывны в точке равномерной сходимости , то его сумма также непрерывна в этой точке:

Поэтому если ряд непрерывных функций сходится равномерно на топологич. пространстве, то его сумма непрерывна на этом пространстве. В случае, когда пространство Xявляется компактом и члены ряда (1) неотрицательны на X;то равномерная сходимость ряда (1) является и необходимым условием для непрерывности на Xсуммы ряда (1) (см. Дини теорема).

В общем случае необходимым и достаточным условием для непрерывности суммы сходящегося на топологич. пространстве Xряда (1), члены к-рого непрерывны на X, является квазиравномерная сходимость последовательности его частичных сумм sn (х).к его сумме s(x).(теорема Арцела Александрова).

Ответ на вопрос о существовании точек равномерной сходимости у сходящихся рядов, непрерывных на отрезке функций, дает теорема Осгуда Гобсона: если ряд (1) сходится в каждой точке отрезка [ а, b]и члены а п (х).этого ряда непрерывны на [a, b], то на отрезке [ а, b] существует всюду плотное множество точек равномерной сходимости ряда (1). Отсюда следует, что сумма всякого ряда непрерывных функций, сходящегося на нек-ром отрезке, непрерывна на всюду плотном множестве этого отрезка. Вместе с тем существует и сходящийся во всех точках отрезка ряд непрерывных функций такой, что точки, в к-рых он сходится не равномерно, образуют всюду плотное множество рассматриваемого отрезка.