差分方程-----------..ppt

1． 一个半球状雪堆，其体积融化的速率与半球面面积S成正比，比例系数k 0设融化中雪堆始终保持半球状，初始半径为R且3小时中融化了总体积的7/8，问雪堆全部融化还需要多长时间？,差分方程初步,,第一节 差分方程的基本概念,一、 差分的概念,定义1 设函数yt=f(t)在t=…,-2,-1,0,1,2,…处有定义,对应的函数值为…,y-2,y-1,y0,y1,y2,…,则函数yt=f(t)在时间t的一阶差分定义为 Dyt=yt+1-yt=f(t+1)-f(t)． 依此定义类推,有 Dyt+1=yt+2-yt+1=f(t+2)-f(t+1), Dyt+2=yt+3-yt+2=f(t+3)-f(t+2), ………………,一阶差分的性质,(1) 若yt=C(C为常数),则Dyt=0; (2) 对于任意常数k,D(kyt)=kDyt; (3) D(yt+zt)=Dyt+Dzt．,定义2 函数yt=f(t)在时刻t的二阶差分定义为一阶差分的差分,即 D2yt= D (D yt)= D yt+1- D yt =(yt+2-yt+1)-(yt+1-yt)=yt+2-2yt+1+yt． 依此定义类推,有 D2yt+1= Dyt+2- Dyt+1=yt+3-2yt+2+yt+1, D2yt+2= Dyt+3- Dyt+2=yt+4-2yt+3+yt+2, ……………… 类推,计算两个相继的二阶差分之差,便得到三阶差分 D3yt= D2yt+1- D2yt=yt+3-3yt+2+3yt+1-yt, D3yt+1= D2yt+2- D2yt+1=yt+4-3yt+3+3yt+2-yt+1, ………………,一般地,k阶差分(k为正整数)定义为 这里,二、 差分方程,定义3 含有未知函数yt=f(t)以及yt的差分yt, 2yt,…的函数方程,称为常差分方程(简称差分方程);出现在差分方程中的差分的最高阶数,称为差分方程的阶.,n阶差分方程的一般形式为 F(t,yt, yt,…, nyt)=0, 其中F是t,yt, yt,…, nyt的已知函数,且nyt一定要在方程中出现．,定义3′ 含有两个或两个以上函数值yt,yt+1,…的函数方程,称为(常)差分方程,出现在差分方程中未知函数下标的最大差,称为差分方程的阶．,n阶差分方程的一般形式为 F(t,yt,yt+1,…，yt+n)=0, 其中F为t,yt,yt+1,…，yt+n的已知函数,且yt和yt+n一定要在差分方程中出现.,三、 差分方程的解,定义4 如果将已知函数yt=j(t)代入方程F(t,yt,yt+1,…，yt+n)=0,使其对t=…,-2,-1,0,1,2,…成为恒等式,则称yt=j(t)为方程的解.含有n个任意(独立)常数C1,C2,…,Cn的解 yt=(t,C1,C2,…,Cn) 称为n阶差分方程的通解.在通解中给任意常数C1,C2,…,Cn以确定的值所得的解,称为n阶差分方程的特解.,例如,函数yt=at+C(a为已知常数,C为任意常数)是差分方程yt+1-yt=a的通解.而函数yt=at,yt=at-1,…均是这个差分方程的特解.,由差分方程的通解来确定它的特解,需要给出确定特解的定解条件. n阶差分方程F(t,yt,yt+1,…，yt+n)=0常见的定解条件为初始条件. y0=a0, y1=a1，…,yn-1=an-1， 这里a0,a1,a2,…，an-1均为已知常数．,只要保持差分方程中的时间滞后结构不变,无论对t提前或推后一个相同的等间隔值,所得新方程与原方程是等价的,即二者有相同的解.例如,方程 ayt+1-byt=0 与方程 ayt+2-byt+1=0 都是相互等价的．,四、 线性差分方程及其基本定理,形如 yt+n+a1(t)yt+n-1+a2(t)yt+n-2+…+an-1(t)yt＋1+an(t)yt=f(t) 的差分方程,称为n阶非齐次线性差分方程.其中a1(t),a2(t),…,an-1(t),an(t)和f(t)都是t的已知函数,且an(t)≠0,f(t)≠0.而形如 yt+n+a1(t)yt+n-1+…＋an-1(t)yt+1+an(t)yt=0 的差分方程,称为n阶齐次线性差分方程.其中ai(t)(i=1,2,…，n)为t的已知函数,且an(t)≠0.,如果ai(t)=ai(i=1,2,…,n)均为常数(an≠0),则有 yt+n+a1yt+n-1+a2yt+n-2+…+an-1yt+1+anyt=f(t)， yt+n+a1yt+n-1+a2yt+n-2+…+an-1yt+1+anyt=0． 分别称为n阶常系数非齐次线性差分方程和n阶常系数齐次线性差分方程.,定理1(齐次线性差分方程解的叠加原理) 若y1(t),y2(t),…,ym(t)是齐次线性差分方程yt+n+a1yt+n-1 +a2yt+n-2+…+an-1yt+1+anyt=0的m个特解(m≥2),则其线性组合y(t)=A1y1(t)+A2y2(t)+…+Amym(t)也是方程的解,其中A1，A2，…，Am为任意常数．,定理2 n阶齐次线性差分方程yt+n+a1yt+n-1 +a2yt+n-2 +…+an-1yt+1+anyt=0一定存在n个线性无关的特解．,定理3(齐次线性差分方程通解结构定理) 如果y1(t),y2(t),…,yn(t)是齐次线性差分方程yt+n+a1yt+n-1 +a2yt+n-2 +…+an-1yt+1+anyt=0的n个线性无关的特解,则方程的通解为： yA(t)＝A1y1(t)+A2y2(t)+…+Anyn(t)， 其中A1，A2，…，An为n个任意(独立)常数．,定理4(非齐次线性差分方程通解结构定理) 如果 (t)是非齐次线性方程yt+n+a1(t)yt+n-1+a2(t)yt+n-2 +…+an-1(t)yt＋1+an(t)yt=f(t)的一个特解,yA(t)是其对应的齐次线性方程yt+n+a1yt+n-1 +a2yt+n-2 +…+an-1yt+1+anyt=0的通解,那么,非齐次线性差分方程的通解为： y(t)=yA(t)+ (t) 即 y(t)=A1y1(t)+A2y2(t)+…+Anyn(t)+ (t)， 这里A1，A2,…,An为n个任意(独立)常数．,第二节 一阶常系数线性差分方程,一阶常系数线性差分方程的一般形式为 yt+1+ayt=f(t) 和 yt+1+ayt=0, 其中f(t)为t的已知函数,a≠0为常数.分别称为一阶常系数非齐次线性差分方程和其对应的齐次差分方程.,一、 齐次差分方程的通解,将方程yt+1+ayt=0改写为:yt+1=-ayt, t=0,1,2,…．,假定在初始时刻(即t=0)时,函数yt取任意值A,那么由上式逐次迭代,算得 y1=-ay0=-aA, y2=-ay1=(-a)2A, ………………,方程的通解为yt =A(-a)t, t=0,1,2,…．,如果给定初始条件t=0时yt=y0,则A=y0,此时特解为： yt =y0(-a)t．,二、 非齐次方程的通解与特解,1. 迭代法求通解,将方程改写为 yt+1=(-a)yt+f(t), t=0,1,2,…．,逐步迭代,则有 y1=(-a)y0+f(0), y2=(-a)2y0+(-a)f(0)+f(1), y3=(-a)3y0+(-a)2f(0)+(-a)f(1)+f(2), ………………,由数学归纳法,可得 yt=(-a)ty0+(-a)t-1f(0)+(-a)t-2f(1)+…+f(t-1) =(-a)ty0+ , (t=0,1,2,…)，,yA(t)=(-a)ty0为对应的齐次方程的通解.,解,例,方程的通解,2.待定系数法求特解,情形Ⅰ f(t)为常数．,方程变为yt+1+ayt=b, a,b均为非零常数．,试以 (为待定常数)形式的特解代入方程得  +a =(1+a) =b．,当a≠-1时,可求得特解,方程的通解为,解,例,情形Ⅱ f(t)为t的多项式．,不妨设f(t)=b0+b1t(t的一次多项式),即 yt+1+ayt=b0+b1t, t=1,2,…， 其中a,b0,b1均为常数,且a≠0,b1≠0．,试以特解 =a+bt,(a,b为待定系数)代入方程得 a+b (t+1)+a(a+bt)=b0+b1t，,上式对一切t值均成立,其充分必要条件是：,当1+a≠0时,即a≠-1时，,方程的特解为,当a=-1时,改设特解 =(a+bt)t=at+bt2,将其代入方程可求得特解,方程的通解为,解,例,情形Ⅲ f(t)为指数函数,不妨设f(t)=b·dt, b,d均为非零常数,方程变为 yt+1+ayt=b·dt, t=0,1,2,…．,求得特解,当a+d≠0时,设方程有特解 =mdt, m为待定系数.将其代入方程得 mdt+1+amdt=b·dt,,当a+d=0时,改设方程的特解 =tdt,为待定系数,将其代入方程可求得特解 =btdt,当a+d=0时,改设方程的特解 =tdt,为待定系数,将其代入方程可求得特解 =btdt,求得特解,当a+d=0时,改设方程的特解 =tdt,为待定系数,将其代入方程可求得特解 =btdt,方程的通解为,解,例,情形Ⅳ f(t)为正弦、余弦型三角函数,设f(t)=b1cost+b2sint,其中b1,b2,均为常数,且 ≠0,b1与b2不同时为零.于是非齐次方程变为 yt+1+ayt=b1cost+b2sint,a≠0, t=0,1,2,…．,设方程有特解 =acost+bsint,a,b均为待定系数.,将其代入方程得 acos(t+1)+bsin(t+1)+aacost+absint =b1cost+b2sint,,(acos+bsin +aa)cost+(-asin +bcos +ab)sinwt =b1cost+b2sint,(acos+bsin +aa)cost+(-asin +bcos +ab)sinwt =b1cost+b2sint,上式对t=0,1,2,…恒成立的充分必要条件是,其系数行列式,当D≠0时,则可求得其解,当D=(a+cosw)2＋sin2w=0时,则有,改设特解,代入方程并整理可得,方程的通解为,例 求差分方程yt+1-2yt=cost的通解．,解 对应齐次方程的通解为 yA(t)=A·2t．,设非齐次方程的特解为 =acost+bsint, 其中a, b为待定系数．,将其代入原方程,并利用三角函数的和角公式,得,所给方程的通解为,第三节 二阶常系数线性差分方程,二阶常系数线性差分方程的一般形式为 yt+2+a1yt+1+a2yt=f(t)，t=0,1,2,…， 其中f(t)为t的已知函数,a1,a2为已知常数,且a2≠0,称为二阶常系数非齐次线性差分方程． 特别地,当f(t)0时,方程变为 yt+2+a1yt+1+a2yt=0． 称为对应的齐次差分方程．,一、 齐次差分方程的通解,称2＋a1+a2=0为二阶常系数非齐次线性差分方程或其对应的齐次差分方程的特征方程．它的解(或根)称为方程的特征根(值)．,特征方程的两个根为,(1) 特征根为相异的两实根,当＞0时,1,  2为两相异的实根. y1(t)= 1t与y2(t)=2t是齐次差分方程的两个线性无关的特解.,齐次差分方程的通解,1,2由特征方程确定,A1,A2为两任意(独立)常数．,例 求差分方程yt+2-7yt+1+12yt=0的通解．,解 特征方程为2-7+12=( -3)( -4)=0,,有两相异实特征根 1=3,  2=4．,原方程的通解为,(2) 特征根为两相等的实根,当=0时,=1=2= 为两相等的实根.,方程。