文档库 最新最全的文档下载
当前位置:文档库 › 新差分方法基础

新差分方法基础

新差分方法基础
新差分方法基础

第二讲 有限差分法基本原理

一般的流体控制方程都是非线性的偏微分方程。在绝大多数情况下,这些偏微分方程无法得到精确解;而CFD 就是通过采用各种计算方法得到这些偏微分方程的数值解,或称近似解。当然这些近似解应该满足一定的精度。目前,主要采用的CFD 方法是有限差分法和有限体积法。本讲主要介绍有限差分法,它也是下一讲中的有限体积法的基础[1]。

有限差分法求解流动控制方程的基本过程是:首先将求解区域划分为差分网格,用有限个网格点代替连续的求解域,将待求解的流动变量(如密度、速度等)存储在各网格点上,并将偏微分方程中的微分项用相应的差商代替,从而将偏微分方程转化为代数形式的差分方程,得到含有离散点上的有限个未知变量的差分方程组。求出该差分方程组的解,也就得到了网格点上流动变量的数值解。

2.1 差分和逼近误差

由于通常数字计算机只能执行算术运算和逻辑运算,因此就需要一种用算术运算来处理函数微分运算的数值方法。而有限差分法就是用离散网格点上的函数值来近似导数的一种方法。

设有x 的解析函数)(x f y =,从微分学知道函数y 对x 的导数为 x

x f x x f x y dx dy x x ?-?+=??=→?→?)()(lim lim 00 (2-1) dy 、dx 分别是函数及自变量的微分,dx dy /是函数对自变量的导数,又称微商。相应地,上式中的x ?、y ?分别称为自变量及函数的差分,x y ??/为函数对自变量的差商。在导数的定义中x ?是以任意方式逼近于零的,因而x ?是可正可负的。在差分方法中,x ?总是取某一小的正数。这样一来,与微分对应的差分可以有三种形式:

向前差分 )()(x f x x f y -?+=?

向后差分 )()(x x f x f y ?--=?

中心差分 )2

1()21(x x f x x f y ?--?+=?

上面谈的是一阶导数,对应的称为一阶差分。对一阶差分再作一阶差分,就得到二阶差分,记为y 2?。以前向差分为例,有

[]

[][]

)

()(2)2()()()()2()()()()()

(2x f x x f x x f x f x x f x x f x x f x f x x f x f x x f y y +?+-?+=-?+-?+-?+=?-?+?=-?+?=??=? (2-2)

依次类推,任何阶差分都可以由低一阶再作一阶差分得到。

函数的差分与自变量的差分之比,即为函数对自变量的差商。如一阶向前差商为

x

x f x x f x y ?-?+=??)()( 一阶向后差商为

x

x x f x f x y ??--=??)()( 一阶中心差商为

x

x x f x x f x y ??--?+=??)21()21( 或

x

x x f x x f x y ??--?+=??2)()( 二阶差商多取中心格式,即

222)

