勒贝格控制收敛定理与单调收敛定理的应用条件

掌握勒贝格积分理论中的两个核心极限交换定理——控制收敛定理与单调收敛定理——是进行积分与极限运算的关键。本指南将清晰说明在何种条件下可以放心使用这两个定理，并提供直接可操作的判断步骤。

1. 理解定理的核心目标

这两个定理都是为了解决同一个问题：极限号与积分号交换顺序。即，是否成立

$$ \lim_{n \to \infty} \int f_n \, d\mu = \int \lim_{n \to \infty} f_n \, d\mu $$

其中，左侧先积分再取极限，右侧是先取极限再积分（极限函数 $f = \lim f_n$ 需存在）。直接交换通常不成立，这两个定理给出了充分条件。

定理直观含义：如果一列函数序列“被一个可积函数所控制”（即始终被它从上方和下方罩住），并且逐点收敛，那么它们的积分极限就是极限的积分。

要安全应用该定理，必须同时满足以下三个条件：

函数序列逐点收敛
确认序列 $\{f_n\}$ 在定义域（除了一个测度为零的集合外）的每一点上，都收敛到一个极限函数 $f(x)$。通常写作 $f_n \to f$ $\mu$-a.e.。
存在可积的控制函数
寻找一个在同一个测度空间上的非负可积函数 $g$（即 $\int g \, d\mu < \infty$），使得对于所有的 $n$ 和几乎所有 $x$，都满足
$$ |f_n(x)| \leq g(x) $$
这个 $g$ 就是“控制函数”。它是定理应用的关键。
控制函数自身可积
验证上一步找到的函数 $g$ 本身是勒贝格可积的。$\int g \, d\mu < \infty$。

如何寻找控制函数 $g$：

定理直观含义：如果一列非负函数序列单调递增地趋向于某个极限函数，那么它们的积分也会单调递增地趋向于极限函数的积分。

要安全应用该定理，必须同时满足以下三个条件：

函数非负
确认序列 $\{f_n\}$ 中的每个函数 $f_n$ 在其定义域上都是非负的，即 $f_n(x) \geq 0$。
函数序列单调
确认序列是单调的。对于几乎所有 $x$，序列 $\{f_n(x)\}$ 随着 $n$ 增加是单调递增的，即
$$ f_1(x) \leq f_2(x) \leq f_3(x) \leq \cdots $$
或者，如果处理的是 $|f_n|$，则需要确认 $|f_n(x)|$ 是单调递增的。
极限函数存在
确认对于几乎所有 $x$，$\lim_{n \to \infty} f_n(x)$ 存在（可以是有限或无穷大）。记该极限函数为 $f(x)$。

特别注意：单调收敛定理的结论中，$\int f \, d\mu$ 可能为无穷大，定理依然成立。它不要求 $f$ 或 $f_n$ 可积。

面对一个具体的函数序列 $\{f_n\}$，遵循以下流程来判断和应用定理。

检查非负性
判断序列 $\{f_n\}$ 是否非负。
- 如果是，进入步骤 2。
- 如果不是，转向步骤 4，考虑控制收敛定理。
检查单调性
判断 $\{f_n\}$ 是否单调（递增或递减）。
- 如果是单调递增的非负序列，满足单调收敛定理条件。可以应用该定理进行极限交换。
- 如果序列不是单调的，跳过步骤 3，进入步骤 4。
直接应用单调收敛定理
计算或写出极限函数 $f(x) = \lim_{n\to\infty} f_n(x)$。
确认等式 $\lim_{n \to \infty} \int f_n \, d\mu = \int f \, d\mu$ 成立。
寻找控制函数
分析 $f_n(x)$ 的结构。
尝试构造一个函数 $g(x)$，使得对所有 $n$，$|f_n(x)| \leq g(x)$。
验证 $g(x)$ 是否勒贝格可积（$\int g \, d\mu < \infty$）。
- 如果找不到这样的可积 $g$，控制收敛定理无法应用。需要寻找其他方法。
- 如果找到了，进入步骤 5。
应用控制收敛定理
确认 $\{f_n\}$ 逐点（或几乎处处）收敛于某个 $f$。
应用定理，得出 $\lim_{n \to \infty} \int f_n \, d\mu = \int f \, d\mu$。

首选检查单调收敛定理：当面对一个非负且单调的函数序列时，优先考虑单调收敛定理。它的条件更直接，且不要求寻找可积控制函数，适用范围有时更广（例如，即使极限函数不可积）。
控制收敛定理更灵活：当序列不单调，或者出现正负振荡时，控制收敛定理成为关键工具。其核心难点在于找到一个“好”的、可积的控制函数 $g$。
注意关系：单调收敛定理是推导控制收敛定理的基础工具之一。在应用中，有时可以利用单调收敛定理来证明控制函数 $g$ 的可积性。