论文标题
在非本地Cahn-Hilliard模型上,允许尖锐的接口
On a nonlocal Cahn-Hilliard model permitting sharp interfaces
论文作者
论文摘要
出现了一种非局部Cahn-Hilliard模型,具有双孔障碍物类型的非平滑电位,可促进溶液中尖锐的接口。为了捕获粒子之间的远距离相互作用,定义了非局部金堡 - 兰道能量功能,该功能恢复了消失的非局部相互作用的经典(局部)模型。与始终导致扩散界面的局部Cahn-Hilliard问题相反,提出的非局部模型可以将严格的分离成该物质的纯阶段。在这里,潜在的缺乏平稳性对于确保上述尖锐的界面特性至关重要。从数学上讲,这引入了其他不平等约束,这些约束以弱形式导致变异不等式的耦合系统,在每个时间实例可以作为约束优化问题来重述。我们证明了半分化和连续的时间较弱的解决方案的适当性和规律性,并得出了纯相位的条件。此外,我们基于有限元素和可以有效实现的隐式时间步进方法来开发问题的离散化。最后,我们通过一个和两个空间维度的几个数值实验来说明我们的理论发现,这些实验突出了局部和非局部溶液的特征以及非局部模型的尖锐界面特性的差异。
A nonlocal Cahn-Hilliard model with a nonsmooth potential of double-well obstacle type that promotes sharp interfaces in the solution is presented. To capture long-range interactions between particles, a nonlocal Ginzburg-Landau energy functional is defined which recovers the classical (local) model for vanishing nonlocal interactions. In contrast to the local Cahn-Hilliard problem that always leads to diffuse interfaces, the proposed nonlocal model can lead to a strict separation into pure phases of the substance. Here, the lack of smoothness of the potential is essential to guarantee the aforementioned sharp-interface property. Mathematically, this introduces additional inequality constraints that, in a weak form, lead to a coupled system of variational inequalities which at each time instance can be restated as a constrained optimization problem. We prove the well-posedness and regularity of the semi-discrete and continuous in time weak solutions, and derive the conditions under which pure phases are admitted. Moreover, we develop discretizations of the problem based on finite elements and implicit-explicit time stepping methods that can be realized efficiently. Finally, we illustrate our theoretical findings through several numerical experiments in one and two spatial dimensions that highlight the differences in features of local and nonlocal solutions and also the sharp interface properties of the nonlocal model.