第章差分方程.pptVIP

差分方程 可以表示为 其中 用滞后算子解差分方程 例1：考虑一阶差分方程 其中 。 利用滞后算子L，式（1.17）可表示为 （1.17） （1.78） 于是，解得 （1.79） 因为 ，所以 因为 ，所以 联合上面两式和式（1. 79），得到式(1.17）的特解 （1.21） 例2：考虑一阶差分方程 其中 。 利用滞后算子L，式（1.67）可表示为 （1.67） 于是 （1.80） 因此解得 例3：考虑一阶差分方程 其中 。此时， 实际上发散。例1的方法失效。 利用性质6，则 例如二阶方程 高阶方程中的滞后算子 n 阶差分方程 可以表示为 或 可表示为 注1：差分方程算子表示的一般模型 注2：差分方程的解也可以表示为前向形式（如例3），但前向的未来值还未发生，不能被直接观察到，所以它只具有理论意义，实际意义不大。 情形2：判别式 此时，a1和a2为两个重根，即 其中，A1和A2为任意常数。 显然，当 |a1|≥2时，解就发散；当 |a1| 2时，解就收敛。 除了 是一个解之外，可以验证 是另一个解。于是，得到了齐次解 情形3：判别式 此时 ，a1和a2为两个共轭的虚数特征根，即 这里， 。 则 注意齐次解的表达式为 (1.48*) 令 ，选择 ，使得满足 由de Moivre定理知 因 是实数， 是复数，所以 必为复数，假设 其中， 均为任意实数。 于是，可以计算出 从齐次解的表达式(1.48*) ，可得 由于 是任意常数，所以可以将齐次解写成 其中， 均为任意实数。 （1.49） 三角函数表达式说明了齐次解（1.49）在时间路径上像波浪一样，其波动频率取决于 的大小。 而解的稳定性则由 的值是否小于 1 或 是否大于 －1 所决定。 例： 其判别式 所以，其齐次解为 其中， 均为任意实数。 于是，对于二阶差分方程 可得齐次解 （1.49） 当 ，即 ，则波动的增幅不变； 当 ，即 ，则波动呈递减趋势； 当 ，即 ，则波动呈发散趋势； 由于 ，所以 取 的齐次解 的齐次解 随着 的值增大，波动的频率加快。 稳定性条件及其图示 情形2的稳定性条件为弧线 AOB，即 情形1的稳定性条件在AOB的上面，即 它等价于 且 情形3的稳定性条件在AOB的下面，即 ，且 ，且 即 等号成立等价于1是一个特征根或常数解 的情形。 高阶方程 假设每一个齐次解具有形式 ，其中A为任意常数。代入（1.55），得到 （1.56） 考虑 n 阶齐次方程 （1.55） 两边除以 ，得到特征方程 （1.57） n 阶多项式有n个根，记这n个特征根分别为 。 可以为实数或复数。复数根则成对出现，相互共轭。 稳定性条件要求除了为1的单特征根（对应常数解），其它特征根的绝对值都小于1或在单位园之内；否则解将发散。 所有特征根都是相异实根，此时，解的表达式为 其中， 为任意常数。给定n个初始条件，则可以确定它们的具体取值。 （1.57*） 齐次解的表达式 所有特征根都是实根，但有 个重根。不妨设 其中， 为任意常数。特别地， 或 。 假设互不相同的特征根有s个，则齐次方程的通解就等于这 s 个不同特征根所产生的解之和，其中含有n个参数。给定n个初始条件，就可以确定这 n个参数的具体取值。 于是，这m个重根所产生的解可以写为 一些特征根为复根，此时它们共轭出现，记一对共轭根为 其中， 为任意常数。转换为极坐标，则可以写成 于是，齐次差分方程的通解就等于所有不同实或