一维热传导方程.docVIP

一维热传导方程 问题介绍 考虑一维热传导方程： （1） 其中a是正常数，是给定的连续函数。按照定解条件的不同给法，可将方程（1）的定解问题分为两类： 第一类、初值问题（也称Cauthy问题）：求具有所需次数偏微商的函数，满足方程（1）（）和初始条件： （2） 第二类、初边值问题（也称混合问题）：求具有所需次数偏微商的函数，满足方程（1）（）和初始条件： （3） 及边值条件 (4) 假定在相应区域光滑，并且在满足相容条件，使上述问题有唯一充分光滑的解。 区域剖分 考虑边值问题（1），（4）的差分逼近。去空间步长和时间步长，其中N,M都是正整数。用两族平行直线： 将矩形域分割成矩形网格，网格节点为。以表示网格内点集合，即位于开矩形G的网点集合；表示所有位于闭矩形的网点集合；=--是网格界点集合。 离散格式 第k+1层值通过第k层值明显表示出来，无需求解线性代数方程组，这样的格式称为显格式。 第k+1层值不能通过第k层值明显表示出来，而由线性代数方程组确定，这样的格式称为隐格式。 向前差分格式 （5） ， ， ， 其中j = 1,2,…，N-1，k = 1,2,…,M-1。以表示网比。则方程（5）可以改写为： 易知向前差分格式是显格式。 向后差分格式 （6） ， ， 其中j = 1,2,…，N-1，k = 1,2,…,M-1，易知向前差分格式是显格式。 六点对称格式（Grank-Nicolson格式） 将向前差分格式和向后差分格式作算术平均，即得到六点对称格式： （7） = 利用和边值便可逐层求到。六点对称格式是隐格式，由第k层计算第k+1层时需解线性代数方程组（因系数矩阵严格对角占优，方程组可唯一求解）。 将其截断误差于（=）展开，则得 = 。 Richardson格式 （8） ， 或 （9） 。 这是三层显示差分格式。截断误差阶为。为了使计算能够逐层进行，除初值外，还要用到，这可以用前述二层差分格式计算（为保证精度，可将[0,]分成若干等份）。 格式稳定性 通过误差估计方程 （1） 可知对任意的r ，Richardson格式都不稳定，所以Richardson格式绝对不稳定。 （2） 当时，向前差分格式趋于稳定；当时，向前差分格式的误差无限增长。因此向前差分格式是条件稳定。 （3） 向后差分格式和六点对称格式都绝对稳定，且各自的截断误差阶分别为和。 数值例子 例1 令f ( x ) = 0和a = 1，可求得u（x,t）一个解析解为u ( x , t ) =exp ( x + t )。 用向前差分格式验证得数值结果如下： 请输入n的值(输入0结束程序): 2 请输入m的值(输入0结束程序): 17 xj tk 真实值x[i][k] 近似值u[i][k] 误差err[i][k] 0.333333 0.055556 1.475341 1.473867 0.001474 0.666667 0.055556 2.059004 2.056947 0.002057 0.333333 0.111111 1.559623 1.557037 0.002586 0.666667 0.111111 2.176630 2.173719 0.002911 0.333333 0.166667 1.648721 1.645619 0.003102 0.666667 0.166667 2.300976 2.297385 0.003591 0.333333 0.222222 1.742909 1.739373 0.003536 0.666667 0.222222 2.432425 2.428445 0.003981 0.333333 0.277778 1.842477 1.838647 0.003831 0.666667 0.277778 2.571384 2.567048 0.004337 0.333333 0.333333 1.947734 1.94