[论文解读] Global existence for a strongly coupled Cahn--Hilliard system with viscosity

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

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

一句话总结

本文建立了具有非线性、非恒定扩散系数（电导率）和一般（可能多值）势的强耦合、黏性Cahn-Hilliard系统弱解的全局存在性。分析采用时间延迟正则化、先验估计和紧致性论证，以处理非线性耦合与非光滑自由能，证明在统一抛物性和对非线性项的结构假设下解的存在性。

ABSTRACT

An existence result is proved for a nonlinear diffusion problem of phase-field type, consisting of a parabolic system of two partial differential equations, complemented by Neumann homogeneous boundary conditions and initial conditions. This system is meant to model two-species phase segregation on an atomic lattice under the presence of diffusion. A similar system has been recently introduced and analyzed in [CGPS11]. Both systems conform to the general theory developed in [Pod06]: two parabolic PDEs, interpreted as balances of microforces and microenergy, are to be solved for the order parameter $ ho$ and the chemical potential~$\mu$. In the system studied in this note, a phase-field equation in $ ho$ fairly more general than in [CGPS11] is coupled with a highly nonlinear diffusion equation for $\mu$, in which the conductivity coefficient is allowed to depend nonlinearly on both variables.

研究动机与目标

• 建立具有非线性、非恒定扩散系数（电导率）和一般（可能多值）势的强耦合Cahn-Hilliard系统全局弱解的存在性。
• 通过允许电导率κ(µ, ρ)为µ和ρ的正有界连续函数（可能非线性），而非常数，推广先前模型。
• 处理自由能势f1为一般凸、正规、下确界连续函数的情形，导致ρ方程中出现多值次微分β(ρ)。
• 在统一抛物性假设（κ ≥ κ* > 0）下证明解的存在性，确保系统在非线性耦合下仍保持统一抛物性。

提出的方法

• 对原系统应用时间延迟正则化，构造近似解，平滑方程并实现先验估计的推导。
• 在多个函数空间中推导先验估计：L∞(0,T;H)、L2(0,T;V)、L∞(0,T;W) 和 L2(0,T;H)，分别针对时间导数和通量。
• 利用紧致性与单调性技术，从正则化系统中取极限，借助L∞空间中的弱*收敛及L2和C0(Q)中的强收敛，处理关键变量的极限。
• 通过ρτ的统一有界性与强收敛，建立非线性项（如g(ρτ)、κ(µτ, ρτ)、∇K(µτ, ρτ)）的收敛性，实现在弱形式中极限的识别。
• 极限系统在弱意义下满足原PDE，包括通过迹收敛实现的Neumann边界条件。
• 证明依赖Gronwall引理控制能量型项的增长，并利用Kirchhoff型积分K(µ,ρ)、K1(µ,ρ)、K2(µ,ρ)的结构，处理非线性扩散。

实验结果

研究问题

• RQ1 对于具有非线性、非恒定扩散系数κ(µ,ρ)的强耦合Cahn-Hilliard系统，是否存在全局弱解？
• RQ2 当自由能势f1为一般凸、正规、下确界连续函数，导致ρ的次微分β(ρ)多值时，是否存在性结果可被推广？
• RQ3 在非恒定电导率κ(µ,ρ)存在的情况下，如何处理化学势µ与序参量ρ之间的非线性耦合？
• RQ4 为从系统的时间正则化逼近中取极限，需要哪些先验估计与紧致性论证？

主要发现

• 对任意T>0，系统在[0,T]×Ω上存在全局弱解(µ, ρ, ξ)，满足a.e. in Q有µ≥0，ρ∈L∞(0,T;W)，ξ∈β(ρ) a.e. in Q。
• 解在迹意义下满足Neumann边界条件，其法向通量κ(µ,ρ)∇µ·ν在Σ上消失。
• 时间导数∂tµ在L2(0,T;H)中有界，Kirchhoff积分K(µ,ρ)的梯度在L∞(0,T;V)中有界，意味着∇µ在L∞(0,T;H)中有界。
• 正则化解在L2(0,T;H)中强收敛，µ a.e. in Q中强收敛，ρ在C0(Q)中强收敛，从而实现非线性项极限的识别。
• 极限解满足原系统的弱形式，包括具有非线性电导率的µ方程与具有多值次微分的ρ方程。
• 证明表明，通量项div(κ(µτ,ρτ)∇µτ)在L2(0,T;H)中收敛至div(κ(µ,ρ)∇µ)，确认极限满足弱意义下的PDE。