[論文レビュー] From nonlocal to local Cahn-Hilliard equation

Stefano Melchionna, Helene Ranetbauer+2 more|arXiv (Cornell University)|Mar 26, 2018

Solidification and crystal growth phenomenaMaterials Science参考文献 31被引用数 17

ひとこと要約

この論文は、周期的領域における非局所核がデルタ関数に近づく際、非局所 Cahn-Hilliard 方程式の弱解が局所 Cahn-Hilliard 方程式の解に収束することを確立する。証明は、H⁻¹勾配流構造、一様な H¹ 評価、Ponce による Poincaré 型不等式に依拠し、コンパクト性と極限における強収束を保証する。

ABSTRACT

In this paper we prove the convergence of a nonlocal version of the Cahn-Hilliard equation to its local counterpart as the nonlocal convolution kernel is scaled using suitable approximations of a Dirac delta in a periodic boundary conditions setting. This convergence result strongly relies on the dynamics of the problem. More precisely, the $H^{-1}$-gradient flow structure of the equation allows to deduce uniform $H^1$ estimates for solutions of the nonlocal Cahn-Hilliard equation and, together with a Poincaré type inequality by Ponce, provides the compactness argument that allows to prove the convergence result.

研究の動機と目的

• 相分離およびスピンダル分解の文脈において、非局所から局所 Cahn-Hilliard モデルへの移行を厳密に正当化すること。
• 非局所相互作用カーネルがデルタ関数に収束する際の弱解の漸近的挙動を分析すること。
• 局所解への収束を保証するために、非局所設定における一様な正則性とコンパクト性を確立すること。
• 境界条件の制御が境界上で直接得られない場合に生じる極限における境界条件の課題に対処すること。
• 周期的境界条件下における非局所および局所相場モデルの勾配流構造の理解を拡張すること。

提案手法

• 非局所 Cahn-Hilliard 方程式の H⁻¹ 勾配流構造を用いて、解に対する一様な H¹ 評価を導出する。
• Ponce による Poincaré 型不等式を適用し、H¹ 半ノルムを制御し、極限におけるコンパクト性を保証する。
• ε → 0 の際にデルタ関数に近づく、$ K_\varepsilon(x,y) = \varepsilon^{-d}|x-y|^{-2}\rho\left(\frac{|x-y|}{\varepsilon}\right) $ の形の畳み込みカーネルの族を用いる。
• 変分形式と超微分法を用いて、エネルギー項およびフラックス項における極限の取り扱いを行う。
• 優越収束定理と $ L^2(0,T;L^2) $ における強収束を用いて、非局所エネルギーが局所エネルギーに収束することを示す。
• 極限が弱い、時間に積分された変分形式で局所 Cahn-Hilliard 方程式を満たすことを確立する。

実験結果

リサーチクエスチョン

• RQ1 非局所カーネルがデルタ関数に近づく際、非局所 Cahn-Hilliard 方程式の弱解が局所 Cahn-Hilliard 方程式の弱解に収束するか？
• RQ2 このような収束を可能にする非局所方程式の構造的性質（例：勾配流、エネルギー評価）は何か？
• RQ3 Ponce による Poincaré 型不等式は、極限解のコンパクト性と正則性にどのように寄与するか？
• RQ4 特に化学ポテンシャルのみが制約されている場合に、境界条件が極限に与える影響は何か？
• RQ5 この収束結果は、ノイマン条件やディリクレ条件などの他の境界条件へ拡張可能か？

主な発見

• 非局所 Cahn-Hilliard 方程式の弱解は、$ \varepsilon \to 0 $ の際に $ L^2(0,T;H^1(Ω)) $ で強く収束し、局所 Cahn-Hilliard 方程式の弱解に収束する。
• 収束は、H⁻¹ 勾配流構造と Poincaré 型不等式から得られる一様な $ H^1 $ 評価によって確立される。
• 極限解 $ u $ は $ L^2(0,T;H^2(\Omega)) $ に属し、弱形式が適切に定義される十分な正則性を持つことが保証される。
• 非局所エネルギー $ \tilde{E}_\varepsilon(u_\varepsilon) $ は $ L^1(0,T) $ で局所エネルギー $ \tilde{E}(u) $ に収束する。これは極限の取り扱いに不可欠である。
• 極限は弱い、時間に積分された変分形式で局所 Cahn-Hilliard 方程式を満たす：すべての滑らかなテスト関数 $ \varphi $ に対して、$ \int_0^T \int_\Omega (\partial_t u)\varphi \,dx\,dt - \int_0^T \int_\Omega \nabla u \cdot \nabla \Delta\varphi \,dx\,dt - \int_0^T \int_\Omega F'(u) \Delta\varphi \,dx\,dt = 0 $。
• この結果は、非局所モデルの格子に基づく導出において物理的に関連する三次元の周期的境界条件下で成り立つ。