[论文解读] On the coefficients of the asymptotic expansion of n!

Gergýo Nemes|arXiv (Cornell University)|Mar 15, 2010

Mathematics and Applications参考文献 7被引用 15

一句话总结

本文利用 Howard 定理和 Brassesco 与 Méndez 的最新结果，推导出阶乘 n! 渐近展开中 Stirling 系数的显式封闭公式。主要贡献在于提出一个仅使用四则运算和常规第二类 Stirling 数的公式，解决了长期以来缺乏此类显式表达的难题。

ABSTRACT

Applying a theorem of Howard for a formula recently proved by Brassesco and Méndez, we derive new simple explicit formulas for the coefficients of the asymptotic expansion to the sequence of factorials. To our knowledge no explicit formula containing only the four basic operations was known until now.

研究动机与目标

• 推导阶乘 n! 渐近展开中 Stirling 系数的显式封闭表达式。
• 解决长期以来缺乏仅使用四则运算的 Stirling 系数公式这一开放问题。
• 建立 Stirling 系数与常规第二类 Stirling 数之间的联系。
• 通过 Howard 关于势多项式和指数 Bell 多项式的结果，提供一种构造性证明。

提出的方法

• 将 Howard 关于势多项式的定理应用于由 Brassesco 和 Méndez 结果导出的生成函数。
• 定义生成函数 $ G(x) = 2(e^x - x - 1)/x^2 $，其幂级数的逆可通过对导数的处理得到 Stirling 系数。
• 使用指数 Bell 多项式 $ B_{n,i}(0,1,1,\ldots) $ 将系数表示为第二类 Stirling 数的形式。
• 通过包含二项式系数和阶乘项的 Howard 公式表达势多项式 $ G_n^{(z)} $。
• 将 $ z = k + 1/2 $ 和 $ n = 2k $ 代入通解公式，以分离出 $ a_k $。
• 通过结合指数生成函数、Bell 多项式与 Stirling 数恒等式，推导出最终公式。

实验结果

研究问题

• RQ1 能否仅使用四则运算，推导出 Stirling 系数 $ a_k $ 的显式封闭表达式？
• RQ2 Stirling 系数与常规第二类 Stirling 数之间是否存在直接联系？
• RQ3 Howard 关于势多项式的定理能否有效应用于推导阶乘渐近展开的新公式？
• RQ4 Stirling 系数缺乏已知封闭表达式，是由于缺少此类表示，还是仅仅尚未被探索？
• RQ5 公式 $ a_k $ 能否不依赖组合量（如关联 Stirling 数或排列循环计数）来表达？

主要发现

• 本文首次建立了仅使用四则运算和常规第二类 Stirling 数的 Stirling 系数 $ a_k $ 的显式公式。
• 该公式为 $ a_k = \frac{(2k)!}{2^k k!} \sum_{i=0}^{2k} \binom{k+i-1/2}{i} \binom{3k+1/2}{2k-i} 2^i \sum_{j=0}^{i} \binom{i}{j} (-1)^j j! \frac{S(2k+i+j,j)}{(2k+i+j)!} $，其为精确且可通过初等运算计算的表达式。
• 推导过程证实 $ a_k $ 可完全用第二类 Stirling 数 $ S(n,k) $ 表示，解决了关于其封闭形式表示的长期开放问题。
• 结果表明，Stirling 系数可表示为不包含特殊组合函数（如关联 Stirling 数或循环计数函数）的形式。
• 该方法成功将 Howard 关于势多项式的定理应用于一个新颖的生成函数，从而推导出一类新的显式公式。
• 该公式提供了一种构造性且计算上可行的方法来计算 $ a_k $，无需递推关系或复杂的组合求和。