Borell--Brascamp--Lieb inequality with finitely many output functions

技术摘要：具有有限个输出函数的 Borell–Brascamp–Lieb 不等式

问题陈述
经典的 Borell–Brascamp–Lieb (BBL) 不等式是凸几何与分析中的一个基本积分不等式。它通过加权幂平均，将有限个输入函数 $f_1, \dots, f_m$ 与单个输出函数 $g$ 联系起来。具体而言，如果 $g$ 在输入的加权线性组合处的逐点值支配了输入值的加权幂平均，那么 $g$ 的 $L^1$ 范数被输入的 $L^1$ 范数的加权幂平均所下界限制。

本文解决了现有理论中的一个空白：经典的表述要求所有输入对应一个共同的输出函数 $g$。作者 Takashi Satomi 研究了是否可以将该不等式扩展到允许不同的输出函数 $g_1, \dots, g_m$，其中每个 $g_i$ 特别对应于输入函数 $f_i$。核心问题在于，能否建立一个积分不等式，使得比率 $g_i(z_\lambda(x))/f_i(x_i)$ 的加权幂平均的本质下确界，受限于其各自 $L^1$ 范数之比的加权幂平均。

方法论
主定理的证明分为两个主要阶段，从一维情况推广到任意维数：

1. 一维情况（第 4 节）：

   • 作者首先建立了一个针对多个函数的极小值型积分不等式（引理 4.3）。这是通过对两个函数的 Brascamp–Lieb 极小值型不等式（事实 4.1）进行关于函数数量的归纳迭代而得出的。
   • 该引理结合了加权幂平均的性质，特别是反向 Minkowski 积分不等式（引理 2.9）和加权幂平均的 Hölder 型不等式（引理 2.7）。
   • 证明过程通过仔细管理积分条件并利用幂变换 $Q_d$ 的复合公式，处理了幂次范围 $-\infty \le p \le 1/d$ 的情况。

2. 高维情况（第 5 节）：

   • 通过使用切片积分 (slice integrals) 和对维数 $d$ 的归纳，从一维结果推导出一般情况。
   • 将空间 $\mathbb{R}^{d+e}$ 分解为 $\mathbb{R}^d \times \mathbb{R}^e$。作者对函数的切片积分依次应用低维结果。
   • 一个关键组成部分是维数可加性引理（引理 5.1），它依赖于幂变换的复合公式 $Q_e(Q_d(p)) = Q_{d+e}(p)$。这使得在低维步骤中产生的幂次能够正确组合，从而得出高维情况下的最终指数。

主要贡献与结果

• 主定理 (Theorem 1.3)： 本文建立了多输出 Borell–Brascamp–Lieb 不等式。对于可积函数 $f_i, g_i: \mathbb{R}^d \to \mathbb{R}_{\ge 0}$ 及权重 $\lambda$，若 $L(x) = M_\lambda^p(g_1(z_\lambda(x))/f_1(x_1), \dots, g_m(z_\lambda(x))/f_m(x_m))$ 的本质下确界为 $K$，则：
  $$K \le M_\lambda^{Q_d(p)} \left( \frac{\|g_1\|_1}{\|f_1\|_1}, \dots, \frac{\|g_m\|_1}{\|f_m\|_1} \right)$$
  其中 $Q_d(p) = p/(1-dp)$ 是幂变换。

• 恢复经典结果：

  • 当所有输出函数均相同（$g_1 = \dots = g_m = g$）时，该定理精确地退化为针对多个函数的经典 BBL 不等式（定理 1.2）。
  • 当 $p=0$ 且假设是以逐点形式而非本质形式施加时，结果与 Cordero-Erausquin 和 Maurey 建立的多输出 Prékopa–Leindler 不等式的特例相一致。

• 最优性 (第 6 节)：

  • 乘法常数： 作者构造了显式的函数族（使用 $\alpha$-凹函数和凸集的指示函数），在这些例子中等式成立。这些例子证明了不等式中的乘法常数是最优的，且等于 1。
  • 幂指数： 对于 $m \ge 2$，论文证明了在保持乘法常数为 1 的前提下，右侧的幂次 $Q_d(p)$ 不能被任何更小的幂次所取代。这证实了该指数的锐利性。

• 推广至一般线性系数 (第 7 节)：

  • 通过应用变量代换，作者将结果扩展到评估点为一般线性组合 $z_\beta(x) = \sum \beta_i x_i$ 而非凸组合的情况。该不等式在涉及缩放因子的调整后依然成立。

意义与主张
本文声称为涉及不同输出函数的 Borell–Brascamp–Lieb 不等式提供了一个自然且锐利的扩展。其意义在于：

1. 泛化性： 它取消了对共同输出函数的限制，允许涉及多个不同输入-输出函数对的更灵活的积分不等式。
2. 完整性： 不同于以往仅通过结合 Hölder 和反向 Minkowski 不等式在低幂次范围（$p \le 1/(d+1)$）内起作用的推导，这项工作提供了一个在全范围 $-\infty \le p \le 1/d$ 内均有效的证明。作者指出，标准的向经典 BBL 不等式的归约在较高幂次范围（$1/(d+1) < p \le 1/d$）内会失效，因此必须采用涉及极小值型不等式和切片积分的独立证明策略。
3. 锐利性： 论文严谨地确立了新不等式中的常数和幂指数都是最优的，从而防止了在不改变不等式结构的情况下进行任何进一步的改进。

该工作置于凸几何与泛函不等式的更广泛背景之下，连接了 BBL 不等式、Prékopa–Leindler 不等式以及 Brunn–Minkowski 不等式，同时澄清了 Cordero-Erausquin–Maurey 的多输出结果与经典 BBL 框架之间的关系。