[論文レビュー] Generalized Legendre polynomials and related congruences modulo $p^2$

Zhi-Hong Sun|arXiv (Cornell University)|Jan 27, 2011

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

ひとこと要約

本稿では、二項係数を含む超幾何型和の $ p^2 $ を法とする合同式を研究するために一般化されたレジェンドル多項式 $ P_n(a,x) $ を導入する。再帰関係および $ p $-進付値の性質を用いて、$ P_{p-1}(a,x) \equiv (-1)^{\langle a\rangle_p} P_{p-1}(a,-x) \pmod{p^2} $ を証明する。これは、$ \sum_{k=0}^{p-1} \frac{\binom{2k}{k}^2}{16^k} \equiv \left(\frac{-1}{p}\right) \pmod{p^2} $ のような和に関するロドリゲス＝ヴィレガスおよびスンの超合同式の予想を一般化・統一する。主な貢献は、このような和の $ p^2 $ を法とする一般化された合同式枠組みの確立である。

ABSTRACT

For any positive integer $n$ and variables $a$ and $x$ we define the generalized Legendre polynomial $P_n(a,x)=\sum_{k=0}^n\b ak\b{-1-a}k(\frac{1-x}2)^k$. Let $p$ be an odd prime. In the paper we prove many congruences modulo $p^2$ related to $P_{p-1}(a,x)$. For example, we show that $P_{p-1}(a,x)\e (-1)^{_p}P_{p-1}(a,-x)\mod {p^2}$, where $_p$ is the least nonnegative residue of $a$ modulo $p$. We also generalize some congruences of Zhi-Wei Sun, and determine $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k{54^{-k}}$ and $\sum_{k=0}^{p-1}\binom ak\binom{b-a}k\mod {p^2}$, where $[x]$ is the greatest integer function. Finally we pose some supercongruences modulo $p^2$ concerning binary quadratic forms.

研究の動機と目的

• 二項係数を含む超幾何和の $ p^2 $ を法とするロドリゲス＝ヴィレガスおよびスンの予想的超合同式を一般化すること。
• このような和の $ p^2 $ を法とする分析の統合的ツールとして、一般化されたレジェンドル多項式 $ P_n(a,x) $ を導入し、その性質を検討すること。
• $ P_n(a,x) $ に対する再帰関係を確立し、$ p^2 $ 水準でのモジュラス還元と合同式解析を可能にすること。
• 関数 $ f $ に対してある条件下で $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} f(k) \equiv 0 \pmod{p^2} $ となる一般合同式を証明し、先行研究を拡張すること。
• $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{b-a}{k} m^k \pmod{p^2} $ の形の和に関する新しい予想を提示し、検討すること。

提案手法

• 著者らは、$ a = n $ のとき古典的レジェンドル多項式に還元される一般化されたレジェンドル多項式 $ P_n(a,x) = \sum_{k=0}^n \binom{a}{k}\binom{a+k}{k} \left(\frac{x-1}{2}\right)^k $ を定義する。
• 重要な再帰関係を導出する：$ (a+1)P_n(a+1,x) - (2a+1)xP_n(a,x) + aP_n(a-1,x) = -2(2a+1)\binom{a}{n}\binom{a+n}{n} \left(\frac{x-1}{2}\right)^{n+1} $、ただし $ a \not\equiv 0,-1 \pmod{p} $ である。
• この再帰関係を $ p^3 $ を法として還元し、$ n = p-1 $ で評価することで、$ P_{p-1}(a,x) \pmod{p^2} $ の合同式を導出し、特に $ P_{p-1}(a,x) \equiv (-1)^{\langle a\rangle_p} P_{p-1}(a,-x) \pmod{p^2} $ の対称性に注目する。
• 二項係数の $ p $-進性質、特に $ \binom{a}{k} \equiv \binom{\langle a\rangle_p}{k} \pmod{p} $ を用いて、和を $ p^2 $ を法として還元する。
• ルジャンドル記号および素数を $ x^2 + dy^2 $ の形に表現する既知の結果を応用し、$ p = x^2 + 7y^2 $ のような特別なケースを評価する。これは $ \sum \binom{-1/4}{k}^2 64^k \pmod{p^2} $ の文脈で用いられる。
• $ p = x^2 + 7y^2 $ のとき、$ \sum \binom{-1/4}{k}^2 64^k \equiv (-1)^{\frac{x-1}{2}}(2x - \frac{p}{2x}) \pmod{p^2} $ のような $ p^2 $ 水準での精密な合同式を予想する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたレジェンドル多項式は、超幾何和の $ p^2 $ を法とする既知の超合同式をどのように統一・拡張できるか？
• RQ2 $ P_{p-1}(a,x) \pmod{p^2} $ のモジュラス的性質は何か？また、$ p $-進分数部分 $ \langle a\rangle_p $ とどのように関係するか？
• RQ3 $ P_n(a,x) $ の再帰関係を用いて、$ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} f(k) \pmod{p^2} $ の形の和に対する新しい合同式を導出できるか？
• RQ4 $ \sum_{k=0}^{p-1} \binom{-1/4}{k}^2 64^k $ のような和の正確な $ p^2 $ 水準の合同式は何か？また、$ p $ が $ x^2 + 7y^2 $ の形に表現されるかどうかに依存するか？
• RQ5 この枠組みを $ \binom{-1/6}{k}\binom{-5/6}{k} $ や他の一般化された二項係数を含む和の $ p^2 $ 合同式に拡張できるか？

主な発見

• 主な結果は $ P_{p-1}(a,x) \equiv (-1)^{\langle a\rangle_p} P_{p-1}(a,-x) \pmod{p^2} $ であり、これはレジェンドル多項式の対称性を $ p^2 $ 水準に一般化したものである。
• 特に $ a = -1/2, -1/3, -1/4, -1/6 $ の場合、この対称性はロドリゲス＝ヴィレガスの予想を $ p^2 $ を法として回復する。例えば $ \sum_{k=0}^{p-1} \frac{\binom{2k}{k}^2}{16^k} \equiv \left(\frac{-1}{p}\right) \pmod{p^2} $ が成り立つ。
• $ \langle a\rangle_p $ が奇数のとき、この恒等式は $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} \frac{1}{2^k} \equiv 0 \pmod{p^2} $ を意味し、以前の結果を一般化する。
• 任意の $ p $-整数値関数 $ f $ に対して、$ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} \left( (-1)^{\langle a\rangle_p} f(k) - \sum_{m=0}^k \binom{k}{m} (-1)^m f(m) \right) \equiv 0 \pmod{p^2} $ を証明する。これは広範な一般化である。
• 特に $ f(k) = \binom{2k}{k}/4^k $ のとき、$ \langle a\rangle_p $ が奇数ならば $ \sum_{k=0}^{p-1} \binom{a}{k}\binom{-1-a}{k} \frac{\binom{2k}{k}}{4^k} \equiv 0 \pmod{p^2} $ が成り立つ。
• 予想5.4では、$ p = x^2 + 7y^2 \equiv 1 \pmod{4} $ のとき、$ \sum \binom{-1/4}{k}^2 64^k \equiv (-1)^{\frac{x-1}{2}}(2x - \frac{p}{2x}) \pmod{p^2} $ のような $ p^2 $ 水準の合同式を提案し、他の場合に対しても同様の形を示唆する。