[论文解读] 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系统的适定性。
• 在包含体相与界面相的总质量守恒定律下，证明弱解的存在性与连续依赖性。
• 通过极大单调图与Lipschitz扰动的分解，将分析推广至非常一般的奇异双势阱势能类。
• 推导更高正则性结果，以在适当假设下确保强解的存在性。
• 为具有动态边界条件与非光滑非线性项的系统提供严谨的泛函分析框架。

提出的方法

• 在体相与边界上建立Cahn–Hilliard型方程的耦合系统，动态边界条件涉及法向导数与Laplace–Beltrami算子。
• 引入总质量守恒定律：体相与界面相的序参量积分之和在时间上保持恒定。
• 基于Hilbert空间 $\mathbf{H}_0$ 及其稠密子空间 $\mathbf{V}_0$ 构建变分框架，整合迹与法向导数条件。
• 应用次微分微分法刻画与能量相关的凸泛函 $\varphi$ 的次微分，识别出 $\partial\varphi(\mathbf{z}) = (-\Delta z, \partial_\nu z - \Delta_\Gamma z_\Gamma)$。
• 利用椭圆正则性理论推导解的更高Sobolev正则性，从而保证强解的存在性。
• 依赖紧嵌入与弱收敛技术，在Galerkin逼近中取极限，建立解的存在性。

实验结果

研究问题

• RQ1 在具有动态边界条件与奇异势能的Cahn–Hilliard系统中，弱解是否存在？
• RQ2 在所提出的系统下，体相与界面相共同贡献的总质量是否在时间上保持守恒？
• RQ3 在初始数据与势能满足适当正则性假设下，能否获得强解？
• RQ4 作为极大单调图与Lipschitz扰动之和定义的奇异势能结构，如何影响系统的适定性？
• 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)$，从而保证强解的存在性。
• 解在弱拓扑下关于初始数据连续依赖，确保在扰动下具有稳定性。
• 通过将势能分解为极大单调图与Lipschitz分量，该框架可容纳非常一般的双势阱势能类，包括奇异势能。