Real Analysis $L^p$ 空间理论

本文档系统研究$L^p$空间的完整理论。首先建立Young不等式、Holder不等式和Minkowski不等式。然后证明$L^p$空间的完备性，研究其对偶空间（$L^p$与$L^q$的对偶关系）。分析单位逼近的性质。最后讨论弱收敛和弱星收敛的概念，通过Riesz表示定理研究空间的几何性质。

前置知识：函数空间、积分理论 核心思想：建立 $L^p$ 空间的完整理论，包括不等式、对偶空间和弱收敛

1. $L^p$ 空间的定义

定义：

  • $\mathcal{L}^p = \{f \in \mathcal{L}(X, \mu; \mathbb{C}): |f|_p < \infty\}$
  • $L^p = \mathcal{L}^p/\mathcal{N}$（几乎处处相等的函数视为同一元素）

范数：

  • $0 < p < \infty$：$|f|_p = \left(\int_X |f|^p d\mu\right)^{1/p}$
  • $p = \infty$：$|f|_\infty = \text{esssup}_X |f|$

Hölder 共轭指标：$\frac{1}{p} + \frac{1}{q} = 1$，记 $q = p’$

2. Young不等式

定理：对 $a, b \geq 0$ 和 $p \in (1, \infty)$： \(ab \leq \frac{1}{p}a^p + \frac{1}{q}b^q\) 其中 $q = \frac{p}{p-1}$

证明思路：利用 $x \mapsto \log x$ 的凹性

应用：证明 Hölder 不等式

3. Hölder不等式

定理：设 $f \in L^p$，$g \in L^q$，$\frac{1}{p} + \frac{1}{q} = 1$，则： \(\|fg\|_{L^1} \leq \|f\|_{L^p} \|g\|_{L^q}\)

证明思路：

  1. 归一化到 $|f|_p = |g|_q = 1$
  2. 利用 Young 不等式：$|f(x)g(x)| \leq \frac{1}{p}|f(x)|^p + \frac{1}{q}|g(x)|^q$
  3. 积分得到 $|fg|_{L^1} \leq \frac{1}{p} + \frac{1}{q} = 1$

推广：

  1. 对 $0 < p,q,r \leq \infty$, 满足 $\frac{1}{r} = \frac{1}{p} + \frac{1}{q}$, 有：如果 $f \in L^p$, $g \in L^q$, 则 $fg \in L^r$, 且 $|fg|_r \leq |f|_p |g|_q.$
  2. 对 $\frac{1}{p_1} + \cdots + \frac{1}{p_n} = 1$： \(\left\|\prod_{i=1}^n f_i\right\|_{L^1} \leq \prod_{i=1}^n \|f_i\|_{L^{p_i}}\)

反向 Hölder 不等式：对 $p \in (0, 1)$，$q = \frac{p}{p-1} < 0$： \(\int_X \|fg\| d\mu \geq \|f\|_p \|g\|_q\)

4. Minkowski不等式

定理：对 $p \in [1, \infty]$，$f, g \in L^p$： \(\|f + g\|_{L^p} \leq \|f\|_{L^p} + \|g\|_{L^p}\)

证明思路（对 $p \in (1, \infty)$）：

  1. 写成 $|f+g|^p \leq |f+g|^{p-1}(|f| + |g|)$
  2. 对两项分别应用 Hölder 不等式
  3. 利用 $||f+g|^{p-1}|_q = |f+g|_p^{p-1}$

反例：对 $p \in (0, 1)$，Minkowski 不等式一般不成立（有反向不等式）

意义：证明 $L^p$ 是赋范线性空间

5. Riesz-Fischer定理（完备性）

定理：对 $p \in [1, \infty]$，$(L^p, |\cdot|_p)$ 是 Banach 空间

证明思路：

  1. 选取快速收敛子列：$|f_n - f_m|_p < 2^{-j}$ 对 $n, m \geq n_j$
  2. 通过望远镜级数构造候选函数：$f = f_{n_1} + \sum_{k=1}^\infty (f_{n_{k+1}} - f_{n_k})$
  3. 利用级数形式的 MCT 和 DCT 证明收敛
  4. 利用 Cauchy 列性质完成证明

