组合数学之递推关系（二）常系数线性齐次递推关系及其通项求解

说明

本文参考了组合数学课件，精简整理了一下内容并谈谈自己的理解

---

这啥关系，说白了就是可以用来矩阵加速的东西
形如$a_n=k_1*a_{n-1}+k_2*a_{n-2}+k_3*a_{n-3}+...+k_m*a_{n-m}$的递推关系就是m阶常系数线性齐次递推关系
我们先来解读一下名字中的名词：
常系数：系数$k_i$为常数
线性齐次：递推式里的$a_{n-i}$的指数全为一次
递推关系：就递推的意思
还有几个定义：
特征多项式：就是上面的式子左边-右边，然后把$a_i$变成$x^i$后形成的式子
即:$x^m-k_1*x^{m-1}-k_2*x^{m-2}-...-k_{m-1}*x-k_m*1=0$
特征方程：就是特征多项式=0的方程
特征根：就是特征方程的根

下面，我们将讨论如何求出a数组的通项：

定理1.若$x=p，即a_i=p^i$，当且仅当$p$为特征根。
证明显然:
$p^i$为多项式的通项,即:$p^n=k_1*p^{i-1}+k_2*p^{i-2}+...+k_m*p^{i-m}$
得:$p^m=k_1*p^{m-1}+k_2*p^{m-2}+...+k_{m-1}*p+k_m*1$
而p为特征根，即$p^m-k_1*p^{m-1}-k_2*p^{m-2}-...-k_{m-1}*p-k_m*1=0$
这不一个意思吗？

定理2.若$q_1,q_2,…,q_m$为互不相等的特征根（因为特征方程是个一元m次方程，刚好有m个根，当有根相等时，此公式不适用），$c_1, c_2,…,c_m$为任意常数，则$a_n=c_1q_1^n+c_2q_2^n+…+c_mq_m^n$亦为特征根。
说白了就是等于0的式子加起来还等于0。

那么现在问题来了：
特征根和我们要求的a数组的通项实在是太像了，但只有一个地方有问题：
a数组的初始值
我们注意到推论2中$c$数组是任取的，那么我们就将$c$数组解出来！

当特征根互不相等时

建立如下方程组:
$c_1+c_2+...+c_m=a_0$
$q_1c_1+q_2c_2+...+q_mc_m=a_1$
$...$
$q_1^{m-1}c_1+q_2^{m-1}c_2+...+q_m^{m-1}c_m=a_{m-1}$
然后将$c$解出来，因为有$m$个方程，$m$个未知数，可以知道方程的解，即$c$数组的值，是唯一确定的（这样说不是很严谨，严格来说需要用行列式证明）。
求出了$c$数组后，我们发现，对于$a$数组的初值部分，$a_n=c_1q_1^n+c_2q_2^n+…+c_mq_m^n$满足条件，对于$a$数组的递推出来的部分，同样满足条件。
此时，这个递推式的通项已经求出，为：$a_n=c_1q_1^n+c_2q_2^n+…+c_mq_m^n$。

下面我们通过两个例子来加深理解：

例1.求斐波那契数列的通项

列递推关系方程：
$F_n=F_{n-1}+F_{n-2}$
$F_0=1,F_1=1$
特征方程为：
$q_1=\frac{1+\sqrt5}{2},q_2=\frac{1-\sqrt5}{2}$
设通项为：$F_n=c_1q_1^n+c_2q_2^n$
由初始条件列方程组：
$F_0=c_1+c_2=1$
$F_1=c_1q_1+c_2q_2=1$
解得：
$c_1=\frac{1+\sqrt5}{2\sqrt5},c_2=\frac{-1+\sqrt5}{2\sqrt5}$
所以通项为：
$F_n=\frac{1+\sqrt5}{2\sqrt5}(\frac{1+\sqrt5}{2})^n+\frac{-1+\sqrt5}{2\sqrt5}(\frac{1-\sqrt5}{2})^n=\frac{(1+\sqrt5)^{n+1}-(1-\sqrt5)^{n+1}}{2^{n+1}\sqrt5}$

例2.求递归关系通解：

