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

差分方程模型一. 引言数学模型按照离散的方法和连续的方法, 可以分为离散模型和连续模型。确定性连续模型微分法建模(静态优化模型),如森林救火模型、血管分支模型、最优价格模型。微分方程建模(动态模型),如传染病模型、人口控制与预测模型、经济增长模型。稳定性方法建模(平衡与稳定状态模型),如军备竞赛模型、种群的互相竞争模型、种群的互相依存模型、种群弱肉强食模型。变分法建模(动态优化模型),如生产计划的制定模型、国民收入的增长模型、渔业资源的开发模型。确定性离散模型逻辑方法建模,如效益的合理分配模型、价格的指数模型。层次分析法建模,如旅游景点的选择模型、科研成果的综合评价模型。图的方法建模,如循环比赛的名次模型、红绿灯的调节模型、化学制品的存放模型。差分方程建模,如市场经济中的蛛网模型、交通网络控制模型、借贷模型、养老基金设置模型、人口的预测与控制模型、生物种群的数量模型。随着科学技术的发展,人们将愈来愈多的遇到离散动态系统的问题, 差分方程就是建立离散动态系统数学模型的有效方法。在一般情况下,动态连续模型用微分方程方法建立, 与此相适应,当时间变量离散化以后,可以用差分方程建立动态离散模型。 有些实际问题既可以建立连续模型,又可建立离散模型,究竟采用那种模型应视建模的目的而定。例如,人口模型既可建立连续模型 (其中有马尔萨斯模型 Malthus、洛杰斯蒂克Logistic模型),又可建立人口差分方程模型。这里讲讲差分方程在建立离散动态系统数学模型的的具体应用。二. 差分方程简介在实际中,许多问题所研究的变量都是离散的形式, 所建立的数学模型也是离散的,譬如,像政治、经济和社会等领域中的实际问题。有些时候,即使所建立的数学模型是连续形式,例如像常见的微分方程模型、积分方程模型等。但是,往往都需要用计算机求数值解。这就需要将连续变量在一定的条件下进行离散化,从而将连续型模型转化为离散型模型。 因此,最后都归结为求解离散形式的差分方程解的问题。关于差分方程理论和求解方法在数学建模和解决实际问题的过程中起着重要作用。差分方程的定义给定一个数列xn ,把数列中的前n1项xi(i0,1,2,,n)关联起来得到的方程,则称这个方程为差分方程。常系数线性齐次差分方程常系数线性齐次差分方程的一般形式为xn a1xn1a2xn2akxnk0, (1)或者表示为F(n,xn,xn1,,xnk) 0(1’)其中k为差分方程的阶数,其中a1,a2,,ak为差分方程的系数,且ak0(kn)。对应的代数方程kaak1 k21 2ak 0(2)称为差分方程(1)的对应的特征方程。(2)式中的k个根1, 2,, k称为(1)式的特征根。差分方程的解常系数线性齐次差分方程的解主要是由相应的特征根的不同情况有不同的形式。下面分别就特征根为单根、重根和复根的情况给出方程解的形式。特征根为单根(互不相同的根)设差分方程(1)有k个单特征根(互不相同的根)1, 2,, k,则nxn c1 1c2 2ck knn为该差分方程(1)的通解。其中c1,c2,,ck为任意常数,且当给定初始条件iix x(0),(i1,2,,k)(3)时,可以确定一个特解。例1在信道上传输三个字母a,b,c且长度为n的词,规定有两个a连续出现的词不能传输,试确定这个信道允许传输的词的个数。解: 令xn表示允许传输且长度为为 n的词的个数,n1,2,3,,通过简单计算可得 x13,(a,b,c), x28(即ab,ac,bc,,ba,ca,cb。)当n 3时,若词的第一个字母是 b或c,则词可按xn1种方式完成; 若词的第一个字母是a,则第二个字母是b或c,该词剩下的部分可按 xn2种方式完成。于是得差分方程xn 2xn1 2xn2 (n3,4, )其特征方程为2 2 2 0,特征根为1 1 3, 2 1 3则通解为xn c1(1nc2(13)n,(n3,4, )利用条件x13,x28求参数c1,c2,即由c1(13) c2(13) 3,c1(1解得3)2 c(123)2 8c1故得到原差分方程的通解为2 3 2 3, c22 3 2 3xn2 3(12 33)n2 3(12 33)n,(n1,2,3,4, )特征根为重根设 1, 2,l 是k 阶差分方程xna1xn1a2xn2akxnk 0 的l(1 lk)个根,重数分别为m1,m2,l,ml,且 mii1k,则该差分方程的通解为i1nm1xn c1in 1m2i1nc2in 2mli1nclin li1 i1 i1同样的,有给定的初始条件 (3)可以唯一确定一个特解。例2 设初始值为x01,x10,x21,x32,