[論文レビュー] Equation and dynamic boundary condition of Cahn-Hilliard type with singular potentials

Pierluigi Colli, T. Fukao|arXiv (Cornell University)|Feb 18, 2015

Solidification and crystal growth phenomena参考文献 15被引用数 5

ひとこと要約

本稿は、体相および界面相を含む全質量保存則の下で、動的境界条件および特異的ポテンシャルを有するCahn–Hilliard系の適切性を確立し、弱解の存在および連続的依存性を証明する。さらに、一般な二重井戸型ポテンシャルのクラスに対して高い正則性を確立し、強い解の存在を保証する。

ABSTRACT

The well-posedness of a system of partial differential equations and dynamic boundary conditions, both of Cahn-Hilliard type, is discussed. The existence of a weak solution and its continuous dependence on the data are proved using a suitable setting for the conservation of a total mass in the bulk plus the boundary. A very general class of double-well like potentials is allowed. Moreover, some further regularity is obtained to guarantee the strong solution.

研究の動機と目的

• 滑らかな境界を有する有界領域における動的境界条件を伴うCahn–Hilliard系の適切性を確立すること。
• 体相および界面相を含む全質量保存則の下で、弱解の存在および連続的依存性を証明すること。
• 最大単調写像およびリプシッツ摂動の組み合わせによる一般な特異的二重井戸型ポテンシャルのクラスへの解析の拡張。
• 適切な仮定の下で強い解の存在を保証するための、より高い正則性結果の導出。
• 動的境界条件および非滑らかな非線形項を有する系のための厳密な関数解析的枠組みの提供。

提案手法

• 体相および界面におけるCahn–Hilliard型方程式の連立系を定式化し、法線微分およびLaplace–Beltrami作用素を含む動的境界条件を導入する。
• 全質量保存則を導入：順序パラメータの体相および界面相における積分の和が時間的に一定である。
• トレースおよび法線微分条件を組み込んだ、ヒルベルト空間 $\mathbf{H}_0$ およびその稠密部分空間 $\mathbf{V}_0$ に基づく変分的枠組みを用いる。
• 部分微分法を用いて、エネルギーに関連する凸汎関数 $\varphi$ の部分微分を特徴づけ、$\partial\varphi(\mathbf{z}) = (-\Delta z, \partial_\nu z - \Delta_\Gamma z_\Gamma)$ を特定する。
• 楕円型正則性理論を用いて、解のより高いソボレフ正則性を導出し、強い解の存在に至る。
• コンパクト埋め込みおよび弱収束の技法を用いて、ガラーキン近似における極限を取る処理を行い、存在性を確立する。

実験結果

リサーチクエスチョン

• RQ1 動的境界条件および特異的ポテンシャルを有するCahn–Hilliard系に対して、弱解が存在するか？
• RQ2 提案された系において、体相および界面相の寄与を含めた全質量が時間的に保存されるか？
• RQ3 初期データおよびポテンシャルに関する適切な正則性仮定の下で、強い解が得られるか？
• RQ4 最大単調写像とリプシッツ摂動の和として定義される特異的ポテンシャルの構造が、適切性に与える影響は何か？
• RQ5 動的境界条件は、質量保存などの物理的整合性を保つために果たす役割は何か？

主な発見

• 初期データおよびポテンシャルに関する適切な仮定の下で、動的境界条件および特異的ポテンシャルを有するCahn–Hilliard系に対して弱解が存在する。
• 全質量、すなわち $u$ の体積積分と $u_\Gamma$ の界面積分の和が時間的に保存され、$\int_\Omega u(t)\,dx + \int_\Gamma u_\Gamma(t)\,d\Gamma = \int_\Omega u_0\,dx + \int_\Gamma u_{0\Gamma}\,d\Gamma$ を満たす。
• エネルギー汎関数 $\varphi$ の部分微分は、$\partial\varphi(\mathbf{z}) = (-\Delta z, \partial_\nu z - \Delta_\Gamma z_\Gamma)$ と特徴づけられ、定義域が $\mathbf{W} \cap \mathbf{V}_0$ であるため、正しい変分的構造が保証される。
• 解のより高い正則性が確立され、$u \in H^2(\Omega)$ および $u_\Gamma \in H^2(\Gamma)$ が成り立つ。これにより、強い解の存在が保証される。
• 弱位相における初期データへの連続的依存性が成立し、摂動に対して安定性が保証される。
• 最大単調写像とリプシッツ成分への分解を用いて、非常に一般な二重井戸型ポテンシャル（特異的を含む）を扱えるフレームワークが構築される。