[論文レビュー] 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

ひとこと要約

この論文は、最近の研究者たち（Qi や Zhang もしくは Knessl など）に帰属される広く引用されている第二種ベルヌーイ数の積分表現が、実際には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年に初めて導出された。これは彼の論文を直接検討することで確認された。
• 同じ公式は現代の文献において、さまざまな名前（Knessl の表現や Qi の積分表現など）で現れるが、適切な歴史的帰属がなされていない。
• 漸近的性質 |G_n| ~ 1/(n ln²n) はシュレーデルによって1879年に確立されており、ステフェンセンの1924年の業績より45年も前である。さらにビネーの1839年の関連数に関する論文にもさかのぼる。
• |G_n| の完全な漸近展開は、Knessl（2015年）と Nemes（2016年）によって独立に再発見されたが、すでに1950年に S. C. Van Veen によって導出済みであった。
• 複素積分法により、シュレーデルの公式の直接的かつ初等的な証明が可能となり、その妥当性が確認され、母関数からの明確な解析的経路が提示された。
• 本論文は、グレゴリー係数の理論における複数の主要な結果が19世紀に既に知られていたことを示し、現代の帰属を疑問視する。