[论文解读] A WZ proof of Ramanujan's Formula for Pi

Shalosh B. Ekhad, Doron Zeilberger|ArXiv.org|Jun 3, 1993

Advanced Mathematical Identities参考文献 1被引用 27

一句话总结

本文使用超几何恒等式与一个证书函数 $G(n,k)$，通过错位求和的方法，对拉马努金关于 $\frac{2}{\pi}$ 的公式给出了一个 WZ（Wilf-Zeilberger）证明。关键贡献在于对 $\frac{2}{\pi}$ 的非终止超几何级数恒等式进行了严格且算法化的验证，结果通过解析延拓至 $n = -1/2$ 后由 Carlson 定理确认。该方法为解析数论中一个经典的重要公式提供了计算机可验证的证明。

ABSTRACT

Ramanujan's series for Pi, that appeared in his famous letter to Hardy, is given a one-line WZ proof.

研究动机与目标

• 使用 WZ 方法，为拉马努金关于 $\frac{2}{\pi}$ 的无穷级数提供一个严格且算法化的证明。
• 建立一个可终止的超几何恒等式，使其对整数 $n$ 一般化拉马努金的公式。
• 通过满足 WZ 函数方程的证书函数 $G(n,k)$ 验证该恒等式。
• 利用 Carlson 定理，从 $n = 0$ 到 $n = -1/2$ 的解析延拓提供合理性依据。
• 证明 WZ 方法可应用于具有数论重要意义的非终止超几何恒等式。

提出的方法

• 将求和项 $F(n,k)$ 定义为超几何项与恒等式左边的比值，形成 WZ 方法所用的归一化函数。
• 构造证书函数 $G(n,k) = \frac{(2k+1)^2}{(2n+2k+3)(4k+1)} F(n,k)$，使其满足 WZ 函数方程。
• 验证 $F(n+1,k) - F(n,k) = G(n,k) - G(n,k-1)$，确认其错位求和性质。
• 对 $k$ 求和，表明 $\sum_k F(n,k)$ 对所有 $n$ 为常数，且通过在 $n=0$ 处求值确定该常数。
• 使用 Carlson 定理，从 $n=0$ 到 $n=-1/2$ 的解析延拓，得到原始的非终止级数。
• 确认在 $n = -1/2$ 时，所得恒等式恢复拉马努金关于 $\frac{2}{\pi}$ 的公式。

实验结果

研究问题

• RQ1 WZ 方法能否用于证明拉马努金关于 $\frac{2}{\pi}$ 的非终止超几何级数？
• RQ2 是否存在一个可终止的超几何恒等式，能一般化拉马努金的公式，并可用 WZ 方法证明？
• RQ3 是否存在证书函数 $G(n,k)$，使得函数方程 $F(n+1,k) - F(n,k) = G(n,k) - G(n,k-1)$ 成立？
• RQ4 能否通过在 $n=0$ 处求值，确定求和 $\sum_k F(n,k)$ 的常数值？
• RQ5 由推导出的恒等式，从 $n=0$ 到 $n=-1/2$ 的解析延拓是否有效，且是否可由 Carlson 定理合理化？

主要发现

• WZ 方法成功证明了对所有正整数 $n$ 的可终止超几何恒等式 (3)，并确立该和等于 $\frac{\Gamma(3/2+n)}{\Gamma(3/2)\Gamma(n+1)}$。
• 对所有 $n$，求和 $\sum_k F(n,k)$ 为常数，且在 $n=0$ 处求值确认该常数为 1。
• 证书函数 $G(n,k)$ 的构造满足 WZ 函数方程，确认了该恒等式的错位求和性质。
• 通过 Carlson 定理将恒等式 (3) 解析延拓至 $n = -1/2$，得到拉马努金公式 (2) 关于 $\frac{2}{\pi}$。
• 通过算法验证，确认所得的 $\frac{2}{\pi}$ 公式为一个有效的非终止超几何级数。
• 本文表明，即使是对数论意义深远的非终止恒等式，也可通过 WZ 方法实现严格证明。