[论文解读] Some new links between the weak KAM and Monge problems

Gershon Wolansky|arXiv (Cornell University)|Mar 1, 2009

Geometry and complex manifolds参考文献 9被引用 2

一句话总结

本文通过引入基于 Wasserstein 距离 W1 的度量公式，建立了弱 KAM 理论与 Monge 最优传输问题之间的新联系。它证明了一个广义恒等式：W1(λ⁻, λ⁺) = lim_{ε→0} ε⁻² inf_μ W2(μ + ελ⁻, μ + ελ⁺)，适用于总质量相等的非负测度，揭示了在扰动下哈密顿动力学与质量传输之间的深层联系。

ABSTRACT

The weak KAM theory predicts the survivals of invariant measures of Hamiltonian systems under large perturbations. It is the subject of an extensive research in the last few decades. The optimal mass transportation was introduced by Monge some 200 years ago and is, today, the source of large number of results in analysis, geometry and convexity. Recently, some interesting links where discovered between these two fields. Here we investigate a new, surprising link involving the metric Monge distance. As a special case we get for any pair of no-negative measures λ +, λ − of equal mass a generalization of the identity W1(λ − , λ +) = lim ε→0 ε −2 inf µ W2(µ + ελ − , µ + ελ +) where Wp is the Wasserstein distance and the infimum is over the set of probability measures in the ambient space.

研究动机与目标

• 探索弱 KAM 理论与最优质量传输之间的相互作用，特别是在扰动下的情形。
• 研究概率测度在小扰动下的 Wasserstein 距离行为。
• 在不变测度的背景下，建立 W1 与 W2 距离之间已知恒等式的推广。
• 通过度量公式揭示哈密顿系统与最优传输之间的结构性联系。

提出的方法

• 该分析使用弱 KAM 框架，研究大扰动下不变测度的存活性。
• 引入一种扰动方案，其中测度 μ 分别被 ελ⁻ 和 ελ⁺ 平移，且 ε → 0。
• 该方法依赖于扰动测度之间 W2 距离的渐近展开，以推导出涉及 W1 的极限。
• 核心论证涉及在环境空间中对所有概率测度 μ 取下确界，以最小化 W2 距离。
• 推导利用了 Wasserstein 度量的性质及其在小-ε 极限下的标度行为。
• 通过分析 W2 距离在 ε 趋近于零时的二阶行为，证明了广义恒等式。

实验结果

研究问题

• RQ1 哈密顿系统中的不变测度在扰动下与最优传输度量有何关系？
• RQ2 能否通过扰动测度的 W2 距离极限恢复两个等质量测度之间的 W1 距离？
• RQ3 对所有概率测度 μ 取下确界在连接弱 KAM 与 Monge 问题中起什么作用？
• RQ4 在扰动传输计划的渐近分析中，度量 Monge 距离如何出现？
• RQ5 是否存在一个普遍恒等式，通过小-ε 极限将 W1 与 W2 距离在最优传输中联系起来？

主要发现

• 本文证明了 W1(λ⁻, λ⁺) 等于当 ε 趋近于零时，ε⁻² 乘以 W2(μ + ελ⁻, μ + ελ⁺) 的下确界的极限。
• 该恒等式对任意一对总质量相等的非负测度 λ⁺ 与 λ⁻ 均成立。
• 该结果通过将已知最优传输恒等式推广至任意等质量测度，实现了广义化。
• 小扰动下 W2 距离的渐近行为揭示了其与 W1 距离的直接联系。
• 该联系通过弱 KAM 理论对扰动下不变测度存活性的预测得以建立。
• 该框架通过二阶扰动分析，为 Monge 问题提供了新的度量解释。