()()(2)(x x x f x f x x f x y ??-+-?+=??

图2.1 差商与导数的关系

差商与导数的关系可见图2.1。由导数(微商)和差商的定义知道,当自变量的差分(增量)趋近于零时,就可以由差商得到导数。因此在数值计算中常用差商近似代替导数。差商与导数之间的误差表明差商逼近导数的程度,称为逼近误差。由函数的Taylor 展开,可以得到逼近误差相对于自变量差分(增量)的量级,称为用差商代替导数的精度,简称为差商的精度。

现以一阶向前差商为例来分析其精度。将函数)(x x f ?+在x 的x ?邻域作Taylor 展开:

))(()(!

3)()(!2)()()()(43

2x O x f x x f x x f x x f x x f ?+'''??+''??+'??+=?+ 将上式代入一阶向前差商表达式中,有

)

()())(()(!

3)(!2)()()()(32x O x f x O x x f x x f x f x x f x x f ?+'=?+?'''+?''+'=?-?+ 这里符号)(O 表示与括号中的量有相同的量级。上式表明一阶向前差商的逼近误差与自变量的增量为同一量级。把)(n x O ?中x ?的指数作为精度的阶数。这里1=n ,故一阶向前差商具有一阶精度。由于x ?是个小量,因此阶数越大精度越高。采用同样的办法可知一阶向后差商也具有一阶精度。

对于一阶中心差商,将函数)(x x f ?+与)(x x f ?-在x 的x ?邻域作Taylor 展开并代入一阶中心差商的表达式中,有 ))(()(2)()(2x O x f x

x x f x x f ?+'=??--?+ (2-3) 可见一阶中心差商具有二阶精度。同样,二阶中心差商的精度也为二阶。

2.2 差分方程、截断误差和相容性

从上节所述可知,差分相应于微分,差商相应于导数。只不过差分和差商是用有限形式表示的,而微分和导数则是以极限形式表示的。如果将微分方程中的导数用相

图2.2 网格划分

应的差商近似代替,就可以得到有限形式的差分方程。现以对流方程(2-4)为例,列出相对应的差分方程。

0=??+??x

u a t u (2-4) 用差商近似代替导数时,首先要选定x ?和t ?,称为步长。然后在t x -坐标平面上用平行于坐标轴的两族直线:

,......

2,1,0,,......2,1,0,

0=?==?+=n t n t i x i x x n i 划分出矩形网格,如图2.2所示。这里x ?和t ?取常数。直线n t t =称为第n 层,网格交叉点称为结点。

网格点划定后,就可针对某一结点,例如图2.2中的结点),(n i t x ,用差商近似代替导数。现用n i )(表示括号内函数在),(n i t x 点的值,则对流方程在该点为 0=??? ????+??? ????n

i

n i x u a t u (2-5) 如果时间导数用一阶向前差商近似代替:

t u u t u n i n i n i ?-≈??? ????+1 空间导数用一阶中心差商近似代替:

x u u x u n i n i n

i ?-≈??? ????-+211 则对流方程在),(n i t x 点对应的差分方程为 02111=?-+?--++x

u u t u u n i n i n i n i α (2-6) 按照前面关于逼近误差的分析知道,用时间向前差商代替时间导数的误差为)(t O ?,用空间中心差商代替空间导数时的误差为))((2x O ?,因而对流方程与对应的差分方程之间也存在一个误差,这一误差可由Taylor 展开确定,即 ))(,(...)(!31......212),(),()(),(223322x t O x u a t

u x x u x u a t t u t u x

t x x u t x x u a t t x u t t x u n

i n i n i n i n i n i n i n i n i ??+??? ????+??=???

?????+????? ????+??? ????++????? ????+??? ????=??--?++?--?+ (2-7) 这种用差分方程近似代替微分方程所引起的误差,称为截断误差。这里误差量级相当

于t ?的一次式、x ?的二次式。

一个与时间相关的物理问题,应用微分方程表示时,还必须给定初始条件,从而形成一个完整的初值问题。对流方程的初值问题为 ?????==??+??)

()0,(0x u x u x u a t u (2-8) 这里)(x u 为某已知函数。同样,差分方程也必须有初始条件: ??

???==?-+?--++)(020111i i n i n i n i n i x u u x u u t u u α (2-9) 初始条件是一种定解条件,差分方程和其定解条件一起,称为相应微分方程定解问题的差分格式。将式(2-9)中第1+n 时间层的量放在等号左边,将其余时间层的量放在等号右边,有 ??

???=-??-=-++)()(20111i i n i n i n i n i x u u u u x t a u u (2-10) 称其为FTCS 格式(时间前差、空间中差)。若时间和空间都用向前差分,则得 ??

???==?-+?-++)(0011i i n i n i n i n i x u u x u u t u u α (2-11) 同样,将第1+n 时间层的量放在等号左边,将其余时间层的量放在等号右边,有 ??

???=-??-=++)()(011i i n i n i n i n i x u u u u x t a u u (2-12) 该格式称为FTFS 格式。若时间采用向前差分、空间采用向后差分,则得到FTBS 格式:

??

???=-??-=-+)()(011i i n i n i n i n i x u u u u x t a u u (2-13) 观察这三种差分格式,可以看出若知道第n 时间层的u ,则可以由一个差分式子直接算出第1+n 时间层的u ,称这类格式为显式格式。

差分方程的相容性:如果当x ?、0→?t 时,此差分方程的截断误差的某种范数也趋近于零,则表明从截断误差的角度来看,此差分方程是能用来逼近微分方程的,通常称这样的差分方程和相应的微分方程相容。

2.3 收敛性和稳定性

当步长趋于零时,要求差分格式的解趋于微分方程的解,称这种是否趋于微分方程定解问题的解的情况为差分格式的收敛性。

在有限差分法的具体运算中,计算误差总是不可避免的,如舍入误差,以及这种误差的传播、积累。如果这一误差对以后的影响越来越小,或是这个误差保持在某个限度内,那么就称这个差分格式在给定的条件下稳定。根据理论分析可以知道,上面介绍的几种差分格式是条件稳定的。

2.4 差分格式介绍

2.4.1 迎风格式

前面已经指出,微分问题

?????==??+??)

()0,(0x u x u x u a t u 的FTBS 格式,在0>a 和1≤??x t a 的条件下稳定,而FTFS 格式在0

t a ??≤-1的条件下稳定。这里,当a 的符号改变时,为了使差分格式稳定,空间差分的方向也作了相应的变化。由于a 是与速度对应的量,a 的正负表示速度方向的不同,即表示流(风)向:a 为正,看作风向沿着正方向吹;a 为负,则风朝着负方向吹。而迎着方向往上游取空间差分,所得到的差分格式才可能是稳定的。因为对流方程0>a 时的波形传播方向沿x 轴正向,上游的量经过一段时间要传播到下游,1+n 时刻i 站的量要受到上游站n 时刻量的影响,故只可以迎着风向取空间差分,而不可以顺着风向取空间差分。这种格式是迎着风向往上游作差分所得到的,称为迎风格式。上述FTBS 格式和FTFS 格式都必须在迎风时有条件稳定。

2.4.2 隐式格式

前面介绍的显式格式往往是有条件稳定的,甚至完全不稳定。如FTCS 是完全不

稳定的,FTBS 格式是条件稳定的。对于FTBS 格式,在0>a 和1≤??x

t a 的条件下稳定,即要求a

x t ?≤?,当要求空间步长x ?很小时,时间步长也必须取的很小,才能保证格式稳定,而t ?取得小,计算工作量就大大增加,经济上也不合算。而本节将要介绍的隐式格式常常是无条件稳定的,因此在许多情况下受到重视并被广泛应用。

隐式格式相当于从),(t t x n i ?+点出发,用时间的向后差分把第1+n 时间层的量与已知时间层的量联系起来。现以对流方程为例,从),(t t x n i ?+点出发取BTCS 差分可得

0211111=?-+?-+-+++x

u u t u u n i n i n i n i α (2-14) 或改写为

n i n i n i n i u u x

t a u u x t a -=??--??++++-1111122 (2-15) 由于该方程含有三个第1+n 时间层上的函数值,即一个方程含有三个未知量,必须解联立方程才能得到第1+n 时间层上的未知量,故称该格式为隐式格式。

可以证明,用于对流方程的隐式格式是完全稳定的。由于完全稳定,时间步长可以取得大些,从这一点来说,工作量减少了。但隐式格式要解代数联立方程组,在每一时间步长内工作量有所增加。

2.5 耗散与色散

现以对流方程为例,采用时间向前差分、空间向后差分:

011=?-+?--+x

u u t u u n i n i n i n i α (2-16) 利用Taylor 展开,得到:

......)123(6)()1(21332222+??--?+??-?=??+??x

u r r x a x u r x a x u a t u (2-17) 上式就是差分方程(2-16)实际所模拟的微分方程,与原对流方程相比,多了二次导数项和三次导数项。一般说:截断误差中含偶次导数项时,将引起耗散。在流体力学方程中,二次导数项是与粘性项相关的。不同的是,在这里该项是差分方程数值离散的结果,因此纯粹的数值引发,没有物理意义。因此,在CFD 方法中,类似的项被称为数值耗散。相似的,该项的系数,即)1(2

1r x a -?,其作用类似于物理粘性,因而被称为人工粘性。虽然数值耗散损害了计算精度,但却改善了计算的稳定性。因此,很多不稳定的计算格式或显式、或隐含地添加了人工粘性后,就变得稳定了。同样,在截断误差中还含奇次导数项,该项将引起数值色散。

最后,总结一下有限差分法的优缺点。优点:有限差分法只须构造偏导数的离散方法,这使得它比较容易推广到高阶精度。缺点,只能在直角网格上进行差分离散,需要物理空间到计算空间的坐标变换,使控制方程变得更为复杂,同时当进行复杂外形流动计算时带来网格划分的不便。

参 考 文 献

[1] 顾尔祚.有限差分法基础.上海:上海交通大学出版社,1988.

完整版有限差分方法概述.doc

有限差分法( Finite Difference Method,简称FDM)是数值方法中最经典的方法,也是计算机数值模拟最早采用的方法,至今仍被广泛运用。该方法将求解域划分为差分网格,用有限个网格节点代替连续的求解域。有限差分法以Taylor级数展开等方法,把控制方程中的导数用网格节点上的函数值的差商代替进行离散,从而建立以网格节点上的值为未知数的代数方程组。该方法是一种直接将微分问题变为代数问题的近似数值解法,数学概念直观,表达简单,是发展较 早且比较成熟的数值方法。对于有限差分格式,从格式的精度来划分,有一阶格式、二阶格式和高阶格式。从差分的空间形式来考虑,可分 为中心格式和逆风格式。考虑时间因子的影响,差分格式还可以分为显格式、隐格式、显隐交替格式等。目前常见的差分格式,主要是上 述几种形式的组合,不同的组合构成不同的差分格式。差分方法主要适用于有结构网格,网格的步长一般根据实际地形的情况和柯朗稳定条件来决定。 构造差分的方法有多种形式,目前主要采用的是泰勒级数展开方法。其基本的差分表达式主要有三种形式:一阶向前差分、一阶向后 差分、一阶中心差分和二阶中心差分等,其中前两种格式为一阶计算精度,后两种格式为二阶计算精度。通过对时间和空间这几种不同差分格式的组合,可以组合成不同的差分计算格式。 下面我们从有限差分方法的基本思想、技术要点、应用步骤三个方面来深入了解一下有限差分方法。 1.基本思想 有限差分算法的基本思想是把连续的定解区域用有限个离散点 构成的网格来代替,这些离散点称作网格的节点;把连续定解区域上的连续变量的函数用在网格上定义的离散变量函数来近似;把原方程和定解条件中的微商用差商来近似,积分用积分和来近似,于是原微分方程和定解条件就近似地代之以代数方程组,即有限差分方程组,解此方程组就可以得到原问题在离散点上的近似解。然后再利用插值方法便可以从离散解得到定解问题在整个区域上的近似解。在采用数值计算方法求解偏微分方程时,再将每一处导数由有限差分近似公式替代,从而把求解偏微分方程的问题转换成求解代数方程的问题,即 所谓的有限差分法。 2.技术要点 如何根据问题的特点将定解区域作网格剖分;如何把原微分

差分方程真题

第九章 微分方程与差分方程(历年考研真题) 1、设函数()y y x =满足条件440(0)2,(0)4 y y y y y '''++=??'==? ,求广义积分0()d y x x +∞? 。 2、已知连续函数()f x 满足条件320()()d e 3 x x t f x f t =+?,求()f x 。 3 、求微分方程d d y x =的通解。 4、设函数()f t 在[0,)+∞上连续,且满足方程 22242 4()d e x y t t f t f x y π+≤=+??,求()f t 。 5、设函数()f x 在[1,)+∞上连续。若由曲线()y f x =,直线1,(1)x x t t ==>与x 轴所围成的平面图形绕x 轴旋转一周所形成的旋转体的体积为 2()[()(1)]3V t t f t f π= -。试求()y f x =所满足的微分方程,并求该微分方程满足条件229 x y ==的解。 6、设有微分方程2()y y x ?'-=,其中2,1;()0, 1.x x x ?? 试求在(,)-∞+∞内的连续函数()y y x =,使之在(,1)-∞和(1,)+∞内都满足所给方程,且满足条件(0)0y =。 7、求微分方程22e 0x y y '''--=满足条件(0)1,(0)1y y '==的解。 8、已知()n f x 满足 1()()e n x n n f x f x x -'=+(n 为正整数),且e (1)n f n =,求函数项级数1 ()n n f x ∞=∑ 之和。 9、(1)验证函数 3693()1()3!6!9!(3)! n x x x x y x x n =++++++-∞<<+∞L L 满足微分方程e x y y y '''++=; (2)利用(1)的结果求幂级数30(3)!n n x n ∞ =∑的和函数。 10、设()()()F x f x g x =,其中函数(),()f x g x 在(,)-∞+∞内满足以下条件: ()(),()(),(0)0,()()2e x f x g x g x f x f f x g x ''===+=且。 (1) 求()F x 所满足的一阶微分方程; (2)求出()F x 的表达式。

有限差分方法计算欧式期权价格

假设当前股票价格为50美元,股票价格波动率sigma=0.3;以该股票为标的资产的欧式看跌期权的执行价格为50美元,期权有效期为5个月;市场上的无风险利率为10%。利用显示差分格式为该期权进行定价。 %%% 显示法求解欧式看跌期权%%% s0=50; %股价 k=50; %执行价 r=0.1; %无风险利率 T=5/12; %存续期 sigma=0.3; %股票波动率 Smax=100; %确定股票价格最大价格 ds=2; %确定股价离散步长 dt=5/1200; %确定时间离散步长 M=round(Smax/ds); %计算股价离散步数,对Smax/ds取整运算 ds=Smax/M; %计算股价离散实际步长 N=round(T/dt); %计算时间离散步数 dt=T/N; %计算时间离散实际步长 matval=zeros(M+1,N+1); vets=linspace(0,Smax,M+1); %将区间[0,Smax]分成M段 veti=0:N; vetj=0:M; %建立偏微分方程边界条件 matval(:,N+1)=max(k-vets,0); matval(1,:)=k*exp(-r*dt*(N-veti)); matval(M+1,:)=0; %确定叠代矩阵系数 a=0.5*dt*(sigma^2*vetj-r).*vetj; b=1-dt*(sigma^2*vetj.^2+r); c=0.5*dt*(sigma^2*vetj+r).*vetj; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%% L=zeros(M-1,M+1); for i=2:M %%建立递推关系 L(i-1,i-1)=a(i); L(i-1,i)=b(i); L(i-1,i+1)=c(i); end for i=N:-1:1 matval(2:M,i)=L*matval(:,i+1); end matval %寻找期权价格进行插值。 Jdown=floor(s0/ds);

(完整版)差分方程模型(讲义)

差分方程模型 一. 引言 数学模型按照离散的方法和连续的方法,可以分为离散模型和连续模型。 1. 确定性连续模型 1) 微分法建模(静态优化模型),如森林救火模型、血管分支模型、最优价格模型。 2) 微分方程建模(动态模型),如传染病模型、人口控制与预测模型、经济增长模型。 3) 稳定性方法建模(平衡与稳定状态模型),如军备竞赛模型、种群的互相竞争模型、种群的互相依存模型、种群弱肉强食模型。 4) 变分法建模(动态优化模型),如生产计划的制定模型、国民收入的增长模型、渔业资源的开发模型。 2. 确定性离散模型 1) 逻辑方法建模,如效益的合理分配模型、价格的指数模型。 2) 层次分析法建模,如旅游景点的选择模型、科研成果的综合评价模型。 3)图的方法建模,如循环比赛的名次模型、红绿灯的调节模型、化学制品的存放模型。 4)差分方程建模,如市场经济中的蛛网模型、交通网络控制模型、借贷模型、养老基金设置模型、人口的预测与控制模型、生物种群的数量模型。 随着科学技术的发展,人们将愈来愈多的遇到离散动态系统的问题,差分方程就是建立离散动态系统数学模型的有效方法。 在一般情况下,动态连续模型用微分方程方法建立,与此相适应,当时间变量离散化以后,可以用差分方程建立动态离散模型。有些实际问题既可以建立连续模型,又可建立离散模型,究竟采用那种模型应视建模的目的而定。例如,人口模型既可建立连续模型(其中有马尔萨斯模型Malthus、洛杰斯蒂克Logistic模型),又可建立人口差分方程模型。这里讲讲差分方程在建立离散动态系统数学模型的的具体应用。

二. 差分方程简介 在实际中,许多问题所研究的变量都是离散的形式,所建立的数学模型也是离散的,譬如,像政治、经济和社会等领域中的实际问题。有些时候,即使所建立的数学模型是连续形式,例如像常见的微分方程模型、积分方程模型等。但是,往往都需要用计算机求数值解。这就需要将连续变量在一定的条件下进行离散化,从而将连续型模型转化为离散型模型。因此,最后都归结为求解离散形式的差分方程解的问题。关于差分方程理论和求解方法在数学建模和解决实际问题的过程中起着重要作用。 1. 差分方程的定义 给定一个数列{}n x , 把数列中的前1+n 项i x ),,2,1,0(n i Λ=关联起来得到的方程,则称这个方程为差分方程。 2. 常系数线性齐次差分方程 常系数线性齐次差分方程的一般形式为 02211=++++---k n k n n n x a x a x a x Λ, (1) 或者表示为 0),,,,(1=++k n n n x x x n F Λ (1’) 其中k 为差分方程的阶数,其中k a a a ,,,21Λ为差分方程的系数,且0≠k a )(n k ≤。 对应的代数方程 02211=++++--k k k k a a a Λλλλ (2) 称为差分方程(1)的对应的特征方程。(2)式中的k 个根k λλλ,,,21Λ称为(1)式的特征根。 2.1 差分方程的解 常系数线性齐次差分方程的解主要是由相应的特征根的不同情况有不同的形式。下面分别就特征根为单根、重根和复根的情况给出方程解的形式。 2.1.1 特征根为单根(互不相同的根) 设差分方程(1)有k 个单特征根(互不相同的根)k λλλ,,,21Λ,则

差分方程与概率计算

第4期 随着科学技术的发展,差分方程在各个领域得到越来越多的应用,本文将介绍差分方程的一个简单的应用,即如何利用差分方程来求概率问题,虽然差分方程及其解法在很多方面类似于微分方程,但由于很少书籍介绍差分方程的内容,现在先了解一下差分方程的基本概念。 1.差分的概念[1] 定义1 设y(t)为定义在整数集上的函数,则称△y(t)=y(t+1)-y(t)为函数y(t)的一阶差分, △(△y(t))=△2y(t)称为y(t)的二阶差分,△ny(t)=△(△n-1y(t))称为y(t)的n阶差分。 对于连续函数y(t),可以在区间[a,b]内插入n-1个分点:a<t0<t1<…<tn=b(为方便计算,可取等距离点),得函数值y(t0),y(t1),…,y(tn),同样定义y(t)的各阶差分。 上述定义也可以称为向前差分,还可以用不同的形式定义向后差分与中心差分,三者实质是相同的,可以互相转换。差分具有线性运算及类似微分的运算性质。 2.差分方程的概念[1] 定义2差分方程的一般形式为:F(y(t);△y(t),…,△ny(t))=0,方程中的最大足标i+n与最小足标 i之差为n时,称之为n阶的差分方程,其一般形式为:a0(t)y(t)+a1(t)y(t)+…+an(t)y(t)=b(t),当b(t)=0 时,称为其次的,否则称为非其次的。 在求概率中应用到的一类差分方程,是一类简单的特殊形式,常用到的只有一阶常系数线性差分方程和二阶常系数线性差分方程,其一般形式为:xn+1=axn+b (1);xn+2=axn+1+bxn(2) 3.一阶、二阶常系数线性差分方程的解[2]引理1 对于一阶常系数线性差分方程xn+1=axn+bxn,a,b为常数,若已知x1=c(c为常数), 则xn+1=an c+(1-an ) 1-a 引理2[3] 对于二阶常系数线性差分方程xn+2=axn+1+bx,a,b为常数,若x1=m1,x2=m2(m1,m2为常数), 则xn+1=λ1n (m1λ2-m2)λ2-λ1+λ2n (m2-m1λ2)λ2-λ1 ,其中λ1、λ2是方程λ 2 -aλ-b=0的两根。证明令xn=Aλn代入(2)得:Aλn(λ2-aλ-b)=0,称方程λ2 -aλ-b=0为差分方程(2)的特征方程,且(2) 的解与特征方程的解有关系式:xn+1=c1λ1n+1 +c2λ2n+2 , 因给定初值x1=m1x2=m2" , 代入上式得:m1=c1λ1+c2λ2 m2=c1λ12+c2λ2 2 " 差分方程与概率计算 唐燕玉 (安庆师范学院学报编辑部,安徽安庆246011) 摘要:全文介绍了差分方程的概念,并给出了一阶差分方程xn+1=axn+b的通解与给定初始条件x1=c的特解,同时又给出了二阶差分方程xn+2=axn+1+bxn的通解与给定初始条件x1=m1,x2=m2的特解,并详细讨论了这两种差分方程在概率论中的应用。 关键词:概率;差分;差分方程;试验;全概公式中图分类号:O211 文献标识码:A 文章编号:1007-4260(2006)04-0091-03 收稿日期:2006-01-28 作者简介:唐燕玉(1951-),女,安徽枞阳人,安庆师范学院学报(自然科学版)主编。 安庆师范学院学报(自然科学版) JournalofAnqingTeachersCollege(NaturalScienceEdition) 2006年11月 Nov.2006第12卷第4期 Vol.12No.4

差分方程的基本知识(3)

差分方程模型的理论和方法 1、差分方程:差分方程反映的是关于离散变量的取值与变化规律。通过建立一个或几个离散变量取值所满足的平衡关系,从而建立差分方程。 差分方程就是针对要解决的目标,引入系统或过程中的离散变量,根据实际背景的规律、性质、平衡关系,建立离散变量所满足的平衡关系等式,从而建立差分方程。通过求出和分析方程的解,或者分析得到方程解的特别性质(平衡性、稳定性、渐近性、振动性、周期性等),从而把握这个离散变量的变化过程的规律,进一步再结合其他分析,得到原问题的解。 2、应用:差分方程模型有着广泛的应用。实际上,连续变量可以用离散变量来近似和逼近,从而微分方程模型就可以近似于某个差分方程模型。差分方程模型有着非常广泛的实际背景。在经济金融保险领域、生物种群的数量结构规律分析、疾病和病虫害的控制与防治、遗传规律的研究等许许多多的方面都有着非常重要的作用。可以这样讲,只要牵涉到关于变量的规律、性质,就可以适当地用差分方程模型来表现与分析求解。 3、差分方程建模:在实际建立差分方程模型时,往往要将变化过程进行划分,划分成若干时段,根据要解决问题的目标,对每个时段引入相应的变量或向量,然后通过适当假设,根据事物系统的实际变化规律和数量相互关系,建立每两个相邻时段或几个相邻时段或者相隔某几个时段的量之间的变化规律和运算关系(即用相应设定的变量进行四则运算或基本初等函数运算或取最运算等)等式(可以多个并且应当充分全面反映所有可能的关系),从而建立起差分方程。或者对事物系统进行划分,划分成若干子系统,在每个子系统中引入恰当的变量或向量,然后分析建立起子过程间的这种量的关系等式,从而建立起差分方程。在这里,过程时段或子系统的划分方式是非常非常重要的,应当结合已有的信息和分析条件,从多种可选方式中挑选易于分析、针对性强的划分,同时,对划分后的时段或子过程,引入哪些变量或向量都是至关重要的,要仔细分析、选择,尽量扩大对过程或系统的数量感知范围,包括对已有的、已知的若干量进行结合运算、取最运算等处理方式,目的是建立起简洁、深刻、易于求解分析的差分方程。在后面我们所举的实际例子中,这方面的内容应当重点体会。

差分方法

一、差分方法 1.1 导数的差分公式 在x 附近对()f x 展开,由泰勒展开公式 ()()()f x h f x f x h '+≈+ 得到前差公式为 ()() ()f x h f x f x h +-'= 同理也可以得到后差公式 ()() ()f x f x h f x h --'= 由后差分公式可以得到二阶导数的差分公式为 2 ()()()2()() ()f x h f x f x h f x f x h f x h h ''+-+-+-''= = 叫中心差分公式。 利用这些公式可以将微分方程写成差分方程。 1.2 热传导方程的差分公式 热传导方程是 2t xx u a u = 可以写成差分形式 2 2 (,)(,)(,)2(,)(,) ()u x t t u x t u x x t u x t u x x t a t x +?-+?-+-?≈?? 即 []2 2 (,)(,)(,)2(,)(,)()t u x t t u x t a u x x t u x t u x x t x ?+?≈+ +?-+-?? 令 ,,0,1,2,...,1x i x t i t i n =?=?=- 上式可以写为(显示格式) []2 2 (,1)(,)(1,)2(,)(1,)()t u i j u i j a u i j u i j u i j x ?+=+ +-+-? 可以证明,上式的稳定条件为 2 2 ()2x t a ??≤,即 221()2t a x ?≤? 稳定且非振荡的条件为

22 1 ()4 t a x ?≤? 截断误差为 2((),)O x t ?? 另一种格式为 2 2 (,)(,)(,)2(,)(,) ()u x t t u x t u x x t t u x t t u x x t t a t x +?-+?+?-+?+-?+?≈?? 即 22 22()()(,1,1)2(,1)(1,1)(,)x x u i j u i j u i j u i j a t a t ????-++--++++=-????? ? 该式称为隐式格式。对任何步长都是恒稳定的。在t ?上取值的唯一限制是,要将截断误差 保持在合理的程度上从而节约计算时间。 截断误差为 2((),)O x t ??。 二、一维热传导方问题 2.1 无限长细杆的热传导 无限长细杆的热传导的定解问题是 2(,0)()t xx u a u u x x ??=? =? 利用Fourier 变换求得问题的解是 2 2()4(,)()x a t u x t d ξ?ξξ--+∞ -∞?? =???? 其中取初始温度分布如下: 1,01()0,0,1x x x x ?≤≤?=? <>? 这是在区间0—1之间高度为1的一个矩形脉冲,于是得到 2 (,)u x t ξ=? 可以用图1所示的瀑布图来表示稳定随时间与空间的变化。 从图中可以看到,在开始时,温度分布是原点附近的一个脉冲状得分布,随着时间的增加,热量向两边传播,形成一个平缓的波包,不难想象如果时间足够长,最终杆上的温度会全

微分方程与差分方程详细讲解与例题

第七章 常微分方程与差分方程 常微分方程是高等数学中理论性和应用性都较强的一部分,是描述客观规律的一种重要方法,是处理物理、力学、几何等应用问题的一个重要工具,微分和积分的知识是研究微分方程的基础。微分方程作为考试的重点容,每年研究生考试均会考到。特别是微分方程的应用问题,既是重点,也是难点,在复习时必须有所突破。 【数学一大纲容】常微分方程的基本概念;变量可分离的方程;齐次方程;一阶线性方程;伯努利(Bernoulli )方程;全微分方程;可用简单的变量代换求解的某些微分方程;可降阶的高阶微分方程;线性微分方程解的性质及解的结构定理;二阶常系数齐次线性微分方程;高于二阶的某些常系数齐次线性微分方程;简单的二阶常系数非齐次线性微分方程;欧拉(Euler )方程;微分方程的简单应用。 【数学二大纲容】常微分方程的基本概念;变量可分离的方程;齐次方程;一阶线性微分方程;可降阶的高阶微分方程;线性微分方程解的性质及解的结构定理;二阶常数齐次线性微分方程;高于二阶的某些常系数齐次线性微分方程;简单的二阶常系数非齐次线性微分方程;微分方程的一些简单应用。 【大纲要求】要理解微分方程的有关概念,如阶、解、通解、特解、定解条件等,掌握几类方程的解法:如变量可分离方程,齐次方程,一阶线性微分方程,伯努利方程,可降阶方程等。理解线性微分方程解的性质和解的结构,掌握求解常系数齐次线性方程的方法,掌握求解某些自由项的常系数非齐次线性方程的待定系数法。了解欧拉方程的概念,会求简单的欧拉方程。会用微分方程处理物理、力学、几何中的简单问题。 【考点分析】本章包括三个重点容: 1.常见的一阶、二阶微分方程求通解或特解。求解常微分方程重要的是判断方程为哪种类型,并记住解法的推导过程。 2.微分方程的应用问题,这是一个难点,也是重点。利用微分方程解决实际问题时,若是几何问题,要根据问题的几何特性建立微分方程。若是物理问题,要根据某些物理定律建立微分方程,也有些问题要利用微元法建立微分方程。 3.数学三要求掌握一阶常系数线性差分方程的求解方法,了解差分与差分方程及其通解与特解等概念,会用差分方程求解简单的经济应用问题。 【考点八十三】形如()()y f x g y '=的一阶微分方程称为变量可分离微分方程。可分离变量的微分方程的解题程序: 当()0,()()()() dy g y y f x g y f x dx g y '≠=? =时,然后左、右两端积分 (),()dy f x dx C g y =+?? 上式即为变量可分离微分方程的通解。其中,C 为任意常数,1 ()() dy g y g y ? 表示函数的一个原函数,()f x dx ?表示函数()f x 的一个原函数. 【例7.1】微分方程1+++='y x xy y 的通解为____________。

有限差分法

有限差分法有限差分法 finite difference method 微分方程和积分微分方程数值解的方法。基本思想是把连续的定解区域用有限个离散点构成的网格来代替,这些离散点称作网格的节点;把连续定解区域上的连续变量的函数用在网格上定义的离散变量函数来近似;把原方程和定解条件中的微商用差商来近似,积分用积分和来近似,于是原微分方程和定解条件就近似地代之以代数方程组,即有限差分方程组,解此方程组就可以得到原问题在离散点上的近似解。然后再利用插值方法便可以从离散解得到定解问题在整个区域上的近似解。 有限差分法的主要内容包括:如何根据问题的特点将定解区域作网格剖分;如何把原微分方程离散化为差分方程组以及如何解此代数方程组。此外为了保证计算过程的可行和计算结果的正确,还需从理论上分析差分方程组的性态,包括解的唯一性、存在性和差分格式的相容性、收敛性和稳定性。对于一个微分方程建立的各种差分格式,为了有实用意义,一个基本要求是它们能够任意逼近微分方程,这就是相容性要求。另外,一个差分格式是否有用,最终要看差分方程的精确解能否任意逼近微分方程的解,这就是收敛性的概念。此外,还有一个重要的概念必须考虑,即差分格式的稳定性。因为差分格式的计算过程是逐层推进的,在计算第n+1层的近似值时要用到第n层的近似值,直到与初始值有关。前面各层若有舍入误差,必然影响到后面各层的值,如果误差的影响越来越大,以致差分格式的精确解的面貌完全被掩盖,这种格式是不稳定的,相反如果误差的传播是可以控制的,就认为格式是稳定的。只有在这种情形,差分格式在实际计算中的近似解才可能任意逼近差分方程的精确解。关于差分格式的构造一般有以下3种方法。最常用的方法是数值微分法,比如用差商代替微商等。另一方法叫积分插值法,因为在实际问题中得出的微分方程常常反映物理上的某种守恒原理,一般可以通过积分形式来表示。此外还可以用待定系数法构造一些精度较高的差分格式。 有限差分方法(FDM)是计算机数值模拟最早采用的方法,至今仍被广泛

差分方程的解法

第三节 差分方程常用解法与性质分析 1、常系数线性差分方程的解 方程)(...110n b x a x a x a n k k n k n =+++-++ ( 8) 其中k a a a ,...,,10为常数,称方程(8)为常系数线性方程。 又称方程0...110=+++-++n k k n k n x a x a x a (9) 为方程(8)对应的齐次方程。 如果(9)有形如 n n x λ=的解,带入方程中可得: 0 ...1110=++++--k k k k a a a a λλλ (10) 称方程(10)为方程(8)、(9)的特征方程。 显然,如果能求出(10)的根,则可以得到(9)的解。 基本结果如下: (1) 若(10)有k 个不同的实根,则(9)有通解: n k k n n n c c c x λλλ+++=...2211, (2) 若(10)有m 重根λ,则通解中有构成项: n m m n c n c c λ )...(121----+++

(3)若(10)有一对单复根 βαλi ±=,令:?ρλi e ±=, αβ?βαρarctan ,22=+=,则(9)的通解中有构成项: n c n c n n ?ρ?ρsin cos 21--+ (4) 若有m 重复根:βαλi ±=,φρλi e ±=,则(9)的通项中有成 项: n n c n c c n n c n c c n m m m m n m m ?ρ?ρsin )...(cos )...(1221121---++---+++++++ 综上所述,由于方程(10)恰有k 个根,从而构成方程 (9)的通解中必有k 个独立的任意常数。通解可记为:-n x 如果能得到方程(8)的一个特解:*n x ,则(8)必有通解: =n x -n x +* n x (11) (1) 的特解可通过待定系数法来确定。 例如:如果)(),()(n p n p b n b m m n =为n 的多项式,则当b 不是特征 根时,可设成形如)(n q b m n 形式的特解,其中)(n q m 为m 次多项式;如 果b 是r 重根时,可设特解:r n n b )(n q m ,将其代入(8)中确定出系 数即可。

二维问题的有限差分方法

西北农林科技大学实习报告 学院:理学院 专业年级:信计061 姓名:袁金龙 学号:15206012 课程:微分方程数值解 报告日期:2008-12-3 实习二、二维问题的有限差分方法 一) 实习问题: 二维经典初边值问题: 2 22 2,01(,0),01(0,)(1,)0,01x u u te t t t u x x x u t u t t ???=+<≤?????=<

差分方程基本概念和方法

差分方程基本概念和方法 考察定义在整数集上的函数,(),,2,1,0,1,2, n x f n n ==-- 函数()n x f n =在n 时刻的一阶差分定义为: 1(1)()n n n x x x f n f n ?+=-=+- 函数()n x f n =在n 时刻的二阶差分定义为一阶差分的差分: 21212n n n n n n x x x x x x ???+++=-=-+ 同理可依次定义k 阶差分 k n x ? 定义1.含有自变量n ,未知函数n x 以及n x 的差分2,, n n x x ??的函数方程, 称为常 差分方程,简称为差分方程。出现在差分方程中的差分的最高阶数,称为差分方 程的阶。 k 阶差分方程的一般形式为 (,,, ,)0k n n n F n x x x ??= 其中(,,,,)k n n n F n x x x ??为,,, k n n n n x x x ??的已知函数,且至少k n x ?要在式中出 现。 定义2.含有自变量n 和两个或两个以上函数值1,, n n x x +的函数方程,称为(常) 差分方程,出现在差分方程中的未知函数下标的最大差,称为差分方程的阶。 k 阶差分方程的一般形式为 1(,,, ,)0n n n k F n x x x ++= 其中1(,,,,)n n n k F n x x x ++为1,,, n n n k n x x x ++的已知函数,且n x 和n k x +要在式中一定 要出现。 定义3.如果将已知函数()n x n ?=代入上述差分方程,使其对0,1,2, n =成为恒 等式,则称()n x n ?=为差分方程的解。如果差分方程的解中含有k 个独立的任意

研究有限差分格式稳定性的其他方法 - 报告

2015 年秋季学期研究生课程考核 (读书报告、研究报告) 考核科目:偏微分方程数值解法 学生所在院(系):理学院数学系 学生所在学科:数学 学生姓名:H i t e r 学号:1X S012000 学生类别: 考核结果阅卷人

研究有限差分格式稳定性的其他方法 摘要 偏微分方程的求解一直是大家比较关心的一个问题,而有限差分格式则是求解偏微分方程时常用并且有效的一个方法。因此,研究有限差分格式的性质就显得尤为重要。在课上我们已经跟着老师学习了运用Fourier方法研究有限差分格式的稳定性,但是在很多研究有限差分格式稳定性的问题中仅仅会用Fourier方法是不够的,所以在本篇论文中,将会介绍其他三种常用的研究有限差分格式稳定性的方法,分别是:Hirt启示型方法、直接方法(或称矩阵方法)和能量不等式方法。 关键字:偏微分方程;有限差分格式;稳定性 Abstract The solution of partial differential equations has been more concerned with a problem, and the finite difference scheme is a common and effective method for solving partial differential equations. Therefore, it is very important to study the character of the finite difference scheme. We have followed the teacher to learn the use of Fourier method of finite difference scheme stability, but in a lot of research on the stability of finite difference scheme is only used Fourier method is not enough, so in this paper, will introduce the other three kinds of commonly used in the study of finite difference scheme stability method, respectively is: Hirt enlightenment method, direct method (or matrix method) and energy inequality method. Key words: partial differential equation; finite difference scheme; stability 1 前言 微分方程的定解问题就是在满足某些定解条件下求微分方程的解。在空间区域的边界上要满足的定解条件称为边值条件。如果问题与时间有关,在初始时刻所要满足的定解条件,称为初值条件。不含时间而只带边值条件的定解问题,称为边值问题。与时间有关而只带初值条件的定解问题,称为初值问题。同时带有两种定解条件的问题,称为初值边值混合问题。定解问题往往不具有解析解,或者其解析解不易计算。所以要采用可行的数值解法。有限差分方法就是一种数值解法,它的基本思想是先把问题的定义域进行网格剖分,然后在网格点上,按适当的数值微分公式把定解问题中的微商换成差商,从而把原问题离散化为差分格式,进而求出数值解。此外,还要研究差分格式的解的存在性和唯一性、解的求法、解法的数值稳定性、差分格式的解与原定解问题的真解的误差估计、差分格式的解当网格大小趋于零时是否趋于真解(即收敛性),等等。有限差分方法具有简单、灵活以及通用性强等特点,容易在计算机上实现。在课上我们已经跟着老师学习了运用Fourier方法研究有限差分格式的稳定性,但是在很多研究有限差分格式稳定性的问题中仅仅会用Fourier方法是不够的,所以在本篇论文中,将会介绍其他三种常用的研究有限差分格式稳定性的方法,分别是:Hirt 启示型方法、直接方法和能量不等式方法。 2 Hirt启示性方法 2.1 方法概述 Hirt启示性方法是一种近似分析方法。主要是把差分格式在某确定点上作泰勒级数近似

多期双重差分法,政策实施时间不同的处理方法

多期双重差分法,政策实施时间不同的处理方法 今天,计量经济圈主要给圈友引荐一些平时在咱们社群问得比较多的问题——多期双重差分法和一些要点。我们想检验修建地铁对城市环境污染的影响,那么我们想到的是使用DID方法来得到因果关系。但是,我们有疑惑的地方是,各个城市修地铁的时间有先有后,而标准的双重差分方法一般要求t为同一时间点,比如20xx年。 对于这个问题,我们可以采用多期DID方法,将所有还没有修建地铁的城市作为控制组,把已经修建地铁的城市作为处理组,即使最终所有城市都修建了地铁,我们也可以把还没有修建地铁之时的城市作为控制组。 简单点讲,就是每个修建地铁的城市的DID交互项在数据中显示的不一样,因为DID交互项是两个虚拟变量的乘积:treated(是不是修建了地铁)和time(修建地铁的时间)。 这个DID的交互项等于1的情况是,这个城市在具体某年修建了地铁,而对于在修建地铁之前的年份,这个城市的DID 交互项等于0。这就表明,我们在多期DID使用中不再有统一的政策实施年份,而是允许每个城市都有自己的政策实施年份。 这样是不是有助于解决我们遇到的大部分问题。对于那些压根到目前为止都没有地铁的城市,那他的DID(自然不用说)

就是等于0,因为他的treated始终是为0,属于我们的控制组样本。注意,现在就是一个普通的xtreg回归,但是这里有些地方需要注意。第一,我们平时经常看到的 treated+time+treated*time+协变量的标准DID组合已经不见了,现在只剩下了treated*time这个DID交互项和协变量了。第二,我们尽量控制一下城市的个体效应和时间效应,来消除那些会影响DID交互项估计的不可观测因素和时间效应。下面这个多期DID模型就是如此的,αt是时间效应,βi 是城市效应,Xit是随着时间变动的协变量,BC*After就属于咱们感兴趣的DID估计量。 第三,这里面的treated(就是BC)虚拟变量当然可以灵活地替换为其他连续变量,比如,我们不仅对是否修建地铁对环境影响感兴趣,更是对修建地铁的里程对环境影响感兴趣。我们可以把BC替换成地铁的里程(length),然后我们的准DID 交互项就是length*After。这种DID设置的灵活性让这种方法有很大的适用性。 如果有时候我们不知道处理组具体怎么选择,那该如何设计方法呢?比如我们想要研究一下,美国政府对那些破产的按揭房(金融危机之后的事情)兴起了一个维护修理的政策举动,那这些房子就不至于破败不堪而影响了周围房子的价格。此时,我们就想看看这个政策举动对周围房子的价格的影响,但我们并不知道到底多远的距离才叫“周围”。

差分方程

差 分 方 程 内 容 提 要 一、差分及差分方程 1、差分 设t y 在区间[0,)+∞上定义。记()t y y t =,其中0,1,2,.t =L 称 1(1)()t t t y y y y t y t +?=-=+-,0,1,2,t =L 为()y t 在时刻t 的一阶差分(习惯上把t 以时间计),称21t t t y y y +?=?-? 即一阶差分的差分为()y t 在时刻t 的二阶差分。高于二阶的差分可依此类推。 (由1t t t y y y +?=-,知21212t t t t t t y y y y y y +++?=?-?=-+, 一般1110!(1)!()! k k k k i t t t t k i i k y y y y i k i --++-=?=?-?=--∑,0,1,2,t =L ) 2、差分方程 设t y 在区间[0,)+∞上定义,称包含有自变量t ,未知函数()()t t y y y t =及其一阶差分t y ?的方程(,,t t t y y ??=,0,1,2,t =L (1)为一阶差分方程,或者称包含有,t t y 及1t y +的方程 1(,,)0t t t y y ?+=,0,1,2,t =L (2) 为一阶差分方程。如果把函数()(0,1,2,)y t t =L 代入差分方程(1)或(2),能使方程(1)或(2)对0,1,2,t =L 均为恒等式,称()(0,1,2,)y t t =L 为差分方程(1)或(2)的解。一阶差分方程的一般解包含有一个任意常数,任意常数取特定值的解称为特解,确定特解的条件0(0)y y =称为定解条件 二阶及高于二阶的差分方程、一般解、特解类似定义。 形如 11()()t t y a t y f t ++= 或 2112()()()t t t y a t y a t y f t ++++= 的方程分别称作一阶或二阶线性差分方程,其中12(),,(),0a t a f t C t ∈≥。 线性差分方程(齐次、非齐次)的解的性质与线性微分方程(齐次、非齐次)的解的性质完全一样。 二、一阶常系数线性差分方程 1、齐次方程 10,0,1,2,, t t y ay t a ++==L 为常数 由迭代法易知齐次方程的一般解为(),1,2,3,t t y C a t =-=L 满足条件0(0)y y =的特解为0()t t y y a =-,1,2,3,t =L 2、非齐次方程 1()t t y ay f t ++=,0,1,2,3,t =L ,故非齐次方程的一般解为(),1,2,t t t y C a Y t =-+=L , 其中()t C a -是对应齐次方程10t t y ay ++=的一般解,t Y 是原非齐次方程的一个特解(取

时域有限差分法(FDTD算法)的基本原理及仿真

时域有限差分法(FDTD算法)的基本原理及仿真

时域有限差分法(FDTD 算法) 时域有限差分法是1966年K.S.Yee 发表在AP 上的一篇论文建立起来的,后被称为Yee 网格空间离散方式。这种方法通过将Maxwell 旋度方程转化为有限差分式而直接在时域求解, 通过建立时间离散的递进序列, 在相互交织的网格空间中交替计算电场和磁场。 FDTD 算法的基本思想是把带时间变量的Maxwell 旋度方程转化为差分形式,模拟出电子脉冲和理想导体作用的时域响应。需要考虑的三点是差分格式、解的稳定性、吸收边界条件。有限差分通常采用的步骤是:采用一定的网格划分方式离散化场域;对场内的偏微分方程及各种边界条件进行差分离散化处理,建立差分格式,得到差分方程组;结合选定的代数方程组的解法,编制程序,求边值问题的数值解。 1.FDTD 的基本原理 FDTD 方法由Maxwell 旋度方程的微分形式出发,利用二阶精度的中心差分近似,直接将微分运算转换为差分运算,这样达到了在一定体积内和一段时间上对连续电磁场数据的抽样压缩。 Maxwell 方程的旋度方程组为: E E H σε +??=??t H H E m t σμ-??-=?? (1) 在直角坐标系中,(1)式可化为如下六个标量方程: ???????????+??=??-??+??=??-??+??=??-??z z x y y y z x x x y z E t E y H x H E t E x H z H E t E z H y H σεσεσε,????? ??? ??? -??-=??-??-??-=??-??-??-=??-??z m z x y y m y z x x m x y z H t H y E x E H t H x E z E H t H z E y E σμσμσμ (2) 上面的六个偏微分方程是FDTD 算法的基础。 Yee 首先在空间上建立矩形差分网格,在时刻t n ?时刻,F(x,y,z)可以写成 ),,(),,,(),,,(k j i F t n z k y j x i F t z y x F n =????= (3) 用中心差分取二阶精度: 对空间离散: ()[] 2 ),,21(),,21() ,,,(x O x k j i F k j i F x t z y x F n n x i x ?+?--+≈???= ()[] 2 ),21,(),21,() ,,,(y O y k j i F k j i F y t z y x F n n y j y ?+?--+≈???= ()[] 2 )21,,()21,,() ,,,(z O z k j i F k j i F z t z y x F n n z k z ?+?--+≈???=

(完整版)有限差分方法概述

有限差分法(Finite Difference Method,简称FDM)是数值方法中最经典的方法,也是计算机数值模拟最早采用的方法,至今仍被广泛运用。该方法将求解域划分为差分网格,用有限个网格节点代替连续的求解域。有限差分法以Taylor级数展开等方法,把控制方程中的导数用网格节点上的函数值的差商代替进行离散,从而建立以网格节点上的值为未知数的代数方程组。该方法是一种直接将微分问题变为代数问题的近似数值解法,数学概念直观,表达简单,是发展较早且比较成熟的数值方法。对于有限差分格式,从格式的精度来划分,有一阶格式、二阶格式和高阶格式。从差分的空间形式来考虑,可分为中心格式和逆风格式。考虑时间因子的影响,差分格式还可以分为显格式、隐格式、显隐交替格式等。目前常见的差分格式,主要是上述几种形式的组合,不同的组合构成不同的差分格式。差分方法主要适用于有结构网格,网格的步长一般根据实际地形的情况和柯朗稳定条件来决定。 构造差分的方法有多种形式,目前主要采用的是泰勒级数展开方法。其基本的差分表达式主要有三种形式:一阶向前差分、一阶向后差分、一阶中心差分和二阶中心差分等,其中前两种格式为一阶计算精度,后两种格式为二阶计算精度。通过对时间和空间这几种不同差分格式的组合,可以组合成不同的差分计算格式。 下面我们从有限差分方法的基本思想、技术要点、应用步骤三个方面来深入了解一下有限差分方法。 1.基本思想 有限差分算法的基本思想是把连续的定解区域用有限个离散点构成的网格来代替,这些离散点称作网格的节点;把连续定解区域上的连续变量的函数用在网格上定义的离散变量函数来近似;把原方程和定解条件中的微商用差商来近似,积分用积分和来近似,于是原微分方程和定解条件就近似地代之以代数方程组,即有限差分方程组,解此方程组就可以得到原问题在离散点上的近似解。然后再利用插值方法便可以从离散解得到定解问题在整个区域上的近似解。在采用数值计算方法求解偏微分方程时,再将每一处导数由有限差分近似公式替代,从而把求解偏微分方程的问题转换成求解代数方程的问题,即所谓的有限差分法。 2.技术要点 如何根据问题的特点将定解区域作网格剖分;如何把原微分

相关文档