[論文レビュー] An Extension of a Congruence by Kohnen

Romeo Meštrović|arXiv (Cornell University)|Sep 11, 2011

Advanced Mathematical Identities参考文献 20被引用数 4

ひとこと要約

この論文は、Kohnenの結果を拡張する合同式の初等的証明を提供している。素数 $ p > 3 $ に対して、和 $ \sum_{k=1}^{p-1} \frac{1}{k \cdot 2^k} \equiv q_p(2) - \frac{p}{2} q_p(2)^2 \pmod{p^2} $ が成り立つ。ここで $ q_p(2) $ はフェルマー商である。証明は組合せ的恒等式、調和級数、および $ q_p(2) $ を含む合同式に依拠しており、ミリマンフォフ多項式を用いるSunのより高度な手法とは対照的に、自己完結的である。

ABSTRACT

Let $p>3$ be a prime, and let $q_p(2)=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base 2. Recently, Z. H. Sun proved that \sum_{k=1}^{p-1}\frac{1}{k\cdot 2^k}\equiv q_p(2)-\frac{p}{2}q_p(2)^2 \pmod{p^2} which is a generalization of a congruence due to W. Kohnen. In this note we give an elementary proof of the above congruence which is based on several combinatorial identities and congruences involving the Fermat quotient $q_p(2)$, harmonic or alternating harmonic sums.

研究の動機と目的

• フェルマー商 $ q_p(2) $ と和 $ \sum_{k=1}^{p-1} \frac{1}{k \cdot 2^k} $ を含む $ p^2 $-合同式の初等的かつ自己完結的証明を提供すること。
• 組合せ的恒等式と古典的合同式を用いて、Kohnenの元々の $ \mod{p} $ 合同式を $ \mod{p^2} $ に拡張すること。
• 調和級数、交代調和級数、および $ q_p(2)^2 $ を含む新しい合同式を $ p $ を法として確立すること。
• ミリマンフォフ多項式とベルヌーイ数に基づく累乗和恒等式に依存するSunの証明に対する構成的代替手法を提供すること。

提案手法

• 数学的帰納法と二項係数の恒等式を用いて証明された恒等式 $ \sum_{k=1}^{n} \binom{n}{k} H_k = 2^n H_n - 2^n \sum_{k=1}^{n} \frac{1}{k \cdot 2^k} $ の使用。
• 調和数の和を簡略化するために、Wolstenholmeの合同式 $ H_{p-1} \equiv 0 \pmod{p^2} $ の適用。
• 最終的な合同式における有理式の簡略化に、逆展開 $ \frac{1}{1 + p q_p(2)} \equiv 1 - p q_p(2) \pmod{p^2} $ の使用。
• 組合せ的および調和級数の恒等式を用いて、$ \sum_{k=1}^{p-1} \frac{(-1)^k H_{k-1}}{k} \equiv q_p(2)^2 \pmod{p} $ のような重要な中間合同式を導出。
• 既知の合同式 $ \sum_{k=1}^{p-1} \frac{(-1)^k}{k^2} \equiv 0 \pmod{p} $ および $ \sum_{k=1}^{p-1} (-1)^k H_k^2 \equiv q_p(2)^2 \pmod{p} $ の活用。
• これらの合同式を二項係数の和の恒等式と組み合わせることで、最終的な結果を $ p^2 $ を法として導出。

実験結果

リサーチクエスチョン

• RQ1 ミリマンフォフ多項式のような高度な道具を用いずに、$ p^2 $-合同式 $ \sum_{k=1}^{p-1} \frac{1}{k \cdot 2^k} \equiv q_p(2) - \frac{p}{2} q_p(2)^2 \pmod{p^2} $ を証明できるか？
• RQ2 この合同式の構造を特徴づける組合せ的および調和級数の恒等式は何か？
• RQ3 フェルマー商 $ q_p(2) $、調和数 $ H_k $、および交代和は、$ p $ および $ p^2 $ を法としてどのように相互作用するか？
• RQ4 関連する合同式に現れるこの和とオイラー数 $ E_{p-3} $ の関係を、初等的手法で整合させられるか？
• RQ5 恒等式 $ \sum_{k=1}^{n} \binom{n}{k} H_k = 2^n H_n - 2^n \sum_{k=1}^{n} \frac{1}{k \cdot 2^k} $ は、合同式を $ p $ のより高いべきに持ち上げる際に果たす役割は何か？

主な発見

• すべての素数 $ p > 3 $ に対して、和 $ \sum_{k=1}^{p-1} \frac{1}{k \cdot 2^k} \equiv q_p(2) - \frac{p}{2} q_p(2)^2 \pmod{p^2} $ が成り立つ。これはKohnenの $ \mod{p} $ 結果を拡張するものである。
• 中間的な重要な結果として、合同式 $ \sum_{k=1}^{p-1} \frac{(-1)^k H_{k-1}}{k} \equiv q_p(2)^2 \pmod{p} $ が確立された。
• 恒等式を用いて、和 $ \sum_{k=1}^{p-1} \frac{(-1)^k}{k^2} \equiv 0 \pmod{p} $ が偶数および全調和級数の関係を用いて導出された。
• 恒等式 $ \sum_{k=1}^{n} \binom{n}{k} H_k = 2^n H_n - 2^n \sum_{k=1}^{n} \frac{1}{k \cdot 2^k} $ は帰納法で証明され、$ n = p-1 $ に適用して主結果が得られた。
• 最終的な合同式は、Wolstenholmeの合同式 $ H_{p-1} \equiv 0 \pmod{p^2} $、二項係数の和の恒等式、および展開 $ \frac{1}{1 + p q_p(2)} \equiv 1 - p q_p(2) \pmod{p^2} $ を組み合わせることで得られた。
• 証明は完全に初等的であり、Sunの元々の証明で用いられるミリマンフォフ多項式やベルヌーイ数に基づく累乗和の公式を一切使用していない。