学习笔记--生成函数

生成函数

定义

  一般来说，对于有限数列
$$a_0,a_1,a_2,\cdots a_n$$

  多项式
$$f(x)=\sum _{k=0}^n{a}_k{x}^k=a_0+a_{1}x+a_2{x}^2+\cdots +a_n{x}^n$$

  称为数列 { a n } \lbrace a_n \rbrace {an​} 的生成函数。例如：
$$f(x)=(1+x{)}^n=C_n^0+C_n^{1}x+C_n^2{x}^2+\cdots +C_n^n{x}^n$$

  就是数列：
{ C n 0 , C n 1 , C n 2 , ⋯ C n n } \lbrace C_n^0, C_n^1, C_n^2, \cdots C_n^n \rbrace {Cn0​,Cn1​,Cn2​,⋯Cnn​}

  的生成函数。

  更一般的，对于无穷数列：
$$a_0,a_1,a_2,\cdots a_n,\cdots$$

  多项式：
$$f(x)=\sum _{n=0}^{\infty }{a}_n{x}^n=a_0+a_{1}x+a_2{x}^2+\cdots$$

  就是无穷数列 { a n } \lbrace a_n \rbrace {an​} 的生成函数，这种生成函数也叫作形式幂级数。对于形式幂级数 $f(x)=\sum _{n=0}^{\infty }{a}_n{x}^n$ 和 $g(x)=\sum _{n=0}^{\infty }{b}_n{x}^n$ 来说，我们有：
$$\begin{array}{rl}& f(x)=g(x)当且仅当a_n=b_n,n=0,1,2,\cdots \\ & f(x)\pm g(x)=\sum _{n=0}^{\infty }(a_n+b_n)x^n\\ & \alpha f(x)=\sum _{n=0}^{\infty }(\alpha a_n)x^n(\alpha 为常数)\\ & f(x)g(x)=\sum _{n=0}^{\infty }{c}_n{x}^n，其中c_k=\sum _{k=0}^{\infty }{a}_k{b}_{n-k}，n=0,1,2,\cdots \end{array}$$

一些公式

  在利用生成函数解题的时候，需要用到以下一些公式：
$$\begin{array}{rl}& (a+b{)}^n=\sum _{i=0}^n{C}_n^i{a}^{n-i}{b}^i\\ & \frac{1}{1-x}=\sum _{n=0}^n{x}^n\\ & (1-x{)}^{-k}=\sum _{n=0}^{\infty }{C}_{n+k-1}^{k-1}{x}^n\end{array}$$
  注：第三个式子可以由第二个式子两边同时求 k - 1 阶导得到。

一个定理

  设 $p(x)$，$q(x)$ 是关于 $x$ 的实多项式，且 $\mathrm{deg}p(x)<\mathrm{deg}q(x)$，多项式 $q(x)$ 有 $k$ 重实根 $\alpha$，即 $q(x)=(x-\alpha {)}^k{q}_1(x)，q_1(\alpha )\ne 0$。则实数 $\lambda$ 与多项式 $p_1(x)$，$\mathrm{deg}{p}_1(x)<\mathrm{deg}(x-\alpha {)}^{k-1}{q}_1(x)$，成立：
$$\frac{p(x)}{q(x)}=\frac{\lambda }{(x-\alpha {)}^k}+\frac{p_1(x)}{(x-\alpha {)}^{k-1}{q}_1(x)}$$

  证明: 令 $\lambda =\frac{p(\alpha )}{q(\alpha )}$，则 $x=\alpha$ 是多项式 $p(x)-\lambda q_1(x)$ 的根，设：
$$p(x)-\lambda q_1(x)=(x-\alpha )p_1(x)\to p(x)=\lambda q_1(x)+(x-\alpha )p_1(x)$$

  就能得到：
