[论文解读] Cahn-Hilliard equation with dynamic boundary conditions and mass constraint on the boundary

Pierluigi Colli, T. Fukao|arXiv (Cornell University)|Dec 5, 2014

Solidification and crystal growth phenomena参考文献 17被引用 4

一句话总结

本文通过引入两个拉格朗日乘子——一个用于体相，一个用于边界——建立了具有动态边界条件和边界质量约束的Cahn–Hilliard方程的适定性。利用次微分理论与变分不等式方法，证明了在约束条件下解的存在性、唯一性及连续依赖性，通过拉格朗日乘子实现完整表征，并在逼近与极限过程中获得一致的先验估计。

ABSTRACT

The well-known Cahn-Hilliard equation entails mass conservation if a suitable boundary condition is prescribed. In the case when the equation is also coupled with a dynamic boundary condition, including the Laplace-Beltrami operator on the boundary, the total mass on the inside of the domain and its trace on the boundary should be conserved. The new issue of this paper is the setting of a mass constraint on the boundary. The effect of this additional constraint is the appearance of a Lagrange multiplier; in fact, two Lagrange multipliers arise, one for the bulk, the other for the boundary. The well-posedness of the resulting Cahn-Hilliard system with dynamic boundary condition and mass constraint on the boundary is obtained. The theory of evolution equations governed by subdifferentials is exploited and a complete characterization of the solution is given.

研究动机与目标

• 解决在具有动态边界条件的Cahn–Hilliard系统中引入边界质量约束的数学挑战。
• 确保体相与边界的质量守恒，这在标准动态边界条件下并非自动满足。
• 由于额外约束，通过两个拉格朗日乘子（一个用于体相，一个用于边界）表征解。
• 利用变分法与演化方程技术，建立解的存在性、唯一性及连续依赖性。
• 通过抽象演化包含式与正则化方法，将Cahn–Hilliard系统理论扩展至包含非标准边界质量约束的情形。

提出的方法

• 将系统表述为由次微分控制的抽象演化包含式，包含具有动态边界条件的Cahn–Hilliard方程。
• 引入拉格朗日乘子以强制执行边界质量约束，从而产生两个乘子：一个用于体相，一个用于边界。
• 通过方程中极大单调图的Moreau–Yosida正则化构造解，确保近似问题的可解性。
• 利用能量方法与泛函分析工具，为正则化问题推导一致的先验估计。
• 在正则化参数 ε → 0 与粘性参数 τ → 0 时取极限，依赖于Sobolev空间与Lebesgue空间中的弱与强收敛论证。
• 通过在正则化系统中取极限证明解的存在性，其中所有解分量与乘子均收敛。

实验结果

研究问题

• RQ1 如何在具有动态边界条件的Cahn–Hilliard方程中数学地强制执行边界质量约束？
• RQ2 当体相与边界质量守恒均需满足时，拉格朗日乘子在解表征中起什么作用？
• RQ3 能否利用变分法与次微分方法，在此类边界质量约束下建立系统的适定性？
• RQ4 解的正则性与收敛性特性如何依赖于粘性参数 τ 与正则化参数 ε？
• RQ5 边界质量约束对解的长期行为与稳定性有何影响？

主要发现

• 该系统在抽象演化包含意义下存在唯一解，且解及其分量通过两个拉格朗日乘子表征。
• 解满足 v ∈ C([0,T]; V₀) 与 vΓ ∈ C([0,T]; VΓ)，表明状态变量在时间上具有强连续性。
• 为正则化问题建立了统一的先验估计，从而在 ε → 0 与 τ → 0 时实现收敛。
• 极限解满足原始系统，且质量约束通过拉格朗日乘子 λ 强制执行。
• 纯Cahn–Hilliard情形（τ = 0）的解作为黏性问题的极限获得，确认该情形下同样具有适定性。
• 辅助量 v* 与 λ 在一般情况下不唯一，但解 v 仍唯一确定。