基于有限元方法的Cahn-Hilliard方程能量不变二次化数值模拟
Numerical Simulation of Energy Invariant Quadratic Cahn-Hilliard Equation Based on Finite Element Method
摘要: 文章分析了Cahn-Hilliard方程的能量不变二次化法的能量稳定性。首先分析了Cahn-Hilliard方程是满足能量耗散,即能量随时间的推移呈衰减趋势,并且这种随时间衰减的性质能得到保持。其次,对定义的自由能被积函数变换成新的二次函数,即能量不变二次化法同样验证了它的能量衰减性质,并给出了Cahn-Hilliard方程能量不变二次化法的能量稳定性。结果表明,该数值格式是无条件稳定,即能量稳定性与时间步长是无关的。最后我们基于有限元方法给出了一个数值算例,来有效的模拟Cahn-Hilliard方程相位变化情况。
Abstract: The article analyzes the energy stability of the energy-invariant quadratic method of the Cahn-Hilliard equation. Firstly, it is analyzed that the Cahn-Hilliard equation is satisfying energy dissipation, i.e., the energy tends to decay with time, and this decaying property with time can be maintained. Secondly, the defined free energy quadratic function is transformed into a new quadratic function, i.e., the energy-invariant quadratic method is similarly verified for its energy-decaying property, and the energy stability of the energy-invariant quadratic method of the Cahn-Hilliard equation is given. The results show that the numerical format is unconditionally stable, i.e. the energy stability is independent of the time step. Finally we give a numerical example based on the finite element method to effectively simulate the phase variation of the Cahn-Hilliard equation.
文章引用:闫军平, 何巧玲. 基于有限元方法的Cahn-Hilliard方程能量不变二次化数值模拟[J]. 应用数学进展, 2021, 10(6): 1904-1910. https://doi.org/10.12677/AAM.2021.106199

1. 引言

Cahn-Hilliard方程最初是由Cahn和Hilliard在文献 [1] 中介绍,用以描述熔融合金中复杂的相分离和粗化现象,该合金被淬灭到只有两个不同的浓度相可以稳定存在的温度。随着理论的发展,对Cahn-Hilliard方程的研究也受到众多学者追捧,Cahn-Hilliard方程在流体力学中具有重要应用,并被许多学者广泛研究 [2] [3] [4] [5]。Cahn-Hilliard相场方程经常用来描述油水相分离的行为,在工业上有着重要的应用。在不同的研究领域Cahn-Hilliard方程的模型也各有不同,本文要研究的Cahn-Hilliard方程模型如下 [6] [7]:

