[论文解读] The Monge-Ampère equation and its link to optimal transportation

Guido De Philippis, Alessio Figalli|arXiv (Cornell University)|Oct 23, 2013

Geometry and complex manifolds参考文献 88被引用 10

一句话总结

本文全面综述了蒙日-安培方程的正则性理论及其与最优传输的深刻联系，确立了MTW条件可保证黎曼流形上最优传输映射的正则性。该文统一了经典结果与现代进展，表明MTW条件既蕴含了单射域的凸性，也蕴含了传输映射的局部正则性，并通过抛物流方法在几何分析与数值方法中展示了其应用。

ABSTRACT

We survey the (old and new) regularity theory for the Monge-Ampère equation, show its connection to optimal transportation, and describe the regularity properties of a general class of Monge-Ampère type equations arising in that context.

研究动机与目标

• 在最优传输的背景下，统一并更新蒙日-安培方程的正则性理论。
• 阐明MTW条件在确保黎曼流形上最优传输映射正则性中的作用。
• 探讨MTW条件的几何意义，包括其与单射域凸性的潜在联系。
• 识别最优传输中出现的蒙日-安培型方程解正则性方面的开放问题。
• 提出新方向，包括抛物流与预设雅可比行列式方程中的非对称结构。

提出的方法

• 使用亚历山大洛夫解与粘性理论分析蒙日-安培方程的弱解。
• 应用连续性方法在右侧项满足适当假设下构造光滑解。
• 通过控制Hessian矩阵的有界性，结合一致椭圆性与行列式有界性，建立内部与全局正则性估计。
• 将MTW条件几何化为一个涉及黎曼曲率与代价函数二阶导数的张量的半正定性条件。
• 应用远离性质（stay-away property）将正则性结果局部化于黎曼流形，避免触及切点集奇点。
• 研究蒙日-安培型抛物流，以构造最优传输问题的解并分析其长时间收敛性。

实验结果

研究问题

• RQ1 在何种条件下，MTW条件可保证黎曼流形上最优传输映射的正则性？
• RQ2 MTW条件在所有维度下是否为最优传输映射连续性的充要条件？
• RQ3 MTW条件能否被证明对黎曼流形上所有点的单射域凸性成立？
• RQ4 最优传输映射中奇异集的Hausdorff维数是多少？在适当假设下，其是否可为可求长或光滑？
• RQ5 在不假设MTW条件的前提下，能否利用抛物蒙日-安培流构造最优传输问题的解，从而获得部分正则性结果？

主要发现

• MTW条件确保线性化蒙日-安培算子具有一致椭圆性，从而可应用椭圆正则性理论。
• 在球面的扰动流形上，MTW张量可简化为一个完全平方形式，暗示该条件背后存在更深层的几何结构。
• 远离性质使正则性结果可被局部化于黎曼流形，通过防止解趋近于切点集来实现。
• MTW条件意味着单射域是凸的，该结论已有形式化论证支持，且在二维情形已被证实。
• 当MTW条件成立时，蒙日-安培型抛物流会以指数速度收敛至最优传输解，提供一种数值方法。
• 最优传输映射的局部正则性定理表明，奇异集的Hausdorff维数至多为n−1，但其完全可求长性仍为开放问题。