[論文レビュー] Stable phase interfaces in the van der Waals--Cahn--Hilliard theory

Yoshihiro Tonegawa, Neshan Wickramasekera|arXiv (Cornell University)|Jul 13, 2010

nanoparticles nucleation surface interactions参考文献 14被引用数 7

ひとこと要約

本稿では、van der Waals–Cahn–Hilliardエネルギー汎関数の均一有界かつ安定な臨界点の極限界面が、次元 $ n \leq 7 $ では埋め込まれた滑らかな安定最小超曲面であり、より高い次元ではHausdorff次元が $ n-8 $ 以下の特異集合を除いて滑らかな安定最小超曲面であることが確立される。この結果は、変分法的理論と最近の高多重度変分法の正則性定理を用いて、エネルギー最小化子に限らない広いクラスの安定臨界点へ正則性理論を拡張するものである。

ABSTRACT

We prove that any limit-interface corresponding to a locally uniformly bounded, locally energy-bounded sequence of stable critical points of the van der Waals--Cahn--Hilliard energy functionals with perturbation parameter tending to 0 is supported by an embedded smooth stable minimal hypersurface in low dimensions and an embedded smooth stable minimal hypersurface away from a closed singular set of co-dimension at least 7 in general dimensions. This result was previously known in case the critical points are local minimizers of energy, in which case the limit-hypersurface is locally area minimizing and its (normalized) multiplicity is 1 a.e. Our theorem uses earlier work of the first author establishing stability of the limit-interface as an integral varifold, and relies on a recent general theorem of the second author for its regularity conclusions in the presence of higher multiplicity.

研究の動機と目的

• van der Waals–Cahn–Hilliardモデルにおける極限界面の正則性理論を、エネルギー最小化子に限らないより広いクラスの安定臨界点へ拡張すること。
• 均一有界なエネルギーおよび $ L^\infty $-ノルムを持つ安定臨界点が、低次元における滑らかな安定最小超曲面を極限界面として得ることを確立すること。
• 次元 $ n \geq 8 $ の場合、極限界面がHausdorff次元が $ n-8 $ 以下の特異集合を除いて滑らかであり、既知の面積最小化電流に関する結果を一般化すること。
• エネルギー最小化ではなく安定性のみが、拡散界面モデルにおける極限界面の滑らかさを保証することを示すことで、正則性理論のギャップを埋めること。

提案手法

• Cahn–Hilliardエネルギー汎関数の臨界点の極限 $ \varepsilon \to 0^+ $ を分析するため、$ \Gamma $-収束と変分法理論の枠組みを用いる。
• 第一著者の以前の結果を適用し、極限界面が安定整数変分法であることを保証し、一般化された第二基本形式が安定性不等式を満たすことを示す。
• 第二著者の最近の高多重度変分法に対する安定整数変分法の一般正則性定理を用いて、余次元7以上の特異集合を除いて滑らかさを導出する。
• 座標近傍におけるレベル集合の全曲率を制御するため、ブロー・アップ法とco-area公式およびコーシー–シュワルツ不等式による曲率推定を用いる。
• 曲線が少なくとも3つの成分を持つ場合、全曲率が正の定数以上に下から有界であるという事実に基づく背理法を用いる。これは極限で曲率が消えることと矛盾する。
• 分区の単位と局所座標近傍を用いて曲率推定をグローバル化し、界面の全曲率に対する一様な上限を得る。

実験結果

リサーチクエスチョン

• RQ1 van der Waals–Cahn–Hilliardモデルにおける極限界面の正則性は、エネルギー最小化よりも弱い仮定（安定性）のもとでも確立可能か？
• RQ2 臨界点が最小化子でないが安定な場合、極限界面の構造はどのようになるか？
• RQ3 臨界点が安定であっても、高次元（$ n \geq 8 $）では極限界面が滑らかのままであるか、それとも特異集合が現れるか？
• RQ4 面積最小化電流の正則性理論を、Cahn–Hilliard汎関数の安定臨界点へ拡張可能か？
• RQ5 次元 $ n \geq 8 $ の場合、極限界面における特異集合の正確な性質は何か？また、次元に依存してどのように変化するか？

主な発見

• 次元 $ n \leq 7 $ では、任意の均一有界かつ安定な臨界点列の極限界面は、埋め込まれた滑らかな安定最小超曲面である。
• 次元 $ n \geq 8 $ では、極限界面はHausdorff次元が $ n-8 $ 以下の閉じた特異集合を除いて滑らかな安定最小超曲面であり、$ n = 8 $ の場合には特異集合が離散的である。
• $ s \in (0,1) $ に対して、部分列をとった後、界面領域 $ \{ |u_{\varepsilon_i}| < s \} $ が局所Hausdorff距離で極限界面に収束する。
• ブロー・アップ解析におけるレベル集合 $ \{ u_{\varepsilon_i} = t \} $ の曲率は全 variation において0に近づき、非ゼロの全曲率を持つ複数の成分の存在と矛盾する。
• 証明は、曲線が少なくとも3つの成分を持つ場合、全曲率が $ \varepsilon_i $ に依存しない正の定数で下から有界であるという事実に基づく背理法に依存しており、これは曲率推定が消えることと矛盾する。
• 従来の面積最小化電流に対する正則性結果を、安定臨界点へ一般化し、低次元では安定性のみで滑らかさが保証され、高次元では部分的正則性が成立することを示した。