二阶齐次线性递推通项公式的寻找

二阶齐次线性递推通项公式的寻找

---

前置技能：斐波那契数列与二阶线性递推

斐波那契数列$f(n)$是递归定义的：

$$f(n)=f(n-1)+f(n-2), n\ge 2$$

其中$f(0) = 0, f(1) = 1$。如果使用艾弗森约定处理分段，可以用一个公式统一：

$$f(n)=f(n-1)+f(n-2)+[n=1]$$

一般地，一个二阶线性递推式被递归地定义：

$$g(n) = \alpha g(n-1)+\beta g(n-2), n\ge 2$$

其中$g(0) = \lambda, g(1) = \mu$。同样地，使用艾弗森约定可以变形为：

$$g(n)=\alpha g(n-1)+\beta g(n-2)+\lambda [n=0]+(\mu-\lambda \alpha)[n=1]$$

容易证明这两种表达形式具有等价性。

技术：生成函数

一个数列$g(n)$的生成函数为 G(n)=⟨g(