[论文解读] Lecture Notes on Gradient Flows and Optimal Transport

Sara Daneri, Giuseppe Savaré|arXiv (Cornell University)|Sep 20, 2010

Geometric Analysis and Curvature Flows参考文献 48被引用 14

一句话总结

本文提出了一种基于度量演化变分不等式（EVI）的度量空间中梯度流的变分框架，建立了对测地线 $\lambda$-凸泛函的 $\lambda$-梯度流的存在性、稳定性与正则化性质。关键贡献在于将该理论应用于最优传输空间，通过 Wasserstein 空间中熵泛函的 $\lambda$-凸性，刻画了扩散 PDE（如热方程）的解。

ABSTRACT

We present a short overview on the strongest variational formulation for gradient flows of geodesically $λ$-convex functionals in metric spaces, with applications to diffusion equations in Wasserstein spaces of probability measures. These notes are based on a series of lectures given by the second author for the Summer School "Optimal transportation: Theory and applications" in Grenoble during the week of June 22-26, 2009.

研究动机与目标

• 通过度量演化变分不等式（EVI）建立一般度量空间中梯度流的稳健变分公式化。
• 在不依赖紧致性或光滑性假设的前提下，建立 $\lambda$-梯度流的存在性、稳定性与正则化性质。
• 将度量理论应用于概率测度的 Wasserstein 空间，通过熵泛函的 $\lambda$-凸性与热方程建立联系。
• 通过测度 Gromov-Hausdorff 收敛与内在几何条件，将理论推广至一般的测度-度量空间。

提出的方法

• 通过度量演化变分不等式（EVI）公式化梯度流，该不等式刻画了度量空间中极大下降曲线。
• 使用带 Ekeland 变分原理的最小化移动方案构造离散逼近，避免了紧致性假设。
• 通过改进的柯西估计与度量空间的几何假设，建立离散方案的收敛性。
• 刻画 Wasserstein 空间 $\mathscr{P}_2(X)$ 中的测地线与绝对连续曲线，特别针对 $X = \mathbb{R}^d$ 的情形。
• 证明当 $\mathrm{Ent}_\gamma$ 是 $\lambda$-测地线凸时，相对熵泛函 $\mathrm{Ent}_\gamma$ 在 $\mathscr{P}_2(X)$ 上生成一个 $\lambda$-梯度流。
• 通过测度 Gromov-Hausdorff 收敛将理论应用于黎曼流形及极限测度-度量空间，证明热流的收敛性。

实验结果

研究问题

• RQ1 在何种条件下，通过 EVI 公式化，一般度量空间中 $\lambda$-梯度流存在？
• RQ2 EVI 公式化如何确保梯度流的稳定性、正则化与渐近收敛性？
• RQ3 Wasserstein 空间中熵泛函的 $\lambda$-测地线凸性与热方程解之间存在何种联系？
• RQ4 熵泛函的梯度流能否在具有下界 Ricci 曲率的广义测度-度量空间上扩展？
• RQ5 何种几何与分析条件可确保在测度-度量空间中通过 EVI 框架存在一个马尔可夫半群？

主要发现

• 度量演化变分不等式（EVI）在完备、下半连续的度量空间中提供了强健、稳定且具有正则化效果的梯度流公式化，无需光滑性或紧致性假设。
• EVI 的解在生成泛函的 $\Gamma$-收敛下保持稳定，并表现出向泛函极小值的渐近收敛性。
• 在 Wasserstein 空间 $\mathscr{P}_2(\mathbb{R}^d)$ 中，相对熵泛函 $\mathrm{Ent}_\gamma$ 是 $\lambda$-测地线凸的，当且仅当其基流形的 Ricci 曲率有下界 $\lambda$，从而建立了几何与变分性质之间的联系。
• 在紧致黎曼流形 $M$ 上，热方程等价于 $\mathscr{P}_2(M)$ 中熵泛函的 $\lambda$-梯度流，这一结论由 EVI 刻画所证实。
• 当黎曼流形列满足统一的 Ricci 曲率下界 $\mathrm{Ric}(M^h) \geq \lambda$ 且通过测度 Gromov-Hausdorff 收敛于极限空间 $(X, \mathsf{d}, \gamma)$ 时，$M^h$ 上的热流收敛于 $(X, \mathsf{d}, \gamma)$ 上 $\mathrm{Ent}_\gamma$ 的 $\lambda$-梯度流。
• 当 $X$ 满足局部夹角条件且为 $K$-拟凹时，$\mathrm{Ent}_\gamma$ 的 $\lambda$-梯度流在 $L^p(\gamma)$ 上唯一地延拓为所有 $p \in [1, \infty)$ 的马尔可夫半群。