[论文解读] A Curious Congruence Involving Alternating Harmonic Sums

Liuquan Wang|arXiv (Cornell University)|Jul 22, 2014

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

一句话总结

本文建立了一个关于模素数幂 $ p^r $ 的互素于三元组整数的交错调和和的新同余式，证明了该和 $ \sum \frac{(-1)^i}{ijk} \equiv \frac{p^{r-1}}{2} B_{p-3} \pmod{p^r} $，其中求和范围为满足 $ i+j+k = p^r $ 且 $ i,j,k $ 与 $ p $ 互素的整数。该结果推广了早期关于非交错和的研究，并通过 $ p $-进同余将交错调和和与伯努利数联系起来。

ABSTRACT

Let $p$ be a prime and ${\mathcal{P}_{p}}$ the set of positive integers which are prime to $p$. We establish the following interesting congruence \[\sum\limits_{\begin{smallmatrix} i+j+k={{p}^{r}} i,j,k\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{{{(-1)}^{i}}}{ijk}}\equiv \frac{{{p}^{r-1}}}{2}{{B}_{p-3}}\, (\bmod \, {{p}^{r}}).\]

研究动机与目标

• 将已知的非交错调和和同余式推广至包含 $ (-1)^i $ 的交错和。
• 建立关于形式为 $ \sum \frac{(-1)^i}{ijk} $ 的和模 $ p^r $ 的精确 $ p $-进同余，其中 $ i+j+k = p^r $ 且 $ i,j,k $ 与 $ p $ 互素。
• 将结果推广至被 $ p^r $ 整除的一般 $ n $，并证明 $ \sum \frac{(-1)^i}{ijk} \equiv \frac{n}{2p} B_{p-3} \pmod{p^r} $。
• 探索在模素数幂的对称和背景下，交错调和和、伯努利数与 $ p $-进分析之间的更深层次联系。

提出的方法

• 通过代入 $ i = p^r - j - k $ 并利用 $ (-1)^i \equiv (-1)^{j+k} \pmod{p^r} $ 进行对称和分解，将原和转化为关于 $ j $ 和 $ k $ 的表达式。
• 应用引理1：$ \sum_{x=1}^{(p-1)/2} \frac{1}{x^3} \equiv -2B_{p-3} \pmod{p} $，将立方调和和与伯努利数关联起来。
• 采用引理2：$ S(x, p^r) = \sum_{\substack{i \equiv x \pmod{p} \\ 1 \leq i \leq p^r - 1}} \frac{1}{i} \equiv p^{r-1} x^{-1} \pmod{p^r} $，以处理模 $ p^r $ 下的调和和分量。
• 利用 $ i_0 + j_0 + k_0 = p^r $ 与 $ i_0' + j_0' + k_0' = 2p^r $ 的解之间的对称性和双射关系，关联不同范围内的和。
• 基于 $ r $ 的归纳法，利用递推关系 $ S(x, p^{r+1}) - pS(x, p^r) \equiv 0 \pmod{p^{r+1}} $，证明该和公式模 $ p^r $ 成立。
• 将 $ m p^r $ 上的和分解为 $ m-1 $ 和 $ m-2 $ 项的贡献，利用类似生成函数的恒等式处理分拆上的交错和。

实验结果

研究问题

• RQ1 能否将 $ i+j+k = n $ 且 $ i,j,k \in \mathcal{P}_p $ 的交错和 $ \sum \frac{(-1)^i}{ijk} $ 表示为模 $ n $ 的函数 $ f(n) $？
• RQ2 该同余式能否推广至更高阶和（$ n \geq 4 $ 个变量），即 $ \sum \frac{(-1)^{i_1}}{i_1 i_2 \cdots i_n} $ 模 $ p^r $？
• RQ3 模 $ p^r $ 的交错调和和与伯努利数之间的关系，在 $ B_{p-3} $ 之外是否存在更广泛的情形？
• RQ4 该和的结构能否推广至合数模数或其他非 $ p^r $ 的同余类？
• RQ5 同余式中因子 $ \frac{p^{r-1}}{2} $ 的算术意义是什么？它是否反映了更深层的 $ p $-进对称性？

主要发现

• 和 $ \sum_{\substack{i+j+k = p^r \\ i,j,k \in \mathcal{P}_p}} \frac{(-1)^i}{ijk} \equiv \frac{p^{r-1}}{2} B_{p-3} \pmod{p^r} $，确立了交错调和和的新同余式。
• 对于被 $ p^r $ 整除的一般 $ n $，该和满足 $ \sum_{\substack{i+j+k = n \\ i,j,k \in \mathcal{P}_p}} \frac{(-1)^i}{ijk} \equiv \frac{n}{2p} B_{p-3} \pmod{p^r} $，推广了主结果。
• 和 $ i+j+k = m p^r $ 可分解为 $ m-1 $ 和 $ m-2 $ 个分拆的贡献，其系数分别为 $ \left\lfloor \frac{m+1}{2} \right\rfloor $ 和 $ \left\lfloor \frac{m}{2} \right\rfloor $。
• 对称性 $ (i_0, j_0, k_0) \mapsto (p^r - i_0, p^r - j_0, p^r - k_0) $ 在 $ i_0 + j_0 + k_0 = p^r $ 与 $ i_0' + j_0' + k_0' = 2p^r $ 的解之间诱导出双射，从而实现同余的传递。
• 调和和 $ \sum_{j \in \mathcal{P}_p, 1 \leq j < p^r} \frac{1}{j} \equiv 0 \pmod{p^r} $，这对简化证明中的双重和项至关重要。
• 导出并使用了恒等式 $ \sum_{x=1}^{p-1} \frac{(-1)^x}{x^3} \equiv -\frac{1}{2} B_{p-3} \pmod{p} $，以将交错立方和与伯努利数关联起来。