[论文解读] On a Cahn--Hilliard system with convection and dynamic boundary conditions

Pierluigi Colli, Gianni Gilardi+1 more|arXiv (Cornell University)|Jan 1, 2017

Solidification and crystal growth phenomena参考文献 29被引用 2

一句话总结

本文研究了一类带有对流项和动态边界条件的Cahn–Hilliard系统，涵盖粘性与纯Cahn–Hilliard情形，以及常规、奇异或双障碍势能的情况。通过完整的正则化方法与Galerkin逼近方案，作者在对速度场假设最弱的条件下，建立了弱解的存在性、正则性、连续依赖性、一致有界性以及对数势能的严格分离性质。

ABSTRACT

This paper deals with an initial and boundary value problem for a system coupling equation and boundary condition both of Cahn--Hilliard type; an additional convective term with a forced velocity field, which could act as a control on the system, is also present in the equation. Either regular or singular potentials are admitted in the bulk and on the boundary. Both the viscous and pure Cahn--Hilliard cases are investigated, and a number of results is proven about existence of solutions, uniqueness, regularity, continuous dependence, uniform boundedness of solutions, strict separation property. A complete approximation of the problem, based on the regularization of maximal monotone graphs and the use of a Faedo--Galerkin scheme, is introduced and rigorously discussed.

研究动机与目标

• 分析带有对流和动态边界条件的Cahn–Hilliard系统，将经典模型扩展至包含体相与表面演化的形式。
• 解决具有一般势能（包括奇异和非光滑双阱型）的初边值问题的适定性问题。
• 在对速度场假设最弱的条件下，建立解的连续依赖性、正则性与一致有界性。
• 证明对数势能下的严格分离性质，确保解远离临界值。
• 提出并严格证明一种结合最大单调图正则化与Galerkin方法的完整逼近方案。

提出的方法

• 在体内与边界上建立Cahn–Hilliard型方程的耦合系统，通过给定的速度场u引入对流项。
• 通过f′ = β + π建模势能，其中β为凸函数的次微分，π为Lipschitz连续扰动，从而可处理奇异与非光滑势能。
• 为ρ与µ引入动态边界条件，包含时间导数与表面Laplacian算子，以描述界面动力学。
• 对最大单调图（如次微分）应用正则化技术，以处理非光滑势能。
• 采用Galerkin方法在有限维子空间中构造近似解。
• 推导能量估计并应用Gronwall引理证明收敛性与稳定性，从而确保弱解的存在性与唯一性。

实验结果

研究问题

• RQ1 在何种条件下，带有对流与动态边界条件的Cahn–Hilliard系统存在唯一的弱解？
• RQ2 在存在对流与动态边界动力学的情况下，对数势能是否仍能保持严格分离性质？
• RQ3 解的正则性与有界性如何依赖于速度场的可积性与时间正则性？
• RQ4 粘性项（τΩ, τΓ > 0）在确保解的一致有界性与正则性方面起何作用？
• RQ5 基于正则化与Galerkin方法的逼近方案，对该类非光滑、耦合PDE系统在多大程度上可被严格证明？

主要发现

• 作者证明了在带有对流与动态边界条件的粘性与纯Cahn–Hilliard系统中，弱解的存在性、唯一性与正则性。
• 基于最大单调图正则化与Galerkin方法的完整逼近方案被严格建立并得到验证。
• 当τΩ与τΓ为正时，证明了序参量ρ与化学势µ在边界处的一致有界性。
• 对数势能下建立了严格分离性质，确保几乎处处在时空域内满足|ρ| < 1 − δ（δ > 0）。
• 证明了解对速度场u的连续依赖性，解的范数被控制在∥u∥H¹(0,T;L³(Ω))范围内。
• 在对u的假设最弱的条件下，解满足完整估计式(2.56)，包括(µ, µΓ)与(ρ, ρΓ)在L∞(0,T;W)中的有界性。