[논문 리뷰] Motion of level sets by inverse anisotropic mean curvature

Francesco Della Pietra, Nunzia Gavitone외 1명|arXiv (Cornell University)|2018. 04. 18.

Geometric Analysis and Curvature Flows참고 문헌 6인용 수 3

한 줄 요약

이 논문은 Finsler-$p$-Laplacian 근사 방법을 사용하여 역이방향 평균 곡률 흐름(IAMCF)의 약한 해의 존재성과 유일성을 확립한다. IAMCF와 관련된 타원형이 퇴화된 연립방정식을 정규화하고 $p \to 1^+$일 때의 극한을 취함으로써, 저자들은 초기 이방향 평균 곡률과 관련된 기울기 추정을 만족하는 적절한 약한 해 $u \in C^{0,1}_{\textrm{loc}}(\overline{\Omega})$의 존재를 증명한다.

ABSTRACT

In this paper we consider the weak formulation of the inverse anisotropic mean curvature flow, in the spirit of Huisken-Ilmanen. By using approximation method involving Finsler-p-Laplacian, we prove the existence and uniqueness of weak solutions.

연구 동기 및 목표

• Huisken-Ilmanen의 역평균 곡률 흐름에 대한 약한 공식화를 수준집합 접근법을 사용하여 이방향 설정으로 확장하기 위해.
• Huisken-Ilmanen 이론의 정신에 따라 역이방향 평균 곡률 흐름(IAMCF)에 대한 약한 해의 존재성을 확립하기 위해.
• 이방향 케이스에서 타원형 정규화의 부재를 극복하기 위해 Finsler-$p$-Laplacian을 사용한 정규화된 근사 체계를 개발하기 위해.
• 모든 $p$에 대해 일관된 기울기 추정을 확보하고, $p \to 1^+$일 때 수렴이 보장되도록 $F(\nabla u_p)$에 대한 균일한 기울기 추정을 확립하기 위해.
• 초기 이방향 평균 곡률 $H_F^+$에 대한 이방향 기울기 $F(\nabla u)$에 대한 사전 추정을 유도하기 위해.

제안 방법

• IAMCF를 타원형이 퇴화된 PDE로 공식화: $\operatorname{div}(F_\xi(\nabla u)) = F(\nabla u)$, $\partial\Omega$에서 $u=0$이고 $|x| \to \infty$일 때 $u \to \infty$.
• Finsler-$p$-Laplacian 방정식을 통한 근사 도입: $\Omega$에서 $\operatorname{div}(F^{p-1}(\nabla u) F_\xi(\nabla u)) = F(\nabla u)^p$, $\partial\Omega$에서 $u=0$이고 무한대에서 $u \to \infty$.
• 각 $p > 1$에 대해 $u_p$의 존재성과 $C^{1,\alpha}$ 정칙성을 변분 및 PDE 기법을 사용하여 증명한다.
• 모든 $p$에 대해 일관된 기울기 추정 $F(\nabla u_p) \leq \sup_{\partial\Omega} H_F^+ + \varepsilon$을 $\overline{\Omega}$ 전체에서 확보하며, $p$가 1에 가까울 때 $p$에 독립적이다.
• Arzelà-Ascoli 정리를 적용하여 $p_k \to 1^+$일 때 컴팩트 집합에서 $u_{p_k} \to u$로 균일 수렴하는 부분수열을 추출한다.
• 에너지 함수 $J^{p}_{u_p}(\varphi)$에서 극한을 취하여, 극한 $u$가 정의 1의 의미에서 IAMCF의 약한 공식을 만족함을 보인다.

실험 결과

연구 질문

• RQ1 Huisken-Ilmanen 유형의 약한 해 이론을 역이방향 평균 곡률 흐름으로 확장할 수 있는가?
• RQ2 이방향 케이스에서 표준 타원형 정규화의 부재가 약한 해의 구축을 방해하는가?
• RQ3 Finsler-$p$-Laplacian이 $p \to 1^+$일 때 IAMCF에 대해 실현 가능한 근사 체계를 제공할 수 있는가?
• RQ4 모든 $p$에 대해 $F(\nabla u_p)$에 대한 균일한 기울기 추정이 근사 수열에서 달성 가능한가?
• RQ5 근사 해의 극한이 약한 공식을 만족하고 적절성과 기울기 추정을 유지하는가?

주요 결과

• 역이방향 평균 곡률 흐름에 대해 유일한 적절한 약한 해 $u \in C^{0,1}_{\textrm{loc}}(\overline{\Omega})$가 존재하며, $\partial\Omega$에서 $u=0$이다.
• 해는 모든 $x \in \overline{\Omega}$에 대해 기울기 추정 $F(\nabla u(x)) \leq \sup_{\partial\Omega} H_F^+$를 만족한다.
• 해는 모든 $x \in \partial\Omega$에 대해 점별 추정 $F(\nabla u(x)) \leq H_F^+(x)$도 만족한다.
• $p > 1$일 때 각각의 근사 문제는 $C^{1,\alpha}_{\textrm{loc}}(\overline{\Omega})$에 속하는 유일한 해 $u_p$를 가지며, 균일한 기울기 추정 $F(\nabla u_p) \leq \sup_{\partial\Omega} H_F^+ + \varepsilon$을 만족한다.
• $p \to 1^+$일 때 수열 $u_p$는 컴팩트 집합에서 약한 해 $u$로 균일 수렴한다.
• 약한 해는 Finsler-$p$-Laplacian을 통한 근사의 극한으로서 얻어지며, 존재성은 근사와 컴팩트니스를 통해 증명된다.