稠密性：$C_c^\infty$ 在 $L^p$ 中稠密（$1 \leq p < \infty$），但在 $L^\infty$ 中不然

6. $L^p$ 空间的比较

有限测度空间：若 $\mu(X) < \infty$，$0 < p < r \leq \infty$，则： \(L^r \subset L^p, \quad \|f\|_{L^p} \leq \|f\|_{L^r} \mu(X)^{\frac{1}{p} - \frac{1}{r}}\)

数列情形：若 $0 < p < r \leq \infty$，则 $\ell^p \subset \ell^r$，且： \(\|\\{a_k\\}\|_{\ell^r} \leq \|\\{a_k\\}\|_{\ell^p}^{p/r} \|\\{a_k\\}\|_{\ell^\infty}^{1-p/r}\)

典型例子：

  • $f(x) = \frac{1}{|x|^\alpha}\mathbf{1}_{B_1(0)}(x) \in L^p(\mathbb{R}^d) \Leftrightarrow \alpha p < d$
  • $f(x) = \frac{1}{|x|^\alpha}\mathbf{1}_{\mathbb{R}^d \setminus B_1(0)}(x) \in L^p(\mathbb{R}^d) \Leftrightarrow \alpha p > d$

7. $L^p$ 空间的交和和空间

定义：

  • $L^p \cap L^r$：配上范数 \(\|f\|_{L^p \cap L^r} = \|f\|_{L^p} + \|f\|_{L^r}\)
  • $(L^p + L^r)(\mu) = \{f = g + h: g \in L^p, h \in L^r\}/\mathcal{N}$，配上范数
\[\|f\|_{L^p + L^r} = \inf \{\|g\|_p + \|h\|_r: f = g + h \}\]

插值不等式：若 $f \in L^p \cap L^r$，$0 < p < r$，则对所有 $q \in [p, r]$： \(\|f\|_q \leq \|f\|_p^\lambda \|f\|_r^{1-\lambda}\) 其中 $\frac{1}{q} = \frac{\lambda}{p} + \frac{1-\lambda}{r}$

定理：

  • $L^p \cap L^r$ 是 Banach 空间，且连续嵌入 $L^q$
  • $L^p + L^r$ 是 Banach 空间，且 $L^q$ 连续嵌入 $L^p + L^r$

8. 对偶空间

定义：Banach 空间 $X$ 的对偶空间 $X^*$ 是 $X$ 上有界线性泛函全体，配以算子范数： \(\|\ell\|_{X^*} = \sup_{f \neq 0} \frac{\|\ell(f)\|}{\|f\|}\)

Hilbert 空间的 Riesz 表示定理：对任意 $\ell \in \mathcal{H}^*$，存在唯一的 $h \in \mathcal{H}$ 使得： \(\ell(z) = \langle z, h \rangle, \quad \|\ell\|_{\mathcal{H}^*} = \|h\|_{\mathcal{H}}\)

因此 $(L^2(\mu))^* \simeq L^2(\mu)$

9. $L^p$ 空间的Riesz表示定理

定理3.16（范数的等价刻画）：对 $1 \leq q < \infty$：

\[\|g\|_q = \|\phi_g\|_{\mathcal{L}} = \sup \left\{\left| \int fg \right|: \|f\|_p = 1 \right\}\]

若 $\mu$ 是 σ-有限的，则对 $q = \infty$ 也成立

定理3.18（Riesz 表示定理）：对 $1 < p < \infty$，任给 $\phi \in (L^p)^*$，存在唯一的 $g \in L^q$ 使得： \(\phi(f) = \int fg d\mu, \quad \forall f \in L^p\)

若 $\mu$ 是 σ-有限的，则对 $p = 1$（即 $q = \infty$）也成立

证明思路：

  1. 构造符号测度 $\nu(E) = \phi(\mathbf{1}_E)$
  2. 应用 Radon-Nikodym 定理得到 $g$
  3. 使用引理 3.19 证明 $g \in L^q$
  4. 对 σ-有限情形，通过递增集列逼近

