[논문 리뷰] Boundary Lipschitz Regularity and the Hopf Lemma for Fully Nonlinear Elliptic Equations

Yuanyuan Lian, Kai Zhang|arXiv (Cornell University)|2018. 12. 29.

Nonlinear Partial Differential Equations참고 문헌 14인용 수 4

한 줄 요약

이 논문은 외부 및 내부 $C^{1,\text{Dini}}$ 조건 하에서 완전 비선형 타원형 미분방정식의 점근 해에 대해 경계 리프시츠 연속성과 호프 보조정리를 통일된 변형 방법을 사용하여 확립한다. 이 방법은 곡면 경계를 평평한 초평면의 변형으로 간주한다. 저자들은 $C^{1,\text{Dini}}$ 조건이 최적임을 짧고 직접적인 논증을 통해 증명한다.

ABSTRACT

In this paper, we study the boundary regularity for viscosity solutions of fully nonlinear elliptic equations. We use a unified, simple method to prove that if the domain $Ω$ satisfies the exterior $C^{1,\mathrm{Dini}}$ condition at $x_0\in \partial Ω$ (see Definition 1.2), the solution is Lipschitz continuous at $x_0$; if $Ω$ satisfies the interior $C^{1,\mathrm{Dini}}$ condition at $x_0$ (see Definition 1.3), the Hopf lemma holds at $x_0$. The key idea is that the curved boundaries are regarded as perturbations of a hyperplane. Moreover, we show that the $C^{1,\mathrm{Dini}}$ conditions are optimal.

연구 동기 및 목표

• 외부 $C^{1,\text{Dini}}$ 조건 하에서 완전 비선형 타원형 미분방정식의 점근 해에 대해 경계 리프시츠 연속성을 확립하기.
• 내부 $C^{1,\text{Dini}}$ 조건 하에서 점근 해에 대해 호프 보조정리를 증명하기.
• 평평한 경계 근사에 기반한 단일 변형 프레임워크를 사용해 두 결과의 증명을 통합하기.
• 경계 정규성 및 호프 유형 결과에 대해 $C^{1,\text{Dini}}$ 기하 조건이 최적임을 입증하기.
• 기존의 고전적 또는 선형 해 이론에서 완전 비선형 및 점근 해 설정으로 결과를 확장하기.

제안 방법

• 곡면 경계를 평평한 초평면의 변형으로 간주하고, 평평한 영역에서의 $C^{1,\alpha}$ 정규성 결과를 활용하기.
• 보조 함수를 구성하고 최대원리(최대값 원리)를 사용해 곡면 및 평평한 경계에서의 해 간 오차를 추정하기.
• 경계 하르나크 부등식과 정규화된 거리 기법을 통제적으로 적용해 도함수를 유계로 제한하기.
• 계수 $\{a_k\}$ 가 $a_k = (1 - c_0 \omega(\eta^k))a_{k-1}$ 를 만족하는 반복 장벽 구성 기법을 사용해 더 작은 척도에서 정규성을 전파하기.
• 누적된 경계 곡률 영향을 제어하기 위해 Dini 조건 $\int_0^{r_0} \frac{\omega(r)}{r} dr < \infty$ 를 사용하기.
• Dini 조건이 실패할 경우 반례를 구성함으로써 최적성을 증명하여 $\tilde{\omega}(r) \to 0$ as $r \to 0$ 이면 정규성이 상실됨을 보여주기.

실험 결과

연구 질문

• RQ1 외부 $C^{1,\text{Dini}}$ 조건 하에서 완전 비선형 타원형 미분방정식의 점근 해에 대해 경계 리프시츠 연속성이 확립될 수 있는가?
• RQ2 내부 $C^{1,\text{Dini}}$ 조건 하에서 점근 해에 대해 호프 보조정리가 성립하는가?
• RQ3 $C^{1,\text{Dini}}$ 조건이 경계 정규성 및 호프 보조정리 양자리에 대해 최적인가?
• RQ4 경계 하르나크 부등식이나 고전적 해 이론에 의존하지 않고도 두 결과를 통합하고 단순한 방법으로 증명할 수 있는가?
• RQ5 경계 곡률이 Dini 모듈러스로 측정될 때, 경계에서의 법선 도함수의 유계성과 양성은 어떻게 영향을 받는가?

주요 결과

• 영역이 경계점에서 외부 $C^{1,\text{Dini}}$ 조건을 만족하면, 완전 비선형 타원형 미분방정식의 점근 해에 대해 경계 리프시츠 연속성이 성립한다.
• 내부 $C^{1,\text{Dini}}$ 조건 하에서 점근 해에 대해 호프 보조정리가 성립하여 법선 도함수가 경계에서 0이 되지 않음을 보장한다.
• $C^{1,\text{Dini}}$ 조건은 두 결과 모두에 대해 최적이다: Dini 조건이 실패하면 정규성 및 호프 유형 결론이 실패할 수 있다.
• 증명 기법은 곡면 경계를 평평한 경계의 변형으로 간주함으로써 두 결과를 통합하며, 반복 장벽 추정을 사용한다.
• 증명에서 사용된 수열 $\{a_k\}$ 는 $a_k = (1 - c_0 \omega(\eta^k))a_{k-1}$ 를 만족하고, $\omega$ 가 Dini 조건을 만족하지 못하면 $\prod_{i=1}^k (1 - c_0 \omega(\eta^i)) \to 0$ as $k \to \infty$ 이다.
• 이 방법은 경계 하르나크 부등식에 의존하지 않고, 최대원리와 유계 상수를 갖는 반복 장벽 구성 기법을 사용한다.