[논문 리뷰] On the Dirichlet problem for prescribed mean curvature equation over general domains

Matthias Bergner|ArXiv.org|2007. 12. 06.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 6

한 줄 요약

이 논문은 일반적인 유계 $C^{2+\beta}$ 도메인에서 평균 곡률가 조건을 만족하는 그래프에 대한 딜리클레 문제의 해가 존재함을 증명한다. 평균 볼록성 조건을 요구하지 않으며, 노이드로 구성된 바리에어를 사용하고 $C^0$ 및 기울기 추정을 갖춘 호모토피 방법을 통해, $H(x,0)$에 대한 소규모 조건 하에서 영 경계 조건에 대해 존재성과 유일성을 입증한다. 이는 평균 볼록 도메인을 초월해 링형 및 볼록 영역으로 결과를 확장한다.

ABSTRACT

We study and solve the Dirichlet problem for graphs of prescribed mean curvature in $\mathbb R^{n+1}$ over general domains $Ω$ without requiring a mean convexity assumption. By using pieces of nodoids as barriers we first give sufficient conditions for the solvability in case of zero boundary values. Applying a result by Schulz and Williams we can then also solve the Dirichlet problem for boundary values satisfying a Lipschitz condition.

연구 동기 및 목표

• 일반적이고 평균 볼록이 아닌 도메인에서 $\r^{n+1}$에서 주어진 평균 곡률 그래프에 대한 딜리클레 문제를 해결하는 것.
• 해가 존재하기 위해 일반적으로 요구되는 도메인 $\Omega$에 대한 고전적 평균 볼록성 가정을 완화하는 것.
• 더 약한 기하학적 및 곡률 조건 하에서 영 경계 값에 대해 해의 존재성과 유일성을 확립하는 것.
• $C^0$ 및 경계 기울기 추정을 가능하게 하는 $H(x,0)$에 대한 소규모 조건을 제공하여 레일라-슐라르 방법을 적용할 수 있도록 하는 것.
• 바리에어 구성 기반으로 결과를 볼록 도메인 및 부분적으로 주어진 경계 데이터를 갖는 도메인으로 일반화하는 것.

제안 방법

• 해가 경계 근처에서 행동하는 것을 제어하기 위해 노이드 조각을 사용해 바리에어를 구성하는 것.
• 매개변수 $t \in [0,1]$로 매개변수화된 호모토피 가족 방정식에 레일라-슐라르 고정점 정리를 적용하는 것.
• 제시된 평균 곡률이 영 높이에서의 소규모 조건 $h < \frac{2(2r)^{n-1}}{(2r+d)^n - (2r)^n}$을 사용해 전역 $C^0$-노름 추정을 유도하는 것.
• 노이드 바리에어를 통해 $H_z \geq 0$ 조건에 기반한 경계 기울기 추정을 확립하는 것.
• 최대원리에 기반해 $H_z \geq 0$ 조건 하에서 유일성을 증명하는 것.
• 링형 영역에서 반지름 $r \to \infty$로 갈 때의 극한 논증을 적용해 볼록 도메인에 대한 추론 1을 유도하는 것.

실험 결과

연구 질문

• RQ1 주어진 평균 곡률 그래프에 대한 딜리클레 문제를 평균 볼록이 아닌 도메인에서 해결할 수 있는가?
• RQ2 영 경계 값에 대해 해가 존재하기 위해 $H(x,0)$에 대한 어떤 소규모 조건이 필요한가?
• RQ3 도메인이 평균 볼록성을 갖지 않을 경우 주어진 평균 곡률 방정식에 효과적인 바리에어를 어떻게 구성할 수 있는가?
• RQ4 $H_z \geq 0$ 조건이 해의 존재성과 유일성 모두를 보장하는 조건은 무엇인가?
• RQ5 결과를 볼록 도메인 또는 부분적으로 주어진 경계 데이터를 갖는 도메인으로 확장할 수 있는가?

주요 결과

• 도메인 $\Omega$가 균일한 외부 구 조건을 만족하고 $\sup_{x \in \Omega} |H(x,0)| < \frac{2(2r)^{n-1}}{(2r+d)^n - (2r)^n}$ 이면, 영 경계 값에 대해 $C^{2+\alpha}(\overline{\Omega})$에서 유일한 해가 존재한다.
• 해가 존재하기 위한 $H(x,0)$에 대한 소규모 조건은 기하학적으로 의미가 있으며, 부피나 지름이 아닌 외부 반지름 $r$과 너비 $d$에 따라 결정된다.
• 너비 $d$인 볼록 도메인의 경우 소규모 조건은 $h < \frac{2}{nd}$로 단순화되며, 외부 구 반지름 $r \to \infty$의 극한에서 이는 최적이다.
• $H_z \geq 0$ 조건은 유일성 뿐 아니라 바리에어 방법을 통한 전역 기울기 추정 확보에도 필수적이다.
• 이 방법은 링형 영역과 같이 평균 볼록성이 없는 도메인에도 적용되며, 극한 논증을 통해 볼록 도메인으로 확장된다.
• 유사한 바리에어 기법을 통해 결과는 부분적으로 주어진 경계 데이터 및 비등방성 평균 곡률로 일반화될 수 있다.