微分方程和差分方程简介精简版

1、三、利用三、利用matlabmatlab求微分方程的解析解求微分方程的解析解 求微分方程（组）的解析解命令:dsolve(方程方程1, 方程方程2,方程方程n, 初始条件初始条件, 自变量自变量) 记号: 在表达微分方程时，用字母 d 表示求微分，d2、d3 等表示求高阶微分.任何 d 后所跟的字母为因变量，自变量可以指定或由系统规则选定为确省.例如，微分方程 022dxyd应表达为：d2y=0.例例 1 求 21 udtdu 的通解.解解 输入命令：dsolve(du=1+u2,t) 结 果：u = tg(t-c)例例 2 求微分方程的特解. 15)0( , 0)0(029422yyydxd

2、ydxyd 解解 输入命令: y=dsolve(d2y+4*dy+29*y=0,y(0)=0,dy(0)=15,x)结 果 为 : y =3e-2xsin（5x） 例例 3 求微分方程组的通解. zyxdtdzzyxdtdyzyxdtdx244354332解解 输入命令 ： x,y,z=dsolve(dx=2*x-3*y+3*z,dy=4*x-5*y+3*z,dz=4*x-4*y+2*z, t)； x=simple(x) % 将x化简 y=simple(y) z=simple(z)结 果 为：x = (c1-c2+c3+c2e -3t-c3e-3t)e2t y = -c1e-4t+c2e-4t

3、+c2e-3t-c3e-3t+c1-c2+c3)e2t z = (-c1e-4t+c2e-4t+c1-c2+c3)e2t 返 回四、微分方程的数值解四、微分方程的数值解（一）常微分方程数值解的定义（一）常微分方程数值解的定义 在生产和科研中所处理的微分方程往往很复杂且大多得不出一般解。而在实际上对初值问题，一般是要求得到解在若干个点上满足规定精确度的近似值，或者得到一个满足精确度要求的便于计算的表达式。因此，研究常微分方程的数值解法是十分必要的因此，研究常微分方程的数值解法是十分必要的。的相应近似值求出准确值，值处，即对的若干离散的开始其数值解是指由初始点，：对常微分方程nnnyyxyxyxx