$$\frac{p(x)}{q(x)}=\frac{\lambda q_1(x)+(x-\alpha )p_1(x)}{(x-\alpha {)}^k{q}_1(x)}=\frac{\lambda }{(x-\alpha {)}^k}+\frac{p_1(x)}{(x-\alpha {)}^{k-1}{q}_1(x)}$$

  证毕。

题(们)

1. 求下列数列的通项 { a n } \lbrace a_n \rbrace {an​}
     (1) $a_0=2，a_1=5，a_{n+2}=3a_{n+1}-2a_n，n=0,1,2,\cdots$
     (2) $a_0=4，a_1=3，a_{n+2}=a_{n+1}+6a_n-12，n=0,1,2,\cdots$

  (1)：

  设原数列的生成函数为 $f(x)$：
$$\begin{array}{rl}f(x)& =a_0+a_{1}x+a_2{x}^2+a_3{x}^3+a_4{x}^4+\cdots \\ -3xf(x)& =-3a_{0}x-3a_1{x}^2-3a_2{x}^3-3a_3{x}^4-\cdots \\ 2x^{2}f(x)& =2a_0{x}^2+2a_1{x}^3+2a_2{x}^4+\cdots \end{array}$$
  三式相加得到：
$$(1-3x+2x^2)f(x)=(a_0+a_{1}x-3a_{0}x)+(2a_0-3a_1+a_2)x^2+(2a_0-3a_1+a_2)x^3+\cdots$$

  又因为 $a_{n+2}=3a_{n+1}-2a_n\to 2a_n-3a_{n+1}+a_{n+2}=0$，所以从 $x^2$ 项之后都是 0。所以：
$$(1-3x+2x^2)f(x)=(a_0+a_{1}x-3a_{0}x)=(2+5x-6x)=2-x$$

  所以：
$$f(x)=\frac{2-x}{1-3x+2x^2}$$

  有根据上面那个定理，我们可以对这个式子进行拆分：
$$\begin{array}{rl}f(x)=& \frac{2-x}{1-3x+2x^2}=\frac{2-x}{(2x-1)(x-1)}=\frac{A}{(2x-1)}+\frac{B}{(x-1)}\end{array}$$

  对于最后一个等号，我们将等式两边同时乘上 $(2x-1)(x-1)$，得到：
$$2-x=A(x-1)+B(2x-1)$$

  令 $x=\frac{1}{2}$，得：
$$2-\frac{1}{2}=(\frac{1}{2}-1)A+(2\cdot \frac{1}{2}-1)B\to A=-3$$

  令 $x=1$，得：
$$2-1=(1-1)A+(2\cdot 1-1)B\to B=1$$

  所以：
$$\begin{array}{rl}f(x)=& \frac{A}{(2x-1)}+\frac{B}{(x-1)}\\ =& \frac{3}{1-2x}-\frac{1}{1-x}=3\sum _{n=0}^{\infty }(2x{)}^n-\sum _{n=0}^{\infty }{x}^n=\sum _{n=0}^n(3\cdot 2^n-1)x^n\end{array}$$

  所以这个数列的通项就是：
$$a_n=3\cdot 2^n-1$$

  (2)：

  这原数列的生成函数为 $f(x)$：
$$\begin{array}{rl}6f(x)=& 6a_0+6a_{1}x+6a_2{x}^2+6a_3{x}^3+6a_4{x}^4+\cdots \\ xf(x)=& a_{0}x+a_1{x}^2+a_2{x}^3+a_3{x}^4+\cdots \\ x^{2}f(x)=& a_0{x}^2+a_1{x}^3+a_2{x}^4+\cdots \\ \frac{12}{1-x}=& 12+12x+12x^2+12x^3+12x^4+\cdots \end{array}$$

  与 (1) 同理，得：
$$\begin{array}{rl}& (1-x-6x^2)f(x)+\frac{12}{1-x}=16+11x\\ & f(x)=\frac{11x+16-\frac{12}{1-x}}{1-x-6x^2}=\frac{\frac{-11x^2-5x+4}{1-x}}{(1-3x)(1+2x)}=\frac{-11x^2-5x+4}{(1-x)(1-3x)(1+2x)}\end{array}$$

  还是根据那个定理：
