Arctanh Sums: Analytic Continuation and Prime-Restricted Theory

本文研究了复变量反双曲正切和函数 $h(k)$ 的解析延拓与素数限制理论，证明了其在 $\text{Re}(k)>0$ 上的亚纯延拓性质、极点处的洛朗展开及 Mittag-Leffler 分解，揭示了其零点分布规律，并针对素数限制情形建立了 $\pi$-抵消机制以证明特定值的超越性及基于黎曼 $\zeta$ 函数非平凡零点的乘积公式。

要点

这篇论文就像是在探索一个数学宇宙中的“无限回声”。作者 Ryan Goulden 研究了一个看起来很奇怪的数学公式，试图理解它背后的规律、它在哪里“爆炸”（发散），以及它如何与数学界最著名的谜题（素数和黎曼猜想）产生联系。

为了让你轻松理解，我们可以把这个研究想象成**“在迷宫中寻找回声”**。

1. 主角：一个奇怪的“回声”函数 $h(k)$

想象你站在一个巨大的、由无数面镜子组成的迷宫里（这些镜子代表所有的整数 $n=2, 3, 4...$）。

• 你发出一个声音（数学上的 $n^{-k}$）。
• 这个声音在迷宫里反弹，产生无数个回声。
• 作者研究的函数 $h(k)$，就是把所有这些回声加起来。

问题在于： 当你把声音参数 $k$ 调低（比如让 $k$ 变得很小）时，回声会变得越来越响，最后声音大到把迷宫震碎（数学上叫“发散”或“无穷大”）。

2. 第一部分：修复破碎的迷宫（解析延拓）

在数学上，当声音太大（发散）时，通常意味着游戏结束了。但作者很聪明，他发明了一种**“降噪耳机”**（解析延拓）。

• 极点（Poles）： 作者发现，这个函数在某些特定的位置（比如 $k=1, 1/3, 1/5...$）会发出刺耳的尖叫声（无穷大）。他把这些尖叫声称为“极点”。
• 零点（Zeros）： 有趣的是，在这些尖叫声之间，声音会完全消失（变成 0）。作者证明了，在两个尖叫声之间，恰好只有一个让声音消失的点。就像在两个高音之间，必然有一个完美的静音点。
• 神奇的抵消： 作者发现，虽然每个回声都是正的（声音很大），但把它们加起来并经过“降噪处理”后，在某些地方竟然变成了负数。这就像你往杯子里倒热水，最后杯子里的水温却显示是零下，这是因为数学上的“抵消”魔法。

3. 第二部分：只听“素数”的回声（素数限制理论）

这是论文最精彩的部分。作者决定：“既然迷宫里有太多杂音（合数），我们只保留素数（2, 3, 5, 7...）发出的回声。”

他定义了一个新函数 $h_p(k)$，只计算素数产生的回声。

• 素数的秘密： 在数学里，素数就像音乐的“基音”，而其他数字是它们的和声。作者发现，只听素数的回声，竟然能直接解开黎曼 $\zeta$ 函数（数学皇冠上的明珠）的秘密。
• $\pi$ 的消失（$\pi$-cancellation）： 这是一个非常酷的发现。
  • 通常，素数相关的公式里会带着圆周率 $\pi$（就像音乐里的背景噪音）。
  • 但是，作者发现，当 $k$ 是偶数时，这些 $\pi$ 的噪音会神奇地互相抵消，完全消失！
  • 剩下的部分是一个纯粹的有理数（像 $5/2, 7/6$ 这样的分数）。
  • 结论： 因为剩下的部分是有理数，根据数学定理，这个结果一定是超越数（像 $\pi$ 或 $e$ 一样，永远写不尽、算不准的数）。这就像你原本以为听到了杂乱的噪音，结果发现噪音消失后，剩下的是一串完美的、无法被简单描述的“天籁之音”。

4. 第三部分：回声与黎曼猜想的联系

作者进一步发现，这个“素数回声”函数 $h_p(k)$ 和黎曼猜想（关于素数分布的终极谜题）有着直接的联系。

• 黎曼的幽灵： 黎曼 $\zeta$ 函数有一些神秘的“幽灵”点（非平凡零点），它们决定了素数是如何分布的。
• 完美的公式： 作者推导出了一个公式，把 $h_p(k)$ 直接表示为所有这些“幽灵”点的总和。
• 更快的收敛： 以前的公式在计算这些幽灵点时，收敛得很慢（就像在雾里走路，看不清）。但作者的新公式，因为巧妙地抵消了干扰项，让计算变得非常清晰、快速。这就像给数学家提供了一副**“超级望远镜”**，能更清楚地观察素数的分布规律。

