Arctanh Sums: Analytic Continuation and Prime-Restricted Theory

この論文は、逆双曲正接関数の和$h(k)$の解析接続と素数制限理論を研究し、極点でのローラン展開やディリクレのラムダ関数を含むミッタグ・レフラー分解、および素数制限版$h_p(k)$における超越性の証明とゼータ関数の非自明な零点に関する積公式を確立しています。

要約

📖 物語の舞台：「無限の階段」と「素数の庭」

この研究には、2 つの主要なキャラクターが登場します。

1. $h(k)$（ハット）: 「無限の階段」を登る旅人。

   • 彼は $n=2, 3, 4, \dots$ と続くすべての整数の階段を登ります。
   • 登るたびに、ある不思議な値（$\text{arctanh}$ と呼ばれる）を足し合わせていきます。
   • 最初は「1 より大きい場所」では順調に計算できましたが、1 以下の場所に行くと、階段が崩壊して計算ができなくなります（発散します）。

2. $h_p(k)$（ハット・プライム）: 「素数の庭」を散歩する旅人。

   • 彼は $h(k)$ の弟分ですが、登る階段は「素数（2, 3, 5, 7...）」だけという特別なルールを持っています。
   • この旅人は、数学の王様である「リーマン・ゼータ関数（$\zeta$）」と深く結びついています。

---

🔍 発見その 1：壊れた階段の修理（解析的接続）

問題：
$h(k)$ は、1 以下の場所に行くと「無限大」になってしまい、計算が破綻します。まるで、1 以下の場所には「穴」が開いていて、そこを渡れない状態です。

発見：
著者は、この「穴」を埋めるための**「解析的接続（Analytic Continuation）」**という技術を使って、壊れた階段を修理しました。

• 穴の正体： 1 以下の場所には、実は無数の「小さな穴（極）」が点在していることがわかりました。$1/3, 1/5, 1/7 \dots$ という場所です。
• 修理の結果： これらの穴を避けて通る道（メロモルフィック関数）を見つけたのです。これにより、1 より小さい場所でも、この関数の値を定義できるようになりました。
• 驚きの事実： 1 の場所（$k=1$）では、足し算は無限大に発散しますが、この「修理された値（正則化された値）」を計算すると、なんと**「$-\frac{1}{2} \ln 2$」**という、負の値が得られました。
  • たとえ話： 正の数を無限に足し続けたのに、結果がマイナスになる？一見矛盾していますが、数学の「無限の魔法」によって、発散する部分をうまく調整して、意味のある値を引き出したのです。

---

🌊 発見その 2：波と谷のダンス（零点と極）

発見：
修理された階段を 1 と 0 の間で見ると、面白いパターンが見つかりました。

• 極（穴）： $1/3, 1/5, 1/7 \dots$ の場所に、関数の値が「無限大」になる穴があります。
• 零点（谷）： その穴と穴の間（例：$1/3$と$1/5$ の間）には、必ず**「1 つだけ」**、関数の値が 0 になる場所（谷）が存在します。
• 規則性： 谷は、穴のちょうど真ん中あたりにあり、穴が 0 に近づくにつれて、谷も 0 に近づいていきます。これは、数学的な「波」が規則正しく振動している様子を表しています。

---

🌳 発見その 3：素数の庭と「円周率（$\pi$）」の消滅

ここからが Part 3 の「素数の庭」の話です。

問題：
素数だけの旅人 $h_p(k)$ は、偶数（2, 4, 6...）の場所で何が起こるのでしょうか？
通常、ゼータ関数の値には「円周率（$\pi$）」が絡み合っており、計算結果は複雑で「超越数（$\pi$ や $e$ のような、分数では表せない数）」になります。

発見：「$\pi$ の消滅の魔法」

• 偶数 $k=2, 4, 6 \dots$ の場所で $h_p(k)$ を計算すると、円周率（$\pi$）が完全に消えてしまいます！
• 残ったのは、ただの「分数の対数（$\ln(\text{分数})$）」だけです。
• なぜ？ 素数の積（オイラー積）という仕組みと、$k$ と $2k$の組み合わせが完璧に噛み合い、$\pi$ の項が相殺（キャンセル）されたからです。
• 結果： この「分数の対数」は、数学的に**「超越数」**であることが証明されました（ベーカーの定理による）。
  • たとえ話： 複雑な料理（ゼータ関数）に、隠し味として「円周率」というスパイスが入っています。しかし、素数だけの特別なレシピ（$h_p$）で料理すると、そのスパイスが完全に消え去り、純粋な「分数の味」だけが残ります。そして、その味が「超越数」という特別な性質を持っていることがわかったのです。

---

🔗 発見その 4：素数の庭と「リーマンの仮説」のつながり

発見：
$h_p(k)$ という関数は、数学の最大の難問である「リーマンの仮説」の鍵となる**「非自明な零点（$\rho$）」**と直接つながっていることがわかりました。

