[논문 리뷰] On De Giorgi Conjecture in Dimension $N \geq 9$

Manuel del Pino, Michał Kowalczyk외 1명|ArXiv.org|2008. 06. 19.

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

한 줄 요약

이 논문은 Bombieri-De Giorgi-Giusti가 제공한 비평면 최소 표면 $Γ$ 를 활용하여, 차원 $N \geq 9$ 에서 De Giorgi의 추측에 대한 반례를 구성한다. 정교한 접합 방법과 무한차원 Lyapunov-Schmidt 축소를 통해, 수준집합이 확대된 최소 표면 $Γ_\alpha = \alpha^{-1}\Gamma$ 에 점점 가까워지는 유계이고 단조인 해 $u_\alpha$ 를 구축함으로써, 추측에서 요구하는 수준집합이 초평면이 되어야 한다는 조건을 위반한다.

ABSTRACT

A celebrated conjecture due to De Giorgi states that any bounded solution of the equation $Δu + (1-u^2) u = 0 \hbox{in} \R^N $ with $\pp_{y_N}u >0$ must be such that its level sets $\{u=\la\}$ are all hyperplanes, {\em \bf at least} for dimension $N\le 8$. A counterexample for $N\ge 9$ has long been believed to exist. Based on a minimal graph $Γ$ which is not a hyperplane, found by Bombieri, De Giorgi and Giusti in $\R^N$, $N\ge 9$, we prove that for any small $α>0$ there is a bounded solution $u_α(y)$ with $\pp_{y_N}u_α>0$, which resembles $ anh (\frac t{\sqrt{2}}) $, where $t=t(y)$ denotes a choice of signed distance to the blown-up minimal graph $Γ_α:= α^{-1}Γ$. This solution constitutes a counterexample to De Giorgi conjecture for $N\ge 9$.

연구 동기 및 목표

• 차원 $N \geq 9$ 에서 De Giorgi의 추측이 성립하는지 여부라는 오랫동안 열려 있던 문제를 해결하기 위해.
• 차원 $N \geq 9$ 에서 $\mathbb{R}^N$ 에서 $\Delta u + (1 - u^2)u = 0$ 이라는 Allen-Cahn 방정식에 대해 유계이고 단조인 해를 구성하여, 그 수준집합이 초평면이 아닌 경우를 찾기 위해.
• Bombieri, De Giorgi, Giusti가 발견한 바와 같이, $\mathbb{R}^N$ ($N \geq 9$) 에서 비평면 최소 표면의 존재를 활용하여 이러한 해의 존재를 확립하기 위해.
• 최소 표면 근처의 비선형 문제를 다룰 수 있도록 새로운 무한차원 Lyapunov-Schmidt 축소 프레임워크를 개발하기 위해.

제안 방법

• Bombieri, De Giorgi, Giusti가 구성한 비평면 초평면이 아닌 $\mathbb{R}^N$ ($N \geq 9$) 에서의 최소 표면 $\Gamma$ 를 사용한다.
• $\alpha > 0$ 가 작을 때, 최소 표면을 $\Gamma_\alpha = \alpha^{-1}\Gamma$ 로 확대하여, 천천히 변화하는 대규모 외란을 생성한다.
• 층상 가정을 사용하여, $t$ 를 $\Gamma_\alpha$ 에 대한 부호가 있는 거리로 삼고, $\tanh(t/\sqrt{2})$ 와 유사한 근사해를 구성한다.
• 비선형 접합 절차를 적용하여 근사해를 보정하고, Allen-Cahn 방정식을 작은 오차 범위 내에서 만족시키도록 한다.
• 가중치가 부여된 $L^{p,\nu}$ 공간에서 잭비안 연산자 $\mathcal{J}_0$ 의 전체 선형화 및 역행렬 이론을 적용하여 선형화된 문제를 제어한다.
• 적절한 함수 공간에서 고정점 정리를 사용하여 축소된 문제를 풀고, 정확한 해 $u_\alpha$ 를 얻는다.

실험 결과

연구 질문

• RQ1 De Giorgi의 추측—즉, $\mathbb{R}^N$ 에서 Allen-Cahn 방정식의 모든 유계이고 단조인 해의 수준집합이 초평면이어야 한다는 추측—은 $N \geq 9$ 에서도 성립하는가?
• RQ2 차원 $N \geq 9$ 에서 $\mathbb{R}^N$ 에서 비평면 최소 표면을 사용하여 De Giorgi의 추측에 대한 반례를 구성할 수 있는가?
• RQ3 수준집합이 비평면 최소 표면에 점 渐진적으로 수렴하는 유계이고 단조인 Allen-Cahn 방정식의 해를 구성하는 것은 가능한가?
• RQ4 이러한 구성에서 발생하는 무한차원 핵과 비선형성 문제를 다루기 위해 어떤 분석적 프레임워크가 필요한가?

주요 결과

• 모든 작은 $\alpha > 0$ 에 대해, $N \geq 9$ 에서 $\mathbb{R}^N$ 에서 $\Delta u + (1 - u^2)u = 0$ 이라는 Allen-Cahn 방정식에 대해 유계인 해 $u_\alpha(y)$ 와 $\partial_{y_N}u_\alpha > 0$ 를 만족하는 해를 구성한다.
• 해 $u_\alpha$ 는 $\Gamma_\alpha = \alpha^{-1}\Gamma$ 에 대한 부호가 있는 거리 $t$ 에 대해 $\tanh(t/\sqrt{2})$ 에 점 渐진적으로 수렴하며, 따라서 그 수준집합은 초평면이 아니다.
• 이 구성은 비평면 최소 표면에서 비롯되는 비비례성 문제로 인해 발생하는 문제를 해결하기 위해 정교한 무한차원 Lyapunov-Schmidt 축소에 의존한다.
• 해 $u_\alpha$ 는 가중치가 부여된 $L^{p,\nu}$ 공간에서 고정점 정리를 통해 존재함을 보이며, 선형화된 연산자 $\mathcal{J}_0$ 의 역행렬은 상위해와 근사화 방법을 사용하여 구성된다.
• 이 방법은 $u_\alpha$ 의 수준집합이 비초평면인 최소 표면 $Γ_\alpha$ 위에 그래프로 표현될 수 있음을 보여주며, 이는 De Giorgi의 추측의 결론을 위반한다.
• 결과적으로 De Giorgi의 추측이 모든 차원 $N \geq 9$ 에서 실패함을 확인하였으며, 이 범위에서 추측에 대한 첫 번째 명시적 반례를 제공한다.