相场模型介绍
笔记主页
文献概要
主要讲解梯度流或守恒式方程
例如: Allen-Cahn: 或者 Cahn-Hilliard
Navier-stokes方程
相场模型(多相流)
ϕt+Aϕ+N(ϕ)=0
方法一:需要解一串方程组
(ϕk)t+Aϕk+N(ϕ1,ϕ2,⋯)=0
这种方法无法面对多维问题。
方法二:对时间离散
∂tϕn+1−ϕn+Aϕn+1+N(ϕn+1)=0
- 物理模型
- 自由能或Hamiltomain
例如
E[ϕ]=∫Ω21∣∇ϕ∣2+F[ϕ]dΩ
ϕt=−GδϕδE[ϕ]
根据链式法则
Et=(δϕδE[ϕ],ϕt)
G是一个正定算子,则是梯度流,此时
Et=−(δϕδE[ϕ],GδϕδE[ϕ])≤0
G反对称,则是Hamiltomain系统,此时
Et=0
这里变分导数的定义
dϵdE[ϕ+ϵψ]∣ϵ=0=(δϕδE,ψ)
若
E(ϕ)=E~(ϕ,∇ϕ)
则有
Eϕ=−∇⋅E~ϕ+E~∇ϕ
根据G的不同选取,会得到不同的方程
G取正定算子
heat equation: E(ϕ)=∫Ω21∣∇ϕ∣2 and G=I
Allen-Cahn: E(ϕ)=∫Ω(21∣∇ϕ∣2+4ϵ21(ϕ2−1)2) and G=I
Cahn-Hilliard: E(ϕ)=∫Ω(2ϵ∣∇ϕ∣2+4ϵ1(ϕ2−1)2) and
G=−Δ
Phase-field crystal: E(ϕ)=∫Ω(41ϕ4+2αϕ2−∣∇ϕ∣2+21∣Δϕ∣2)
and G=−Δ
L1 minimization: E(ϕ)=∫Ω∣∇ϕ∣ and G=I
G取反对称算子
Nonlinear Schrödinger equation:
E(ϕ)=∫Ω(21∣∇ϕ∣2+21F(∣ϕ∣2)) and G=i
一维情形
KDV equation: E(ϕ)=∫Ω(21∣∂xϕ∣2+ϕ3),G=∂x
δϕδE=−ϕxxx+3ϕ2
则有
ϕt=−∂x(−ϕxxx+3ϕ2)=∂xxxϕ+6ϕϕx
引入一个新的变量μ
{ϕt=−Gμμ=Eϕ=−Δϕ+F′(ϕ)
边界条件∂n∂ϕ∣∂Ω=∂n∂μ∣∂Ω=0或者周期边界
有
Et=−(Gμ,μ)≤0
证明数值格式的能量稳定性,原理是从原来格式中做相同的推算
⎩⎨⎧Δtϕn+1−ϕn=−G2μn+1+μn2μn+1+μn=−Δ2ϕn+1+ϕn+ϕn+1−ϕnF(ϕn+1)−F(ϕn)
不难证出上式具有2阶无条件稳定,但是每次需要二阶非线性方程组,并且只能证明出当Δt充分小的时候才能存在唯一解,该方法最早是杜强老师大约1991-1992年提出
对非线性项做分解
F(ϕ)=Fc(ϕ)−Fe(ϕ)
并且Fc与Fe都是凸函数,则可以构造下面的格式
⎩⎨⎧Δtϕn+1−ϕn=−Gμn+1μn+1=−Δϕn+1+Fc′(ϕn+1)−Fe′(ϕn)
注:一般而言Fc是能量耗散部分,Fe是能量递增格式
上式子分别与μn+1与Δt(ϕn+1−ϕn)做内积
利用数学恒等式
2(a−b,a)=(a,a)−(b,b)+(a−b,a−b)
对Fc在ϕn+1做泰勒展开
Fc(ϕn)=Fc(ϕn+1)+Fc′(ϕn+1)(ϕn−ϕn+1)+21Fc′′(ξ)(ϕn−ϕn+1)2
同理对Fe在ϕn做泰勒展开
Fe(ϕn+1)=Fe(ϕn)−Fe′(ϕn+1)(ϕn−ϕn+1)+21Fe′′(η)(ϕn−ϕn+1)2
两式子合并起来最后可以证明出该格式也是无条件稳定
缺点是: 只有一阶精度,也要解非线性方程组
优点是: 虽然也有非线性,但是非线性项是凸的,因此是存在唯一的,并且唯一解为凸泛函的能量最小解
证明: 只针对简单的情形G=I
Δtϕn+1−ϕn=Δϕn+1−Fc′(ϕn+1)+Fe′(ϕn)
定义Q(ϕ)=∫2Δt1∣ϕ∣2+21∣∇ϕ∣2+Fc(ϕ)−gn(ϕ)
其中
gn(ϕ)=Δt1ϕn+Fe′(ϕn)
凸泛函Q的最小值就是变分导数为零的解
δϕδQ∣ϕ=ϕn+1=Δt1ϕn+1−Δϕn+1+Fc′(ϕn+1)−gn
该方法最早提出来是1993年
最大缺点:
- 非线性
- 很难达到高阶,连二阶都困难(依赖F(ϕ))
给一个二阶例子的构造F(ϕ)=(ϕ2−1)2
取Fc(ϕ)=41(ϕ4+1),Fe(ϕ)=21ϕ2
则有Fc′=ϕ3,Fe′=ϕ
⎩⎨⎧Δtϕn+1−ϕn=−G2μn+1+μn2μn+1+μn=−Δ2ϕn+1+ϕn+A−21(3ϕn−ϕn−1)
其中
A=2(ϕn+1)2−(ϕn)22ϕn+1+ϕn
证明的过程中需要注意下面的拼凑
==(3ϕn−ϕn−1,ϕn+1−ϕn)(ϕn+1+ϕn−(ϕn+1−2ϕn+ϕn−1),ϕn+1−ϕn)(ϕn+1+ϕn−(ϕn+1−ϕn)+(ϕn−ϕn−1)),ϕn+1−ϕn)
于是得到修正的能量是递减的,其中修正的能量定义为
E~(ϕn)=21∣∣∇ϕ∣∣2+41(∣∣ϕn+1∣∣4−2∣∣ϕn+1∣∣2)+41∣∣ϕn+1−ϕn∣∣
从半隐格式出发
⎩⎨⎧Δtϕn+1−ϕn=−Gμn+1μn+1=−Δϕn+1+F′(ϕn)
优点: 计算快
缺点: 不稳定
改进办法: 加上稳定项
⎩⎨⎧Δtϕn+1−ϕn=−Gμn+1μn+1=−Δϕn+1+F′(ϕn)
能量修正
E(ϕ)=∫21∣∇ϕ∣2+S∣ϕ∣2+F(ϕ)−S∣ϕ∣2dx
或者
E(ϕ)=∫21∣(∇ϕ∣2+S∣ϕ∣2)−(S∣ϕ∣2−F(ϕ))dx
取Fe(ϕ)=S∣ϕ∣2−F(ϕ)
于是
Fe′′(ϕ)=2S−F′′(ϕ)
如果∣F′′(ϕ)∣≤L,取S≥2L,则是特殊凸分裂格式,因此可以无条件稳定
早期能量是下面的格式
F(ϕ)=(1+ϕ)ln(1+ϕ)−(1−ϕ)ln(1−ϕ)+θϕ2
物理上只关注ϕ∈(−1,1),
因此可以对能量修正,取
F~(ϕ)={41(ϕ2−1)2,F(ϕ),∣ϕ∣≤1∣ϕ∣>1.
但是这种方法无法达到二阶
其实是现有了稳定化方法,再有凸分离方法,本质上这两种方法是有很大联系的
F(ϕ)=41(ϕ2−1)2
引入q=ϕ2,则F(ϕ)=41q2
则
⎩⎨⎧ϕt=−Gμμ=Eϕ=−Δϕ+qϕqt=2ϕϕt
数值格式为
⎩⎨⎧ϕn+1−ϕn=−ΔtGμn+1μn+1=−Δϕn+1+qn+1ϕnqn+1−qn=2ϕn(ϕn+1−ϕn)
上式分别与μn+1,ϕn+1−ϕn,21qn+1做内积再联立可得修正的能量稳定,其中修正的能量定义为
E~(ϕn+1)=21∣∇ϕn+1∣2+21∣∣qn+1∣∣2
优点:
结论:
做守恒型方程,用CN格式比较好,因为它没有多余的耗散项目
做耗散型方程,用BDF格式比较好
二阶格式简记:
对于CN格式:
对ϕt项,改写成
Δtϕn+1−ϕn
对于ϕ项,改写成
23ϕn−ϕn−1
对于BDF格式:
对ϕt项,改写成
2Δt3ϕn+1−4ϕn+ϕn−1
对于ϕ项,改写成
2ϕn−ϕn−1
不同的地方引入的辅助变量q,CN格式21(qn+1+qn),BDF格式为qn+1
注:拉格朗日乘子法是从方程出发的,直接对方程进行修正
{∂ϕ−Δϕ=fϕ∣∂Ω=0,or ∂n∂ϕ∣=0,或周期边界
如果用傅里叶普方法
u=∑ukjeikxeijy
于是
−Δu=∑(k2+j2)ukjeikxeijy
证明拉格朗日乘子法BDF-2格式的稳定性
写出Phase-field crystal的凸分裂格式格式
笔记主页