第3章差分方程方法.docxVIP

第三章 差分方程方法 在实际问题中， 许多事物所研究的变量都是离散的形式， 所建立的数学模型也是离散的，比如政治、经济和社会等领域中的实际问题。很多时候，即使所建 立的数学模型是连续形式， 例如象常见的微分方程模型、 积分方程模型等， 但是往往因为不能求解析解， 而需要用计算机求数值解。 这要求将连续变量在一定的条件下进行离散化， 从而将连续模型转化为离散模型， 最后归结为求离散形式的差分方程的问题。 关于差分方程研究和求解方法在建立数学模型、 解决实际问题的过程中起着重要的作用。 3.1 差分方程和常系数线性差分方程 3.1.1 差分和差分方程的概念 定义 3.1 设函数 y f (x) , 记为 yx . 当 x 取遍所有的非负整数时 , 函数 值可以排成一个数列 : y0 , y1 , y2 , , yx , . 则差 y x 1 yx 称为函数 y x 的差 分, 也称为一阶差分 , 记为 y x , 即 yx y x 1 yx . 容易验证差分具有如下性质 : (1) (cy x ) c yx ; (2) ( yx zx ) yx zx . 又 ( yx ) y x 1 y x ( yx 2 yx 1 ) ( yx 1 yx ) yx 2 2 yx 1 yx : 2 yx 称为函数 yx 的二价差分 , 类似地 , 可以定义三阶、四阶差分 . 定义 2.2 含有未知函数差分或表示未知函数几个时期值的符号的方程称为差分方程 , 如 F ( x, yx , yx 1 , y x 2 , , y x n ) 0; G( x, y x , y x 1 , yx 2 , , yx n ) 0; H ( x, y x , yx , 2 yx , , n yx ) 0. 差分方程中所含未知函数差分的最高阶数称为此差分方程的阶 . 如果差分方程中关于未知函数及未知函数的各阶差分都是线性函数 , 就称此方程为线性的 . 如果一个函数代入差分方程后 , 方程恒成立 , 则这个函数称为该差分方程的解 . 3.1.2 常系数齐次线性差分方程 考虑常系数 k 阶线性差分方程 yn a1 yn 1 a2 yn 2 ak yn k 0 . (3.1) 称代数方程 k k 1 ak 1ak 0 . (3.2) a1 为方程 (3.1) 的特征方程 , 特征方程的根称为特征根 . 常系数线性差分方程的解可根据相应的特征根的情况给出 . 下面 分别由特征根为单根、重根和复根的情况写出差分方程的解的情况。 单根的情况 设特征方程 (3.2) 有 k 个相异的特征根 1 , 2 , , k , 则差分方程 (3.1) 的通解为 yn c1 1n c2 2 n ck k n , 其中 c1 ,c2 , ,ck 为任意的常数 . 2. 重根的情况 设特征方程 (3.2) 有 l 个相异重根 1 , 2 , , l (1 l k ) , 它们的重数 分别为 m1, m2 , , ml , l k . 则差分方程 (2.1) 的通解为 mi i 1 m1 i 1 n m2 i 1 n m1l i 1 n . yn c1i n c2i n cli n 1 2 l i 1 i 1 i 1 单复根的情况 设  1, 2  i  为特征方程的一对单复根  ,  它对应的差分方程的解 为 c1  n  cosn  c2  n  sin n  (  2  2  ,  arctan  ). 特别地 ,  一阶、二阶线性齐次差分方程的通解情况如下  : (1) 一阶差分方程  yn 1  ay n  0 的通解为 yn  can . (2) 对于二阶线性差分方程 yn 2 ay n 1 by n 0 , 设其特征方程 2 a b 0 的特征根为 1, 2 . 当 a 2 4b 0 , 1 2 , 1 , 2 R 时, 通解为 yn c1 1 n c2 2 n ; 当 a 2 4b 0 , 1, 2 a 时, 通解为 yn (c1 c2 n)( a ) n ; 2 2 当 a2 4b 0 , 1,2 i 时 , 通解为 yn n (c1 cosn c2 sin n ) ( 其中 2 2 , arctan ). 3.1.3 常系数非齐次线性差分方程 对于常系数非齐次线性差分方程 yn a1 yn 1 a2 yn 2ak yn k f ( n) , (3.3) 其通解为 yn Yn yn* , 在这里 Yn 为相应的齐次方程的通解 , yn* 为方程 (3.3)