总结：这篇论文讲了什么？

1. 修好了一个破碎的数学工具： 作者让一个原本只在特定范围有效的公式，能够扩展到更广阔的领域，并找到了它所有的“尖叫声”和“静音点”。
2. 发现了素数的纯净之美： 通过只关注素数，他展示了一个神奇的机制，让复杂的 $\pi$ 噪音消失，留下了纯粹的数学真理，并证明了这些真理是“超越”的。
3. 提供了新的透视工具： 他建立了一个新的公式，把素数回声和黎曼猜想的幽灵点直接联系起来，而且这个公式比以前的更清晰、更强大。

一句话比喻：
这就好比作者不仅听懂了迷宫里所有的回声，还发明了一种特殊的过滤器，只保留最纯净的“素数频率”，并发现这个频率里藏着解开宇宙（素数分布）密码的钥匙，而且这把钥匙是用一种人类永远无法完全写尽的“超越语言”写成的。

技术摘要

论文技术总结

1. 研究背景与问题定义

本文是作者前作（arXiv:2602.06244）的续篇，旨在深入研究由反双曲正切函数定义的无穷级数 $h(k)$ 及其在复平面上的性质。

• 核心定义：对于实部 $\Re(k) > 1$，定义函数：
  $$h(k) := \sum_{n=2}^{\infty} \text{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)$，并将其与黎曼 $\zeta$ 函数联系起来。
• 本文目标：
  1. 建立 $h(k)$ 在 $\Re(k) > 0$ 上的解析延拓，分析其极点结构和零点分布。
  2. 构建素数限制理论，定义仅对素数求和的函数 $h_p(k)$，并探讨其与黎曼 $\zeta$ 函数零点及超越数理论的关系。

2. 方法论

作者采用了复分析、解析数论及特殊函数理论相结合的方法：

• 级数展开与解析延拓：利用 $\text{arctanh}(x)$ 的泰勒展开，将 $h(k)$ 表示为黎曼 $\zeta$ 函数的级数形式：
  $$h(k) = \sum_{m=0}^{\infty} \frac{\zeta((2m+1)k) - 1}{2m+1}$$
  利用 $\zeta(s)$ 的解析性质，将 $h(k)$ 延拓到 $\Re(k) > 0$。
• Mittag-Leffler 分解：将函数分解为极点部分（Polar part）和全纯余项（Holomorphic remainder），以精确描述奇点行为。
• 欧拉乘积与素数限制：定义 $h_p(k) = \sum_{p} \text{arctanh}(p^{-k})$，利用欧拉乘积公式将其与 $\ln \zeta(k)$ 和 $\ln \zeta(2k)$ 建立联系。
• Hadamard 乘积：利用 $\xi(s)$ 函数的 Hadamard 乘积公式，将 $h_p(k)$ 表示为黎曼 $\zeta$ 函数非平凡零点的求和形式。
• 莫比乌斯反演：在奇数整除格上应用莫比乌斯反演，建立 $h(k)$ 与 $\zeta(k)-1$ 之间的互逆关系。

3. 主要贡献与结果

第一部分：解析延拓与极点结构 (Analytic Continuation)

• 延拓范围：证明了 $h(k)$ 可以延拓为 $\Re(k) > 0$ 上的亚纯函数。
• 极点分布：
  • $h(k)$ 在 $k_m = \frac{1}{2m+1}$ ($m=0, 1, 2, \dots$) 处具有单极点。
  • 极点在原点 $k=0$ 处累积，因此 $k=0$ 是非孤立奇点，函数无法延拓到包含原点的开集或 $\Re(k) < 0$ 的区域。
  • 极点处的留数为 $\text{Res}_{k=k_m} h(k) = \frac{1}{(2m+1)^2}$。所有留数之和为 $\sum (2m+1)^{-2} = \frac{\pi^2}{8}$。
• Laurent 展开与正则化值：
  • 在 $k=1$ 处，展开式为 $h(k) = \frac{1}{k-1} - \frac{1}{2}\ln 2 + O(k-1)$。
  • 给出了发散级数 $\sum_{n=2}^{\infty} \text{arctanh}(1/n)$ 的正则化值（有限部分）为 $-\frac{1}{2}\ln 2$。
• 零点唯一性：
  • 证明了在每个极值区间 $I_n = (\frac{1}{2n+3}, \frac{1}{2n+1})$ 内，$h(k)$ 恰好有一个单实零点 $z_n$。
  • 函数在每个区间内严格单调递减。
  • 给出了零点的渐近公式：$z_n = \frac{1}{2n+2} + O(n^{-3})$。
