偏微分方程数值解法
- 格式:doc
- 大小:474.00 KB
- 文档页数:14
第十章偏微分方程数值解法 偏微分方程问题,其求解十分困难。除少数特殊情况外,绝 大多数情况均难以求出精确解。因此,近似解法就显得更为重要。本章仅介绍求解各类典型偏微分方程定解问题的差分方法。 §1差分方法的基本概念 1.1几类偏微分方程的定解问题 椭圆型方程:其最典型、最简单的形式是泊松(Poisson)方程
特别地,当0),(yxf时,即为拉普拉斯(Laplace)方程,又称 为调和方程 Poisson方程的第一边值问题为
其中为以为边界的有界区域,为分段光滑曲线,
称为定解区域,),(yxf,),(yx分别为,上的已知连续函数。 第二类和第三类边界条件可统一表示为
其中n为边界的外法线方向。当0时为第二类边界条件, 0时为第三类边界条件。
抛物型方程:其最简单的形式为一维热传导方程 方程可以有两种不同类型的定解问题: 初值问题 初边值问题
其中)(x,)(1tg,)(2tg为已知函数,且满足连接条件 边界条件)(),(),(),0(21tgtlutgtu称为第一类边界条件。 第二类和第三类边界条件为
其中0)(1t,0)(2t。当0)()(21tt时,为第二类边界条件, 否则称为第三类边界条件。 双曲型方程: 最简单形式为一阶双曲型方程 物理中常见的一维振动与波动问题可用二阶波动方程 描述,它是双曲型方程的典型形式。方程的初值问题为 边界条件一般也有三类,最简单的初边值问题为 1.2差分方法的基本概念 差分方法又称为有限差分方法或网格法,是求偏微分方程定 解问题的数值解中应用最广泛的方法之一。 它的基本思想是:先对求解区域作网格剖分,将自变量的连 续变化区域用有限离散点(网格点)集代替;将问题中出现的连 续变量的函数用定义在网格点上离散变量的函数代替;通过用网 格点上函数的差商代替导数,将含连续变量的偏微分方程定解问 题化成只含有限个未知数的代数方程组(称为差分格式)。如果 差分格式有解,且当网格无限变小时其解收敛于原微分方程定解 问题的解,则差分格式的解就作为原问题的近似解(数值解)。 因此,用差分方法求偏微分方程定解问题一般需要解决以下问题: (1)选取网格; (2)对微分方程及定解条件选择差分近似,列出差分格式; (3)求解差分格式; (4)讨论差分格式解对于微分方程解的收敛性及误差估计。 下面,用一个简单的例子来说明用差分方法求解偏微分方程 问题的一般过程及差分方法的基本概念。 设有一阶双曲型方程初值问题。 (1) 选取网格: -2h-h0h2h3h
首先对定解区域}0,),{(txtxD作网格剖分,最简单 常用一种网格是用两族分别平行于x轴与t轴的等距直线 khxxk,
(0,1,2,0,1,2,)jttjkj将D分成许
多小矩形 区域。这些直线称为网格线,其交点称为网格点,也称为节点, h和分别称作x方向和t方向的步长。这种网格称为矩形网格。
(2) 对微分方程及定解条件选择差分近似,列出差分格式: 如果用向前差商表示一阶偏导数,即
其中1,021。 方程0uuatx 在节点),(jktx处可表示为 其中(,0)()(0,1,2,)kkuxxk。由于当,h
足够小时,在式
中略去),(jktxR,就得到一个与方程相近似的差分方程 此处,jku,可看作是问题的解在节点),(jktx处的近似值。同初值条件 结合,就得到求问题的数值解的差分格式。 式 称为差分方程的截断误差。
如果一个差分方程的截断误差为)(pqhOR,则称差分方 程对t是q阶精度,对x是p阶精度的。显然,截断误差的阶数 越大,差分方程对微分方程的逼近越好。 若网格步长趋于0时,差分方程的截断误差也趋于0,则称 差分方程与相应的微分方程是相容的。这是用差分方法求解偏微 分方程问题的必要条件。 如果当网格步长趋于0时,差分格式的解收敛到相应微分方 程定解问题的解,则称这种差分格式是收敛的。 §2椭圆型方程第一边值问题的差分解法 本节以Poisson方程为基本模型讨论第一边值问题的差分方法。 2.1差分格式的建立 考虑Poisson方程的第一边值问题
取,h分别为x方向和y方向的步长,如图所示,以两族平行
线khxxk,(,0,1,2,)jyyjkj将定解区域剖分成矩形网 格。节点的全体记为
{(,),,,}kjkjRxyxkhyjkj为整数。定解区 域内部的节点称为内点,记内点集R为h。边界与网格 线的交点称为边界点,边界点全体记为h。与节点),(jkyx沿x方 向或y方向只差一个步长的点),(1jkyx和),(1jkyx称为节点),(jkyx的
相邻节点。如果一个内点的四个相邻节点均属于,称为正 则内点,正内点的全体记为)1(,至少有一个相邻节点不属于 的内点称为非正则内点,非正则内点的全体记为)2(。问题是要 求出第一边值问题在全体内点上的数值解。
为简便,记),(),(jkyxjk,(,)(,)kjukjuxy,),(,jkjkyxff。对正则
内点)1(),(jk,由二阶中心差商公式
Poisson方程2222(,)uufxyxy在点),(jk处可表示为 其中
为其截断误差表示式,略去),(jkR,即得与方程相近似的差分方程
式中方程的个数等于正则内点的个数,而未知数jku,则除了包含 正则内点处解u的近似值外,还包含一些非正则内点处u的近 似值,因而方程个数少于未知数个数。在非正则内点处Poisson 方程的差分近似不能按上式给出,需要利用边界条件得到。 边界条件的处理可以有各种方案,下面介绍较简单的两种。 (1)直接转移
用最接近非正则内点的边界点上的u值作为该点上u值的 近似,这就是边界条件的直接转移。
例如,点),(jkP为非正则内点,其最接近的边界点为Q点,则有 上式可以看作是用零次插值得到非正则内点处u的近似值,容易 求出,其截断误差为)(hO。将上式代入,方程个数即与未知数 个数相等。 (2)线性插值
这种方案是通过用同一条网格线上与点P相邻的边界点与 内点作线性插值得到非正则内点),(jkP处u值的近似。由点R与 T的线性插值确定)(Pu的近似值jku,,得
其中RPd,其截断误差为)(2hO。将其与方程相近似的差分方 程联立,得到方程个数与未知数个数相等的方程组,求解此方程 组可得Poisson方程第一边值问题的数值解。 上面所给出的差分格式称为五点菱形格式,
实际计算时经常取h,此时五点菱形格式可化为 简记为
21
h◇jkjkfu,,
其中◇jkjkjkjkjkjkuuuuuu,1,1,,1,1,4。 例1用五点菱形格式求解拉普拉斯(Laplace)方程第一边值问题
其中}1,0),{(yxyx。取31h。 (0,0)(1,0)(2,0)(3,0) [解]网格中有四个内点,均为正则内点。由五点菱形格式,得方 程组
0)4(10)4(10)4(10)4(12,21,23,22,12,322,11,13,12,02,221,20,22,21,11,321,10,12,11,01,22uuuuuh
uuuuuh
uuuuuh
uuuuuh
代入边界条件1,02,00,10,21,32,33,13,2
1625lg,lg991013lg,lg992534lg,lg993740lg,lg99uuuuuuuu
其解为 2756919.01,1u, 4603488.01,2u,
3467842.02,1u,5080467.02,2u
当h时,对
1,1,,1,1,,21(4)kjkjkjkjkjkjuuuuufh
利用点),(jk,)1,1(jk,)1,1(jk构造的差分格式,称为五点 矩形格式,简记为 221h□jkjkfu,,
其中□jkjkjkjkjkjkuuuuuu,1,11,11,11,1,4,其
截断误差为
五点菱形格式与矩形格式的截断误差均为)(2hO,称它们具有 二阶精度。如果用更多的点构造差分格式,其截断误差的阶数可 以提高,如利用菱形格式及矩形格式所涉及的所有节点构造出的 九点格式就是具有四阶精度的差分格式。 §3抛物型方程的差分解法 以一维热传导方程 为基本模型讨论适用于抛物型方程定解问题的几种差分格式。 3.1差分格式的建立
首先对xt平面进行网格剖分。分别取,h为x方向与t方向 的步长,用两族平行直线(0,1,2,)kxxkhk,)2,1,0(jjttj
,将xt平面剖分成矩形网格,节点
为(,)(0,1,2,,0,1,2)kjxtkj。为 简便,记),(),(jktxjk,),(),(jktxujku,)(kkx,)(11jjtgg,
221122(),(),()jjjjjjggttt。
(一)微分方程的差分近似
在网格内点),(jk处,对tu分别采用向前、向后及中心差商公式 一维热传导方程 可分别表示为 由此得到一维热传导方程的不同差分近似