Пусть $f_{n}$ — последовательность интегрируемых на отрезке $\left[a;b\right]$ функций, поточечно сходящаяся к функции $f$ . Поставим вопрос об интегрируемости на отрезке $\left[a;b\right]$ предельной функции $f$ и справедливости равенства
$\lim_{n\rightarrow \infty }\int\limits_{a}^{b}f_{n}(x)dx=\int\limits_{a}^{b}f(x)dx$
Следующие примеры показывают, что в общем случае и интегрируемости нет, и равенство не выполняется.

Пример 1

Пусть $\left \{ r_{n} \right \}_{n=1}^{\infty }$ — последовательность всех рациональных точек из отрезка $\left[0;1\right]$ . Выразим:
$f_{n}(x)=\left\{\begin{matrix}1,&x\in \left \{ r_{1},\cdots ,r_{n} \right \},\\ 0,& x\in \left[0;1\right]\setminus \left \{ r_{1},\cdots ,r_{n} \right \}\end{matrix}\right.$
Тогда каждая функция $f_{n}$ интегрируема на отрезке $\left[0;1\right]$ , потому что она имеет лишь конечное число точек разрыва $\left \{ r_{1},\cdots r_{n}\right \}$ . С другой стороны, видно, что $\lim_{n\rightarrow \infty }f_{n}(x)=D(x)$ где D — функция Дирихле. Но как известно, функция Дирихле не интегрируема на отрезке $\left[0;1\right]$ .
Вывод: мы построили последовательность интегрируемых функций, сходящуюся к неинтегрируемой функции.

Замечание (для рядов)

Спойлер

Из примера 1 легко получить пример, который показывает, что сумма функционального ряда, слагаемые которого интегрируемы, не обязана быть интегрируемой.
Действительно, положим $u_{n}(x)=f_{n}(x)-f_{n-1}(x)$ , $u_{1}(x)=f_{1}(x)$ , $u_{2}(x)=f_{2}(x)-f_{1}(x)$ .
Частичные суммы ряда $s_{n}(x)=f_{n}(x)$ . И $\sum_{n=1}^{\infty }u_{n}(x)dx=f(x)$ .

[свернуть]

Пример 2

Положим $f_{n}(0)=f_{n}(\frac{1}{n})=f_{n}(1)=0, f_{n}(\frac{1}{2n})=n$ , а на отрезках $\left[0;\frac{1}{2n}\right], \left[\frac{1}{2n};\frac{1}{n}\right], \left[\frac{1}{n};1\right]$ функция $f_{n}$ — линейна. Мы видим, что $\lim_{n\rightarrow \infty }f_{n}(x)=0,\; \forall x\in \left[0;1\right]$ , так что предельная функция $f(x)\equiv 0\; (x\in \left[0;1\right])$ интегрируема и $\int_{0}^{1}f(x)dx=0$ . С другой стороны, очевидно, что $\int_{0}^{1}f_{n}(x)dx=\frac{1}{2}$ , поэтому предельный переход под знаком интеграла недопустим.
Вывод: даже если предельная функция интегрируема, то предел интегралов не обязан равняться интегралу от предельной функции.

Замечание (для рядов)

Спойлер

Вывод (для рядов)

Воспользовавшись этими примерами мы показали, что нельзя почленно интегрировать сходящийся ряд, т.е. равенство $\int\limits_{a}^{b}\sum_{n=1}^{\infty }u_{n}(x)dx=\sum_{n=1}^{\infty }\int\limits_{a}^{b}u_{n}(x)dx$
не верно. Потому что сумма поточечно сходящегося ряда из интегрируемых функций может оказаться неинтегрируемой функцией, а если даже сумма ряда будет функцией интегрируемой, то нужное равенство все равно нельзя гарантировать.

Теорема (об интегрировании равномерно сходящейся последовательности)

Пусть последовательность $\left \{ f_{n}(x) \right \}$ из непрерывных на отрезке $\left[a;b\right ]$ функций, равномерно сходится к $f(x)$ на этом отрезке. Тогда существует $\lim_{n\rightarrow \infty }\int\limits_{a}^{b}f_{n}(x)dx=\int\limits_{a}^{b}f(x)dx$

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

Спойлер

По теореме о непрерывности предела равномерно сходящейся последовательности непрерывных функций: f(x) – непрерывна на [a, b], а значит и интегрируема на этом отрезке. Воспользуемся определением равномерной сходимости: $\forall \varepsilon > 0 \; \exists N \; \forall n\geq N$ и $\forall x\in \left [ a, b \right ]$ справедливо неравенство $\left | f_{n}(x)-f(x) \right |< \frac{\varepsilon }{b-a}$ . Проинтегрировав это неравенство, получаем, что при всех $n\geq N : \left | \int_{a}^{b}f_{n}(x)dx — \int_{a}^{b}f(x)dx \right |\leq \int_{a}^{b}\left | f_{n}(x)-f(x) \right |dx< \frac{\varepsilon }{b-a}\left ( b-a \right )=\varepsilon$
Теорема доказана.

[свернуть]

Следствие (об интегрировании равномерно сходящегося ряда)

Пусть $\left \{ u_{n} \right \}$ — последовательность непрерывных на отрезке $\left[a;b\right]$ функций такова, что ряд $\sum_{n=1}^{\infty }u_{n}(x)$ сходится равномерно на $\left[a;b\right]$ . Тогда справедливо равенство $\int\limits_{a}^{b}\sum_{n=1}^{\infty }u_{n}(x)dx=\sum_{n=1}^{\infty }\int\limits_{a}^{b}u_{n}(x)dx$

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

Спойлер

Действительно, функции $f_{n}(x)=\sum_{k=1}^{n}u_{k}(x)$ непрерывны как суммы конечного числа непрерывных функций $u_{k}$ , и последовательность $\left \{ f_{n} \right \}$ сходится к функции $f(x)=\sum_{n=1}^{\infty }u_{n}(x)$ равномерно на $\left[a;b\right]$ . Тогда, по предыдущей теореме, $\sum_{k=1}^{n}\int\limits_{a}^{b}u_{k}(x)dx=\int\limits_{a}^{b}\sum_{k=1}^{n}u_{k}(x)dx=\int\limits_{a}^{b}f_{n}(x)dx\rightarrow \int\limits_{a}^{b}f(x)dx=\int\limits_{a}^{b}\sum_{n=1}^{\infty }u_{n}(x)dx.$

[свернуть]

Следующая теорема является обобщением всех теорем об интегрировании равномерно сходящейся последовательности.

Теорема

Пусть $\left\{f_{n}\right\}$ — последовательность интегрируемых на отрезке $\left[a;b\right]$ функций, равномерно сходящаяся на этом отрезке к функции $f$ . Тогда предельная функция $f$ интегрируема на $\left[a;b\right]$ и справедливо равенство $\lim_{n\rightarrow \infty }\int\limits_{a}^{b}f_{n}(x)dx=\int\limits_{a}^{b}f(x)dx$

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

Спойлер

Оно проводится также, как в предыдущей теореме, при условии, что $\int_{a}^{b}f(x)dx$ существует. Поэтому достаточно доказать лишь интегрируемость на $\left[a;b\right]$ функции $f$ . Для этого воспользуемся критерием интегрируемости в терминах колебаний, согласно которому функция $f$ интегрируема на $\left[a;b\right]$ тогда и только тогда, когда $\forall \varepsilon > 0 \; \exists \delta > 0, \forall \prod$ — разбиения отрезка $\left[a;b\right]$ , диаметр которого $d\left ( \prod \right )< \delta$ , справедливо неравенство $\sum_{i=0}^{s-1}\omega _{i}(f)\Delta x_{i}< \varepsilon$ где $\omega _{i}(f)$ — колебания функции $f$ частичных отрезках $\left[x_{i};x_{i+1}\right]$ . Зададим $\varepsilon > 0$ и, пользуясь равномерной сходимостью последовательности $\left \{ f_{n} \right \}$ , найдем такое N, что $\forall n\geq N,\; \forall x\in \left [ a;b \right ]$ справедливо неравенство $\left | f_{n}(x)-f(x) \right |< \varepsilon$ . Если $\forall n\geq N$ , то $\left | f(x’)-f(x») \right |\leq \left | f(x’)-f_{n}(x») \right |+\left | f_{n}(x’)-f_{n}(x») \right |+\left | f_{n}(x»)-f(x») \right |< \left | f_{n}(x’)-f_{n}(x») \right |+2\varepsilon$ Отсюда следует, что при любом разбиении $\omega _{i}(f)\leq \omega _{i}(f_{n})+2\varepsilon$ , так что $\sum_{i=0}^{s-1}\omega _{i}(f)\Delta x_{i}\leq \sum_{i=0}^{s-1}\omega _{i}(f_{n})\Delta x_{i}+2\varepsilon \left ( b-a \right )$ Первое слагаемое справа мало в силу интегрируемости $f_{n}$ , т.е. $\exists \delta > 0, \; \forall \prod ,\; d(\prod )< \delta$ , первое слагаемое справа будет меньшим, чем $\varepsilon$ . Поэтому, в силу критерия интегрируемости в терминах колебаний, получаем, что функция $f$ интегрируема на $\left[a;b\right]$ .

[свернуть]

Литература

Тесты

равномерная сходимость и интегрирование

Проверьте свои знания по теме «Равномерная сходимость и интегрирование»

Задание 1 из 5

1.
Исследовать на равномерную сходимость функциональный ряд $\sum_ {n = 1} ^ {\infty} х^{2n}\; \; \; \; \; \left | x \right |< 1$ Ответ: сходится/расходится
- (сходится)
Правильно

Неправильно
Задание 2 из 5

2.
Найти $I=\int\limits_{\ln2}^{\ln5}(\sum_{n=1}^{\infty}n{e}^{-nx})dx$
- 3/4
- 1
- 1/2
- 0
Правильно

Неправильно

Задание 3 из 5

3.

Исследовать ряд на равномерную сходимость на отрезках:

Элементы сортировки

сходится равномерно
сходится равномерно и абсолютно
расходится
сходится неравномерно

$\sum_{n=1}^{\infty}{\frac{(-1)^{n}x^{n}}{3n+5}}\;[0;1]$

$\sum_{n=1}^{\infty}{\frac{\sqrt{x+1}\cos{nx}}{\sqrt[3]{n^{4}+2}}}\;[0;2]$

$\sum_{n=2}^{\infty}{\frac{1}{x+\ln{n}}}\;[0;1]$

$\sum_{n=1}^{\infty}{\frac{x}{n^3}}\;[\infty;-\infty]$

Задание 4 из 5

4.
Выбрать правильные утверждения о ряде функций: $\frac{1}{x+1}-\frac{1}{(x+1)(x+2)}-\frac{1}{(x+2)(x+3)}-…, x\in \left[0;+\infty \right]$
(несколько правильных ответов)
- $S_{n}(x)=\frac{1}{x+n}$
- $S_{n}(x)=\frac{1}{x+1}$
- $\lim_{n\rightarrow \infty}S_{n}(x)=1 \;\;\;\;\; S(x)=1$ ряд равномерно сходится к 1
- $\lim_{n\rightarrow \infty}S_{n}(x)=0 \;\;\;\;\; S(x)=0$ ряд равномерно сходится к нулю
Правильно

Неправильно
Задание 5 из 5

5.
Расставить в правильном порядке формулы в доказательство равномерной сходимости ряда:
Ряд функций 1)_______ , можно записать в виде 2)_______ , откуда его частичная сумма равна 3)_______ и 4)_______ . Таким образом, ряд сходится для всех $x\in \left[0;+\infty \right]$ и имеет сумму 5)_______ . Далее, 6)________ , и наш ряд равномерно сходится к нулю на полуоси $\left[0;+\infty \right]$ .
- $\frac{1}{x+1}-\frac{1}{(x+1)(x+2)}-\frac{1}{(x+2)(x+3)}-..., x\in \left[0;+\infty \right]$
- $\frac{1}{x+1}+(\frac{1}{x+2}-\frac{1}{x+1})+(\frac{1}{x+3}-\frac{1}{x+2})+...$
- $S_{n}(x)=\frac{1}{x+n}$
- $\lim_{n\rightarrow \infty}S_{n}(x)=0$
- $S(x)=0$
- $\eta _{n}=\underset{0\leq x<\infty}{sup}\left|S_{n}(x)-S(x) \right|=\underset{0\leq x<\infty}{sup}\frac{1}{x+n}=\frac{1}{n}\rightarrow 0 \;\;\;\;\; (n\rightarrow \infty)$
Правильно

Неправильно

Место	Имя	Записано	Баллы	Результат
Таблица загружается
Нет данных

Равномерная сходимость и интегрирование

Пример 1

Замечание (для рядов)

Пример 2

Замечание (для рядов)

Вывод (для рядов)

Теорема (об интегрировании равномерно сходящейся последовательности)

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

Следствие (об интегрировании равномерно сходящегося ряда)

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

Следующая теорема является обобщением всех теорем об интегрировании равномерно сходящейся последовательности.

Теорема

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

Литература

Тесты

равномерная сходимость и интегрирование

Навигация (только номера заданий)

Информация

Результаты

Рубрики

1.

2.

3.

Элементы сортировки

4.

5.

Добавить комментарий Отменить ответ