差分方程模型的理论和方法
差分方程模型的理论和方法
第一节 差分
一、 基本概念
1、差分算子
设数列{}n x ，定义差分算子n n n x x x -=??+1:为n x 在n 处的向
前差分。
而1--=?n n n x x x 为n x 在n 处的向后差分。
以后我们都是指向前差分。
可见n x ?是n 的函数。从而可以进一步定义n x ?的差分：
n n x x 2)(?=??
称之为在n 处的二阶差分，它反映的是的增量的增量。
类似可定义在n 处的k 阶差分为：
))((1n k n k x x -??=?
2、差分算子 、不变算子、平移算子
记n n n n x Ix x Ex ==+,1，称E 为平移算子，I 为不变算子 。
则有：n n n n x I E Ix Ex x )(-=-=?
I E -=?∴
由上述关系可得：
i n k
i i k i k n i
k i i k i k n k n k x C x E C x I E x +=-=-∑∑-=-=-=?00)1()1()( （1） 这表明n x 在n 处的k 阶差分由n x 在k n n n ++....1,，处的取值所线性决定。
反之，
由 n n n x x x -=?+1 得 n n n x x x ?+=+1：
n n n n x x x x +-=?++1222，得：n n n n x x x x 2122?++-=++,
这个关系表明：第n+2项可以用前两项以及相邻三项增量的增量来表现和计算。即一个数列的任意一项都可以用其前面的k 项和包括这项在内的k+1 项增量的增量的增量……..第k 层增量所构成。
……..
,)1(1
0k n i n k i i k i k n k
x x C x ++-=-+-=?∑得： n k i n k i i k i k k n x x C x ?+--=+-=-+∑1
0)1( （2）
可以看出：
k n x +可以由n k n n x x x ??,...,,的线性组合表示出来
3、差分方程
由n x 以及它的差分所构成的方程
),...,,,(1n k n n n k x x x n f x -??=? （3）
称之为k 阶差分方程。
由（1）式可知（3）式可化为
),...,,,(11-+++=k n n n k n x x x n F x （4）
故（4）也称为k 阶差分方程（反映的是未知数列n x 任意一项
与其前，前面k 项之间的关系）。
由（1）和（2）可知，（3）和（4）是等价的。
我们经常用的差分方程的形式是（4）式。
4、差分方程的解与有关概念
（1） 如果n x 使k 阶差分方程（4）对所有的n 成立，则称n x 为
方程（4）的解。
（2） 如果-=x x n （-x 为常数）是（4）的解，即
),...,,(---=x x n F x
则称-
=x x n 为（4）的平衡解或叫平衡点。平衡解可能 不
只一个。平衡解的基本意义是：设n x 是（4）的解，考虑
n x 的变化性态，其中之一是极限状况，如果x x n n =∞
→lim ，则方程（4）两边取极限（x 就存在在这里面），应当有
),...,,(---=x x n F x （3） 如果（4）的解n x 使得-
-x x n 既不是最终正的，也不是最终
负的，则称n x 为关于平衡点-x 是振动解。
（4） 如果令：--=x x y n n ，则方程（4）会变成
),...,,(1-++=k n n k n y y n G y （5）
则 0=y 成为（5）的平衡点。
（5） 如果（5）的所有解是关于0=y 振动的，则称k 阶差分方
程 （5）是振动方程。如果（5）的所有解是关于0=y 非
振动的，则称k 阶差分方程（5）是非振动方程。
（6） 如果（5）有解n y ，使得对任意大的y N 有 0>≥n N n y Sup y
则称n y 为正则解。（即不会从某项后全为零）
（7） 如果方程（4）的解n x 使得-
∞→=x x Lim n n ，则称n x 为稳定解。 5、差分算子的若干性质
（1）n n n n y x y x ?+?=+?βαβα)(.)(
（2）)(1)(1n n n n n n n n y x x y y y y x ?-?=?+
（3）n n n n n n y x x y y x ?+?=?+1)(
（4）∑∑==+++?+-=?b
a k k k a
b a k a b b k k y x y x y x x y 111
（5）∑=?=+?==n
i i i n n
n n x C x I x E x 0000)( 6、Z 变换
定义：对于数列n x ，定义复数级数
∑∞
=-==0)()(k k k n z x x Z z X （6）
这是关于z 洛朗级数。它的收敛域是：21R z R <<，其中2R 可以为∞，1R 可以为0。 称)(n x Z 为n x 的z -变换。
由复变函数展开成洛朗级数的唯一性可知：z 变换是一一对应的，从而有逆变换，记为：
))((1z X Z x n -= （7）
z 变换是研究数列的有效工具 。
z 变换的若干重要性质：
（1）线性性 )()()(n n n n y Z x Z y x Z βαβα+=+
（2）平移性质 ])([)(1
0∑-=-+-=N k k k N
N n z x z X z x Z
z 变换举例：
（1）???≠=∞=0,00
,)(n n n δ, 则∑∞
==--=?==0
01)1()())((k k k k z z k n Z δδ
（2）???<≥=0,00,1)(k k n u ，则∑∑∞=∞
=-->-===00,1,1
)())((k k k k z z z
z z k u n u Z （3）设,)(n a n f =则∑∞
=->>-==0,0
,,)(k k k n a a z a z z z a a Z
（4）设,!1
)(n n f =则0,!1
)!1(0
1
>==∑∞
=-z e z k n Z k z k
第二节 差分方程常用解法与性质分析
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 (11)
10=++++--
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）
（8） 的特解可通过待定系数法来确定。
例如：如果)(),()(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）中确定出系数即可。
2、差分方程的z 变换解法
对差分方程两边关于n x 取Z 变换，利用n x 的Z 变换F （z ）来
表示出k n x +的Z 变换，然后通过解代数方程求出F （z ），并把F(z)
在z=0的解析圆环域中展开成洛朗级数，其系数就是所要求的n x 例1 设差分方程1,0,0231012===++++x x x x x n n n ，求n x
解：解法1：特征方程为0232=++λλ，有根：2,121-=-=λλ 故：n n n c c x )2()1(21-+-=为方程的解。
由条件1,010==x x 得：n n n x )2()1(---=
解法2：设F （z ）=Z(n x ),方程两边取变换可得： 0)(2))((3)1.)((0102=+-+--z F x z F z z x x z F z
由条件1,010==x x 得23)(2++=
z z z z F 由F （z ） 在2>z 中解析，有
∑∑∑∞=∞=-∞=--=---=+-+=+-+=000)21()1(2)1(1)1(211111)2111()(k k k k k k k k
k k
z z z z
z z z z z F 所以，n n n x )2()1(---=
3、二阶线性差分方程组
设=)(n z )(n y x n ，)(d
c b a A =，形成向量方程组 )()1(n Az n z =+ （12）
则 )1()1(z A n z n =+ （13）
（13）即为（12）的解。
为了具体求出解（13），需要求出n A ，这可以用高等代数的方法计算。常用的方法有：
（1）如果A 为正规矩阵，则A 必可相似于对角矩阵，对角线上的元素就是A 的特征值，相似变换矩阵由A 的特征向量构成：)1()()1(,,111z p p n z p p A p p A n n n Λ=+∴Λ=Λ=---。
（2）将A 分解成ηξξη,,/,=A 为列
A A n n n .)(.......).(1//.//-===ηξηξηξηξηξ
从而，)1(.)()1()1(1/Az z A n z n n -==+ηξ
（3） 或者将A 相似于约旦标准形的形式，通过讨论A 的特征值的性态，找
出n A 的内在构造规律，进而分析解)(n z 的变化规律，获得它的
基本性质。
4、关于差分方程稳定性的几个结果
（1）k 阶常系数线性差分方程（8）的解稳定的充分必要条件是它对应的特征方程（10）所有的 特征根k i i ...2,1,=λ满足1
（2）一阶非线性差分方程
)(1n n x f x =+ （14）
（14）的平衡点-x 由方程)(-
-=x f x 决定，
将)(n x f 在点-x 处展开为泰勒形式：
)())(()(/---+-=x f x x x f x f n n （15） 故有：1)(/<-x f 时，（14）的解-
x 是稳定的， 1)(/>-x f 时，方程（14）的平衡点-
x 是不稳定的。
第三节 差分方程建模举例
差分方程建模方法的思想与与一般数学建模的思想是一致的，也需要经历 背景分析、确定目标、预想结果、引入必要的数值表示（变量、常量、函数、积分、导数、差分、取最等）概念和记号、几何形式（事物形状、过程轨迹、坐标系统
等），也就是说要把事物的性态、结构、过程、成分等用数学概念、原理、方法来表现、分析、求解。当然，由于差分方程的特殊性，首先应当把系统或过程进行特别分解，形成表现整个系统的各个部分的离散取值形式，或形成变化运动过程的时间或距离的分化而得到离散变量。然后通过内在的机理分析，找出变量所能满足的平衡关系、增量或减量关系及规律，从而得到差分方程。另外，有时有可能 通过多个离散变量的关系得到我们关心的变量的关系，这实际上建立的是离散向量方程，它有着非常重要的意义。有时还需要找出决定变量的初始条件。有时还需要将问题适当分成几个子部分，分别求解。
模型1 种群生态学中的虫口模型：
在种群生态学中，考虑像蚕、蝉这种类型的昆虫数目的变化 ，他的变化规律是：每年夏季这种昆虫成虫产卵后全部死亡，第二年春天每个虫卵孵化成一个虫子。建立数学模型来表现虫子数目的变化规律。
模型假设与模型建立：假设第n 年的虫口数目为n P ，每年
一个成虫平均产卵c 个（这个假设有点粗糙，应当考虑更具体的产卵分布状况），则有：n n cP P =+1，这是一种简单模型；
如果进一步分析，由于成虫之间会有争斗以及传染病、天敌等的威胁，第n+1年的成虫数会减少，如果考虑减少的主要原因是虫子之间的两两争斗，由于虫子配对数为
)1(21-n n p p 22
1n p ≈，故减少数应当与它成正比，从而有： 21n n n bP cP P -=+
这个模型可化成：)1(1n n n x x x -=+λ，这是一阶非线性差分方程。这个模型的解的稳定性可以用相应一阶差分方程的判断方法，即（14）式来获得。
如果还考虑其它的影响成虫孵卵及成活的因素的定量关系，这个模型在此基础上仍可进一步改进，更加符合实际情
形。这种关系一方面可以通过机理分析，确定减少量与影响因素的定量关系，另一方面也可以用统计的方法来线性估计影响程度。或者还可以用影响曲线的方法来直观表现影响的比例关系、周期关系、增量关系等等。
模型2 具周期性的运动过程的差分方程模型
建立差分方程描述振动台上的乒乓球垂直运动的方程，即把运动过程中的某些离散变化取值的变量的变化规律表现出来。
假设：乒乓球与振动台之间的振动恢复系数为1,≤αα
振动台台面的上下位移是t ~sin ωβ-，乒乓球初始时刻在离台面垂直距离为H 处为自由落体运动H <<β。 又假设j t 为第j 次碰
撞时刻，第 j 次碰撞前的速度为)(j t u -，碰撞后的速度为)(j t v 。假设)()(1j j t v t u =+。振动台台面的运动速度为
t t dt d t ~~cos )sin ()(ωβωβω-=-=；又记g v v t ~~
2,ωωφ==，则有：g t v t t j j j )
(211++=-，∴g v t t j
j j ~1~2)(ωω=-+，
∴j j j v =-+φφ1 （3.1）
另外，由碰撞规律分析可知：
))(()(1111+++++-=-j j j j t u t v ωαω
该式经简化处理后可得：
)cos(1j j j j v v v +-=+φγα （3.2） 由（1）和（2）式联立可得二阶差分非线性方程组
j j j v =-+φφ1
)cos(1j j j j v v v +-=+φγα
模型3 蛛网模型
（1） 经济背景与问题：在自 由市场经济中，有些商品的生产、销
售呈现明显的周期性。农业产品往往如此，在工业生产中，许多商品的生产销售是有周期性的，表现在：商品的投资、销售价格、产量、销售量在一定时期内是稳定的，因而整个某个较长的时期内这些经济数据表现为离散变量的形式。在这些因素中，我们更关心的是商品的销售价格与生产产量这两个指标，它们是整个经营过程中的核心因素，要想搞好经营，取得良好的经济效益，就必须把握好这两个因素的规
律，作好计划。试分析市场经济中经营者根据市场经济的规律，如何建立数学模型来表现和分析市场趋势的。
（2） 模型假设与模型建立
将市场演变模式划分为若干段，用自然数n 来表示；
设第n 个时段商品的数量为n x ，价格为n y ，n=1,2….;
由于价格与产量紧密相关，因此可以用一个确定的关系来表现：即设有 )(n n x f y = （3. 3）
这就是需求函数，f 是单调减少的对应关系;
又假设下一期的产量1+n x 是决策者根据这期的价格决定
的，即：设)(1n n y h x =+，h 是单调增加的对应关系，
从而，有关系：)(1+=n n x g y （3.4）
g 也是单调增加的对应关系.
因此可以建立差分方程：)]([1n n x f h x =+ （3.5）
)]([1n n y h f y =+ （3.6） 这就是两个差分方程。属一阶非线性差分方程。
（3） 模型的几何表现与分析。
为了表现出两个变量n x 和n y 的变化过程，我们可以借助已有的
函数f 和g ,通过对应关系的几何表现把点列),(n n y x ，和),(1n n y x +在坐标系中描绘出来，进而分析它们的变化规律、趋势、找稳定点等等。其中)(,(),(),(,(),(111+++==n n n n n n n n x g x y x x f x y x
将点列
(),,(),,(),,(4333122111p y x p y x p y x p 连接起来，就会形成象蛛网
一样的折线，这个图形被称作为蛛网模型。可以设想，这种形式可作为差分方程分析与求解的重要手段，它的主要数学技术是：图形的描绘，曲线上点列的描绘（设法由前一个点的一个坐标分量来算出下一个点的一个坐标分量，并确认它在哪条曲线上，就可以画出这个点；有时或者可由前两个点决定下一个点的一个坐标分量），也就是通过直观、几何形式，把我们关心的变量的所有可能取值表示出来。这里采用的方法是，引入两条曲线，因为在曲线上如果知道了一个分量，就可以作出另一个分量。可见几何形式表示有关系的变量是既方便又有意义的。
易见：如果点列
.).........,(),,(),,(),,(344333122111y x p y x p y x p y x p 最后收敛于点0p ，则
,0x x n →0y y n →，并且0p 就是两条曲线的交点，从而稳定的。这也
表明，市场在长期运行之后会保持一种稳定的状态，说明市场处于饱和状态。要想进一步发展就必须打破这种平衡，在决策机制和方法上有所改进。
几何上的进一步分析表明，如果曲线),(x f y =和)(x g y =在交点0p 处切线的斜率的绝对值记为：g f k k ,，则
当g f k k <时，0p 是稳定的；
当 g f k k > 时，0p 是不稳定的。
(4) 模型的差分方程分析
设点),(000y x p 满足：)(),(0000y h x x f y ==，
在0p 点附近取函数)(),(x h x f 的一阶近似：
)
8.3.........(....................,.........0),()
7.3...(..............................,.........0),(00100>-+=>--=+ββααy y x x x x y y n n n n
合并两式可得：)9.3.........(,.........2,1,)1(01=++-=+n x x x n n αβαβ
y
这是关于n x 的一阶线性差分方程。当然它是原来方程的近似模
型。作为数学模型，本来就是客观实际问题的近似模拟，现在为了处理方便，适当取用其近似形式是合理的。
其中，α-为f 在0p 点处的切线斜率；β
1为g(x)在0p 点处切线的斜率。
方程（3.9）递推可得：
)10.3...(....................])(1[)(011x x x n n n αβαβ--+-=+ 所以，0p 点稳定的充要条件是：,1<αβ即：βα1
<
这个结论与蛛网模型的分析结果是一致的。
（4） 模型推广
如果决策时考虑到1+n x 与1,+n n y y 都有关系，则可假设 )
11.3.....(..............................).........2(1
1+++=n n n y y g x 这时数学模型为：)(n n x f y = ).2(1
1+++=n n n y
y g x
对此模型仍用线性近似关系可得：首先求出平衡点，即解方程 )(00x f y = )().2(00
00y g y y g x =+=
则有： )
2(2)
2(2)(01010101y y y x x y y y y g x n n n n n n -+=-∴-++=++-+ββ
再结合（3.7）可得： )2)()((200100001y x x y x x y x x n n n ---+--=--+ααβ
0111)1(2x x x x n n n αβαβαβ+=++∴--+
即： )12.3.........(....................)1(2012x x x x n n n αβαβαβ+=++++ 特征方程为： 022=++αβαβλλ
特征根为：48)(2
2,1αβ
αβαβλ--+-=
所以：8>αβ时，242-<-<αβ
λ，此时解不稳定。
8<αβ时，22,1αβ
λ=，则2<αβ时，12,1<λ
从而解是稳定的。
这个条件比原来的模型解的稳定性条件放宽了。说明决策水 平提高了。
进一步来看，对这个模型还可以进行进一步的分析：考虑下一年的产量时，还可以近三年的价格来决定，例如：设
)3
(211--+++=n n n n y y y h x ，；另外还可以考虑引入投资额n z ，并建立有关的离散方程关系。
模型4 人口的控制与预测模型
背景分析：人口数量的发展变化规律及特性可以用偏微分方程的理论形式来表现和模拟。但在实际应用中不是很方便，需要建立离散化的模型，以便于分析、应用。人口数量的变化取决于诸多因素，比如：女性生育率、死亡率、性别比、人口基数等。试建立离散数学模型来表现人口数量的变化规律。
模型假设：以年为时间单位记录人口数量，年龄取周岁。
（1） 设这个地区最大年龄为m 岁
（2） 第t 年为i 岁的人数为,......2,1,0;....2,1),(==t m i t x i ，
这个数量指标是整个问题分析、表现的目标和载体，我们的目的就是找出这些变量的变化规律、内在的普遍联系。
（3） 设第t 年为i 岁的人口平均死亡率为)(t d i ，即这一年中i 岁人口中死亡数与基数之比：)
()1()()(1t x t x t x t d i i i i +-=+ 即： ,...2,1,0;1,...,2,),())(1()1(1=-=-=++t m i i t x t d t x i i i
（4） 设第t 年i 岁女性的生育率：即每位女性平均生育婴儿 数为
)(t b i ，],[21i i 为生育区间。)(t k i 为第t 年i 岁人口的女性比
（占全部i 岁人口数）
由此可知：第t 年出生的人数为：
∑==2
1)()()()(i i i i i i t x t k t b t f
（5） 记第t 年婴儿的死亡率为)(00t d ，则)())(1()(000t f t d t x -=
（6） 设)()()()
()(21
t t b t b t b t h i i i i i
i i β==∑=，它表示i 岁女性总生育率， 则)()()(t h t t b i i β=，如果假设t 年后女性出生率保持不变，则 )(...)()()(2111t b t b t b t i i i +++=+β
)(...)1()(1212
11i i t b t b t b i i i -+++++=+
可见，)(t β表示每位妇女一生中平均生育的婴儿数，称之为总和生育率。它反映了人口变化的基本因素。
模型建立：根据上面的假设
∑∑∑====--=--=--=-=+21
2
1
2
1
)
()()()
()()()())(1))((1()()()())(1))((1()
())(1))((1()
())(1()1(/
000000000001i
i i i i i
i i i i i i
i i i i i t x t b t t x t k t h t t d t d t x t k t b t d t d t f t d t d t x t d t x ββ
)())(1()1(122t x t d t x -=+
………………………………..
)())(1()1(11t x t d t x m m m ---=+
为了全面系统地反映一个时期内人口数量的状况，
令 /21)](),...,(),([)(t x t x t x t x m =
n
m m t d t d t d t A ?-??
?
??
?
??
????????---=0)(1...00.......................00...0)(100
0...00)(100...000)(121
n
m i i t b t b t B i i ?????????????????=0...0...0000...0 (000)
0...0...0000...0...0000)...()...(00)( 则此向量)(t x 满足方程：
)()()()()()1(t x t B t t x t A t x β+=+
即：)13.3....(....................).........
())()()(()1(t x t B t t A t x β+=+ 这是一阶差分方程
其中)(t β是可控变量，)(t x 是状态变量，并且关于)(t β和)
(t x 都是线性的，故称其为双线性方程。
模型分析：
在稳定的社会环境下，死亡率 、生育模式、女性比例、婴儿存活率是可以假设为不变的，故B t B A t A ==)(,)(为常数矩阵。从而，
)14.3......(..............................).........
()).(()1(t x B t A t x β+=+
只要总生育率)(t β确定下来，则人口的变化规律就可以确定下来。为了更全面地反映人口的有关信息，下面再引入一些重要的指标：
（1） 人口总数：∑==m
i i t x t N 0)()(
（2） 人口平均年龄：∑==m i i t x i t N t R 0
)(.)(1)( （3） 平均寿命：∑∑==-=m j j
i i t d t S 00)](exp[)(，这里假定从第t 年分析，如
果以后每年的死亡率是不变的，即：...)1()(1=+=+t d t d i i
则∑=j
i i t d 0)(表示 t 年出生的人活到第j+1年期间的死亡率，这
也表明其寿命为j 岁，j=1,2…m.而∑=-j
i i t d 0))(exp(表示寿命。
通过求出)(t x 的变化规律，就可以对上面引入的3个指标进行更具体的分析，从而对人口的分布状况、变化趋势、总体特征等有科学的认识和把握。具体求解分析这里不再进行。
模型5 线性时间离散弥漫网络模型
引言：一个国家在一定时间段内的财富依赖于许多因素，不同国家的相互交流是重要的方面。建立数学模型，表现国家财富的变化与国家间财富的流动之间的关系。
模型假设：设有n 个国家，用)(t i u 表示在时期{,...}2,1,0∈t 的财富。假设只考虑这些国家之间仅仅两两国家之间有交流关系。并且假设财富流动的系数是γ。
模型的建立：国家间的财富关系应当满足
)()()
(1)
(
)
(1)
(2)(1)1(1t t n t t t t u u u u u u -+-=-+γγ
)()()
(2)
(3)
(2)(1)
(2)
1(2t t t t t
t u u u u u u -+-=-+γγ
…………..
)()()
(1)
()
(
1)
(2)(1)1(1t n t n t n t n t n t n u u u u u u ----+--+-=-γγ
)()()
()
(1)
()
(1)
()1(t n t n t
n t t n t n u u u u u u -+-=--+γγ
用矩阵形式表示：
令/)
()
(2)
(1)(),......,,(t n t t t u u u u =表示时期t 各个国家的财富状态；
令???
?
?
??
?
?
??
?
?
?????????????----------=210.0001121..00001.2.....................00..121000..012110..0012.n A
则有：)10.3......(..............................)()
()1(t n t u A I u γ-=+
记n n A I A γ-=~ ，则 )11.3....(..........)
0(~)(u A u t
n t =
模型计算与分析：
计算可知n A 的特征值为；,1,sin 42
)(n k n k k ≤≤=π
λ
~n A 的特征值为 n k k π
γγλ2)(
sin 4`11-=-
对应的特征向量为 n k v v v k n k k ≤≤=1......),......,(/)
(
)(1)(
其中 )2sin 2(cos 1
)(n km n km n v k m π
π
+=
为讨论方便起见，引入如下记号： /)()()1,...,1,1(1
,0n v n n ==λ
,)1,...1,1(1
,/)0()()0(n v n ==λλ
则有：n 为偶数时：
,4.........0)2()2()12()12()()()()0(==<<=<<=<<==-+--n
n n
n
n
k n k n λλλλλλλλ
n 为奇数时： 4......0)21
()21()()()()0(<=<<=<<==+--n
n k n k n λλλλλλ
记：k V 为由)()
(,k n k v v -张成的子空间，
则：∑-=><=1
)()0()()0(,n k k k v u v u ∑∑∑∑=∈-=-=><-=><-=><==]
2[0)0()(1
)()0()()()
(~)0(1
)()0(~)(,)1(,)1(,n
k V t k n o
k k k t k k t
n n k k t
n t k
u v u v v
A u v u A u ωω
ωγλγλ
由此式进一步分析可以获得：当∞→t 时，)
(t n u 的渐进变化状态规律
(略)。
模型 6 金融问题的差分方程模型
1、 设现有一笔p 万元的商业贷款，如果贷款期是n 年，年利率是
1r ，今采用月还款的方式逐月偿还，建立数学模型计算每月的还款数是多少？
模型分析：在整个还款过程中，每月还款数是固定的，而待还款数是变化的，找出这个变量的变化规律是解决问题的关键。
模型假设：设贷款后第 k 个月后的欠款数是k A 元，月还款为
m 元，月贷款利息为12
1r r =。 模型建立：关于离散变量k A ，考虑差分关系有：
m A rA A k k k +=++1，
即：m A r A k k -+=+)1(1 （3.15）
这里已知有：0,100000240==A A
模型求解：令1--=k k k A A B ，则111)1()1(--+=+=k k k r B r B B
k k B B B A A ++++=∴ (210)
])1(...)1(1[110-++++++=k r r B A ,...2,1,0],1)1[()1(0=-+-+=k r r m r A k k
这就是差分方程（3.15）的解。把已知数据r A ,0代入012=n A 中，可以求出月还款额m 。例如：
2,0052125.0,100000===n r A 时，可以求出：356.444=m 元。
模型的进一步拓广分析：拓广分析包括条件的改变、目标的改变、某些特殊结果等。如果令A A k =，则r m A =
，并且 当r m A =0时，总有r
m A k =，即表明：每月只还上了利息。只有当r
m A <0时，欠款余额逐步减少，并最终还上贷款。
2、 养老保险模型
问题：养老保险是保险中的一种重要险种，保险公司将提供不同的保险方案供以选择，分析保险品种的实际投资价值。也就是说，分析如果已知所交保费和保险收入，按年或按月计
算实际的利率是多少？也就是说，保险公司需要用你的保费实际获得至少多少利润才能保证兑现你的保险收益？
模型举例分析：假设每月交费200元至60岁开始领取养老金，男子若25岁起投保，届时养老金每月2282元；如35岁起保，届时月养老金1056元；试求出保险公司为了兑现保险责任，每月至少应有多少投资收益率？这也就是投保人的实际收益率。
模型假设：这应当是一个过程分析模型问题。过程的结果在条件一定时是确定的。整个过程可以按月进行划分，因为交费是按月进行的。假设投保人到第k 月止所交保费及收益的累计总额为k F ，每月收益率为r ，用q p 、分别表示60岁之前和之后每月交费数和领取数，N 表示停交保险费的月份，M 表示停领养老金的月份。
模型建立：在整个过程中，离散变量k F 的变化规律满足：
???=-+=-=++=++M N k q r F F N k p r F F k k k k ,...,,)1(1,...,1,0,)1(1
1， 在这里k F 实际上表示从保险人开始交纳保险费以后，保险
人帐户上的资金数值，我们关心的是，在第M 个月时，M F 能
否为非负数？如果为正，则表明保险公司获得收益；如为负数，则表明保险公司出现亏损。当为零时，表明保险公司最后一无所有，表明所有的收益全归保险人，把它作为保险人的实际收益。从这个分析来看，引入变量k F ，很好地刻画了整个过
程中资金的变化关系，特别是引入收益率r ，虽然它不是我们所求的保险人的收益率，但是从问题系统环境中来看，必然要考虑引入另一对象：保险公司的经营效益，以此作为整个过程中各种量变化的表现基础。
模型计算：以25岁起保为例。假设男性平均寿命为75岁，
则有 600,420;2282
,20====M N q p ，初始值为00=F ，我们可以得到：M N k r r
q r F F N k r r p r F F N k N k N k k k k ,...,1],1)1[()1(`,..,2,1,0],1)1[()1(0+=-+-+==-++
+=-- 在上面两式中，分别取,N k =和M k =并利用0=M F 可以求出： 0)1)(1()1(=+++-+-p q r p q r N M M
利用数学软件或利用牛顿法通过变成求出方程的跟为：
=
r
00485
.0
同样方法可以求出：35岁和45岁起保所获得的月利率分别为
00461
=r
r
.0=
,
00413
.0
练习题：
1、金融公司支付基金的流动模型：某金融机构设立一笔总额为
S/540 万的基金，分开放置位于A城和B城的两个公司，基金在平时可以使用，但每周末结算时必须确保总额仍为S/540 万。经过一段时间运行，每过一周，A城公司有10%的基金流动到B城公司，而B城公司则有12%的基金流动到 A城公司。开始时，A城公司基金额为S/260万，B城公司为S/280万。试建立差分方程模型分析：两公司的基金数额变化趋势如何？进一步要求，如果金融专家认为每个公司的支付基金不能少于S/220万，那么是否需要在什么时间将基金做专门调动来避免这种情况？
2、某保险公司推出与养老结合的人寿保险计划，其中介绍的例子为：如果40岁的男性投保人每年交保险费1540元，交费期20岁至60岁，则在他生存期间，45岁时（投保满5年）可获返还补贴4000元，50岁时（投保满10年）可获返还补贴5000元，其后每隔5年可获增幅为1000元的返还补贴。另外，在投保人去世或残废时，其受益人可获保险金20000元。试建立差分方程模型分析：若该投保人的寿命为76岁，其交保险费所获得的实际年利率是多少？而寿命若为74岁时，实际年利率又是多少？
3、Leslie种群年龄结构的差分方程模型
已知一种昆虫每两周产卵一次，六周以后死亡（给除了变化过程的基本规律）。孵化后的幼虫2周后成熟，平均产卵100个，四周龄的成虫平均产卵150个。假设每个卵发育成2周龄成虫的概率为
0.09，（称为成活率），2周龄成虫发育成4周龄成虫的概率为0.2。
（1）假设开始时，0~2，2~4，4~6周龄的昆虫数目相同，计算2周、4周、6周后各种周龄的昆虫数目；
（2）讨论这种昆虫各种周龄的昆虫数目的演变趋势：各周龄的昆虫比例是否有一个稳定值？昆虫是无限地增长还是趋于灭
亡？
（3）假设使用了除虫剂，已知使用了除虫剂后各周龄的成活率减半，问这种除虫剂是否有效？
4、按年龄分组的种群增长一般模型及灵敏性分析
对在问题3中的模型做进一步的拓广。对于某种群建立数学模型分析其数量变化规律，。这里分析的对象是特定的种群，变化过程可以按相等间隔的时段末来记录。为了精确表现种群的变化，自然需要将种群进行分类，不妨按与时间段长度相同的年龄进行分组。为了简化模型，对每一时段的种群取相同的最大年龄，这里相当于认为很大年龄的那部分视作为相同年龄，在下一个时段全部消失。考虑每一时段中不同年龄组种群数量构成的向量、不同年龄组的繁殖率i b 和存活率i s ，（1）建立差分方程分析种群的变化规律；（2）进行种群数量的
稳定性分析，即时间充分长以后种群年龄结构及数量变化；（3）对i b 和i s 关于种群的增减进行灵敏性分析（提示：考虑由i b 和i s 所构作的新参数11121......-+++=n n s s b s b b R ，解释这个参数的实际意义，并利用它进
行灵敏性分析 ）
补充知识：矩阵P= ?????????
???????????--0000000000000110
1210n n n P P P F F F F F
，其中 1,...,,0,0;,...,1,0,0-=>=≥n i i P n j F i j 称矩阵P 为Leslie 矩阵。
基本概念：设矩阵的特征值为n λλλ,...,,10，将它们的模按从大到小的顺序排列（不妨设为）：n λλλ≥≥≥...10，则称0λ为矩阵的主特征值，如果10λλ>，则称0λ为严格主特征值。
Leslie 矩阵P 的几个基本性质：
（1） 特征多项式为：
)...(...)()()(110221011001n n N n n n F P P P F P P F p F p ---+-----=λλλλλ
它有唯一一个正的单特征值0λ（重数为1），且为主特征值。
（2） 如果λ为L 矩阵P 的一个非零特征值，则 T n n P P P P P P )...,...,,,1(1102100λ
λλαλ-= 为与λ对应的一个特征向量。 （3） 若L 矩阵第一行有两个相临元素非零，则它的唯一正特征根
0λ为严格主特征值。
(完整版)差分方程模型(讲义)
差分方程模型 一. 引言 数学模型按照离散的方法和连续的方法，可以分为离散模型和连续模型。 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Λ，则
第七章差分方程模型概论
第7章 差分方程模型 7.1 市场经济中的蛛网模型 7.3 差分形式的阻滞增长模型 7.4 按年龄分组的种群增长 §7.1 市场经济中的蛛网模型 例1 蛛网模型问题 [问题的提出] 蛛网模型现象 供大于求 -> 价格下降 -> 减少产量 ↑ 数量与价格在振荡 ↓ 增加产量 <- 价格上涨 <- 供不应求 提出的问题 1.描述商品数量与价格的变化规律 2.商品数量与价格的振荡在什么条件下趋向稳定 3.当不稳定时政府能采 取什么干预手段使之稳定 [模型分析与假设] 蛛网模型 设 k x ~第k 时段商品数量； k y ~第k 时段商品价格 消费者的需求关系 → 需求函数 ) (k k x f y = → 减函数 生产者的供应关系 → 供应函数 ) (1k k y h x =+ → 增函数 ↓ ) (1+=k k x g y f 与 g 的交点P0(x0,y0) ~ 平衡点 一旦xk=x0，则yk=y0 xk+1,xk+2,…=x0, yk+1,yk+2, …=y0 y x0 y0
方程模型 在P0点附近用直线近似曲线 ) (k k x f y =→ ) 0()(00>--=-ααx x y y k k ) (1k k y h x =+→ ) 0()(001>-=-+ββy y x x k k )(001x x x x k k --=-+αβ )()(0101x x x x k k --=-+αβ 1<αβ )/1(βα< → 0x x k → P0稳定 g f K K < 1>αβ )/1(βα> → ∞→k x P0不稳定 g f K K > 方程模型与蛛网模型的一致 f K =α g K =β/1 [模型的求解] 考察α ,β 的含义 xk~第k 时段商品数量；yk~第k 时段商品价格 ) (00x x y y k k --=-α α~ 商品数量减少1单位, 价格上涨幅度 ) (001y y x x k k -=-+β β~ 价格上涨1单位, (下时段)供应的增量 α~ 消费者对需求的敏感程度 α小, 有利于经济稳定 β~ 生产者对价格的敏感程度 β小, 有利于经济稳定 → 1<αβ 经济稳定 经济不稳定时政府的干预办法 1. 使α尽量小，如α=0 → 需求曲线变为水平 → 以行政手段控制价格不变 2. 使β尽量小，如β =0 → 供应曲线变为竖直 → 靠经济实力控制数量不变 x y 0 y0 g f x y 0 x0 g f
差分方程模型的稳定性分析分析解析
分类号 学号密题 目 （中、英文） 作者姓名 指导教师 学科门类 提交论文日期专业名称 成绩评定 数学与应用数学 理 学
咸阳师范学院2016届本科毕业设计（论文） 摘要 微分方程是研究数学的一个重要分支，是本科期间我们必须掌握的基本知识，而本文我们研究的是一个递推关系式，也称差分方程。它是一种离散化的微分方程，是利用描述客观事物的数量关系的一种重要的数学思想来建立模型的。而利用差分方程建立模型解决问题的方法在生活中随处可见，比如在自由竞争市场经济中的蛛网模型是利用差分方程分析经济何时趋于稳定，又如金融问题中的养老保险也是利用差分方程来分析保险品种的实际投资价值。而差分方程模型是描述客观世界中随离散时间变量演化规律的有力建模工具。本文首先给出差分方程的定义以及求解过程并给出判断差分方程稳定性的判断方法，随后以同一环境下的羊群和草群的相互作用为模型分析其种群的数量变化过程，进而研究线性差分方程的稳定性，最后用一个实际模型来更好的说明差分方程的稳定性对解决实际问题有非常大的帮助。 关键字：差分方程；差分方程模型；平衡点；稳定性
差分方程模型的稳定性分析 Abstract Difference equation is also called recursive equation, it is to describe the relationship between the number of objective things of a kind of important mathematical model. And the use of the differential equation model of the solution can be found everywhere in life. Such as cobweb model in the free market economy is to use the difference equation analysis when the economic stability, and as the financial problem of pension insurance breed difference equation is used to analysis the actual investment value. This paper gives the judge the stability of difference equation to judge method, then in the same group of sheep and grass under the environment of interaction analysis for the model a process, the number of the population change, in turn, study the stability of the linear difference equation. In the end, one practical model to better explain the stability of difference equation. Key words:Difference equation;Difference equation model ; Balance point; Stability
第七章 差分方程模型
第七章 差分方程模型 教学目的：通过经济学中蛛网模型的实例讨论，介绍一类动态离散模型------差分方程模型的 建模方法. 教学要求：1 让学生学会运用差分思想建立数学模型的基本方法，进一步熟悉数学建模的基 本过程. 2使学生掌握运用解析方法或数学软件求解差分方程模型. 3帮助学生运用差分方程的平衡点及其稳定性有关理论来分析实际问题. 教学重点：1蛛网模型的图形描述，并通过建立差分方程模型对其进行理论解释. 2运用差分思想建立数学模型和求出模型解析表达式或数值解. 教学难点：1差分方程在稳定点附近有关稳定条件的实际意义. 2差分方程在稳定点附近有关稳定条件的推广. 离散状态转移模型涉及的范围很广，可以用到各种不同的数学工具.下面我们对差分方程作一简单的介绍. §7.1 差分方程 1.1 差分方程简介 规定t 只取非负整数.记t y 为变量y 在t 点的取值，则称t t t y y y -=?+1为t y 的一阶向前差分，简称差分，称t t t t t t t y y y y y y y +-=?-?=??=?+++1212 2)(为t y 的二阶差分.类似地， 可以定义t y 的n 阶差分t n y ?. 由t y t 、及t y 的差分给出的方程称为t y 的差分方程，其中含t y 的最高阶差分的阶数称为该差分方程的阶.差分方程也可以写成不显含差分的形式.例如，二阶差分方程 02=+?+?t t t y y y 也可改写成012=+-++t t t y y y . 满足一差分方程的序列t y 称为差分方程的解.类似于微分方程情况，若解中含有的独立常数的个数等于差分方程的阶数时，称此解为该差分方程的通解.若解中不含任意常数，则称此 解为满足某些初值条件的特解. 称如下形式的差分方程 )(110t b y a y a y a t n t n t n =+++-++ （1） 为n 阶常系数线性差分方程，其中n a a a ,,,10 是常数，00≠a .其对应的齐次方程为 0110=+++-++t n t n t n y a y a y a （2） 容易证明，若序列) 1(t y 与) 2(t y 均为（2）的解，则) 2(2) 1(1t t t y c y c y +=也是方程（2）的解，其 中21,c c 为任意常数.若)1(t y 是方程（2）的解，) 2(t y 是方程（1）的解，则)2()1(t t t y y y +=也是
差分方程模型的理论和方法
差分方程模型的理论和方法 第一节 差分 一、 基本概念 1、差分算子 设数列{}n x ，定义差分算子n n n x x x -=??+1:为n x 在n 处的向 前差分。 而1--=?n n n x x x 为n x 在n 处的向后差分。 以后我们都是指向前差分。 可见n x ?是n 的函数。从而可以进一步定义n x ?的差分： n n x x 2)(?=?? 称之为在n 处的二阶差分，它反映的是的增量的增量。 类似可定义在n 处的k 阶差分为： ))((1n k n k x x -??=? 2、差分算子 、不变算子、平移算子 记n n n n x Ix x Ex ==+,1，称E 为平移算子，I 为不变算子 。 则有：n n n n x I E Ix Ex x )(-=-=? I E -=?∴ 由上述关系可得： i n k i i k i k n i k i i k i k n k n k x C x E C x I E x +=-=-∑∑-=-=-=?00)1()1()( （1） 这表明n x 在n 处的k 阶差分由n x 在k n n n ++....1,，处的取值所线性决定。 反之， 由 n n n x x x -=?+1 得 n n n x x x ?+=+1： n n n n x x x x +-=?++1222，得：n n n n x x x x 2122?++-=++, 这个关系表明：第n+2项可以用前两项以及相邻三项增量的增量来表现和计算。即一个数列的任意一项都可以用其前面的k 项和包括这项在内的k+1 项增量的增量的增量……..第k 层增量所构成。 …….. ,)1(1 0k n i n k i i k i k n k x x C x ++-=-+-=?∑得： n k i n k i i k i k k n x x C x ?+--=+-=-+∑1 0)1( （2）
差分方程模型习题+答案
1. 一老人60岁时将养老金10万元存入基金会，月利率0.4%， 他每月取1000元作为生活费，建立差分方程计算他每岁末尚有多少钱？多少岁时将基金用完？如果想用到80岁，问60岁时应存入多少钱？ 分析：(1) 假设k 个月后尚有k A 元，每月取款b 元，月利率为 r ，根据题意，可每月取款，根据题意，建立如下的差分方程： 1k k A aA b +=-，其中a = 1 + r (1) 每岁末尚有多少钱,即用差分方程给出k A 的值。 (2) 多少岁时将基金用完，何时0k A =由（1）可得： 01k k k a A A a b r -=- 若0n A =，01 n n A ra b a = - (3) 若想用到 80 岁，即 n ＝(80-60)*12=240 时，2400A =，240 0240 1 A ra b a =- 利用 MA TLAB 编程序分析计算该差分方程模型，源程序如下： clear all close all clc x0=100000;n=150;b=1000;r=0.004; k=(0:n)'; y1=dai(x0,n,r,b); round([k,y1']) function x=dai(x0,n,r,b) a=1+r; x=x0; for k=1:n x(k+1)=a*x(k)-b; end (2)用MA TLAB 计算： A0=250000*(1.004^240-1)/1.004^240
思考与深入： (2) 结论：128个月即70岁8个月时将基金用完 (3) A0 = 1.5409e+005 结论：若想用到80岁，60岁时应存入15.409万元。 2. 某人从银行贷款购房，若他今年初贷款10万元，月利率0.5%，他每月还1000元。建立差分方程计算他每年末欠银行多少钱，多少时间才能还清？如果要10年还清，每月需还多少？ 分析：记第k个月末他欠银行的钱为x（k），月利率为r，且a=1+r，b为每月还的钱。则第k+1个月末欠银行的钱为 x(k+1)=a*x(k)+b，a=1+r，b=-1000，k=0，1，2… 在r=0.005 及x0=100000 代入，用MA TLAB 计算得结果。 编写M 文件如下: function x=exf11(x0,n,r,b) a=1+r; x=x0; for k=1:n x(k+1)=a*x(k)+b; end MA TLAB计算并作图: k=(1:140)'; y=exf11(100000,140,0.0005,-1000); 所以如果每月还1000元，则需要11年7个月还清。 如果要10年即n=120 还清，则模型为： r*x0*(1+r)^n/[1-(1+r)^n b=-r*x0*(1+r)^n/[1-(1+r)^n] 用MA TLAB 计算如下： >> x0=100000; >> r=0.005; >> n=120; >> b=-r*x0*(1+r)^n/[1-(1+r)^n] b= 1.1102e+003 所以如果要10年还清，则每年返还1110.2元。 3. 在某种环境下猫头鹰的主要食物是田鼠，设田鼠的年平均增长率为1r，猫头鹰的存在引起的田鼠增长率的减少与猫头鹰的数量成正比，比例系数为1a；猫头鹰的年平均减少率为
差分方程模型
差分方程模型 数学建模讲座 一、关于差分方程模型简单的例子 1. 血流中地高辛的衰减 地高辛用于心脏病。考虑地高辛在血流中的衰减问题以开出能使地高辛保持在可接受(安全而有效)的水平上的剂量处方。假定开了每日0.1毫克的剂量处方，且知道在每个剂量周期(每日)末还剩留一半地高辛，则可建立模型如下： 设某病人第n 天后血流中地高辛剩余量为n a ， 则 1.05.01+=+n n a a (一阶非齐次线性差分方程) n n n n a a a a 5.01?=?=?+ 2. 养老金问题 对现有存款付给利息且允许每月有固定数额的提款， 直到提尽为止。月利息为1℅，月提款额为1000元，则可建模型如下： 设第n 月的存款额为n a ，则 100001.11?=+n n a a (一阶非齐次线性差分方程)
3. 兔子问题（Fibonacci 数） 设第一月初有雌雄各一的一对小兔，假定两月后长成成兔，同时(即第三个月)开始,每月初产雌雄各一的一对小兔， 新增小兔也按此规律繁殖，设第n 月末共有n F 对兔子，则建模如下： ==+=??12 12 1F F F F F n n n (二阶线性差分方程初值问题) 342 3214 3 21221 1 F F F F F F F F F F ≠+=+ 注意上月新生的小兔不产兔 (因第n 月末的兔子包括两部分, 一部分上月留下的为1?n F ， 另一部分为当月新生的，而新生的小兔数=前月末的兔数) 4．车出租问题 A ， B 两地均为旅游城市，游客可在一个城市租车而在另一个城市还车。 A ， B 两汽车公司需考虑置放足够的车辆满足用车需要，以便估算成本。分析历史记录数据得出： n x ： 第n 天营业结束时A 公司的车辆数 n y ：第n 天营业结束时B 公司的车辆数 则 +=+=++n n n n n n y x y y x x 7.04.03.06.01 1 (一阶线性差分方程组) (问题模型可进一步推广)
差分方程模型理论与方法
差分方程模型的理论和方法 引言 1、差分方程：差分方程反映的是关于离散变量的取值与变化规律。通过建立一个或几个离散变量取值所满足的平衡关系，从而建立差分方程。 差分方程就是针对要解决的目标，引入系统或过程中的离散变量，根据实际背景的规律、性质、平衡关系，建立离散变量所满足的平衡关系等式，从而建立差分方程。通过求出和分析方程的解，或者分析得到方程解的特别性质（平衡性、稳定性、渐近性、振动性、周期性等），从而把握这个离散变量的变化过程的规律，进一步再结合其他分析，得到原问题的解。 2、应用：差分方程模型有着广泛的应用。实际上，连续变量可以用离散变量来近似和逼近，从而微分方程模型就可以近似于某个差分方程模型。差分方程模型有着非常广泛的实际背景。在经济金融保险领域、生物种群的数量结构规律分析、疾病和病虫害的控制与防治、遗传规律的研究等许许多多的方面都有着非常重要的作用。可以这样讲，只要牵涉到关于变量的规律、性质，就可以适当地用差分方程模型来表现与分析求解。 3、差分方程建模：在实际建立差分方程模型时，往往要将变化过程进行划分，划分成若干时段，根据要解决问题的目标，对每个时段引入相应的变量或向量，然后通过适当假设，根据事物系统的实际变化规律和数量相互关系，建立每两个相邻时段或几个相邻时段或者相隔某几个时段的量之间的变化规律和运算关系（即用相应设定的变量进行四则运算或基本初等函数运算或取最运算等）等式（可以多个并且应当充分全面反映所有可能的关系），从而建立起差分方程。或者对事物系统进行划分，划分成若干子系统，在每个子系统中引入恰当的变量或向量，然后分析建立起子过程间的这种量的关系等式，从而建立起差分方程。在这里，过程时段或子系统的划分方式是非常非常重要的，应当结合已有的信息和分析条件，从多种可选方式中挑选易
第七章线性差分方程模型的辨识
第七章线性差分方程模型的辨识 根据对过程的初步分析，可以是先提出一个结构已定的参数模型来描述过程的动态特性，而模型中有一些参数需要通过辨识来加以确定，像这样的辨识问题称为参数估计问题，最小二乘法是很常用的估计方法。 线性差分方程模型的最小二乘估计 首先讨论一种较简单的情况，即无噪声或噪声较小的情况，这样可以应用一般最小二乘估计模型参数，但是对于噪声较大的情况，采用一般最小二乘法估计通常是有偏差的，需要应用更加复杂的算法，如广义最小二乘法。 辨识问题的提法 设被辨识的动态系统，可用如下n阶常系数线性差分方程描述： y(k) + a^y(Jc—1) + ?? - a n y(k— n) = bju(k) + biu(k— 1) ---------- 卜b n u(k— n) 系统方程也写成如下算子形式： A(q_1)y(k) = B(q_1)u(k), 其中， = 14- fliQ-1 + a2q~2+ …+ 如厂"，B(q_1) = 14- bq_1 + ①厂？H ------------- F bq~n, 辨识问题的提法，已知： (1)由方程描述的系统都是稳定的。 (2)系统的阶是n阶。 (3)输入输出观测数据{u (k) },{y(k)}(k“,2,...,N+n), 要求根据上述己知条件来估计差分方程的参数： a】, b](i = 1,2, ???N + n), 参数最小二乘估计的慕本思根是，选择 b x(i = 1,2, ...N + n), 使得系统方程尽可能好的与观测数据拟合，考虑到模型误差测最误差，模型方程改为： A(q")y(k) = B(q_1)u(k) + e(k), 其中，e(約称为模型残差，乂称方程误差。 现在的问题就是决定A(q"), B(g")的系数，是e2最小 最小二乘估计 将下式 A(q_1)y(k) = B(q_1)u(k) + e(k\ 改成以下形式
差分方程模型的理论和方法
第九章 差分方程模型的理论和方法 引言 1、差分方程： 差分方程反映的是关于离散变量的取值与变化规律。通过建立一个或几个离散变量取值所满足的平衡关系，从而建立差分方程。 差分方程就是针对要解决的目标，引入系统或过程中的离散变量，根据实际背景的规律、性质、平衡关系，建立离散变量所满足的平衡关系等式，从而建立差分方程。通过求出和分析方程的解，或者分析得到方程解的 特别性质（平衡性、稳定性、渐近性、振动性、周期性等），从而把握这个离散变量的变化过程的规律，进一步再结合其他分析，得到原问题的解。 2、应用：差分方程模型有着广泛的应用。实际上，连续变量可以用离散变量来近似和逼近，从而微分方程模型就可以近似于某个差分方程模型。差分方程模型有着非常广泛的实际背景。在经济金融保险领域、生物种群的数量结构规律分析、疾病和病虫害的控制与防治、遗传规律的研究等许许多多的方面都有着非常重要的作用。可以这样讲，只要牵涉到关于变量的规律、性质，就可以适当地用差分方程模型来表现与分析求解。 3、差分方程建模： 在实际建立差分方程模型时，往往要将变化过程进行划分，划分成若干时段，根据要解决问题的目标，对每个时段引入相应的变量或向量，然后通过适当假设，根据事物系统的实际变化规律和数量相互关系，建立每两个相邻时段或几个相邻时段或者相隔某几个时段的量之间的变化规律和运算关系（即用相应设定的变量进行四则运算或基本初等函数运算或取最运算等）等式（可以多个并且应当充分全面反映所有可能的关系），从而 建立起差分方程。或者对事物系统进行划分，划分成若干子系统，在每个子系统中引入恰当的变量或向量，然后分析建立起子过程间的这种量的关系等式，从而建立起差分方程。在这里，过程时段或子系统的划分方式是非常非常重要的，应当结合已有的信息和分析条件，从多种可选方式中挑选易于分析、针对性强的划分，同时，对划分后的时段或子过程，引入哪些变量或向量都是至关重要的，要仔细分析、选择，尽量扩大对过程或系统的数量感知范围，包括对已有的、已知的若干量进行结合运算、取最运算等处理方式，目的是建立起简洁、深刻、易于求解分析的差分方程。在后面我们所举的实际例子中，这方面的内容应当重点体会。 差分方程模型作为一种重要的数学模型，对它的应用也应当遵从一般的数学建模的理论与方法原则。同时注意与其它数学模型方法结合起来使用，因为一方面建立差分方程模型所用的数量、等式关系的建立都需要其他的数学分析方式来进行；另一方面，由差分方程获得的结果有可以进一步进行优化分析、满意度分析、分类分析、相关分析等等。 第一节 差分方程的基本知识 一、 基本概念 1、 差分算子 设数列{}n x ，定义差分算子n n n x x x -=??+1:为n x 在n 处的向前差分。 而1--=?n n n x x x 为n x 在n 处的向后差分。 以后我们都是指向前差分。 可见n x ?是n 的函数。从而可以进一步定义n x ?的差分： n n x x 2)(?=?? 称之为在n 处的二阶差分，它反映的是的增量的增量。 类似可定义在n 处的k 阶差分为：
差分方程模型应用
第七章 差分方程模型 差分方程是解决离散时间问题的常用的数学方法，本章介绍几个用差分方程建立的实际问题的数学模型。 7.1个人住房抵押贷款 随着经济的发展,金融问题正越来越多地进入普通市民的生活，贷款、保险、养老金和信用卡等都涉及金融问题，个人住房抵押贷款是其中最重要的一项。1998年12月,中国人民银行公布了新的存、贷款利率水平,其中贷款利率如表7.1所列: 表7.1 中国人民银行贷款利率表 贷款期限 半年 一年 三年 五年 五年以上 利率﹪ 6.12 6.39 6.66 7.20 7.56 当贷款期处于表中所列相邻年限之间时利率为对应相邻两数中较大者。其后,上海商业银行对个人住房商业性贷款利率做出相应调整。表7.2和表7.3分别列出了上海市个人住房商业抵押贷款年利率和商业抵押贷款(万元)还款额的部分数据(仅列出了五年)。 表7.2 上海市商业银行住房抵押贷款利率表 贷款期限 一年 二年 三年 四年 五年 利率﹪ 6.12 6.255 6.390 6.525 6.660 表7.3 上海市商业银行住房抵押贷款分期付款表（元） 贷款期限 一年 二年 三年 四年 五年 月还款 一次还清 本息总和 10612.0 444.36 10664.54 305.99 11015.63 237.26 11388.71 196.41 11784.71 一个自然的问题是,表7.2和表7.3是如何依据中央人民银行公布的存、贷款利率水平制定的？ 我们以商业贷款10000元为例,一年期贷款的年利率为6.12﹪,到期一次还本付息总计10612.00元,这很容易理解。然而二年期贷款的年利率为6.255﹪,月还款数444.36元为本息和的二十四分之一,这后两个数字究竟是怎样产生的？是根据本息总额算出月还款额，还是恰好相反？让我们稍微仔细一些来进行分析。由于贷款是逐月归还的,就有必要考察每个月欠款余额的情况。 设贷款后第k 个月时欠款余额为k A 元，月还款m 元,则由k A 变化到1k A +,除了还款额外,还有什么因素呢？无疑就是利息。但时间仅过了一个月,当然应该是月利率,设为r ,从而得到 1k k k A A rA m +-=-
差分方程模型习题+答案
1. 一老人 60 岁时将养老金 10 万元存入基金会，月利率 0.4%， 他每月取 1000 元作为生活 费，建立差分方程计算他每岁末尚有多少钱？多少岁时将基金用完？如果想用到 80 岁，问 60 岁时应存入多少钱？ 分析： (1) 假设 k 个月后尚有 A k 元，每月取款 b 元，月利率为 r ，根据题意，可每月取款， 根据题意，建立如下的差分方程： A k 1 aA k b ，其中 a = 1 + r 每岁末尚有多少钱 ,即用差分方程给出 A k 的值。 (2) 多少岁时将基金用完，何时 A k 0 由（ 1）可得： A A a k b a k 1 k 0 r n 若 A n 0 ， b A 0 ra n a1 (3) 若想用到 80 岁，即 n ＝ (80-60)*12=240 时， A 240 0 ， b A 0 ra 240 (1) 240 利用 MATLAB 编程序分析计算该差分方程模型，源程序如下： clear all close all clc x0=100000;n=150;b=1000;r=0.004; k=(0:n)'; y1=dai(x0,n,r,b); round([k,y1']) function x=dai(x0,n,r,b) a=1+r; x=x0; for k=1:n x(k+1)=a*x(k)-b; end (2) 用 MATLAB 计算： A0=250000*(1.004^240-1)/1.004^240 a 1
思考与深入： (2)结论： 128 个月即 70 岁 8 个月时将基金用完 (3)A0 = 1.5409e+005 结论：若想用到80 岁， 60 岁时应存入15.409 万元。 2.某人从银行贷款购房，若他今年初贷款10 万元，月利率 0.5%，他每月还 1000 元。建立 10 年还清，每月需还多差分方程计算他每年末欠银行多少钱，多少时间才能还清？如果要 少？ 分析：记第k 个月末他欠银行的钱为 x（ k），月利率为r，且a=1+r，b 为每月还的钱。则第k+1 个月末欠银行的钱为 x(k+1)=a*x(k)+b，a=1+r，b=-1000，k=0，1，2? 在r=0.005 及 x0=100000 代入，用 MATLAB 计算得结果。 编写M文件如下: function x=exf11(x0,n,r,b) a=1+r; x=x0; for k=1:n x(k+1)=a*x(k)+b; end MATLAB 计算并作图 : k=(1:140)'; y=exf11(100000,140,0.0005,-1000); 所以如果每月还1000 元，则需要11 年 7 个月还清。 如果要 10 年即 n=120 还清，则模型为： r*x0*(1+r)^n/[1-(1+r)^n b=-r*x0*(1+r)^n/[1-(1+r)^n] 用MATLAB 计算如下： >>x0=100000; >>r=0.005; >>n=120; >>b=-r*x0*(1+r)^n/[1-(1+r)^n] b= 1.1102e+003 所以如果要10 年还清，则每年返还1110.2 元。 3. 在某种环境下猫头鹰的主要食物是田鼠，设田鼠的年平均增长率为r1，猫头鹰的存在引起的田鼠增长率的减少与猫头鹰的数量成正比，比例系数为a1；猫头鹰的年平均减少率为
数学建模常用算法和模型全集
数学建模相关资料一、常用书籍与网站 ?（一）、常用书籍： ?1,姜启源，数学模型（第三版），北京：高等教育出版社， ?2,谢金星，薛毅编着，优化建模与LINDO/LINGO软件，北京：清华大学出版社 ?3,《运筹学》教材编写组，运筹学（修订版），北京：清华大学出版社 ?4,韩中庚，数学建模方法及其应用，北京：高等教育出版社 ?（二）、常用网站 ?1,高教杯数学建模竞赛官网 ?2,国防科大 ?3,数学中国论坛 ?4,chxue.cui《长虹雪苑》之数学建模天地 ?5,百度：西南交大数学建模精品课程（我校四川省数学建模精品课程网站） 二、常用模型 ?（一）、评价模型： ?AHP(层次分析法)、模糊评价、聚类分析、因子分析、主成份分析、回归分析、神经网络、多指标综合评价、熵值法等 ?（二）、预测模型： ?指数平滑法、灰色预测法、回归模型、神经网络预测、时间序列模型、马尔科夫预测、差分微分方程?（三）、统计模型： ?方差分析、均值比较的假设检验 ?（四）、方程模型： ?常微分方程、差分方程、偏微分方程、以及各种方程的求解（数值解和解析解） ?（五）运筹优化类： ?线性规划、非线性规划、目标规划、整数规划、图论模型（最短路、最大流、遍历问题等）、排队论、对策论、以及各种模型的算法 ?(六)其他模型： ?随机模拟模型、等 三、十大算法 1、蒙特卡罗算法（该算法又称随机性模拟算法，是通过计算机仿真来解决问题的算法，同时可以通过模拟可以来检验自己模型的正确性，是比赛时必用的方法） 2、数据拟合、参数估计、插值等数据处理算法（比赛中通常会遇到大量的数据需要处理，而处理数据的关键就在于这些算法，通常使用Matlab作为工具） 3、线性规划、整数规划、多元规划、二次规划等规划类问题（建模竞赛大多数问题属于最优化问题，很多时候这些问题可以用数学规划算法来描述，通常使用Lindo、Lingo软件实现） 4、图论算法（这类算法可以分为很多种，包括最短路、网络流、二分图等算法，涉及到图论的问题可以用这些方法解决，需要认真准备） 5、动态规划、回溯搜索、分治算法、分支定界等计算机算法（这些算法是算法设计中比较常用的方法，很多场合可以用到竞赛中） 6、最优化理论的三大非经典算法：模拟退火法、神经网络、遗传算法（这些问题是用来解决一些较困难的最优化问题的算法，对于有些问题非常有帮助，但是算法的实现比较困难，需慎重使用） 7、网格算法和穷举法（网格算法和穷举法都是暴力搜索最优点的算法，在很多竞赛题中有应用， 当重点讨论模型本身而轻视算法的时候，可以使用这种暴力方案，最好使用一些高级语言作为编程工具） 8、一些连续离散化方法（很多问题都是实际来的，数据可以是连续的，而计算机只认的是离散的数据，因此将其离散化后进行差分代替微分、求和代替积分等思想是非常重要的） 9、数值分析算法（如果在比赛中采用高级语言进行编程的话，那一些数值分析中常用的算法比如方程组求解、矩阵运算、函数积分等算法就需要额外编写库函数进行调用） 10、图象处理算法（赛题中有一类问题与图形有关，即使与图形无关，论文中也应该要不乏图片的，这些图形如何展示以及如何处理就是需要解决的问题，通常使用Matlab进行处理）
差分方程模型
差分方程模型 一、引言 数学模型按照离散的方法与连续的方法, 可以分为离散模型与连续模型。 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Λ,则
差分方程附其建模举例
差分方程模型的理论和方法 1、差分方程：差分方程反映的是关于离散变量的取值与变化规律。通过建立一个或几个离散变量取值所满足的平衡关系，从而建立差分方程。 差分方程就是针对要解决的目标，引入系统或过程中的离散变量，根据实际背景的规律、性质、平衡关系，建立离散变量所满足的平衡关系等式，从而建立差分方程。通过求出和分析方程的解，或者分析得到方程解的特别性质（平衡性、稳定性、渐近性、振动性、周期性等），从而把握这个离散变量的变化过程的规律，进一步再结合其他分析，得到原问题的解。 2、应用：差分方程模型有着广泛的应用。实际上，连续变量可以用离散变量来近似和逼近，从而微分方程模型就可以近似于某个差分方程模型。差分方程模型有着非常广泛的实际背景。在经济金融保险领域、生物种群的数量结构规律分析、疾病和病虫害的控制与防治、遗传规律的研究等许许多多的方面都有着非常重要的作用。可以这样讲，只要牵涉到关于变量的规律、性质，就可以适当地用差分方程模型来表现与分析求解。 3、差分方程建模：在实际建立差分方程模型时，往往要将变化过程进行划分，划分成若干时段，根据要解决问题的目标，对每个时
段引入相应的变量或向量，然后通过适当假设，根据事物系统的实际变化规律和数量相互关系，建立每两个相邻时段或几个相邻时段或者相隔某几个时段的量之间的变化规律和运算关系（即用相应设定的变量进行四则运算或基本初等函数运算或取最运算等）等式（可以多个并且应当充分全面反映所有可能的关系），从而建立起差分方程。或者对事物系统进行划分，划分成若干子系统，在每个子系统中引入恰当的变量或向量，然后分析建立起子过程间的这种量的关系等式，从而建立起差分方程。在这里，过程时段或子系统的划分方式是非常非常重要的，应当结合已有的信息和分析条件，从多种可选方式中挑选易于分析、针对性强的划分，同时，对划分后的时段或子过程，引入哪些变量或向量都是至关重要的，要仔细分析、选择，尽量扩大对过程或系统的数量感知范围，包括对已有的、已知的若干量进行结合运算、取最运算等处理方式，目的是建立起简洁、深刻、易于求解分析的差分方程。在后面我们所举的实际例子中，这方面的内容应当重点体会。 差分方程模型作为一种重要的数学模型，对它的应用也应当遵从一般的数学建模的理论与方法原则。同时注意与其它数学模型方法结合起来使用，因为一方面建立差分方程模型所用的数量、等式关系的建立都需要其他的数学分析方式来进行；另一方面，由差分方程获得的结果有可以进一步进行优化分析、满意度分析、分类分析、相关分析等等。
差分方程人口预测模型
1 差分方程人口预测模型 一、名词和符号说明 名词解释： （1）拟合: 对于某个变化过程中的多个相互依赖的变量，可建立适当的数学模型，用于分析预报决策或控制该过程.对于两个变量可通过用一个一元函数去模拟这两个变量的取值.用不同的方法可得到不同的模拟函数.下面使用图表介用Mathematica 做曲线拟合。 （2）差分方程:含有自变量，未知函数以及未知函数差分的函数方程，称为差分方程。 （3）迭代法:是牛顿在17世纪提出的一种求解方程f(x)=0.多数方程不存在求根公式，从而求精确根非常困难，甚至不可能，从而寻找方程的近似根就显得特别重要。 设r 是f(x)=0的根，选取x0作为r 初始近似值，过点（0x ,f(0x )）做曲线y=f(x)的切线L ，L 的方程为))(()(000x x x f x f y -'+=,求出L 与x 轴交点的横坐标 ) () (0001x f x f x x '- =,称1x 为r 的一次近似值，过点（1x ,f(1x )）做曲线y=f(x)的切线，并求该切线与x 轴的横坐标) () (1112x f x f x x '- =称2x 为r 的二次近似值，重复以上过程，得r 的近似值序列{Xn},其中) () (11n n n n X f X f X X '-=++, 称为r 的n+1次近似值。上式称为牛顿迭代公式。 符号说明： )(k x i 第 k 年i 岁的女性总人数 )(k x 女性人口的（按年龄）分布向量 )(k b i 第k 年i 岁的女性生育率 i d 第k 年i 岁的女性死亡率 i s 第 k 年i 岁的女性存活率 i 岁女性的生育模式 )β(k k 年总和生育率（控制人口数量的主要参数） i h
算法大全第16章_差分方程模型
-192- 第十六章 差分方程模型 离散状态转移模型涉及的范围很广，可以用到各种不同的数学工具。下面我们对差分方程作一简单的介绍，下一章我们将介绍马氏链模型。 §1 差分方程 1.1 差分方程简介 规定t 只取非负整数。记t y 为变量y 在t 点的取值，则称t t t y y y ?=Δ+1为t y 的一阶向前差分，简称差分，称t t t t t t t y y y y y y y +?=Δ?Δ=ΔΔ=Δ+++1212 2)(为t y 的二阶差分。类似地，可以定义t y 的n 阶差分t n y Δ。 由t y t 、及t y 的差分给出的方程称为t y 的差分方程，其中含t y 的最高阶差分的阶数称为该差分方程的阶。差分方程也可以写成不显含差分的形式。例如，二阶差分方程 02=+Δ+Δt t t y y y 也可改写成012=+?++t t t y y y 。 满足一差分方程的序列t y 称为差分方程的解。类似于微分方程情况，若解中含有 的独立常数的个数等于差分方程的阶数时，称此解为该差分方程的通解。若解中不含任意常数，则称此解为满足某些初值条件的特解。 称如下形式的差分方程 )(110t b y a y a y a t n t n t n =+++?++L （1） 为n 阶常系数线性差分方程，其中n a a a ,,,10L 是常数，00≠a 。其对应的齐次方程为 0110=+++?++t n t n t n y a y a y a L （2） 容易证明，若序列) 1(t y 与) 2(t y 均为（2）的解，则)2(2) 1(1t t t y c y c y +=也是方程（2）的 解，其中21,c c 为任意常数。若) 1(t y 是方程（2）的解，) 2(t y 是方程（1）的解，则 )2()1(t t t y y y +=也是方程（1）的解。 方程（1）可用如下的代数方法求其通解： （I ）先求解对应的特征方程 001 10=+++?a a a n n L λ λ （3） （II ）根据特征根的不同情况，求齐次方程（2）的通解。 （i ）若特征方程（3）有n 个互不相同的实根n λλ,,1L ，则齐次方程（2）的通解为 t n n t c c λλ++L 11 （n c c ,,1L 为任意常数） （ii ）若λ是特征方程（3）的k 重根，通解中对应于λ的项为t k k t c c λ)(1 1?++L ， ),,1(k i c i L =为任意常数。 （iii ）若特征方程（3）有单重复根 i βαλ±=，通解中对应它们的项为 t c t c t t ?ρ?ρsin cos 21+，其中22βαρ+=为λ的模，α β ?arctg =为λ的幅角。 （iv ）若i βαλ±=是特征方程（3）的k 重复根，则通解对应于它们的项为 t t c c t t c c t k k k t k k ?ρ?ρsin )(cos )(12111?+?+++++L L