定义
母函数，也叫生成函数，是求数列通项公式的强大工具。对于一个函数，它的麦克劳林级数每项
x
n
x^n
xn前的因子，如果是某个数列的第
n
n
n项，那么这个函数就是数列的母函数。比如说
f
(
x
)
=
(
x
+
1
)
2
f(x)=(x+1)^2
f(x)=(x+1)2，它的各阶导数如下：
f
(
x
)
=
(
x
+
1
)
2
f
′
(
x
)
=
2
(
x
+
1
)
f
′
′
(
x
)
=
2
f
(
3
)
(
x
)
=
0
f(x)=(x+1)^2\\ f'(x)=2(x+1)\\ f''(x)=2\\ f^{(3)}(x)=0
f(x)=(x+1)2f′(x)=2(x+1)f′′(x)=2f(3)(x)=0
所以它的展开式为：
f
(
x
)
=
f
(
0
)
+
f
′
(
0
)
x
+
f
′
′
(
0
)
2
!
x
2
=
1
+
2
x
+
x
2
f(x)=f(0)+f'(0)x+\frac{f''(0)}{2!}x^2=1+2x+x^2
f(x)=f(0)+f′(0)x+2!f′′(0)x2=1+2x+x2
所以它是数列
2
,
1
,
0
,
⋯
,
0
2,1,0,\cdots,0
2,1,0,⋯,0的母函数。当然这个例子不需要那么复杂的展开，只需要根据多项式运算法则，把
(
x
+
1
)
2
(x+1)^2
(x+1)2算出来就好了。
求母函数
举个考试的例题来说说母函数的求法，求以下调和数列的母函数：
1
,
1
2
,
1
3
,
⋯
,
1
n
1,\frac{1}2,\frac{1}3,\cdots,\frac{1}n
1,21,31,⋯,n1
对于这种，我们需要建立一种敏感，这肯定是对数函数的展开式。我们先拿
f
(
x
)
=
ln
x
f(x)=\ln x
f(x)=lnx展开试试看：
f
(
x
)
=
ln
x
f
′
(
x
)
=
1
x
f
′
′
(
x
)
=
−
1
x
2
f
(
3
)
x
=
2
x
3
⋮
f
(
n
)
(
x
)
=
(
n
−
1
)
!
x
n
f(x)=\ln x\\ f'(x)=\frac1{x}\\ f''(x)=-\frac1{x^2}\\ f^{(3)}x=\frac2{x^3}\\ \vdots\\ f^{(n)}(x)=\frac{(n-1)!}{x^n}
f(x)=lnxf′(x)=x1f′′(x)=−x21f(3)x=x32⋮f(n)(x)=xn(n−1)!
这个函数的各阶导数在0点是没有函数值的，所以无法在0点展开，但那也不是没有任何办法。可以将函数左移，求下
f
(
x
)
=
ln
(
x
+
1
)
f(x)=\ln(x+1)
f(x)=ln(x+1)的各阶导数：
f
(
x
)
=
ln
(
x
+
1
)
f
′
(
x
)
=
1
x
+
1
f
′
′
(
x
)
=
−
1
(
x
+
1
)
2
f
(
3
)
x
=
2
(
x
+
1
)
3
⋮
f
(
n
)
(
x
)
=
(
n
−
1
)
!
(
x
+
1
)
n
f(x)=\ln (x+1)\\ f'(x)=\frac1{x+1}\\ f''(x)=-\frac1{(x+1)^2}\\ f^{(3)}x=\frac2{(x+1)^3}\\ \vdots\\ f^{(n)}(x)=\frac{(n-1)!}{(x+1)^n}
f(x)=ln(x+1)f′(x)=x+11f′′(x)=−(x+1)21f(3)x=(x+1)32⋮f(n)(x)=(x+1)n(n−1)!
所以展开式为：
f
(
x
)
=
0
+
x
−
1
2
x
2
+
1
3
x
3
+
⋯
+
(
−
1
)
n
−
1
1
n
x
n
f(x)=0+x-\frac1{2}x^2+\frac{1}3x^3+\cdots+(-1)^{n-1}\frac{1}{n}x^n
f(x)=0+x−21x2+31x3+⋯+(−1)n−1n1xn
但是这依旧不是我们想要的结果。因为它是序列：
1
,
−
1
2
,
⋯
,
(
−
1
)
n
−
1
1
n
1,-\frac1{2},\cdots,(-1)^{n-1}\frac{1}{n}
1,−21,⋯,(−1)n−1n1的母函数。好了，如果说把函数换成
f
(
x
)
=
ln
(
1
−
x
)
f(x)=\ln(1-x)
f(x)=ln(1−x)呢，再计算下：
f
(
x
)
=
ln
(
1
−
x
)
f
′
(
x
)
=
−
1
1
−
x
f
′
′
(
x
)
=
−
1
(
1
−
x
)
2
f
(
3
)
x
=
−
2
(
1
−
x
)
3
⋮
f
(
n
)
(
x
)
=
−
(
n
−
1
)
!
(
1
−
x
)
n
f(x)=\ln (1-x)\\ f'(x)=-\frac1{1-x}\\ f''(x)=-\frac1{(1-x)^2}\\ f^{(3)}x=-\frac2{(1-x)^3}\\ \vdots\\ f^{(n)}(x)=-\frac{(n-1)!}{(1-x)^n}
f(x)=ln(1−x)f′(x)=−1−x1f′′(x)=−(1−x)21f(3)x=−(1−x)32⋮f(n)(x)=−(1−x)n(n−1)!
所以麦克劳林级数为：
f
(
x
)
=
0
−
x
−
1
2
x
2
−
1
3
x
3
−
⋯
−
1
n
x
n
f(x)=0-x-\frac1{2}x^2-\frac{1}3x^3-\cdots-\frac{1}{n}x^n
f(x)=0−x−21x2−31x3−⋯−n1xn
所以
ln
(
1
−
x
)
\ln(1-x)
ln(1−x)是
−
1
,
−
1
2
,
⋯
,
−
1
n
-1,-\frac{1}2,\cdots,-\frac{1}{n}
−1,−21,⋯,−n1这个序列的母函数，那么调和数列的母函数就是
−
ln
(
1
−
x
)
-\ln(1-x)
−ln(1−x)就是调和数列的母函数。但是这个写法太难看了，改一改：
−
ln
(
1
−
x
)
=
ln
(
1
−
x
)
−
1
=
ln
1
1
−
x
-\ln(1-x)\\ =\ln(1-x)^{-1}\\ =\ln\frac{1}{1-x}
−ln(1−x)=ln(1−x)−1=ln1−x1
级数法求母函数
前面的方法不是最好的求母函数的方法。事实上把数列各项相加的和就是母函数了。比如以下等比数列：
1
,
2
,
4
,
8
⋯
1,2,4,8\cdots
1,2,4,8⋯
其通项公式为
a
n
=
2
n
−
1
a_n=2^{n-1}
an=2n−1,那么母函数可以这样求：
f
(
x
)
=
1
2
+
x
+
2
x
2
+
4
x
3
+
⋯
+
(
2
x
)
n
=
1
−
(
2
x
)
n
1
−
2
x
=
1
1
−
2
x
(
∣
2
x
∣
<
1
)
\begin{aligned} f(x)&=\frac12+x+2x^2+4x^3+\cdots+(2x)^n\\ &=\frac{1-(2x)^n}{1-2x}\\ &=\frac{1}{1-2x}&(|2x|<1) \end{aligned}
f(x)=21+x+2x2+4x3+⋯+(2x)n=1−2x1−(2x)n=1−2x1(∣2x∣<1)
所以母函数为
1
1
−
2
x
\frac{1}{1-2x}
1−2x1.当然母函数可以随意加上常数项，所以也可以仿照积分，写成
1
1
−
2
x
+
C
\frac{1}{1-2x}+C
1−2x1+C
1435
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
