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

Теорема.Пусть функции интегрируемы по Риману на отрезке [a;b] и составленный из них функциональный ряд (функциональная последовательность {fn(x)}) сходится равномерно на отрезке [a;b]. Тогда сумма f(x) этого ряда (предельная функция последовательности) также будет интегрируемой по Риману на отрезке [a;b] и при этом справедливо равенство

Доказательство. Докажем сначала интегрируемость функции f(x). Зафиксируем произвольно малое число . Поскольку функции un(x) интегрируемы на отрезке [a;b] вместе со всеми частичными суммами , найдется такое разбиение , при котором будут справедливы неравенства

,

где

,

.

Пусть далее

,

В силу равномерной сходимости ряда найдется такой номер N0, что для всех номеров n>N0 во всех точках Почленное интегрирование функциональных рядов и последовательностей отрезка [a;b]будут выполняться неравенства

или, что то же самое,

Переходя в этих неравенствах к точным граням на каждом отрезке разбиения, получим

Последние два неравенства равносильны системе неравенств

Складывая эти неравенства, получим

Умножая каждое из этих неравенств на и суммируя по i, получим

Таким образом, для произвольно малого можно подобрать такое разбиение, что разность между верхней и нижней суммами Дарбу функции f(x) для этого разбиения окажется меньше e. Отсюда следует интегрируемость функции f(x) на отрезке [a;b].

Докажем теперь вторую часть теоремы. Пусть .

Проинтегрируем это равенство по отрезку [a;b]. Получим:

Теперь достаточно показать, что

Зафиксируем . В силу равномерной сходимости ряда его остатки равномерно сходятся Почленное интегрирование функциональных рядов и последовательностей к нулю. Поэтому найдется такой номер N0, что при n>N0 будет выполняться неравенство

для всех . Тогда для таких значений n мы будем иметь:

Отсюда и следует утверждение теоремы.

Теорема доказана.


documentaqdugsn.html
documentaqduocv.html
documentaqduvnd.html
documentaqdvcxl.html
documentaqdvkht.html
Документ Почленное интегрирование функциональных рядов и последовательностей