递归方程的求解

递归方程的求解

@[递归方程, 生成函数, 递推法]

生成函数求解递归方程

生成函数及其性质。

定义$1$:令$a_0$,$a_1$,$a_2$,$\ldots$是一个实数序列，构造如下的函数：

G(z)=a0+a1z+a2z2+⋯=∑k=0∞akzk G ( z ) = a 0 + a 1 z + a 2 z 2 + ⋯ = ∑ k = 0 ∞ a k z k

$$G(z)=a_0+a_1z+a_2z^2+\cdots=\sum_{k=0}^{\infty}a_kz^k$$

则称$G(z)$称为$a_0$,$a_1$,$a_2$,$\ldots$的生成函数。

生成函数的性质：
- 加法：设$G(z)=\sum_{k=0}^{\infty}a_kz^k$是序列$a_0$,$a_1$,$a_2$,$\ldots$的生成函数，$H(z)=\sum_{k=0}^{\infty}b_kz^k$是序列$b_0$,$b_1$,$b_2$,$\ldots$的生成函数，则：

$${\rm\begin{align*} {\alpha}G(z)+{\beta}H(z) &= {\alpha}\sum_{k=0}^{\infty}a_kz^k+{\beta}\sum_{k=0}^{\infty}b_kz^k\\ &=\sum_{k=0}^{\infty}({\alpha}a_k+{\beta}b_k)z^k \end{align*}}$$

是序列${\alpha}a_0+{\beta}b_0$,${\alpha}a_1+{\beta}b_1$,${\alpha}a_2+{\beta}b_2$,$\ldots$的生成函数。

• 移位：设$G(z)=\sum_{k=0}^{\infty}a_kz^k$是序列$a_0$,$a_1$,$a_2$,$\ldots$的生成函数，则：
  

  zmG