相场模型方程的局部间断有限元方法及快速求解

来源 :中国科学技术大学 | 被引量 : 3次 | 上传用户:tianzhiziyao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文应用局部间断有限元(LDG)方法求解一系列相场模型方程以达到空间上的高阶精度来抓住尖锐界面(sharp interface)。这些方程包括Cahn-Hilliard方程、Allen-Cahn方程、Cahn-Hilliard-Hele-Shaw方程组、Cahn-Hilliard-Brinkman方程组及functionalized Cahn-Hilliard方程。相场模型方程的高阶非线性性要求我们选取隐式时间离散方法以减弱显式时间离散对时间步长的限制。为提高整体计算效率,我们采用多重网格方法求解线性或者非线性方程组。本文证明了以上方程半隐式LDG格式的能量稳定性及基于凸分解准则的全离散格式的无条件能量稳定性,这允许我们自适应的选取时间步长。此外,我们还证明了Allen-Cahn方程LDG格式L2模及负模意义下的先验误差估计。本文的研究工作主要分为以下四部分。  第一部分,我们研究和分析了如何快速求解由Cahn-Hilliard方程LDG空间离散和隐式时间离散而产生的方程组。Cahn-Hilliard方程中退化的迁移率(mobility) b(u)增加了隐式时间离散及求解难度,对此,我们引入了线性化技巧得到时间上的高阶隐式格式。对特殊的Cahn-Hilliard方程(自由能Ψ(u)=1/4(1-u2)2)构造了基于凸分解准则的全离散格式,并证明了它的无条件能量稳定性。隐式时间离散及多重网格方法使得我们可以得到Cahn-Hilliard方程的稳态解。  第二部分,我们对Allen-Cahn方程构造了LDG空间离散并证明了半离散格式的能量稳定性。此外,还给出了L2模意义下的先验误差估计。Allen-Cahn方程中的非线性项为误差分析增加了一定的困难,通过对非线性项的特殊处理,我们得到了L2模意义下的最优收敛阶,即k阶多项式近似具有k+1阶精度。通过引入对偶技巧,我们还证明了负模意义下的2k+1阶收敛阶。  第三部分,我们分别对四阶非线性Cahn-Hilliard-Hele-Shaw方程组、Cahn-Hilliard-Brinkman方程组及六阶非线性functionalized Cahn-Hilliard方程构造了LDG方法并证明了半离散格式的能量稳定性。这三个方程的高阶非线性性为数值近似增加了一定的困难。而Cahn-Hilliard-Hele-Shaw方程组和Cahn-Hilliard-Brinkman方程组又需要我们耦合求解▽·u=0这个额外方程。同时,高阶非线性性使得显式时间离散变得没有意义,我们基于Cahn-Hilliard方程能量凸分解准则对Cahn-Hilliard-Hele-Shaw方程组和Cahn-Hilliard-Brinkman方程组分别构造了半隐式时间离散方法,并证明了无条件能量稳定性。这允许我们自适应的选取时间步长。这三个方程形式上的复杂性使得时-空离散后所得线性或非线性方程组的求解也成为一个大的挑战。  以上我们所考虑的方程均为具有偶数阶空间导数的偏微分方程。第四部分,我们研究如何快速求解由三阶、五阶KdV方程LDG空间离散及隐式additiveRunge-Kutta(ARK)时间离散产生的线性方程组。线性方程组的强非对称性增加了求解的难度。针对这个问题,我们把奇数阶方程拆分为方程组的形式以减弱线性代数方程组的非对称性,并用多重网格方法求解。而为了分析它的收敛性,我们采用局部Fourier分析方法。  对于以上方程LDG空间离散及隐式时间离散所得线性或非线性方程组,我们均采用多重网格方法进行求解,并数值上表明多重网格方法具有最优或几乎最优的计算复杂度。这与传统的迭代方法相比大大提高了计算效率。我们给出一维、二维和三维空间中的数值算例来表明LDG方法,隐式时间离散方法及多重网格方法在求解此类相场模型方程时的有效性,并数值上验证了对k阶多项式近似,L2模和L∞模均可达到k+1阶最优精度。
其他文献
本文首先从两个连续的2×2矩阵谱问题,KdV谱问题,AKNS谱问题出发,总结它们通过dressing链方法构造出离散方程的过程.在此基础上构造了与三个连续的3×3矩阵谱问题相联系的半离
本论文对于几类非线性的发展型方程(如非线性的抛物方程、非线性的Schr(o)dinger方程、非线性Sobolev方程、非线性Ginzburg-Landau方程、非线性双曲方程),从协调有限元方法、非
本文研究非线性Schr(o)dinger方程组解的长时间行为及全局吸引子的正则性,全文共分为三个部分:  第一章,总述,Schr(o)dinger方程研究背景及基本理论,本文的研究内容及主要结论,
数字化技术的应用已成为汽车发展的标志之一。与传统设计方法相比,数字化设计具有高效性、经济性、可重用性等优点。三维数字模型能够很好的反映设计师的设计意图,并直观的展
本文考虑了如下非自治拟线性强阻尼波动方程初边值问题的长时间行为:  {utt-γ△ut-△u+f(u)=▽·φ(▽u)+g(x,t), x∈Ω,t>τ,u|(a)Ω=0,(0.1)u(x,τ)=u0τ(x), ut(x,τ)=u1τ(x), x∈
本文主要研究了含有两个方差分量矩阵的一般多元线性混合模型方差分量矩阵的估计问题.  本文第一章是绪论部分,介绍了含有两个方差分量矩阵的一般多元线性混合模型,并且给
对时标理论的研究,既是数学理论自身发展的需要,也是实际问题的需要.时标理论不仅能把微分方程和差分方程理论很好地结合起来,而且所得的结果更为实用.本文主要研究时标上几
本论文主要包括以下两个部分的内容.  第一部分,研究非线性Sobolev方程的一个非协调混合元新格式的误差分析.首先,使用非协调CNQrotl元和分片常数元Q0×Q0分别逼近原始变量u
本文以灰度图像的匹配算法改进为主要研究内容,对图像预处理、传统灰度图像匹配算法进行了介绍和研究。首先,从课题背景和研究意义出发,介绍图像匹配的概念,一般图像匹配系统