[論文レビュー] A Natural Min-Max Construction for Ginzburg-Landau Functionals

Daniel Stern|arXiv (Cornell University)|Dec 2, 2016

Mathematical Analysis and Transform Methods参考文献 16被引用数 7

ひとこと要約

この論文は、コンパクトなリーマン多様体上でのギンツブルグ＝ランドー汎関数に対して自然なミニマックス構成を導入し、エネルギーが |log ε| に比例する非自明な解を生成する。第一ド・ラームコhomology が自明であるとき、エネルギーは非自明で静的な、可rectifiable な (n−2)-変体に集中し、codimension-two プレートウ問題の変分的解法を提供する。

ABSTRACT

We use min-max techniques to produce nontrivial solutions $u_ε:M o \mathbb{R}^2$ of the Ginzburg-Landau equation $Δu_ε+\frac{1}{ε^2}(1-|u_ε|^2)u_ε=0$ on a given compact Riemannian manifold, whose energy grows like $|\logε|$ as $ε o 0$. When the degree one cohomology $H^1_{dR}(M)=0$, we show that the energy of these solutions concentrates on a nontrivial stationary, rectifiable $(n-2)$-varifold $V$.

研究の動機と目的

• 任意のコンパクトなリーマン多様体上でのギンツブルグ＝ランドー汎関数の非自明な臨界点を構成する自然なミニマックス手続きを開発すること。
• ε→0 のときの制御された成長を保証するため、構成された解のエネルギーに |log ε| 階の一様なエネルギー評価を確立すること。
• H¹_dR(M)=0 の条件下で、これらの解のエネルギー集中を分析し、静的で可rectifiable な (n−2)-変体への収束を示すこと。
• ギンツブルグ＝ランドー汎関数の変分的枠組みを拡張し、S¹ への特異な調和写像をモデル化する解を生み出し、codimension-two プレートウ問題の新たな存在理論を提供すること。

提案手法

• 非自明な位相的構造をギンツブルグ＝ランドーエネルギーを通じて捉えるために、多様体から R² への連続的な写像族を用いたミニマックススキームを構築する。
• 自明な最小化子を避ける自然な競合族に依存し、ミニマックス値が ε に依存せず、正の値をとることを保証する。
• coarea 公式とホッジ分解を用いて、uε の正規化勾配に付随する現在の Lp ノルムを制御する。
• η-楕円性定理と楕円的正則性を用いて、現在の共調和部分に対する一様な L² 界を導出し、エネルギー測度のコンパクト性を保証する。
• 重要なステップとして、dγε の L¹ ノルムが一様に有界であることを示す。ここで γε = j(uε/|uε|) であり、dγε の台が |uε|² ≤ 3/4 となる集合上にあり、|dγε| の点ごとの有界性を活用する。
• ド・ラームコhomology が消えるという仮定の下で、正規化エネルギー測度が必要な静的および可rectifiable 条件を満たすことを示すことで、静的 (n−2)-変体への収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクトなリーマン多様体 Mⁿ に対して、自然なミニマックス構成は、ε に一様に依存するエネルギーを持つ非自明な解を生成できるか？
• RQ2 H¹_dR(M)=0 のとき、ε→0 の極限におけるエネルギー集中の漸近的構造は何か？
• RQ3 ミニマックス解のエネルギー集中は、静的で可rectifiable な (n−2)-変体を生じるか。その結果、codimension-two プレートウ問題の変分的解法が得られるか？
• RQ4 H¹_dR(M)≠0 のとき、ミニマックス構成はどのように振る舞い、コンパクト性の欠如にもかかわらず、変体構造は回復可能か？

主な発見

• 任意のコンパクトなリーマン多様体 Mⁿ に対して、ミニマックス構成により、ギンツブルグ＝ランドー方程式の非自明な解 uε:M→R² の族が得られ、エネルギーが正の定数 c, C（M に依存）を用いて c|log ε| ≤ Eε(uε) ≤ C|log ε| を満たす。
• H¹_dR(M)=0 のとき、正規化エネルギー測度 μεj := eεj(uεj)/|log εj| dv_g は、M 上の非自明で静的で可rectifiable な (n−2)-変体 V の質量測度に弱収束する。
• エネルギー集中は、解 uε が C∞_loc で S¹ に値をとる調和写像に収束する領域とは離れている。
• 極限での変体が静的で可rectifiable であることを示すために、d*ξε に対する一様な Lp 界（p < n/(n−1)）を確立した。
• 境界データや最小化に依存せず、代わりに位相的に非自明なミニマックスパスを用いることで、エネルギーと集中が制御された解を生成する。
• H¹_dR(M)≠0 の場合、ミニマックス解は still |log ε| 階のエネルギー評価を満たすが、エネルギーが変体に集中するとは限らない。しかし、著者らはミニマックス構造の性質から、このような集中が期待されるものと考えている。