[논문 리뷰] $W^{2,1}$ regularity for solutions of the Monge-Ampère equation

Guido De Philippis, Alessio Figalli|arXiv (Cornell University)|2011. 11. 30.

Geometry and complex manifolds참고 문헌 13인용 수 18

한 줄 요약

이 논문은 $f$가 0과 무한대로부터 떨어져 있을 때, 스트릭트 컨벡스 알렉산드로프 해에 대해 몽헤-암페르 방정식 $\det D^2u = f$의 $W^{2,1}_{\rm loc}$ 정규성을 확립한다. $D^2u \in L\log^kL$를 위한 고차원 적분 가능성 추정을 통해, 저자들은 최적 운반 이론과 기하학적 분석에서 오랫동안 열려 있던 슈바르츠 정규성 문제를 해결한다.

ABSTRACT

In this paper we prove that a strictly convex Alexandrov solution u of the Monge-Ampère equation, with right hand side bounded away from zero and infinity, is $W_{ m loc}^{2,1}$. This is obtained by showing higher integrability a-priori estimates for $D^2 u$, namely $D^2 u \in L\log^k L$ for any $k\in \mathbb N$.

연구 동기 및 목표

• 유계 우변 $f$를 가진 몽헤-암페르 방정식 해가 $W^{2,1}_{\rm loc}$에 속하는지 여부에 대한 열린 문제를 해결하기 위해.
• 모든 $p>1$에 대해 $L^p$를 초월하는 헤시안 $D^2u$의 고차원 적분 가능성 추정을 확립하기 위해, 특히 오르리츠 공간 $L\log^kL$에서.
• 차분 포함이나 반례에 의존하지 않고, 몽헤-암페르 방정식 수준에서 직접적인 증명을 제공하기 위해.
• 정규성 결과를 최적 운반 사상과 민코프스키 문제로 확장하여, 운반 사상 $T=\nabla u$가 $W^{1,1}_{\rm loc}$ 정규성을 가짐을 보여주기 위해.

제안 방법

• $\|D^2u\|$의 수준 집합을 제어하기 위해 최대 함수 기법과 커버링 추론을 사용하기 위해.
• 바이탈리 커버링 보조정리와 이진 분해를 적용하여 $D^2u$의 수준 집합을 링형과 구와 연결하기 위해.
• 층층 구조 표현과 피비니의 정리를 활용하여 반복 적분을 통해 $L\log^kL$ 노름을 추정하기 위해.
• 핵심 사전 추정 도출: 모든 $k \in \mathbb{N}$에 대해 $\int_{\Omega'} \|D^2u\| \log^k(2 + \|D^2u\|) \leq C$이며, $C$는 $k,n,\lambda,\Lambda,\Omega,\Omega'$에 의존한다.
• 모든 수렴 상수를 고정하고 도메인 크기 의존도를 줄이기 위해 $u$의 정규화를 수행하기 위해.
• 주요 추정과 사빈의 결과를 결합하여 동일한 조건 하에서 전역적 $W^{2,1}$ 정규성을 확장하기 위해.

실험 결과

연구 질문

• RQ1 스트릭트 컨벡스 알렉산드로프 해 $u$가 $\det D^2u = f$를 만족하고 $0 < \lambda \leq f \leq \Lambda$일 때, $W^{2,1}_{\rm loc}$에 속하는가?
• RQ2 동일한 조건 하에서 $D^2u$의 고차원 적분 가능성은 $p>1$에 대해 $L^p$를 초월하여 확립될 수 있는가?
• RQ3 $W^{2,1}$ 정규성은 최적인가, 아니면 $p>1$에 대해 $W^{2,p}$로 향상시킬 수 있는가?
• RQ4 유계 $f$ 하에서 $D^2u$를 제어하는 정확한 오르리츠 공간 노름(예: $L\log^kL$)은 무엇인가?
• RQ5 $W^{2,1}$ 결과는 전역 정규성으로 확장되고 최적 운반 사상에 적용될 수 있는가?

주요 결과

• 모든 $k \in \mathbb{N}$에 대해, $0 < \lambda \leq f \leq \Lambda$를 만족하는 스트릭트 컨벡스 알렉산드로프 해 $u$의 헤시안 $D^2u$는 $\Omega$의 컴acts부분집합에서 $D^2u \in L\log^kL$를 만족한다.
• 모든 $k \in \mathbb{N}$에 대해 주요 추정 $\int_{\Omega'} \|D^2u\| \log^k(2 + \|D^2u\|) \leq C(k,n,\lambda,\Lambda,\Omega,\Omega')$이 성립하며, $C$는 주어진 매개변수에만 의존한다.
• 결과적으로 $u \in W^{2,1}_{\rm loc}(\Omega)$이며, 몽헤-암페르 방정식 이론에서 오랫동안 열려 있던 문제를 해결한다.
• 0과 무한대로부터 떨어진 밀도를 가진 최적 운반 사상 $T = \nabla u$는 타겟 도메인 $\Omega_2$가 볼록일 경우 $W^{1,1}_{\rm loc}(\Omega_1)$에 속한다.
• 결과는 거의 최적이다: 왕의 반례는 $\Lambda/\lambda$가 클 경우 $p$가 1에 매우 가까운 $W^{2,p}$ 정규성이 실패함을 보여준다.
• $L\log^kL$ 추정은 사빈의 전역 정규성 결과를 적용할 수 있게 하며, 전역 $W^{2,1}$ 프레임워크에서 $L^p$ 노름을 $L\log^kL$ 노름으로 대체할 수 있다.