微分方程数值解II,课堂开卷。
1. (20分) 选择题(在选项前头打√,每题只选一个) (1). 下述哪个误差是描述数值方法的相容性的:
(a) 离散误差; (b) 舍入误差;(c) 全局误差;√(d) 截断误差。
34vv2v3vud3xd4x(2).逼近于微分方程qtuqx0的某个格式的修正方程为,其中txx3x4则正确的说法是: d3,d4为不为零的常数(a) 右端第一项为耗散误差,第二项为频散误差;√(b) 频散误差引起数值振荡;(c) 耗散误差引起数值振荡;(d) 耗散误
差始终起抑制数值振荡的作用。
(3). 关于求解扩散方程的ADI方法,错误的说法是: (a) ADI格式属于一种分数步法;(b)每个方向只需要求解一维的方程组;√(c)对于二、三维初边值问题都是无条件稳定的;(d)可能存在因式分解误差。 (4). 下列哪个方程不属于双曲型方程?
(a) 标量方程qtuqx0;(b)波动方程 qttc2qxx0;(c)标量方程qtq2x0;√(d) 方程组
p12pq23q0。 tx(5). CFL条件是差分格式稳定的必要条件,它可以描述为: √(a)数值解的依赖域包含微分方解的依赖域;(b)微分方解的依赖域包含数值解的依赖域。
1 if x0 or x31 if 0x1 or 2x3(6). 函数q(x)的Total variation 是:
1 if 1x22 if x3√(a) 5 ; (b) 1; (c) 2; (d) 4。
(7). 标量守恒律qtf(q)x0的特征线在解的光滑区为: (a) 一般曲线;√ (b) 直线。 (8). 标量守恒律qtq02x12的间断解qx,t4 if xt 是:
2 if xt√(a) 满足Lax 熵条件的; (b) 不满足Lax 熵条件的。
(9). 对于非线性标量守恒律qtf(q)x0,如果f(q)恒大于零, 则初值Qi1和Qi的Riemann问题有激波解的情形是:
√(a) Qi1Qi;(b) Qi1Qi。
pu(10). 守恒律方程组2utuf010的Jacobian 矩阵为A。问i点和i+1两点代数平均的矩阵12upqx1ˆA(qi)A(qi1)是不是Roe矩阵? Ai1/22 √(a) 是Roe 矩阵 ;(b) 不是Roe矩阵。
2. (20分) 设hixi1xi,hi1xixi1,hi12uu利用(xi1,xi,xi1)三点,构造有最高精度的逼近于hi。及x2的xii
差分逼近式。 解:
分别将ui1和ui1在xi处做泰勒展开,可得
hi2hi3hi4ui1uihi(ux)i(uxx)i(u3x)i(u4x)i2624
hi21hi31hi41ui1uihi1(ux)i(uxx)i(u3x)i(u4x)i2624结合上述两式,得
aui1buicui1hi21hi2(abc)ui(ahi1chi)(ux)i(ac)(uxx)i
22hi31hi3hi41hi4 (ac)(u3x)i(ac)(u4x)i662424令
hiahi1(hihi1)abc0hihi1ahch1 b i1ihi1hih22ai1chi0hi122chi(hihi1)得到
hihhhi1ui1ii1uiui1hi1(hihi1)hi1hihi(hihi1)
hihi1hh(hh)(u3x)iii1ii1(u4x)i624(ux)i(h2)(ux)i故可得到逼近格式
hihihi1hi1uuuui1 i1ihi1(hihi1)hi1hihi(hihi1)xi误差为(h2),其中hmax(hi,hi1)。 又令
2ahi1(hihi1)abc02ahch0 b i1ihi1hih22hai1ci1222chi(hihi1)则得到
222ui1uiui1hi1(hihi1)hi1hihi(hihi1)hihi1hi2hihi1hi21(uxx)i(u3x)i(u4x)i
312(uxx)i(h)故可得到逼近格式
2u222uuui1 2i1ihi1hihi(hihi1)xihi1(hihi1)误差为(h)。
3. (20分)对于线性对流方程格式的修正方程。 解:
设函数v(x,t)精确满足差分格式,记v(xi,tn)Uin,将其带入上述中心差分格式得到
uuctc0,常数c0,有中心格式Uin1Uin(Uin1Uin-1),其中, 试写出tx2xv(x,tt)v(x,t)[v(xx,t)v(xx,t)] 2将各项在(x,t)处做泰勒展开,并化简得到
tt2x2(vtvttvttt)c(vxvxxx)0
266进一步整理有
vtcvxt1vtt(t2vtttcx2vxxx) 26省略二阶时间和空间项得
tvtt (1) 2上式分别对x,t求偏导数有 vtcvxtvcvvtttxtttt22 vcv(cvttxvttt) ttxxt2vcvvtxxxttx2故vttc2vxx(t) (2) 结合(1)(2)式可得
vtcvxt2cvxx(t2) 2t2cvxx 2所以格式的修正方程为
vtcvx
4. (20分) 用类似于Leveque 书6.1节得到Lax-Wendroff格式的Taylor级数展开,推导变系数对流方程qtu(x)qx0的Lax-Wendroff格式。 解:
q(x,tn1)在(x,tn)处做泰勒展开,有
t2q(x,tn1)q(x,tn)tqt(x,tn)qtt(x,tn)
2根据qtu(x)qx,可得qttu(x)qxtuuxqxu2qxx,代入上述泰勒展开公式得
t22t2q(x,tn1)q(x,tn)tu(x)qx(x,tn)u(x)qxx(x,tn)uxuqx(x,tn)
22上式右端取前四,用中心差分近似代替空间导数,可得Lax-Wendroff格式
tnn1tQin1Qinui(Qi1Qin1)(uin)2(Qin12QinQin1)2x2x1t uin(uin1uin1)(Qin1Qin1)8x 5.
(20
22
Uin1uuc0,常数c0,有Warming-Beam格式tx1ctUin(3Uin4Uin-1Uin-2)2(Uin2Uin-1Uin-2),其中,试用von Neumann稳定性方法,分析格式
22x分
)
对
于
线
性
对
流
方
程
的稳定性。
解:
设UinGneji,其中j21,x,代入Warming-Beam格式,约去G得到
n1Gejej(3ej4ej)2(ej2ej)22 [cos2(cos1)2(cos1)]isin(1)
[1(1)2(cos1)]isin(1)则有
GGej22 [1(1)2(cos1)]2[sin(1)]2 (2)(1)2(cos1)21因ct0,故 x当02时,有G1,此时格式稳定.