UA MATH523A 实分析3 积分理论17 Fubini-Tonelli定理

经过15讲与16讲的铺垫，我们现在可以建立重积分计算的Fubini-Tonelli定理了。这三篇博文是按照Folland的教材的内容和逻辑展开的。Folland建立Fubini理论的逻辑是先建立集合的特征函数的重积分与累次积分的关系，然后推广到一般函数；不同的作者建立Fubini理论的逻辑有所不同，大家可以参考夏道行、徐森林、Rudin、那汤松等人的著作了解其他的建立方式。

Fubini-Tonelli定理 $(X,\mathcal{M},\mu )$与$(Y,\mathcal{N},\nu )$是有$\sigma$-有限测度的测度空间。

1. (Tonelli) $f\in L^{+}(X\times Y)$，$$\begin{gathered} g(x)=\int f_{x}d\nu =\int f(x,y)d\nu (y) \\ h(y)=\int f^{y}d\mu =\int f(x,y)d\mu (x) \end{gathered}$$则$g\in L^{+}(X),h\in L^{+}(Y)$，并且$$\int fd(\mu \times \nu )=\int gd\mu =\int fd\nu$$
2. (Fubini) $f\in L^1(X\times Y)$，$$\begin{gathered} g(x)=\int f_{x}d\nu =\int f(x,y)d\nu (y) \\ h(y)=\int f^{y}d\mu =\int f(x,y)d\mu (x) \end{gathered}$$则$f_x\in L^1(Y),f^y\in L^1(X),g\in L^1(X),h\in L^1(Y)$并且$$\int fd(\mu \times \nu )=\int gd\mu =\int fd\nu$$

注 Fubini与Tonelli处理的其实都是化重积分为累次积分的问题，但是Tonelli要求函数是$L^{+}$的，也就是Lebesgue可积的非负函数，而Fubini定理适用范围是$L^1$，即可积函数即可，包括可积的实值函数与复值函数等，所以可以处理的情况比Tonelli更多。

评注 我们简单讨论一下这两个定理的应用。正如上面这个注所言，在计算时我们肯定是以Fubini定理为依据，化重积分为累次积分，或者交换累次积分的次序来简化计算，但是Fubini定理要求重积分的被积函数$f$是$L^1$的，也就是说我们在使用Fubini之前需要验证
$$\int |f|d(\mu \times \nu )<\infty$$

显然$|f|$是一个非负函数，因此我们根据Tonelli定理，验证上述重积分的某个累次积分有限即可，完成这个验证后，我们再使用Fubini定理进行计算。

---

证明Tonelli定理

第一部分：假设$f={\chi }_E,E\in \mathcal{M}\otimes \mathcal{N}$，根据上一讲证过的特征函数的Fubini定理可得，Tonelli定理成立，并且根据积分的线性性可知Tonelli定理对简单可测函数也成立。

第二部分：$\forall f\in L^{+}(X\times Y)$，可以找到一个简单函数 { f n } ⊂ L + ( X × Y ) \{f_n\}\subset L^+(X \times Y) {fn​}⊂L+(X×Y)，使得
$$f_n(x,y)\uparrow f(x,y),\forall (x,y)\in X\times Y$$

根据第一部分，$\forall n\ge 1$，
$$\int f_{n}d(\mu \times \nu )=\iint f_{n}d\nu d\mu =\iint f_{n}d\mu d\nu$$

记$$g_n=\int f_{n}d\nu ,h_n=\int f_{n}d\mu$$

则$g_n,h_n$非负可测递增。根据单调收敛定理，
$$g=\int fd\nu =\underset{n\to \infty }{\lim }\int f_{n}d\nu =\underset{n\to \infty }{\lim }{g}_n$$

也就是$g$存在且非负可测。类似地，
$$h=\int fd\mu =\underset{n\to \infty }{\lim }\int f_{n}d\mu =\underset{n\to \infty }{\lim }{h}_n$$

所以$h$存在且非负可测。接下来我们计算积分，
$$\begin{gathered} \int gd\mu =\underset{n\to \infty }{\lim }\int g_{n}d\mu =\underset{n\to \infty }{\lim }\iint f_{n}d\nu d\mu \\ =\underset{n\to \infty }{\lim }\int f_{n}d(\nu \times \mu )=\int fd(\mu \times \nu ) \end{gathered}$$$$\begin{gathered} \int hd\nu =\underset{n\to \infty }{\lim }\int h_{n}d\nu =\underset{n\to \infty }{\lim }\iint f_{n}d\mu d\nu \\ =\underset{n\to \infty }{\lim }\int f_{n}d(\nu \times \mu )=\int fd(\mu \times \nu ) \end{gathered}$$

这样我们就完成了Tonelli定理的证明。

---

证明Fubini定理
第一部分：因为Fubini定理的结论与Tonelli要多一点，我们先考虑在Tonelli的条件下，Fubini成立，也就是考虑$\forall f\in L^{+}(X,Y)$，我们要说明$f_x\in L^1(Y),f^y\in L^1(X)$。因为
$$\int gd\mu =\int hd\nu =\int fd(\mu \times \nu )<\infty$$

所以$g,h$几乎处处有限。又因为
$$g=\int f_{x}d\nu ,h=\int f^{y}d\mu$$

所以$f_x\in L^1(Y),f^y\in L^1(X)$几乎处处成立。

第二部分：$\forall f\in L^1(X\times Y)$，做非常一般性的讨论，假设$f$是复值函数，我们可以把$f$分解为
$$f=(Re[f{]}^{+}-Re[f{]}^{-})+i(Im[f{]}^{+}-Im[f{]}^{-})$$

对这四部分使用Tonelli定理，再根据线性性可知，Fubini定理成立。

证毕

---

下面是两个Fubini定理的例题供大家参考学习：
UA MATH523A 实分析3 积分理论例题 Fubini定理证明积分不等式

UA MATH523A 实分析3 积分理论例题 Fubini定理计算一元积分