数列的递推公式求通项(特征方程)

如：$a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots c_k{a}_{n-k}=b_n$(n>k-1)
($c_1,c_2\cdots c_k$为常数,k为正整数)的递推关系为k阶线性常系数递推关系
$a_0=d_0,a_1=d_1,\cdots ,a_{k-1}=d_{k-1}$称为初值条件

1. 当$b_n$=0时##

当$b_n$=0，时$a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots c_k{a}_{n-k}=0$称为k阶线性常系数齐次递推关系
如斐波那契数列$F_n-F_{n-1}-F_{n-2}=0$(n>2)称为二阶线性常系数齐次递推关系

引入特征方程的定义：
给定$a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots c_k{a}_{n-k}=0$
记$C(x)=x^n+c_1{x}^{n-1}+c_2{x}^{n-2}+\cdots +c_k$称为性常系数齐次递推关系的特征多项式，而称C(x)=0为特征方程，方程的根称为特征根。
如斐波那契数列$F_n-F_{n-1}-F_{n-2}=0$，(n>2)的特征方程为$x^2-x-1=0$

1. 为实数根时：
求$a_n-a_{n-1}-12a_{n-2}=0,a_0=3,a_1=26$的解
解： 特征方程 x^{2}-x-1=0
根为： x=4 x=-3
故通解为 $a_n=A_1{4}^n+A_2(-3{)}^n,n\ge 0$
由初值条件 $3=A_1+A_2$ $26=A_{1}4+A_2(-3)$
解得 $A_1=5$ $A_2=-2$
所求得解 $a_n=5\cdot 4^n-2(-3{)}^n$

2. 有共轭复根时：
设 $ \alpha _{1}$和 $ \alpha _{2}$是一对共轭复根则有
$ \alpha _{1}=\rho (cos\theta +isin\theta)$ ${\alpha }_2=\overline{{\alpha }_1}=\rho (cos\theta -isin\theta )$
有$A_1{\alpha }_1^n+A_2{\alpha }_2^n$
=$A_1{\rho }^n(cos\theta +isin\theta {)}^n+A_2{\rho }^n(cos\theta -isin\theta {)}^n$
=$A_1{\rho }^n(cosn\theta +isinn\theta )+A_2{\rho }^n(cosn\theta -isinn\theta )$
=$(A_1+A_2){\rho }^{n}cosn\theta +i(A_1-A_2){\rho }^{n}sinn\theta$
=$A{\rho }^{n}cosn\theta +B{\rho }^{n}sinn\theta$
其中 $A=A_1+A_2$ $B=i(A_1-A_2)$
计算时，可先求出各对共轭复根，再求A，B

例如 求$a_n-a_{n-1}+a_{n-2}=0,a_0=1,a_1=1$的解
解 ： 特征方程 ${\alpha }^2-\alpha +1=0$

根为： $\alpha =\frac{1}{2}\pm \frac{\sqrt{3}}{2}i=cos\frac{\pi }{3}+isin\frac{\pi }{3}$

故通解为 $a_n=A_1{\alpha }_1^n+A_2{\alpha }_2^n=Acos\frac{n\pi }{3}+Bsin\frac{n\pi }{3}$

由初值条件 1=A $1=A\frac{1}{2}+B\frac{\sqrt{3}}{2}$

解得 A=1 $B=\frac{\sqrt{3}}{3}$

所求解为 $a_n=cos\frac{n\pi }{3}+\frac{\sqrt{3}}{3}sin\frac{n\pi }{3}$

3. 有重根时

$a_n=(B_0+B_{1}n+\cdots +B_{k-1}{n}^{k-1}){\alpha }^n$

例如求$a_n-2a_{n-1}+a_{n-2}=0,a_1=2,a_2=3$的解
解：特征方程为 x^{2}-2x+1=0 解得x=1为二重根
故通解为 $a_n=(A_1+A_{2}n)\cdot 1^n=A_1+A_{2}n$
由初值条件 $2=A_1+A_2$ $3=A_1+A_{2}2$
解得 $A_1=1$ $A_2=1$
所求解为 $a_n=1+n$, $n\ge 1$

总之
若$\alpha $是特征方程的单根，则递推关系的解中含有项
$a_n=A{a}^n$
若$\alpha $是特征方程的k重根，则递推关系的解中含有项
$a_n=(B_0+B_{1}n+\cdots +B_{k-1}{n}^{k-1}){\alpha }^n$
若$\alpha_{1},\alpha _{2} $是一对k重共轭复根，且$\alpha _{2}=\bar{\alpha _{1}}=\rho (cos\theta -isin\theta)$则递推关系的解中含有项
$a_n=(B_0+B_{1}n+\cdots +B_{k-1}{n}^{k-1}){\rho }^{n}cosn\theta +i(C_0+C_{1}n+\cdots +C_{k-1}{n}^{k-1}){\rho }^{n}sinn\theta$

2. 当$b_n\ne 0$时

