[論文レビュー] A rapidly converging Ramanujan-type series for Catalan's constant

F. M. S. Lima|arXiv (Cornell University)|Jul 13, 2012

Advanced Mathematical Identities参考文献 8被引用数 5

ひとこと要約

本稿では、超幾何恒等式から導かれた2つの新しいラマヌジャン型級数を、カタラン定数Gに対して提示する。これらは、これまでに知られていた中心二項係数級数、ラマヌジャンのオリジナルの式およびルパスの最近の級数よりも著しく速い収束を示す。主な貢献は、$ \binom{2n}{n}^3 $ と $ 2^{3n} $ を分母に含む高速収束級数であり、Gに対するアペリー風の無理数性証明の可能性を示唆している。

ABSTRACT

In this note, by making use of a known hypergeometric series identity, I prove two Ramanujan-type series for the Catalan's constant. The convergence rate of these central binomial series surpasses those of all known similar series, including a classical formula by Ramanujan and a recent formula by Lupas. Interestingly, this suggests that an Apéry-like irrationality proof could be found for this constant.

研究の動機と目的

• カタラン定数Gの新しい高速収束ラマヌジャン型級数を導出すること。
• ラマヌジャンおよびルパスの式を含む、既知のすべての中心二項係数級数を上回る収束速度を達成すること。
• 新規級数を用いたアペリー風のGの無理数性証明の可能性を検討すること。
• Gに関連する最近の計算的に確認された級数恒等式の正式な証明を提供すること。

提案手法

• 超幾何級数 $ {}_3F_2\left(\frac{1}{2},1,1;\frac{3}{2},\frac{3}{2};1\right) = 2G $ に既知の恒等式を適用すること。
• 超幾何級数を $ \binom{2n}{n}^{-3} $ と $ 2^{3n} $ を含む中心二項係数級数に変換すること。
• 一般項の漸近的解析により収束速度を確立し、$ 2^{-3n}/\sqrt{n} $ に比例する減衰を示すこと。
• 組合せ的恒等式の適用により、新規級数が以前に予想され計算的に確認された式と等価であることを正式に証明すること。
• 複数の級数における誤差項の比較により、優れた収束速度を実証すること。
• WZ法および記号計算を用いて中間ステップおよび恒等式の妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 カタラン定数の新しいラマヌジャン型級数を、これまでに知られている類似級数よりも速く収束する形で導出可能か？
• RQ2 新規級数の収束速度は、Gに対するアペリー風の無理数性証明の可能性を支持するか？
• RQ3 最近計算的に確認された級数 $ \sum_{k=1}^{\infty} (3k-1) \frac{(-8)^k}{k^3 \binom{2k}{k}^3} = -2G $ は、導出された恒等式を用いて正式に証明可能か？
• RQ4 新規級数の収束速度は、ラマヌジャンおよびルパスの式と定量的に比較してどうなるか？
• RQ5 新規級数の一般項の漸近的挙動は何か？また、計算効率にどのように影響するか？

主な発見

• 新規級数は、ラマヌジャンのオリジナル式およびルパスの級数よりも収束が速く、N項までの絶対誤差が、これまでに知られていたすべての中心二項係数級数よりも小さい。
• 新規級数の一般項は、漸近的に $ \sim \frac{5/\sqrt{3}}{2^{3n} \sqrt{2n+1}} $ に比例する。これは、$ 2^{-3n} $ に支配される収束速度を示しており、ラマヌジャンおよびルパスの級数の $ 2^{-2n} $ 減衰よりも速い。
• 恒等式 $ \sum_{k=1}^{\infty} (3k-1) \frac{(-8)^k}{k^3 \binom{2k}{k}^3} = -2G $ について、正式な証明が提供され、以前に計算的に確認された予想が裏付けられた。
• 新規級数の収束速度は、ピレフロウドらによる非常に最近の高次多項式級数でさえも上回っている。これは、後者の級数がより速い漸近的減衰を示すが、1項あたりの計算コストが高いためである。
• 本稿では、新規級数が、高速収束性と1項あたりの算術演算回数の少なさを兼ね備えているため、Gの高精度計算に適していると示された。
• 結果として、新規級数は、その高速収束性と有理数構造を考慮すると、カタラン定数に対するアペリー風の無理数性証明の基盤として機能する可能性があると示唆された。