[论文解读] Summation of Divergent Power Series by Means of Factorial Series

Ernst Joachim Weniger|arXiv (Cornell University)|May 4, 2010

Scientific Measurement and Uncertainty Evaluation参考文献 42被引用 4

一句话总结

本文展示了阶乘级数——历史上被低估的工具——在求和发散的逆幂级数方面具有强大的数值方法，例如指数积分 $E_1(z)$ 的渐近展开以及四次谐振子的微扰级数。通过利用斯特林数和正交/三角矩阵变换，该方法将发散级数转化为收敛的阶乘级数，从而在标准求和方法失效时实现精确的数值计算。

ABSTRACT

Factorial series played a major role in Stirling's classic book "Methodus Differentialis" (1730), but now only a few specialists still use them. This article wants to show that this neglect is unjustified, and that factorial series are useful numerical tools for the summation of divergent (inverse) power series. This is documented by summing the divergent asymptotic expansion for the exponential integral $E_{1} (z)$ and the factorially divergent Rayleigh-Schrödinger perturbation expansion for the quartic anharmonic oscillator. Stirling numbers play a key role since they occur as coefficients in expansions of an inverse power in terms of inverse Pochhammer symbols and vice versa. It is shown that the relationships involving Stirling numbers are special cases of more general orthogonal and triangular transformations.

研究动机与目标

• 证明阶乘级数虽被低估但对求和发散的（逆）幂级数极为有效。
• 解决求和在有限项后发散的渐近展开的数值挑战。
• 通过斯特林数和广义线性变换，建立逆幂级数与阶乘级数之间的正式框架。
• 将该方法应用于具体物理问题，包括指数积分和四次谐振子，以验证其实际应用价值。

提出的方法

• 本文利用第一类和第二类斯特林数，推导出逆幂级数与阶乘级数之间的变换公式。
• 将变换表述为涉及下三角矩阵和正交矩阵的矩阵运算，推广至有限和无限级数展开。
• 该方法将发散的渐近级数转化为形式为 $\Omega(z) = \sum_{\nu=0}^{\infty} \frac{a_\nu \nu!}{(z)_{\nu+1}}$ 的收敛阶乘级数，其中 $(z)_{\nu+1}$ 为 Pochhammer 符号。
• 将该变换应用于指数积分 $E_1(z)$ 的发散渐近展开，得到一个收敛的阶乘级数表示。
• 将该方法扩展至四次谐振子的 Rayleigh-Schrödinger 微扰级数，将发散的幂级数转化为收敛的阶乘级数。
• 通过广义线性变换提供理论依据，表明斯特林数恒等式是更广泛正交和三角矩阵关系的特例。

实验结果

研究问题

• RQ1 阶乘级数能否有效求和在特殊函数渐近展开中出现的发散逆幂级数？
• RQ2 斯特林数如何促进逆幂级数与阶乘级数之间的变换？
• RQ3 该方法在多大程度上可超越斯特林数恒等式，推广至其他正交和三角矩阵变换？
• RQ4 该方法能否为物理上相关的发散级数（如量子力学中的级数）产生精确的数值结果？
• RQ5 Pochhammer 符号和阶乘系数在稳定变换后级数收敛性方面起什么作用？

主要发现

• 将发散的指数积分 $E_1(z)$ 渐近展开转化为阶乘级数后，得到一个收敛表示，从而实现精确的数值计算。
• 该方法通过将四次谐振子基态能量的阶乘发散 Rayleigh-Schrödinger 微扰级数转化为收敛阶乘级数，成功实现了求和。
• 第一类和第二类斯特林数被证明在逆幂级数与阶乘级数之间的变换中起核心作用，构成该数学工具的核心。
• 通过斯特林数建立的逆幂与逆 Pochhammer 符号之间的关系，被识别为更广泛正交和三角矩阵变换的特例。
• 本文确立了变换公式的正式有效性，并可推广至无限级数展开，前提是逐项验证收敛性。
• 研究表明，尽管阶乘级数在现代数学和物理文献中被低估，但其具有已验证的数值实用性和坚实的理论基础。