第一、二类斯特林(Stirling)数的生成函数(母函数)及推导

zorchp

已于 2023-11-04 20:44:49 修改

阅读量6.6k

点赞数 6

分类专栏： Combinatorics 文章标签：线性代数算法

于 2020-04-09 00:38:40 首次发布

本文链接：https://blog.csdn.net/qq_41437512/article/details/105395206

版权

Combinatorics 专栏收录该内容

52 篇文章

订阅专栏

本文深入探讨了斯特林数的定义、性质与应用，包括第一类和第二类斯特林数的生成函数、递推公式和常见性质，适用于组合数学研究。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

文章目录

预备定义
第一类 $St i r l in g$ 数 $s (n, k)$ 及第一类无符号 $St i r l in g$ 数 $c (n, k)$
第二类 $St i r l in g$ 数
参考文献

预备定义

上、下阶乘
约定 $x)^0=(x)_0=1$ ，则 $k\geqslant1$ 时有
$k$ 次上阶乘： $(x)^k=x(x+1)(x+2)\cdots(x+k-1)$ ，
$k$ 次下阶乘： $(x)_k=x(x-1)(x-2)\cdots(x-k+1)$ ，
上、下阶乘的关系： $x)_n=(-1)^n(x)^n$ ， $x)^n=(-1)^n(x)_n$
广义牛顿二项式定理： $(x+y)^\alpha=\sum_{k=0}^{\infty} {\binom{\alpha}{k}x^{\alpha-k}y^{k}}$
其中 $\color{red}\binom{\alpha}{k}=\frac{\alpha(\alpha-1) \ldots(\alpha-k+1)}{k !}=\frac{(\alpha)_{k}}{k !}$

第一类 $St i r l in g$ 数 $s (n, k)$ 及第一类无符号 $St i r l in g$ 数 $c (n, k)$

定义

第一类（带符号） $St i r l in g$ 数 $s (n, k)$ ：
$(x)_n=x(x-1)(x-2)\cdots(x-n+1)=\sum_{k=0}^{n}{s(n,k)x^k}$
第一类无符号 $St i r l in g$ 数 $c (n, k)$ :
$(x)^n=x(x+1)(x+2)\cdots(x+n-1)=\sum_{k=0}^{n}{c(n,k)x^k}$

常用性质

$s (0, 0) = c (0, 0) = 1$
$s (n, n) = c (n, n) = 1$
$\in \mathbb{Z^+}$
$s (n, k) = 0$ ， $\ \ k>n \geqslant 1$
$(-1)^{n+k}c(n,k), n \geqslant k \geqslant 0$
递推性质：
对 $\forall n \geqslant 1,k \geqslant 1$ ， $c (n, k)$ 满足：
$c (n, k) = (n - 1) c (n - 1, k) + c (n - 1, k - 1)$

生成函数及其推导

普通型生成函数

设 $s (n, k)$ 普通型生成函数为 $\mathbf{F}_{s}^{(k)}(x)$ ，则由定义可得：
$\frac{\mathbf{d} \mathbf{F}_{s}^{(k)}(x)}{\mathbf{d} x}+\frac{1}{x} \mathbf{F}_{s}^{(k)}(x)=\mathbf{F}_{s}^{(k-1)}(x)$
此方程不易求解。

指数型生成函数

第一类带符号 $St i r l in g$ 数 $s (n, k)$

$\mathbf{G}_{e}(s(n,k))=\sum_{n\geqslant k} s(n, k) \cdot \frac{x^{n}}{n !}=\frac{[\ln (1+x)]^{k}}{k !}$
证明：
我们考虑二项式的 $1+x)^{z}$ 的展开式，有：
$(1+x)^{z}=e^{z \ln (1+x)}=\sum_{k \geqslant 0} \frac{[\ln (1+x)]^{k}}{k !} z^{k}$
另一方面，我们有：
$(1+x)^{z}=\sum_{n \geqslant 0}\binom{z}{n} x^{n}=\sum_{n \geqslant 0}(z)_{n} \frac{x^{n}}{n !},$
代入 $s (n, k)$ 定义得：
$\begin{aligned} (1+x)^{z} &=\sum_{n \geqslant 0}(z)^{n} \frac{x^{n}}{n !}=\sum_{n \geqslant 0} \sum_{k=0}^{n} s(n, k) z^{k} \frac{x^{n}}{n !} \\ &=\sum_{k \geqslant 0}\left[\sum_{n \geqslant k} s(n, k) \frac{x^{n}}{n !}\right] z^{k}=\sum_{k \geqslant 0} \mathbf{E}_{s}^{(k)}(x) z^{k}, \end{aligned}$
由上述两个式子，可得到：
$\mathbf{E}_{s}^{(k)}(x)=\frac{[\ln (1+x)]^{k}}{k !},$ 证毕。

