[论文解读] Generating function identities for $ζ(2n+2), ζ(2n+3)$ via the WZ method

Khodabakhsh Hessami Pilehrood, Tatiana Hessami Pilehrood|arXiv (Cornell University)|Jan 10, 2008

Advanced Mathematical Identities参考文献 7被引用 9

一句话总结

本文使用 Wilf-Zeilberger (WZ) 方法，为已知的 ζ(2n+2) 和 ζ(2n+3) 生成函数恒等式提供了简化且算法化的证明，并推导出新的表示形式，从而得到黎曼 zeta 函数值的收敛速度更快的级数。主要贡献在于系统性地基于 WZ 方法推导出收敛率高达几何比 1/1024 的 Apéry 类级数，包括 ζ(3)、ζ(5) 以及更高阶奇数和偶数 zeta 值的新公式。

ABSTRACT

Using the WZ method we present simpler proofs of Koecher's, Leshchiner's and Bailey-Borwein-Bradley's identities for generating functions of the sequences $\{ζ(2n+2)\}_{n\ge 0}, \{ζ(2n+3)\}_{n\ge 0}.$ By the same method we give several new representations for these generating functions yielding faster convergent series for values of the Riemann zeta function.

研究动机与目标

• 使用 WZ 方法，为 ζ(2n+2) 和 ζ(2n+3) 的经典生成函数恒等式提供更简洁、算法化的证明。
• 推导出新的生成函数表示形式，以获得黎曼 zeta 函数值的更快收敛级数。
• 将 WZ 方法的应用范围扩展至更高阶的 zeta 值，特别是 ζ(3)、ζ(5) 及更高阶值。
• 建立新的 Apéry 类级数，其收敛率显著提升，包括几何收敛比低至 1/1024 的情况。
• 通过以超几何函数和 Pochhammer 符号为基础的恒等式表达生成函数，统一并推广现有结果。

提出的方法

• 利用 WZ 方法构造满足函数方程 F(n+1,k) - F(n,k) = G(n,k+1) - G(n,k) 的 WZ 对 (F(n,k), G(n,k))。
• 应用 WZ 理论中的命题 1：∑ₖ F(0,k) = ∑ₙ G(n,0)，该式将关于 k 的级数与关于 n 的级数联系起来。
• 使用 Pochhammer 符号 (λ)ₙ 和二项式系数来表达 F(n,k) 和 G(n,k) 中的超几何项。
• 设计 F(n,k)，使其包含复变量 a 的参数，以生成 a² 的幂次的生成函数。
• 应用 WZ 算法推导出新的 WZ 对，从而得到收敛速度更快的恒等式，如收敛比为 1/64 或 1/1024 的情况。
• 利用 WZ 对中的对称性与乘积结构，推导出涉及乘积如 ∏ₘ₌₁ⁿ⁻¹(1 - a²/m²) 或 (1 - 4a²/m²) 的恒等式。

实验结果

研究问题

• RQ1 WZ 方法能否用于为 ζ(2n+2) 和 ζ(2n+3) 的已知生成函数恒等式提供更简单、算法化的证明？
• RQ2 通过 WZ 方法可推导出哪些新的生成函数恒等式，以获得 ζ(s) 值的更快收敛级数？
• RQ3 通过 WZ 方法推导出的 ζ(2n+2) 和 ζ(2n+3) 的新 Apéry 类级数的收敛速率是多少？
• RQ4 WZ 方法能否生成统一或推广现有公式（如 Koecher、Leshchiner 和 Bailey-Borwein-Bradley 公式）的恒等式？
• RQ5 如何将 WZ 框架扩展，以生成 ζ(5)、ζ(7) 等值的级数，其收敛性为有理数或超几何形式的改进？

主要发现

• 本文为 Koecher 的恒等式 ∑ₖ ζ(2k+3)a²ᵏ = ∑ₙ 1/(n(n²−a²)) 提供了一种基于 WZ 的新简化证明。
• 推导出一个新的生成函数恒等式：∑ₖ 1/(k(k²−a²)) = ∑ₙ [ (a⁴ − a²(32n²−10n+1) + 2n²(56n²−32n+5)) / (2n³ binom(2n,n) binom(3n,n) ((2n−1)²−a²)(4n²−a²)) ] × ∏ₘ₌₁ⁿ⁻¹(a²/m² − 1)，其几何收敛比为 1/64。
• 推导出一个新的 ∑ₖ 1/(k²−a²) 恒等式，收敛比为 1/64，由此可得 ζ(2) = ∑ₙ (21n−8)/(n³ binom(2n,n)³) 和 ζ(4) 为此类级数的组合。
• 发现一个关于 ∑ₖ 1/(k(k²−a²)) 的新恒等式，其收敛比为 1/1024，由此导出 ζ(3) = (1/2)∑ₙ (-1)ⁿ⁻¹(205n²−160n+32)/(n⁵ binom(2n,n)⁵)，与 Amdeberhan 和 Zeilberger 的已知结果一致。
• 通过比较生成函数中 a² 的系数，本文推导出 ζ(5) 的新级数，结果为包含有理数与调和型项的双重求和表达式。
• WZ 方法成功生成了多个针对 ζ(2n+2) 和 ζ(2n+3) 的新 Apéry 类级数，其收敛速度显著快于经典表示形式。