[论文解读] 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

一句话总结

本文提出两个新的拉马努金型级数，用于卡塔兰常数 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 的阿佩里型无理性证明的可能性。
• 为近期通过计算验证的级数恒等式提供正式证明。

提出的方法

• 利用已知的超几何恒等式 $ {}_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 $ 提供了正式证明，确认了先前通过计算验证的猜想。
• 尽管皮勒鲁德等人近期提出的高次多项式级数具有更快的渐近衰减，但新级数的收敛速度仍更优，原因在于后者的每项计算成本过高。
• 本文证明新级数非常适合用于 G 的高精度计算，因其收敛速度快且每项的算术运算量低。
• 结果表明，鉴于其快速收敛性和有理数结构，新级数可能成为构建 G 的阿佩里型无理性证明的基础。