[论文解读] A Note on Some Recent Results for the Bernoulli Numbers of the Second Kind

Iaroslav V. Blagouchine|arXiv (Cornell University)|Dec 10, 2016

History and Theory of Mathematics被引用 5

一句话总结

本文表明，一种广泛引用的第二类伯努利数积分表示——通常归因于近期研究者如齐和张或克内斯尔——实际上早在1879年由恩斯特·西罗德首次推导出来。作者使用复围线积分，对西罗德公式提供了简洁的推导，并追溯了该积分表示及这些数渐近行为的历史再发现过程，表明关键结果，包括一阶渐近展开 ~1/(n ln²n)，比现代归因早了数十年，其早期根源可追溯至比奈和西罗德的工作。

ABSTRACT

In a recent issue of the Bulletin of the Korean Mathematical Society, Qi and Zhang discovered an interesting integral representation for the Bernoulli numbers of the second kind (also known as Gregory's coefficients, Cauchy numbers of the first kind, and the reciprocal logarithmic numbers). The same representation also appears in many other sources, either with no references to its author, or with references to various modern researchers. In this short note, we show that this representation is a rediscovery of an old result obtained in the XIXth century by Ernst Schr\\"oder. We also demonstrate that the same integral representation may be readily derived by means of complex integration. Moreover, we discovered that the asymptotics of these numbers were also the subject of several rediscoveries, including very recent ones. In particular, the first-order asymptotics, which are usually (and erroneously) credited to Johan F. Steffensen, actually date back to the mid-XIXth century, and probably were known even earlier.

研究动机与目标

• 确定广泛使用的第二类伯努利数积分表示的真正起源，该表示常被归因于近期研究者。
• 证明同一积分公式早在1879年由恩斯特·西罗德基于对其著作的历史分析而推导出。
• 通过围线积分和留数定理，提供西罗德积分公式的简洁复分析推导。
• 追溯这些数渐近逼近的历史脉络，表明一阶渐近展开 ~1/(n ln²n) 在斯蒂芬森之前数十年即已为人所知。
• 通过突出格雷戈里系数及相关数理论中关键结果的多次再发现，纠正学术记录。

提出的方法

• 作者使用沿关键孔形围线 C 的复围线积分，推导第二类伯努利数的积分表示。
• 推导过程涉及将生成函数转化为复积分，并在 z = -1 处应用留数定理（n+1 阶极点）。
• 围线积分被分为四部分：两条实轴线段和两条圆弧（C_r 和 C_R），当 r→0 且 R→∞ 时，其贡献趋于零。
• 跨分支切割的对数项差异导致一个包含 ln²x + π² 的分母的实积分。
• 所得表达式与 z = -1 处的留数相等，从而得出 |G_n|，再通过 G_n 的交错性质恢复符号。
• 该方法验证了公式 (3) 的有效性，并为其结构提供了严格的复分析依据。

实验结果

研究问题

• RQ1 谁是积分表示 G_n = (-1)^{n+1} ∫₀^∞ du / [(ln²u + π²)(u+1)^n] 的最初发现者？
• RQ2 为何该公式在现代文献中反复被再发现，却未正确归因于西罗德？
• RQ3 19世纪著作中，第二类伯努利数的渐近性质在多大程度上已被预见？
• RQ4 复分析如何以直接且初等的方式推导并验证此积分公式？
• RQ5 渐近近似 |G_n| ~ 1/(n ln²n) 的历史脉络为何？为何它常被错误归因于斯蒂芬森？

主要发现

• 积分表示 G_n = (-1)^{n+1} ∫₁^∞ dt / [(ln²(t-1) + π²) t^n] 由恩斯特·西罗德于1879年首次推导，经对其论文的直接检查得到确认。
• 该公式在现代文献中以不同名称出现——如克内斯尔的表示或齐的积分表示——但缺乏正确的历史归因。
• 渐近行为 |G_n| ~ 1/(n ln²n) 由西罗德于1879年确立，比斯蒂芬森1924年的研究早了45年，甚至更早可追溯至比奈1839年关于相关数的工作。
• |G_n| 的完整渐近展开由克内斯尔（2015年）和内梅斯（2016年）独立再发现，但其早已由 S. C. 范·维因于1950年推导出。
• 复积分方法为西罗德公式提供了直接且初等的证明，验证了其有效性，并从生成函数出发提供了清晰的分析路径。
• 本文通过表明格雷戈里系数理论中的多个关键结果早在19世纪即已为人所知，纠正了学术记录，挑战了现代的归因。