[논문 리뷰] Quantitative linearization results for the Monge-Ampère equation

Michaël Goldman, Martin Huesmann외 1명|arXiv (Cornell University)|2019. 05. 23.

Geometric Analysis and Curvature Flows참고 문헌 33인용 수 5

한 줄 요약

이 논문은 몽게-아프레 방정식에 대한 정량적 선형화 추정을 수립한다. 만약 측도 μ가 모든 척도에서 워샤르슈타인 거리에서 르베그 측도에 가까운 경우, 최적 운반 이동은 정량적으로 포아송 방정식의 해의 기울기와 가까워진다. 핵심 결과는 측도의 균일성에서의 편차에 대한 척도에 관계없이 작은 조건이 만족될 경우, 선형화 오차의 감쇠 추정이 $ 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.

연구 동기 및 목표

• 거칠은 측도 μ와 르베그 측도 사이의 최적 운반에 대한 대규모 정규성 이론을 개발한다.
• 르베그 측도 주변에서 몽게-아프레 방정식의 선형화를 정량화하여, 운반 이동이 포아송 해의 기울기로 수렴함을 보인다.
• 모든 척도에서 μ와 르베그 측도 사이의 워샤르슈타인 거리에 대한 균일한 작음 조건 하에서 척도에 관계없는 추정을 수립한다.
• 측도 μ가 약한, 평균화된 방식으로 균일성과 가까운 경우에도 누적 이동 오차가 척도에 따라 감쇠됨을 보인다.

제안 방법

• 임의의 측도 사이의 최적 운반 계획에 대한 조화 근사 정리를 도입하여 局소 선형화를 가능하게 한다.
• 중첩된 링형 영역의 시퀀스를 통해 규칙성을 척도 간에 전달하는 캄파나토 유형의 반복 체계를 적용한다.
• 정규화된 유량과 근사 수직성을 기반으로 한 좋은 반경 선택 절차를 사용하여 오차 전파를 통제한다.
• 근사 조화 함수 $ \Phi_k $ 와 누적 이동 $ h_R $ 의 시퀀스를 구성하여 이동장의 변화를 추적한다.
• 동심 링형 영역에서 이동과 유량에 대한 $ L^2 $-기반 추정을 사용하여 누적 오차를 통제한다.
• 총 이동을 조화 유사 함수의 기울기 합으로 표현하며, 오차는 $ \beta(R)/R $ 으로 유계화되며, 여기서 $ \beta(R) = R^\alpha $ 이다.

실험 결과

연구 질문

• RQ1 큰 척도에서 몽게-아프레 방정식의 해가 포아송 방정식으로 선형화되는 조건은 무엇인가?
• RQ2 최적 운반 이동과 포아송 해의 기울기 사이의 오차를 어떻게 정량화할 수 있는가?
• RQ3 워샤르슈타인 거리의 척도에 관계없이 작은 조건이 운반 사상의 정량적 정규성 보장에 어떤 역할을 하는가?
• RQ4 거친 자료를 가진 최적 운반 설정에 대해 캄파나토 반복 체계를 어떻게 수정하여 정량적 정규성 추정을 달성할 수 있는가?
• 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 $ 을 푸는 해이다.
• 캄파나토 반복은 누적 이동 $ h_R $ 가 연속된 척도에서 조화 유사 함수의 기울기 합으로 잘 근사됨을 보장한다.
• 이동을 $ \nabla u $ 로 근사할 때의 오차는 $ \beta(R)/R $ 으로 유계화되며, $ R \to \infty $ 일 때 감쇠된다. 이는 $ \beta(R) = R^\alpha $ 이고 $ \alpha < 1 $ 이면 성립한다.
• $ \alpha < 1 $ 이라는 조건은 감쇠를 위해 필수적이며, $ \beta(R) \ll R $ 이라는 조건은 기하급수적으로 감소하는 척도들에서 오차의 합산 가능성을 보장한다.
• 결과는 척도에 관계없이 균일하게 성립하며, 측도의 균일성에서의 편차에 대한 약한, 평균화된 제어 조건에도 강인하다.