[论文解读] An explicit formula for Bernoulli numbers in terms of Stirling numbers of the second kind

Qi, Feng|arXiv (Cornell University)|Jan 17, 2014

Advanced Mathematical Identities参考文献 12被引用 28

一句话总结

本文提出了一种关于贝尔数 $B_n$ 的新颖显式公式，该公式以第二类斯特林数 $S(n,k)$ 表示，推导过程基于法卡·布鲁诺公式及第二类贝尔多项式的性质。核心结果将 $B_n$ 表示为包含二项式系数、逆二项式项与 $S(n+i,i)$ 的求和形式，为利用组合数论方法计算贝尔数提供了新途径。

ABSTRACT

In the note, the author discovers an explicit formula for computing Bernoulli numbers in terms of Stirling numbers of the second kind.

研究动机与目标

• 推导贝尔数 $B_n$ 关于第二类斯特林数 $S(n,k)$ 的显式公式。
• 建立贝尔数、斯特林数与第二类贝尔多项式之间的联系。
• 通过组合恒等式与生成函数，提供计算贝尔数的新方法。
• 通过以 $S(n,k)$ 表示并给出闭式表达，统一并推广现有贝尔数公式。

提出的方法

• 对复合函数 $f \circ g(x)$ 应用法卡·布鲁诺公式，其中 $f(y) = 1/y$ 且 $g(x) = \int_0^1 e^{xt} dt$，以推导 $x/(e^x - 1)$ 的 $n$ 阶导数。
• 利用贝尔多项式 $\textup{B}_{n,k}(x_1, \dots, x_{n-k+1})$ 的生成函数，将导数表示为斯特林数的形式。
• 取 $x \to 0$ 的极限，从 $n$ 阶导数中提取贝尔数 $B_n$。
• 通过生成函数与二项式展开，推导 $\textup{B}_{n,k}(0, \underbrace{1, \dots, 1}_{n-k})$ 与 $\textup{B}_{n,k}(1/2, 1/3, \dots, 1/(n-k+2))$ 的恒等式。
• 利用恒等式 $\textup{B}_{n,k}(x_2/2, \dots, x_{n-k+2}/(n-k+2)) = \frac{n!}{(n+k)!} \textup{B}_{n+k,k}(0, x_2, \dots, x_{n+1})$ 关联不同形式的贝尔多项式。
• 将推导出的表达式代入导数公式，最终获得 $B_n$ 的显式公式。

实验结果

研究问题

• RQ1 贝尔数能否通过第二类斯特林数显式表示？
• RQ2 第二类贝尔多项式与贝尔数之间的确切关系是什么？
• RQ3 法卡·布鲁诺公式如何用于推导 $B_n$ 的新恒等式？
• RQ4 是否存在包含 $S(n+i,i)$ 与二项式系数的 $B_n$ 闭式表达？
• RQ5 通过该方法，能否统一或推广现有的贝尔数公式？

主要发现

• 推导出 $B_n$ 的显式公式为 $B_n = \sum_{i=0}^{n} (-1)^i \frac{\binom{n+1}{i+1}}{\binom{n+i}{i}} S(n+i, i)$，提供了一条直接的组合计算路径。
• 通过生成函数与二项式展开，建立了恒等式 $\textup{B}_{n,k}(0, \underbrace{1, \dots, 1}_{n-k}) = \sum_{i=0}^{k} (-1)^i \binom{n}{i} S(n-i, k-i)$。
• 发现 $\textup{B}_{n,k}(1/2, 1/3, \dots, 1/(n-k+2))$ 的新表达式为 $\frac{n!}{(n+k)!} \sum_{i=0}^{k} (-1)^{k-i} \binom{n+k}{k-i} S(n+i, i)$，并将其与 $S(n+i,i)$ 关联。
• 通过结合法卡·布鲁诺公式与极限 $x \to 0$，证明了公式 $B_n = \sum_{k=1}^{n} (-1)^k k! \textup{B}_{n,k}(1/2, 1/3, \dots, 1/(n-k+2))$。
• 通过重索引与组合恒等式（包括 $\sum_{k=i}^{n} \binom{k}{i} = \binom{n+1}{i+1}$）的运用，验证了最终公式的正确性。
• 该结果通过以单一闭式求和表达 $B_n$，推广并统一了先前公式，如 $B_n = \sum_{k=1}^{n} (-1)^k \frac{k!}{k+1} S(n,k)$。