§44差分方程建模_c 差分方程简介 以t表示时间,规定t只取非负整数。t0表示第一周期初, t=1表示第二周期初等。记y为变量y在时刻t时的取值,则 称4y1=y1-V为y的一阶差分,称 △y=Δ(4y)=2A+-4=y1+2-2y++y 为的二阶差分。类似地,可以定义y的r阶差分。 由t、y及y的差分给出的方程称为y差分方程,其中含的最 高阶差分的阶数称为该差分方程的阶。差分方程也可以写成 不显含差分的形式。例如,二阶差分方程 △2y1+△y1+y=0也可改写成y+2-y++y=0
§4.4 差分方程建模 一、差分方程简介 以t 表示时间，规 定t只取非负整数。t=0表示第一周期初， t=1表示第二周期初等。 记yt 为变量y在时刻t 时的取值，则 称 为yt 的一阶差分，称 为的二阶差分。类似地，可以定义yt的n阶差分。 由t、yt及yt的差分给出的方程称 为yt差分方程，其中含的最 高阶差分的阶数称为该差分方程的阶。差分方程也可以写成 不显含差分的形式。例如，二阶差分方程 也可改写成 t t t y = y − y +1 t t t t t t t y = y = y − y = y − y + y +1 +2 +1 2 ( ) 2 0 2 yt + yt + yt = yt+2 − yt+1 + yt = 0
满足一差分方程的序列y称为此差分方程的解。类似于微分 方程情况,若解中含有的独立常数的个数等于差分方程的阶 数时,称此解为该差分方程的通解。若解中不含任意常数, 则称此解为满足某些初值条件的特解,例如,考察两阶差 分方程 y+2+yt=0 易见y=sin3y=C0s均是它的特解,而 Jt=c, sin-t+C2 sIn a 2 2则为它的通解,其中c1,c2为两个任 意常数。类似于微分方程,称差分方程 a()y+n+a1(D)yt+n-1+…+an(D)yt=b() 为m阶线性差分方程,当b(t)≠0时称其为m阶非齐次线性差 分方程,而
满足一差分方程的序 列yt称为此差分方程的解。类似于微分 方程情况，若解中含有的独立常数的个数等于差分方程的阶 数时，称此解为该差分方程 的通解。若解中不含任意常数， 则称此解为满足某些初值条件的 特解，例如，考察两阶差 分方程 0 yt+2 + yt = 易见 2 sin t yt = 与 2 cos t yt = 均是它的特解，而 y c t c t t 2 sin 2 1 sin 2 = + 则为它的通解，其中c1，c2为两个任 意常数。类似于微分方程，称差分方程 ( ) ( ) ( ) ( ) 0 1 1 a t y a t y a t y b t t+n + t+n− ++ n t = 为n阶线性差分方程， 当 ≠0时称其为n阶非齐次线性差 分方程，而 b(t)
ao(t)yin+a(t)vn-1++an(t)y,=0 则被称为方程对应的齐次线性差分方程。 若所有的a()均为与优无关的常数,则称其为常系数差分 方程,即m阶常系数线性差分方程可分成 a0yn++an1yn+1+…+any1=b(t)(415) 的形式,其对应的齐次方程为 0yn++a1yn+(-1+…+any1=0 (4.16) 容易证明,若序列y与y}2)均为方程(416)的解,则 十C 2) 也是方程(416)的解,其中c1、c2为任意常数,这说明, 齐次方程的解构成一个线性空间(解空间)。 此规律对于(415)也成立
a0 (t) yt+n + a1 (t) yt+n−1 ++ an (t) yt = 0 则被称为方程对应的齐次线性差分方程。 若所有的 ai (t)均为与t无关的常数，则称其为 常系数差分 方程，即n阶常系数线性差分方程可分成 ( ) 0 1 1 a y a y a y b t n+t + n+t− ++ n t = （4.15） 的形式，其对应的齐次方程为 a0 yn+t + a1 yn+t−1 ++ an yt = 0 （4.16） (2) 2 (1) t 1 t t y = c y + c y (1) t y (2) t 容易证明，若序列 与 y 均为方程（4.16）的解，则 也是方程（4.16）的解，其 中c1、c2为任意常数，这说明， 齐次方程的解构成一个 线性空间（解空间）。 此规律对于（4.15）也成立
方程(4.15)可用如下的代数方法求其通解: (步一)先求解对应的特征方程 an0"+a1"-+…+anJ1=0(417 (步二)根据特征根的不同情况,求齐次方程(416)的通解 情况1若特征方程(417)有n个互不相同的实根 4-,,则齐次方程(416)的通解为 Ax+…+Cnxn(C1…Cn为任意常数) 情况2若λ是特征方程(4.17)的k重根,通解中对应 于λ的项为C1+…+C4t)x O任意常数,=1,…,k 情况3若特征方程(417)有单重复根=a± 通解中对应它们的项为C1 p cos t+C2p' sin pt p=a2+B2为的模,= arctan B为的幅角
方程（4.15）可用如下的代数方法求其通解： （步一）先求解对应的特征方程 0 1 0 + 1 + + = − n t n n a a a y （4.17） （步二）根据特征根的不同情况，求齐次方 程(4.16)的通解 情况1 若特征方程（4.17）有n个互不相同的实根 1 ,…, ，则齐次方程（ n 4.16）的通解为 t n n t C1 1 ++C (C1 ， ,…,Cn为任意常数) Ci 情况2 若λ 是特征方程（4.17）的k重根，通解中对应 于λ的项为 k t k (C C t ) 1 1 − ++ 为任意常数，i=1,…,k。 情况3 若特征方程（4.17）有单重复根 = a i 通解中对应它们的项为 t t t t C1 cos + C2 sin 2 2 = + 为λ的模， = arctan 为λ的幅角
情况4若=a±G为特征方程(4.17)的重复根,则通 解对应于它们的项为 (1+…+C1t) p cos p+(Cx+…C2t-)p' sin t 为任意常数 L日 .,2K (步三)求非齐次方程(4.15的一个特解y若y为方程416) 的通解,则非齐次方程(415)的通解为y+y 求非齐次方程(415)的特解 般要用到常数变易法,计算较繁 对特殊形式的b(2)也可使用待定 系数法
情况4 若 = a i 为特征方程（4.17）的k重复根，则通 解对应于它们的项为 t t t t k t k t (C C ) cos (C C ) sin 1 k 1 2k 1 1 k − + − ++ + + Ci 为任意常数，i=1,…,2k。 t y .若yt为方程(4.16) 的通解,则非齐次方程(4.15)的通解为 （步三） 求非齐次方程 (4.15)的一个特解 t t y + y 求非齐次方程（4.15）的特解一 般要用到 常数变易法，计算较繁。 对特殊形式 的b(t)也可使用 待定 系数法
例413求解两阶差分方程+2+y=t 解对应齐次方程的特征方程为x2+1=0其特征根为 12=土,对应齐次方程的通解为y ECr CoOS-t+C, sin-t 原方程有形如at+的特解。代入原方程求得 故原方程的通解为C,cost+C, sin-t+1t 在应用差分方程研究问题时,一般不需要求出方程的通解, 在给定初值后,通常可用计算机迭代求解,但我们常常需要 讨论解的稳定性。对差分方程415),若不论其对应齐次方程 的通解中任意常数C1…C如何取值,在t→+时总 有y→0,则称方程(714的解是稳定的否则称其解为不 稳定的根据通解的结构不难看出,齐次方程(415稳定的 充要条件为其所有特征根的模均小于1
例4.13 求解两阶差分方程 y y t t+2 + t = 解 对应齐次方程的特征方程为 1 0 2 + = ，其特征根为 = i 1,2 ，对应齐次方程的通解为 y C t C t t 2 sin 2 cos 1 2 = + 原方程有形如 at + 的特解。代入原方程求得 b 2 1 a = ， 2 1 b = − ，故原方程的通解为 2 1 2 1 2 sin 2 cos C1 t +C2 t + t − 在应用差分方程研究问题时，一般不需要求出方程的通解， 在给定初值后，通常可用 计算机迭代求解，但我们常常需要 讨论解的稳定性。对 差分方程(4.15),若不论其对应齐次方程 的通解中任意常 数C1 ,…,Cn如何取值 , 在 时总 有 ,则称方程 (7.14)的解是稳定 的,否则称其解为不 稳定 的.根据通解的结构不难看出 ,非齐次方程(4.15)稳定的 充要条件为其所有特征根的模均小 于1。 t → + → 0 t y
例414(市场经济的蛛网模型) 在自由竞争的市场经济中,商品的价格是由市场上该 商品的供应量决定的,供应量越大,价格就越低。另 一方面,生产者提供的商品数量又是由该商品的价格 决定的,价格上升将刺激生产者的生产积极性,导致 商品生产量的增加。反之,价格降低会影响生产者的 积极性,导致商品生产量的下降。 在市场经济中,对每一商品事实上存在着两个不同的 函数: (1)供应函数x=fP),它是价格P的单增函数,其曲 线称为供应曲线。 (2)需求函数x=g(P),它是价格P的单降函数,其 曲线称为需求曲线,供应曲线与需求曲线的 形状如图所示
例4.14（市场经济的蛛网模 型） 在自由竞争的市场经济中，商品的价格是由市场上该 商品的供应量决定的，供应量越大，价格就越低。另 一方面，生产者提供的商品数量又是由该商品的价格 决定的，价格上升将刺激生产者的生产积极性，导致 商品生产量的增加。反之，价格降低会影响生产者的 积极性，导致商品生产量的下降。 在市场经济中，对每一商品事实上存在着两个不同的 函数： （1）供应函数x=f(P)，它是价格P的单增函数，其曲 线称为供应曲线。 （2）需求函数x=g(P)，它是价格P的单降函数，其 曲线称为需求曲线，供应曲线与需求曲线的 形状如图所示
记时段初市场上的供应量(即上 ①供应曲线 时段的生产量为x,市场上0 该商品的价格为P,。商品成交的 0 价格是由需求曲线决定的,即卩P2 P=8(x, 需求曲线 随着t→+qM将趋于平衡点M 即商品量将趋于平衡量κ,价格 将趋于平衡价格P。图中的箭线 反映了在市场经济下该商品的供 X1 X2 Xo 应量与价格的发展趋势。 但是,如果供应曲线和需求曲 3 线呈图①中的形状,则平衡点 M是不稳定的,M将越来越远 离平衡点。 X
记t时段初市场上的供应量 (即上 一时段的生产量)为xt ，市场上 该商品的价格为Pt 。商品成交的 价格是由需求曲线决定的，即 ( ) 1 Pt g xt − = 随着 t → + ,Mt将趋于平衡点M* , 即商品量将趋于平衡量x * ,价格 将趋于平衡价格P * 。图中的箭线 反映了在市场经济下该商品的供 应量与价格的发展趋势。 x o P P0 P2 P* P1 x x1 x x2 x0 * 需求曲线 供应曲线 M0 M2 M1 M* ① P o M3 M2 M1 ② 但是，如果供应曲线和需求曲 线呈图①中的形状，则平衡点 M*是不稳定的，Mt将越来越远 离平衡点
但是,如果供应曲线和需求曲线呈图②中的形状,则平衡点 M是不稳定的,M将越来越远离平衡点。即使初始时刻的供 应量和价格对应于平衡点,一点微小的波动也会导致市场供 求出现越来越大的混乱。上述用图示法分析市场经济稳定性 的讨论在经济学中被称为市场经济的蛛网模型。 不难看出,在图①中平衡点 M处供应曲线的切线斜率大于 需求曲线切线斜率的绝对值, 而在图②中情况恰好相反
图①和图②的区别在哪里， 如何判定平衡点的稳定 性呢？ 但是，如果供应曲线和需求曲线呈 图②中的形状，则平衡点 M*是不稳定的，Mt将越来越远离平衡点。即使初始时刻的供 应量和价格对应于平衡点，一点微小的波动也会导致市场供 求出现越来越大的混乱。上述用图示法分析市场经济稳定性 的讨论在经济学中被称为市场经济的 蛛网模型。 不难看出，在 图①中平衡点 M*处供应曲线的切线斜率大于 需求曲线切线斜率的绝对值， 而在图②中情况恰好相反
现在利用差分方程方法来研究蛛网模型,以验证上述猜测是 否正确。我们知道,平衡点M是否稳定取决于在M附近供 需曲线的局部性态。为此,用M处供、需曲线的线性近似 来代替它们,并讨论此线性近似模型中M的稳定性。 设供应曲线与需求曲线的线性近似分别为 P=P+a(x-xi P=P-b(x-x) 式中,a、b分别为供 应曲线在M处的切线斜率与需求曲线在M处切线斜率的绝对值 根据市场经济的规律,当供应量为x时,现时段的价格 P1=P-b(x,-x),又对价格P,由供应曲线 P+1=P+a(x+1-x)解得下一时段的商品量 xu=x+-(pa-P=x+-IP-b(x-x)-Pl
现在利用差 分方程方法来研究蛛网模型，以验证上述猜测是 否正确。我们知道，平衡 点M*是否稳定取决于 在M*附近供、 需曲线的局部性态。为此， 用M*处供、需曲线的线性近似 来代替它们，并讨论此线性近似模型 中M*的稳定性。 设供应曲线与需求曲线的线性近似分别为 ( ) * * P = P + a x − x 和 ( ) * * P = P − b x − x 式中，a、b分别为供 应曲线在M*处的切线斜率与需求曲线 在M*处切线斜率的绝对值。 根据市场经济的规律，当供应量 为xt时，现时段的价格 ( ) * * 1 P P b x x t+ = − t − ，又对价格 Pt+1 ，由供应曲线 ( ) * 1 * Pt+1 = P + a xt+ − x 解得下一时段的商品量 [ ( ) ] 1 ( ) 1 * * * * * 1 * 1 P b x x P a P P x a xt+ = x + t+ − = + − t − −
