8.2 求解线性递推关系：常系数的k阶线性齐次递推关系

8.2 求解线性递推关系

常系数的k阶线性齐次递推关系

“
$$\begin{gathered} 一个常系数的k阶线性齐次递推关系是形如： \\ {a}_n=c_1\cdot a_{n-1}+c_2\cdot a_{n-2}+c_3\cdot a_{n-3}+\cdots c_k\cdot a_{n-k} \\ 的递推关系，其中c_1,c_2,c_3\cdots c_k是实数，且c_k\ne 0 \end{gathered}$$
”

乍一看很迷的一个定义，一个一个拆解其中的定义：

• 常系数：c1,c2,c3......ck都是常数，且在其中没有n的变量之类的
• k阶：a_n的值由前面的k项来决定
• 线性：a_n的值是由前面几项的倍数之和
• 齐次：其中各项都是a_j的倍数

举几个例子：
$$\begin{gathered} p_n=(1.11)p_{n-1}：1阶齐次线性递推关系 \\ {f}_n=f_{n-1}+f_{n-2}:2阶齐次线性递推关系 \\ {a}_n=a_5：5阶齐次线性递推关系 \\ {a}_n=a_{n-1}+a_{n-2}^2：非线性 \\ {H}_n=2\cdot H_{n-1}+1：非齐次 \\ {B}_n=n\cdot B_{n-1}：非常系数 \end{gathered}$$

---

求解常系数线性齐次递推关系

简单点来说就是将上面的常系数线性齐次递推关系转换成n和a_n的函数。

首先是第一种形式的递推关系的解：
$$\begin{gathered} 递归关系的形式如下：a_n=c_1\cdot a_{n-1}+c_2\cdot a_{n-2}，其中c_1,c_2\in R \\ 再来要求：r^2-c_1\cdot r-c_2=0，有两个不相等的解r_1，r_2。 \\ 那么a_n=k_1\cdot r_1^n+k_2\cdot r_2^n就是上面递推关系的解 \\ {k}_1,k_2\in R，一般情况下可以根据已知条件推算出来 \end{gathered}$$
例子：求解
$$a_n=a_{n-1}+2\cdot a_{n-2}的解，其中a_0=2,a_1=7$$
解答过程：
$$\begin{gathered} 套用上面的公式可知：c_1=1,c_2=2，所以 \\ {r}^2-c_1\cdot r-c_2=r^2-r-2=0 \\ 解有2个：r_1=2,r_2=-1 \\ 所以解为：a_n= \end{gathered}$$