[논문 리뷰] Lower Semi-Continuity of the Index in the Visosity Method for Minimal Surfaces

Tristan Rivière|arXiv (Cornell University)|2018. 07. 30.

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 4

한 줄 요약

이 논문은 $ℝ^Q$의 부분다양체에 $W^{3,2}$-임bed된, 정렬된 닫힌 곡면의 공간에 하이버트 다양체 구조를 수립하여 최소 곡면의 지수에 대한 엄밀한 분석을 가능하게 한다. 이 구조를 통해 점성 근사와 버블 트리 수렴에서 모스 지수의 하방 연속성을 증명하며, 점성 계수의 극한에서 지수의 안정성을 보장한다.

ABSTRACT

The goal of the present work is twofold. First we prove the existence of an Hilbert Manifold structure on the space of immersed oriented closed surfaces with three derivatives in $L^2$ in an arbitrary sub-manifold $M^m$ of an euclidian space $R^Q$. Second, using this Hilbert manifold structure, we prove a lower semi continuity property of the index for sequences of conformal immersions, critical points to the viscous approximation of the area satisfying Struwe entropy estimate and bubble tree strongly converging in $W^{1,2}$ to a limiting minimal surface as the viscous parameter is going to zero.

연구 동기 및 목표

• 하나의 부분다양체 $M^m \subset \mathbb{R}^Q$에 $W^{3,2}$-임베딩된 정렬된 닫힌 곡면의 공간에 하이버트 다양체 구조를 수립하는 것.
• 등각 임베딩의 점성 근사와 버블 트리 수렴에서 모스 지수의 행동을 분석하는 것.
• 점성 면적 함수의 임계점들의 수열이 $W^{1,2}$에서 최소 곡면으로 강한 수렴을 보일 때, 지수의 하방 연속성을 증명하는 것.
• 표시된 점을 유지하는 미분동형사상에 대한 임베딩의 몫공간을 구성하여 매끄러운 구조와 재매개변수화에 대한 불변성을 확보하는 것.

제안 방법

• 표시된 점을 유지하는 양의 $W^{3,2}$-미분동형사상에 의한 $W^{3,2}$-임베딩의 몫들의 disjoint union으로 하이버트 다양체 $\mathfrak{M}_b(M^m)$를 구성한다.
• 접선 벡터를 $(\wedge^{1,0}\Sigma)^{\otimes 2}$의 $W^{2,2}$-섹션 공간으로 사상하는 선형 연산자 $D^*_{\vec{\Phi}}$를 도입하며, 이는 해석적 2차형식의 직교 보완에 사영한다.
• 등변 매끄러운 함수 $\vec{w}_{\vec{\Phi}}$와 $\Psi_{\vec{\Phi}}$를 통한 슬라이스 정리 구축을 통해 몫공간의 국소적 평탄화를 달성한다.
• 스트루페의 엔트로피 추정과 버블 트리의 강한 $W^{1,2}$ 수렴을 적용하여 점성 극한에서 면적 함수의 제2변분을 제어한다.
• 제2변분 $D^2F(\vec{\Phi})(\vec{w},\vec{w})$의 정확한 점별 표현을 제2 fundamental 형 $\vec{\mathbb{I}}_{\vec{\Phi}}$, 메트릭 $g_{\vec{\Phi}}$, 및 변위 $\vec{w}$의 도함수들로 유도한다.
• 다양체 $\Sigma$ 위에서 적분을 통한 $L^2$-균일 유계성 확보를 통해 제2변분에 대한 핵심 추정식 (A.21)을 도출하며, 이는 극한에서 지수를 제어한다.

실험 결과

연구 질문

• RQ1 미분동형사상군의 비-바나흐 리 군 구조에도 불구하고, 표시된 점을 유지하는 미분동형사상에 대한 $W^{3,2}$-임베딩 곡면 공간에 하이버트 다양체 구조를 엄밀히 구성할 수 있는가?
• RQ2 점성 계수의 극한에서, 점성 면적 함수의 임계점들이 최소 곡면으로 강한 $W^{1,2}$ 수렴을 보일 때, 모스 지수는 하방 연속성을 유지하는가?
• RQ3 점성 근사에서 면적 함수의 제2변분은 어떻게 행동하는가? 그리고 제2 fundamental 형과 변위 장에 대해 균일하게 유계질 수 있는가?
• RQ4 버블 트리 수렴과 스트루페의 엔트로피 추정은 극한에서 지수 안정성에 얼마나 잘 제어하는가?
• RQ5 몫공간 $\mathfrak{M}_b(M^m)$에, 미분동형사상의 작용과 호환되는 매끄러운 하이버트 다양체 구조를 부여할 수 있는가?

주요 결과

• 표시된 점을 유지하는 $W^{3,2}$-임베딩 곡면의 공간에 대한 몫공간 $\mathfrak{M}_b(M^m)$은 잘 정의된 하이버트 다양체 구조를 가진다.
• 표준 사영 $\Pi: \mathrm{Imm}_b(M^m) \to \mathfrak{M}_b(M^m)$는 매끄럽다. 이는 몫공간 위에서 미분기하학적 분석을 가능하게 한다.
• 점성 면적 함수의 임계점인 등각 임베딩의 수열에 대해, 점성 계수의 극한에서 모스 지수는 하방 연속성을 가진다.
• 제2변분 $D^2F(\vec{\Phi})(\vec{w},\vec{w})$는 $|\vec{\mathbb{I}}_{\vec{\Phi}}|^{2}$와 $|\partial\vec{w}|^2$를 포함하는 정의된 양의 이차형식에 의해 아래에서 유계지며, 이는 지수의 안정성을 보장한다.
• 추정식 (A.21)은 $|D^2F(\vec{\Phi})(\vec{v}(\vec{\Phi}),\vec{v}(\vec{\Phi}))| \leq C \int_{\Sigma} (1 + |\vec{\mathbb{I}}_{\vec{\Phi}}|^2) (|\partial\vec{v}|^2 + |\partial^2\vec{v}|^2) \, dvol_{g_{\vec{\Phi}}}$ 를 보여주며, 이는 극한에서의 균일 제어를 제공한다.
• 제2변분의 균일 제어와 버블 트리의 강한 $W^{1,2}$ 수렴에 기반하여 지수의 하방 연속성이 도출되며, 이는 점성 극한에서 지수 안정성을 확인한다.