如何证明L¹(μ)中一致有界函数族的limsup函数属于L¹(μ)

要证明 ( u: \mathbb{R} \to \mathbb{R} ) 属于 ( L^1(\mu) )，我们可以从函数有界性、测度有限性入手，结合 ( u ) 的定义逐步推导：

步骤1：从一致有界性推导 ( f(x) ) 的有界性 #

题目中明确 ( S ) 是一致有界的函数族，这意味着存在常数 ( M > 0 )，对所有 ( v \in S ) 和任意 ( x \in \mathbb{R} )，都满足 ( |v(x)| \leq M )。

记 ( f(x) = \sup_{v \in S} v(x) )，根据一致有界性：

• 对任意 ( x )，( f(x) = \sup_{v \in S} v(x) \leq M )（因为每个 ( v(x) \leq M )）；
• 同时 ( f(x) \geq -M )（因为每个 ( v(x) \geq -M )）。

因此 ( f(x) ) 是一个有界函数，满足 ( |f(x)| \leq M ) 对所有 ( x \in \mathbb{R} ) 成立。

步骤2：分析 ( u(x) ) 的有界性 #

根据定义 ( u(x) = \limsup_{y \to x} f(y) )，我们可以推导 ( u ) 的上下界：

• 当 ( y \to x ) 时，( f(y) \leq M ) 始终成立，因此其极限上确界 ( u(x) \leq M )；
• 同理，( f(y) \geq -M ) 始终成立，因此 ( u(x) \geq \limsup_{y \to x} (-M) = -M )。

这说明 ( u(x) ) 也是有界函数，满足 ( |u(x)| \leq M ) 对所有 ( x \in \mathbb{R} ) 成立。

步骤3：利用测度有限性证明可积性 #

接下来看测度 ( \mu = e^{-2|x|} \mathcal{L} )（( \mathcal{L} ) 为Lebesgue测度），先计算其总测度：

\mu(\mathbb{R}) = \int_{\mathbb{R}} e^{-2|x|} d\mathcal{L}(x) = 2\int_{0}^{\infty} e^{-2x} dx = 1

显然 ( \mu ) 是有限测度（甚至是概率测度）。

对于有限测度空间上的有界函数，必然属于 ( L^1(\mu) )：

\int_{\mathbb{R}} |u(x)| d\mu(x) \leq \int_{\mathbb{R}} M d\mu(x) = M \cdot \mu(\mathbb{R}) = M < \infty

因此 ( u ) 关于 ( \mu ) 可积，即 ( u \in L^1(\mu) )。

补充：若“一致有界”指 ( L^1(\mu) ) 一致有界的情况 #

如果题目中的“一致有界”是指 ( \sup_{v \in S} |v|_{L^1(\mu)} < \infty )（而非逐点一致有界），可以通过以下思路推导：

• 令 ( f_n(x) = \sup_{|y-x| < 1/n} f(y) )，则 ( u(x) = \lim_{n \to \infty} f_n(x) )，且 ( {f_n} ) 是递减的函数序列；
• 由控制收敛定理（结合 ( \mu ) 的指数衰减性，( f_n(x) ) 可被可积函数控制），可得 ( \int u d\mu = \lim_{n \to \infty} \int f_n d\mu )；
• 对 ( \int f_n d\mu ) 进行估计：( \int f_n d\mu \leq \sup_{v \in S} \int \sup_{|y-x| < 1/n} v(y) d\mu(x) )，结合 ( v \in L^1(\mu) ) 和 ( e^{-2|x|} ) 的快速衰减，可证 ( \int f_n d\mu < \infty )，进而得到 ( \int u d\mu < \infty )。

结合题目原文“一致有界函数”的表述，逐点一致有界是更合理的理解，此时第一种推导已足够严谨。

内容的提问来源于stack exchange，提问作者user428573