$a_n=2a_{n-1}+a_{n-2}-2a_{n-3}$

$a_0=1,a_1=2,a_2=0$

特征方程为：
$x^3-2x^2-x+2=0$
解得特征根为：
$q_1=1,q_2=-1,q_3=2$
设通项为：
$a_n=c_1q_1^n+c_2q_2^n+c_3q_3^n$
将初始条件带入，有：
$a_0=c_1+c_2+c_3=1$
$a_1=c_1-c_2+2c_3=2$
$a_2=c_1+c_2+4c_3=0$
解得：
$c_1=2,c_2=-2/3,c_3=-1/3$
则通项为：
$a_n=2-(2/3)(-1)^n-(1/3)*2^n$

那么问题来了，当特征方程有相同解怎么办呢？

当有相同特征根时

补充定义：多重解
若$q_i$是特征方程的解并且在$m$个解中出现了$s_i$次，则称$q_i$是特征方程的$s_i$重特征根。
意思就是，几重解就是这个解出现的次数，或者说与它相同的根的数量。

定理3.若$q_1,q_2,…,q_t$分别为上述递推关系的特征方程相异的$s_1,s_2,…,s_t$重特征根，且$(\sum_{i=1}^ts_i)=m$，则该递推关系的通解为：
$a_n=(c_{(1,1)}+c_{(1,2)}n+...+c_{(1,s_1)}n^{s_1-1})q_1^n+(c_{(2,1)}+c_{(2,2)}n+...+c_{(2,s_2)}n^{s_2-1})q_2^n+...+(c_{(t,1)}+c_{(t,2)}n+...+c_{(t,s_t)}n^{s_t-1})q_t^n$
其中$c_{(i,j)}$由初始条件确定。
看起来很恶心，其实不难理解，比如我们令$s_i=1$，即无重复的一个根，它的单独的式子为：$c_{(i,1)}q_i^n$，这根我们之前的无重复的几乎一模一样，$c_{i,1}$和$c_i$也没什么区别，反正前者只有一项。
而令$s_i=2$，它的式子变为：$(c_{(i,1)}+c_{(i,2)}n)q_i^n$
相当于前一个，括号里加了一个$c_{(i,2)}n$，以此类推，$s_i=b$比$s_i=b-1$括号里多了一个$c_{(i,b)}n^{b-1}$
关于证明，要用到一些行列式的结论，由于涉及到一些大(wo)家(kan)不(qiu)熟(bu)悉(dong)的东西，大家有兴趣的可以自己去找，与Vandermonde行列式有关。

下面我们仍然通过两个例子来加深理解：

例3.求解通项：

$a_n=2a_{n-1}-a_{n-2}$

$a_1=2,a_2=3$

特征方程：
$x^2-2x+1=0$
特征根：
$x_1=1,x_2=1,即q_1=1,s_1=2$
通项为：$a_n=c_{(1,1)}+c_{(1,2)}n$
由初值：
$a_1=c_{(1,1)}+c_{(1,2)}=2$
$a_2=c_{(1,1)}+2c_{(1,2)}=3$
解得：
$c_{(1,1)}=1$
$c_{(1,2)}=1$
所以通项为：
$a_n=1+n$

例4.又是一个求通项

$a_n=-6a_{n-1}-12a_{n-2}-8a_{n-3}$

$a_0=1,a_1=-2,a_2=8$

特征方程为：
$x^3+6x^2+12x+8=0$
解为：
$x_1=x_2=x_3=-2$
即:$q_1=-2,s_1=3$
设通项为：
$a_n=(c_{(1,1)}+c_{(1,2)}n+c_{(1,3)}n^2)(-2)^n$
由初始条件：
$a_0=c_{(1,1)}=1$
$a_1=(c_{(1,1)}+c_{(1,2)}+c_{(1,3)})(-2)=-2$
$(c_{(1,1)}+2c_{(1,2)}+4c_{(1,3)})(-2)^2=8$
则通项为：
$a_n=(1-\frac{n}{2}+\frac{n^2}{2})(-2)^n$

至此，我们已经在省略了一堆证明的情况下知道了如何求出常系数线性齐次递推关系的通项了！