霍尔德不等式

霍尔德不等式 (Hölder's Inequality)

霍尔德不等式 (Hölder's Inequality) 是分析数学与泛函分析中最核心的不等式之一。它对共轭指数 $p, q > 1$（满足 $\frac{1}{p} + \frac{1}{q} = 1$）给出了两个序列或函数乘积的积分上界：$\sum |a_i b_i| \le (\sum |a_i|^p)^{1/p} (\sum |b_i|^q)^{1/q}$。该不等式是Cauchy-Schwarz不等式的根本推广，也是建立L^p空间对偶性与三角不等式（Minkowski 不等式）的关键工具。由德国数学家奥托·霍尔德 (Otto Hölder, 1859--1937) 于 1889 年提出。

离散形式

设共轭指数 $p, q > 1$。对任意实数序列 $\{a_i\}_{i=1}^n, \{b_i\}_{i=1}^n$，有

等号成立当且仅当 $|a_i|^p$ 与 $|b_i|^q$ 成比例。当 $p = q = 2$ 时退化为Cauchy-Schwarz不等式。

积分形式

设 $(X, \mathcal{A}, \mu)$ 为测度空间，$f, g: X \to \mathbb{R}$ 为可测函数，则

当 $\mu$ 为计数测度时即为离散形式；当 $\mu$ 为概率测度时转化为期望形式：$\mathbb{E}[|XY|] \le (\mathbb{E}[|X|^p])^{1/p} (\mathbb{E}[|Y|^q])^{1/q}$。

广义与反向形式

对 $k$ 个函数，设 $p_j > 1$ 满足 $\sum_{j=1}^k \frac{1}{p_j} = 1$，则

若 $0 < p < 1$（此时 $q < 0$），不等式方向反转，称反向霍尔德不等式，在调和分析与偏微分方程中有应用。

经济金融应用

在期望效用理论中，霍尔德不等式用于证明风险度量（如VaR与ES）的次可加性。在资产定价中，随机折现因子方法依赖该不等式：$\mathbb{E}[m R] \le (\mathbb{E}[|m|^p])^{1/p} (\mathbb{E}[|R|^q])^{1/q}$，为Hansen-Jagannathan界提供理论基础。在计量经济学中，该不等式广泛用于证明估计量的一致性与渐进正态性。

L^p 空间对偶性

霍尔德不等式直接建立了 $L^p$ 与 $L^q$ 间的对偶关系：映射 $g \mapsto \int f g$ 是 $L^q$ 上的有界线性泛函，其范数等于 $\|f\|_p$。当 $1 < p < \infty$ 时，$(L^p)^* \cong L^q$，这是泛函分析中表示定理的基石。

证明概要

证明依赖Young 不等式：对 $a, b \ge 0$，有 $ab \le \frac{a^p}{p} + \frac{b^q}{q}$。代入 $a = |f| / \|f\|_p, b = |g| / \|g\|_q$ 并积分即得。

历史注记

霍尔德于 1889 年在 Fourier 级数收敛性论文中发表该不等式。罗杰斯 (L. J. Rogers) 于 1888 年独立发现，故又称Rogers--Hölder 不等式。费雷歇 (M. Fréchet) 随后推广至积分形式。该不等式与Minkowski不等式共同构成 $L^p$ 空间理论的支柱。