[論文レビュー] Solutions of the Allen-Cahn equation on closed manifolds in the presence of symmetry

Rayssa Caju, Pedro Dinis Gaspar|arXiv (Cornell University)|Jun 13, 2019

Nonlinear Partial Differential Equations被引用数 5

ひとこと要約

本稿は、ε > 0 が十分に小さいとき、閉リーマン多様体上のアレン・カーン方程式の解の存在を確立する。ノード集合が最小超曲面 Γ に収束するための条件として、Γ のすべてのジャコビ場が環境等長変換から生成されることを仮定する。この結果は、パカードとリトリョの研究を、対称的かつ非退化な状況へと拡張するものであり、キリング・ジャコビ場を考慮するリャプノフ＝シュミット還元を用いることで、エネルギーが Γ の面積の半分に収束し、解のモーゼス指数と退化次数が Γ のジャコビ作用素と一致することを保証する。

ABSTRACT

We prove that given a minimal hypersurface $Γ$ in a compact Riemannian manifold $M$ without boundary, if all the Jacobi fields of $Γ$ are generated by ambient isometries, then we can find solutions of the Allen-Cahn equation $-\varepsilon^2Δu +W'(u)=0$ on $M$, for sufficiently small $\varepsilon>0$, whose nodal sets converge to $Γ$. This extends the results of Pacard-Ritoré (in the case of closed manifolds and zero mean curvature).

研究の動機と目的

• ノード集合が最小超曲面 Γ に収束するアレン・カーン解の構成を、非退化な場合を超えて拡張すること。
• Γ のジャコビ作用素の核が非自明である場合、特に環境等長変換から生じるキリング・ジャコビ場によって張られる場合を扱うこと。
• 解のエネルギー、モーゼス指数、退化次数が Γ の幾何的不変量に収束することを確立すること。
• 解析的計量およびその Γ の近傍でない領域での C^{1,α} パーティクル変形に対しても、対称性の仮定のもとで結果が成り立つこと。

提案手法

• 対称性制約のもとでアレン・カーン方程式を解くためのリャプノフ＝シュミット還元フレームワークを採用する。
• ジャコビ作用素 JΓ の核を、キリングベクトル場の法成分、すなわちキリング・ジャコビ場として特徴付ける。
• Γ の近傍でフェルミ座標を用いて解をパrametrizeし、問題を有限次元の分岐解析に還元する。
• 重み付き Hölder 空間における固定点定理を用いて還元問題を解き、対称性を活用して線形化作用素を制御する。
• ε₀ の小ささが、Γ から離れた領域での計量の幾何的制御およびその摂動にのみ依存することを保証する。
• ノムイツァの定理を用いて、単連結かつ解析的多様体上では局所キリング場を大域的場に拡張し、核構造を保存する。

実験結果

リサーチクエスチョン

• RQ1 最小超曲面 Γ に、環境等長変換由来でない非自明なジャコビ場がある場合、アレン・カーン方程式の解を構成できるか？
• RQ2 閉多様体上でのアレン・カーン方程式の解のノード集合が、最小超曲面 Γ に収束するための条件は何か？
• RQ3 Γ が対称的であるとき、解のモーゼス指数および退化次数は、ジャコビ作用素 JΓ のスペクトル的性質とどのように関係するか？
• RQ4 この構成は、特に球面 S^{n+1} の円周計量に近い計量の摂動に対しても拡張可能か？
• RQ5 対称性の仮定のもとで、ε → 0 のときのエネルギー Eε(uε) の漸近的挙動は何か？

主な発見

• 任意の ε ∈ (0, ε₀) に対して、ノード集合が最小超曲面 Γ に収束する解 uε が存在する。
• ε → 0 のとき、エネルギー Eε(uε) は (1/(2σ)) · Area(Γ) に収束する。ここで σ > 0 は二重井戦い型ポテンシャル W のみに依存する。
• 解 uε のモーゼス指数 m(uε) はジャコビ作用素 JΓ の指数 ind(JΓ) に等しく、退化次数 n(uε) は null(JΓ) に等しい。
• 解析的計量 g の C^{1,α} パーティクル変形に対しても、変形が Γ の近傍から離れている限り、解が存在する。
• 単連結かつ実解析的多様体上では、g と Γ の近傍で一致する任意の計量 g̃ に対しても解が存在する。これは、局所キリング場が大域的場に拡張可能であるためである。
• 非退化性の代わりに、ker(JΓ) がキリング・ジャコビ場によって張られるという条件を用いることで、パカード＝リトリョの結果を、対称的かつ退化的状況へと一般化した。