[论文解读] 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使用Mirimanoff多项式所依赖的更高级方法提供了一种自包含的替代方案。

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} $。
• 在模 $ p $ 下建立关于调和和、交错调和和以及 $ q_p(2)^2 $ 的新同余式。
• 提供Sun原始证明的构造性替代方案，后者依赖于Mirimanoff多项式和基于伯努利数的幂和恒等式。

提出的方法

• 使用恒等式 $ \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} $，通过归纳法和二项式系数恒等式证明。
• 应用沃尔斯滕霍尔姆同余式 $ 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 能否在不使用Mirimanoff多项式等高级工具的情况下，证明同余式 $ \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 该同余式模 $ p^2 $ 的结构背后，有哪些组合恒等式和调和和恒等式？
• 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 $ 时使用以推导主要结果。
• 最终同余式通过结合沃尔斯滕霍尔姆同余式 $ 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原始证明中依赖的Mirimanoff多项式或基于伯努利数的幂和公式。