[論文レビュー] The regularized product of the Fibonacci numbers

Adrian R. Kitson|ArXiv.org|Aug 8, 2006

Advanced Mathematical Theories and Applications被引用数 3

ひとこと要約

この論文は、ゼータ関数正則化を用いて、すべてのフィボナッチ数の正則化された積を計算し、フィボナッチゼータ関数 $\zeta_F(s)$ の微分を介して無限積 $\Delta = \prod_{n=1}^{\infty} f_n$ の解析的表現を導出する。主な結果は $\Delta = \frac{5^{1/4} \exp\left(-\ln^2(5)/(8\ln\phi)\right) c}{\phi^{1/12}}$ であり、ここで $c$ はフィボナッチ階乗定数であり、数値的には約 0.8992126807 である。

ABSTRACT

The regularized product of the Fibonacci numbers is evaluated.

研究の動機と目的

• 標準的意味で発散するため、すべてのフィボナッチ数の正則化された無限積を定義し計算すること。
• 整数や素数に既に適用されているゼータ関数正則化技術を、指数関数的成長を示すフィボナッチ数列へと拡張すること。
• $s=0$ におけるゼータ関数の微分の発散を、漸近展開を用いて主部を分離・除去することで解消すること。
• 正則化された積を、フィボナッチ階乗定数やヤコビ・シータ関数を含む既知の数学定数で表現すること。
• すべてのフィボナッチ数の正則化された積の数値的精度の高い値を提供すること。

提案手法

• 正則化積を $\Delta = \exp(-\zeta_F'(0))$ として定義し、ここで $\zeta_F(s) = \sum_{n=1}^\infty f_n^{-s}$ はフィボナッチゼータ関数である。
• 正則化のため、ビネの公式 $f_n = \frac{\phi^n - (-\phi)^{-n}}{\sqrt{5}}$ を用いて $f_n$ を近似する。
• $\zeta_F'(s)$ を発散する主要項と収束する剰余項に分解し、$s=0$ における極を取り扱う。
• $s=0$ の周りで $\zeta_F'(s)$ をローラン級数展開し、有限部を $\zeta_F'(0)$ として分離する。
• 無限積 $\prod_{n=1}^\infty \left(1 - (-\phi)^{-2n}\right) = c$ を用いて定数項を簡略化する。ここで $c$ はフィボナッチ階乗定数である。
• ヤコビ・シータ関数を介して最終結果を表し、$c = \left(\frac{1}{2}\vartheta_1'\left(0, -i/\phi\right)\right)^{1/3}$ とする。

実験結果

リサーチクエスチョン

• RQ1 標準的積が発散するため、無限積 $\prod_{n=1}^\infty f_n$ の正則化された値は何か？
• RQ2 指数的成長を示すフィボナッチ数のような数列に対して、ゼータ関数正則化はどのように適応可能か？
• RQ3 極を除去した後、$s=0$ における $\zeta_F'(s)$ の有限部は何か？
• RQ4 正則化された積は、既知の特殊関数や定数で表現可能か？
• RQ5 すべてのフィボナッチ数の正則化された積の数値的値は何か？

主な発見

• すべてのフィボナッチ数の正則化された積は $\Delta = \frac{5^{1/4} \exp\left(-\ln^2(5)/(8\ln\phi)\right) c}{\phi^{1/12}}$ であり、ここで $c$ はフィボナッチ階乗定数である。
• $\Delta$ の数値的値は約 0.8992126807 である。
• $s=0$ における $\zeta_F'(s)$ の発散は、主部 $-1/(\ln\phi \cdot s^2)$ を減じることで解消される。
• ローラン展開における $s=0$ での定数項は $\frac{1}{24}\left(2\ln\phi + \frac{3\ln^2 5}{\ln\phi} - 6\ln 5\right) - \ln c$ である。
• フィボナッチ階乗定数 $c$ は $\left(\frac{1}{2}\vartheta_1'\left(0, -i/\phi\right)\right)^{1/3}$ として表現可能であり、これにより結果がモジュラー形式と関連づけられる。
• 最終的な $\Delta$ の式は、ゼータ関数理論における解析接続および正則化技術と整合的である。