[论文解读] Introduction to Optimal Transport Theory

Filippo Santambrogio|arXiv (Cornell University)|Sep 20, 2010

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

一句话总结

本文提供了最优传输理论的简明介绍，聚焦于 Monge-Kantorovich 问题、Wasserstein 距离，以及最优传输与 PDE 之间的联系。通过 Monge-Ampère 方程建立了最优传输映射的存在性与正则性，表明在密度满足 Hölder 连续性及一致有界条件下，Brenier 解为 $ C^{2,\beta} $，从而确保经典可解性，并将传输问题与凸分析及 PDE 理论联系起来。

ABSTRACT

These notes constitute a sort of Crash Course in Optimal Transport Theory. The different features of the problem of Monge-Kantorovitch are treated, starting from convex duality issues. The main properties of space of probability measures endowed with the distances $W_p$ induced by optimal transport are detailed. The key tools to put in relation optimal transport and PDEs are provided.

研究动机与目标

• 为该领域的新研究者提供一个自包含且易于理解的最优传输理论导论。
• 阐明原始问题（Kantorovich）与对偶问题（Kantorovich 潜势）之间在传输问题中的对偶关系。
• 通过 Monge-Ampère 方程与位移凸性，建立最优传输与 PDE 之间的联系。
• 在对源测度与目标测度的最小假设下，呈现最优传输映射的正则性结果。

提出的方法

• 将 Monge 问题形式化为具有代价函数 $ c(x,y) = |x-y|^2/2 $ 的质量传输问题，由此导出使用联合测度 $ \gamma \in \Pi(\mu,\nu) $ 的 Kantorovich 松弛。
• 应用凸对偶性，推导出涉及 Kantorovich 潜势 $ \psi $ 的对偶问题，其满足 $ \psi(x) + \psi^c(y) \leq c(x,y) $，且在 $ \gamma $ 的支撑集上几乎处处取等号。
• 将 Wasserstein 距离 $ W_p $ 定义为 $ L^p $-最优传输代价，通过位移插值使概率测度空间成为一个测地度量空间。
• 利用连续性方程 $ \partial_t \mu_t + \nabla \cdot (v_t \mu_t) = 0 $ 来刻画 $ \mathcal{W}_p $ 中的曲线，将动力学与最优传输联系起来。
• 从变量变换公式出发，通过 $ T = \nabla\phi $ 推导出 Monge-Ampère 方程 $ \det D^2\phi = u / v(\nabla\phi) $，其中 $ \phi $ 为凸函数。
• 建立解的概念：Brenier（前推）、Alexandrov（测度值）、粘性（比较）与经典（逐点 $ C^2 $）解，并通过 Perron 方法与归纳法实现正则性传递。

实验结果

研究问题

• RQ1 在何种条件下，两个概率测度之间存在最优传输映射？
• RQ2 如何利用 Kantorovich 对偶问题来表征最优传输计划与潜势？
• RQ3 在二次代价情形下，最优传输与 Monge-Ampère PDE 之间存在何种关系？
• RQ4 最优传输映射从源测度与目标测度的密度中继承了哪些正则性性质？
• RQ5 在 $ \mathcal{W}_p $ 空间中，位移凸性与测地线如何与概率测度的演化相关联？

主要发现

• 在假设测度 $ \mu $ 与 $ \nu $ 的密度 $ u $ 与 $ v $ 在凸区域 $ \Omega $ 上为 $ C^{0,\alpha} $ 且一致远离零与无穷大的条件下，Monge-Ampère 方程的唯一 Brenier 解 $ \phi $ 属于 $ C^{2,\alpha}(\Omega) \cap C^{1,\alpha}(\overline{\Omega}) $。
• 因此，最优传输映射 $ T = \nabla\phi $ 属于 $ C^{2,\alpha} $ 类，确保 Monge-Ampère 方程在经典意义下成立。
• 由于解的正则性，该解在 Alexandroff 与粘性意义下也满足方程。
• 正则性结果通过首先利用 Perron 方法证明粘性解的存在性，再借助已知的 Monge-Ampère 方程正则性理论，逐步提升至 $ C^{1,\alpha} $ 与 $ C^{2,\alpha} $ 获得。
• 若函数 $ r \mapsto r^d f(r^{-d}) $ 为凸且非增，则泛函 $ J^1(\mu) = \int f(u(x))\,dx $ 为位移凸，从而将熵型泛函与最优传输几何联系起来。
• 在 $ V $ 与 $ w $ 分别为凸函数的条件下，泛函 $ J^2(\mu) = \int V(x)\,\mu(dx) $ 与 $ J^3(\mu) = \iint w(x-y)\,\mu(dx)\mu(dy) $ 均为位移凸。