[论文解读] Second order differentiation formula on compact $RCD^*(K,N)$ spaces

Nicola Gigli, Luca Tamanini|arXiv (Cornell University)|Jan 14, 2017

Geometric Analysis and Curvature Flows参考文献 32被引用 10

一句话总结

本论文在紧致 RCD*(K,N) 空间（有限维 N < ∞）中建立了测地线上的二阶微分公式，证明沿 W₂-测地线 μₜ 的 H²,²(X) 函数 f 的积分的二阶导数由 ∫ Hess(f)(∇φ, ∇φ) dμ₀ 给出，其中 φ 是从 μ₀ 到 μ₁ 的 Kantorovich 潜势。证明依赖于通过熵插值近似 W₂-测地线，并推导出密度、Schrödinger 潜势及其 Hessian 的一致估计，将已知结果推广至非光滑度量测度空间。

ABSTRACT

Aim of this paper is to prove the second order differentiation formula along geodesics in compact $RCD^*(K,N)$ spaces with $N

研究动机与目标

• 在紧致 RCD*(K,N) 空间中建立有限维 N < ∞ 下沿测地线的二阶微分公式。
• 通过刻画 H²,² 函数沿 W₂-测地线积分的二阶导数，将一阶微分公式推广至二阶。
• 为近似 W₂-测地线，发展熵插值在密度、势函数及其 Hessian 上的一致估计。
• 证明在非光滑设定下，通过消失粘性方法可获得 Hamilton-Jacobi 方程的粘性解。
• 为简化 RCD 空间中关键几何定理（如分裂定理与“体积锥蕴含度量锥”）的证明提供基础。

提出的方法

• 通过小扩散的 Schrödinger 问题的解（即熵插值）对 W₂-测地线进行二阶近似。
• 利用新的 Li-Yau 型不等式，推导熵插值路径上密度分布的等界性。
• 利用 Hamilton 型梯度估计，建立 Schrödinger 潜势的等 Lipschitz 连续性。
• 利用曲率界与 RCD*(K,N) 条件，获得 Schrödinger 潜势 Hessian 的一致加权 L² 控制。
• 在熵插值路径上对测试函数积分的二阶导数取极限，以恢复二阶公式。
• 通过热流正则化程序，将结果从测试函数推广至一般 H²,² 函数。

实验结果

研究问题

• RQ1 能否在紧致 RCD*(K,N) 空间（有限维 N < ∞）中为 W₂-测地线建立二阶微分公式？
• RQ2 熵插值是否可在非光滑度量测度空间中作为 W₂-测地线的二阶近似方案？
• RQ3 为在熵插值路径上对积分的二阶导数取极限，密度、势函数及其 Hessian 所需的一致估计为何？
• RQ4 在 RCD 设定下，是否可通过消失粘性方法恢复 Hamilton-Jacobi 方程的粘性解，如同光滑情形？
• RQ5 二阶微分公式是否可简化 RCD 空间中关键几何定理（如分裂定理或“体积锥蕴含度量锥”）的证明？

主要发现

• 对于 f ∈ H²,²(X)，沿 W₂-测地线 μₜ 的映射 t ↦ ∫ f dμₜ 的二阶导数为 ∫ Hess(f)(∇φ, ∇φ) dμ₀，其中 φ 是从 μ₀ 到 μ₁ 的 Kantorovich 潜势。
• 对于 f ∈ H²,²(X)，映射 t ↦ ∫ f dμₜ 在 [0,1] 上是 C² 的，确立了积分演化过程的强正则性。
• 熵插值对 W₂-测地线提供了二阶近似，且在密度、势函数及其 Hessian 上具有一致控制。
• Schrödinger 潜势的 Hessian 具有一致加权 L² 有界性，这对在二阶导数中取极限至关重要。
• Hamilton-Jacobi 方程的粘性解可作为正则化方程解的极限获得，确认了在 RCD 设定下消失粘性方法的有效性。
• 二阶微分公式使得 RCD 空间中几何结果（如分裂定理与“体积锥蕴含度量锥”定理）的证明得以简化。