[論文レビュー] Global minimizers of the Allen-Cahn equation in dimension $n\geq 8$

Yong Liu, Kelei Wang+1 more|arXiv (Cornell University)|Jun 16, 2016

Nonlinear Partial Differential Equations参考文献 13被引用数 4

ひとこと要約

本稿は、$ n \geq 8 $ の次元において、Allen-Cahn方程式の非自明なグローバル最小解の存在を、$ n = i+j $ で $ i+j \geq 9 $ または $ i+j=8 $ かつ $ |i-j| \leq 4 $ の場合に、$ O(i)\times O(j) $ 対称解を用いて、Lawsonのコーンに漸近的に近づくことによって確立する。主な貢献は、最小曲面論と相転移モデルの間の長年の予想を解消する、このような最小解の存在を証明することにある。

ABSTRACT

We prove the existence of global minimizers of Allen-Cahn equation in dimensions $8$ and above. More precisely, given any strictly area-minimizing Lawson's cones, there are global minimizers whose nodal sets are asymptotic to the cones. As a consequence of Jerison-Monneau's program we establish the existence of many counter-examples to the De Giorgi's conjecture different from the Bombierie-De Giorgi-Giusti minimal graph.

研究の動機と目的

• Allen-Cahn方程式のグローバル最小解が、1次元解を超えて次元 $ n=8 $ 以降に存在するという長年の予想を解消すること。
• $ i+j \geq 9 $ または $ i+j=8 $ で $ |i-j| \leq 4 $ の場合に、$ \mathbb{R}^{i+j} $ における $ O(i)\times O(j) $-対称グローバル最小解の存在を確立すること。
• これらの最小解のノード集合が、漸近的に Lawson のコーン $ C_{i,j} $ に収束することを示し、最小曲面論との類似性を拡張すること。
• Simonsのコーンに関する先行結果に裏付けられ、部分解と上位解、および漸近的解析を用いた構成的枠組みを提供し、このような最小解の存在を証明すること。

提案手法

• 漸近的最小曲面の周囲のフェルミ座標において、部分解と上位解 $ U_{\lambda}^{\pm} $ の1パラメータ族を構築し、それらがフィルレーションを形成すること。
• 曲率および低次の項を伴う場合のヘタロクロニック解 $ H(x) = \tanh(x/\sqrt{2}) $ の摂動を解析するため、Lyapunov-Schmidtの還元フレームワークを採用する。
• 最小超曲面に相対するフェルミ座標 $ (l,t) $ を用い、$ t $ は曲面からの距離、$ l $ は法線方向を測る。
• 拡大領域 $ \Omega_d $ においてディリクレ境界条件を課し、最小解を $ U_{\lambda^*}^+ $ と $ U_{\lambda^*}^- $ の間に挟み、$ d \to \infty $ の極限を取る。
• 近似解 $ \bar{H}(t-h) $ の誤差を、核 $ \bar{H}' $ に射影し、$ J(h^*) = O(l^{-5}) $ を示し、線形化問題の可解性を保証する。
• 精密な漸近的解析を用いて、ノード集合が $ s = \sqrt{2}r + \frac{c_0}{\sqrt{3}}r^{-1} $ のように振る舞うことを示し、$ c_0 $ は曲率項に依存する。

実験結果

リサーチクエスチョン

• RQ1 次元 $ n=8 $ において、1次元解を超えるグローバル最小解がAllen-Cahn方程式に存在するか？
• RQ2 $ i+j \geq 9 $ または $ i+j=8 $ で $ |i-j| \leq 4 $ の場合に、$ \mathbb{R}^{i+j} $ における $ O(i)\times O(j) $-対称解がグローバル最小解として構成可能か？
• RQ3 これらの最小解のノード集合は漸近的にどのように振る舞い、Lawsonのコーン $ C_{i,j} $ に収束するか？
• RQ4 漸近的状態において、部分解と上位解の方法を用いて、このような最小解の存在を確立できるか？
• RQ5 ノード集合の正確な漸近的展開は何か？ また、曲率は解のプロファイルにどのように影響するか？

主な発見

• 本稿は、$ i+j \geq 9 $ または $ i+j=8 $ で $ |i-j| \leq 4 $ の場合に、$ \mathbb{R}^{i+j} $ における非自明なグローバル最小解の存在を証明し、それらは1次元ではなく $ O(i)\times O(j) $ 対称性を持つ。
• これらの最小解のノード集合は、無限遠で Lawson のコーン $ C_{i,j} $ に収束し、漸近的挙動として $ s = \sqrt{2}r + \frac{c_0}{\sqrt{3}}r^{-1} $ を示す。ここで $ c_0 $ は曲率に依存する定数である。
• この構成は、距離が $ \lambda $ に依存する部分解と上位解 $ U_{\lambda}^{\pm} $ のフィルレーションに依存しており、変分法によりそれらの間に解が存在することを保証する。
• 近似解 $ \bar{H}(t-h) $ の誤差が $ O(l^{-5}) $ であることが示され、線形化問題の可解性を保証し、最小解の存在を証明するのに十分である。
• 解の漸近的プロファイルは、2階微分を含む特定の常微分方程式を満たす $ \eta_2 $ を用いて表される $ O(r^{-3}) $ の補正項 $ \eta_2(t)A_3 $ を含むように精密化された。
• この結果は、$ \mathbb{R}^8 $ における非自明なグローバル最小解の存在を確認し、最小曲面論と高次元における相転移の間の予想された関係を支持する。