偏微分方程数值解法

  • 格式:doc
  • 大小:474.00 KB
  • 文档页数:14

第十章偏微分方程数值解法 偏微分方程问题,其求解十分困难。除少数特殊情况外,绝 大多数情况均难以求出精确解。因此,近似解法就显得更为重要。本章仅介绍求解各类典型偏微分方程定解问题的差分方法。 §1差分方法的基本概念 1.1几类偏微分方程的定解问题 椭圆型方程:其最典型、最简单的形式是泊松(Poisson)方程

特别地,当0),(yxf时,即为拉普拉斯(Laplace)方程,又称 为调和方程 Poisson方程的第一边值问题为

其中为以为边界的有界区域,为分段光滑曲线,

称为定解区域,),(yxf,),(yx分别为,上的已知连续函数。 第二类和第三类边界条件可统一表示为

其中n为边界的外法线方向。当0时为第二类边界条件, 0时为第三类边界条件。

抛物型方程:其最简单的形式为一维热传导方程 方程可以有两种不同类型的定解问题: 初值问题 初边值问题

其中)(x,)(1tg,)(2tg为已知函数,且满足连接条件 边界条件)(),(),(),0(21tgtlutgtu称为第一类边界条件。 第二类和第三类边界条件为

其中0)(1t,0)(2t。当0)()(21tt时,为第二类边界条件, 否则称为第三类边界条件。 双曲型方程: 最简单形式为一阶双曲型方程 物理中常见的一维振动与波动问题可用二阶波动方程 描述,它是双曲型方程的典型形式。方程的初值问题为 边界条件一般也有三类,最简单的初边值问题为 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和),(1jkyx称为节点),(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。取31h。 (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,1u, 4603488.01,2u,

3467842.02,1u,5080467.02,2u

当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分别采用向前、向后及中心差商公式 一维热传导方程 可分别表示为 由此得到一维热传导方程的不同差分近似