[논문 리뷰] ${\cal C}^{1,\beta}$ regularity for Dirichlet problems associated to fully nonlinear degenerate elliptic equations

Isabeau Birindelli, F. Demengel|arXiv (Cornell University)|2012. 08. 02.

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

한 줄 요약

이 논문은 유계 $C^2$ 도메인 내에서 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) = f$ 형태의 완전비선형 탈퇴 타원형 방정식의 점근해에 대해 $C^{1,\beta}$ 정칙성을 확립한다. 이는 이전의 내부 정칙성 결과를 경계로 확장한 것으로, 저자들은 새로운 경계 평탄도 향상 기법과 가중치를 고려한 장벽 함수, 그리고 콤팩트니스 추론을 통해 탈퇴성을 다루며, $\alpha \geq 0$ 일 때 해가 경계까지 하올더 연속적인 기울기를 가지며, 명시적인 하올더 지수 $\beta$ 가 $\alpha$, $N$, 타원성 상수에 따라 결정됨을 증명한다.

ABSTRACT

In this paper we prove Holder regularity of the gradient for solutions of Dirichlet problem associate to degenerate elliptic equations, extending the recent result of Imbert and Silvestre. Indeed we obtain regularity up to the boundary and when the equation has lower order terms.The proof follows their scheme but requires new tools and new ideas. In particular we give some a priori Lipschitz and H\"older estimates in the presence of boundary condition on one part of the boundary.

연구 동기 및 목표

• 유계 $C^2$ 도메인 내에서 $\alpha \geq 0$ 인 탈퇴 완전비선형 타원형 방정식의 점근해에 대해 경계까지 $C^{1,\beta}$ 정칙성을 확립하며, 이는 이전의 내부 정칙성 결과를 확장하는 것이다.
• 형태 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) = f$ 의 방정식에 대해 기울기의 경계 근처 정칙성 문제를 해결하며, 이는 일반화된 주된 고유값의 단순성을 증명하는 데 필수적이다.
• 기울기의 탈퇴성과 $h(x) \cdot \nabla u$ 항을 다룰 수 있는 새로운 경계 평탄도 향상 기법과 콤팩트니스 추론을 개발한다.
• $C^2$ 도메인에서 경계가 연결되어 있을 때, 연산자 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) + \bar{\lambda} u^{1+\alpha} = 0$ 의 일반화된 주된 고유값 $\bar{\lambda}$ 가 단순함을 증명한다.
• 하향항과 경계 조건을 포함한 정칙성 이론을 확장하여, 데이터에 명시적인 의존성을 갖는 완전한 $C^{1,\beta}$ 추정을 제공한다.

제안 방법

• 탈퇴 방정식과 경계 조건을 고려한 평탄도 향상 보조정리의 응용을 통해, $u - p \cdot x$ 의 진동이 $r^{1+\beta}$ 의 속도로 감소함을 증명한다.
• 하향항 $h(x) \cdot \nabla u$ 가 있는 점근해에 대해 비교 원리를 적용하여, 탈퇴 영역에서도 비교 원리가 성립함을 보장한다.
• 가중치 장벽 함수와 경계와의 거리 추정을 통해 경계 행동을 제어하며, 특히 $\nabla u$ 가 작을 경우에 유리하다.
• 콤팩트니스 추론을 사용: 유계 해의 수열은 컴팩트 부분집합에서 균일 수렴하며, 극한 방정식은 원래 방정식의 구조를 유지한다.
• 블로업 추론과 모순을 이용하여 기울기가 경계까지 하올더 연속임을 보이며, 이는 기울기 수열의 유계성에 기반한다.
• 특수한 보조정리 도입: $a \in C^2$, $a(0) = \nabla a(0) = 0$, $a$ 가 항등적으로 0이 아니며, $|p_n \cdot (x', a(x'))| \leq C$ 를 만족하는 수열 $p_n$ 이 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 형태 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) = f$ 의 점근해에 대해 $\alpha \geq 0$ 일 때 경계까지 $C^{1,\beta}$ 정칙성이 성립하는가?
• RQ2 기울기 $|\nabla u| \to 0$ 일 때 탈퇴성이 발생함에 따라, 이러한 방정식에 대해 경계 근처에서도 강력한 비교 원리가 적용 가능한가?
• RQ3 $C^2$ 도메인에서 경계가 연결되어 있을 때, 연산자 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) + \bar{\lambda} u^{1+\alpha} = 0$ 의 일반화된 주된 고유값 $\bar{\lambda}$ 는 단순한가?
• RQ4 하향항 $h(x) \cdot \nabla u$ 가 추가될 경우, 경계 근처에서 해의 정칙성과 콤팩트니스에 어떤 영향을 미치는가?
• RQ5 기울기의 최적 하올더 지수 $\beta$ 는 $\alpha$, $N$, 타원성 상수에 대해 어떻게 표현되는가?

주요 결과

• 논문은 점근해에 대해 전역적 $C^{1,\beta}$ 추정을 확립한다: $\|u\|_{C^{1,\beta}(\Omega)} \leq C\left(\|\phi\|_{C^{1,\beta_0}(\partial\Omega)} + \|u\|_{L^\infty(\Omega)} + \|f\|_{L^\infty(\Omega)}^{1/(1+\alpha)}\right)$, 여기서 $\beta$ 는 $\lambda, \Lambda, \|f\|_\infty, N, \Omega, \|h\|_\infty, \beta_0$ 에 따라 달라진다.
• 하올더 지수 $\beta$ 는 명시적으로 정량화되었으며, 타원성 상수 $\lambda, \Lambda$, 차원 $N$, 데이터 노름에 따라 결정된다.
• 저자들은 연산자 $|\nabla u|^\alpha(F(D^2u) + h(x) \cdot \nabla u) + \bar{\lambda} u^{1+\alpha} = 0$ 의 일반화된 주된 고유값 $\bar{\lambda}$ 가 단순함을 증명한다. 즉, 임의의 두 양의 고유함수는 서로 스칼라 배수이다.
• 이 증명은 경계까지의 $C^{1,\beta}$ 정칙성이 기반이며, 이는 경계 근처에서 강력한 비교 원리가 성립함을 보장하여 단순성 증명이 가능하게 한다.
• 이 방법은 탈퇴성과 하향항을 고려한 새로운 경계 평탄도 향상 보조정리를 도입하여, Imbert와 Silvestre의 내부 추론을 경계로 확장한다.
• 핵심 기술적 결과로, $a \in C^2$, $a(0) = \nabla a(0) = 0$, $a$ 가 항등적으로 0이 아니며, $|p_n \cdot (x', a(x'))| \leq C$ 를 만족하는 수열 $p_n$ 이 유계임을 보이며, 이는 콤팩트니스에 필수적이다.