[論文レビュー] Quantitative linearization results for the Monge-Ampère equation

Michaël Goldman, Martin Huesmann+1 more|arXiv (Cornell University)|May 23, 2019

Geometric Analysis and Curvature Flows参考文献 33被引用数 5

ひとこと要約

本稿では、すべてのスケールで Wasserstein 距離において Lebesgue 測度に近い測度 μ に対して、Monge-Ampère 方程式の定量的線形化推定を確立する。具体的には、μ がすべてのスケールで Lebesgue 測度に近いならば、最適輸送の変位がポアソン方程式の解の勾配に定量的に近いことを示す。主な結果は、測度の均一性からのずれのスケール不変な小さな条件の下で、線形化誤差の $ R^{-(1-\beta)} $ に比例する減衰推定が成り立つことである。

ABSTRACT

This paper is about quantitative linearization results for the Monge-Ampère equation with rough data. We develop a large-scale regularity theory and prove that if a measure $μ$ is close to the Lebesgue measure in Wasserstein distance at all scales, then the displacement of the macroscopic optimal coupling is quantitatively close at all scales to the gradient of the solution of the corresponding Poisson equation. The main ingredient we use is a harmonic approximation result for the optimal transport plan between arbitrary measures. This is used in a Campanato iteration which transfers the information through the scales.

研究の動機と目的

• 粗い測度 μ と Lebesgue 測度との間の最適輸送に関する大スケール正則性理論の構築。
• Lebesgue 測度の周囲での Monge-Ampère 方程式の線形化を定量的に評価し、輸送変位がポアソン解の勾配に収束することを示すこと。
• すべてのスケールで μ と Lebesgue 測度の間の Wasserstein 距離の均一な小さな条件の下でのスケール不変推定の確立。
• 測度 μ が弱く平均的に均一に近い場合でも、累積的変位誤差がスケールとともに減少することの特定。

提案手法

• 任意の測度間の最適輸送計画に対する調和近似定理を導入し、局所的線形化を可能にする。
• ネストされた中空領域の系列を用いて、スケール間で正則性情報を伝達する Campanato 型反復スキームを適用する。
• 正則化されたフラックスと近似的な直交性に基づく良好な半径選択手順を用いて、誤差伝搬を制御する。
• 近似調和関数 $ \Phi_k $ と累積シフト $ h_R $ の系列を構築し、変位場を追跡する。
• 同心の中空領域における変位およびフラックスの $ L^2 $-ベース推定を用いて、累積誤差を制御する。
• 全シフトを調和的類似関数の勾配の和として表現し、誤差を $ \beta(R)/R $ で上界付ける。ここで $ \beta(R) = R^\alpha $ である。

実験結果

リサーチクエスチョン

• RQ1 Monge-Ampère 方程式の解が、大スケールでポアソン方程式に線形化される条件は何か？
• RQ2 最適輸送変位とポアソン解の勾配との間の誤差をどのように定量的に評価できるか？
• RQ3 Wasserstein 距離のスケール不変な小さな条件が、輸送写像の定量的正則性を保証する役割は何か？
• RQ4 粗いデータを伴う最適輸送の文脈に、Campanato 反復スキームを適応させ、定量的正則性推定を達成できるか？
• RQ5 線形化誤差の減衰は、測度の均一性からのずれのスケーリングにどのように依存するか？

主な発見

• すべての $ R \in [1, \overline{R}] $ に対して $ \frac{1}{|B_R|}W^2_{B_R}(\mu, \kappa) \leq R^\alpha $ が成り立つ（$ \alpha < 1 $）ならば、変位はポアソン解の勾配に定量的に近い。
• 線形化誤差は $ \left| \int \eta_R(x)(y - x - h_R) \, d\pi \right| \lesssim R^{-(1 - \alpha)} $ を満たす。ここで $ h_R = \int \eta_R \nabla u $ であり、$ u $ はノイマン境界条件を満たす $ \Delta u = \mu - 1 $ を解く。
• Campanato 反復により、累積シフト $ h_R $ が逐次的スケールでの調和的類似関数の勾配の和によってよく近似されることを保証する。
• 変位を $ \nabla u $ で近似する際の誤差は $ \beta(R)/R $ で上界付けられ、$ \beta(R) = R^\alpha $ かつ $ \alpha < 1 $ の条件下で $ R \to \infty $ のとき減少する。
• $ \alpha < 1 $ の条件は減少を保証するために不可欠であり、$ \beta(R) \ll R $ の条件により、幾何的減少スケールでの誤差の和が収束することが保証される。
• 結果はスケール全体にわたって一様に成り立ち、測度の均一性からのずれの弱く平均的な制御に対してもロバストである。