差分方程().docVIP

差分方程 对连续型变量而言，我们常常回到微分方程的问题。对离散型变量将导致一类的问题。 一、差分的定义 定义：设是一个函数，自变量从变化到，这时函数的增量记为，我们称这个量为在点步长为1的一阶差分，简称为的一阶差分。为了方便我们也记，即 。 称为的二阶差分，简记为。 同样记为，并称为三阶差分。 一般记，称为n阶差分，且有。 性质：当是常数，和是函数时， （1）； （2）； （3）； （4）； （5），（其中，）。 例1：已知，求。 解：。 特别，当为正整数时，，阶数降了一阶。 推论：若为正整数且时，为次多项式，则。 例2：已知，求。 解：。 二、差分方程 定义：设是含有未知函数差分的等式，称为差分方程。 它的一般形式为 或 ， 其中是表达式，是自变量。使等式成立自变量的取值范围称为该方程的定义域。形如的方程，也称为阶差分方程。为方程的阶。形如 （1） 称为阶线性差分方程。时为齐次的。时为非齐次的。 差分方程是含有未知函数及其差分的方程，满足该方程的函数称为差分方程的解。对于一阶差分方程来说，它的含有一个任意常数的解，称为此差分方程的通解。一般来说，对于n阶差分方程，其含有n个互相独立的任意常数的解称为差分方程的通解。不含有任意常数的解称为差分方程的特解．同微分方程一样也有初值问题。初值条件也有如下情形：一阶的如：。二阶的如：，等等。 对于线性差分方程的解的结构有如下结论： 定理1：如果和都是齐次差分方程 的解，则对任意常数，，也是它的解． 定理2：设，是齐次差分方程 的个线性无关的特解，则是它的通解。 定理3：设，是齐次方程 的个线性无关的特解，是非齐次方程 的一个特解，则是非齐次方程的通解。 定理4：设，是方程 的解，是方程 的解，则是方程 的解。 本书着重研究一阶和二阶常系数的差分方程。 三、一阶常系数的差分方程 一阶常系数的差分方程是 ，（常数） （a）当，设是其齐次方程的解，即 所以。那么有通解 （为任意常数） 例1：求差分方程的通解。 解：事实上原方程是所以其通解为 （为任意常数）。 （b）当，用待定系数法求其特解。 （1）如果（次多项式），则非齐次方程为 。 ① 若（1是特征根），即 ，那么可以是次多项式，相减时常数项和最高次数相被消去，所以可以设 代入方程后，比较系数确定便得到一个特解。 ② 若（1不是特征根），最高次数相不可能被消去，所以可以设有特解 同样代入方程后，比较系数确定便得到一个特解。 （2） 如果（是次多项式，是常数），则非齐次方程为 为了求之一个特解，分两步： 第一步，令 ，代入方程得 ， 它等价于 第二步，用（1）的方法。 总之，对这种情况，可以直接设其特解为，其中， 当时（不是特征根），； 当时（是特征根），。 代入方程后，比较系数确定便得到一个特解。 （3） 如果（是实常数），则有 当不是其特征方程的特征根时，特解为，为待定系数； 当是其特征方程的特征根时，特解为，为待定系数。 代入方程后，比较系数确定或便得到一个特解。 （4） 如果，或，或（是实常数且），可以设有特解 同样代入方程后，比较系数确定便得到一个特解。 （5）如果（是实常数且，是其模），可以设有特解 同样代入方程后，比较系数确定便得到一个特解。 例2：求差分方程 的通解。 解：显然其齐次方程的通解为（C为任意常数）。 设其特解为，所以有，从而得。 因此，原方程的通解为。 表１ 一阶常系数线性非齐次差分方程的特解求解公式 的形式 特解的形式 与方程系数的关系 是次多项式 （1不是特征根） （1是特征根） 是次多项式 （不是特征根） （是特征根） 是实数 ， 为待定系数 不是特征根 ， 为待定系数 是特征根 ， 或， 或 四、二阶常系数的差分方程 这里讨论的是这样的方程：（是常数）。先给结论。 定理：是方程 （2） 的解的充分必要条件r为方程 （3） 的根（证明略）。 （3）式称为原方程的特征方程。下面分步讨论： （1）当： ① 如果 ，即其特征方程有两个不同实根，记为。注意到是线性无关的，所以齐次差分方程（2）有通解（是任意常数）。 ② 如果，即其特征方程有两个相同实根，记为。可以验证是齐次差分方程（2）的线性无关的特解。所以（是任意常数）是齐次差分方程（2）的通解。 ③ 如果 ，因是实数，即其特征方程有两互为共轭的复根，记为，将其转化为三角形式 则，即。可以验证 是齐次差分方程（2）的特解。还可以证明 也是齐次差分方程（2）的线性无关的特解。所以 （是任意常数） 是齐次差分方