• 通常のゼータ関数の公式では、零点の項を計算するために「発散を防ぐための調整」が複雑に必要でした。
• しかし、$h_p(k)$ の公式では、「$k$ と $2k$ の組み合わせ」によって、その調整項が自動的に消えてしまいます。
• その結果、零点の項が非常にきれいに収束する公式が生まれました。
  • たとえ話： 以前は、遠くにある星（零点）の位置を測るのに、大気の影響（発散項）を補正する複雑な計算が必要でした。しかし、新しいレンズ（$h_p$）を使うと、大気の影響が自動的に消え、星の位置がクリアに、かつ正確に見えるようになったのです。

---

🧩 まとめ：この論文は何をしたのか？

1. 壊れた関数を直した： 1 以下の場所でも計算できるようにし、無限大になる「穴」の場所と性質を明らかにした。
2. 波の規則を見つけた： 穴と穴の間に、必ず 1 つだけ「0」になる場所があることを証明した。
3. 素数の魔法を発見した： 素数だけの関数を使うと、円周率（$\pi$）が消えて、純粋な「超越数」が現れることを示した。
4. リーマンの仮説への新しい道： 素数の関数を使うことで、リーマンの零点をよりきれいな形で表現できる公式を見つけ出した。

この研究は、無限の足し算と素数の世界を、新しい視点（「解析的接続」と「素数制限」）で結びつけ、数学の奥深い部分に新しい光を当てたものです。まるで、暗闇の森に新しい道標を立てたような発見と言えます。

技術概要

論文要約：ARCTANH SUMS: ANALYTIC CONTINUATION AND PRIME-RESTRICTED THEORY

著者: Ryan Goulden
日付: 2026 年 3 月
概要:
本論文は、複素変数 $k$ に対する無限級数 $h(k) = \sum_{n=2}^{\infty} \operatorname{arctanh}(n^{-k})$ の解析的性質と、素数に制限された類似関数 $h_p(k)$ の乗法的理論を研究したものである。前著（arXiv:2602.06244）で確立された閉形式の恒等式を基盤とし、$h(k)$ の有理関数への有理点における極構造、零点の分布、およびリーマンゼータ関数 $\zeta(s)$ の零点との深い関連性を明らかにしている。また、素数制限版 $h_p(k)$ については、$\pi$ の項が相殺されるメカニズムを用いて、特定の整数点での超越性を無条件に証明し、$\zeta$ の非自明な零点を用いた積公式を導出している。

---

1. 問題設定と背景

定義

実数 $k > 1$ に対して、以下の関数を定義する：
$$h(k) := \sum_{n=2}^{\infty} \operatorname{arctanh}(n^{-k})$$
$$g(k) := \prod_{n=2}^{\infty} (1 - n^{-k})$$
前著において、整数 $k \ge 2$ に対して以下の閉形式が示されている（双対性欠損恒等式）：
$$h(k) = \frac{1}{2} \log \left( \frac{g(2k)}{g(k)^2} \right)$$
また、ゼータ関数を用いた級数表現も存在する：
$$h(k) = \sum_{m=0}^{\infty} \frac{\zeta((2m+1)k) - 1}{2m+1}$$

本研究の目的は、この級数表現を用いて $h(k)$ を $\operatorname{Re}(k) > 0$ へ解析接続し、その特異点構造と零点を記述すること、および素数 $p$ に対してのみ和をとる関数 $h_p(k)$ を定義し、その乗法的性質と $\zeta$ 関数の零点との関係を解明することである。

---

2. 主要な手法と理論的枠組み

解析接続と極構造

$h(k)$ のゼータ級数表現に基づき、各項 $\frac{\zeta((2m+1)k)-1}{2m+1}$ の極構造を解析する。$\zeta(s)$ は $s=1$ に単純極を持つため、$h(k)$ は $k = 1/(2m+1)$ ($m=0, 1, 2, \dots$) に極を持つことが示される。

素数制限と乗法的理論

素数 $p$ のみで定義される関数 $h_p(k) = \sum_{p} \operatorname{arctanh}(p^{-k})$ を導入する。オイラー積 $\zeta(s) = \prod_p (1-p^{-s})^{-1}$ を用いることで、$h_p(k)$ が $\zeta(k)$ と $\zeta(2k)$ の対数で表せることを導き出す。

ハマード積と零点の和

リーマンの $\xi$ 関数のハマード積展開を用い、$h_p(k)$ を $\zeta$ の非自明な零点 $\rho$ の和として表現する。この際、$\ln \zeta(k) - \frac{1}{2} \ln \zeta(2k)$ の組み合わせにより、通常の対数微分公式で必要となる正則化項（$1/\rho$ の項）が相殺され、収束性が飛躍的に向上する。

---

3. 主要な結果

3.1. $h(k)$ の解析的性質

1. 有理関数への接続と極:

   • $h(k)$ は $\operatorname{Re}(k) > 0$ 上で有理関数に接続可能であり、極は $k_m = \frac{1}{2m+1}$ ($m \ge 0$) のみ。
   • 各極における留数は $\operatorname{Res}_{k=k_m} h(k) = \frac{1}{(2m+1)^2}$。
   • 留数の総和は $\sum_{m=0}^\infty \frac{1}{(2m+1)^2} = \frac{\pi^2}{8}$。
   • 極は $k=0$ に集積するため、$k=0$ は孤立特異点ではなく、解析接続は原点を含む領域には及ばない。

