[论文解读] Arithmetic theory of harmonic numbers (II)

Zhi‐Wei Sun, Lilu Zhao|arXiv (Cornell University)|Nov 23, 2009

Advanced Mathematical Identities参考文献 10被引用 4

一句话总结

本文建立了涉及阶为 m 的调和数的加权调和和的新 p 进同余式，证明了当奇素数 p 满足 p−1∤6n 时，有 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ 0 (mod p)，并进一步在 p > 6n+1 时将其精化为涉及伯努利数的 p² 级同余式。关键结果通过 p 进分析和伯努利数恒等式，证实了孙关于这些和在模 p² 下结构的猜想。

ABSTRACT

For $k=1,2,\ldots$ let $H_k$ denote the harmonic number $\sum_{j=1}^k 1/j$. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime $p>3$ we have $$\sum_{k=1}^{p-1}\frac{H_k}{k2^k}\equiv\frac7{24}pB_{p-3}\pmod{p^2},\ \ \sum_{k=1}^{p-1}\frac{H_{k,2}}{k2^k}\equiv-\frac 38B_{p-3}\pmod{p},$$ and $$\sum_{k=1}^{p-1}\frac{H_{k,2n}^2}{k^{2n}}\equiv\frac{\binom{6n+1}{2n-1}+n}{6n+1}pB_{p-1-6n}\pmod{p^2}$$ for any positive integer $n

研究动机与目标

• 证明孙提出的猜想：当奇素数 p 满足 p−1∤6n 时，有 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ 0 (mod p)。
• 在 p > 6n+1 时，为同一和建立精化的 p² 级同余式，并以伯努利数表达其形式。
• 通过将调和数与伯努利数及 p 进赋值联系起来，拓展调和数的算术理论。
• 通过生成函数和组合恒等式，系统地分析涉及 H_{k,m}^2 / k^m 的加权调和和的 p 进性质。
• 通过 p 进技术与伯努利数算术，验证并推广关于模素数幂的调和和同余式猜想。

提出的方法

• 利用 p 进同余式及伯努利数 B_{p−1−k} 的性质，分析模 p 和模 p² 下的调和和。
• 应用调和数 H_{n,m} 及其平方的已知恒等式，特别是通过生成函数表达 ∑_{k=1}^n inom{n}{k} (-1)^{k-1}/k H_k = H_{n,2}。
• 使用恒等式 ∑_{k=1}^{p-1} H_k / k ≡ (p/3) B_{p-3} (mod p²) 及涉及 (−1)^k / k^m 的相关和，推导关键同余式。
• 通过伯努利多项式展开幂和 ∑_{j=0}^{k-1} j^{p-1−r}，并结合 von Staudt–Clausen 定理，将和模 p 化简。
• 应用组合恒等式如 ∑_{k=1}^m inom{k-1}{r-1} = inom{m}{r} 及模 p 下的二项式系数约化，以简化双重和。
• 结合对称双重和的运算与索引 (j<k) 的对称性，分离出涉及 H_{p-1,3m} 和调和平方和中交叉项的项。

实验结果

研究问题

• RQ1 当奇素数 p 满足 p−1∤6n 时，和 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} 是否在模 p 下恒为零？
• RQ2 能否建立该同余式的 p² 级精化？若能，其关于伯努利数的显式公式为何？
• RQ3 和 ∑_{k=1}^{p-1} H_k / (k 2^k) 与 ∑_{k=1}^{p-1} H_{k,2} / (k 2^k) 在模 p² 下的行为如何？它们与伯努利数有何关联？
• RQ4 整数 s(n) = inom{6n+1}{2n-1} + n 在 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} 的 p² 同余式中起何作用？
• RQ5 调和和 ∑_{k=1}^{p-1} H_{k,m}^2 / k^m 的 p 进赋值如何与指标 m 和素数 p 相关？

主要发现

• 当奇素数 p 满足 p−1∤6n 时，有 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ 0 (mod p)，这证实了孙的第二个猜想。
• 当 p > 6n+1 时，该和满足 p² 同余式 ∑_{k=1}^{p-1} H_{k,2n}^2 / k^{2n} ≡ [s(n)/(6n+1)] p B_{p−1−6n} (mod p²)，其中 s(n) = inom{6n+1}{2n−1} + n。
• 对于素数 p > 3，有 ∑_{k=1}^{p-1} H_k / (k 2^k) ≡ (7/24) p B_{p−3} (mod p²)，这证实了孙的猜想 1.1 的第一部分。
• 有 ∑_{k=1}^{p-1} H_{k,2} / (k 2^k) ≡ −(3/8) B_{p−3} (mod p)，提供了 p 级精化。
• 推导并使用了双重和 ∑_{1≤j<k≤p−1} (1/j^{2m} k^m + 2/j^m k^{2m}) ≡ [(-1)^m / (m+1)(2m+1)] inom{3m}{m} B_{p−1−3m} (mod p)，该结果用于主证明。
• 通过 p 进调和和恒等式，确立了关键中间结果 ∑_{k=1}^{p−1} H_k / k ≡ (p/3) B_{p−3} (mod p²)。