• Mittag-Leffler 分解：
  $$h(k) = \sum_{m=0}^{\infty} \frac{1/(2m+1)^2}{k - 1/(2m+1)} + \phi(k)$$
  其中 $\phi(k)$ 是全纯函数。该分解揭示了极点数据编码了狄利克雷 $\lambda$ 函数（Dirichlet lambda function）。

第二部分：素数限制理论 (Prime-Restricted Theory)

• 定义与闭式：定义 $h_p(k) = \sum_{p} \text{arctanh}(p^{-k})$。利用欧拉乘积证明了：
  $$h_p(k) = \ln \zeta(k) - \frac{1}{2} \ln \zeta(2k)$$
  这对应于 $\ln \zeta(k)$ 展开式中奇次幂部分的素数贡献。
• 超越性证明 (Transcendence)：
  • 对于偶数 $k=2j$，证明了 $h_p(2j) = \frac{1}{2} \ln r_j$，其中 $r_j = \frac{\zeta(2j)^2}{\zeta(4j)} \in \mathbb{Q}$ 且 $r_j > 1$。
  • 利用 Baker 定理，证明了 $h_p(2j)$ 对所有 $j \ge 1$ 均为超越数。
  • $\pi$ 消去机制：由于 $\zeta(2j) \in \mathbb{Q} \cdot \pi^{2j}$，在组合 $\ln \zeta(2j) - \frac{1}{2} \ln \zeta(4j)$ 中，$\ln \pi$ 项完全抵消，仅剩下有理数的对数。
• 零点求和公式 (Product Formula)：
  • 利用 $\xi(s)$ 的 Hadamard 乘积，导出了 $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)$$
  • 关键改进：由于线性项 $k/\rho$ 在组合中相互抵消，该级数的通项衰减速度为 $O(|\text{Im}(\rho)|^{-2})$，比标准的 $\zeta'/\zeta$ 公式（通常需 $1/\rho$ 正则化）收敛更快且无需对称配对。
• 莫比乌斯反演：
  • 建立了 $h(k)$ 与 $\zeta(k)-1$ 之间的反演关系：
    $$\zeta(k) - 1 = \sum_{d \text{ odd}} \frac{\mu(d)}{d} h(dk)$$
  • 这展示了加法理论（所有整数）与乘法理论（素数）之间的深刻对偶性。

4. 核心发现与意义

1. 极点与零点的对偶性：
   $h(k)$ 的极点位置 $1/(2m+1)$直接对应$\zeta(s)$的极点$s=1$的缩放，而其零点分布则提供了$\zeta(s)$在$(0,1)$区间上的离散采样。这种结构揭示了$\zeta$函数极点与$h(k)$ 零点之间的几何对偶。

2. 超越数理论的新机制：
   论文发现了一种独特的"$\pi$ 消去”机制。在 $h_p(2j)$ 中，$\zeta$ 函数在偶数点的超越性（来自 $\pi$）被精确抵消，留下了有理数的对数。这为无条件证明特定 $\zeta$ 组合的超越性提供了新途径，且该机制在奇数点失效，反映了 $\zeta$ 函数在奇偶点上的本质差异。

3. 收敛性的优化：
   通过构造 $h_p(k) = \ln \zeta(k) - \frac{1}{2} \ln \zeta(2k)$，作者成功消除了 Hadamard 乘积展开中的线性发散项，得到了关于 $\zeta$ 非平凡零点的 $O(|\rho|^{-2})$ 绝对收敛级数。这为数值计算和理论分析 $\zeta$ 零点提供了更优的工具。

4. 结构上的局限性：
   证明了 $h(k)$ 不存在函数方程（Functional Equation）。这是因为其级数展开涉及 $\zeta((2m+1)k)$，不同项的反射轴不同，无法统一映射到单一的 $k^*$，这与 $\zeta(s)$ 自身的对称性形成鲜明对比。

5. 结论

本文系统地构建了反双曲正切和 $h(k)$ 及其素数限制版本 $h_p(k)$ 的解析理论。通过解析延拓、极点分析和零点分布研究，揭示了该函数与黎曼 $\zeta$ 函数极点的紧密联系；通过素数限制理论，利用欧拉乘积和 Hadamard 乘积，建立了与 $\zeta$ 函数零点及超越数理论的深刻联系。特别是 $\pi$ 消去机制和加速收敛的零点求和公式，为研究 $\zeta$ 函数的算术性质提供了新的视角和工具。

开放问题：
论文最后提出了若干未解之谜，包括全纯余项 $\phi(k)$ 是否能延拓到 $\Re(k) \le 0$、有限部分 $A_m$ 的超越性、以及该机制是否能推广到 $L$-函数等。