[논문 리뷰] A localization property at the boundary for the Monge-Ampere equation

Ovidiu Savin|arXiv (Cornell University)|2010. 10. 08.

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

한 줄 요약

이 논문은 도메인과 경계 데이터에 자연스러운 $C^{1,1}$ 정규성 조건이 있을 때, 몽헤-암페르 방정식 해의 절단부분(section)이 경계 근처에서 국소화 성질을 가짐을 증명한다. 경계점 중심의 절단부분 $S_h$ 는 일관된 선형 변환(경계에 따라 미끄러지는 변환)을 통해 반타원체와 균일하게 등가가 되며, 이는 혼합 이阶 도함수를 $|\log h|$ 로 제어함으로써 애매한 변환에 대한 컴팩턴스를 가능하게 하고, 향후 $C^{2,\alpha}$ 및 $W^{2,p}$ 경계 추정에 기여한다.

ABSTRACT

We consider Monge-Ampere equations with bounded right hand side and we study the geometric properties of sections centered at a boundary point. We prove that under natural boundary conditions such sections are equivalent to ellipsoids.

연구 동기 및 목표

• 도메인과 경계 데이터의 볼록 해에 대한 몽헤-암페르 방정식 $\det D^2u = f$ 의 하위레벨 집합(절단부분)이 경계 근처에서 기하학적 구조를 이해하기 위해.
• 도메인과 경계 데이터에 최소한의 정규성 조건이 있을 때, 이러한 절단부분이 반타원체와 균일하게 등가가 되도록 확립하기 위해.
• 애매한 변환에 대한 절단부분의 컴팩턴스 프레임워크를 제공하여 경계 정규성 추정을 도출하는 데 핵심적인 역할을 하기 위해.
• 카프레리에 의해 알려진 내부 절단부분 등가성 결과를 더 약한 가정 조건 하에서 경계 경우로 확장하기 위해.

제안 방법

• 경계점 $x_0 = 0$ 에 중심을 두고 절단부분 $S_h = \{x \in \overline{\Omega} : u(x) < h\}$ 을 분석함으로써 경계에서의 국소화 성질을 도입한다.
• 선형 변환 $A_h(x) = x - \nu x_n$ (경계 평면 $x_n = 0$ 에 따라 미끄러지는 변환) 를 사용하여 절단부분을 표준 형태로 정규화한다.
• 점근적 행동을 연구하기 위해 스케일링 $\tilde{u}_h(x) = \frac{1}{h}u(h^{1/2}A_h^{-1}x)$ 을 적용한다.
• (barrier 방법과 비교 원리를 사용하여, $\partial\Omega \cap \{x_n \leq \rho\}$ 에서 이차 하한을 사용해 경계 근처에서 $u$ 의 성장률을 제어한다.
• 유도와 모순을 사용한 귀납법을 통해 헤시안 행렬의 고유값에 대한 균일한 경계를 확립함으로써, 변환 $A_h$ 가 연산자 노름에서 균일하게 유계임을 증명한다.
• 중심 질량 정규화와 체적 제어를 사용하여 스케일링된 절단부분이 항상 균일하게 비퇴화되고 반공간과 유사하게 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 도메인과 경계 데이터가 오직 $C^{1,1}$ 일 때, 몽헤-암페르 방정식 해의 절단부분은 경계 근처에서 어떻게 행동하는가?
• RQ2 최소한의 정규성 조건 하에서 애매한 변환을 통해 절단부분을 반타원체와 균일하게 비교할 수 있는가?
• RQ3 경계 영역에서 혼합 이阶 도함수에 대한 정량적 제어는 무엇이며, 이는 $f = \det D^2u$ 의 행동과 어떻게 관련되는가?
• RQ4 내부 경우와 유사하게, 애매한 변환에 대한 절단부분의 컴팩턴스 결과를 경계에서 확립할 수 있는가?

주요 결과

• 모든 $h < c(\rho)$ 에 대해 절단부분 $S_h$ 는 부피가 $h^{n/2}$ 인 반타원체 $E_h$ 와 균일하게 등가이며, 절대 상수 $k, c(\rho)$ 에 대해 $kE_h \cap \overline{\Omega} \subset S_h \subset k^{-1}E_h$ 를 만족한다.
• 등가성을 달성하는 선형 변환 $A_h$ 는 $|\nu| \leq k^{-1}|\log h|$ 를 만족하며, 이는 혼합 이阶 도함수가 $|\log h|$ 로 유계임을 의미한다.
• 반타원체 $E_h$ 는 반지름 $h^{1/2}$ 인 구를 $A_h^{-1}$ 로 변형하여 얻어지며, $A_h$ 는 경계 평면 $x_n = 0$ 에 따라 미끄러지는 변환이다.
• 추가 정규성 조건(예: $f$ 가 0에서 연속이고 $u = P(x) + o(|x|^2)$ 이 $\partial\Omega$ 에서 성립) 이 있을 경우, 스케일링된 함수 $\tilde{u}_h$ 는 $\det D^2\bar{u}_0 = f(0)$ 이고 $\bar{u}_0 = P$ 이며 $\{x_n = 0\}$ 에서 성립하는 극한 해 $\bar{u}_0$ 로 수렴한다.
• 이 방법은 변환 $A_h$ 의 균일한 유계성과 $h \to 0$ 일 때 절단부분 기하학이 균일하게 제어됨을 보장함으로써, 기하학적 구조의 안정성을 입증한다.
• 이 결과는 $f \equiv 1$ 인 경우에도 성립하므로, 이는 상수 경우에서도 새로운 비자명한 결과임을 보여준다.