$\sum_{i=0}^{\infty} a_i x^i=a_0+a_1 x+a_2 x^2+a_3 x^3+...$
最近为了数学竞赛,我研究了有关数列和排列组合的相关问题。由于我讨厌为某个问题而设计专门的技巧,所以我偏爱通用的方法,哪怕过程相对麻烦。因此,我对数学归纳法(递推法)和生成函数法情有独钟。前者只需要列出问题的递归关系,而不用具体分析,最终把问题转移到解函数方程上来。后者则巧妙地把数列${a_n}$与幂级数$\sum_{i=0}^{\infty} a_i x^i$一一对应,巧妙地通过代数运算或微积分运算等得到结果。这里我们不用考虑该级数的敛散性,只需要知道它对应着哪一个“母函数”(母函数展开泰勒级数后得到了级数$\sum_{i=0}^{\infty} a_i x^i$)。显然,这两种方法的最终,都是把问题归结为代数问题。

生成函数法首先由拉普拉斯应用到概率中,然后得到推广,成为一种应用广泛的方法。由于使用的是代数方法,因而扩展性非常强。以后会用一定篇幅来和大家探讨生成函数法的应用,不过在这里我们先来研究一个问题:生成函数法一般对应着的是一个无穷级数,那么给出$a_n$的通项公式,我们得得出$\sum_{i=0}^{\infty} a_i x^i$对应的函数。下面我们要研究的是$\sum_{n=1}^\infty n^m x^n,m\in N_+$,m是常数。即$1^m x+2^m x^2+3^m x^3+...$。

从微积分的知识中,我们已经得到
$$\sum_{n=1}^\infty n^0 x^n=x+x^2+x^3+...=\frac{1}{1-x}-1$$

并且有
$$\sum_{n=1}^\infty n^m x^n=x\sum_{n=1}^\infty n^m x^{n-1}=x\sum_{n=1}^\infty \frac{d(n^{m-1} x^n)}{dx}=x\frac{\sum_{n=1}^\infty n^{m-1} x^n}{dx}$$

通过这个变换,我们将问题的$n^m$“降次”成了$n^{m-1}$,沿着这个思想,我们可以得到递推公式。设$T_m=\sum_{n=1}^\infty n^m x^n$,则

$$T_1=\frac{x}{1-x}$$
$T_{m+1}=x\frac{dT_m}{dx}$

转载到请包括本文地址:https://spaces.ac.cn/archives/986

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Oct. 16, 2010). 《以自然数幂为系数的幂级数 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/986

@online{kexuefm-986,
        title={以自然数幂为系数的幂级数},
        author={苏剑林},
        year={2010},
        month={Oct},
        url={\url{https://spaces.ac.cn/archives/986}},
}