Классические теоремы о предельном переходе под знаком интеграла Лебега

Эта статья находится в разработке!

Теорема Лебега

Теорема (Лебег, о мажорируемой сходимости):

Пусть на [math] E \subset X [/math] задана последовательность измеримых функций [math] f_n [/math], таких, что [math] |f_n(x)| \le \varphi(x) [/math] почти всюду, где [math] \varphi [/math] — измеримая. Пусть [math] f_n \underset{E}{\Rightarrow} f [/math] (по мере). Тогда допустим предельный переход под знаком интеграла: [math] \lim\limits_{n \rightarrow \infty} \int\limits_E f_n = \int\limits_E f [/math]

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

[math]\triangleright[/math]

Из сходимости по мере по теореме Риса выделим сходящуюся подпоследовательность [math] f_{n_k} [/math]. [math] |f_{n_k}(x)| \le \varphi(x) [/math]. Устремим [math] k [/math] к бесконечности, тогда [math] |f(x)| \le \varphi(x) [/math]. [math] \forall \varepsilon \gt 0, A_\varepsilon [/math] — хорошее для [math] \varphi: \int\limits_{\overline {A_\varepsilon}} \varphi d \mu \lt \varepsilon [/math] [math] \left| \int\limits_E f_n - \int\limits_E f \right| = \int\limits_E |f_n - f| = \int\limits_{{A_\varepsilon}} |f_n - f| + \int\limits_{\overline {A_\varepsilon}} |f_n - f| [/math] [math] \int\limits_{\overline {A_\varepsilon}} |f_n - f| \le \int\limits_{\overline {A_\varepsilon}} 2 \varphi \lt 2 \varepsilon [/math] (по выбору [math] A_\varepsilon [/math]) [math] A_{\varepsilon} [/math] — хорошее, следовательно, [math] \mu A_{\varepsilon} \lt + \infty [/math]. [math] |\varphi(x)| \le M [/math] на [math] A_\varepsilon [/math], [math] |f_n| \le \varphi \le M [/math] на [math] A_\varepsilon [/math], аналогично, [math] f [/math]. Тем самым, [math] \int\limits_{{A_\varepsilon}} |f_n - f| [/math] удовлетворяет теореме Лебега о предельном переходе под знаком опредленного интеграла, следовательно, [math] \int\limits_{{A_\varepsilon}} \xrightarrow[n \to \infty]{} 0 [/math]. Тогда и [math] \int\limits_E |f_n - f| \xrightarrow[n \to \infty]{} 0 [/math], что и требовалось доказать.

[math]\triangleleft[/math]

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

Теорема Леви

Избавимся от требования наличия суммируемой мажоранты ==

Теорема (Леви):

Пусть на E задана последовательность измеримых функций, каждая из которых почти всюду неотрицательна и f_n(x) \le f_{n+1}(x). f(x) = \lim\limits_{n \to \infty} f_n(x) — почти везде конечна на E. Тогда:

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

[math]\triangleright[/math]

В силу поточечной монотонности f_n, f как их предел, определена по теореме Вейерштрасса, предел измеримых функций измерим — все интегралы имеют смысл, функция неотрицательна. \int\limits_E f < + \infty, 0 < f_n \le f f — суммируемая мажоранта f_n и по теореме Лебега равенство( TODO: ???) выполняется. \int\limits_E f = + \infty: \forall m < N по определению интеграла неотрицательной функции \exists E_m — хорошее для f: m < \int\limits_{E_m} f d \mu. f ограничена на E_m, мера E_m — конечна, то константа, которой определяется f, может рассматриваться, как суммируемая мажоранта для f_n и по теореме Лебега, \int\limits_{E_m} f_n \to \int\limits_{E_m} f, и, начиная с N: m < \int\limits_{E_m} f_n. E_m \in E, f_n \ge 0, и по свойствам интеграла, \int\limits_{E_m} f_n \le \int\limits_{E} f_n и m < \int\limits_{E} f_n, \forall n > N, m — произвольное натуральное число, следовательно, \int\limits_{E} f_n \to + \infty = \int\limits_{E} f, что и требовалось доказать.

[math]\triangleleft[/math]

Следствие

Лемма (следствие):

Пусть u_n(x) \ge 0 на E и измеримы и \sum\limits_{n = 1}^{\infty} \int\limits_E u_n — сходится (< + \infty). Тогда \sum\limits_{n = 1}^{\infty} u_n(x) сходится почти всюду на E.

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

[math]\triangleright[/math]

Все интегралы определены (неотрицательные функции). S_n = \sum\limits_{k = 1}^{n} u_k(x) пшшш. Значит, у них есть предел. Установить что предел + \infty на нульмерном множестве. E_1 = E(S(x) = + \infty) S(x) = \sum\limits_{n = 1}^{\infty} u_n(x) TODO: блин, тут какое-то уг в конспекте Но к частичным суммам на E_1 применима теорема Леви и \int\limits_{E_1} S_n \to + \infty, но \int\limits_{E_1} S_n \le \int\limits_E S_n = \sum\limits_{k=1}^n \int\limits_E u_k \to конечный предел. Противоречие, \mu E_1 = 0, ч.т.д.

[math]\triangleleft[/math]

Теорема Фату

Теорема (Фату):

Пусть измеримые [math] f_n [/math] неотрицательны на [math] E [/math] и сходятся на [math] E [/math] по мере к функции [math] f [/math]. Тогда [math] \int\limits_E f \le \sup\limits_{n=1,2,\dots} \int\limits_E f_n [/math].

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

[math]\triangleright[/math]

По теореме Риса выделяем из [math] f_n [/math] сходящуюся почти всюду подпоследовательность. [math] f_n [/math] неотрицательна, [math] f_{n_k} \to f [/math], следовательно, [math] f [/math] тоже неотрицательна почти всюду на [math] E [/math], интеграл в неравенстве определен. Справа [math] sup [/math] — не уменьшая общности считаем что с начала [math] f_n \to f [/math] почти всюду. [math] g_n = \min \{ f, f_n \} [/math] [math] g_n [/math] — измерима ( [math] \min (x, y) = \frac{(x + y) - |x - y|}2 [/math] ) [math] g_n \le f_n [/math]. [math] \int\limits_E f \le \sup\limits_{n \in \mathbb N} \int\limits_E g_n [/math] [math] f_n(x) \to f(x) \Rightarrow g_n(x) \to f(x) [/math] [math] g_n \le f [/math] [math] \int\limits_E f \lt + \infty [/math], то есть она суммируемая мажоранта для [math] g_n [/math] и по теореме Лебега [math] \int\limits_E g_n \to \int\limits_E f [/math] и неравенство выполняется. Остался случай несуммируемой [math] f [/math], то есть [math] \int\limits_E f = + \infty [/math]. [math] \forall [/math] хорошее [math] E' [/math] для [math] f [/math]. Это множество конечной меры, [math] f [/math] ограничено на нем. [math] \int\limits_{E'} \lt + \infty [/math]. Тогда по уже доказанному, [math] \int\limits_{E'} f \le \sup\limits_{n \in \mathbb N} \int\limits_{E'} f_n [/math]. Интеграл по любому хорошему [math] E' [/math] для [math] f [/math] не превосходит этой константы и по определению интеграла переходя к [math] \sup [/math] по [math] E [/math], получаем [math] \int\limits_E f \le \sup\limits_{n \in \mathbb N} \int\limits_E f_n [/math], что и требовалось доказать.

[math]\triangleleft[/math]