$$f(x)=\frac{-11x^2-5x+4}{(1-x)(1-3x)(1+2x)}=\frac{A}{1-x}+\frac{B}{1-3x}+\frac{C}{1+2x}$$

  还是和 (1) 同理：$A=2，B=C=1$，所以：
$$\begin{array}{rl}f(x)=& \frac{2}{1-x}+\frac{1}{1-3x}+\frac{1}{1+2x}\\ =& 2\sum _{n=0}^{\infty }{x}^n+\sum _{n=0}^{\infty }(3x{)}^n+\sum _{n=0}^{\infty }(-2x{)}^n=\sum _{n=0}^{\infty }[2+3^n+(-2{)}^n]x^n\end{array}$$

  所以原数列的通项就是：
$$a_n=2+3^n+(-2{)}^n$$

---

2. 证明： $\sum _{k=0}^n(C_n^k{)}^2(1+x{)}^{2n-2k}(1-x{)}^{2k}$ 的展开式中 $x$ 的奇数次幂不出现。

  我们可以构造一个式子：
$${\left[y+(1+x{)}^2\right]}^n{\left[y+(1-x{)}^2\right]}^n$$

  使得这个式子的 $y^n$ 项前面的系数为：
$$C_n^{n-k}[(1+x{)}^2{]}^{n-k}\cdot C_n^k[(1-x{)}^2{]}^k=(C_n^k{)}^2(1+x{)}^{2n-2k}(1-x{)}^{2k}$$

  也就是原来的式子中求和里的项。我们现在考虑把我们构造出来的式子展开：
$$\begin{array}{rl}& {\left[y+(1+x{)}^2\right]}^n{\left[y+(1-x{)}^2\right]}^n\\ =& (y+1+x^2+2x{)}^n(y+1+x^2-2x{)}^n\\ =& [(y+1+x^2{)}^2-4x^2{]}^n\end{array}$$

  很显然，这里面 $y_n$ 的系数中肯定没有 $x$ 的奇数次幂。所以原式在每个求和项中都没有 $x$ 的奇数次幂，所以原式没有 $x$ 的奇数次幂。

  证毕。

---

3. 证明：对一切正整数 $n$， $\sum _{k=0}^{\left[\frac{n+1}{2}\right]}(-1{)}^k{C}_{n+1}^k{C}_{2n-2k-1}^n=\frac{1}{2}n(n+1)$

  我们考虑 $(1+x{)}^{n+1}$ 中 $x^{n-1}$ 的系数：

  一方面：$C_{n+1}^2=\frac{1}{2}n(n-1)$

  另一方面：
$$(1+x{)}^{n+1}=\frac{(1-x^2{)}^{n+1}}{(1-x{)}^{n+1}}=\sum _{k=0}^{n+1}{C}_n^k(-x^2{)}^k\sum _{i=0}^{\infty }{C}_{i+n}^n{x}^i$$

  在这个式子里面，前半部分，即 $\sum _{k=0}^{n+1}{C}_n^k(-x^2{)}^k$ 对 $x^{n-1}$ 项的系数的贡献是 $2k$，要想凑出 $n-1$，那么后面的贡献就应该是 $n-2k-1$，也就是说后面的 $i=n-2k-1$ 的时候的值就是它的贡献。所以总贡献就是：
$$\sum _{k=0}^{\left[\frac{n+1}{2}\right]}(-1{)}^k{C}_{n+1}^k{C}_{2n-2k-1}^n$$

  所以：
$$\sum _{k=0}^{\left[\frac{n+1}{2}\right]}(-1{)}^k{C}_{n+1}^k{C}_{2n-2k-1}^n=\frac{1}{2}n(n-1)$$

  证毕。