指数式母函数

  在前文我说了母函数的定义。但是母函数绝不是为了根据通项公式求母函数，而是为了根据递推公式求通项公式。但是根据母函数法求通项公式也不是万能的。还记得拉姆齐定理里的公式吗？拉姆齐定义的递推公式是：
$$a_n=n{a}_{n-1}-n+2，a_1=3$$
  母函数法只能求两种递推公式的通项公式，线性递推公式和多项式递推公式，而线性递推公式是多项式递推公式最高项次数为1的特殊情况。而拉姆齐公式既不是线性，也不是多项式的。
  但是用一般的母函数也难以求线性递推的通项公式，因为麦克劳林级数里的阶乘非常难消去，所以就有了指数母函数。指数母函数的定义是，如果一个函数的麦克劳林级数展开式中，$\frac{x^n}{n!}$前面的系数如果和数列的第$n$项相等，那么这个函数就是这个数列的指数母函数。比如：
$$e^{2x}=1+2x+\frac{2^2{x}^2}{2!}+\frac{2^3{x}^3}{3!}+\cdots +\frac{2^n{x}^n}{n!}$$
  那么$e^x$就是数列$a_n=2^n$的指数母函数。如果是普通母函数，那么$e^x$是$a_n=\frac{2^n}{n!}$的母函数。指数式母函数为等比数列提供了一个桥梁。

线性递推

  比如说以下递推公式：
$$a_n=2a_{n-1}+3a_{n-2}+4,a_1=1,a_2=2$$
  首先假设函数的母函数是$f(x)$.那么这个函数展开就是：
$$f(x)=f(0)+f^{\prime }(0)x+\frac{f^{(2)}(0)x^2}{2}+\frac{f^{(3)}(0)x^3}{3!}+\cdots +\frac{f^{(n)}(0)x^n}{n!}$$
  也就是：
$$\begin{gathered} f^{\prime }(0)=a_1 \\ \frac{f^{(2)}(0)}{2}=a_2 \\ \frac{f^{(3)}(0)}{3!}=a_3 \\ ⋮ \\ \frac{f^{(n)}(0)}{n!}=a_n \end{gathered}$$
  先别急着求出来，把递推公式套进去，看看：
$$\begin{gathered} \frac{f^{(n)}(0)}{n!}=2\frac{f^{(n-1)}(0)}{(n-1)!}+3\frac{f^{(n-2)}(0)}{(n-2)!}+4 \\ ⟹\frac{f^{(n)}(0)}{n!}=\frac{2n{f}^{(n-1)}(0)}{n!}+\frac{3n(n-1)f^{(n-2)}(0)}{n!}+4\frac{n!}{n!} \\ ⟹f^{(n)}(0)=2n{f}^{(n-1)}(0)+3n(n-1)f^{(n-2)}(0)+4n! \end{gathered}$$
  这种形式的计算，因为分母有个阶乘，用普通的母函数是非常难求的。事实上，根据递推公式，我们知道数列的通项公式肯定是指数级的，假设指数的通项公式为$a_n=c_1{b}_1^n+c_2{b}_2^n+c_3$,那么它的指数式母函数就是：
$$f(x)=c_1{e}^{b_{1}x}+c_2{e}^{b_{2}x}+c_3{e}^x$$
  这个函数的麦克劳林级数为：
$$f(x)=\sum _{n=0}^{\infty }[(c_1{b}_1^n+c_2{b}_2^n+c_3)\frac{x^n}{n!}]$$
  恰好是$a_n=c_1{b}_1^n+c_2{b}_2^n+c_3$的指数式母函数。那么现在未知数有点多，第一步是确定$b_1,b_2$的值。根据递推关系，我们有：
$$\begin{gathered} a_n=c_1{b}_1^n+c_2{b}_2^n+c_3 \\ {a}_{n-1}=c_1{b}_1^{n-1}+c_2{b}_2^{n-1}+c_3 \\ {a}_{n-2}=c_1{b}_1^{n-2}+c_2{b}_2^{n-2}+c_3 \\ {a}_n=2a_{n-1}+3a_{n-2}+4 \\ ⟹ \\ {c}_1{b}_1^n+c_2{b}_2^n+c_3 \\ =2(c_1{b}_1^{n-1}+c_2{b}_2^{n-1}+c_3)+ \\ 3(c_1{b}_1^{n-2}+c_2{b}_2^{n-2}+c_3)+4 \\ =2c_1{b}_1^{n-1}+2c_2{b}_2^{n-1}+2c_3 \\ +3c_1{b}_1^{n-2}+3c_2{b}_2^{n-2}+3c_3+4 \\ =2c_1{b}_1^{n-1}+3c_1{b}_1^{n-2} \\ +2c_2{b}_2^{n-1}+3c_2{b}_2^{n-2} \\ +6c_3+4 \end{gathered}$$
  各项系数都要相等，所以有：
$$\begin{gathered} c_1{b}_1^n=2c_1{b}_1^{n-1}+3c_1{b}_1^{n-2} \\ {c}_2{b}_2^n=2c_2{b}_2^{n-1}+3c_2{b}_2^{n-2} \end{gathered}$$
  其实可以转为方程：
$$\begin{gathered} b^2=2b+3 \\ ⟹b^2-2b-3=(b-3)(b+1)=0 \\ ⟹b_1=3,b_2=-1 \end{gathered}$$
  也就是指数的底数我们已经确定了，数列的通项公式为：
$$a_n=c_1{3}^n+c_2(-1{)}^n+c_3$$
  再算出数列的前三项：$a_1=1,a_2=2,a_3=2a_2+3a_1+4=11$，得到方程：
$$\begin{gathered} 3c_1-c_2+c_3=1 \\ 9c_1+c_2+c_3=2 \\ 27c_1-c_2+c_3=11 \end{gathered}$$
  解得：
$$\begin{gathered} c_1=\frac{5}{12} \\ {c}_2=\frac{-3}{4} \\ {c}_3=-1 \end{gathered}$$
  所以通项公式为：
$$a_n=\frac{5}{12}{3}^n-\frac{3}{4}(-1{)}^n-1$$
  多项式递推后面再说。