[论文解读] Some supercongruences occurring in truncated hypergeometric series

Линг Лонг, Ravi Ramakrishna|arXiv (Cornell University)|Mar 20, 2014

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

一句话总结

本文利用经典的超几何变换恒等式，证明了截断超几何级数与p进伽马函数乘积之间的新型超同余式。通过将终止超几何级数表示为伽马函数的比值，并将其约化为p进伽马函数的商，作者建立了强于交换形式群定律所预测的同余式，包括对Kibelbek猜想的证明以及对van Hamme猜想在 p ≡ 1 mod 4 情况下的加强版本。

ABSTRACT

For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades or centuries old, allow us to write the terminating series as the ratio of products of of $Γ$-values. At this point sums have become quotients. Writing these $Γ$-quotients as $Γ_p$-quotients, we are in a situation that is well-suited for proving $p$-adic congruences. These $Γ_p$-functions can be $p$-adically approximated by their Taylor series expansions. Sometimes there is cancelation of the lower order terms, leading to stronger congruences. Using this technique we prove, among other things, a conjecture of Kibelbek and a strengthened version of a conjecture of van Hamme.

研究动机与目标

• 建立截断超几何级数与p进伽马函数商之间的超同余式，其强度超过交换形式群定律所暗示的结果。
• 证明Kibelbek关于特定超几何超同余式的猜想。
• 为满足 p ≡ 1 mod 4 的素数，提供van Hamme关于超几何超同余式的加强版本。
• 展示经典超几何变换公式可有效用于通过伽马函数恒等式与p进展开推导p进同余式。

提出的方法

• 利用经典超几何变换公式，包括Clausen公式和Pfaff变换，将终止超几何级数转换为伽马函数的乘积。
• 将所得的伽马函数比值表示为p进伽马函数 Γp 的商。
• 应用 Γp 的p进泰勒级数展开，推导模更高幂次 p 的同余式。
• 通过Kummer的二次变换和Gauss求和公式，关联不同参数下的超几何级数。
• 利用p进伽马函数的反射与乘法性质，简化并比较 Γp 表达式。
• 通过恒等式验证隐式运用Wilf-Zeilberger方法，特别是在验证Karlsson表中的变换时。

实验结果

研究问题

• RQ1 经典超几何恒等式能否用于推导强于交换形式群定律所预测的超同余式？
• RQ2 Kibelbek关于 λ = -1/8 处超几何超同余式的猜想是否在模 p^{2r} 下成立？
• RQ3 能否利用伽马函数恒等式，将 van Hamme 对于 p ≡ 1 mod 4 的超同余式加强至更高幂次的 p 模？
• RQ4 p进伽马函数展开中的消去效应在多大程度上导致截断超几何级数中更强的同余式？
• RQ5 如何利用超几何函数的变换理论，为特定参数选择证明p进同余式？

主要发现

• 作者证明了van Hamme猜想的加强版本，表明当 p ≡ 1 mod 4 时，该超同余式模 p^{2r} 成立，而不仅是此前已知的模 p^r。
• Kibelbek的猜想得到证实：当 p ≡ 1 mod 4 且 a = (1-p)/2 时，超几何级数 3F2 在 λ = -1/8 处满足与p进伽马函数乘积的超同余式。
• 当 a = (1-p)/2 时，恒等式 3F2[ (3a-1,a,1-a); (2a,a+1/2); -1/8 ] = 2^{3a} (Γ(a+1/2)Γ(a/2)/(Γ(3a/2)Γ(1/2)))^2 在p进设定下成立，从而导出一个p进同余式。
• 当 p ≡ 1 mod 4 时，3F2 级数在 λ = -1/8 处的值模 p^{2r} 同余于 -2^{3(p-1)/2} (Γp(1-p)Γp((1+3p)/4)Γp((1+p)/4))^2。
• 该方法通过在变换为 Γp-商后利用p进伽马函数泰勒展开中的消去效应，成功推导出更高阶的p进同余式。
• 该证明技术表明，当经典超几何恒等式与p进分析结合时，可获得强于仅通过形式群定律方法所能得到的同余式。