有界连续函数是否保持L²收敛？及相关命题的证明方法

嘿，让我们逐个解决这两个分析问题：

答案是肯定的——有界连续函数确实会保持$L^{2$收敛。换句话说，如果$f$是$\mathbb{R}$上的有界连续函数，序列${u_k}$在$L}2(\Omega)$中收敛到$u$，那么${f(u_k)}$也会在$L^2(\Omega)$中收敛到$f(u)$。这个结论其实就是问题2要证明的核心内容之一，我们可以在下面的证明里看到具体的推导过程。

已知$f \in C(\mathbb{R})$是有界函数，$\Omega \subset \mathbb{R}^n$是有界区域，我们需要分两步完成证明：

第一步：证明对任意$u \in L^2(\Omega)$，$f(u) \in L^2(\Omega)$ #

因为$f$是有界连续函数，所以存在一个常数$M > 0$，使得对所有实数$x$，都有$|f(x)| \leq M$。

对于任意$u \in L^{2(\Omega)$，我们计算$f(u)$的$L}2$范数平方：
$$
|f(u)|{L^2(\Omega)}2 = \int\Omega |f(u(x))|^2 dx \leq \int_\Omega M^2 dx = M^2 \cdot \text{meas}(\Omega)
$$
由于$\Omega$是有界区域，它的测度$\text{meas}(\Omega)$是有限值，因此上面的积分结果也是有限的。这就说明$f(u)$属于$L^2(\Omega)$。

第二步：证明映射$T: u \mapsto f \circ u$是$L^2(\Omega) \to L^2(\Omega)$的连续映射 #

我们需要证明：当$u_k \to u$在$L^2(\Omega)$中时，$f(u_k) \to f(u)$也在$L^2(\Omega)$中。这里提供两种常用的证明思路：

思路一：利用依测度收敛+控制收敛定理 #

1. 依测度收敛传递：$L^2$收敛蕴含依测度收敛，所以$u_k$依测度收敛到$u$。而连续函数会把依测度收敛的序列映射为依测度收敛的序列，因此$f(u_k)$依测度收敛到$f(u)$。
2. 控制函数存在：因为$f$有界，$|f(u_k) - f(u)| \leq |f(u_k)| + |f(u)| \leq M + M = 2M$，所以$|f(u_k) - f(u)|^2 \leq (2M)^2 = 4M^2$。而$4M2$是$\Omega$上的可积函数（毕竟$\Omega$有界）。
3. 应用控制收敛定理：由于$|f(u_k)-f(u)|^2$被可积函数控制，且逐点（依测度）收敛到0，因此：
   $$
   \lim_{k \to \infty} \int_\Omega |f(u_k) - f(u)|^2 dx = \int_\Omega \lim_{k \to \infty} |f(u_k) - f(u)|^2 dx = 0
   $$
   这直接说明$|f(u_k)-f(u)|_{L^2(\Omega)} \to 0$，即映射$T$连续。

思路二：利用切比雪夫不等式+分区域估计 #

对于任意给定的$\epsilon > 0$：

1. 利用连续性取$\delta$：因为$f$连续，我们可以找到$\delta > 0$，使得当$|y - z| < \delta$时，$|f(y)-f(z)| < \frac{\epsilon}{2\sqrt{\text{meas}(\Omega)}}$。
2. 拆分积分区域：把$|f(u_k)-f(u)|^2$拆成两部分积分：
   $$
   |f(u_k)-f(u)|^2 = \int_{|u_k-u|<\delta} |f(u_k)-f(u)|^2 dx + \int_{|u_k-u|\geq\delta} |f(u_k)-f(u)|^2 dx
   $$
3. 估计第一部分：在$|u_k-u|<\delta$的区域上，$|f(u_k)-f(u)| < \frac{\epsilon}{2\sqrt{\text{meas}(\Omega)}}$，所以这部分积分$\leq \left(\frac{\epsilon}{2\sqrt{\text{meas}(\Omega)}}\right)^2 \cdot \text{meas}(\Omega) = \frac{\epsilon^2}{4}$。
4. 估计第二部分：在$|u_k-u|\geq\delta$的区域上，$|f(u_k)-f(u)|^2 \leq (2M)^2 = 4M^2$。根据切比雪夫不等式，这个区域的测度$\text{meas}({x: |u_k-u|\geq\delta}) \leq \frac{1}{\delta^2} \int_\Omega |u_k-u|^2 dx$。由于$u_k \to u$在$L^2$，当$k$足够大时，$\int_\Omega |u_k-u|^2 dx < \frac{\delta^2 \epsilon^2}{16M2}$，因此第二部分积分$\leq 4M^2 \cdot \frac{\delta^2 \epsilon^2}{16M2 \delta^2} = \frac{\epsilon^2}{4}$。
5. 合并结果：两部分积分加起来$\leq \frac{\epsilon^2}{4} + \frac{\epsilon^2}{4} = \frac{\epsilon^2}{2} < \epsilon^2$，即$|f(u_k)-f(u)| < \epsilon$。这就证明了当$k$足够大时，$f(u_k)$足够接近$f(u)$，映射$T$连续。

内容的提问来源于stack exchange，提问作者Q-Y