{ u t + Δ ( ε Δ u f ( u ) ) = 0 , ( x , t ) Ω x ( 0 , T ] u n = ( f ( u ) ε Δ u ) n = 0 , x Ω , u ( x , 0 ) = u 0 ( x ) , x Ω . (1)

在方程中u表示混合物的浓度, ε 是一个与界面厚有关的参数( ε > 0 ),n为边界 Ω 上的外法向量,其中f是光滑函数F的导数。特别地,取

f ( u ) = u ( u 2 1 ) , F ( u ) = 1 4 ( u 2 1 ) 2

其中f需要满足:存在常数L,使得

max u R | f ( u ) | L

Cahn-Hilliard方程它有一个重要的性质就是可以做Liapunov能量函数 [1]

E ( u ) = Ω ( ε 2 | u | 2 + F ( u ) ) d x

E ( u ) 称作自由能泛函,它能准确的表述混合物的自由能。

2. Cahn-Hilliard方程的能量耗散性

2.1. 能量耗散

本文要研究的稳定性Cahn-Hilliard方程能量稳定的 [8],给出下面的引理

引理1 Cahn-Hilliard方程定义的自由能 E ( u ) 满足下面的定律

t E ( u ( t ) ) = Ω | ( ε Δ u f ( u ) ) | 2 d x 0

即Cahn-Hilliard方程是满足能量耗散的。

证明 取 ϑ 与(1)式的第一个式子做内积,有

( u t , ϑ ) = ( Δ ( f ( u ) ε Δ u ) u , ϑ )

式中 u t = u t ( , ) 表示内积。取 ϑ = f ( u ) ε Δ u

( u ( t ) , f ( u ) ε Δ u ) = ( Δ ( f ( u ) ε Δ u ) , f ( u ) ε Δ u )

由格林公式以及边界条件可得

ε ( u t , u ) + ( u t , f ( u ) ) = ( ( f ( u ) ε Δ u ) , ( f ( u ) ε Δ u )

d d t Ω ε 2 | u | 2 d x + d d t Ω F ( u ) d x = Ω | ( f ( u ) ε Δ u ) | 2 d x 0 d d t E ( u ( t ) ) = Ω | ( f ( u ) ε Δ u ) | 2 d x 0

证毕。

2.2. 能量不变二化法

为了构造线性数值格式,我们令(1)式中 f ( u ) ε Δ u = ω 的,Cahn-Hilliard方程变形为 [9]

{ u t Δ ω = 0 , f ( u ) ε Δ u = ω ( x , t ) x ( 0 , T ] u n = ω n = 0 , x Ω , u ( x , 0 ) = u 0 ( x ) , x Ω . (2)

接下来我们采用能量不变二化法来分析变换后是否满足能量耗散规律。

引理2 Cahn-Hilliard方程采用能量不变二化法后定义的自由能 E ( u , δ ) 满足下面的定律

t E ( u , δ ( u ) ) 0

即Cahn-Hilliard方程采用能量不变二化法也是满足能量耗散的。

证明 为了采用能量不变二化法,我们作以下标记:

δ ( u ) = F ( u ) + β , g ( u ) = 2 d d u δ ( u ) = f ( u ) F ( u ) + β

则(2)式变形为

{ u t = Δ ω , ω = ε Δ u + δ ( u ) g ( u ) , δ t = 1 2 g ( u ) u t . (3)

用(3)式中三个式子分别与 ω u t 2 δ 作内积可得

d d t E ( u , δ ) = Ω | ω | 2 d x 0 ,

所以我们采用能量不变二分法满足能量耗散,其中 E ( u , δ ) = Ω ( ε 2 | u | 2 + δ 2 ) d x ,这里的 E ( u , δ ) E ( u ) 是等价的。

3. 稳定性分析

利用格林公式和边界条件,很容易得到Cahn-Hilliard方程的变分形式 [10] [11] [12] 为:求 ( u , ω ) H 1 ( Ω ) × H 1 ( Ω ) ,使得下面的式子成立

{ ( u t , v ) + ( ω , u ) = 0 , v H 1 ( Ω ) ε ( u , ψ ) + ( g ( u ) δ ( u ) , ψ ) = ( ω , ψ ) , ψ H 1 ( Ω )

针对上面的变分形式,构造时间方向的半离散格式

{ 1 τ ( u n + 1 u n , v ) + ( ω n + 1 , u ) = 0 , ε ( u n + 1 , ψ ) + ( g ( u n + 1 ) δ n + 2 + δ n 2 , ψ ) = ( ω n + 1 , ψ ) . (4)

其中τ为时间步长,且该格式满足下面的能量估计式成立:

定理 (能量稳定性)方程(4)的解满足下面的能量稳定,即

E ( u n + 1 , δ n + 1 ) E ( u n , δ n ) = τ ω n + 1 2 ε 2 ( u n + 1 u n ) 2

其中, E ( u n , δ n ) = ε 2 u n 2 + 1 2 ( δ n + 1 2 + δ n 2 )

证明 在(4)式中取 v = τ ω n + 1 ψ = u n + 1 u n

{ ( u n + 1 u n , ω n + 1 ) + τ ω n + 1 2 = 0 , ε 2 ( u n + 1 2 u n 2 + ( u n + 1 u n ) 2 ) + ( g ( u n + 1 ) δ n + 2 + δ n 2 , u n + 1 u n ) = ( ω n + 1 , u n + 1 u n ) (5)

再把方程(3)中的第三式与 2 τ ( δ n + 2 + δ n ) 作内积可得

δ n + 2 2 δ n 2 = ( g ( u n + 1 ) ( u n + 1 u n ) 2 , δ n + 2 + δ n ) (6)

综合(5)、(6)两式有

τ ω n + 1 2 + ε 2 ( u n + 1 2 u n 2 + ( u n + 1 u n ) 2 ) + δ n + 2 2 δ n 2 = 0

整理可得该定理的结果。

证毕。

4. 数值实验

为了能够有效观测Cahn-Hilliard方程相场模型的相位变化情况,采用混合有限元方法给出一个数值算例,选取精确解为

u = e t sin 2 ( π x ) sin 2 ( π y ) , δ ( u ) = 1 2 ( u 2 1 )

计算区域为方形区域 Ω = ( 0 , 1 ) 2 ,其中网格尺寸选择1/64, τ = 1.0 e 6

图1描绘了在 ε = 0.01 时,T = 1。0e−5,T = 1。0e−4,T = 1。0e−3,T = 1。0e−2时的相位变化图。

图2描绘了在 ε = 0.1 时,T = 1。0e−5,T = 1。0e−4,T = 1。0e−3,T = 1。0e−2时的相位变化图。

Figure 1. When ε = 0.01, the image of the change in the numerical solution u at different moments

图1. 当ε = 0.01时, 数值解u在不同时刻的变化图像

Figure 2. When ε = 0.1, the image of the change in the numerical solution u at different moments

图2. 当ε = 0.01时,数值解u在不同时刻的变化图像

从上面两图可以看到,所构造的数值算例有效的模拟了Cahn-Hilliard方程的相位变化过程,起初两种物质任意分布,随着时间的推移,两种物质逐渐趋于缓和,最后到达一种稳定状态。

比较图1图2可以发现,当ε取不同值时,对两种物质的反应速率有很大影响,ε越小反应越剧烈,反应速率越快,相当于起到了催化剂的作用。

参考文献

[1] Cahn, J.W. and Hilliard, J.E. (1949) Free Energy of a Nonuniform System I. The Journal of Chemical Physics, 28, 258-267.
https://doi.org/10.1063/1.1744102
[2] Elliott, C.M. and French, D.A (1987) Numerical Studies of the Cahn-Hilliard Equation for Phase Separation. IMA Journal of Applied Mathematics, 38, 97-128.
https://doi.org/10.1093/imamat/38.2.97
[3] Zhang, S. and Wang, M. (2010) A Nonconforming Fifinite Element Method for the Cahn-Hilliard Equation. Journal of Computational Physics, 229, 7361-7372.
https://doi.org/10.1016/j.jcp.2010.06.020
[4] Xu, C. and Tang, T. (2006) Stability Analysis of Large Time-Stepping Methods for Epitaxial Growth Models. SIAM Journal on Numerical Analysis, 44, 1759-1779.
https://doi.org/10.1137/050628143
[5] Shen, J. and Yang, X.F. (2011) Numerical Approximations of Allen-Cahn and Cahn-Hilliard Equations. Discrete and Continuous Dynamical Systems, 28, 1669-1691.
https://doi.org/10.3934/dcds.2010.28.1669
[6] Elliot, C.M. and Song, Z. (1986) On the Cahn-Hilliard Equation. Archive for Rational Mechanics & Analysis, 96, 339- 357.
https://doi.org/10.1007/BF00251803
[7] Barrett, J.W. and Blowey, J.F. (2000) Finite Element Approximation of the Cahn-Hilliard Equation with Degenerate Mobility. SIAM Journal on Numerical Analysis, 37, 286-318.
https://doi.org/10.1137/S0036142997331669
[8] 赵鑫, 孙建强, 何雪珺. Cahn-Hilliard方程的高阶保能量散逸性方法[J]. 计算数学, 2015, 37(2): 137-147.
[9] 姚廷富, 李顺利. 基于能量不变二次化法的Cahn-Hilliard方程的数值误差分析[J]. 华南师范大学学报(自然科学版), 2020, 52(6): 95-101。
[10] 邹乐强, 刘丽杰, 韦雷雷. 四阶Cahn-Hilliard方程的间断有限元方法[J]. 工程数学学报, 2020, 37(4): 92-100.
[11] 胡健伟, 汤怀民. 微分方程数值方法[M]. 北京: 科学出版社, 2007.
[12] 王烈衡. 有限元方法的数学基础[M]. 北京: 科学出版社, 2004.