[论文解读] Longtime behavior for a generalized Cahn--Hilliard system with fractional operators

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

Nonlinear Partial Differential Equations参考文献 31被引用 4

一句话总结

本文研究了具有奇异势能的广义分数阶Cahn–Hilliard系统的解的长期行为，重点关注相参数y的ω-极限。若第一特征值λ₁ > 0，则化学势µ在无穷远处趋于零，且每个ω-极限点均为平稳解；若λ₁ = 0，则ω-极限满足一个较弱的方程，其中涉及一个非唯一、与时间相关的函数µ∞，并给出了µ∞唯一且为常数的条件。

ABSTRACT

In this contribution, we deal with the longtime behavior of the solutions to the fractional variant of the Cahn-Hilliard system, with possibly singular potentials, that we have recently investigated in the paper `Well-posedness and regularity for a generalized fractional Cahn-Hilliard system' (see arXiv:1804.11290). More precisely, we study the omega-limit of the phase parameter and characterize it completely. Our characterization depends on the first eigenvalue of one of the operators involved: if it is positive, then the chemical potential vanishes at infinity and every element of the omega-limit is a stationary solution to the phase equation; if, instead, the first eigenvalue is 0, then every element of the omega-limit satisfies a problem containing a real function related to the chemical potential. Such a function is nonunique and time dependent, in general, as we show by an example. However, we give sufficient conditions in order that this function be uniquely determined and constant.

研究动机与目标

• 表征广义分数阶Cahn–Hilliard系统中相参数y的ω-极限。
• 确定化学势µ在t → ∞时的渐近行为。
• 在算子A的谱条件不同时，分析ω-极限集的结构。
• 识别出使得极限化学势函数µ∞唯一且为常数的充分条件。
• 扩展对具有奇异非线性项的非局部、分数阶Cahn–Hilliard系统长期动力学行为的理解。

提出的方法

• 利用L²(Ω)上自伴、单调、无界算子A和B的分数阶幂Ar和Bσ来表述该系统，其预解算子具有紧性。
• 采用涉及次微分β = ∂bβ和C¹-光滑扰动π的变分形式，其中f = bβ + π。
• 在L²(0,T; VσB)和L²(0,T; VrA)中应用弱收敛技术，分析序列(yn, µn)在t → ∞时的极限。
• 利用Poincaré型不等式和守恒律（如均值保持）来控制范数并推导极限方程。
• 在极限中导出变分不等式，根据λ₁ > 0或λ₁ = 0区分不同情形。
• 建立µn弱收敛于µ∞ ∈ L∞loc([0, ∞))，并证明当λ₁ = 0时，µ∞为与空间无关的函数。

实验结果

研究问题

• RQ1 广义分数阶Cahn–Hilliard系统中相参数y的ω-极限集的结构是什么？
• RQ2 算子A的第一特征值λ₁如何影响化学势µ的长期行为？
• RQ3 当λ₁ = 0时，在何种条件下极限函数µ∞唯一且为常数？
• RQ4 当λ₁ > 0时，ω-极限集能否表征为平稳解的集合？
• RQ5 当λ₁ = 0时，yω所满足的极限方程的性质是什么？它与平稳情况有何不同？

主要发现

• 若λ₁ > 0，则当t → ∞时有µ(t) → 0，且ω-极限集中每个元素yω均为相方程B²σyω + f′(yω) = u∞的平稳解。
• 若λ₁ = 0，则每个yω几乎处处满足弱形式方程B²σyω + f′(yω) = u∞ + µ∞(t)，其中µ∞ ∈ L∞loc([0, ∞))不一定是唯一的或常数。
• 构造了一个例子以说明当λ₁ = 0时，µ∞在一般情况下可以是非常数且非唯一的。
• 提供了使µ∞唯一确定且为常数的充分条件，从而确保极限方程以强意义成立。
• 在附加假设y取值于紧区间[a,b]且f′在该区间上为Lipschitz的条件下，极限方程变为B²σyω + f′(yω) = µ∞ + u∞，其中µ∞为唯一且常数的函数。
• 极限函数y∞在时间上为常数，且在[0,T]上等于yω，这意味着yω在ω-极限中为平稳态。