母函数/生成函数

前言

---

% 　　本文致力在追求严谨的前提下尽量通俗易懂。
　　若无法理解部分公式，可尝试将其中的sigma化简为带省略号的形式。本文的例题中含有思维过程，但绝大部分习题中不含思维过程，仅供参考。
　　特殊　规定 $0^0=1$，这样可以避免很多麻烦。

概念

---

% 　　级数　级数是指将数列的项依次用加号连接起来的函数。
　　
　　收敛和发散　若 $n\to \infty$ 时， $f(n)\to 0$ ，我们称级数是收敛的，否则为发散的，即 ${\lim }_{n\to \infty }f(n)=0$.
　　
　　幂级数　形如 $\sum a_n(x-x_0{)}^n$ 的级数，称之为幂级数。其中 $x_0$ 为常数，$a_i$ 为系数。
　　
　　形式幂级数　在形式幂级数中，$x$ 从来不指定一个数值，且对收敛和发散的问题不感兴趣，感兴趣的是系数序列，即 $a_i$，因而在实际变形运算中，既可以认为其是收敛的，也可以认为其是发散的。
　　
　　生成函数　生成函数分成两种，分别为普通型生成函数和指数型生成函数。
　　
　　普通型生成函数　对于任意数列 $a_0,a_1,a_2\cdots a_n$ 用如下方法与一个函数联系起来：$$G(x)=\sum _{i=0}^n{a}_i{x}^i$$　　则称 $G(x)$ 是数列 $a_0,a_1,a_2\cdots a_n$ 的普通生成函数(Ordinary generating function)，缩写为 $\text{OGF}$。
　　
　　指数型生成函数　对于任意数列 $a_0,a_1,a_2\cdots a_n$ 用如下方法与一个函数联系起来：
$$G(x)=\sum _{i=0}^n\frac{a_i}{i!}{x}^i$$　　则称 $G(x)$ 是数列 $a_0,a_1,a_2\cdots a_n$ 的指数型生成函数(Exponential generating function)，缩写为 $\text{EGF}$。

$\text{OGF}$ 变形

---

% 　　事实上，对于 $\text{OGF}$ 变形问题，只需要会证明一条公式即可掌握大部分。
$$\begin{array}{r}\frac{1}{(1-ax{)}^m}=\underset{N\to \infty }{\lim }\sum _{n=0}^N{C}_{n+m-1}^{m-1}{a}^n{x}^n\end{array}$$证　根据等比数列的求和公式，有：$$\underset{n\to \infty }{\lim }\sum _{i=0}^n{a}^i{x}^i=\underset{n\to \infty }{\lim }\frac{1-a^{n+1}{x}^{n+1}}{1-ax}$$　　当级数收敛时，有 ${\lim }_{n\to \infty }{x}^{n+1}=0$，因而有：$$\underset{n\to \infty }{\lim }\sum _{i=0}^n{a}^i{x}^i=\frac{1}{1-ax}$$　　进一步得到：$$\frac{1}{(1-ax{)}^m}={\left(\frac{1}{1-ax}\right)}^m={\left(\underset{n\to \infty }{\lim }\sum _{i=0}^n{a}^i{x}^i\right)}^m$$　　考虑第 $k$ 个括号中，选取 $t_k$ 次项，也就是选取 $a_{t_k}{x}^{t_k}$，则选出来的所有 $k$ 项对 $n=\sum t_k$ 次项有 $a^n$ 的贡献。
　　由隔板问题可以得知，取 $m$ 个数，使得它们的和为 $n$ 的方案数相当于将 $n$ 个物品划分为 $m$ 份，等于在 $n+m-1$ 个物品中插入 $m-1$ 个隔板（$t_i$ 可以为0，因而需要强制每组选一个，并给总数增加隔板个），因而满足 $n=\sum t_k$ 的 $t$ 序列的可能方案共有 $C_{n+m-1}^{m-1}$ 种。故 $n$ 次项前的系数为 $C_{n+m-1}^{m-1}{a}^n$。得证。
　　
　　有了这条公式，我们可以便捷地得到许多结论，但注意反过来也成立，例如当 $m=1$ 时，有：$$\frac{1}{1-ax}=\sum _{i=0}^{\infty }{a}^i{x}^i$$　　当 $m=2$ 时，有：$$\frac{1}{(1-ax{)}^2}=\sum _{i=0}^{\infty }{C}_{i+1}^1{a}^i{x}^i=\sum _{i=0}^{\infty }(i+1)a^i{x}^i$$　　以另一种方式展开可以得到：　　$$\frac{1}{(1-ax{)}^2}={\left(\frac{1}{1-ax}\right)}^2={\left(\sum _{i=0}^{\infty }{a}^i{x}^i\right)}^2$$　　换句话说，我们有$${\left(\sum _{i=0}^{\infty }{a}^i{x}^i\right)}^2=\frac{1}{(1-ax{)}^2}=\sum _{i=0}^{\infty }(i+1)a^i{x}^i$$
　　
　　除此之外，还需要掌握二项式定理和广义二项式定理。其中二项式定理的严格证明需要用到数学归纳法，过程较为复杂，在此不再赘述，仅给出结论：$$(x+y{)}^n=\sum _{k=0}^n{C}_n^k{x}^k{y}^{n-k}$$　　广义二项式定理则是对二项式定理的推广，它使得 $n$ 的值域可以推广到全体实数。$$\begin{array}{r}(x+y{)}^{\alpha }=\sum _{k=0}^{\infty }(\begin{array}{r}\alpha \\ k\end{array})x^{\alpha -k}{y}^k\end{array}$$　　其中$$\left(\begin{array}{r}\alpha \\ k\end{array}\right)=\frac{\alpha (\alpha -1)\cdots (\alpha -k+1)}{k!}$$

