[论文解读] Zeta functions for Riemann zeros

A. Voros|arXiv (Cornell University)|Apr 4, 2001

Analytic Number Theory Research参考文献 20被引用 3

一句话总结

本文引入并系统分析了基于黎曼ζ函数非平凡零点构建的zeta函数，通过这些零点虚部的狄利克雷级数。研究建立了亚纯延拓，计算了特殊值和导数，并利用积分逼近和函数方程实现了高精度数值计算，关键成果包括临界点处Z(σ)的精确值以及一种新型数值方法以加速收敛。

ABSTRACT

A family of Zeta functions built as Dirichlet series over the Riemann zeros are shown to have meromorphic extensions in the whole complex plane, for which numerous analytical features (the polar structure, plus countably many special values) are explicitly displayed.

研究动机与目标

• 开发一种基于黎曼ζ函数非平凡零点的狄利克雷级数定义的zeta函数的系统化、自包含理论。
• 为这些zeta函数建立亚纯延拓和显式函数方程，特别是针对v = 1/4和v = 0的情况。
• 在复平面上精确计算这些zeta函数的数值值和导数，尤其是在临界线附近。
• 提供一个与谱zeta函数可比的统一框架，尽管黎曼零点缺乏直接的几何起源。
• 为这些广义zeta函数提供一本全面参考书，填补其显式解析与数值性质研究在文献中的空白。

提出的方法

• 主要zeta函数定义为 𝒵(σ,v) = ∑(τₖ² + v)⁻ᵠ，其中 Re(σ) > 1/2，τₖ为非平凡零点的虚部。
• 通过黎曼ξ函数和赫尔维茨zeta函数导出的函数方程，实现整个复平面上的亚纯延拓。
• 使用改进的欧拉-麦克拉林公式，将k > K的级数尾部替换为涉及密度函数dN̄(T)的积分，得到 Sₖ(σ) = ∑₁^{K-1} τₖ⁻²⁰ + ½ τₖ⁻²⁰ + R̄ₖ(σ)。
• 余项 R̄ₖ(σ) 显式计算为 (1/(2π)) τₖ¹⁻²⁰ / (2σ - 1) [log(τₖ/(2π)) + 1/(2σ - 1)]，从而在 σ > 1/2 时实现快速收敛。
• 对于 σ ≤ 1/2，改用延续公式 (72)–(73) 和 (91)，而非直接求和，尤其适用于负值或临界σ值。
• 对 σ ≤ 0 的情况应用切萨罗平均以稳定数值波动，但发现其在深层负σ值下仍不足，从而证明了使用解析延拓的合理性。

实验结果

研究问题

• RQ1 如何系统地定义从黎曼零点构建的zeta函数，并将其解析延拓至初始收敛域之外？
• RQ2 在σ = 0, 1/2, 1 和 -1/4等关键点，这些zeta函数的精确数值和导数为何值？
• RQ3 zeta函数 𝒵(σ,v) 和 𝔻(σ,a) 与赫尔维茨zeta函数和莱希兹zeta函数等已知特殊函数有何关系？
• RQ4 当σ接近1/2时，狄利克雷级数的收敛行为如何？如何在数值上加速其收敛？
• RQ5 尽管缺乏几何拉普拉斯算子，这些zeta函数在多大程度上体现出谱类性质？

主要发现

• zeta函数 𝒵(σ) = ∑τₖ⁻²⁰ 在 σ = 1/2 处具有有限值，其有限部分计算约为 0.251637。
• 在 σ = 0 处，𝒵(0) = 0.875 精确成立，与已知的黎曼ξ函数在 s = 1/2 处的值一致。
• 𝒵(σ) 在 σ = 0 处的导数约为 0.8118179，且 4Z′(0) 与 Z(1) 的差值小于 5×10⁻⁶，表明 log Ξ(s) 相对于 s(1−s) 呈强抛物型偏离。
• 对于 σ = 1/4，𝒵(1/4) ≈ 1.549060，而 Z(1/4) ≈ 1.548829，表明 v = 0 与 v = 1/4 情况下结果高度一致。
• 通过延拓计算得 𝒵(−1/4) ≈ 0.800805，𝒵(−3/4) ≈ 1.69388，两者均与函数方程预测一致。
• 余项 R̄ₖ(σ) 有效加速了 σ > 1/2 时的收敛速度，并在 σ 从上方趋近 1/2 时稳定了部分和。