[논문 리뷰] Regularity of the distance function to the boundary

Yanyan Li, Louis Nirenberg|arXiv (Cornell University)|2005. 10. 26.

Advanced Differential Geometry Research참고 문헌 1인용 수 39

한 줄 요약

이 논문은 경계가 $C^{k,\beta}$이면서 $k \geq 2$ 및 $0 < \beta \leq 1$인 부드러운 페인러 만에르의 도메인에서 경계까지의 거리 함수의 $C^{k,\beta}$ 정규성을 확립한다. 특수한 정규좌표계와 지오데식의 두 번째 변분 분석을 사용하여, 가장 가까운 경계점이 유일한 집합 $G$에서 거리 함수가 $C^{k,\beta}$임을 증명하며, 해밀턴-자코비 방정식의 볼류티티 해에 대한 이전 결과를 확장한다.

ABSTRACT

Let $Ω$ be a domain in a smooth complete Finsler manifold, and let $G$ be the largest open subset of $Ω$ such that for every $x$ in $G$ there is a unique closest point from $\partial Ω$ to $x$ (measured in the Finsler metric). We prove that the distance function from $\partial Ω$ is in $C^{k,α}_{loc}(G\cup \partial Ω)$, $k\ge 2$ and $0

연구 동기 및 목표

• 경계가 $C^{k,\alpha}$이고 $k \geq 2$, $0 < \alpha \leq 1$일 때, 페인러 만에르에서 경계까지의 거리 함수의 $C^{k,\alpha}$ 정규성을 확립하는 것.
• 조엘 스프럭크가 제기한 리만 만에르 경우에서 거리 함수의 정규성 문제를 해결하고, 이를 페인러 만에르 설정으로 확장하는 것.
• 정규화된 지오데식이 경계 근처에서 유일한 최단 경로인 점 근처의 국소 정규성 결과를 제공하는 것.
• 만약 공액점이 점 $X$의 외부에 있고 지오데식이 유일할 경우, 점 $X$의 근방에서 거리 함수가 $C^{k,\alpha}$임을 증명하는 것.
• 거리 $d$와 가장 가까운 경계점 $y$로 구성된 사상 $X \mapsto (d, y)$의 야코비안이 비특이적임을 증명하는 것, 특히 $X = e_n$에서의 경우.

제안 방법

• 경계 위의 한 점을 중심으로 한 특수한 정규좌표계를 사용하며, 여기서 $x_n$-축은 법선 지오데식이며, 원점에서 페인러 만에르 계량이 특정 정규화 조건을 만족한다.
• 지오데식의 길이의 두 번째 변분을 적용하여 공액점과 그 이후에 최소화 지오데식의 유일성을 특성화한다.
• 페인러 만에르 계량 $\varphi$에 대해 $\varphi(te_n; e_n) \equiv 1$, $\varphi_{v^\alpha}(te_n; e_n) \equiv 0$, 및 $\varphi_{v^n}(te_n; e_n) \equiv 1$ 조건을 도입함으로써 정규성과 미분 가능성 보장.
• 지오데식의 매개변수화된 가중치를 통해 점 $X \in \Omega$에 대한 가장 가까운 경계점 $y$의 의존성을 분석하고, 사상 $X \mapsto (d, y)$에 대해 은폐함수 정리 적용.
• 경계 함수의 헤시안의 비퇴화성과 $\varphi$의 탄성 방향에서의 이차 도함수의 정의성 조건을 통해 야코비안이 비특이적임을 보장.
• 야코비안 행렬식의 비특이성을 보장하기 위해, 헤시안이 엄격히 양의정의인 $C^{2,1}$ 함수 $\tilde{f}$를 비교 함수로 사용하여 은폐함수 정리 적용 시의 비특이성 증명.

실험 결과

연구 질문

• RQ1 페인러 만에르 도메인의 경계까지의 거리 함수가 유일한 가장 가까운 경계점이 존재하는 집합 $G$에서 $C^{k,\alpha}$가 되기 위한 조건은 무엇인가요?
• RQ2 경계 $\partial\Omega$의 $C^{k,\alpha}$ 정규성이 집합 $G$에서 거리 함수의 $C^{k,\alpha}$ 정규성으로 이어지는가요?
• RQ3 공액점의 부재가 거리 함수의 정규성에 어떤 역할을 하는가요?
• RQ4 경계 근처에서 최소화 지오데식의 유일성이 거리 함수의 정규성에 어떤 영향을 미치는가요?
• RQ5 최소화 지오데식이 유일하고 공액점이 $X$의 외부에 있을 때, 사상 $X \mapsto (d(X), y(X))$의 야코비안이 비특이적임을 증명할 수 있는가요?

주요 결과

• 경계 $\partial\Omega$가 $C^{k,\alpha}$이고 $k \geq 2$, $0 < \alpha \leq 1$일 경우, 가장 가까운 경계점이 유일한 집합 $G$에서 거리 함수 $d(X)$는 $C^{k,\alpha}_{\text{loc}}(G \cup \partial\Omega)$에 속한다.
• 최소화 지오데식이 유일하고 공액점이 $X$의 외부에 있을 경우, $X$의 근방 $A$에서 가장 가까운 경계점 $y(X)$는 $C^{k-1,\alpha}_{\text{loc}}(A)$에 속한다.
• 주어진 조건 하에 $X = e_n$에서 사상 $X \mapsto (d(X), y(X))$의 야코비안은 비특이적이며, 이는 $d(X)$의 국소 $C^{k,\alpha}$ 정규성 보장.
• 비특이성은 헤시안이 엄격히 양의정의인 $C^{2,1}$ 함수 $\tilde{f}$와의 비교를 통해 확립되며, 이는 도함수의 행렬식이 0이 아님을 보장.
• 공액점까지의 길이의 두 번째 변분은 엄격히 양의정의이며, 이는 그 이후에 더 짧은 지오데식이 존재하지 않음을 보장하여 최소화 지오데식의 유일성과 정규성 지원.
• 핵심 항등식 $D^2_{v'}\varphi(0'; e_n) \nabla V'(0') + D^2f(0') = 0$은 페인러 만에르 계량의 기하학적 성질과 경계의 제2 기본형태 사이의 연결고리 역할을 하며, 정규성 증명 가능.