第3章 差分方程方法.docVIP

第三章 差分方程方法 在实际问题中，许多事物所研究的变量都是离散的形式，所建立的数学模型也是离散的，比如政治、经济和社会等领域中的实际问题。很多时候，即使所建立的数学模型是连续形式，例如象常见的微分方程模型、积分方程模型等，但是往往因为不能求解析解，而需要用计算机求数值解。这要求将连续变量在一定的条件下进行离散化，从而将连续模型转化为离散模型，最后归结为求离散形式的差分方程的问题。关于差分方程研究和求解方法在建立数学模型、解决实际问题的过程中起着重要的作用。 3.1 差分方程和常系数线性差分方程 3.1.1 定义3.1 设函数, 记为. 当取遍所有的非负整数时, 函数值可以排成一个数列: . 则差称为函数的差分, 也称为一阶差分, 记为, 即 . 容易验证差分具有如下性质: (1) ; (2) . 又 称为函数的二价差分, 类似地, 可以定义三阶、四阶差分. 定义2.2 含有未知函数差分或表示未知函数几个时期值的符号的方程称为差分方程, 如 差分方程中所含未知函数差分的最高阶数称为此差分方程的阶. 如果差分方程中关于未知函数及未知函数的各阶差分都是线性函数, 就称此方程为线性的. 如果一个函数代入差分方程后, 方程恒成立, 则这个函数称为该差分方程的解. 3.1.2 常系数齐次 考虑常系数阶线性差分方程 . (3.1) 称代数方程 . (3.2) 为方程(3.1)的特征方程, 特征方程的根称为特征根. 常系数线性差分方程的解可根据相应的特征根的情况给出. 下面分别由特征根为单根、重根和复根的情况写出差分方程的解的情况。 1.单根的情况 设特征方程(3.2)有个相异的特征根, 则差分方程(3.1)的通解为 , 其中为任意的常数. 2. 重根的情况 设特征方程(3.2)有个相异重根, 它们的重数分别为, .则差分方程(2.1)的通解为 . 3. 单复根的情况 设为特征方程的一对单复根, 它对应的差分方程的解为 (). 特别地, 一阶、二阶线性齐次差分方程的通解情况如下: 一阶差分方程的通解为 . (2) 对于二阶线性差分方程, 设其特征方程 的特征根为. 当, , 时, 通解为; 当, 时, 通解为; 当, 时, 通解为 (其中). 3.1.3常系数非齐次线性差分方程 对于常系数非齐次线性差分方程 , (3.3) 其通解为, 在这里为相应的齐次方程的通解, 为方程(3.3)的一个特解. 下面我们给出几个关于一阶、二阶差分方程解的例子. (1) . 通解为(其中, 为任意常数), 或(). (2) . 当时, 通解为;当时, 通解为. (3) . 可设方程有特解, 其中待定; 当时, ; 当时, . 将这个特解代入方程, 比较两端同次项系数来确定. (4) . (i)当时, 特解为; (ii)当, 且时, 特解为; (iii)当, 且时, 特解为. (5) . (i)当时, 特解为; (ii)当, 且时, 特解为; (iii)当, 且时, 特解为. (6) 可设方程有特解, 其中待定; 当时, ; 当, 且时, ;当, 且时, .将这个特解代入方程, 比较两端同次项系数来确定. 3.2 差分方程的平衡点及其稳定性 3.2.1一阶常系数线性差分方程 考虑一阶常系数线性差分方程 , (3.4) 当时, 方程(3.4)的平衡点可由代数方程求得, 即. 如果, 则称平衡点为稳定的, 否则就是不稳定的. 方程(3.4)的稳定性问题可通过变换()转化为齐次差分方程的平衡点的稳定性问题. 而由差分方程的解可知, 其平衡点是稳定的充要条件为. 因此, 方程(3.4)的平衡点是稳定的充要条件为. 3.2.2 考虑一阶常系数线性齐次差分方程组 , (3.5) 其中为维向量, 为阶常值方阵. 它的平衡点为. 方程(3.5)的平衡点是稳定的充分必要条件是的所有特征根的绝对值小于,即 (). 对于一阶常系数线性非齐次差分方程组 这里, 为维向量. 其平衡点由线性方程组给出, 平衡点的稳定性同样为的所有特征根的绝对值小于. 3.2.3二阶常系数线性差分方程 考虑二阶常系数齐次线性差分方程 . 其中为常数, 其的平衡点是稳定的充分必要条件是它的特征方程 的根满足(). 对于二阶常系数非齐次线性差分方程, 其平衡点的稳定性有相同的结果. 3.2.4一阶非线性差分方程 考虑一阶非线性差分方程 . (3.6) 它的平衡点由方程求得. 方程(3.6)的近似线性方程为 .