实变函数论5-积分论4-一般可测函数的勒贝格积分10：定理8

u013250861

已于 2024-07-06 00:01:37 修改

阅读量159

点赞数 2

分类专栏：实变函数论文章标签：实变函数

于 2024-05-15 00:00:45 首次发布

本文链接：https://blog.csdn.net/u013250861/article/details/138875434

版权

定理8

设 $\subset \mathbf { R } ^ { n }$ 为可测集 $f (x, t)$ 是 $\times ( a , b )$ 上的实函数.如果对于任意的 $\in$ $(a, b), f (x, t)$ 作为 $x$ 的函数在 $E$ 上 $L$ 可积，对于 $a . e .$ 的 $\in E , f ( x , t )$ 作为 $t$ 的函数在 $(a, b)$ 上可导且 $\left| \frac { tial } { tial t } f ( x , t ) \right| \leqslant F ( x ) ,$ 这里 $F$ 是 $E$ 上某个非负 $L$ 可积函数，则 $\int _ { k } f ( x , t ) \mathrm { d } x$ 作为 $t$ 的函数在 $(a, b)$ 上可导，且

$\frac { \mathrm { d } } { \mathrm { d } t } \int _ { E } f ( x , t ) \mathrm { d } x = \int _ { E } \frac { \partial } { \partial t } f ( x , t ) \mathrm { d } x .$

证明
固定 $\in ( a , b )$ 任取数列 $\rightarrow 0 , h _ { n } \neq 0 .$ 令

$\frac { 1 } { h _ { n } } \left( f \left( x , t + h _ { n } \right) - f ( x , t ) \right) ,$

则

$\left| g _ { n } ( x ) \right| = \left| \frac { 1 } { h _ { n } } \left( f \left( x , t + h _ { n } \right) - f ( x , t ) \right) \right| = \left| \frac { tial } { tial t } f \left( x , t + \theta _ { n } h _ { n } \right) \right| \leqslant F ( x ) \text { a . e } . 于E$