4、xxxy)y(xf(x,y)y ,y )(,),(),y(x x 2121210000返 回（二）建立数值解法的一些途径（二）建立数值解法的一些途径001 , 1, 2 , 1 , 0 , y)y(xf(x,y)y nihxxii解微分方程：可用以下离散化方法求设1、用差商代替导数、用差商代替导数 若步长h较小，则有hxyhxyxy)()()( 故有公式：1-n,0,1,2,i )(),(001xyyyxhfyyiiii此即欧拉法欧拉法。2、使用数值积分、使用数值积分对方程y=f(x,y), 两边由xi到xi+1积分，并利用梯形公式，有：)(,()(,(2)(,()()(11111iiiiii

5、xxiixyxfxyxfxxdttytfxyxyii实际应用时，与欧拉公式结合使用：, 2 , 1 , 0 ),(),(2),()(11)1(1)0(1kyxfyxfhyyyxhfyykiiiiikiiiii的计算。然后继续下一步，取时，当满足，对于已给的精确度）（ y y 2i111i)(1)1(1kikikiyyy此即改进的欧拉法改进的欧拉法。故有公式：)(),(),(200111xyyyxfyxfhyyiiiiii3、使用泰勒公式、使用泰勒公式 以此方法为基础，有龙格龙格-库塔（库塔（runge kutta）法）法、线性多步法线性多步法等方法。4、数值公式的精度、数值公式的精度 当一个数

6、值公式的截断误差可表示为o（hk+1）时（k为正整数，h为步长），称它是一个k阶公式阶公式。k越大，则数值公式的精度越高。欧拉法是一阶公式，改进的欧拉法是二阶公式。龙格-库塔法有二阶公式和四阶公式。线性多步法有四阶阿达姆斯外插公式和内插公式。返 回（三）可以用（三）可以用matlab软件求常微分方程的数值解软件求常微分方程的数值解t，x=solver（f,ts,x0,options）ode45 ode23 ode113ode15sode23s由待解方程写成的m-文件名ts=t0，tf，t0、tf为自变量的初值和终值函数的初值ode23：组合的2/3阶龙格-库塔-芬尔格算法ode45：运用组合的

7、4/5阶龙格-库塔-芬尔格算法自变量值函数值用于设定误差限(缺省时设定相对误差10-3, 绝对误差10-6),命令为：options=odeset（reltol,rt,abstol,at）, rt，at：分别为设定的相对误差和绝对误差.ii.阻滞增长模型阻滞增长模型(logistic模型、模型、verhulst模型模型)传染病模型传染病模型问题问题 描述传染病的传播过程描述传染病的传播过程 分析受感染人数的变化规律分析受感染人数的变化规律 预报传染病高潮到来的时刻预报传染病高潮到来的时刻 预防传染病蔓延的手段预防传染病蔓延的手段 按照传播过程的一般规律，按照传播过程的一般规律，用机理分析方法建

8、立模型用机理分析方法建立模型 已感染人数已感染人数 (病人病人) i(t) 每个病人每天有效接触每个病人每天有效接触(足以使人致病足以使人致病)人数为人数为 模型模型1 1假设假设ttititti)()()(若有效接触的是病人，若有效接触的是病人，则不能使病人数增加则不能使病人数增加必须区分已感染者必须区分已感染者(病病人人)和未感染者和未感染者(健康人健康人)建模建模0)0(iiidtdiitteiti0)(?sidtdi1)()(tits模型模型2 2区分已感染者区分已感染者(病人病人)和未感染者和未感染者(健康人健康人)假设假设1）总人数）总人数n不变，病人和健康不变，病人和健康 人的人

9、的 比例分别为比例分别为)(),(tsti 2）每个病人每天有效接触人数）每个病人每天有效接触人数为为 , 且且使接触的健康人致病使接触的健康人致病建模建模ttnitstittin)()()()(0)0()1(iiiidtdi 日日接触率接触率si 模型模型teiti1111)(00)0()1(iiiidtdi模型模型21/2tmii010t11ln01itmtm传染病高潮到来时刻传染病高潮到来时刻 (日接触率日接触率) tm 1itlogistic 模型病人可以治愈！病人可以治愈！?t=tm, di/dt 最大最大模型模型3传染病无免疫性传染病无免疫性病人治愈成病人治愈成为健康人，健康人可再

10、次被感染为健康人，健康人可再次被感染增加假设增加假设sis 模型模型3）病人每天治愈的比例为）病人每天治愈的比例为 日日治愈率治愈率ttnittitnstittin)()()()()(建模建模/ 日接触率日接触率1/ 感染期感染期 一个感染期内一个感染期内每个病人的每个病人的有效接触人数，称为有效接触人数，称为接触数接触数。0)0()1(iiiiidtdi1,01,11)(i)11 (iidtdi模型模型3i0i0接触数接触数 =1 阈值阈值/1)(ti形曲线增长按sti )(感染期内感染期内有效接触感染的有效接触感染的健康者人数不超过病人数健康者人数不超过病人数小01i1-1/ i0iiid

11、tdi)1 (模型模型2(si模型模型)可以看作模型可以看作模型3(sis模型模型)的特例的特例idi/dt01 10ti 11-1/ i0t 1di/dt 1/ i(t)先升后降至先升后降至0p2: s01/ i(t)单调降至单调降至01/阈阈值值p3p4p2s0ssss00lnln模型模型4sir模型模型预防传染病蔓延的手段预防传染病蔓延的手段 (日接触率日接触率) 卫生水平卫生水平 (日日治愈率治愈率) 医疗水平医疗水平 传染病不蔓延的条件传染病不蔓延的条件s0 0 且且 q 0平衡点平衡点 p0不稳定不稳定(对对2,1)p 0 或或 q 0),0(),0 ,(2211npnp平衡点：0

12、1),(01),(221122221221111121nxnxxrxxgnxnxxrxxf221111111)(nxnxxrtx221122221)(nxnxxrtx仅当仅当 1, 2 1时，时，p3才有意义才有意义模型模型)0 , 0(,1)1 (,1)1 (4212221113pnnp2211221222211122111121212121nxnxrnxrnxrnxnxrggffaxxxx平衡点稳平衡点稳定性分析定性分析4 , 3 , 2 , 1,det,)(21iaqgfpipipxx2211222212211111211),(1),(nxnxxrxxgnxnxxrxxf平衡点平衡点 p

13、i 稳定条件：稳定条件： p 0 且且 q 0种群竞争模型的平衡点及稳定性种群竞争模型的平衡点及稳定性不稳定不稳定平平 衡点衡点)0 ,(11np)1 (221rrpq)1 (221 rr), 0(22np211)1 (rr)1 (121 rr2122211131)1 (,1)1 (nnp2121211)1)(1 (rr)0 , 0(4p)(21rr 21rr2122111)1 ()1 (rr 21, 11, p1, p2 是一个种群存活而另一灭绝的平衡点是一个种群存活而另一灭绝的平衡点p3 是两种群共存的平衡点是两种群共存的平衡点 11, 21p1稳定的条件稳定的条件 11 ? 11 21稳

14、定条件稳定条件结果解释结果解释对于消耗甲的资源而言，对于消耗甲的资源而言，乙乙(相对于相对于n2)是甲是甲(相对相对于于n1)的的 1 倍。倍。11对甲增长的阻滞对甲增长的阻滞作用，乙小于甲作用，乙小于甲乙的竞争力弱乙的竞争力弱 p1稳定的条件：稳定的条件： 11 21 甲的竞争力强甲的竞争力强甲达到最大容量，乙灭绝甲达到最大容量，乙灭绝 p2稳定的条件：稳定的条件： 11, 21 p3稳定的条件：稳定的条件： 11, 21通常通常 1 1/ 2，p3稳定条件不满足稳定条件不满足六、差分方程建模六、差分方程建模处理动态的离散型的问题处理动态的离散型的问题处理处理对象虽然涉及的变量对象虽然涉及的

15、变量( (如时间如时间) )是连续的，是连续的，但是从建模的目的考虑，把连续变量离散化更但是从建模的目的考虑，把连续变量离散化更为合适，将连续变量作离散化处理，从而将连为合适，将连续变量作离散化处理，从而将连续模型续模型( (微分方程微分方程) )化为离散型化为离散型( (差分方程差分方程) )问题问题 对于对于k阶差分方程阶差分方程f( n; xn, xn+1, , xn+k ) = 0 (3-6)若有若有xn = x (n), 满足满足f(n; x(n), x(n + 1) , , x(n + k ) = 0,则称则称xn = x (n)是差分方程是差分方程(3-6)的的解解, 包含个任意

16、常包含个任意常数的解称为数的解称为(3-6)的的通解通解, x0, x1, , xk-1为已知时称为已知时称为为(3-6)的的初始条件初始条件,通解中的任意常数都由初始条通解中的任意常数都由初始条件确定后的解称为件确定后的解称为(3-6)的的特解特解.k 若若x0, x1, , xk-1已知已知, 则形如则形如xn+k = g(n; xn, xn+1, , xn+k-1 )的差分方程的解可以在计算机上实现的差分方程的解可以在计算机上实现. 若有常数若有常数a是差分方程是差分方程(3-6)的解的解, 即即f (n; a, a, , a ) = 0,则称则称 a是差分方程是差分方程(3-6)的的平

17、衡点平衡点. 又对差分方程又对差分方程(3-6)的任意由初始条件确定的的任意由初始条件确定的解解 xn= x(n)都有都有xna (n), 则称这个平衡点则称这个平衡点a是是稳定稳定的的. 一阶常系数线性差分方程一阶常系数线性差分方程 xn+1 + axn= b, (其中其中a, b为常数为常数, 且且a -1, 0)的通解为的通解为xn=c(- - a) n + b/(a + 1) 易知易知b/(a+1)是其平衡点是其平衡点, 由上式知由上式知, 当且仅当当且仅当|a|1时时, b/(a +1)是稳定的平衡点是稳定的平衡点. 二阶常系数线性差分方程二阶常系数线性差分方程xn+2 + axn+

18、1 + bxn = r,其中其中a, b, r为常数为常数. 当当r = 0时时, 它有一特解它有一特解x* = 0； 当当r 0, 且且a + b + 1 0时时, 它有一特解它有一特解x*=r/( a + b +1). 不管是哪种情形不管是哪种情形, x*是其平衡点是其平衡点. 设其特征方设其特征方程程 2 + a + b = 0的两个根分别为的两个根分别为 = 1, = 2. 当当 1, 2是两个不同实根时是两个不同实根时,二阶常系数线二阶常系数线性差分性差分方程的通解为方程的通解为xn= x*+ c1( 1)n + c2( 2)n ; 当当 1, 2= 是两个相同实根时是两个相同实根时,二阶常系数线二阶常系数线性差分性差分方程的通解为方程的通解为xn= x* + (c1 + c2 n) n; 当当 1, 2= (cos + i sin ) 是一对共轭复根是一对共轭复根时时,二阶常系数线性差分二阶常系数线性差分方程的通解为方程的通解为xn = x*+ n (c1cosn + c2sinn ). 易知易知,当且仅当特征方程的任一特征根当且仅当特征方程的任一特征根 | i |1时时, 平衡点平衡点x*