A dimension-free interpolation of Caffarelli's contraction theorem

技术摘要：Caffarelli 收缩定理的无维插值

问题陈述
本文研究了 $\mathbb{R}^n$ 上两个概率测度之间 Brenier 映射（二次代价的最优输运映射）的正则性。具体而言，当源密度和目标密度属于一个特定的测度族时，该族测度在多项式型密度与对数凹密度之间进行插值，本文旨在寻求输运势 $\nabla \phi$ 梯度的全局 Lipschitz 估计。

密度定义为：
$$\rho_{U,p} = Z_{U,p}^{-1} \exp(-\Theta_p(U)), \quad \Theta_p(t) = p \log\left(1 + \frac{t}{p}\right)$$
其中 $p \in [n, +\infty]$。当 $p = +\infty$ 时，对应于 Caffarelli 著名的收缩定理中所研究对数凹密度（$\Theta_\infty(t) = t$）。作者考虑将一个源测度 $\rho_{V,d}$ 推前至目标测度 $\rho_{W,D}$ 的输运映射，其中参数 $d$ 和 $D$ 满足 $n \le d \le D \le +\infty$。

核心挑战在于建立输运势 Hessian 矩阵（$\|D^2\phi\|_{L^\infty}$）的无维界，该界需在维数 $n$ 以及插值参数 $d$ 和 $D$ 上保持一致。作者及他人（特别是文献 [5]）的先前工作为多项式到多项式的情形（$d=D < \infty$）提供了估计，但 suffer 了关于维数的指数依赖。Caffarelli 定理（$d=D=\infty$）提供了尖锐的无维界，但将这种尖锐性扩展到具有统一常数的中间多项式区域仍是一个未解决的问题。

方法论
作者结合了文献中两种不同的分析方法：

1. 极大值原理论证：遵循文献 [5] 的方法，作者利用 Monge-Ampère 方程并对方程势函数的二阶导数应用极大值原理。这涉及在二阶方向导数达到最大值的点分析该方程。
2. 单调性与增长估计：遵循文献 [9] 的方法（受 Fathi 启发），作者利用最优输运映射的单调性性质和集中不等式，推导输运映射本身的定量增长界（即 $|\nabla \phi|$ 的界）。

核心技术创新在于整合这两种观点。作者首先推导出一个“双参数极大值原理”（引理 2.1），将势函数的 Hessian 与势函数 $V$ 和 $W$ 的 Hessian 以及映射的梯度联系起来。随后，他们将通过 Fathi 论证在命题 2.2 和 2.3 中推导出的显式有限参数增长估计（针对 $|\nabla \phi|$）代入该极大值原理不等式中。

方法论的一个关键方面是对极限的仔细处理。为了在极限 $d, D \to \infty$ 下恢复尖锐的 Caffarelli 界，作者证明了极限顺序至关重要：必须先固定半径 $R$，令 $D \to \infty$ 且 $d \to \infty$，然后再令 $R \to \infty$。这种顺序确保了常数保持稳定并收敛到尖锐值。

主要贡献与结果

1. 全局无维 Hessian 估计（定理 1.2）：
   本文建立了 $\rho_{V,d}$ 与 $\rho_{W,D}$ 之间 Brenier 映射的全局 Lipschitz 界，其中 $d \le D$。该界在维数 $n$ 以及参数 $d, D$ 上是一致的。

   • 对 [5] 的改进：在 $d=D < \infty$ 的情形下，该结果通过消除关于维数 $d$ 的指数依赖，改进了 [5] 中的界。
   • 结构：常数 $C_{glob}$ 依赖于势函数 $V$ 和 $W$ 的结构量（具体为其 Hessian 界 $C_V^{(2)}, c_W^{(2)}$ 和梯度界），但与 $n$ 无关。

2. 局部化 Hessian 估计（定理 1.3）：
   作者证明了在固定球 $B_R(0)$ 内部势函数 Hessian 的细化估计。该局部化界涉及常数（$R_{d,D}(R)$ 和 $G_{d,D}(R)$），用于控制输运映射在该球内的增长。

   • 稳定性：这些局部化常数在极限 $d, D \to +\infty$ 下是稳定的。
   • 机制：证明依赖于定义一个"Fathi 半径”$R_{d,D}(R)$，该半径界定了球 $B_R(0)$ 在输运映射下的像，从而确保极大值原理能在受控域内有效应用。

3. Caffarelli 定理的恢复（推论 1.4 和 1.5）：
   通过取极限 $D \to +\infty$（多项式到对数凹情形），随后取 $d \to +\infty$，作者以尖锐常数恢复了 Caffarelli 收缩定理。

   • 推论 1.4：提供了 $D=+\infty$ 且 $d$ 有限情形的界，表明增长因子消失。
   • 推论 1.5：通过按特定顺序取极限（$D \to \infty$，然后 $d \to \infty$，最后 $R \to \infty$），作者严格恢复了经典结果：若 $f=e^{-V}$ 且 $g=e^{-W}$，满足 $D^2V \le C_V^{(2)}I$ 和 $D^2W \ge c_W^{(2)}I$，则 $\|DT\|_{L^\infty} \le \sqrt{C_V^{(2)}/c_W^{(2)}}$。

意义与主张
本文声称提供了一个统一的框架，在多项式型密度与对数凹密度之间进行插值，同时保持无维控制。

• 一致性：主要意义在于估计的一致性。随着维数 $n$ 的增加，界不会恶化，也不依赖于插值参数的指数。
• 尖锐性：该方法允许恢复 Caffarelli 定理中的尖锐常数，而先前的多项式到多项式估计由于其维数依赖性无法实现这一点。
• 鲁棒性：该方法被描述为“极其鲁棒”，能够处理不同的源和目标参数（$d \le D$），并将已知结果作为特例恢复（例如 [5] 的多项式到多项式情形和 Caffarelli 的对数凹情形）。

作者指出，限制 $d \le D$ 是自然的；如果 $d > D$，输运映射可能在无穷远处表现出超线性增长，从而阻碍全局 Lipschitz 界的成立。本文最后通过标准的正则化论证，将光滑极大值原理的结果扩展到假设所要求的广义 $C^{1,1}_{loc}$ 情形。