2. ローラン展開と正則化値:

   • $k=1$ におけるローラン展開は $h(k) = \frac{1}{k-1} - \frac{1}{2}\ln 2 + O(k-1)$。
   • 有限部分（正則化値）は $-\frac{1}{2}\ln 2$ であり、発散級数 $\sum \operatorname{arctanh}(1/n)$ の正則化された値に対応する。

3. 零点の分布:

   • 各極の間隔 $I_n = (\frac{1}{2n+3}, \frac{1}{2n+1})$ において、$h(k)$ は実数値を取り、単調減少する。
   • 各区間 $I_n$ にちょうど 1 つの単純な実零点が存在する。
   • 零点 $z_n$ は $n \to \infty$ で $z_n \approx \frac{1}{2n+2}$ に漸近し、$\zeta(z_n) \to -1/2$ となる。

4. ミッタグ・レフラー分解:

   • $h(k)$ は極部分 $h_{\text{polar}}(k)$ と正則な余项 $\phi(k)$ に分解され、極部分のデータがディリクレ $\lambda$ 関数 $\lambda(s)$ を符号化する。

3.2. 素数制限関数 $h_p(k)$ の性質

1. 閉形式と超越性:

   • $h_p(k) = \ln \zeta(k) - \frac{1}{2} \ln \zeta(2k)$。
   • 偶数 $k=2j$ において、$\zeta(2j)$ と $\zeta(4j)$ が $\pi$ のべきと有理数の積で表されるため、$\pi$ の項が完全に相殺される。
   • 結果として $h_p(2j) = \frac{1}{2} \ln r_j$ ($r_j \in \mathbb{Q}, r_j > 1$) となり、ベーカーの定理により、すべての偶数 $2j$において$h_p(2j)$ は超越数であることが無条件に証明される。

2. 零点を用いた積公式:

   • $h_p(k)$ は $\zeta$ の非自明な零点 $\rho$ を用いて以下のように表せる：
     $$h_p(k) = \sum_{\rho} \left[ \ln\left(1 - \frac{k}{\rho}\right) - \frac{1}{2} \ln\left(1 - \frac{2k}{\rho}\right) \right] + E(k)$$
   • この和は絶対収束し、各項の減衰は $O(|\operatorname{Im}(\rho)|^{-2})$ である。これは通常の $\zeta'/\zeta$ の公式における $O(|\gamma|^{-1})$ よりも高速な収束を示す。

3. メビウス反転:

   • $h(k)$ と $\zeta(k)-1$ の間には、奇数に関するメビウス反転公式が存在する：
     $$\zeta(k) - 1 = \sum_{d \text{ odd}} \frac{\mu(d)}{d} h(dk)$$
   • これにより、$h$ の値から $\zeta$ の値を高精度で計算できる。

---

4. 意義と貢献

1. 解析的構造の解明:
   発散的に見える級数 $\sum \operatorname{arctanh}(n^{-k})$ が、$\zeta$ 関数の極構造と密接に関連した有理関数として解析接続可能であることを示し、その極と零点の双対性を明らかにした。

2. 超越性の無条件証明:
   素数制限関数 $h_p(k)$ を導入することで、$\zeta(2j)$ の超越性（$\pi$ のべき）を巧妙に相殺し、有理数の対数として表現することに成功した。これにより、$\pi$ の超越性や $\zeta(2j)$ の超越性に依存せず、ベーカーの定理のみで $h_p(2j)$ の超越性を証明する新たな経路を開拓した。

3. 零点の和公式の改善:
   $\zeta$ の零点を用いた公式において、対数微分公式で生じる発散的な項を、$h_p(k)$ の定義（$\ln \zeta(k) - \frac{1}{2} \ln \zeta(2k)$）によって自動的に相殺し、$O(|\gamma|^{-2})$ の収束速度を持つ公式を導出した。これは数値計算や理論的解析において極めて有用である。

4. 加法的・乗法的理論の統合:
   整数和（加法的）と素数和（乗法的）の間の構造的類似性（極対零点、$\zeta$ の極対 $\zeta$ の零点など）を明確にし、メビウス反転を通じて両者を結びつけた。

---

5. 結論と今後の課題

本論文は、$\operatorname{arctanh}$ 級数が単なる数値的興味の対象ではなく、リーマンゼータ関数の深い構造（極、零点、超越性）を反映する重要な対象であることを示した。

未解決問題:

• 正則な余项 $\phi(k)$ が $\operatorname{Re}(k) \le 0$ へ解析接続可能か。
• 有理数点における極の有限部分 $A_m$ の超越性。
• 二次指標 $\chi$ に対する類似の $\pi$ 相殺メカニズムの一般化と、$L$ 関数値の超越性への応用。

この研究は、解析的数論、特殊関数論、および超越数論の交差点において、新たな視点と強力な計算手法を提供するものである。