可能不是很严谨,望指正。
定义: Bell 数列第 n 项的定义是把 1∼n 的正整数分配到若干个集合中的方案数.
用
w
n
w_n
wn 表示 Bell 数列:
w
n
+
1
=
[
n
=
0
]
+
∑
i
=
0
n
(
n
i
)
w
n
−
i
=
[
n
=
0
]
+
∑
i
=
0
n
(
n
i
)
w
i
\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}
wn+1=[n=0]+i=0∑n(in)wn−i=[n=0]+i=0∑n(in)wi
设其生成函数为
W
(
x
)
^
\hat{W(x)}
W(x)^, 根据指数型生成函数卷积,有:
e
x
=
∑
0
∞
x
i
i
!
(
T
a
y
l
o
r
′
s
F
o
r
m
u
l
a
)
,
W
(
x
)
^
=
∑
i
=
0
∞
w
i
x
i
i
!
⟺
e
x
W
(
x
)
^
=
∑
i
=
0
∞
(
∑
j
=
0
i
(
i
j
)
w
j
×
1
)
x
i
i
!
=
∑
i
=
0
∞
w
i
+
1
x
i
i
!
⟺
∫
e
x
W
(
x
)
^
d
x
=
W
(
x
)
^
−
1
\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}
⟺⟺ex=0∑∞i!xi(Taylor′s Formula),W(x)^=i=0∑∞wii!xiexW(x)^=i=0∑∞(j=0∑i(ji)wj×1)i!xi=i=0∑∞wi+1i!xi∫exW(x)^dx=W(x)^−1
其中积分的效果相当于平移:
∫
∑
0
∞
f
i
x
i
i
!
=
∑
1
∞
f
i
−
1
x
i
i
!
\int \sum_0^\infty f_i \dfrac{x^i}{i!} = \sum_1^\infty f_{i-1} \dfrac{x^i}{i!}
∫0∑∞fii!xi=1∑∞fi−1i!xi
设
y
=
W
(
x
)
^
y = \hat{W(x)}
y=W(x)^,两边同时先微分,再积分:
∫
e
x
y
d
x
=
y
−
1
两
边
同
时
微
分
⟺
e
x
y
=
y
′
⟺
y
′
y
=
e
x
两
边
同
时
积
分
⟺
∫
1
y
y
′
d
x
=
∫
e
x
d
x
⟺
ln
y
=
e
x
+
C
⟺
y
=
e
e
x
+
C
\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}
两边同时微分两边同时积分∫exydx=y−1⟺exy=y′⟺yy′=ex⟺∫y1y′dx=∫exdx⟺lny=ex+C⟺y=eex+C
因为
W
(
x
)
^
=
w
0
=
[
n
=
0
]
=
1
=
e
e
x
+
C
\hat{W(x)}=w_0 =[n=0]=1=e^{e^x+C}
W(x)^=w0=[n=0]=1=eex+C, 解得
C
=
−
1
C=-1
C=−1
故 W ( x ) ^ = e e x − 1 \hat{W(x)} = e^{e^x-1} W(x)^=eex−1