[论文解读] A new Ramanujan-like series for $1/\pi^2$

Jesús Guillera|arXiv (Cornell University)|Mar 9, 2010

Advanced Mathematical Identities参考文献 13被引用 6

一句话总结

本文使用WZ方法证明了一个新的类似拉马努金的 $1/\pi^2$ 级数，建立了涉及三个级数的超几何恒等式。关键贡献是通过一个WZ对推导出一个新的快速收敛的 $1/\pi^2$ 级数，其在 $k=0$ 处的闭式求值为 $\sum_{n=0}^\infty \left(\frac{27}{64}\right)^n \frac{(\frac{1}{2})_n^3 (\frac{1}{3})_n (\frac{2}{3})_n}{(1)_n^5} (74n^2 + 27n + 3) = \frac{48}{\pi^2}$。

ABSTRACT

Our main results are a WZ-proof of a new Ramanujan-like series for $1/\\pi^2$ and a hypergeometric identity involving three series.

研究动机与目标

• 通过WZ方法发现并严格证明一个新的类似拉马努金的 $1/\pi^2$ 级数。
• 通过WZ对框架建立涉及三个级数的超几何恒等式。
• 为一个新级数提供WZ证明，该级数收敛于 $48/\pi^2$，并为 $1/\pi^2$ 级数家族做出贡献。
• 探索是否存在一种类似模形式的理论，可解释此类级数，而不仅限于现有的WZ证明方法。

提出的方法

• 将WZ方法应用于超几何函数 $F(n,k)$，使用 EKHAD 软件发现并验证一个WZ对 $(F,G)$。
• 该对满足基本WZ方程 $F(n+1,k) - F(n,k) = G(n,k+1) - G(n,k)$，从而实现对 $n$ 的求和。
• 利用上升阶乘（Pochhammer符号）和伽马函数恒等式，将级数重写为广义超几何函数的形式。
• 利用斯特林公式和已知的渐近逼近，计算极限 $\lim_{k\to\infty} \sum_n G(n,k)$，结果为 $48/\pi^2$。
• 对 $F(n,k)$ 应用变量替换 $k \to k+n$，以导出一个新的WZ对，从而获得具有更好收敛性质的新级数。
• 通过将WZ求和公式应用于该平移后的对，推导出超几何恒等式 (18) 及其等价形式 (19)，从而建立起不同类型级数之间的联系。

实验结果

研究问题

• RQ1 能否使用WZ方法发现并证明一个新的类似拉马努金的 $1/\pi^2$ 级数？
• RQ2 当参数 $k$ 被平移时，WZ对结构会引出何种超几何恒等式？
• RQ3 WZ方法如何实现对包含 $\left(\frac{27}{64}\right)^n$ 和Pochhammer符号的级数求和，结果为 $48/\pi^2$？
• RQ4 是否存在更深层的模结构解释此类 $1/\pi^2$ 级数，还是WZ方法是目前唯一已知的证明技术？

主要发现

• 推导出一个新的由WZ方法证明的 $1/\pi^2$ 级数：$\sum_{n=0}^\infty \left(\frac{27}{64}\right)^n \frac{(\frac{1}{2})_n^3 (\frac{1}{3})_n (\frac{2}{3})_n}{(1)_n^5} (74n^2 + 27n + 3) = \frac{48}{\pi^2}$。
• 该级数的收敛速度比早期例子更快，例如 $k=1$ 情况下得到 $\sum_{n=0}^\infty \frac{(\frac{1}{2})_n^4}{(1)_n^4} \frac{8n^2 + 8n + 1}{(n+1)^2} = \frac{16}{\pi^2}$。
• 建立了超几何恒等式 (18)，将 $1/\pi^2$ 的广义级数与一个拉马努金型级数及一个涉及 $1/k+3x$ 的新超几何级数联系起来。
• 该恒等式以等价形式 (19) 重新表达，揭示了 $\pi^2$ 与包含 $\left(\frac{16}{27}\right)^x$ 和Pochhammer符号的级数之间的联系。
• 在恒等式中令 $x = 1/2$，可得新公式：$\sum_{n=0}^\infty \left(\frac{27}{64}\right)^n \frac{(1)_n^3 (\frac{1}{6})_n (\frac{5}{6})_n}{(\frac{1}{2})_n^5} \frac{(74n^2 + 101n + 35)(6n+1)}{(2n+1)^5} = \frac{16\pi^2}{3}$。
• WZ方法成功证明了新级数，本文还强调了建立一种模理论以统一此类恒等式，超越WZ方法证明的必要性。