[논문 리뷰] Boundary regularity for solutions to the linearized Monge-Ampère equations

Nam Q. Le, Ovidiu Savin|arXiv (Cornell University)|2011. 09. 26.

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

한 줄 요약

이 논문은 도메인, 헤시안 행렬식의 경계, 이차 경계 분리 조건에 대한 자연스러운 가정 하에 선형화된 몽헤-암페르 방정식 $ L_u v = g $ 의 해에 대해 경계 헬더 경계 기울기 추정과 정규성을 확립한다. 아핀 불변 기법, 특히 국소화 정리와 스케일링을 사용하여, 연산자가 탈중하거나 특이해질 수 있는 경우에도 경계 근처에서 해가 $ C^{1,\beta} $ 정규성을 확보함을 증명한다. 이는 크릴로프의 경계 추정을 몽헤-암페르 방정식의 아핀 불변 설정으로 확장한 것이다.

ABSTRACT

We obtain boundary Holder gradient estimates and regularity for solutions to the linearized Monge-Ampere equations under natural assumptions on the domain, Monge-Ampere measures and boundary data. Our results are affine invariant analogues of the boundary Holder gradient estimates of Krylov.

연구 동기 및 목표

• 볼록 도메인에서 선형화된 몽헤-암페르 방정식 $ L_u v = g $ 의 해에 대해 경계 헬더 기울기 추정을 확립하는 것.
• 크릴로프의 경계 정규성 이론을 몽헤-암페르 방정식의 아핀 불변 설정으로 확장하는 것.
• 특히 해의 고유값이 0이 되거나 무한대가 되는 경우, $ L_u $ 가 경계 근처에서 탈중 또는 특이해질 수 있는 문제에 대응하는 것.
• 해 $ u $, $ \Omega $, 데이터 $ g $ 에 대한 자연스러운 기하학적 및 측도 이론적 조건 하에서 해가 $ C^{1,\beta} $ 정규성을 확보함을 증명하는 것.

제안 방법

• 몽헤-암페르 방정식의 해에 대해 경계에서의 국소화 정리를 사용하여, 경계점 근처의 스케일링을 위한 기하학적 프레임워크를 제공한다.
• 아핀 변환을 통한 해의 스케일링을 활용하여 $ u $ 의 단면을 표준 타원체 $ E_h $ 로 정규화함으로써 균일한 분석이 가능하도록 한다.
• 스케일링된 함수 $ \tilde{v} $ 가 만족하는 $ \tilde{U}^{ij}\tilde{v}_{ij} = \tilde{g} $ 에 대해 약한 하르낙 부등식과 내부 정규성 추정(예: 슈라우드 유형)을 적용한다.
• 이차 분리 조건: $ \rho |x - x_0|^2 \leq u(x) - u(x_0) - \nabla u(x_0)(x - x_0) \leq \rho^{-1} |x - x_0|^2 $ on $ \partial\Omega \cap B_\rho $ 를 사용하여, 경계 근처에서 균일한 제어를 확보한다.
• 행렬 $ U = (\det D^2 u)(D^2 u)^{-1} $ 가 준정적이고 발산이 없는 것으로부터 $ L_u $ 가 선형 타원형 연산자임을 보장하며, 이는 탈중일 수 있음을 고려한다.
• 스케일링된 해에 대해 내부 $ C^{2,\beta} $ 와 $ C^{1,\alpha} $ 추정을 적용하고, 이를 원래 도메인으로 되돌려서 $ \nabla v $ 에 대한 전역 헬더 추정을 확보한다.

실험 결과

연구 질문

• RQ1 선형화된 몽헤-암페르 연산자 $ L_u $ 가 $ L_u v = g $ 의 해에 대해 경계 헬더 기울기 추정을 허용하는 기하학적 및 측도 이론적 조건은 무엇인가?
• RQ2 특히 $ \det D^2 u $ 가 유계이지만 $ U^{ij} $ 가 무한대가 될 수 있는 경우, $ L_u $ 가 경계 근처에서 탈중 또는 특이해질 때 $ v $ 가 $ C^{1,\beta} $ 정규성을 확보할 수 있는 방법은 무엇인가?
• RQ3 국소화와 스케일링과 같은 아핀 불변 기법을 사용하여 크릴로프 유형의 경계 추정을 몽헤-암페르 설정으로 확장할 수 있는가?
• RQ4 경계 $ \partial\Omega $ 에서 $ u $ 가 탄성 평면으로부터의 이차 분리는 $ \nabla v $ 의 행동을 제어하는 데 어떤 역할을 하는가?
• RQ5 정규성 결과가 헤시안 행렬식 경계 $ \lambda \leq \det D^2 u \leq \Lambda $ 에 얼마나 의존하는가? $ C^\beta $ 또는 연속된 데이터일 경우 그 행동은 어떻게 되는가?

주요 결과

• 도메인 $ \Omega $ 가 내부 구 조건을 만족하고 $ u $ 가 헤시안 행렬식이 유계이며 이차 경계 분리 조건을 만족할 경우, $ L_u v = g $ 의 해 $ v $ 는 어떤 전연의 $ \alpha \in (0,1) $ 에 대해 $ \|\nabla v\|_{C^{\alpha}(\overline{\Omega})} \leq C $ 를 만족한다.
• 경계 헬더 기울기 추정은 아핀 불변이며, $ L_u $ 가 균일 타원형이 아니어도 크릴로프의 고전 결과를 몽헤-암페르 설정으로 확장한다.
• 연산자 $ L_u $ 의 탈중성은 국소화를 통해 다루어지며, $ u $ 의 단면이 표준 타원체 $ E_h $ 로 스케일링되어 균일한 분석이 가능해진다.
• 경계 근처에서 $ U^{ij} $ 의 특이성은 $ \|U\| $ 가 최대 로그적으로 증가함을 보이고, 이를 스케일링과 약한 하르낙 부등식을 통해 상쇄시킨다.
• $ f = \det D^2 u \in C^\beta(\overline{\Omega}) $ 일 경우, 스케일링된 해 $ \tilde{u} $ 는 $ \|D^2 \tilde{u}\|_{C^\beta(\tilde{S}_{1/2})} \leq K $ 를 만족하며, 이는 $ \|D^2 u(y)\| \leq K |\log r|^2 $ 로 이어지고, 이는 적분 가능하며 $ C^{1,\alpha} $ 정규성으로 이어진다.
• 결과는 강건하다: $ f \in C(\overline{\Omega}) $ 이더라도 $ v $ 에 대한 $ C^{1,\alpha} $ 유계성은 유지되며, 구티에르레스와 뉴이겐의 $ C^{1,\alpha} $ 추정에 기반한다.