[论文解读] The 3D strict separation property for the nonlocal Cahn-Hilliard equation with singular potential

Andrea Poiatti|arXiv (Cornell University)|Mar 14, 2023

Advanced Mathematical Modeling in Engineering被引用 5

一句话总结

本文建立了具有奇异对数电位的非局部 Cahn-Hilliard 方程在三维空间中的严格分离性质，证明了弱解在所有正时间均保持远离纯相 ±1 的一致有界性。该结果解决了高维空间中长期悬而未决的公开问题，并使得证明解收敛至单一平衡态以及获得解的高阶正则性成为可能。

ABSTRACT

We consider the nonlocal Cahn-Hilliard equation with singular (logarithmic) potential and constant mobility in three-dimensional bounded domains and we establish the validity of the instantaneous strict separation property. This means that any weak solution, which is not a pure phase initially, stays uniformly away from the pure phases $\pm1$ from any positive time on. This work extends the result in dimension two for the same equation and gives a positive answer to the long standing open problem of the validity of the strict separation property in dimensions higher than two. In conclusion, we show how this property plays an essential role to achieve higher-order regularity for the solutions and to prove that any weak solution converges to a single equilibrium.

研究动机与目标

• 解决长期悬而未决的公开问题：在三维空间中，具有奇异电位的非局部 Cahn-Hilliard 方程是否满足严格分离性质？
• 建立弱解在任意正时间后均保持远离纯相 ±1 的一致有界性，即使初始状态为混合态。
• 利用严格分离性质证明解的高阶正则性以及收敛至单一平衡态。
• 将先前在二维空间中的结果推广至三维空间，确保在高维空间中分离性质的有效性。

提出的方法

• 基于具有恒定迁移率和奇异对数电位的非局部 Cahn-Hilliard 方程，采用变分框架。
• 运用能量估计与 Poincaré 型不等式控制解的行为，并建立对 ±1 的一致分离性。
• 结合矛盾论证与电位的解析性，证明解会进入单个平衡态的邻域。
• 利用能量恒等式与 $ \nabla\mu $ 的 $ L^1 $-可积性，推导出在 $ V' $ 中的收敛性，随后通过插值获得在 $ L^2 $ 中的强收敛性。
• 依赖严格分离性质确保解始终处于相空间的紧子集内，从而可应用基于解析性的收敛性论证。
• 通过 Poincaré 型估计与电位 $ F $ 在 $ (-1,1) $ 上的解析性，应用 Łojasiewicz–Simon 不等式框架。

实验结果

研究问题

• RQ1 在三维空间中，具有奇异电位的非局部 Cahn-Hilliard 方程是否满足严格分离性质？
• RQ2 能否利用严格分离性质在三维空间中建立弱解的高阶正则性？
• RQ3 具有奇异电位的非局部 Cahn-Hilliard 方程的解在三维空间中是否收敛至单一平衡态？
• RQ4 在假设电位为解析函数且满足严格分离性质的前提下，平衡态收敛是否具有鲁棒性？
• RQ5 在缺乏高维紧嵌入的情况下，三维情形是否可类似处理为二维情形？

主要发现

• 严格分离性质在三维空间中成立：任何初始非纯相的弱解在所有 $ t > 0 $ 时间内均保持远离 ±1 的一致有界性。
• 解 $ \phi $ 在 $ t \to \infty $ 时在 $ L^2 $ 中强收敛至单一平衡态 $ \phi_\infty $，即 $ \|\phi(t) - \phi_\infty\| \to 0 $。
• 在电位 $ F $ 关于 $ (-1,1) $ 为实解析函数的假设下，该收敛性得以保证，而对数电位满足此条件。
• 严格分离性质使得 Łojasiewicz–Simon 不等式得以应用，进而导出 $ \nabla\mu $ 与 $ \partial_t\phi $ 的 $ L^1 $-可积性。
• 由于解与 ±1 处奇点保持一致分离，因此获得了更高的解正则性。
• $ \omega $-极限集 $ \omega(\phi_0) $ 为单点集，意味着解唯一收敛至依赖于初始数据的单一平衡态。