当$b_n\ne 0$，时$a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots c_k{a}_{n-k}=b_n$称为k阶线性常系数非齐次递推关系
$a_n$的解可表示为齐次关系的解郁非齐次关系的解之和
而齐次递推关系的解渴由特征方程特征根的方法求得，所以我们只要求解非齐次递推关系的一个特解即可
非齐次的解法和非齐次微分方程的通解解法较为类似可以结合二者进行理解
1. 待定系数法1
若$b_n=r^n{P}_m(n)$,其中$P_m(n)$为n的m次多项式(如a+bn为一次多项式),则可设非齐次递推关系的解为
${\beta }_n^{\ast }=r^n{n}^k{q}_m(n)$
其中$q_m(n)$为系数待定的$q_m(n)=B_m{n}^m+B_{m-1}{n}^{m-1}+\cdots +B_1{n}^1+B_0$
其中k为r作为特征根的个数，即
\begin{matrix}
k=0 & r不是特征根\
k=k& r是k重特征根
\end{matrix}
如求解$a_n-a_{n-1}-12a_{n-2}=3^n,a_0=3,a_1=26$的解
解： 特征方程 $x^2-x-12=0$
根为: x=4 x=-3
故齐次关系通解为$a_n=A_1{4}^n+A_2(-3{)}^n,n\ge 0$
自由项为$b_n=3^n$，所以可设特解为$a_n^{\ast }=B{3}^n$
那么代入递推关系式有 $B{3}^n-B{3}^{n-1}-12B{3}^{n-2}=3^n$
解得 $B=-\frac{3}{2}$
故非齐次关系通解为$a_n=A_1{4}^n+A_2(-3{)}^n-\frac{3}{2}{3}^n,n\ge 0$
由初值条件 $3=A_1+A_2-\frac{3}{2}$ $26=A_{1}4+A_2(-3)-\frac{3}{2}\cdot 3$
解得 $A_1=\frac{44}{7}$ $A_2=-\frac{25}{14}$
所求解为
$a_n=\frac{44}{7}\cdot 4^n-\frac{25}{14}(-3{)}^n-\frac{3}{2}\cdot 3^n,n\ge 0$

再如求$a_n+3a_{n-1}-10a_{n-2}=2^n(n+5)的通解$
解：特征方程 $ x^{2}+3x-10=0$
根为: x=-5 x=2
根据自由项：$ b_{n}=2^{2}(n+5)$,所以特解设为
$a_n^{\ast }=n^1(B_0+B_{1}n)2^n$
代入递推关系式
解得
$ a_{n}=A_{1}2^{{n}+A_{2}(-5)}{n}-(\frac{87}{49}n+\frac{1}{7}n^{2})2{n}$

2. 待定系数法2
若$b_n=r^n{P}_m(n)sin\theta$或$b_n=r^n{P}_m(n)cos\theta$,其中$P_m(n)$为n的m次多项式(如a+bn为一次多项式),则可设非齐次递推关系的解为
${\beta }_n^{\ast }=r^n{n}^k[q_m(n)sinn\theta +h_m(n)sinn\theta ]$
其中$q_m(n)$与$h_m(n)$为系数待定的
$q_m(n)=B_m{n}^m+B_{m-1}{n}^{m-1}+\cdots +B_1{n}^1+B_0$
$h_m(n)=C_m{n}^m+C_{m-1}{n}^{m-1}+\cdots +C_1{n}^1+C_0$
其中k为r作为特征根的个数，即
\begin{matrix}
k=0 & r(cos\theta+isin\theta)不是特征根\
k=k& r(cos\theta+isin\theta)是k重特征根
\end{matrix}

如求$a_n-3a_{n-1}+2a_{n-2}=3sin(n\frac{\pi }{2}),a_0=0,a_1=1$的解
解： 特征方程 $x^2-3x+2=0$
根为：x=1 x=2
故齐次关系的通解为 $a_n=A_1{1}^n+A_2{2}^2,n\ge 0$
由于自由项: $ b_{n}=3sin(n\frac{\pi}{2})$,所以特解为
$a_n^{\ast }=Bcos(n\frac{\pi }{2})+Csin(n\frac{\pi }{2})$
代入递推关系式解得 $B=-\frac{9}{10}$ $C=-\frac{3}{10}$
故通解为
$a_n=A_1+A_2{2}^2-\frac{9}{10}cos(n\frac{\pi }{2})-\frac{3}{10}sin(n\frac{\pi }{2}),n\ge 0$
再由初值条件可得
$a_n=\frac{15}{10}-\frac{6}{10}{2}^2-\frac{9}{10}cos(n\frac{\pi }{2})-\frac{3}{10}sin(n\frac{\pi }{2}),n\ge 0$

3. 非齐次递推关系齐次化法
若$b_n=r$,r为常数
$a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots c_k{a}_{n-k}=r$
$a_{n-1}+c_1{a}_{n-2}+c_2{a}_{n-3}+\cdots c_k{a}_{n-k-1}=r$
两式相减则变为齐次递推关系用特征方程求解
若$b_n=r^n$
$a_n+c_1{a}_{n-1}+c_2{a}_{n-2}+\cdots c_k{a}_{n-k}=r^n$
$a_{n-1}+c_1{a}_{n-2}+c_2{a}_{n-3}+\cdots c_k{a}_{n-k-1}=r^{n-1}$
式子二乘以r，两式相减，变为齐次关系式，用特征方程求解
如求$a_n-a_{n-1}-6a_{n-2}=3^n,a_0=5,a_1=2$的解
解： 有 $a_n-a_{n-1}-6a_{n-2}=3^n$
$a_{n-1}-a_{n-2}-6a_{n-3}=3^{n-1}$
两式相减得
由 $a_n-4a_{n-1}-3a_{n-2}+18a_{n-3}=0,a_2=41$
特征方程为 x^{3}-x{2}-3x+18=0
解得 x=-2，x=3(为2重根）
故$a_n=A(-2{)}^n+(B+Cn)3^n$
由初值条件得
$a_n=\frac{74}{25}(-2{)}^n+(\frac{51}{25}+\frac{3}{5}n)3^n$

本文参考太原理工大学魏毅强教授组合数学课件