指数式母函数

  在前文我说了母函数的定义。但是母函数绝不是为了根据通项公式求母函数，而是为了根据递推公式求通项公式。但是根据母函数法求通项公式也不是万能的。还记得拉姆齐定理里的公式吗？拉姆齐定义的递推公式是：
$$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!}$$
  也就是：
f ′ ( 0 ) = a 1 f ( 2 ) ( 0 ) 2 = a 2 f ( 3 ) ( 0 ) 3 ! = a 3 ⋮ f ( n ) ( 0 ) n ! = a n f'(0)=a_1\\ \frac{f^{(2)}(0)}{2}=a_2\\ \frac{f^{(3)}(0)}{3!}=a_3\\ \vdots\\ \frac{f^{(n)}(0)}{n!}=a_n\\