A Variance Representation Formula for Hölder's Inequality

技术摘要：Hölder 不等式的方差表示公式

问题陈述
本文研究了 Hölder 不等式中“亏损”（deficit）的定量结构。虽然经典的不等式指出，对于 $1 < p, q < \infty$ 且 $1/p + 1/q = 1$ 的非负函数 $f, g$：
$$\int fg \, dx \leq \|f\|_{L^p} \|g\|_{L^q},$$
但标准的分析通常侧重于使用辅助量或稳定性界限来估计“亏损”（即右侧与左侧之差）。作者试图超越单纯的估计，建立一个关于对数 Hölder 亏损的精确表示公式：
$$\log \frac{\|f\|_{L^p} \|g\|_{L^q}}{\int fg \, dx}.$$
其目标是揭示产生这种亏损的内在机制，而非仅仅对其进行定界。

方法论
本文采用了一个结合对数凸性、指数插值和信息几何的框架。

1. 插值泛函： 作者通过泛函定义了两个密度 $F = f^p$ 和 $G = g^q$ 之间的插值：
   $$Z(\theta) = \int F^{1-\theta} G^\theta \, dx, \quad 0 \leq \theta \leq 1.$$
   经典的 Hölder 不等式证明依赖于 $\theta \mapsto \log Z(\theta)$ 的凸性。

2. 方差恒等式： 该方法的核心创新在于计算对数配分函数的二阶导数。通过在积分号下求导并利用相关的概率测度 $d\mu_\theta = \frac{F^{1-\theta}G^\theta}{Z(\theta)}dx$，作者推导出了一个精确的恒等式：
   $$(\log Z)''(\theta) = \text{Var}_{\mu_\theta}(\log G - \log F).$$
   这表明对数配分函数的曲率不仅是非负的，而且恰好是插值测度下对数密度比的方差（波动）。

3. Green 表示法： 为了将这种局部微分恒等式转化为全局积分公式以表示亏损，论文利用了区间 $[0, 1]$ 上凸函数的 Green 表示公式。这使得沿插值路径累积的局部方差可以表示为一个涉及特定 Green 核 $K_{1/q}(s)$ 的单积分。

主要贡献与结果

• 精确方差表示公式： 主定理（Theorem 3.1）提供了一个精确恒等式：
  $$\log \frac{\|f\|_{L^p} \|g\|_{L^q}}{\int fg \, dx} = \int_0^1 K_{1/q}(s) \, \text{Var}_{\mu_s}(\log G - \log F) \, ds,$$
  其中核函数 $K_{1/q}(s)$ 分段定义为：当 $0 \leq s \leq 1/q$ 时为 $s/p$，当 $1/q \leq s \leq 1$ 时为 $(1-s)/q$。
  该结果将 Hölder 亏损解释为连接端点密度的指数插值路径上产生的累积方差能量。

• 恢复经典不等式与等号成立条件：

  • 由于方差是非负的且核函数是非负的，因此该积分是非负的，从而立即恢复了 Hölder 不等式。
  • 等号成立条件被精确刻画：当且仅当方差项几乎处处为零时，等号成立，这发生在 $\log G - \log F$ 为常数（即 $g^q = C f^p$，其中 $C > 0$ 为常数）时。

• 定量严格性： 论文推导出了 Hölder 不等式的定量严格版本。如果沿路径的方差被下界 $c > 0$ 约束，则亏损被下界 $c/(2pq)$ 约束，从而得到严格不等式：
  $$\int fg \, dx \leq e^{-c/(2pq)} \|f\|_{L^p} \|g\|_{L^q}.$$

• 高斯验证： 第 5 节通过使用高斯函数 $f(x) = e^{-ax^2}$ 和 $g(x) = e^{-bx^2}$ 显式验证了该恒等式，证明了计算出的对数密度比的方差与对数配分函数的二阶导数完全一致。

意义与主张
论文声称，这种表示法为 Hölder 不等式提供了一种新的、内在的解释。与其将不等式视为一个静态界限，不如将其呈现为对数配分函数凸性的结果，其中不等式的“代价”（即亏损）是由于对数密度比的波动而产生的插值能量。

作者将这一结果与指数族的几何学以及信息几何联系起来，指出对数配分函数的 Hessian 与协方差信息相对应。论文指出，这种基于方差的视角为研究泛函不等式提供了一个统一的框架。具体而言，它假设类似的精确亏损恒等式也可以在以下领域中导出：

• Young 不等式，
• Brascamp–Lieb 不等式，
• Prékopa–Leindler 型不等式。

文章最后总结道，用基于方差恒等式的“能量表示视角”取代传统的“不等式视角”，可能会导致一种统一的泛函不等式理论。