[论文解读] 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$ 的两个经典公式进行推广，推导出包含自由参数的 7 个新的 $1//pi$ 求和公式。通过应用 Gessel-Stanton 和 Gasper 的超几何恒等式，作者将拉马努金的结果推广至整数参数，得到新的无穷级数，其收敛于 $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$ 的两个开创性公式进行推广。
• 推导出包含自由整数参数的新 $1/\pi$ 求和公式，推广已知结果。
• 通过应用已知的超几何变换公式，建立参数化恒等式。
• 在参数趋于零时，恢复拉马努金的原始公式作为特例。
• 通过解析延拓和参数特化，探索产生 $1/\pi$ 的超几何级数的结构。

提出的方法

• 利用 Gessel-Stanton 超几何恒等式（在 $z=1$ 处的平衡 $_7F_6$ 级数）推导出四个新的含自由参数的 $1/\pi$ 求和公式。
• 应用 Gasper 的超几何恒等式（在 $z=1$ 处的 $_7F_6$ 级数）推导出另外三个含自由参数的 $1/\pi$ 求和公式。
• 在超几何恒等式中取 $n \to \infty$ 的极限，得到在 $z=1/4$ 和 $z=1/9$ 处的平衡 $_5F_4$ 级数，对应于两个拉马努金型级数。
• 施加参数代换如 $a = \frac{1}{2} + 2p$，$b = \frac{1}{2} + 2q$，$c = \frac{1}{2} + r$，以生成具有整数参数的广义形式。
• 利用 Pochhammer 符号和伽马函数恒等式，将所得级数表示为具有有理系数或代数系数的 $1/\pi$ 形式。
• 应用渐近分析和参数极限（如 $c \to -\infty$）推导出具有交错符号和不同收敛行为的附加恒等式。

实验结果

研究问题

• RQ1 如何利用超几何恒等式将拉马努金的两个 $1/\pi$ 公式推广，以包含自由整数参数？
• RQ2 在什么条件下，$z=1/4$ 和 $z=1/9$ 处的 $_5F_4$ 超几何级数能精确给出含自由参数的 $1/\pi$ 求值？
• RQ3 Gessel-Stanton 和 Gasper 的超几何恒等式能否系统性地用于生成新的 $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}$，验证了该方法的一致性。