The Lindelöf Hypothesis for Zeta Zero Ordinates

以下是 Ramūnas Garunkštis、Athanasios Sourmelidis 和 Jörn Steuding 所著论文《黎曼ζ函数零点的虚部 Lindelöf 猜想》的详细技术摘要。

1. 问题陈述与动机

本文研究了黎曼ζ函数 $\zeta(s)$ 的非平凡零点 $\rho = \beta + i\gamma$ 的分布。具体而言，它探讨了 Gonek、Graham 和 Lee 提出的关于这些零点虚部（纵坐标）的 Lindelöf 猜想（记为 $LH(\gamma)$）。

核心问题在于估计指数和：
$$\sum_{0 < \gamma < x} \gamma^{-i\tau}$$
其中求和遍历非平凡零点的虚部（纵坐标）。该猜想认为，该和式渐近地表现为一个积分，并带有特定的误差项界限：
$$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \int_{2}^{x} \frac{u^{-i\tau}}{2\pi \log u} du + E$$
其中误差项 $E$ 满足 $E \ll |\tau|^\epsilon x^{1/2}$，适用于 $2 \le x \le |\tau|^B$。

这类似于经典的 $\zeta(1/2+it)$ Lindelöf 猜想，后者关注ζ函数本身的生长。作者旨在无条件地证明该渐近公式在小 $|\tau|$ 范围内成立，并在条件性假设（假设黎曼猜想成立）下证明其在更大范围内的成立，同时建立该和式的误差项与特定狄利克雷级数生长之间的等价性。

2. 方法论

作者采用了多种解析数论技术的组合，包括：

• 斯蒂尔切斯积分（Stieltjes Integration）： 用于将零点和与黎曼 - 冯·曼戈尔特计数函数 $N(T)$ 及辐角函数 $S(T)$ 联系起来。
• 围道积分（Contour Integration）： 应用留数定理处理涉及对数导数 $\zeta'/\zeta(s)$ 和ζ函数函数方程的积分。
• 稳相法与导数检验（Stationary Phase Method & Derivative Tests）： 用于估计源自 $\zeta'/\zeta$ 狄利克雷级数表示的振荡积分。
• 佩龙公式（Perron's Formula）： 利用截断版本将狄利克雷级数 $G(s) = \sum \gamma^{-s}$ 的部分和表示为复积分。
• 解析延拓（Analytic Continuation）： 分析狄利克雷级数 $G(s)$ 的性质，将其垂直生长与零点纵坐标和中的误差项联系起来。

3. 主要贡献与结果

定理 1：小 $\tau$ 的无条件结果

作者证明了和式 $\sum_{0 < \gamma < x} \gamma^{-i\tau}$ 的无条件渐近公式。

• 结果： 对于任意实数 $\tau$ 和 $x > 0$：
  $$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \frac{x^{1-i\tau}}{2\pi(1-i\tau)} \left( \log \frac{x}{2\pi} - \frac{1}{1-i\tau} \right) + O(|\tau|(\log x)^2)$$
• 意义： 这确认了在 $|\tau|^2 \le x \le \tau^B$ 范围内的零点纵坐标 Lindelöf 猜想（$LH(\gamma)$）。在此范围内，主项主导了误差项。证明依赖于经典界限 $S(T) \ll \log T$。

定理 2：围道积分与条件性结果

该定理利用围道积分提供了更精细的分析，根据 $\tau$ 相对于 $x$ 的大小将问题分为两种情况。

• 情形 1（小 $\tau$）： 对于 $0 \le \tau \le cx \log 2$，和式由积分近似，误差为 $O((\log x)^2)$。
• 情形 2（大 $\tau$）： 对于 $cx \log 2 \le \tau \ll x \log x$，和式转化为涉及冯·曼戈尔特函数 $\Lambda(n)$ 的指数和：
  $$\sum_{x \le \gamma < y} \gamma^{-i\tau} \approx \frac{e^{i(\tau+\pi/4)}\tau^{1/2-i\tau}}{(2\pi)^{1/2}} \sum_{e^{\tau/y} \le n \le e^{\tau/x}} \frac{\Lambda(n)(\log n)^{i\tau}}{n^{1/2}\log n} + \text{Error}$$
• 推论 1（基于黎曼猜想的条件性结果）： 假设黎曼猜想（RH）成立，作者推导出了该和式的界限。具体而言，若 $x \le \gamma < 2x$：
  • 对于小 $\tau$：和式被 $O(x \log x / |\tau| + (\log x)^2)$ 界定。
  • 对于大 $\tau$：和式表现出“平方根抵消”（square root cancellation），行为类似于 $x^{1/2+o(1)}$。这表明如果黎曼猜想成立，则在 $x \approx |\tau|^2$ 这一困难范围内，零点纵坐标的 Lindelöf 猜想成立。

定理 3：与狄利克雷级数生长的等价性

本文建立了零点纵坐标和的误差项与狄利克雷级数 $G(s) = \sum_{\gamma > 0} \gamma^{-s}$ 生长之间的深刻等价性。

• 陈述： 设 $A \in [0, 1/2]$。以下两者等价：
  1. 渐近公式中的误差项 $E$ 满足 $E \ll |\tau|^{A+\epsilon} x^{1/2}$，适用于 $2 \le x \le |\tau|^2$。
  2. 狄利克雷级数满足垂直界限 $G(1/2 + it) \ll |t|^{A+\epsilon}$，适用于 $|t| \ge 1$。
• 意义： 这将零点的分布（通过和式）直接与级数 $G(s)$ 的解析性质联系起来。这意味着证明零点纵坐标的 Lindelöf 猜想等价于证明 $G(s)$ 在临界线上的特定生长界限。

4. 意义与影响

• 新视角： 本文引入了关于 Lindelöf 猜想的新视角，将焦点从 $\zeta(s)$ 的值转移到其零点纵坐标的分布上。
• 无条件进展： 它在 $|\tau|^2 \le x$ 这一主项占主导的范围内，提供了该猜想的首个无条件证明。
• 条件最优性： 在假设黎曼猜想成立的前提下，结果表明“平方根抵消”（$x^{1/2}$）是这些和式的最佳行为，这与经典的 Lindelöf 猜想相呼应。
• 解析联系： 定理 3 中的等价性提供了一条新的研究途径。与其直接攻击该和式，不如研究狄利克雷级数 $G(s)$ 的解析延拓和生长，该级数曾由 Delsarte、Ivić 和 Bondarenko 等人研究过。
• 历史背景： 这项工作 bridging 了经典结果（von Mangoldt, Littlewood）与现代猜想（Gonek 等人），阐明了ζ函数辐角（$S(T)$）与零点分布之间的关系。

总之，本文严格量化了ζ函数零点上的指数和的行为，在特定范围内证明了零点纵坐标的 Lindelöf 猜想，并建立了这些和式与相关狄利克雷级数生长之间的深刻理论联系。