$\text{OGF}$ 变形练习

---

例题1　给定三种硬币，面值分别为 $1,2,5$ 并且给定三种硬币的数量分别为 $a,b,c$，求这些硬币所不能组成的最小面额。(hdu 1085)

解　由于总面额是由所有面额相加，对应同底数幂相乘，底数不变，指数相加，因而我们将次数设定为面额，由于方案数量相乘，对应系数相乘，因而我们将系数设定为方案数量，则取面额为1的硬币的生成函数为：
$$\sum _{i=0}^a{x}^i$$　　同理可得分别取面额为2和面额为5的硬币的生成函数，将它们的生成函数乘起来，得：
$$\begin{array}{r}\left(\sum _{i=0}^a{x}^i\right)\left(\sum _{j=0}^b{x}^{2j}\right)\left(\sum _{k=0}^c{x}^{3k}\right)\end{array}$$　　可以发现，结果的 $n$ 次项系数 $a_n$ 即为组成面额为 $n$ 的方案数。则答案为系数为 $0$ 的最小次项的系数。若 $n$ 较小，可以直接暴力拆式子，反之则需要FFT展开。

---

例题2　现在有两个商店 ，在其中一个商店中消费 $i$ 元有 $i$ 种方案，求在两个商店中共消费 $n$ 元的方案数。

解　由于两个商店的相同的，只需要考虑其中一个，可以写出其生成函数为：$$\begin{array}{r}\underset{n\to \infty }{\lim }\sum _{i=0}^{n}i{x}^i=\underset{n\to \infty }{\lim }\sum _{i=1}^{n}i{x}^i\end{array}$$　　则在两商店中消费的生成函数为上式的二次方，化简得：$$\begin{array}{rl}{\left(\underset{n\to \infty }{\lim }\sum _{i=1}^{n}i{x}^i\right)}^2& ={\left(x\underset{n\to \infty }{\lim }\sum _{i=0}^n(i+1)x^i\right)}^2\\ & ={\left(x\underset{n\to \infty }{\lim }\sum _{i=0}^n{C}_{i+1}^1{a}^i{x}^i\right)}^2\\ & ={\left(\frac{x}{(1-x{)}^2}\right)}^2\\ & =\frac{x^2}{(1-x{)}^4}\end{array}$$　　然后拆开：$$\begin{array}{rl}\frac{x^2}{(1-x{)}^4}& =x^2\left(\underset{n\to \infty }{\lim }\sum _{i=0}^n{C}_{i+4-1}^3{x}^i\right)\\ & =\underset{n\to \infty }{\lim }\sum _{i=0}^n{C}_{i+3}^3{x}^{i+2}\end{array}$$ 　　则答案为上式的 $n$ 次项系数。
　　当 $i+2=n$ 时，$i=n-2$，$n$ 次项为 $C_{n-2+3}^3{x}^n$，故答案为 $C_{n+1}^3$。

