[论文解读] A new series for $π^3$ and related congruences

Zhi‐Wei Sun|arXiv (Cornell University)|Sep 27, 2010

Advanced Mathematical Identities参考文献 14被引用 5

一句话总结

本文提出了一种新的关于 $\pi^3$ 的无穷级数，涉及中心二项式系数和广义调和数：$\sum_{k=1}^{\infty}\frac{2^{k}H_{k-1}^{(2)}}{k\binom{2k}{k}} = \frac{\pi^3}{48}$，其收敛速度优于莱布尼茨的 $\pi/4$ 级数。该结果源自涉及欧拉数和调和和模 $p^3$ 的 $p$-进同余式，将级数恒等式与特殊函数的算术性质联系起来。

ABSTRACT

Let $H_n^{(2)}$ denote the second-order harmonic number $\sum_{03$, where $E_0,E_1,E_2,\ldots$ are Euler numbers. Motivated by the Amdeberhan-Zeilberger identity $\sum_{k=1}^\infty(21k-8)/(k^3\binom{2k}k^3)=π^2/6$, we also establish the congruence $$\sum_{k=1}^{(p-1)/2}\frac{21k-8}{k^3\binom{2k}k^3}\equiv(-1)^{(p+1)/2}4E_{p-3}\pmod p$$ for each prime $p>3$.

研究动机与目标

• 发现并证明一个涉及中心二项式系数和二阶调和数的新快速收敛 $\pi^3$ 级数。
• 建立形如 $\sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{2^k}H_k^{(2)} \mod p$ 的和的 $p$-进同余式，将其与欧拉数联系起来。
• 将这些同余式推广到更高阶的 $p$，揭示与 $\zeta(3)$ 和 $\pi^3$ 相关级数中更深层的算术结构。
• 提出并支持关于广义调和和的 $p$-进行为的猜想，涉及 $\binom{2k}{k}/4^k$ 以及 $B_{p-3}, E_{p-3}$。
• 通过二项式系数的变换和模运算，将经典 $\pi^3$ 级数与现代 $p$-进分析相连接。

提出的方法

• 通过 $p$-进同余式推导主级数恒等式：从模 $p^3$ 的已知同余式 $\sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{2^k}H_k^{(2)} \equiv -E_{p-3} \pmod{p}$ 出发，利用二项式系数的对偶性与调和数恒等式对和式进行变换。
• 应用斯特林公式与渐近分析，验证新级数的收敛速率，表明其衰减为 $\sim \frac{\zeta(2)\sqrt{\pi}}{2^k\sqrt{k}}$。
• 使用生成函数恒等式与已知引理（例如，[Su2, 引理 2.1]）将 $\binom{2(p-k)}{p-k}/p$ 与 $\frac{-2}{k\binom{2k}{k}} \mod p$ 联系起来。
• 利用勒让德符号与费马商 $q_p(2) = (2^{p-1}-1)/p$，表达模 $p$ 和 $p^2$ 下涉及 $H_{(p-1)/2}$ 与 $H_k^{(2)}$ 的同余式。
• 将 $k=1$ 到 $p-1$ 的和转化为匹配无穷级数的形式，通过 $p$-进极限，导出 $\pi^3/48$ 的精确恒等式。
• 使用 Mathematica 7 对主恒等式进行数值验证，显示当 $n \geq 500$ 时，结果在 $10^{-150}$ 内一致。

实验结果

研究问题

• RQ1 能否利用调和数与中心二项式系数构造一个关于 $\pi^3$ 的新快速收敛级数？
• RQ2 模 $p^3$ 下，涉及 $\binom{2k}{k}/2^k$ 与 $H_k^{(2)}$ 的和的 $p$-进同余式是什么？
• RQ3 这些同余式如何反映 $\pi^3$ 级数、欧拉数与伯努利数之间更深层的联系？
• RQ4 阿姆德贝兰-齐尔伯格的 $\zeta(2)$ 级数结构能否通过类似的 $p$-进恒等式推广到 $\pi^3$？
• RQ5 涉及 $\binom{2k}{k}/4^k$ 与 $H_k^{(2)}$ 的广义调和和的 $p$-进极限是什么？它们如何与 $B_{p-5}$ 和 $H_{p-1}/p^2$ 相关联？

主要发现

• 本文建立了恒等式 $\sum_{k=1}^{\infty}\frac{2^{k}H_{k-1}^{(2)}}{k\binom{2k}{k}} = \frac{\pi^3}{48}$，这是 $\pi^3$ 的一个新级数，Mathematica 7 之前未记录。
• 该级数收敛速度优于莱布尼茨的 $\pi/4$ 级数，但慢于 Zucker 的 $\pi^3/32$ 级数，其渐近衰减为 $\sim \frac{\zeta(2)\sqrt{\pi}}{2^k\sqrt{k}}$。
• 对任意奇素数 $p>3$，同余式 $\sum_{k=0}^{p-1}\frac{\binom{2k}{k}}{2^k}H_k^{(2)} \equiv -E_{p-3} \pmod{p}$ 成立，将调和和与欧拉数联系起来。
• 证明了恒等式 $\sum_{k=1}^{p-1}\frac{\binom{2k}{k}}{4^k}H_k \equiv 2 - 2p + 4p^2 q_p(2) \pmod{p^3}$，将调和和与费马商联系起来。
• 本文证明了 $\sum_{k=0}^{(p-1)/2}(21k+8)\binom{2k}{k}^3 \equiv 8p + (-1)^{(p-1)/2}32p^3 E_{p-3} \pmod{p^4}$，将已知同余式推广至更高精度。
• 提出了关于涉及 $\binom{2k}{k}/k4^k$ 与 $H_k^{(2)}$ 的和的 $p$-进行为的猜想，其与 $B_{p-5}$ 和 $H_{p-1}/p^2$ 相关联，且有 Mathematica 的数值证据支持。