Chapter IX: 递归方程
和生成函数相似, 递归方程也是一种有效的组合计数工具. 下面, 我们对其进行简要介绍.
[例1] Fibonacci 数列
假设在一个和外界完全隔离的荒岛上有一对兔子, 于初始状态时已经性成熟. 兔子的性成熟耗时为
2
2
2 周, 所有成熟的兔子每一周生一对新兔子, 所有生成的兔子均具有相同的性质. 问: 在第
n
n
n 周时, 岛内有多少只兔子?
[解]
显然,
f
n
−
1
f_{n-1}
fn−1 对兔子在第
n
−
1
n-1
n−1 周已经存在于岛上, 但此时
f
n
f_{n}
fn 对兔子尚未性成熟. 故有:
{
f
0
=
f
1
=
1
f
n
+
2
=
f
n
+
1
+
f
n
\begin{cases}f_0 = f_1 = 1 \\ f_{n+2} = f_{n+1} + f_{n}\end{cases}
{f0=f1=1fn+2=fn+1+fn
显然, 这是一个递归方程.
[例2]
求长为
n
n
n 的, 不包含两个连续的 “
1
1
1” 作为子列的
{
0
,
1
}
\{0,1\}
{0,1}-串 (称其为 “好串” ) 的个数.
[解]
设
f
n
f_n
fn 为满足条件的, 长为
n
n
n 的
{
0
,
1
}
\{0,1\}
{0,1}-串的个数. 设
S
n
S_n
Sn 为其中一个这样的串, 并记其末元素为
a
n
a_n
an.
- 若 a n = 0 a_n = 0 an=0, 将 a n a_n an 从 S n S_n Sn 中移除, 即得到一个长为 n − 1 n-1 n−1 的好串. 将 0 0 0 连接到这些好串的末尾, 我们即得到一些长为 n n n 的好串.
- 若
a
n
=
1
a_n = 1
an=1, 显然这些串的倒数第二个元素一定为
0
0
0, 因此这些末尾为
1
1
1 的好串必然和长为
n
−
2
n-2
n−2 的好串一一对应.
综上: 我们再度得到了一个递推式: f n = f n − 1 + f n − 2 . f_n = f_{n-1} + f_{n-2}. fn=fn−1+fn−2.
[注]为了避免递推式和实际情况发生冲突, 我们可人为定义: f 0 = 1 , f 1 = 2 , f_0 = 1, f_1 =2, f0=1,f1=2, 虽然实际情况并非如此.
[例3]
设平面
R
2
\mathbb{R}^2
R2 上分布有
n
n
n 条直线, 满足:
- 任何三条直线不过同一点
- 任何两条直线不平行
则这些满足上述条件的直线将平面划分为多少块区域?
[解]
记
d
n
d_n
dn 为
n
n
n 条直线将平面
R
2
\mathbb{R}^2
R2 划分为的区域的片数. 可以验证:
d
0
=
1
,
d
1
=
2
,
d
2
=
4
,
d
3
=
7.
d_0 = 1, d_1 = 2, d_2 = 4, d_3 = 7.
d0=1,d1=2,d2=4,d3=7.
在向平面上添加直线
l
n
l_n
ln 时, 由题可知, 新直线和
n
−
1
n-1
n−1 条直线相交, 而原有的
n
−
1
n-1
n−1 条直线将
l
n
l_n
ln 划分为
n
−
1
n-1
n−1 段, 每一段都将一块原有的区域切割成两部分. 因此, 我们有:
{
d
n
=
d
n
−
1
+
n
d
0
=
1
,
n
⩾
1.
\begin{cases}d_n = d_{n-1} + n \\ d_0 = 1\end{cases}, ~~~ n\geqslant 1.
{dn=dn−1+nd0=1, n⩾1.
在上面的例子中, 我们可以看出最终计数问题均被转化为求一个递推方程
f
i
f_i
fi 的第
i
i
i 项的问题. 一般地, 我们还会需要解方程:
f
n
−
f
n
−
1
−
f
n
−
2
=
g
(
x
)
.
f_n - f_{n-1} - f_{n-2} = g(x).
fn−fn−1−fn−2=g(x).
下面, 我们对这一情况进行讨论, 并给出几个有助于解决问题的定理和方法.
定义 9.1
设 b 1 , b 2 , ⋯ , b k , a 0 , a 2 , ⋯ , a k − 1 b_1, b_2, \cdots, b_k, ~~~a_0, a_2, \cdots, a_{k-1} b1,b2,⋯,bk, a0,a2,⋯,ak−1 为常数. b k ≠ 0 b_k \neq 0 bk=0, 并设 f ( n ) f(n) f(n) 为某个给定函数. 假设序列 { H ( n ) } n = 0 ∞ \{H(n)\}^{\infty}_{n= 0} {H(n)}n=0∞ 满足:
( 1 ) { H ( 0 ) = a 0 ⋮ H ( k − 1 ) = a k − 1 H ( n ) + b 1 H ( n − 1 ) + ⋯ + b n − k H ( k ) = f ( n ) , n ⩾ k (1)~~\begin{cases}H(0) = a_0 \\~~~~~ \vdots \\ H(k-1) = a_{k-1} \\ H(n) + b_1H(n-1) + \cdots + b_{n-k}H(k) = f(n), ~~ n\geqslant k\end{cases} (1) ⎩⎪⎪⎪⎪⎨⎪⎪⎪⎪⎧H(0)=a0 ⋮H(k−1)=ak−1H(n)+b1H(n−1)+⋯+bn−kH(k)=f(n), n⩾k
我们称 { H ( a ) } n = 0 ∞ \{H(a)\}^{\infty}_{n= 0} {H(a)}n=0∞ 为一个 常系数线性回归序列 , 并称 ( 1 ) (1) (1) 为 常系数线性回归方程. 若 f ( n ) = 0 f(n) = 0 f(n)=0, 则称序列为 齐次的 (homogeneous
), 否则称其为 非齐次的 (nonhomogeneous
).
[例4]
求解方程:
(
∗
)
{
f
n
−
f
n
−
1
−
f
n
−
2
=
0
f
0
=
f
1
=
1
.
(*)~~\begin{cases}f_n - f_{n-1} - f_{n-2} = 0 \\ f_0 = f_1 = 1\end{cases}.
(∗) {fn−fn−1−fn−2=0f0=f1=1.
[解]
设
(
∗
)
(*)
(∗) 有一个形如
q
n
,
q
≠
0
q^{n}, ~~ q\neq 0
qn, q=0 的解. 将
f
n
f_n
fn 用
q
n
q^{n}
qn 替代, 可得到方程:
q
n
−
q
n
−
1
−
q
n
−
2
=
q
n
−
2
(
q
2
−
q
−
1
)
=
0.
q^{n} - q^{n-1} - q^{n-2} = q^{n-2}(q^2 - q -1) = 0.
qn−qn−1−qn−2=qn−2(q2−q−1)=0.
由方程解得:
q
1
=
1
+
5
2
,
q
2
=
1
−
5
2
.
q_1 = \frac{1 + \sqrt{5}}{2}, ~~q_2 = \frac{1 - \sqrt{5}}{2}.
q1=21+5, q2=21−5.
并且可以验证:
C
1
⋅
q
1
n
+
C
2
⋅
q
2
n
C_1\cdot q_1^{n} + C_2\cdot q_2^{n}
C1⋅q1n+C2⋅q2n
也是原方程的解. 代入初值条件得:
C
1
=
1
5
⋅
1
+
5
2
,
C
2
=
−
1
5
⋅
1
−
5
2
.
C_1 = \frac{1}{\sqrt{5}}\cdot \frac{1 + \sqrt{5}}{2}, ~~C_2 = -\frac{1}{\sqrt{5}}\cdot \frac{1 - \sqrt{5}}{2}.
C1=51⋅21+5, C2=−51⋅21−5.
于是可得递推方程的一般形式:
f
n
=
1
5
⋅
(
1
+
5
2
)
n
+
1
−
1
5
⋅
(
1
−
5
2
)
n
+
1
,
n
⩾
0.
f_n = \frac{1}{\sqrt{5}}\cdot (\frac{1 + \sqrt{5}}{2})^{n+1}-\frac{1}{\sqrt{5}}\cdot (\frac{1 - \sqrt{5}}{2})^{n+1}, ~~ n\geqslant 0.
fn=51⋅(21+5)n+1−51⋅(21−5)n+1, n⩾0.
更为一般地, 设线性常系数递归方程
H
(
n
)
+
b
1
H
(
n
−
1
)
+
⋯
+
b
k
H
(
n
−
k
)
=
0
(
∗
∗
)
H(n) + b_1H(n-1) + \cdots + b_kH(n-k) = 0~~ (**)
H(n)+b1H(n−1)+⋯+bkH(n−k)=0 (∗∗)
有形如
H
(
m
)
=
q
n
,
q
≠
0
H(m) = q^{n}, ~~ q\neq 0
H(m)=qn, q=0 的解, 我们称:
q
k
+
b
1
q
k
−
1
+
⋯
+
b
k
=
0
(
∗
∗
∗
)
q^{k} + b_1q^{k-1} + \cdots + b_{k} = 0 ~~ (***)
qk+b1qk−1+⋯+bk=0 (∗∗∗)
为方程
(
∗
∗
)
(**)
(∗∗) 的 特征多项式.
定理 9.1
设常系数回归方程 ( ∗ ∗ ) (**) (∗∗) 存在初值 H ( i ) = a i , 0 ⩽ i ⩽ k − 1 H(i) = a_i, ~~~ 0\leqslant i\leqslant k-1 H(i)=ai, 0⩽i⩽k−1. 若它的特征多项式 ( ∗ ∗ ∗ ) (***) (∗∗∗) 有 k k k 个不同根, 记为 q 1 , q 2 , ⋯ , q k q_1, q_2, \cdots, q_k q1,q2,⋯,qk, 则存在唯一的常数 c 1 , c 2 , ⋯ , c k c_1,c_2, \cdots, c_k c1,c2,⋯,ck, 使得 ∑ i = 1 k q i k \sum_{i=1}^{k}q_{i}^{k} ∑i=1kqik 为原方程的解.
[证明]
设
q
1
,
q
2
,
⋯
,
q
k
q_1,q_2,\cdots, q_k
q1,q2,⋯,qk 为
(
∗
∗
∗
)
(***)
(∗∗∗) 的
k
k
k 个不同的解. 则对任意常数
c
1
,
c
2
,
⋯
,
c
k
c_1,c_2, \cdots, c_k
c1,c2,⋯,ck ,
∑
i
=
1
k
q
i
k
\sum_{i=1}^{k}q_{i}^{k}
∑i=1kqik 为
(
∗
∗
)
(**)
(∗∗) 的解.
取
n
∈
{
0
,
1
,
⋯
,
k
−
1
}
n \in \{0,1,\cdots, k-1\}
n∈{0,1,⋯,k−1}, 可知
(
Q
)
{
a
0
=
c
1
+
c
2
+
⋯
+
c
k
a
1
=
c
1
q
1
+
c
2
q
2
+
⋯
+
c
k
q
k
⋯
⋯
⋯
⋯
a
k
−
1
=
c
1
q
1
k
−
1
+
c
2
q
2
k
−
1
+
⋯
+
c
k
q
k
k
−
1
,
i
.
e
.
[
1
1
⋯
1
q
1
q
2
⋯
q
k
⋮
⋮
⋮
q
1
k
−
1
q
2
k
−
1
⋯
q
k
k
−
1
]
⋅
[
c
1
c
2
⋮
c
k
]
=
[
a
0
a
1
⋮
a
k
−
1
]
.
(\mathscr{Q})~~\begin{cases}a_0 = c_1 + c_2 + \cdots + c_k \\ a_1 = c_1q_1 + c_2q_2 + \cdots + c_kq_k \\ \cdots ~~ \cdots ~~ \cdots ~~ \cdots \\ a_{k-1} = c_1q_1^{k-1} + c_2q_2^{k-1} + \cdots + c_{k}q_k^{k-1} \end{cases}, ~~~ i.e. \begin{bmatrix} 1& 1& \cdots & 1 \\ q_1& q_2& \cdots & q_k \\ \vdots & \vdots & &\vdots \\ q_1^{k-1} & q_2^{k-1} & \cdots & q_{k}^{k-1}\end{bmatrix} \cdot \begin{bmatrix} c_1 \\c_2\\\vdots\\c_k \end{bmatrix} = \begin{bmatrix}a_0 \\ a_1 \\ \vdots \\ a_{k-1} \end{bmatrix}.
(Q) ⎩⎪⎪⎪⎨⎪⎪⎪⎧a0=c1+c2+⋯+cka1=c1q1+c2q2+⋯+ckqk⋯ ⋯ ⋯ ⋯ak−1=c1q1k−1+c2q2k−1+⋯+ckqkk−1, i.e.⎣⎢⎢⎢⎡1q1⋮q1k−11q2⋮q2k−1⋯⋯⋯1qk⋮qkk−1⎦⎥⎥⎥⎤⋅⎣⎢⎢⎢⎡c1c2⋮ck⎦⎥⎥⎥⎤=⎣⎢⎢⎢⎡a0a1⋮ak−1⎦⎥⎥⎥⎤.
显见,
(
Q
)
(\mathscr{Q})
(Q) 存在唯一解,
c
1
,
c
2
,
⋯
,
c
k
c_1, c_2, \cdots, c_k
c1,c2,⋯,ck 均可被唯一确定.
■
\blacksquare
■
设 C \mathscr{C} C 为由全部定义在 R \mathbb{R} R 上的, 度数不超过 k k k 的多项式组成的集合. 可知: C \mathscr{C} C 成一个维度为 k + 1 k+1 k+1 的线性空间.
设 C = { b 0 + b 1 k + ⋯ + b k n k ∣ b i ∈ R , 0 ⩽ i ⩽ k , n ∈ N ∪ { 0 } } \mathscr{C} = \{b_0 + b_{1}k + \cdots + b_{k}n^{k} ~|~b_i \in \mathbb{R}, 0\leqslant i\leqslant k, n \in \mathbb{N}\cup \{0\} \} C={b0+b1k+⋯+bknk ∣ bi∈R,0⩽i⩽k,n∈N∪{0}}, C \mathscr{C} C 仍为一个维度为 k + 1 k+1 k+1 的线性空间, 其一组基为 1 , n , n 2 , ⋯ , n k 1,n, n^2, \cdots, n^k 1,n,n2,⋯,nk.
定理 9.2
设 q q q 为 ( ∗ ∗ ∗ ) (***) (∗∗∗) 的一个重数为 k k k 的根. 则对任意常数 c 0 , c 1 , ⋯ , c k − 1 c_0,c_1,\cdots, c_{k-1} c0,c1,⋯,ck−1:
c 0 q 0 n + c 1 n q 0 n + ⋯ + c k − 1 n k − 1 q 0 n c_0q_0^{n} + c_1nq_0^{n} + \cdots + c_{k-1}n^{k-1}q_0^{n} c0q0n+c1nq0n+⋯+ck−1nk−1q0n
仍为 ( ∗ ∗ ) (**) (∗∗) 的解.
[证明]
令
P
(
q
)
=
q
n
+
b
1
q
n
−
1
+
⋯
+
b
k
q
n
−
k
P(q) = q^n + b_1q^{n-1} + \cdots + b_kq^{n-k}
P(q)=qn+b1qn−1+⋯+bkqn−k, 若
q
0
≠
0
q_0 \neq 0
q0=0 为方程
P
(
q
)
=
0
P(q) = 0
P(q)=0 的一个重数为
k
k
k 的根; 如此规定:
q
0
q_0
q0 为方程
P
(
q
)
=
0
P(q) = 0
P(q)=0 的第
i
i
i 阶导数的根,
0
⩽
i
⩽
k
−
1
0\leqslant i\leqslant k-1
0⩽i⩽k−1:
P
q
(
i
)
=
n
!
(
n
−
i
)
!
q
n
−
i
+
b
1
(
n
−
1
)
!
(
n
−
i
−
1
)
!
q
n
−
i
+
1
+
⋯
+
b
k
(
n
−
k
)
!
(
n
−
k
−
i
)
!
q
n
−
k
−
i
P_{q}^{(i)} = \frac{n!}{(n-i)!}q^{n-i} + b_1\frac{(n-1)!}{(n-i-1)!}q^{n-i+1} + \cdots + b_k\frac{(n-k)!}{(n-k-i)!}q^{n-k-i}
Pq(i)=(n−i)!n!qn−i+b1(n−i−1)!(n−1)!qn−i+1+⋯+bk(n−k−i)!(n−k)!qn−k−i
i
.
e
i.e
i.e, 对任意
0
⩽
i
⩽
k
+
1
,
n
(
n
−
1
)
⋯
(
n
−
i
+
1
)
q
0
n
0\leqslant i\leqslant k+1, ~~~n(n-1)\cdots(n-i+1)q_{0}^{n}
0⩽i⩽k+1, n(n−1)⋯(n−i+1)q0n 为
(
∗
∗
)
(**)
(∗∗) 的一个解.
因为
(
∗
∗
)
(**)
(∗∗) 是齐次的, 故对任何常数
d
1
,
d
2
,
⋯
,
d
k
d_1,d_2,\cdots, d_k
d1,d2,⋯,dk:
d
1
q
0
n
+
d
2
n
q
0
n
+
⋯
+
d
k
n
(
n
−
1
)
⋯
(
n
−
k
+
1
)
q
0
n
d_1q_0^n + d_2nq_0^n + \cdots + d_kn(n-1)\cdots(n-k+1)q_0^n
d1q0n+d2nq0n+⋯+dkn(n−1)⋯(n−k+1)q0n
也是
(
∗
∗
)
(**)
(∗∗) 的一个解.
令
n
n
n 为一个整数 (只是一个符号), 则:
{
r
0
+
r
1
n
+
⋯
+
r
k
−
1
n
k
−
1
∣
r
0
,
r
1
,
⋯
,
r
k
−
1
∈
R
}
\{r_0 + r_1n + \cdots + r_{k-1}n^{k-1} ~~|~~ r_0, r_1, \cdots, r_{k-1} \in \mathbb{R}\}
{r0+r1n+⋯+rk−1nk−1 ∣ r0,r1,⋯,rk−1∈R}
为一个维度为
k
k
k 的线性空间, 它有一组基:
{
1
,
n
,
⋯
,
n
k
−
1
}
\{1,n,\cdots, n^{k-1}\}
{1,n,⋯,nk−1}, 且也有一组基:
{
1
,
n
,
⋯
,
n
(
n
−
1
)
⋯
(
n
−
k
+
1
)
)
}
\{1,n,\cdots, n(n-1)\cdots (n-k+1))\}
{1,n,⋯,n(n−1)⋯(n−k+1))}.
定理 9.3
假设 ( ∗ ∗ ∗ ) (***) (∗∗∗) 有不同根 q 1 , q 2 , ⋯ , q r q_1,q_2,\cdots, q_r q1,q2,⋯,qr 且它们的重数分别为 l 1 , l 2 , ⋯ , l r l_1, l_2, \cdots, l_r l1,l2,⋯,lr. 则它的解可被表示为线性组合:
{ q 1 n , n q 1 n , ⋯ , n l 1 − 1 q 1 n q 2 n , n q 2 n , ⋯ , n l 2 − 1 q 2 n ⋮ ⋮ ⋮ q n n , n q n n , ⋯ , n l r − 1 q n n . \begin{cases}q_1^{n}, & nq_1^{n}, & \cdots, n^{l_{1}-1}q_{1}^{n} \\ q_2^{n}, & nq_2^{n}, & \cdots, n^{l_{2}-1}q_{2}^{n} \\ ~\vdots & ~~~\vdots & ~~~~~\vdots \\ q_n^{n}, & nq_n^{n}, & \cdots, n^{l_{r}-1}q_{n}^{n}\end{cases}. ⎩⎪⎪⎪⎪⎨⎪⎪⎪⎪⎧q1n,q2n, ⋮qnn,nq1n,nq2n, ⋮nqnn,⋯,nl1−1q1n⋯,nl2−1q2n ⋮⋯,nlr−1qnn.
称 ∑ i = 1 k ( ∑ j = 1 l C i j n j − 1 ) q n \sum_{i=1}^{k}(\sum_{j=1}^{l}C_{ij}n^{j-1})q^n ∑i=1k(∑j=1lCijnj−1)qn 为 ( ∗ ∗ ) (**) (∗∗) 的 通解.
[例5]
记
{
t
n
}
n
=
0
∞
\{t_n\}_{n = 0}^{\infty}
{tn}n=0∞ 为长为
n
n
n 的
{
0
,
1
,
2
}
\{0,1,2\}
{0,1,2}-串, 且它不包含形如
20
20
20 的子串. 求出计算
t
n
t_n
tn 的公式 (closed form).
[解]
令
S
=
a
0
a
1
⋯
a
n
S = a_0a_1\cdots a_n
S=a0a1⋯an 为一个不包含形如
20
20
20 的, 长为
n
n
n 的
{
0
,
1
,
2
}
\{0,1,2\}
{0,1,2}-串, 称其为 “好串”.
- 若 a n = 1 a_n = 1 an=1 或 2 2 2, 则 a 0 a 1 ⋯ a n − 1 a_0a_1\cdots a_{n-1} a0a1⋯an−1 必为一个长为 n − 1 n-1 n−1 的好串. 相应地, 对于每一个长为 n − 1 n-1 n−1 的好串, 将 2 , 1 2,1 2,1 接到它的末尾, 即可得到一个长为 n n n 的好串. 也就是说, 长为 n n n, 且以 1 1 1 或 2 2 2 结尾的好串个数为 2 ⋅ t n + 1 2\cdot t_{n+1} 2⋅tn+1.
- 若
a
n
=
0
a_n = 0
an=0, 则
a
n
−
1
≠
2
a_{n-1} \neq 2
an−1=2. 因此, 每一个这样结尾的串均和一个长为
n
−
1
n-1
n−1 且不以
2
2
2 结尾的好串唯一对应. 因此有
t
n
−
1
−
t
n
−
2
t_{n-1} - t_{n-2}
tn−1−tn−2 个这样的好串.
于是可得: t n = 3 t n − 1 − t n − 2 t_n = 3t_{n-1} - t_{n-2} tn=3tn−1−tn−2. i . e i.e i.e, t n − 3 t n − 1 − t n − 2 = 0 , t ⩾ 3 t_n - 3t_{n-1} - t_{n-2} = 0, ~~ t\geqslant 3 tn−3tn−1−tn−2=0, t⩾3. 解特征方程得: q 1 = 3 + 5 5 , q 2 = 3 − 5 5 q_1 = \frac{3+\sqrt{5}}{5}, ~ ~ q_2 = \frac{3-\sqrt{5}}{5} q1=53+5, q2=53−5, 且这两个根的重数均为 1 1 1.
故有一般形式:
C
1
⋅
3
+
5
5
+
C
2
⋅
3
−
5
5
,
n
⩾
1.
C_1\cdot \frac{3+\sqrt{5}}{5} + C_2\cdot \frac{3-\sqrt{5}}{5}, ~~ n\geqslant 1.
C1⋅53+5+C2⋅53−5, n⩾1.
为保证递推式合理性, 定义
C
0
=
1
C_0 = 1
C0=1. 代入初值即可计算出
C
1
,
C
2
C_1, C_2
C1,C2.
定理 9.4
设序列 { H n } n = 0 ∞ \{H_n\}^{\infty}_{n=0} {Hn}n=0∞ 定义如下:
( ∗ ) H ( n ) = b 1 H ( n − 1 ) − ⋯ − b k H ( n − k ) + f ( n ) , n ⩾ k (*) ~~~~~H(n) = b_1H(n-1) - \cdots -b_kH(n-k) + f(n), ~~ n\geqslant k (∗) H(n)=b1H(n−1)−⋯−bkH(n−k)+f(n), n⩾k
且 H ( 0 ) , H ( 1 ) , ⋯ , H ( n ) H(0), H(1), \cdots, H(n) H(0),H(1),⋯,H(n) 均已确定. 假定 ( ∗ ) (*) (∗) 的齐次部分有通解 H ( n ) ‾ \overline{H(n)} H(n), 且 H ∗ ( n ) H^*(n) H∗(n) 为非齐次部分的一个特解. 则 H ( n ) ‾ + H ∗ ( n ) \overline{H(n)} + H^*(n) H(n)+H∗(n) 为 ( ∗ ) (*) (∗) 的通解.
[Assignment]
2. Solve the recurrence equation r n + 2 = r n + 1 + 2 r n r_{n+2} = r_{n+1} + 2r_{n} rn+2=rn+1+2rn if r 0 = 1 r_{0} = 1 r0=1 and r 2 = 3 r_2 = 3 r2=3 (Yes, we specify a value for r 2 r_2 r2 but not for r 1 r_1 r1).
[Solution]
The characteristic function of the equation is
q
n
−
q
n
−
1
−
2
q
n
−
2
=
0
q^n - q^{n-1} - 2q^{n-2} = 0
qn−qn−1−2qn−2=0
whose roots are
q
1
=
2
,
q
2
=
−
1.
q_1 = 2, q_2 = -1.
q1=2,q2=−1.
So its close-form solution is:
q
n
=
C
1
⋅
(
2
)
n
+
C
2
⋅
(
−
1
)
n
.
q_n = C_1\cdot (2)^n + C_2\cdot(-1)^n.
qn=C1⋅(2)n+C2⋅(−1)n.
From the given conditions of the problem, we have
{
C
1
+
C
2
=
1
4
C
1
+
C
2
=
3
⇒
{
C
1
=
1
3
C
2
=
2
3
.
\begin{cases}C_1 + C_2 = 1 \\ 4C_1 + C_2 = 3 \end{cases} \Rightarrow \begin{cases}C_1 = \frac{1}{3} \\ C_2 = \frac{2}{3}\end{cases}.
{C1+C2=14C1+C2=3⇒{C1=31C2=32.
So the solution is displayed as below:
r
n
=
2
n
+
2
⋅
(
−
1
)
n
3
.
r_n = \frac{2^n + 2\cdot (-1)^n}{3}.
rn=32n+2⋅(−1)n.
3. Find the general solution of the recurrence equation g n + 2 = 3 g n + 1 − 2 g n g_{n+2} = 3g_{n+1} − 2g_n gn+2=3gn+1−2gn.
[Solution]
The characteristic function of the equation is
q
n
+
2
−
3
q
n
−
1
−
2
q
n
=
0
q^{n+2} - 3q^{n-1} - 2q^{n} = 0
qn+2−3qn−1−2qn=0
whose roots are
q
1
=
2
,
q
2
=
1.
q_1 = 2, q_2 = 1.
q1=2,q2=1.
So its general solution is:
g
n
=
C
1
⋅
(
2
)
n
+
C
2
.
g_n = C_1\cdot (2)^n + C_2.
gn=C1⋅(2)n+C2.
4. Solve the recurrence equation h n + 3 = 6 h n + 2 − 11 h n + 1 + 6 h n h_{n+3} = 6h_{n+2} - 11h_{n+1} + 6h_n hn+3=6hn+2−11hn+1+6hn if h 0 = 3 , h 1 = 2 h_0 = 3, h_1 = 2 h0=3,h1=2, and h 2 = 4 h_2 = 4 h2=4.
[Solution]
The characteristic function of the equation is
q
n
+
3
−
6
q
n
+
2
+
11
q
n
+
1
−
6
q
n
=
0
q^{n+3} - 6q^{n+2} + 11q^{n+1} - 6q^{n} = 0
qn+3−6qn+2+11qn+1−6qn=0
whose roots are
q
1
=
1
,
q
2
=
2
,
q
3
=
3.
q_1 = 1, q_2 = 2, q_3 = 3.
q1=1,q2=2,q3=3.
So its close-form solution is:
q
n
=
C
1
+
C
2
⋅
2
n
+
C
3
⋅
3
n
.
q_n = C_1 + C_2\cdot 2^n + C_3\cdot 3^{n}.
qn=C1+C2⋅2n+C3⋅3n.
From the given conditions of the problem, we have
{
C
1
+
C
2
+
C
3
=
3
C
1
+
2
C
2
+
3
C
3
=
2
C
1
+
4
C
2
+
9
C
3
=
4
⇒
{
C
1
=
6
C
2
=
−
5
C
3
=
2
.
\begin{cases}C_1 + C_2 +C_3 = 3 \\ C_1 + 2C_2 + 3C_3 = 2 \\ C_1 + 4C_2 + 9C_3 = 4 \end{cases} \Rightarrow \begin{cases}C_1 = 6 \\ C_2 = -5 \\ C_3 = 2\end{cases}.
⎩⎪⎨⎪⎧C1+C2+C3=3C1+2C2+3C3=2C1+4C2+9C3=4⇒⎩⎪⎨⎪⎧C1=6C2=−5C3=2.
So the solution is displayed as below:
q
n
=
6
−
5
⋅
2
n
+
2
⋅
3
n
.
q_n = 6 - 5\cdot 2^n + 2\cdot 3^n.
qn=6−5⋅2n+2⋅3n.
5. Find the general solutions to each recurrence equation with characteristic polynomial as below:
- ( q − 4 ) 3 ( q + 1 ) ( q − 7 ) 4 ( q − 1 ) = 0 (q-4)^3(q+1)(q-7)^4(q-1) = 0 (q−4)3(q+1)(q−7)4(q−1)=0
- ( q − 5 ) 2 ( q + 5 ) 3 ( q − 1 ) 4 ( q + 1 ) ( q − 4 ) 3 = 0 (q-5)^2(q+5)^3(q-1)^4(q+1)(q-4)^3 = 0 (q−5)2(q+5)3(q−1)4(q+1)(q−4)3=0
[Solution]
-
The roots of the characteristic function is 4 , − 1 , 7 , 1 4, -1, 7, 1 4,−1,7,1 with multiplicity of 3 , 1 , 4 , 1 3, 1, 4, 1 3,1,4,1 respectively.
So it has general solution in the form of
q n = C 1 ⋅ ( 4 n + n ⋅ 4 n + n 2 ⋅ 4 n ) + C 2 ⋅ ( − 1 ) n + C 3 ⋅ ( 7 n + n ⋅ 7 n + n 2 ⋅ 7 n + n 3 ⋅ 7 n ) + C 4 . q_n = C_1\cdot (4^n + n\cdot 4^n + n^2\cdot 4^n) + C_2\cdot (-1)^n + C_3\cdot (7^n + n\cdot 7^n + n^2\cdot 7^n + n^3\cdot 7^n ) + C_4. qn=C1⋅(4n+n⋅4n+n2⋅4n)+C2⋅(−1)n+C3⋅(7n+n⋅7n+n2⋅7n+n3⋅7n)+C4. -
The roots of the characteristic function is 5 , − 5 , 1 , − 1 , 4 5, -5, 1, -1, 4 5,−5,1,−1,4 with multiplicity of 2 , 3 , 4 , 1 , 3 2, 3, 4, 1, 3 2,3,4,1,3 respectively.
So it has general solution in the form of
q n = C 1 ⋅ ( 5 n + n ⋅ 5 n ) + C 2 ⋅ { ( − 5 ) n ⋅ ∑ i = 0 2 n i } + C 3 ⋅ ( ∑ i = 0 3 n i ) + C 4 + C 5 ⋅ { ( 4 ) n ⋅ ∑ i = 0 2 n i } . q_n = C_1\cdot (5^n + n\cdot 5^n) + C_2\cdot \{(-5)^n\cdot \sum_{i = 0}^{2}n^{i}\} + C_3\cdot (\sum_{i = 0}^{3}n^{i}) + C_4 + C_5\cdot \{(4)^n\cdot \sum_{i = 0}^{2}n^{i}\}. qn=C1⋅(5n+n⋅5n)+C2⋅{(−5)n⋅i=0∑2ni}+C3⋅(i=0∑3ni)+C4+C5⋅{(4)n⋅i=0∑2ni}.