二阶齐次线性递推通项公式的寻找
前置技能:斐波那契数列与二阶线性递推
斐波那契数列 f(n) 是递归定义的:
f(n)=f(n−1)+f(n−2),n≥2
其中 f(0)=0,f(1)=1 。如果使用艾弗森约定处理分段,可以用一个公式统一:
f(n)=f(n−1)+f(n−2)+[n=1]
一般地,一个二阶线性递推式被递归地定义:
g(n)=αg(n−1)+βg(n−2),n≥2
其中 g(0)=λ,g(1)=μ 。同样地,使用艾弗森约定可以变形为:
g(n)=αg(n−1)+βg(n−2)+λ[n=0]+(μ−λα)[n=1]
容易证明这两种表达形式具有等价性。
技术:生成函数
一个数列 g(n) 的生成函数为 G(n)=⟨g(