[논문 리뷰] The Loewner-Nirenberg problem in singular domains

Qing Han, Weiming Shen|arXiv (Cornell University)|2015. 11. 03.

Advanced Mathematical Modeling in Engineering참고 문헌 10인용 수 4

한 줄 요약

이 논문은 경계가 비연속적인 영역에서 Loewner-Nirenberg 문제의 최적 점근적 추정을 수립한다. 특이 경계점 주변의 이웃 영역을 그 점의 탄성 원뿔로 매핑하는 $C^{1,1}$- diffeomorphism $T$를 구성함으로써, 도메인 내의 해 $u$가 탄성 원뿔 내의 해 $u_{V_{x_0}}$에 점별로 잘 근사됨을 증명하며, 오차는 $C|x - x_0|$로 유계이다. 여기서 $C$는 $n$과 경계의 기하학적 성질에만 의존한다. 이는 고전 결과를 특이 영역으로 일반화하며, 최소한의 정규성 조건 하에서 추정의 최적성을 확인한다.

ABSTRACT

We study the asymptotic behaviors of solutions of the Loewner-Nirenberg problem in singular domains and prove that the solutions are well approximated by the corresponding solutions in tangent cones at singular points on the boundary. The conformal structure of the underlying equation plays an essential role in the derivation of the optimal estimates.

연구 동기 및 목표

• 경계가 점 $x_0$에서 $C^2$가 아닌 영역으로 고전적인 Loewner-Nirenberg 점근적 추정을 확장한다.
• 특이 경계에서 $k \leq n$ 개의 $C^{1,1}$ 초면이 교차하여 형성하는 고립된 경계 특이점 근처에서의 고립 양바위 방정정의 해 행동을 분석한다.
• 경계가 매끄럽지 않더라도 도메인 내 해가 특이점에서의 탄성 원뿔 내 해에 잘 근사됨을 확립한다.
• 경계 성분의 $C^{1,1}$ 정규성 조건 하에서 $O(|x - x_0|)$ 오차 추정의 최적성을 증명한다.

제안 방법

• 특이 경계점 $x_0$ 주변의 이웃 영역을 탄성 원뿔 $V_{x_0}$로 매핑하는 $C^{1,1}$-diffeomorphism $T$를 구성하며, 경계의 구조를 유지한다.
• 특히 $T_r(x) = \frac{2r^2(x - x_0)}{|x - x_0|^2 + 2r(x_1 - r)} + x_0$로 정의된 반사 변환 $T_r$을 사용하여 도메인 내 해와 탄성 원뿔 내 해를 연결한다.
• 최대원리를 적용하여 도메인 $\Omega$ 내의 해 $u$를 내부 및 외부 근사 도메인 $\widetilde{B}$와 $\widehat{B}$ 내의 해와 비교한다. 여기서 $\widetilde{B}$와 $\widehat{B}$는 $x_0$에서 $S_i$에 접하는 구들의 합집합이다.
• 비교 원리를 사용하여 $u(x)$가 $v(x)(1 \pm C\delta^{-1}|x - x_0|)$ 사이에 놓임을 유도한다. 여기서 $v$는 탄성 원뿔 내 해이며, $\delta$는 법선 벡터 간의 각도와 관련된 기하학적 매개변수이다.
• 아핀 기하학, 등각 불변성, 탄성 원뿔 내의 거리 추정을 조합하여 핵심 추정 $\left| \frac{u(x)}{u_{V_{x_0}}(Tx)} - 1 \right| \leq C|x - x_0|$을 유도한다.
• 상수 $C$가 $n$과 경계 초면 $S_i$의 $C^{1,1}$-노름에만 의존하며, 면의 수에 의존하지 않음을 검증한다.

실험 결과

연구 질문

• RQ1 경계가 점 $x_0$에서 $C^2$가 아닌 영역으로 고전적인 Loewner-Nirenberg 추정 $|d^{\frac{n-2}{2}}u - 1| \leq Cd$를 확장할 수 있는가?
• RQ2 특이 영역 내 경계점 $x_0$ 근처에서 해 $u$는 탄성 원뿔 $V_{x_0}$ 내 해에 잘 근사되는가?
• RQ3 특이 영역에서 $x \to x_0$일 때 $u(x)$와 $u_{V_{x_0}}(Tx)$ 사이의 근사의 날카운 비율은 무엇인가?
• RQ4 교차하는 $C^{1,1}$ 초면의 수에 의존하지 않는 추정을 얻을 수 있는가?
• RQ5 경계의 $C^{1,1}$ 정규성 조건 하에서 $O(|x - x_0|)$ 오차 항은 최적인가?

주요 결과

• 유계 리프시츠 영역 $\Omega$ 내 특이 경계점 $x_0$를 가진 해 $u$는 탄성 원뿔 $V_{x_0}$ 내 해 $u_{V_{x_0}}$에 점별로 근사되며, $x \in B_{r/2}(x_0)$ 에서 추정 $\left| \frac{u(x)}{u_{V_{x_0}}(Tx)} - 1 \right| \leq C|x - x_0|$ 를 만족한다.
• 이 추정의 상수 $C$는 $n$과 경계 초면 $S_1, \dots, S_k$의 $C^{1,1}$-노름에만 의존하며, 면의 수에 의존하지 않는다.
• 이 추정은 최적이다: $\partial\Omega$에 대한 더 강한 정규성 가정 없이 $O(|x - x_0|)$ 오차 항을 향상시킬 수 없다.
• $C^{1,1}$-diffeomorphism $T$의 구성은 증명의 핵심이며, 이는 초면 $S_i$에 대한 거리에 기반한다.
• 이 방법은 등각 불변성과 근사 도메인 $\widetilde{B}$ 및 $\widehat{B}$ 내 해와의 비교에 의존한다. 여기서 $\widetilde{B}$와 $\widehat{B}$는 $x_0$에서 $S_i$에 접하는 구들의 합집합이다.
• 특이점이 고립된 영역으로의 결과는 탄성 원뿔을 일관되게 유계 $C^{1,1}$-노름을 가진 다면체 원뿔의 수열로 근사함으로써 확장된다.