递归方程组解的渐进阶的求法——差分方程法

递归方程组解的渐进阶的求法——差分方程法

这里只考虑形如：

T(n)=c₁T(n-1)+c₂T(n-2)+…+ c_kT(n-k)+f(n)，n≥k (6.18)

的递归方程。其中c_i (i=l，2，…，k)为实常数，且c_k≠0。它可改写为一个线性常系数k阶非齐次的差分方程：

T(n)-c₁T(n-1)- c₂T(n-2)-…-c_kT(n-k)=f(n)，n≥k (6.19)

(6.19)与线性常系数k阶非齐次常微分方程的结构十分相似，因而解法类同。限于篇幅，这里直接给出(6.19)的解法，略去其正确性的证明。

第一步，求(6.19)所对应的齐次方程：

T(n)-c₁T(n-1)- c₂T(n-2)-…-c_kT(n-k)=0 (6.20)

的基本解系：写出(6.20)的特征方程：

C(t)=t^k-c₁t^k-1-c₂t^k-2 -…-c_k=0 (6.21)

若t=r是(6.21)的m重实根，则得(6.20)的m个基础解rⁿ，nrⁿ，n²rⁿ，…，n^m-1rⁿ；若ρe^iθ和ρe^-iθ是(6.21)的一对l重的共扼复根，则得(6.20)的2l个基础解ρⁿcosnθ，ρⁿsinnθ，nρⁿcosnθ，nρⁿsinnθ，…，n^l