---

习题1　现在有ABCD四种物体，每种无限个。现在要你拿出共 $n$ 个物体，要求A的个数必需是偶数，B的个数必须是 $5$ 的倍数，C最多拿 $4$ 个，D最多拿 $1$ 个，求可行的方案数量。

解　由题意写出并化简分别取ABCD的生成函数：$$\begin{array}{rl}A(x)& =\underset{n\to \infty }{\lim }\sum _{i=0}^n{x}^{2i}=\frac{1}{1-x^2}\\ B(x)& =\underset{n\to \infty }{\lim }\sum _{i=0}^n{x}^{5i}=\frac{1}{1-x^5}\\ C(x)& =\sum _{i=0}^4{x}^i=\frac{1-x^5}{1-x}\\ D(x)& =\sum _{i=0}^1{x}^i=1+x\end{array}$$　　乘起来，化简，再展开得：$$\begin{array}{rl}\frac{(1-x^5)(1+x)}{(1-x^2)(1-x^5)(1-x)}& =\frac{1+x}{(1+x)(1-x)(1-x)}\\ & =\frac{1}{(1-x{)}^2}\\ & =\underset{n\to \infty }{\lim }\sum _{i=0}^n{C}_{i+1}^1{x}^i\end{array}$$　　因而答案为 $n$ 次项前的系数 $a_i=C_{i+1}^1=i+1$。

---

习题2　有A~H八种物品各无限个，你需要取出其中共 $n$ 个，满足：
　　A：偶数个
　　B：0~1个
　　C：0~2个
　　D：奇数个
　　E：4的倍数个
　　F：0~3个
　　G：不超过1个
　　H：3的倍数个
　　(BZOJ3028)

解　写出分别取A~H的生成函数：
$$\begin{array}{rl}A(x)& =\sum _{i=0}^{\infty }{x}^{2i}=\frac{1}{1-x^2}\\ B(x)& =1+x\\ C(x)& =1+x+x^2=\frac{1-x^3}{1-x}\\ D(x)& =\sum _{i=0}^{\infty }{x}^{2i+1}=x\sum _{i=0}^{\infty }{x}^{2i}=\frac{x}{1-x^2}\\ E(x)& =\sum _{i=0}^{\infty }{x}^{4i}=\frac{1}{1-x^4}\\ F(x)& =1+x+x^2+x^3=\frac{1-x^4}{1-x}\\ G(x)& =1+x\\ H(x)& =\sum _{i=0}^{\infty }{x}^{3i}=\frac{1}{1-x^3}\end{array}$$　　相乘并化简，得：$$\begin{array}{rl}\frac{x(1+x{)}^2(1-x^3)(1-x^4)}{(1-x^2{)}^2(1-x{)}^2(1-x^4)(1-x^3)}& =\frac{x(1+x{)}^2}{(1-x^2{)}^2(1-x{)}^2}\\ & =\frac{x(1+x{)}^2}{(1+x{)}^2(1-x{)}^4}\\ & =\frac{x}{(1-x{)}^4}\end{array}$$　　然后再展开，得：$$\begin{array}{rl}\frac{x}{(1-x{)}^4}& =x\left(\sum _{i=0}^{\infty }{C}_{i+3}^3{x}^i\right)\\ & =\sum _{i=0}^{\infty }{C}_{i+3}^3{x}^{i+1}\end{array}$$　　当 $n=i+1$ 时， $i=n-1$，故答案为 $C_{i+2}^3$。

---

例题3　求序列 $a_i=i^2$ 的生成函数。

