[論文レビュー] 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

ひとこと要約

本稿は、Monge-Ampère方程式の正則性理論と最適輸送の深い関連性について包括的なサーベイを提供し、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.

研究の動機と目的

• 最適輸送の文脈におけるMonge-Ampère方程式の正則性理論を統合的かつ更新すること。
• MTW条件がリーマン多様体上での最適輸送写像の正則性を保証する役割を明確にすること。
• MTW条件の幾何的意味、特にインジェクティビティ領域の凸性との潜在的関連性を探索すること。
• 最適輸送におけるMonge-Ampère型方程式の解の正則性に関する未解決問題を特定すること。
• 放物型フローおよび所定ヤコビアン方程式における非対称構造を含む、新たな研究方向を提案すること。

提案手法

• Alexandrov解と可視性理論を用いて、Monge-Ampère方程式の弱解を分析する。
• 右辺に関する適切な仮定の下で、連続性法を適用して滑らかな解を構成する。
• Hessianの制御を通じて、一様強楕円性および行列式の有界性を用いて、内部およびグローバルな正則性推定を確立する。
• MTW条件を、リーマン曲率とコスト関数の二階微分を含むテンソルの非負定値性条件として幾何的解釈を導入する。
• リーマン多様体上での正則性結果の局所化を可能にする「スタイ・アウェイ性質」を適用し、カットリージョン特異点を避ける。
• 放物型フローを用いてMonge-Ampère型方程式の解を構成し、最適輸送問題の解法と長期間収束性を分析する。

実験結果

リサーチクエスチョン

• RQ1 MTW条件がリーマン多様体上での最適輸送写像の正則性を保証する条件は何か？
• RQ2 MTW条件は、すべての次元において最適輸送写像の連続性を保証する必要十分条件か？
• RQ3 MTW条件がリーマン多様体上のすべての点においてインジェクティビティ領域の凸性を示すと示せるか？
• RQ4 最適輸送写像の特異集合のハウスドルフ次元は何か？また、適切な仮定の下でその可微分性や滑らかさは示せるか？
• RQ5 MTW条件を仮定しないで、放物型Monge-Ampèreフローを用いて最適輸送問題の解を構成し、部分的正則性結果を得られるか？

主な発見

• MTW条件により、線形化されたMonge-Ampère作用素が一様強楕円的であることが保証され、楕円型正則性理論の適用が可能になる。
• 球面の摂動において、MTWテンソルは完全平方に簡略化され、この条件の背後にあるより深い幾何的構造を示唆する。
• スタイ・アウェイ性質により、解がカットリージョンに近づかないようにすることで、リーマン多様体上での正則性結果の局所化が可能になる。
• MTW条件により、インジェクティビティ領域が凸であることが示され、形式的議論と2次元での既知の結果によって裏付けられる。
• MTW条件が成立する場合、Monge-Ampère型の放物型フローは指数関数的に最適輸送解に収束し、数値的アプローチとして有効である。
• 最適輸送写像の部分的正則性定理により、特異集合のハウスドルフ次元は高々 n−1 であることが示され、ただし完全な可微分性については未解決のままである。