[論文レビュー] Non-recursive expressions for even-index Bernoulli numbers: A remarkable sequence of determinants

Renaat Van Malderen|ArXiv.org|May 20, 2005

Neural Networks and Applications被引用数 7

ひとこと要約

本稿では、生成関数 $ \frac{z}{\sin z} $ に関連する、階差のない明示的公式を用いて偶数添え字のベルヌーイ数 $ B_{2p} $ を表現するための行列式 $ D_k $ の列を用いた非再帰的で明示的な公式を提示する。主な貢献は、$ B_{2p} $ の3つの同等の閉形式表現の導出であり、行列式列 $ D_p $ が $ D_p = \frac{2}{\pi^{2p}} \left(1 - \frac{1}{2^{2p-1}} \right) \zeta(2p) $ として評価されることにより、ベルヌーイ数とリーマン・ゼータ関数が結びつけられる。

ABSTRACT

Bernoulli numbers are usually expressed in terms of their lower index numbers (recursive). This paper gives explicit formulas for Bernoulli numbers of even index. The formulas contain a remarkable sequence of determinants. The value of these determinants for variable dimension is investigated.

研究の動機と目的

• 偶数添え字のベルヌーイ数 $ B_{2p} $ の明示的で非再帰的な表現を導出すること、再帰的計算を回避すること。
• 新しい公式の根拠となる行列式列 $ D_k $ の構造と評価を調査すること。
• 行列式列 $ D_k $、生成関数 $ \frac{z}{\sin z} $、およびリーマン・ゼータ関数 $ \zeta(2p) $ の間の関係を確立すること。
• 変換技術および行列式の恒等式を用いて、$ B_{2p} $ の複数の同等の閉形式表現を提供すること。

提案手法

• サイズが増加する行列式 $ D_k $ の列を定義し、$ D_0 = 1 $ とする。各 $ D_k $ は、奇数の階乗の逆数を含む三重対角型の行列式である。
• 既知のベルヌーイ数の再帰的恒等式から導かれる線形方程式系に対して、行列式の逆行列とクラメルの公式を用いて、最初の非再帰的公式 (2.2) を導出する。
• 生成関数技術および幾何的変換（$ D(z) = \sum D_k z^{2k} $ を通じて）を用い、公式 (2.2)、(2.3)、(2.4) の同等性を証明する。
• 行列式 $ D(z) $ と $ \frac{\sin z}{z} $ の畳み込みが単位インパulseを与えることを示し、$ D(z) = \frac{z}{\sin z} $ であることを示す。
• 複素変数の線積分を用いて、$ D_p $ を $ \frac{1}{z^{2p} \sin z} $ の留数として評価し、積分表現および級数展開を得る。
• 部分分数展開を用いて $ \frac{1}{\sin z} $ を展開し、留数を抽出することで、閉形式表現 $ D_p = \frac{2}{\pi^{2p}} \left(1 - \frac{1}{2^{2p-1}} \right) \zeta(2p) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列式の列を用いて、偶数添え字のベルヌーイ数の明示的で非再帰的な公式を導出可能か？
• RQ2 行列式列 $ D_k $ の閉形式評価は何か？ そして、既知の特殊関数とどのように関係するか？
• RQ3 行列式列の生成関数とベルヌーイ数の生成関数は、変換技術を通じてどのように関連するか？
• RQ4 生成関数の恒等式を用いて、$ B_{2p} $ の複数の同等の表現を導出し、それらの同等性を証明可能か？
• RQ5 行列式 $ D_p $ の漸近的挙動は何か？ また、リーマン・ゼータ関数とどのように関連するか？

主な発見

• 行列式列 $ D_k $ は再帰的関係 $ D_k = \sum_{l=1}^k \frac{(-1)^{l-1} D_{k-l}}{(2l+1)!} $ を満たし、$ D_0 = 1 $ である。また、$ k \geq 1 $ に対して $ \sum_{l=0}^k \frac{(-1)^l D_{k-l}}{(2l+1)!} = 0 $ が成り立つ。
• 列 $ D_k $ の生成関数は $ D(z) = \frac{z}{\sin z} $ であり、これは係数 $ D_p $ の既知の生成関数である。
• 明示的公式 $ B_{2p} = \frac{(-1)^{p+1}(2p)! D_p}{2(2^{2p-1} - 1)} $ は、$ D_p $ を用いた $ B_{2p} $ の非再帰的表現を提供する。
• 行列式 $ D_p $ は $ D_p = \frac{2}{\pi^{2p}} \left(1 - \frac{1}{2^{2p-1}} \right) \zeta(2p) $ として評価され、$ D_p $ と偶数におけるリーマン・ゼータ関数の直接的な関係が示される。
• 漸近的に、$ D_p \sim \frac{2}{\pi^{2p}} $ であり、$ \lim_{p \to \infty} \frac{\pi^{2p} D_p}{2} = 1 $ である。これは、$ D_p $ の大きさが急速に減少することを示している。
• 生成関数の畳み込みおよび留数解析を用いて、すべての3つの公式 (2.2)、(2.3)、(2.4) が同等であることが証明され、異なる表現間の整合性が確認された。