[論文レビュー] Extensions of Ramanujan's two formulas for $1/\pi$

Chuanan Wei, Dianxuan Gong|arXiv (Cornell University)|Feb 6, 2012

Advanced Mathematical Identities参考文献 17被引用数 7

ひとこと要約

この論文は、超幾何級数の恒等式を用いてラマヌジャンの $1/\pi$ の2つの古典的公式を拡張し、自由パラメータを含む $1/\pi$ の新しい和公式7つを導出する。ゲッセル＝スタントンおよびガスパーの超幾何恒等式を適用することで、整数パラメータを含む一般化が可能となり、$1/\pi$ に収束する新しい無限級数が得られ、パラメータを調整可能で、有理数または代数的係数を有する。

ABSTRACT

In terms of the hypergeometric method, we establish the extensions of two formulas for $1/\\pi$ due to Ramanujan [27]. Further, other five summation formulas for $1/\\pi$ with free parameters are also derived in the same way.

研究の動機と目的

• 超幾何級数の技法を用いて、ラマヌジャンの $1/\pi$ の2つの基盤的公式を拡張すること。
• 既知の結果を一般化する自由整数パラメータを含む $1/\pi$ の新しい和公式を導出すること。
• 既知の超幾何変換恒等式を適用してパラメータ化された恒等式を確立すること。
• パラメータをゼロに設定した場合にラマヌジャンの元来の公式が特別な場合として回復されることを示すこと。
• 解析接続およびパラメータの特殊化を用いて、$1/\pi$ をもたらす超幾何級数の構造を調査すること。

提案手法

• ゲッセル＝スタントンの超幾何恒等式（$z=1$ におけるバランスの取れた $_7F_6$ 級数）を用い、自由パラメータを含む4つの新しい $1/\pi$ 和公式を導出する。
• ガスパーの超幾何恒等式（$z=1$ における $_7F_6$ 級数）を用い、自由パラメータを含む3つの追加の $1/\pi$ 和公式を導出する。
• 超幾何恒等式において $n \to \infty$ の極限を取ることで、$z=1/4$ および $z=1/9$ におけるバランスの取れた $_5F_4$ 級数を導出し、2つのラマヌジャン型級数に対応させる。
• パラメータの代入 $a = \frac{1}{2} + 2p$, $b = \frac{1}{2} + 2q$, $c = \frac{1}{2} + r$ を施し、整数パラメータを含む一般化形式を生成する。
• ポッヒャーマー記号およびガンマ関数の恒等式を用いて、得られた級数を $1/\pi$ の有理数または代数的係数を伴う形に表現する。
• 漸近的解析およびパラメータの極限（例：$c \to -\infty$）を適用し、符号が交互に変わる、および異なる収束性を示す追加の恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ラマヌジャンの2つの $1/\pi$ 公式は、超幾何恒等式を用いて自由整数パラメータを含む形にどのように一般化できるか？
• RQ2 $_5F_4$ 超幾何級数が $z=1/4$ および $z=1/9$ において、自由パラメータを含む正確な $1/\pi$ 評価をもたらす条件は何か？
• RQ3 ゲッセル＝スタントンおよびガスパーの超幾何恒等式は、体系的に新しい $1/\pi$ 和公式を生成するために適用可能か？
• RQ4 どのようなパラメータの代入が、パラメータをゼロに設定したときにラマヌジャンの元来の公式に還元される新しい恒等式をもたらすか？
• RQ5 符号の変化およびパラメータのシフトは、得られる $1/\pi$ 級数の収束性および構造にどのように影響するか？

主な発見

• 定理1は、ラマヌジャンの第一の公式を自由整数パラメータ $p$, $q$, $r$ を含む形に拡張し、条件 $\min\{p+q, p-q\} \geq 0$ の下で、有理数係数をもつ新しい $1/\pi$ 級数を導出する。
• 例1（$p=q=1$, $r=2$）により、$\frac{256}{3\pi} = \sum_{k=0}^{\infty} \frac{(5/2)_k^3}{(k!)^2 (k+2)!} \frac{6k+5}{4^k}$ が得られ、これは新しいパラメータ化された $1/\pi$ 公式である。
• 定理5は、パラメータ $p$, $q$ を含むラマヌジャンの第二の公式を一般化し、$\frac{2(-1)^q}{3^{3q-1/2}\pi} = (1/2)_{p+2q} \sum_{k=0}^{\infty} \frac{(1/2)_{k+3p}(1/2)_{k+3q}(1/2)_{2k-3q}}{k!(k+p-q)!(2k+3p+3q)!} \frac{8k+6p+1}{9^k}$ を得る。
• 例9（$p=q=1$）により、$\frac{1024\sqrt{3}}{405\pi} = \sum_{k=0}^{\infty} \frac{(7/2)_k (-5/4)_k (-3/4)_k}{(k!)^2 (k+3)!} \frac{8k+7}{9^k}$ が得られ、これは新しい正確な $1/\pi$ 級数である。
• 定理3および定理4は、$c \to -\infty$ とすることで符号が交互になる $1/\pi$ 公式を導出し、分母に $(-8)^k$ を含み、$\sqrt{2}/\pi$ のスケーリングを伴う。
• 例5（$p=q=0$）により、ラマヌジャンの元来の公式 $\frac{2\sqrt{2}}{\pi} = \sum_{k=0}^{\infty} \frac{(1/2)_k^3}{(k!)^3} \frac{6k+1}{(-8)^k}$ が回復され、手法の整合性が確認される。