抛物形方程部分习题.docVIP

1 用Fourier方法证明ADI法（4.6.9）绝对稳定. 证明 (4.6.9)中的ADI格式为 消去中间层得 令.那么 , 代入以上方程得 得增长因子 . 对于任意,有,故格式(4.6.9)绝对稳定. 6 证明差分格式(4.1.19)和(4.2.21)恒稳定. 证明 差分格式(4.1.19)为 . 令.则以上格式可化为一等价的两层差分方程组 或者 . 令.代入以上方程组并消去公因子,得增长矩阵 . 特征方程为 , 满足,所以有. 进一步可证.这说明了差分格式(4.1.19)对于恒稳定. 差分格式(4.2.21)为 改写为 令.代入以上差分方程并消去公因子,得增长因子 很明显看出对任意,有.这说明差分格式(4.2.21)恒稳定. 5 证明差分格式(4.1.15)和(4.1.16)恒稳定. 证明 差分格式(4.1.15)为 将其改写为 . 令.代入差分方程,消去公因子,得增长因子 不难看出,对于任意,有.这说明差分格式(4.1.15)是恒稳定的格式. 差分格式(4.1.16)恒稳定的证明同上,略.