[论文解读] A q-analogue of Wolstenholme's harmonic series congruence

Lingling Shi, Hao Pan|ArXiv.org|Jul 25, 2005

Advanced Mathematical Identities参考文献 1被引用 5

一句话总结

本文通过引入 q-调和数 $ H_n(q) = \sum_{j=1}^n \frac{1}{[j]_q} $，其中 $[j]_q = \frac{1-q^j}{1-q} $，建立了 Wolstenholme 经典调和级数同余式的 q-类比。证明了对于素数 $ p \geq 5 $，有 $ H_{p-1}(q) \equiv \frac{p-1}{2}(1-q) + \frac{p^2-1}{24}(1-q)^2[p]_q \pmod{[p]_q^2} $，推广了 Andrews 的早期结果，并为模 $ p $ 下倒数平方和提供了 q-类比。

ABSTRACT

We establish a q-analogue of Wolstenholme's harmonic series congruence.

研究动机与目标

• 解决 Wolstenholme 经典同余式 $ H_{p-1} \equiv 0 \pmod{p^2} $（$ p \geq 5 $ 为素数）在 q-类比中缺失的问题。
• 将 Andrews 的早期 q-类比结果（即 $ H_{p-1}(q) \equiv \frac{p-1}{2}(1-q) \pmod{[p]_q} $）推广至模 $[p]_q^2$ 的高阶同余。
• 建立倒数平方和同余式 $ \sum_{j=1}^{p-1} \frac{1}{j^2} \equiv 0 \pmod{p} $ 的 q-类比，特别是 $ \sum_{j=1}^{p-1} \frac{1}{[j]_q^2} $ 和 $ \sum_{j=1}^{p-1} \frac{q^j}{[j]_q^2} $ 的情形。
• 通过单位根和生成函数，为有限域中调和级数与倒数平方和提供系统化的 q-类比框架。
• 通过基于 q-整数 $[p]_q$ 的模结构，统一并推广已知的 q-同余式。

提出的方法

• 本文定义了 q-调和数 $ H_n(q) = \sum_{j=1}^n \frac{1}{[j]_q} $，其中 $[j]_q = \frac{1-q^j}{1-q} $，将经典调和数推广至 q-类比设置。
• 利用恒等式 $ H_{p-1}(q) - \frac{p-1}{2}(1-q) = \frac{1-q}{2} \sum_{k=1}^{p-1} \left( \frac{1}{1-q^k} + \frac{1}{1-q^{p-k}} - 1 \right) $，将表达式改写为关于 $ q^k $ 的对称有理函数形式。
• 关键步骤是将求和转化为 $ \frac{(1-q)(1-q^p)}{2} \sum_{k=1}^{p-1} \frac{1}{(1-q^k)(1-q^{p-k})} $，并通过代数恒等变形将其与 $ \sum_{k=1}^{p-1} \frac{q^k}{(1-q^k)^2} $ 关联。
• 通过在单位根 $ \zeta^m $ 处求值生成函数 $ G(q,z) = \sum_{j=1}^{p-1} \frac{q^j}{(1 - q^j z)^2} $，应用复分析技术，得到包含 $ \frac{p^2 z^{p-1}}{(1-z^p)^2} - \frac{1}{(1-z)^2} $ 的闭式表达。
• 通过洛必达法则取 $ z \to 1 $ 的极限，得到 $ G(\zeta) = \frac{1-p^2}{12} $，从而导出同余式 $ \sum_{j=1}^{p-1} \frac{q^j}{[j]_q^2} \equiv -\frac{p^2-1}{12}(1-q)^2 \pmod{[p]_q} $。
• 最后，利用恒等式 $ \sum_{j=1}^{p-1} \frac{1}{[j]_q^2} = (1-q) \sum_{j=1}^{p-1} \frac{1}{[j]_q} + \sum_{j=1}^{p-1} \frac{q^j}{[j]_q^2} $ 推导出第二个同余式，完成定理 1 的证明。

实验结果

研究问题

• RQ1 对于素数 $ p \geq 5 $，Wolstenholme 调和级数同余式 $ H_{p-1} \equiv 0 \pmod{p^2} $ 的 q-类比是什么？
• RQ2 如何将 q-调和数 $ H_{p-1}(q) $ 表示为模 $[p]_q^2$ 的形式，以改进 Andrews 在模 $[p]_q$ 下的早期结果？
• RQ3 对于 $ p \geq 5 $，经典同余式 $ \sum_{j=1}^{p-1} \frac{1}{j^2} \equiv 0 \pmod{p} $ 的 q-类比是什么？如何通过 q-级数与单位根推导出该结果？
• RQ4 模 $[p]_q$ 下，$ \sum_{j=1}^{p-1} \frac{q^j}{[j]_q^2} $ 与 $ \sum_{j=1}^{p-1} \frac{1}{[j]_q^2} $ 的行为如何？
• RQ5 生成函数与在单位根处的复分析在推导有限域中倒数和的 q-同余式中起什么作用？

主要发现

• 本文建立了 Wolstenholme 同余式的 q-类比：对于素数 $ p \geq 5 $，有 $ H_{p-1}(q) \equiv \frac{p-1}{2}(1-q) + \frac{p^2-1}{24}(1-q)^2[p]_q \pmod{[p]_q^2} $，对 Andrews 在模 $[p]_q$ 下的结果进行了改进。
• 推导出 $ \sum_{j=1}^{p-1} \frac{1}{j^2} \equiv 0 \pmod{p} $ 的显式 q-类比：$ \sum_{j=1}^{p-1} \frac{q^j}{[j]_q^2} \equiv -\frac{p^2-1}{12}(1-q)^2 \pmod{[p]_q} $。
• 利用恒等式 $ \sum_{j=1}^{p-1} \frac{1}{[j]_q^2} = (1-q)H_{p-1}(q) + \sum_{j=1}^{p-1} \frac{q^j}{[j]_q^2} $ 及已知同余式，证明了 $ \sum_{j=1}^{p-1} \frac{1}{[j]_q^2} \equiv -\frac{(p-1)(p-5)}{12}(1-q)^2 \pmod{[p]_q} $。
• 通过生成函数与洛必达法则计算出 $ G(\zeta) = \sum_{j=1}^{p-1} \frac{\zeta^j}{(1 - \zeta^j)^2} = \frac{1 - p^2}{12} $，该结果为 $ \sum \frac{q^j}{[j]_q^2} $ 的主同余式提供了基础。
• 证明依赖于在 $ z = 1 $ 且 $ q = \zeta $（$ \zeta $ 为本原 $ p $ 次单位根）处求值生成函数 $ G(q,z) = \sum_{j=1}^{p-1} \frac{q^j}{(1 - q^j z)^2} $，得到 $ G(\zeta,1) = \frac{p^2 z^{p-1}}{(1-z^p)^2} - \frac{1}{(1-z)^2} $，其在 $ z \to 1 $ 时的极限给出所需常数。
• 利用同余式 $ \sum_{j=1}^{p-1} \frac{q^j}{(1-q^j)^2} \equiv -\frac{p^2-1}{12}(1-q)^{-2} \pmod{[p]_q} $，乘以 $ (1-q)^2 $ 后得到主结果，确认了经典平方倒数和的 q-类比。