[论文解读] $p$-adic analogues of hypergeometric identities

Guo-Shuai Mao, Hao Pan|arXiv (Cornell University)|Mar 3, 2017

advanced mathematical theories参考文献 44被引用 11

一句话总结

本文通过使用 $p$-进伽马函数证明截断超几何级数模 $p^2$ 的同余式，建立了经典超几何恒等式的 $p$-进类比。它提供了一个统一的框架，证明了 $p$-进的高斯恒等式，并证实了 Deines 等人关于 $p \equiv 1 \pmod{4}$ 时 ${}_4F_3$ 超同余的猜想，扩展了先前关于超同余与变换的结果。

ABSTRACT

We prove some supercongruences for the truncated hypergeometric series.

研究动机与目标

• 建立经典超几何恒等式的 $p$-进类比，特别是模 $p^2$ 的截断超几何级数。
• 为涉及 $p$-进伽马函数和超几何变换的同余式提供统一的证明方法。
• 证实 Deines 等人关于 $p \equiv 1 \pmod{4}$ 时 ${}_4F_3$ 超同余的猜想。
• 将已知的超同余结果（如 Mortenson 和 Sun 的结果）扩展到更广泛的 $p$-进框架中。

提出的方法

• 使用 $p$-进伽马函数 $\Gamma_p$ 将截断超几何级数与 $p$-进值联系起来，从而实现模 $p^2$ 的同余。
• 应用 Gross-Koblitz 公式将高斯和与 $p$-进伽马值联系起来，促进超同余的推导。
• 利用 Pochhammer 符号的 $p$-进插值和 $p$-进对数导数分析模 $p^2$ 下超几何项的行为。
• 利用 $_2F_1$ 函数的库默尔二次变换推导涉及 $\Psi(x)$ 的恒等式，其中 $\Psi(x)$ 是超几何项的生成函数。
• 应用勒让德符号和模 $p$ 的调和和来计算对数导数并验证同余式。
• 依赖恒等式 $\sum_{k=0}^{p-1} \frac{(\frac{1}{2})_k^2}{(k!)^2} (-1)^k \equiv p^2 \sum_{k=(p-1)/2}^{p-1} \frac{(1)_k^2}{(\frac{3}{2})_k^2} (-1)^k \pmod{p^2}$ 来确认 Deines 等人的猜想。

实验结果

研究问题

• RQ1 能否发展一个统一的 $p$-进框架，用于证明模 $p^2$ 的截断超几何级数的超同余？
• RQ2 $p$-进伽马函数相关的经典高斯超几何恒等式的 $p$-进类比是什么？它与 $p$-进伽马函数有何关系？
• RQ3 Deines 等人关于 $p \equiv 1 \pmod{4}$ 时 ${}_4F_3$ 超同余的猜想在模 $p^2$ 下是否成立？
• RQ4 Mortenson 和 Sun 的已知超同余在更广泛的 $p$-进超几何理论中如何推广？

主要发现

• 证明了 $p$-进高斯恒等式：$\sum_{k=0}^{p-1} \frac{(\alpha)_k (\beta)_k}{(1)_k^2} \equiv -\frac{\Gamma_p(1-\alpha-\beta)}{\Gamma_p(1-\alpha)\Gamma_p(1-\beta)} \pmod{p^2}$，前提是 $p < \langle \alpha \rangle_p + \langle \beta \rangle_ p$。
• 建立了平衡型 ${}_4F_3$ 变换的 $p$-进类比，将已知的超同余推广到更广泛的恒等式类别。
• 证实了 Deines 等人的猜想：对于满足 $p \equiv 1 \pmod{4}$ 的素数，有 $\sum_{k=0}^{p-1} \left( \frac{(\frac{1}{2})_k}{k!} \right)^2 (-1)^k \equiv p^2 \sum_{k=(p-1)/2}^{p-1} \left( \frac{k!}{(\frac{3}{2})_k} \right)^2 (-1)^k \pmod{p^2}$。
• 该方法统一了 Mortenson 和 Sun 的先前结果，表明他们的 $p^2$-同余是更广泛 $p$-进超几何框架下的特例。
• 超几何生成函数 $\Psi(x)$ 的对数导数满足 $\Psi'(0) \equiv 2\Psi(0) H_{(p-1)/2} \pmod{p}$，这是验证猜想的关键。
• 推导出恒等式 $p^2 \cdot \frac{(1)_{p-1}^2}{(\frac{3}{2})_{p-1}^2} \equiv 1 - 2p H_{p-1} \pmod{p^2}$，将 Pochhammer 符号与 $p$-进设置下的调和和联系起来。