版权声明:All rights reserved. https://blog.csdn.net/qq_42814118/article/details/83003826
之前归纳了一波数列,这里补充一个用于求形如
an=p an−1+q an−2 的通项的方法。
(上面这样的递推式可被称作“二阶线性齐次常系数递推式”的特殊情况)
例题
有一数列
{an},
a1=x,
a2=y,且
∀ n≥3,都有
an=pan−1+qan−2。求该数列的通项公式。
解
不难想象这种线性递推式的答案都是指数形式的。
我们知道一阶线性递推式推出来一定会有一个指数项。那二阶递推式出来是不是会有两个指数项呢?
答案是肯定的,递推式一定能表示为
an=c1r1n−1+c2r2n−1。这里给结论给的比较突兀,严格证明限于编者能力暂时没法给出 ,但是读者可以想象:对递推式的两个项不断迭代,一个迭代到
a1,一个迭代到
a2,这样这两个项一定齐次,且次数与
n 同阶。
现在问题就是求描述中的常数。我们利用类似待定系数的思想先将该式代入递推式:
c1r1n+c2r2n=pc1r1n−1+pc2r2n−1+qc1r1n−2+qc2r2n−2
c1r1n−2(r12−pr1−q)+c2r2n−2(r22−pr2−q)=0 、
要使原式成立,必然要求
r12−pr1−q=0 且
r22−pr2−q=0,即
r1、r2 为方程
x2−px−q=0
的两根。
我们把上述方程称作原递推式的 特征方程 。
然后我们又有
a1=c1+c2=x,
a2=c1r1+c2r2=y,
此时
r1、r2 已知,所以
c1、c2 可求,这样我们就求完了。
补充说明
我们可以从矩阵的观点来看,由递推式子我们可以得到转移矩阵:
(图片来自 http://tieba.baidu.com/p/3820580861 @lgy_hello_life,侵权请联系笔者删除)
这个矩阵的特征多项式即为
x2=px+q。