解　令该序列的生成函数为 $F(x)$，则：
$$F(x)=\sum _{i=0}^{\infty }{i}^2{x}^i=\sum _{i=1}^{\infty }{i}^2{x}^i\text{\hspace{1em}(1)}$$　　考虑到系数中的二次方不好处理，尝试将其转换为一次。我们有：$$xF(x)=\sum _{i=0}^{\infty }{i}^2{x}^{i+1}\text{\hspace{1em}(2)}$$　　$(1)$式减$(2)$式得：$$\begin{array}{rl}F(x)-xF(x)& =\sum _{i=1}^{\infty }{i}^2{x}^i-\sum _{i=0}^{\infty }{i}^2{x}^{i+1}\\ & =\sum _{i=1}^{\infty }{i}^2{x}^i-\sum _{i=1}^{\infty }(i-1{)}^2{x}^i\\ & =\sum _{i=1}^{\infty }\left(i^2-{\left(i-1\right)}^2\right)x^i\\ & =\sum _{i=1}^{\infty }\left(2i-1\right)x^i\\ & =2\sum _{i=1}^{\infty }i{x}^i-\sum _{i=1}^{\infty }{x}^i\\ & =2x\sum _{i=0}^{\infty }(i+1)x^i-x\sum _{i=0}^{\infty }{x}^i\\ & =\frac{2x}{(1-x{)}^2}-\frac{x}{1-x}\\ & =\frac{2x-x(1-x)}{(1-x{)}^2}\\ & =\frac{x^2+x}{(1-x{)}^2}\\ & =\frac{x(x+1)}{(1-x{)}^2}\end{array}$$　　因而有：$$(1-x)F(x)=\frac{x(x+1)}{(1-x{)}^2}$$　　最终得到：
$$F(x)=\frac{x(x+1)}{(1-x{)}^3}$$

---

例题4　写出卡特兰数的递推式。

解　令第 $n$ 个卡特兰数为 $f_n$，根据定义可得：
$$f_n=[n=0]+\sum _{i=0}^{n-1}{f}_i{f}_{n-i-1}$$　　设其生成函数为 $F(x)$，则
$$\begin{array}{rl}F(x)& =\sum _{n=0}^{\infty }{f}_n{x}^n\\ & =1+\sum _{n=1}^{\infty }{f}_n{x}^n\\ & =1+\sum _{n=1}^{\infty }\left(\sum _{i=0}^{n-1}{f}_i{f}_{n-i-1}\right)x^n\\ & =1+x\sum _{n=1}^{\infty }\left(\sum _{i=0}^{n-1}{f}_i{x}^i\cdot f_{n-i-1}{x}^{n-i-1}\right)\\ & =1+x{F}^2(x)\end{array}$$整理一下，得：$$x{F}^2(x)-F(x)+1=0$$　　以 $F(x)$ 为未知数，解方程，得：$$\begin{array}{rl}\Delta & =(-1{)}^2-4x=1-4x\\ F_1(x)& =\frac{-(-1)+\sqrt{\Delta }}{2x}=\frac{1+\sqrt{1-4x}}{2x}\\ F_2(x)& =\frac{-(-1)-\sqrt{\Delta }}{2x}=\frac{1-\sqrt{1-4x}}{2x}\end{array}$$这里的正负号取哪一个？考虑到$$F(0)=f_0{x}^0=1$$ 而由洛必达法则$$\underset{x\to 0}{\lim }{F}_1(x)=\underset{x\to 0}{\lim }\frac{1+\sqrt{1-4x}}{2x}=\underset{x\to 0}{\lim }-\frac{1}{\sqrt{1-4x}}=-1$$$$\underset{x\to 0}{\lim }{F}_2(x)=\underset{x\to 0}{\lim }\frac{1-\sqrt{1-4x}}{2x}=\underset{x\to 0}{\lim }\frac{1}{\sqrt{1-4x}}=1$$因而有$$F(x)=\frac{1-\sqrt{1-4x}}{2x}=\frac{1-(1-4x{)}^{\frac{1}{2}}}{2x}$$看到分数指数幂，应该能想到用广义二项式定理。
$$\begin{array}{rl}(1-4x{)}^{\frac{1}{2}}& =\sum _{n=0}^{\infty }\left(\genfrac{}{}{0ex}{}{\frac{1}{2}}{n}\right)(-4x{)}^n\end{array}\text{\hspace{1em}(3)}$$其中$$\begin{array}{rl}\left(\genfrac{}{}{0ex}{}{\frac{1}{2}}{n}\right)& =\frac{\frac{1}{2}\left(\frac{1}{2}-1\right)\dots \left(\frac{1}{2}-n+1\right)}{n!}\\ & =\frac{{\prod }_{i=0}^{n-1}\frac{1}{2}-i}{n!}=\frac{{\prod }_{i=0}^{n-1}\frac{1-2i}{2}}{n!}=\frac{{\prod }_{i=1}^{n-1}(1-2i)}{2^{n}n!}\\ & =\frac{(-1)\times (-3)\times (-5)\times \cdots \times (3-2n)}{2^{n}n!}\\ & =\frac{(-1{)}^{n-1}\times 1\times 3\times 5\times \cdots \times (2n-3)}{2^{n}n!}\\ & =\frac{(-1{)}^{n-1}\times (2n-2)!}{2^{n}n!\times 2\times 4\times \cdots \times (2n-2)}\\ & =\frac{(-1{)}^{n-1}\times (2n-2)!}{2^{2n-1}n!(n-1)!}\end{array}$$回代 $(3)$ 式有$$\begin{array}{rl}(1-4x{)}^{\frac{1}{2}}& =\sum _{n=0}^{\infty }\frac{(-1{)}^{n-1}\times (2n-2)!}{2^{2n-1}n!(n-1)!}(-4x{)}^n\\ & =\sum _{n=0}^{\infty }\frac{(-1{)}^{n-1}\times (2n-2)!}{2^{2n-1}n!(n-1)!}(-1{)}^n{2}^{2n}{x}^n\\ & =\sum _{n=0}^{\infty }-2\times \frac{(2n-2)!}{n!(n-1)!}{x}^n\\ & =1-2\sum _{n=1}^{\infty }\frac{(2n-2)!}{n!(n-1)!}{x}^n\end{array}$$回代，得：$$\begin{array}{rl}F(x)& =\frac{1-\left(1-2{\sum }_{n=1}^{\infty }\frac{(2n-2)!}{n!(n-1)!}{x}^n\right)}{2x}\\ & =\frac{{\sum }_{n=1}^{\infty }\frac{(2n-2)!}{n!(n-1)!}{x}^n}{x}\\ & =\sum _{n=0}^{\infty }\frac{(2(n+1)-2)!}{(n+1)!((n+1)-1)!}{x}^n\\ & =\sum _{n=0}^{\infty }\frac{(2n)!}{n!(n+1)!}{x}^n\\ & =\sum _{n=0}^{\infty }\frac{\frac{(2n)!}{n!(2n-n)!}}{n+1}{x}^n\\ & =\sum _{n=0}^{\infty }\frac{C_{2n}^n}{n+1}{x}^n\end{array}$$因而有$$f_n=\frac{C_{2n}^n}{n+1}$$这就是我们要的结论了。