第一类无符号 $St i r l in g$ 数 $c (n, k)$

$\mathbf{G}_{e}(c(n,k))=\sum_{n \geqslant k} c(n, k) \cdot \frac{x^{n}}{n !}=\frac{[-\ln (1-x)]^{k}}{k !}$
证明：
我们考虑二项式的 $1-x)^{-z}$ 的展开式，有：
$(1-x)^{-z}=e^{-z \ln (1-x)}=\sum_{k \geqslant 0} \frac{[-\ln (1-x)]^{k}}{k !} z^{k},$
另一方面，我们有：
$(1-x)^{-z}=\sum_{n \geqslant 0}\binom{-z}{n}(-1)^{n} x^{n}=\sum_{n \geqslant 0}(z)^{n} \frac{x^{n}}{n !},$
代入 $c (n, k)$ 定义得：
$\begin{aligned} (1-x)^{-z} &=\sum_{n \geqslant 0}(z)^{n} \frac{x^{n}}{n !}=\sum_{n \geqslant 0} \sum_{k=0}^{n} c(n, k) z^{k} \frac{x^{n}}{n !} \\ &=\sum_{k \geqslant 0}\left[\sum_{n \geqslant k} c(n, k) \frac{x^{n}}{n !}\right] z^{k}=\sum_{k \geqslant 0} \mathbf{E}_{c}^{(k)}(x) z^{k}, \end{aligned}$
由上述两个式子，可得到：
$\mathbf{E}_{c}^{(k)}(x)=\frac{[-\ln (1-x)]^{k}}{k !},$ 证毕。

第二类 $St i r l in g$ 数

定义

$\sum_{k=1}^{n} S(n, k)x(x-1)(x-2)\cdots(x-k+1)=\sum_{k=1}^{n} S(n, k)(x)_{k}=x^{n}$

常用性质

$\geqslant 1$
$\geqslant 0$
$\geqslant 1$
$S (n, k) = 0$ ， $\ \ k>n \geqslant 1$
递推性质：
对 $\forall n \geqslant 1,k \geqslant 1$ ， $S (n, k)$ 满足： $S (n, k) = k S (n - 1, k) + S (n - 1, k - 1)$
$k)=\frac{1}{k !} \sum_{i=0}^{k}(-1)^{i}\binom{k}{i}(k-i)^{n}$

生成函数及其推导

普通型生成函数

$\mathbf{G}_{0}(S(n,k))=\sum_{n \geqslant k} S(n, k) x^{n}=\frac{x^{k}}{(1-x)(1-2 x) \cdots(1-k x)}=\frac{x^k}{\prod_{r=1}^k{(1-rx)}}$
证明^[1]：
令 $B_{k}(x)=\sum_{n \geqslant k} S(n, k) x^{n},$
由上述递推关系，两边同乘以 $x^n$ ，并对 $n$ 从 $k$ 到 $+\infty$ 求和，结合生成函数定义，得：
$B_{k}(x)=x B_{k-1}(x)+k x B_{k}(x),$ 于是我们得到：
$B_{k}(x)=\frac{x B_{k-1}(x)}{1-k x}=\frac{x^{2} B_{k-2}(x)}{(1-k x)(1-(k-1) x)}=\ldots=\frac{x^{k}}{\prod_{r=1}^{k}(1-r x)}$

指数型生成函数

$\mathbf{G}_{e}(S(n,k))=\sum_{n \geqslant k} S(n, k) \cdot \frac{x^{n}}{n !}=\frac{\left(e^{x}-1\right)^{k}}{k !}$
证明^[2]：
根据上述性质6可得：
$\begin{aligned} \sum_{n=0}^{\infty} \frac{S(n, k)}{n !} x^{n} & = \sum_{n=0}^{\infty} \frac{1}{k !} \sum_{j=0}^{k}\binom{k}{j} j^{n}(-1)^{k-j} \frac{x^{n}}{n !}\\ & =\sum_{j=0}^{k}(-1)^{k-j} \frac{1}{k !}\binom{k}{j} \sum_{n=0}^{\infty} j^{n} \frac{x^{n}}{n !} \\ & =\sum_{j=0}^{k}(-1)^{k-j} \frac{1}{k !}\binom{k}{j} \mathrm{e}^{j x} \\ & =\frac{1}{k !} \sum_{j=0}^{k}\binom{k}{j}\left(\mathrm{e}^{x}\right)^{j}(-1)^{k-j} \\ & =\frac{\left(\mathrm{e}^{x}-1\right)^{k}}{k !} \end{aligned}$