第1章++差分方程.ppt

情形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个重根所产生的解可以写为 一些特征根为复根，此时它们共轭出现，记一对共轭根为 其中， 为任意常数。转换为极坐标，则可以写成 于是，齐次差分方程的通解就等于所有不同实或复特征根所产生的解之和；其中含有n个参数。给定n个初始条件，就可以确定这 n个参数的具体取值。 ，则由这对共轭根所产生的解为 其中， 为任意常数。 所有特征根都位于单位圆内的必要条件为 稳定性判别条件 所有特征根都位于单位圆内的充分条件为 若 ，则至少有一个特征根等于1。 包含一个或多个等于1的特征根序列称为单位根序列。此时，n 阶差分方程（1.10）的解可能发散或不稳定。 对于三阶方程，稳定性条件可以写为 后两个式子中的任何一个可由其它四个式子导出。 由特征方程 ，可得 1.7* 求确定性过程的特解 情形1： xt = 0 此时，差分方程的形式为 令解的形式为常数，即 （1.58） 代入到（1.58）之中，得到 寻找特解需要技巧，跟推动过程{xt}的具体形式有关。 本节介绍推动过程{xt}为确定性项的求特解方法。 所以 （1.59） 只要 ，则得到（1.58）一个特解 如果 ，则{yt}是一个单位根序列， 其齐次解