[論文レビュー] 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} $ が $ i+j+k = p^r $ を満たし、$ i,j,k $ が $ p $ と互いに素であるようなものについて、正確な $ 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 交項和 $ \sum \frac{(-1)^i}{ijk} $ が $ i+j+k = n $ を満たし、$ i,j,k \in \mathcal{P}_p $ であるようなものについて、$ 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} $ が導出され、交項立方和とベルヌーイ数を結びつけるために用いられた。