特征方程和特征根

有递推关系：a_{n =} c₁a_n-1 + c₂a_n-2 + ... + c_pa_n-p   ①

其中，p ≤ n,   c₁ ,c_{2, ...} c_p是常数，且 c_p ≠ 0，则称为常系数线性齐次递推关系(所有的ak的项都是一次幂）。

一旦我们给出前P个项a₀,a₁,...,a_p-1的值，递推关系 ①式有唯一解，这些值形成为初始条件，根据a₀,a₁,...,a_p-1的值，我们能确定a_p, 于是根据a₀,a₁,...,a_p-1,a_p的值，能确定a_p+1，以此类推。

一般地，如果忽略初始条件，那式将会有很多解。其中的某些解将是形如下面的序列：

m⁰,m¹,m²,...,mⁿ,... ②

其中m是一个数，从确定是式称为式的一个解的m值开始。

在 ①式中，用x_k替换a_k, 并求解x,

xⁿ=c¹x^n-1 - c²x^n-2 - ...- c^px^n-p ③

③式两边同时除以x_n-p得：

x^p - c¹x^p-1 - c²x^p-2 -...- c^px⁰ = 0 ④

④式为递推关系 ①式的特征方程，该方程是一个x的p次多项式，所以有p个根，其中某些根可能是重根，或者是复数，这些根称为递推关系式的特征根。

例：a_n = 5a_n-1 - 6a_n-2  ⑤   且a0=1,a1=1;

特征方程：x² - 5x + 6 = 0

a1=2, a2=3是特征根

参考《离散数学及应用》罗恩