---

例题4　求斐波那契数列的通项式。

解　首先写出它的递推式：$f_0=0,f_1=1,f_i=f_{i-1}+f_{i-2}$，设其生成函数为 $F(x)$，则
$$\begin{array}{rl}F(x)& =\sum _{i=0}^{\infty }{f}_i{x}^i\\ & =x+\sum _{i=2}^{\infty }{f}_i{x}^i\\ & =x+\sum _{i=2}^{\infty }(f_{i-1}+f_{i-2})x^i\\ & =x+\sum _{i=2}^{\infty }{f}_{i-1}{x}^i+\sum _{i=2}^{\infty }{f}_{i-2}{x}^i\\ & =x+x\sum _{i=2}^{\infty }{f}_{i-1}{x}^{i-1}+x^2\sum _{i=2}^{\infty }{f}_{i-2}{x}^{i-2}\\ & =x+x\sum _{i=1}^{\infty }{f}_{i-1}{x}^{i-1}+x^2\sum _{i=2}^{\infty }{f}_{i-2}{x}^{i-2}\\ & =x+x\sum _{i=0}^{\infty }{f}_i{x}^i+x^2\sum _{i=0}^{\infty }{f}_i{x}^i\\ & =x+xF(x)+x^{2}F(x)\end{array}$$　　整理，得
$$(x^2+x-1)F(x)=-x$$　　解得$$F(x)=\frac{x}{1-x-x^2}=x\times \frac{1}{1-x-x^2}$$　　后面部分的生成函数似乎无法展开，那怎么办？考虑裂项。设$$\frac{A}{1-ax}+\frac{B}{1-bx}=\frac{1}{1-x-x^2}$$　　通分，得$$\frac{A(1-bx)+B(1-ax)}{(1-ax)(1-bx)}=\frac{x}{1-x-x^2}$$ 　　化简，得$$\frac{A+B-(Ab+Ba)x}{1-(a+b)x+abx}=\frac{1}{1-x-x^2}$$　　对比两侧系数，可得方程组
$$\{\begin{array}{llcc}& A+B& =& 1\\ & Ab+Ba& =& 0\\ & a+b& =& 1\\ & ab& =& -1\end{array}$$　　解得¹
$$\{\begin{array}{ll}A& =\frac{a}{\sqrt{5}}\\ B& =-\frac{b}{\sqrt{5}}\\ a& =\frac{1+\sqrt{5}}{2}\\ b& =\frac{1-\sqrt{5}}{2}\end{array}$$　　回代，得
$$\begin{array}{rl}F(x)& =x\times \frac{1}{1-x-x^2}\\ & =x\left(\frac{a}{\sqrt{5}}\times \frac{1}{1-ax}-\frac{b}{\sqrt{5}}\times \frac{1}{1-bx}\right)\\ & =\frac{1}{\sqrt{5}}\times \frac{ax}{1-ax}-\frac{1}{\sqrt{5}}\times \frac{ax}{1-bx}\\ & =\frac{1}{\sqrt{5}}\times \sum _{i=0}^{\infty }{a}^{i+1}{x}^{i+1}-\frac{1}{\sqrt{5}}\times \sum _{i=1}^{\infty }{b}^{i+1}{x}^{i+1}\\ & =\frac{1}{\sqrt{5}}\times \left(\sum _{i=0}^{\infty }{a}^{i+1}{x}^{i+1}-\sum _{i=1}^{\infty }{b}^{i+1}{x}^{i+1}\right)\\ & =\sum _{i=1}^{\infty }\frac{1}{\sqrt{5}}\left(a^i-b^i\right)x^i\\ & =\sum _{i=0}^{\infty }\frac{1}{\sqrt{5}}\left(a^i-b^i\right)x^i\end{array}$$

% 　　因而 $n$ 次项系数即为斐波那契数列第 $n$ 项
$$f_n=\frac{1}{\sqrt{5}}\left[{\left(\frac{1+\sqrt{5}}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n\right]$$

---

例题5　已知序列的递推式和边界 $a_0=2,a_n=3a_{n-1}+2$，求通项公式。

解　还是一样，怎么麻烦怎么来
$$\begin{array}{rl}F(x)& =\sum _{n=0}^{\infty }{a}_n{x}^n\\ & =2+\sum _{n=1}^{\infty }(3a_{n-1}+2)x^n\\ & =2+\sum _{n=1}^{\infty }3a_{n-1}{x}^n+2x^n\\ & =2+3x\sum _{n=1}^{\infty }{a}_{n-1}{x}^{n-1}+2\sum _{n=1}^{\infty }{x}^n\\ & =3x\sum _{n=0}^{\infty }{a}_{n-1}{x}^{n-1}+2\sum _{n=0}^{\infty }{x}^n\\ & =3xF(x)+\frac{2}{1-x}\end{array}$$　　整理，得
$$\begin{array}{rl}F(x)& =2\times \frac{1}{1-x}\times \frac{1}{1-3x}\\ & =2\times \left(\sum _{i=0}^{\infty }{x}^i\right)\times \left(\sum _{j=0}^{\infty }{3}^j{x}^j\right)\end{array}$$　　我们枚举第二个括号中选择的项的次数 $k$，则 $n$ 次项系数为 $$a_n=2\sum _{k=0}^n{1}^{n-k}{3}^k=2\sum _{k=0}^n{3}^k=2\times \frac{1-3^{n+1}}{1-3}=3^{n+1}-1$$　　也就是我们要的通项式。

---

习题4　已知递推式 $a_1=1,a_n=2a_{n-1}+3^{n-1}$，求它的通项式。

解　我们可以先考虑 $a_0=1,a_n=2a_{n-1}+3^n$，然后整体移动一位。令 $a$ 的生成函数为 $F(x)$，则
$$\begin{array}{rl}F(x)& =\sum _{n=0}^{\infty }{a}_i{x}^n\\ & =\sum _{n=0}^{\infty }\left([n=0]+2a_{n-1}+3^n\right)x^n\\ & =1+\sum _{n=1}^{\infty }\left(2a_{n-1}+3^n\right)x^n\\ & =1+x\sum _{n=1}^{\infty }2a_{n-1}{x}^{n-1}+\sum _{n=1}^{\infty }{3}^n{x}^n\\ & =1+2x\sum _{n=1}^{\infty }{a}_{n-1}{x}^{n-1}+\left(\sum _{n=0}^{\infty }{3}^n{x}^n\right)-1\\ & =2xF(x)+\frac{1}{1-3x}\end{array}$$　　整理，得
$$\begin{array}{rl}F(x)& =\frac{1}{1-2x}\times \frac{1}{1-3x}\\ & =\left(\sum _{i=0}^{\infty }{2}^i{x}^i\right)\left(\sum _{j=0}^{\infty }{3}^j{x}^j\right)\end{array}$$　　因而 $n$ 次项系数为
$$\begin{array}{rl}{a}_n& =\sum _{k=0}^n{2}^k\times 3^{n-k}\end{array}$$　　可以发现，这是个等比数列，公比为 $\frac{2}{3}$，因而有
$$\begin{array}{rl}{a}_n& =\sum _{k=0}^n{3}^n\times {\left(\frac{2}{3}\right)}^k\\ & =3^n\sum _{k=0}^n{\left(\frac{2}{3}\right)}^k\\ & =3^n\times \frac{1-{\left(\frac{2}{3}\right)}^{n+1}}{1-\frac{2}{3}}\\ & =3^{n+1}\times \left(1-{\left(\frac{2}{3}\right)}^{n+1}\right)\\ & =3^{n+1}\times (1-\frac{2^{n+1}}{3^{n+1}})\\ & =3^{n+1}-2^{n+1}\end{array}$$　　因而满足递推式 $a_1=1,a_n=2a_{n-1}+3^n$ 的数列的通项公式为 $$a_n=3^n-2^n$$

$\text{EGF}$ 变形

　 　 　   对于 $\text{EGF}$，最重要的一条公式为：
$$e^{ax}=\sum _{i=1}^{\infty }\left(\frac{a^i{x}^i}{i!}\right)$$
证　令$$e^x=\sum _{i=0}^{\infty }{c}_i{x}^i\text{\hspace{1em}(4)}$$　　两边同时求导，得到：$$\begin{array}{rl}{e}^x& =\sum _{i=1}^{\infty }i\cdot c_i{x}^{i-1}\\ & =\sum _{i=0}^{\infty }(i+1)c_{i+1}{x}^i\end{array}$$　　因而有：$$\sum _{i=0}^{\infty }{c}_i{x}^i=\sum _{i=0}^{\infty }(i+1)c_{i+1}{x}^i$$　　由于相等的两个多项式其相同次项前的系数相等，有：$$\begin{array}{rl}{c}_i& =(i+1)c_{i+1}\end{array}$$　　等式两侧同时除以 $(i+1)$，得：$$\begin{array}{r}{c}_{i+1}=\frac{c_i}{i+1}=\frac{c_0}{(i+1)!}\end{array}$$　　回代 $(4)$ 式，得：$$\begin{array}{r}{e}^x=\sum _{i=0}^{\infty }\frac{c_0}{i!}{x}^i=c_0\left(\sum _{i=0}^{\infty }\frac{x^i}{i!}\right)\end{array}\text{\hspace{1em}(5)}$$　　当 $x=0$ 时，有：
$$1=e^0=c_0\left(\sum _{i=0}^{\infty }\frac{0^i}{i!}\right)=c_0\left(0^0+0\right)=c_0$$　　回代 $(5)$ 式，得：$$e^x=\sum _{i=0}^{\infty }\frac{x^i}{i!}$$　　令 $x=a{x}^{\prime }$，则有：$$e^{a{x}^{\prime }}\sum _{i=0}^{\infty }=\frac{a^i{x}^i}{i!}$$　　得证。

---

1. 这是个对称的二元方程，由于 $a$ 和 $b$ 可以交换，因而这里只需要保留其中一个解即可。 ↩︎