[논문 리뷰] Entire Solutions of the Allen-Cahn equation and Complete Embedded Minimal Surfaces of Finite Total Curvature in $\R^3$

Manuel del Pino, Michał Kowalczyk외 1명|ArXiv.org|2009. 02. 12.

Nonlinear Partial Differential Equations참고 문헌 19인용 수 13

한 줄 요약

이 논문은 $\mathbb{R}^3$에서 전체적이고 유계인 Allen-Cahn 방정식의 유한 모르스 지수를 가진 해를, 총 곡률이 유한하고 $m \geq 2$개의 끝을 가진 완전하고 임bed된 최소 표면 주위에 근사해를 붙임으로써 구성한다. $m-1$개의 비강성(parameter-dependent) 해가 존재함을 보이며, 이들의 등고선은 확대된 최소 표면 $M_\alpha = \alpha^{-1}M$를 근사한다. 이러한 해들이 $L^\infty$-비퇴화성임을 증명하고, 최소 표면의 모저스 지수와 동일한 모저스 지수를 가짐을 보여, 최소 표면 기하학과 계면 전이 해 사이에 강력한 연결 고리를 확립한다.

ABSTRACT

We consider minimal surfaces $M$ which are complete, embedded and have finite total curvature in $\R^3$, and bounded, entire solutions with finite Morse index of the Allen-Cahn equation $Δu + f(u) = 0 \hbox{in} \R^3 $. Here $f=-W'$ with $W$ bistable and balanced, for instance $W(u) =\frac 14 (1-u^2)^2$. We assume that $M$ has $m\ge 2$ ends, and additionally that $M$ is non-degenerate, in the sense that its bounded Jacobi fields are all originated from rigid motions (this is known for instance for a Catenoid and for the Costa-Hoffman-Meeks surface of any genus). We prove that for any small $α>0$, the Allen-Cahn equation has a family of bounded solutions depending on $m-1$ parameters distinct from rigid motions, whose level sets are embedded surfaces lying close to the blown-up surface $M_α:= α^{-1} M$, with ends possibly diverging logarithmically from $M_\A$. We prove that these solutions are $L^\infty$-{\em non-degenerate} up to rigid motions, and find that their Morse index coincides with the index of the minimal surface. Our construction suggests parallels of De Giorgi conjecture for general bounded solutions of finite Morse index.

연구 동기 및 목표

• $\mathbb{R}^3$에서 전체적이고 유계인 Allen-Cahn 방정식의 해 중 유한 모저스 지수를 가진 해와 총 곡률가 유한하고 완전하며 임bed된 최소 표면 사이의 대응 관계를 수립하는 것.
• 작은 $\alpha > 0$에 대해, $M_\alpha = \alpha^{-1}M$로 확대된 최소 표면을 근사하는 Allen-Cahn 방정식의 일파라미터 해족을 구성하는 것. 이 해족은 강성 변환에 대해 독립적인 $m-1$개의 매개변수를 가짐.
• 구성된 해들이 강성 변환에 대해 $L^\infty$-비퇴화성임을 증명하고, 기저 최소 표면 $M$의 모저스 지수와 동일한 모저스 지수를 가짐을 보이는 것.
• 높은 차원에서 De Giorgi 추측과 Allen-Cahn 방정식의 유한 모저스 지수 해 사이의 유사성을 탐구하는 것.

제안 방법

• 확대된 최소 표면 $M_\alpha = \alpha^{-1}M$ 주위에서 Allen-Cahn 방정식의 해를 구성하기 위해 붙임 기법을 사용하며, 최소 표면의 국소 기하학과 점점 가까워지는 행동을 활용한다.
• 최소 표면의 자코비 연산자 기반의 일阶 근사 후 반복적 개선을 통해 근사도 향상.
• 선형화된 연산자의 핵에 투영하고, 수축 사상으로 해를 구하는 유한 차원 붙임 시스템으로 비선형 문제를 축소.
• 가중치가 부여된 소볼레프 및 $L^\infty$ 추정을 사용하여 근처 표면, 끝부분, 원거리 영역에서의 오차 항을 제어.
• 근사 해 주위의 선형화된 연산자 분석을 통해 사전 추정과 수축 원리에 기반한 해의 존재성을 증명.
• 최소 표면의 끝에서 로그 성장률을 가지는 자코비 장의 연구를 통해 선형화된 연산자의 핵을 이해하고, 비퇴화성을 확보한다.

실험 결과

연구 질문

• RQ1 $\mathbb{R}^3$에서 전체적이고 유계인 Allen-Cahn 방정식의 해 중 유한 모저스 지수를 가진 해를, 총 곡률가 유한하고 완전하며 임bed된 최소 표면 주위에 구성할 수 있는가?
• RQ2 이러한 해의 해공간 차원은 얼마이며, 최소 표면의 끝 수와 어떤 관계가 있는가?
• RQ3 구성된 해들이 강성 변환에 대해 $L^\infty$-비퇴화성인가? 그리고 그 모저스 지수는 기저 최소 표면 $M$의 모저스 지수와 일치하는가?
• RQ4 해의 등고선은 점점 멀어질수록 어떻게 행동하는가? 특히 최소 표면의 끝과의 관계에서 어떻게 나타나는가?
• RQ5 최소 표면의 끝에서 로그 성장률을 가지는 자코비 장이 해공간의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 작은 $\alpha > 0$에 대해, Allen-Cahn 방정식은 $m-1$개의 매개변수(강성 변환에 대해 모듈로)에 따라 변화하는 유계 전체 해족을 가지며, 이들의 등고선은 $M_\alpha = \alpha^{-1}M$에 가까운 임베딩된 표면이 되며, 끝부분은 로그적으로 발산할 수 있다.
• 구성된 해들은 강성 변환에 대해 $L^\infty$-비퇴화성임을 보이며, 이는 강성 변환 외에 비자명한 유계 자코비 장이 존재하지 않음을 의미한다.
• 구성된 해의 모저스 지수는 정확히 최소 표면 $M$의 모저스 지수와 일치함을 보여, 두 지수 사이에 정확한 대응 관계를 확립한다.
• 해들은 끝부분을 제외한 영역에서 최소 표면 $M_\alpha$에 $C^2$ 위상에서 점점 가까워지며, 비선형 방정식에서 오차 항이 제어됨을 보였다.
• 해의 존재성은 최소 표면의 기하학과 관련이 있다: 구성은 $M$의 비퇴화성(즉, 유계 자코비 장이 강성 변환에서만 유도됨)에 의존하며, 이는 고리형 표면이나 Costa-Hoffman-Meeks 표면 같은 표면에서 성립한다.
• 분석을 통해 최소 표면의 끝에서 로그 성장률을 가지는 자코비 장이 선형화된 연산자의 핵에서 중요한 역할을 하며, 이들의 존재는 $m-1$개의 매개변수로 구성된 해족의 존재에 필수적임을 밝혀냈다.