[論文レビュー] Continuity of maps solutions of optimal transportation problems

Grégoire Loeper|arXiv (Cornell University)|Apr 7, 2005

Optimization and Variational Analysis参考文献 2被引用数 8

ひとこと要約

この論文は、コスト関数に依存するヘッセ行列項を含むマロン＝アンペール方程式を解くポテンシャル関数を分析することにより、最適輸送写像のC¹およびC¹,α正則性を確立する。コスト関数に条件A3が成り立ち、密度関数fがLᵖに属しp > nであると仮定すると、標準的なマロン＝アンペールの場合と比較して、より高いC¹,α正則性が得られる。これはコスト関数の構造的性質に起因する正則性の向上を示している。

ABSTRACT

In this paper we investigate the continuity of maps solutions of optimal transportation problems. These maps are expressed through the gradient of a potential for which we establish C 1 and C 1,α regularity. Our results hold assuming a condition on the cost function (condition A3 below), that was the one used for C 2 a priori estimates in [5]. The optimal potential will solve a Monge-Ampère equation of the form det(M(x, ∇φ) + D 2 φ) = f where M depends on the cost function. One of the interesting outcome is that under the condition A3, the regularity obtained is better than the one obtained in the case of the ’usual ’ Monge-Ampère equation det D 2 φ = f, in particular we will obtain here C 1,α regularity for φ under the condition f ∈ L p,p> n.

研究の動機と目的

• コスト関数に構造的条件が成り立つ下での最適輸送写像のより高い正則性を確立すること。
• コスト関数に依存するヘッセ行列項を含むマロン＝アンペール方程式を解くポテンシャル関数を分析すること。
• 条件A3下での解の正則性を、古典的なマロン＝アンペール設定におけるものと比較すること。
• 密度関数fがLᵖ（p > n）に属する場合に、特にC¹,α正則性が達成可能であることを示すこと。

提案手法

• 著者らは、Mがコスト関数に依存する形のマロン＝アンペール方程式det(M(x, ∇φ) + D²φ) = fを導出する。
• 彼らは[5]の事前C²推定を適用し、ヘッセ行列項の構造を制御するために条件A3に依存する。
• 解析は、最適輸送写像を生成する勾配∇φをもつポテンシャルφに焦点を当てる。
• 事前推定を用いてφのC¹およびC¹,αバウンドを確立することで正則性を確立する。
• 標準的なdet D²φ = fの場合より、コスト関数の構造を活用して正則性を向上させる。
• 証明は、コスト関数の幾何構造と密度関数fの可積分性の相互作用に依存する。

実験結果

リサーチクエスチョン

• RQ1 コスト関数にどのような条件下で最適輸送写像がC¹,α正則性を示すことができるか？
• RQ2 条件A3は、最適輸送におけるマロン＝アンペール方程式の解の正則性にどのように影響するか？
• RQ3 f ∈ Lᵖ（p > n）のとき、古典的設定と比較して最適輸送でより高い正則性が達成可能か？
• RQ4 ヘッセ行列項M(x, ∇φ)はポテンシャル関数の正則性向上にどのように寄与するか？
• RQ5 コスト関数の構造は、輸送写像のC¹,α正則性にどのように影響するか？

主な発見

• 条件A3のもとで、マロン＝アンペール方程式det(M(x, ∇φ) + D²φ) = fを満たすポテンシャル関数φはC¹,α正則性を示すことが示された。
• 密度関数fがLᵖ（p > n）に属する場合、古典的結果と比較して正則性が向上する。
• コスト関数が導入する構造のおかげで、標準的なマロン＝アンペール方程式det D²φ = fの場合よりも正則性結果が強力である。
• 条件A3は、C²およびその後続するC¹,α正則性のための必要な事前推定を保証する。
• ヘッセ行列項M(x, ∇φ)は、方程式の強凸性構造を変更することで正則性の向上に寄与する。
• 結果は、コスト関数の幾何構造が、古典的状況と比較してより良い正則性を直接可能にすることを示している。