[논문 리뷰] Boundary regularity for the second boundary-value problem of Monge-Ampère equations in dimension two

Shibing Chen, Jiakun Liu외 1명|arXiv (Cornell University)|2018. 06. 25.

Geometry and complex manifolds참고 문헌 3인용 수 8

한 줄 요약

이 논문은 두 차원에서 멩게-암페르 방정식의 제2경계값 문제에 대해 최적 조건 하에서 날카로운 전역 $ C^{2,\beta} $ 정규성 결과를 확립한다: 볼록 도메인이며 $ C^{1,\beta} $ 경계를 가지며 우변 $ f \in C^\beta $ 를 만족한다. 저자들은 헤시안의 호일더 정규성을 향상시키기 위해 새로운 반복적 접근법을 도입하여 경계까지의 $ C^{2,\beta} $ 정규성을 달성한다. 주요 결과로는 $ f $ 에 대한 더 약한 적분 조건 하에서 전역 $ W^{2,p} $ 및 $ W^{2,1+\epsilon} $ 추정이 가능하다.

ABSTRACT

In this paper, we introduce an iteration argument to prove that a convex solution to the Monge-Ampère equation $\mbox{det } D^2 u =f $ in dimension two subject to the natural boundary condition $Du(Ω) = Ω^*$ is $C^{2,α}$ smooth up to the boundary. We establish the estimate under the sharp conditions that the inhomogeneous term $f\in C^α$ and the domains are convex and $C^{1,α}$ smooth. When $f\in C^0$ (resp. $1/C

연구 동기 및 목표

• 가장 약한 조건 하에서 두 차원에서 멩게-암페르 방정식에 대한 전역 $ C^{2,\alpha} $ 정규성을 확립: 볼록 도메인이며 $ C^{1,\alpha} $ 경계를 가지며 $ f \in C^{\alpha} $ 를 만족한다.
• 우변 $ f $ 가 끊어진 연속성 또는 0에서의 유계성만을 만족할 경우, 정규성 결과를 $ W^{2,p} $ 및 $ W^{2,1+\epsilon} $ 추정으로 확장한다.
• 헤시안의 호일더 정규성을 $ C^{1,\alpha} $ 에서 $ C^{1,\alpha'} $ 으로 향상시키는 새로운 반복적 접근법을 개발하며, $ \alpha' > \alpha $ 이고, $ \alpha' - \alpha \geq \delta > 0 $ 인 일정한 증가량을 갖는다. 이는 결국 모든 $ \alpha < 1 $ 에 대해 $ C^{1,\alpha} $ 정규성을 달성함을 의미한다.
• 균일 기울기성 및 조밀도 성질이 두 차원에서 전역 정규성을 확보하는 데 충분하며, 균일 볼록성 조건 없이도 성립함을 증명한다.
• 균일 볼록성에 의존하지 않는 새로운 증명 전략을 제시함으로써 도메인의 기하학적 조건을 상당히 약화시킨다.

제안 방법

• 헤시안의 호일더 지수를 $ \alpha $ 에서 $ \alpha' > \alpha $ 로 향상시키는 반복 기하적 접근법을 도입하며, 이는 매 단계에서 일정한 증가량 $ \alpha' - \alpha \geq \delta > 0 $ 을 갖는다. 이는 $ C^{1,\alpha} $ 정규성으로 수렴하게 하여 모든 $ \alpha < 1 $ 에 대해 $ u \in C^{1,\alpha} $ 이고, 따라서 $ u \in C^{2,\alpha} $ 를 보장한다.
• 헤시안의 하위수준 집합에 대해 바이탈리 커버링 보조정리를 적용하여 도메인 전역에서 큰 헤시안 값의 분포를 제어한다.
• 카파렐리 및 CLW의 결과에서 유도된 하위수준 집합의 균일 조밀도 성질을 활용하여 수준 집합의 크기를 제어하고, 이를 도메인의 기하학적 특성과 연결한다.
• 핵심 감쇠 추정: $ \int_{D_{k+1}} \|D^2 u\| \leq (1 - \tau) \int_{D_k} \|D^2 u\| $, 여기서 $ D_k = \{ \|D^2 u\| \geq N^k \} $ 이며, $ \tau > 0 $ 은 유니버설 상수이다. 이 추정을 통해 적분 성질의 향상을 증명한다.
• 아핀 정규화를 통해 하위수준 집합에서의 헤시안 크기를 단위 구와 비교함으로써, 헤시안의 자코비안 행렬식을 통한 비교 추정을 가능하게 한다.
• 이전 연구에서 유도된 균일 기울기성 조건과 균일 조밀도, 기하학적 반복 기법을 조합하여 전역 $ C^{2,\alpha} $ 및 $ W^{2,p} $ 추정을 유도한다.

실험 결과

연구 질문

• RQ1 두 차원에서 멩게-암페르 방정식에 대한 전역 $ C^{2,\alpha} $ 정규성을 확보하기 위해 도메인과 우변 $ f $ 가 요구하는 최소 정규성 조건은 무엇인가?
• RQ2 도메인의 균일 볼록성 조건 없이도 $ C^{2,\alpha} $ 정규성이 확립될 수 있는가?
• RQ3 반복적 접근법이 헤시안의 호일더 지수를 어떻게 향상시키며, 각 단계에서의 최소 증가량은 얼마인가?
• RQ4 $ f \in C^0 $ 또는 $ \lambda^{-1} < f < \lambda $ 와 같은 조건 하에서 전역 $ W^{2,p} $ 또는 $ W^{2,1+\epsilon} $ 정규성이 성립하는 조건은 무엇인가?
• RQ5 기하학적 반복 기법이 고차원에서 유한한 $ f $ 조건 하에 전역 $ W^{2,1+\epsilon} $ 정규성을 증명하는 데 확장될 수 있는가?

주요 결과

• 논문은 도메인 $ \Omega, \Omega^* $ 가 볼록하고 $ C^{1,\alpha} $ 경계를 가지며 $ f \in C^{\alpha} $ 를 만족할 때, 두 차원에서 멩게-암페르 방정식에 대해 날카로운 전역 $ C^{2,\alpha} $ 정규성을 증명한다. 이때 $ C^{2,\alpha} $ 노름 상수는 $ f $, $ \Omega $, $ \Omega^* $ 에만 의존한다.
• 헤시안의 호일더 지수를 매 단계에서 일정한 양 $ \delta > 0 $ 만큼 증가시키는 반복적 접근법이 개발되었으며, 이는 모든 $ \alpha < 1 $ 에 대해 $ u \in C^{1,\alpha} $ 를 보장하고, 결과적으로 모든 $ \alpha < 1 $ 에 대해 $ u \in C^{2,\alpha} $ 를 의미한다.
• $ f \in C^0(\overline{\Omega}) $ 이고 $ \partial\Omega, \partial\Omega^* \in C^{1,\epsilon} $ 를 만족할 경우, 모든 $ p \geq 1 $ 에 대해 전역 $ W^{2,p} $ 정규성이 확립된다.
• $ \lambda^{-1} < f < \lambda $ 조건 하에서 전역 $ W^{2,1+\epsilon} $ 정규성이 증명되었으며, $ \epsilon, C > 0 $ 는 $ \lambda $ 와 도메인에만 의존하는 유니버설 상수이다.
• 증명은 기하학적 감쇠 추정에 기반한다: $ \int_{D_{k+1}} \|D^2 u\| \leq (1 - \tau) \int_{D_k} \|D^2 u\| $, 여기서 $ \tau \in (0,1) $ 은 유니버설 상수이며, 이는 $ L^p $ 및 $ W^{2,1+\epsilon} $ 적분성의 성립을 암시한다.
• 고차원으로의 확장도 성립한다: $ \mathbb{R}^n $, $ n > 2 $ 에서 $ C^{1,1} $ 경계와 유한한 $ f $ 조건 하에 $ W^{2,1+\epsilon} $ 정규성이 성립하며, $ \epsilon, C $ 는 $ n, \lambda, \Omega, \Omega^* $ 에만 의존한다.