[논문 리뷰] On the Neumann problem for Monge-Ampère type equations

Feida Jiang, Neil S. Trudinger외 1명|arXiv (Cornell University)|2015. 02. 07.

Geometry and complex manifolds참고 문헌 19인용 수 6

한 줄 요약

이 논문은 반선형 경계 조건을 가진 몽주-암페르 유형 방정식의 뉴먼 경계값 문제에 대해 전역적인 두 번째 도함수 추정과 고전적 해법 가능성을 확립한다. 리오네스, 트루딩거, 어르바스(1986)의 기법과 최근의 두 번째 도함수 추정을 확장하여, 계수에 대한 자연스러운 조건—정규성, 단조성, 도메인의 균일한 A-볼록성 포함—하에 $ C^{3,\beta} $ 해의 존재성과 유일성을 증명한다.

ABSTRACT

In this paper, we study the global regularity for regular Monge-Ampère type equations associated with semilinear Neumann boundary conditions. By establishing a priori estimates for second order derivatives, the classical solvability of the Neumann boundary value problem is proved under natural conditions. The techniques build upon the delicate and intricate treatment of the standard Monge-Ampère case by Lions, Trudinger and Urbas in 1986 and the recent barrier constructions and second derivative bounds by Jiang, Trudinger and Yang for the Dirichlet problem. We also consider more general oblique boundary value problems in the strictly regular case.

연구 동기 및 목표

• 반선형 뉴먼 경계 조건을 가진 몽주-암페르 유형 방정식에 대해 사전적인 두 번째 도함수 추정을 확립하기 위해.
• 계수와 도메인에 대한 자연스러운 구조 조건 하에서 뉴먼 문제의 고전적 해법 가능성을 증명하기 위해.
• 정교한 장벽 구성과 도함수 추정을 사용하여 기존의 딜리클레 설정에서 뉴먼 설정으로 결과를 확장하기 위해.
• 엄격하게 규칙적인 경우에 대해 기존 분석을 기울어진 경계값 문제로 일반화하기 위해.

제안 방법

• 기울기와 두 번째 도함수 성장률을 제어하기 위해 지수 가중치와 컷오프 함수를 포함하는 보조 함수를 사용하는 상한 및 하한 해의 방법을 적응한다.
• 국소적인 구내에서 $ w = \eta^2 e^{\kappa u} |Du|^2 $ 형태의 수정된 보조 함수를 사용하여 헤시안에 대한 이차 하한 조건 하에서 기울기 추정을 유도한다.
• 경계 연산자가 비퇴화되고 내부 방정식과 호환되도록 보장하기 위해, $ G_p \cdot \nu \geq \beta_0 $ 형태의 균일한 기울기 조건을 사용한다.
• 도메인 $ \Omega $의 $ A $-볼록성 개념을 도입하여 경계 행동을 제어한다. 이는 $ A $의 곡률 및 행렬 도함수 조건에 의해 정의된다.
• 타원성과 유일성을 보장하기 위해, $ p $ 에서의 차원 수가 1인 볼록성과 $ z $ 에서의 단조성 등의 $ A $ 의 정규성 조건을 부과한다.
• 경계 연산자 $ G $ 의 볼록성과 균일한 기울기 조건을 활용하여 전역 추정을 도출하고 고정점 추론을 적용한다.

실험 결과

연구 질문

• RQ1 몽주-암페르 유형 방정식의 뉴먼 문제는 어떤 조건에서 $ C^{3,\alpha} $ 해를 가질 수 있는가?
• RQ2 뉴먼 조건을 가진 몽주-암페르 유형 방정식에 대해 두 번째 도함수 추정은 어떻게 확립할 수 있는가?
• RQ3 $ A $, $ B $, $ \varphi $ 에 대한 어떤 구조적 가정이 타원형 해의 존재성과 유일성을 보장하는가?
• RQ4 도메인 $ \Omega $ 의 균일한 $ A $-볼록성은 뉴먼 문제의 해법 가능성에 어떤 영향을 미치는가?
• RQ5 유사한 정규성과 해법 가능성으로 기울어진 경계 조건으로 결과를 확장할 수 있는가?

주요 결과

• 논문은 $ A $, $ B $, $ \varphi $, $ \Omega $ 에 대한 자연스러운 가정 하에 유일한 $ C^{3,\alpha} $ 해가 존재함을 증명한다.
• 지극히 정교한 장벽 구성과 지수 가중치 및 컷오프 함수를 포함하는 보조 함수를 통해 전역적인 두 번째 도함수 추정이 확립된다.
• 국소적으로 $ \mu_0 $, $ \sigma_0 $, $ \beta_0 $, $ \Omega $, $ \|u\|_{L^\infty} $ 에 따라 의존하는 $ |Du(x_0)| \leq C/R $ 형태의 기울기 추정이 도출된다.
• 초해 $ \bar{u} $ 와 타원형 하한해 $ \underline{u} $ 가 존재하고, $ \Omega $ 가 $ G $ 와 간격 $ [\underline{u}, \bar{u}] $ 에 대해 균일하게 $ A $-볼록일 경우 해가 존재하고 유일하다.
• 최적 수송의 경우, 조건 A1, A2 및 비용 함수와 목표 측도에 대한 구조 조건 하에 존재 결과가 성립한다.
• 경계 연산자 $ G $ 가 균일하게 기울어져 있고 $ p $ 에 대해 볼록일 경우 결과는 기울어진 경계 문제로 확장되며, 이 경우 $ A $ 는 오직 정규성만 요구된다.