母函数与指数型母函数

母函数方法是一套非常有用的方法，应用极广。 这套方法的系统叙述，最早见于Laplace在1812年 的名著—概率解析理论。
我们来看如下的例子：两个骰子掷出6点，有多少 种选法？
注意到，出现1，5有两种选法，出现2，4也有两 种选法，而出现3，3只有一种选法，按加法法则， 共有2+2+1=5种不同选法。
V ( x) (1 x x3 )U( x) P( x)U(x),
其中
P(x) 1 x Baidu Nhomakorabea3
被装置的特性所确定，称为该装置的传递函数。
例2 有红球两个，白球、黄球各一个，试求有多少种 不同的组合方案。
设r，w，y 分别代表红球，白球，黄球。
(1 r r2 )(1 w)(1 y) 1 (r y w) (r2 ry rw yw)
故使两个骰子掷出n点的方法数等价于求
f (t) (t t2 ... t6)2
中tn的系数。
这个函数f(t)称为母函数。
母函数方法的基本思想： 把离散数列和幂级数一一对应起来，把离散数列间 的相互结合关系对应成为幂级数间的运算关系，最 后由幂级数形式来确定离散数列的构造。
再来看下面的例子：
C(m n, r) C(m, 0)C(n, r) C(m,1)C(n, r 1) L C(m, r)C(n, 0).
(1 x)n (1 1/ x)m xm (1 x)mn
[C(n, 0) C(n,1) x L C(n, n) xn ] [C(m, 0) C(m,1) x1 L C(m, m) x m ]
类似还可以得到 C(n,1) 22C(n, 2) L n2C(n, n) n(n 1)2n2.
还可以类似地推出一些等式，但通过上面一些例子 已可见函数(1+x)n在研究序列 C(n,0),C(n,1),…,C(n,n)的关系时所起的作用。
定义：对于序列a0,a1,a2,…，函数 G( x) a0 a1x a2 x2 L
或者，第一个骰子除了6以外都可选，有5种选法， 一旦第一个选定，第二个骰子就只有一种可能的选 法，按乘法法则有5×1=5种。
但碰到用三个或四个骰子掷出n点，上述两方法就 不胜其烦了。
设想把骰子出现的点数1,2,…,6和t,t2,…,t6对应起来， 则每个骰子可能出现的点数与(t+t2+…+t6)中t的各次 幂一一对应。
xm [C(m n, 0) C(m n,1) x C(m n, 2) x2 L C(m n, m n) xmn
比较等式两端的常数项，可以得到恒等式：
C(m n, m) C(n, 0)C(m, 0) C(n,1)C(m,1) L C(n, m)C(m, m).
又如在等式 (1 x)n C(n,0) C(n,1)x L C(n, n)xn
中令x=1 可得 C(n, 0) C(n,1) C(n, 2) L C(n, n) 2n.
两端对x求导可得：
n(1 x)n1 C(n,1) 2C(n,2)x L nC(n,n)xn1,
再令x=1 可得 C(n,1) 2C(n, 2) 3C(n, 3) L nC(n, n) n2n1.
称为序列a0,a1,a2,…的母函数。
例如函数(1+x)n就是序列C(n,0),C(n,1),…,C(n,n)的 母函数。
如若已知序列，则对应的母函数可根据定义给出。 反之，如果已经求出序列的母函数G(x)，则该序列 也随之确定。
例1 下图是一逻辑回路，符号D是一延迟装置，即 在时间t输入一个信号给延迟装置D，在t+1时刻D将 输出同样的信号，符号表示加法装置。
第二章 母函数与递推关系
2.1 母函数与指数型母函数 2.2 递推关系与Fibonacci数列 2.3 线性常系数递推关系 2.4 非线性递推关系举例 2.5 应用举例
2.1 母函数与指数型母函数
1. 母函数 2. 母函数的性质 3. 整数的拆分 4. Ferrers 图像 5. 指数型母函数
1. 母函数
(r 2 y r 2w ryw) r 2 yw.
(1) 取一个球的组合数为3，即分别取红，白，黄。 (2) 取两个球的组合数为4，即两个红的，一红一黄， 一红一白，一白一黄。
(3) 取三个球的组合数为3，即两红一黄，两红一白， 一红一黄一白。
(4) 取四个球的组合数为1，即两红一黄一白。
(1 a1 x)(1 a2 x) (1 an x) 1 (a1 a2 an )x
(a1a2 a1a3 an1an )x2 a1a2 an xn ,
若令a1=a2= …=an=1，则有 (1 x)n 1 C(n,1) x C(n, 2) x2 L C(n, n) xn.
输入u
D
D
D
输出v
若在t=0,1,2,…时刻的输入为u0,u1,u2,…求在这些时 刻的输出v0,v1,v2,…
显然，
v0 u0 , v1 u1 u0 , v2 u2 u1,
v3 u3 u2 u0 , 。
一般的有
vn un un1 un3, n 3.
若信号输入的序列u0,u1,…的母函数为U(x)，输出的 信号序列v0,v1,…的母函数为V(x)，则
这就是二项式展开定理。
(1 x)m (1 x)n (1 x)mn
[C(n,0) C(n,1)x L C(n,n)xn] [C(m,0) C(m,1) x L C(m, m) x m ]
C(m n,0) C(m n,1)x L C(m n,m n)xmn
比较等号两端项对应系数，可以得到恒等式：
若有两个骰子，则
(t t2 ... t6)(t t2 ... t6) t2 2t3 3t4 4t5 5t6 ....
其中t6的系数为5，显然来自于 t1 t5 t6, t2 t4 t6, t3 t3 t6, t4 t2 t6, t5 t1 t6.
这表明，掷出6点的方法一一对应于得到t6的方法。