一类非线性Cahn-Hilliard方程的三层差分格式.pdfVIP

刘金娜 (广州华南理工大学数学科学学院，广东广州510641) ，， 性。虽然格式建立的是．．次D(^)边界_；}阱，但是由V2U的定义。可以得到误差次数为o(h2+k2)。 ’ 目漱】jF线l生Cahn-I-．幽d方程；三层差分档武；收敛性 ，● ， ’u 一、引育 这篇文章为以下的非线性cahn—hilliard方程提出一种三层差分格 式，主要分四部分，首先提出差分格式，然后列举证明后面必需的引 (％一％。)2l 理，再证明差分解的范数可以被原方程的初值控制，最后证明差分解的 二阶收敛性。 一}∑(吒．+“．以+矿)(“。一配)z一俨(铲u，￡，) 1)本文考虑的非线性Cahn—Hilliard方程： 由于等式右边前两项都是小于或等于零的。 q+参=掣，髫∈010t≤r 则(铲咖(u)，￡，)≤—俨(铲U，U) 再由定理2．1．得 2 詈=o，等=o艇概㈨盯……(1．1) I铲e1)(u)，u)≤俨V一￡，I Q 引理2A设M是任意的一个正整数，则 u(x，0)=‰(算)，石E 这里西(u)叫(嘞)，70，Q是R上的一个有界区域， 肼 斟 Q=(0，1)，u是定义在Qx(0，盯上的一个实值函数， 2)有限差分格式 令|112寺，^2寺分别表示空间步长和时间步长，同时令Q_Il= k=圳i=o，…．，脑，II-，lJ}，n=O，1，2，…，《=¨毛，“L 0。存在常数C使得 V—V 9V2y0 差分算子定义如下： (1)II0≤C y 2+占8VU2(离散的索伯列夫不等式) (2)011．≤C||VII 0 证明(1)：EI]；31理24直接得到。 审+E：华^E；毕，州=华鼯011。川 V+(V．vj)…………当1≤i≤M一1 旦牡………当i=O V2y^2………一 ………3 单……．当i=M 是非负常数。则对任意o≤n≤JI、r，有“n)≤p(，1)eXp(∑曰1)。 |112 V4矿。可2何2¨ 三、稳定性 定义内积与￡2范数如下： V纠y，y)2 常数C，使得 (y，形)=h{寻(‰Wo+VMWⅣ)+∑y。W；}II一 l Z ij J 0驴0≤c(1I扩0+0驴0)，0n≤Ⅳ =、引理 证明：由(13)式V一【7却．矾|=0 引理Z1，如界V，M是定义在Q