反例：

  • $q = \infty, p = 1$：若 $\mu$ 不是半有限，$g \mapsto \phi_g$ 不一定是单射
  • $q = \infty, p = 1$：若 $\mu$ 不是 σ-有限，$g \mapsto \phi_g$ 不一定是满射
  • $q = 1, p = \infty$：$L^1 \to (L^\infty)^*$ 是单射但几乎从来不是满的（例如 $\phi(f) = f(0)$ 不能表示为积分）

10. $L^p$ 空间的自反性

定义：Banach 空间 $X$ 是自反的，如果自然映射 $x \mapsto \hat{x}$（其中 $\hat{x}(\phi) = \phi(x)$）是 $X$ 到 $X^{**}$ 的等距线性同构

定理（推论3.20）：对任意测度空间，如果 $1 < p < \infty$，则 $L^p(\mu)$ 是自反的

推论：$L^1$ 和 $L^\infty$ 不自反

11. （函数列的）弱收敛和弱星收敛

弱收敛：$\{f_n\} \subset L^p (1 \le p < \infty) $ 弱收敛到 $f$（记 $f_n \rightharpoonup f$），如果： \(\lim_{n\to\infty} \int f_n g d\mu = \int fg d\mu, \quad \forall g \in L^q\)

弱星收敛：$\{g_n\} \subset L^q (1 < q \le \infty) $ 弱星收敛到 $g$，如果： \(\lim_{n\to\infty} \int f g_n d\mu = \int fg d\mu, \quad \forall f \in L^p\)

核心区分：

  • 弱收敛：原空间 $X$ 中序列 $x_n$，对任意 $f \in X^*$，$\lim f(x_n) = f(x)$
  • 弱星收敛：对偶空间 $X^*$ 中序列 $f_n$，对任意 $x \in X$，$\lim f_n(x) = f(x)$

性质：

  • 弱星收敛序列必有界（一致有界原理）
  • 若 $X$ 自反，则弱星收敛等价于弱收敛
  • 强收敛（范数收敛）蕴含弱收敛

12. Riesz-Thorin插值定理

定理：假设 $T$ 既是 $L^{p_0} \to L^{q_0}$ 又是 $L^{p_1} \to L^{q_1}$ 的有界线性算子，记： \(M_0 = \|T\|_{L^{p_0} \to L^{q_0}}, \quad M_1 = \|T\|_{L^{p_1} \to L^{q_1}}\)

则对 $0 \leq t \leq 1$，$T$ 是 $L^{p_t} \to L^{q_t}$ 的有界线性算子，且： \(\|T\|_{L^{p_t} \to L^{q_t}} \leq M_0^{1-t}M_1^t\) 其中 $\frac{1}{p_t} = \frac{1-t}{p_0} + \frac{t}{p_1}$，$\frac{1}{q_t} = \frac{1-t}{q_0} + \frac{t}{q_1}$

证明思路：利用三线引理（复分析中的极大模原理）

应用：

  • 证明 Young 不等式（卷积）：\(\|f * g\|_r \leq \|f\|_p \|g\|_q\)，其中 $\frac{1}{p} + \frac{1}{q} = 1 + \frac{1}{r}$
  • 证明积分算子的有界性

13. Young不等式（卷积形式）

定理：对 $f \in L^p$，$g \in L^q$，$\frac{1}{p} + \frac{1}{q} = 1 + \frac{1}{r}$： \(\|f * g\|_r \leq \|f\|_p \|g\|_q\)

证明思路：利用 Riesz-Thorin 插值定理

第五部分小结

Lp空间理论体系：

不等式体系：Young → Hölder → Minkowski
完备性：Riesz-Fischer
对偶理论：Riesz表示定理 → 自反性
收敛理论：弱收敛、弱星收敛
插值理论：Riesz-Thorin

关键定理：

  1. Hölder 不等式：积分估计的基础
  2. Minkowski 不等式：三角不等式
  3. Riesz-Fischer 定理：完备性
  4. Riesz 表示定理：对偶结构
  5. Riesz-Thorin 插值定理：算子插值

核心技巧：

  • 利用 Hölder 共轭进行对偶性论证
  • 利用插值定理推广算子有界性
  • 利用弱收敛处理有界性问题

下一步：第六部分 微分理论

Written on January 8, 2026