数学百科

母函数

2023-06-26

英文

Generating function

简介

亦称发生函数或生成函数.数论、组合数学、插值与逼近论中的重要数学工具.设关于函数g(t)在t=0的某邻域内收敛的幂级数为

g(t)=antn

这就确定了数列{an}.这时,称g(t)为序列{an}的母函数.对于函数列{fn(x)},类似地,把在(x,t)空间的某个域内关于x,t收敛的级数

K(x,t)=fn(x)tn

称为函数列{fn(x)}的母函数.例如,二项式系数与勒让德多项式的母函数分别为(1+t)n与(1-2tx+t2)-1/2.对于多元的母函数也可同样定义.若已知{an}或{fn(x)}的母函数,则可以给出an与fn(x)的积分表示.例如,对后一种情形,有

其中积分路径c是以原点为中心,正方向的充分小的圆周可以把母函数关于t解析开拓到幂级数的收敛域以外.由于许多重要的正交函数系的简单母函数是已知的,所以借助于母函数,可以导出数列和函数列的许多重要的解析性质.因此,母函数的方法在数学、计算数学与工程力学中被广泛地应用.当参数不是整数n而是连续变量的情形时,可将母函数作为拉普拉斯变换或傅里叶变换的形式来定义,从而可用拉普拉斯变换或傅里叶变换的性质来进行研究.最早将母函数方法应用到数论的广泛领域中去的是欧拉(Euler,L.),他首先用母函数方法解决了线性丢番图方程的解数问题.例如,设n为一正整数,若线性丢番图方程

x+2y+5z+10u+20v+50w=n

的非负整数解的个数为An,则根据幂级数的乘法可知,An的母函数就是

并且乘积级数中sn的系数就是An.因此,由泰勒展开定理得

AnF(n)(0)

 =n((1-s)(1-s2)(1-s5)

  ·(1-s10)(1-s20)(1-s50))-1|s=0.

这就是关于An的一般公式.

在理论与应用中十分重要的伯努利多项式也可以用母函数定义.用母函数

text/et-1=Bn(x)tn/n!

定义的多项式系

称为n次伯努利多项式.由于Bk(0)是

t/et-1=Bn(0)tn/n!

中tk/k!的系数,所以B0(0)=1,B1(0)=-1/2,B2(0)=1/6,…,B2n+1(0)=0,n≥1.当n≥1时,(-1)n-1·B2n(0)>0,称Bn=Bn(0)为伯努利数.此多项式具有重要性质:

Bn(x+1)-Bn(x)=nxn-1

dBn(x)/dx=nBn-1(x).

它们广泛地被应用于插值法等问题中.例如,差分方程

f(x+1)-f(x)=anxn

的多项式解,就要用

f(x)=Bn+1(x)+c

给出,其中c是任意常数.特别地,有公式

1n+2n+…+pn.