[论文解读] Existence of weak solutions to a cross-diffusion Cahn-Hilliard type system

Virginie Ehrlacher, Greta Marino+1 more|arXiv (Cornell University)|Jul 2, 2020

Solidification and crystal growth phenomena参考文献 36被引用 9

一句话总结

本文建立了具有退化迁移率和单一相分离组分的交叉扩散Cahn-Hilliard系统弱解的全局存在性。通过利用系统的形式梯度流结构，并借助一个辅助变分问题将有界性-熵方法进行扩展，作者克服了缺乏先验估计的困难，在时间离散的逼近格式中严格取极限。

ABSTRACT

The aim of this article is to study a Cahn-Hilliard model for a multicomponent mixture with cross-diffusion effects, degenerate mobility and where only one of the species does separate from the others. We define a notion of weak solution adapted to possible degeneracies and our main result is (global in time) existence. In order to overcome the lack of a-priori estimates, our proof uses the formal gradient flow structure of the system and an extension of the boundedness by entropy method which involves a careful analysis of an auxiliary variational problem. This allows to obtain solutions to an approximate, time-discrete system. Letting the time step size go to zero, we recover the desired weak solution where, due to their low regularity, the Cahn-Hilliard terms require a special treatment.

研究动机与目标

• 建立具有交叉扩散和退化迁移率的多组分Cahn-Hilliard系统弱解全局存在的证明。
• 解决由于Cahn-Hilliard项的退化性和低正则性而导致缺乏先验估计的挑战。
• 构建一个与退化性及仅一个物种（u₀）发生相分离的约束相容的弱解框架。
• 将有界性-熵方法扩展至处理该系统非标准结构，特别是仅作用于u₀的退化Ginzburg-Landau能量。
• 在时间离散、半隐式逼近格式中严格取极限，以在连续时间设定下恢复弱解。

提出的方法

• 利用系统的正式梯度流结构来指导近似解的构造。
• 引入一个辅助变分问题，以将有界性-熵方法扩展至退化、交叉扩散的情形。
• 构建时间离散、半隐式的格式，其中化学势μ通过能量E(𝐮)的泛函导数定义。
• 通过分析特征函数χ_{M^ε,c(t)}和截断技术，建立关键项（如u₀uᵢ∇w₀）的弱收敛性。
• 通过弱紧致性和L^p空间中的强收敛性，完成τ→0⁺的极限过程，依赖于Lebesgue控制收敛定理。
• 通过在L²((0,T);H¹(Ω))中取测试函数，推导出最终的弱形式，初始条件通过紧致性与稠密性论证恢复。

实验结果

研究问题

• RQ1 对于具有退化迁移率和交叉扩散的多组分Cahn-Hilliard系统，其中仅一个物种发生相分离，弱解是否存在？
• RQ2 如何将有界性-熵方法扩展至处理具有退化迁移率和非对称交叉扩散项的系统？
• RQ3 当无法期望标准H²正则性时，此类系统的弱解应如何定义？
• RQ4 当由于退化性而缺乏先验估计时，如何在时间离散逼近格式中取极限？
• RQ5 辅助变分问题在控制解在退化区域和相界面附近的行为中起什么作用？

主要发现

• 作者证明了具有退化迁移率和单一相分离组分（u₀）的交叉扩散Cahn-Hilliard系统弱解的全局存在性。
• 解满足几乎处处在(0,T)×Ω上，对所有i=0,…,n，有0 ≤ uᵢ ≤ 1且∑uᵢ = 1的点态约束。
• 化学势μ被定义为能量E(𝐮)的泛函导数，其中仅对u₀包含退化Ginzburg-Landau项。
• 时间离散格式的极限给出一个弱形式，其中时间导数∂ₜuᵢ属于L²((0,T);(H¹(Ω))′)。
• 交叉扩散项u₀uᵢ∇w₀的收敛性被识别为κᵢJ，其中κᵢ = uᵢ/(1−u₀)，J = (1−u₀)u₀∇w₀。
• 初始条件uᵢ(0,⋅) = uᵢ⁰通过稠密性和弱紧致性论证得以恢复。