[論文レビュー] On Bernoulli Numbers and Its Properties

Lin Cong|ArXiv.org|Aug 6, 2004

History and Theory of Mathematics参考文献 2被引用数 4

ひとこと要約

このサーベイ論文は、ベルヌーイ数の歴史的発展、母関数による現代的定義、三角関数および双曲線関数の級数展開における出現を包括的に概説している。主な性質として、クラウゼン＝フォン・シュタウトの定理、正則素数を通じたフェルマーの最終定理における役割、および非常に大きなベルヌーイ数（例：B_{750,000}、300万桁以上）の計算を可能にする効率的計算手法についても詳述している。

ABSTRACT

In this survey paper, I first review the history of Bernoulli numbers, then examine the modern definition of Bernoulli numbers and the appearance of Bernoulli numbers in expansion of functions. I revisit some properties of Bernoulli numbers and the history of the computation of big Bernoulli numbers.

研究の動機と目的

• 古代のべき乗の和から現代の応用に至るベルヌーイ数の歴史的および数学的サーベイを提供すること。
• ベルヌーイ数がコタンジェント、双曲コタンジェント、タンジェント、双曲タンジェント関数の級数展開において果たす役割を説明すること。
• クラウゼン＝フォン・シュタウトの定理や正則素数・不正則素数との関連を含む、深いつながりを持つ数論的性質の探求。
• オイラーの計算から現代の高精度アルゴリズムに至る計算技術の進歩をレビューし、数百万桁のベルヌーイ数の計算を可能にする。
• ベルヌーイ数が数論において果たす重要性、特にクンマーによるフェルマーの最終定理の研究における決定的役割を強調すること。

提案手法

• 母関数 $ \frac{x}{e^x - 1} = \sum_{n=0}^\infty \frac{B_n x^n}{n!} $ を用いてベルヌーイ数を導出し、その定義と漸化式を確立する。
• 母関数を用いて $ \coth(x) $、$ \cot(x) $、$ \tanh(x) $、$ \tan(x) $ の級数展開を導出し、偶数添え字のベルヌーイ数と関連付ける。
• クラウゼン＝フォン・シュタウトの定理を適用し、$ B_{2k} $ の小数部を $ p-1 \mid 2k $ を満たす素数 $ p $ の逆数の和として計算し、$ B_{2k} + \sum_{(p-1)\mid 2k} \frac{1}{p} \in \mathbb{Z} $ を証明する。
• リーマンゼータ関数との関係式 $ \zeta(2k) = (-1)^{k-1} \frac{(2\pi)^{2k}}{2(2k)!} B_{2k} $ を用いて、再帰的計算を避けた大規模ベルヌーイ数の直接計算を可能にする。
• スターリングの近似を用いて、$ k $ が大きい場合の漸近的推定式 $ B_{2k} \simeq (-1)^{k-1} 4 \left( \frac{k}{\pi e} \right)^{2k} \sqrt{\pi k} $ を導出する。
• 歴史的および現代的な計算の主な進歩をレビューし、ゼータ関数との関係を用いて個人用コンピュータ上で $ B_{200,000} $ および $ B_{750,000} $ を直接評価した事例を示す。

実験結果

リサーチクエスチョン

• RQ1 ベルヌーイ数は $ \sum_{k=1}^{n-1} k^r $ の和の公式にどのように現れ、$ n $ の多項式としてべき乗和を表現する役割を果たすか？
• RQ2 ベルヌーイ数と $ \cot(x) $、$ \coth(x) $、$ \tan(x) $、$ \tanh(x) $ の級数展開との間にどのような関係があるか？
• RQ3 クラウゼン＝フォン・シュタウトの定理は $ B_{2k} $ の小数部をどのように決定するか？また、ベルヌーイ数の分母に与える影響は何か？
• RQ4 ベルヌーイ数はクンマーによる正則素数の基準を通じて、フェルマーの最終定理の証明にどのように影響を与えるか？
• RQ5 どのような計算技法が、$ B_{750,000} $ のような極めて大きなベルヌーイ数を直接かつ効率的に計算可能にするか？

主な発見

• 母関数 $ \frac{x}{e^x - 1} = \sum_{n=0}^\infty \frac{B_n x^n}{n!} $ はベルヌーイ数の現代的定義を提供し、$ B_0 = 1 $、$ B_1 = -\frac{1}{2} $、$ B_2 = \frac{1}{6} $、および $ n \geq 1 $ に対して $ B_{2n+1} = 0 $ が成り立つ。
• $ x \cot(x) = \sum_{n=0}^\infty (-1)^n \frac{2B_{2n} (2x)^{2n-1}}{(2n)!} $ の級数展開は、ベルヌーイ数と三角関数の間の関係を示している。
• クラウゼン＝フォン・シュタウトの定理は、$ B_{2k} + \sum_{(p-1)\mid 2k} \frac{1}{p} $ が整数であることを示し、$ B_{2k} $ の小数部を正確に特定可能にする。例えば $ B_{16} \equiv \frac{463}{510} \pmod{1} $ である。
• 素数 $ p = 3n+1 $ の場合、$ B_{2p} $ の小数部は正確に $ \frac{1}{6} $ に等しくなる。$ B_{14} $、$ B_{26} $、$ B_{38} $、$ \dots $ に見られるように、満たす素数の集合が限られるためである。
• クンマーは、素数 $ p $ が正則素数（つまり、$ k = 1, 2, \dots, \frac{p-3}{2} $ の各 $ B_{2k} $ の分子を $ p $ が割り切らないこと）であれば、フェルマーの最終定理が指数 $ p $ に対して成り立つことを証明した。37は最初の不正則素数であり、$ B_{32} $ の分子を割り切る。
• ゼータ関数との関係式を用い、直接計算によりプラウフとフィーは、3,391,993桁の $ B_{750,000} $ を個人用コンピュータで21時間で計算し、計算されたベルヌーイ数の中で最大の記録を樹立した。