Bell数列的生成函数推导

初赛题做到 Bell 数列了,就写一篇看看吧。

虽说这和很多其他数列有关,但是我就暂时只写一篇自己能看懂的 Bell 数列生成函数推导。

在此,我大哥显然已经 AK 了,而我却只是貌似懂了,所以希望指正错误。


定义: Bell 数列第 n 项的定义是把 1∼n 的正整数分配到若干个集合中的方案数.

\(w_n\) 表示 Bell 数列:

\[\begin{aligned} \large w_{n + 1} &= [n = 0] + \sum_{i=0}^n \dbinom{n}{i} w_{n-i} \\ &= [n = 0] + \sum_{i=0}^{n}\dbinom{n}{i} w_i \\ \end{aligned} \]

设其生成函数为 \(\hat{W(x)}\), 根据指数型生成函数卷积,有:

\[\begin{aligned} & e^x=\sum_0^\infty \dfrac{x^i}{i!}(\mathrm{Taylor's\ Formula}), \hat{W(x)} = \sum_{i=0}^\infty w_i \dfrac{x^i}{i!}\\ \iff &e^x \hat{W(x)} = \sum_{i=0}^\infty (\sum_{j=0}^i \dbinom{i}{j}w_j \times 1)\dfrac{x^i}{i!} = \sum_{i=0}^\infty w_{i+1} \dfrac{x^i}{i!} \\ \iff &\int e^x \hat{W(x)} \mathrm{d}x = \hat{W(x)}-1 \\ \end{aligned} \]

其中积分的效果相当于平移:

\[\int \sum_0^\infty f_i \dfrac{x^i}{i!} = \sum_1^\infty f_{i-1} \dfrac{x^i}{i!} \]

\(y = \hat{W(x)}\),两边同时先微分,再积分:

\[\begin{aligned} &\int e^x y\mathrm{d}x =y-1 \\ 两边同时微分& \iff e^x y=y' \iff \dfrac{y'}{y} = e^x \\ 两边同时积分& \iff\int \dfrac{1}{y}y'\mathrm{d}x=\int e^x\mathrm{d}x \iff \ln y = e^x +C\\ &\iff y=e^{e^x+C} \end{aligned} \]

因为 \(\hat{W(x)}=w_0 =[n=0]=1=e^{e^x+C}\), 解得 \(C=-1\)

\(\hat{W(x)} = e^{e^x-1}\)

posted @ 2020-09-27 13:33  云烟万象但过眼  阅读(180)  评论(0编辑  收藏  举报