[論文レビュー] Supercongruences for a truncated hypergeometric series

Roberto Tauraso|arXiv (Cornell University)|Jul 22, 2010

Advanced Mathematical Identities参考文献 3被引用数 6

ひとこと要約

本稿は、$p^2$および$p^3$を法とする切り捨て超幾何級数に関する超合同式を確立し、$a=1,2$ に対して $ frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \tfrac{1}{k^a}$ の形の和を対象とする。Pochhammer商 $Q_p(x)$ を導入し、$a=1$ の場合、和が $Q_p(x) + \tfrac{1}{2}p Q_p(x)^2 \pmod{p^2}$ に合同であることを証明する。$a=2$ の場合、和は $-\tfrac{1}{2}Q_p(x)^2 \pmod{p}$ に合同である。主な貢献は、調和和を含む $x=1/2$ の場合の精密な合同式である：$\sum_{k=1}^{p-1} \frac{(1/2)_k^2}{(1)_k^2} \cdot \frac{1}{k} \equiv -2H_{(p-1)/2}(1) \pmod{p^3}$。

ABSTRACT

The purpose of this note is to obtain some congruences modulo a power of a prime $p$ involving the truncated hypergeometric series $$\sum_{k=1}^{p-1} {(x)_k(1-x)_k\over (1)_k^2}\cdot{1\over k^a}$$ for $a=1$ and $a=2$. In the last section, the special case $x=1/2$ is considered.

研究の動機と目的

• 素数 $p$ のべきを法とする切り捨て超幾何級数に関する新しい超合同式を導出すること。
• Pochhammer商 $Q_p(x)$ を導入し、フェルマー商の $p$-進類似物としてその性質を分析すること。
• 中心二項係数および超幾何和に関する既知の合同式を、より高い法へと拡張すること。
• $x=1/2$ の特殊な場合について、調和和 $H_n(1)$ を含む精密な合同式を確立すること。

提案手法

• 切り捨て級数の部分和を含む重要な超幾何恒等式を証明するために、Wilf-Zeilberger (WZ) 法が用いられる。
• Bernoulli多項式およびそれらの $p^3$ を法とする合同式が、$\sum_{k=0}^{ap-1} \left( \tfrac{1}{x+k} + \tfrac{1}{1-x+k} \right)$ の形の和の解析に用いられる。
• Pochhammer商 $Q_p(x)$ が定義され、有理数 $x=r/m$ に対して、$p^2$ を法としてフェルマー商 $q_p(x)$ と関係していることが示される。
• Wolstenholmeの定理およびClausen-von Staudtの合同式が、$p^3$ を法とする二項係数の合同式を扱うために適用される。
• 多重調和和 $H_n(s_1,\dots,s_d)$ が、有理関数の高階導関数の表現に用いられ、$a=2,3$ に対する合同式の導出が可能になる。
• Bernoulli多項式のRaabeの乗法公式が、$B_{p-3}(1/2)$ を $p$ を法として簡約するために用いられる。

実験結果

リサーチクエスチョン

• RQ1 切り捨て超幾何級数 $\sum_{k=1}^{p-1} \frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \frac{1}{k^a}$ に対して、$p^2$および$p^3$ を法とする超合同式をどのように確立できるか？
• RQ2 Pochhammer商 $Q_p(x)$ の $p$-進構造は何か？ また、フェルマー商 $q_p(x)$ とどのように関係するか？
• RQ3 $\sum_{k=1}^{p-1} \frac{(1/2)_k^2}{(1)_k^2} \cdot \frac{1}{k}$ は、$p^3$ を法として調和和で表現可能か？
• RQ4 多重調和和は、超幾何項に関連する有理関数の $p$-進展開における導関数の展開にどのように現れるか？
• RQ5 Wilf-Zeilberger法は、超合同式に至る恒等式を証明するために果たす役割は何か？

主な発見

• $a=1$ の場合、和 $\sum_{k=1}^{p-1} \frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \frac{1}{k} \equiv Q_p(x) + \tfrac{1}{2}p Q_p(x)^2 \pmod{p^2}$ が成り立ち、ここで $Q_p(x)$ はPochhammer商である。
• $a=2$ の場合、和 $\sum_{k=1}^{p-1} \frac{(x)_k(1-x)_k}{(1)_k^2} \cdot \frac{1}{k^2} \equiv -\tfrac{1}{2}Q_p(x)^2 \pmod{p}$ が成り立つ。
• $x=1/2$ の場合、和 $\sum_{k=1}^{p-1} \frac{(1/2)_k^2}{(1)_k^2} \cdot \frac{1}{k} \equiv -2H_{(p-1)/2}(1) \pmod{p^3}$ が成り立ち、級数が調和和と関連づけられる。
• Pochhammer商は $Q_p(1/2) \equiv -q_p(1/16) \pmod{p^2}$ を満たし、フェルマー商と結びつく。
• 和 $\sum_{k=1}^{n} \frac{(-1)^k}{k^r} \binom{n}{k} \binom{n+k}{k}$ は、$r=2,3$ の場合、多重調和和 $H_n(s_1,\dots,s_d)$ の線形結合として表現可能であり、$p$-進解析が可能になる。
• $n=(p-1)/2$ を用いることで、$H_n(1) \equiv -2q_p(2) - p q_p(2)^2 + \tfrac{2}{3}p^2 q_p(2)^3 + \tfrac{7}{12}p^2 B_{p-3} \pmod{p^3}$ が導出され、主な合同式の検証に不可欠となる。