[论文解读] The Riemann Hypothesis for Symmetrised Combinations of Zeta Functions

Ross C. McPhedran, Christopher G. Poulton|arXiv (Cornell University)|Aug 27, 2013

Analytic Number Theory Research参考文献 24被引用 9

一句话总结

本文引入了黎曼ζ函数的对称与反对称组合，记为 $\mathcal{T}_{+}(s)$ 和 $\mathcal{T}_{-}(s)$，并在黎曼猜想假设下证明了二者的所有非平凡零点均位于临界线 $\sigma = 1/2$ 上。此外，本文建立了这些函数零点分布与 $\zeta(2s-1)$ 之间的直接对应关系，表明当 $t \to \infty$ 时，其渐近行为一致。结果扩展了 Taylor 的经典工作，并通过对称化ζ函数组合提供了一套分析黎曼猜想的新框架。

ABSTRACT

This paper studies combinations of the Riemann zeta function, based on one defined by P.R. Taylor, which was shown by him to have all its zeros on the critical line. With a rescaled complex argument, this is denoted here by ${\cal T}_-(s)$, and is considered together with a counterpart function ${\cal T}_+(s)$, symmetric rather than antisymmetric about the critical line. We prove that ${\cal T}_+(s)$ has all its zeros on the critical line, and that the zeros of both functions are all of first order. We establish a link between the zeros of ${\cal T}_-(s)$ and of ${\cal T}_+(s)$ with those of the zeros of the Riemann zeta function $ζ(2 s-1)$, which enables us to prove that, if the Riemann hypothesis holds, then the distribution function of the zeros of $ζ(2 s-1)$ agrees with those for ${\cal T}_-(s)$ and of ${\cal T}_+(s)$ in all terms which do not remain finite as $t ightarrow \infty$.

研究动机与目标

• 将 P.R. Taylor 1945 年关于反对称ζ组合的结果扩展至包含对称对应函数。
• 研究这些新函数的零点分布及其与黎曼ζ函数 $\zeta(2s-1)$ 的关联。
• 在黎曼猜想假设下，建立 $\mathcal{T}_{+}(s)$、$\mathcal{T}_{-}(s)$ 与 $\zeta(2s-1)$ 零点之间的映射关系。
• 证明 $\mathcal{T}_{+}(s)$ 和 $\mathcal{T}_{-}(s)$ 的零点分布函数与 $\zeta(2s-1)$ 在 $t \to \infty$ 时发散项上的一致性。

提出的方法

• 将 $\mathcal{T}_{-}(s)$ 定义为 Taylor 的反对称组合 $\xi_1(s+1/2) - \xi_1(s-1/2)$ 的缩放版本，该函数已知所有零点位于 $\sigma = 1/2$ 上。
• 引入 $\mathcal{T}_{+}(s)$ 作为对称对应函数，通过 $\xi_1(s+1/2) + \xi_1(s-1/2)$ 构造，并证明其零点同样位于临界线上。
• 使用变换 $s \to 2s - 1/2$ 将函数与先前工作中研究的二维格点和对齐。
• 应用复分析技术，包括 $\mathcal{U}(s)$ 和 $\mathcal{V}(s)$ 平面上的相位映射与轮廓追踪，将零点位置与相位跃迁及单位圆映射关联。
• 利用幅角变化与单调相位变化，建立 $\mathcal{V}(s)$ 在临界线上极点与 $\mathcal{U}(s)$ 零点之间的一一对应关系。
• 借助 Bohr-Landau 定理及关于 $\arg[\xi_1(1+2it)]$ 的已知结果，证明相位无限次地遍历所有实数值，从而支持零点分布的映射关系。

实验结果

研究问题

• RQ1 对称化的黎曼ζ函数组合（如 $\mathcal{T}_{+}(s)$）是否所有非平凡零点都位于临界线 $\sigma = 1/2$ 上？
• RQ2 在黎曼猜想假设下，$\mathcal{T}_{+}(s)$、$\mathcal{T}_{-}(s)$ 与 $\zeta(2s-1)$ 的零点分布是否存在直接对应关系？
• RQ3 能否证明 $\mathcal{T}_{+}(s)$ 和 $\mathcal{T}_{-}(s)$ 的零点分布函数的渐近行为与 $\zeta(2s-1)$ 在 $t \to \infty$ 时发散项上一致？
• RQ4 $\mathcal{U}(s)$ 和 $\mathcal{V}(s)$ 的相位映射如何与复平面上零点与极点的位置及阶数相关联？

主要发现

• 函数 $\mathcal{T}_{+}(s)$，定义为对称组合 $\xi_1(s+1/2) + \xi_1(s-1/2)$，其所有非平凡零点均位于临界线 $\sigma = 1/2$ 上。
• 通过相位变化与轮廓映射论证，确认 $\mathcal{T}_{+}(s)$ 与 $\mathcal{T}_{-}(s)$ 的所有零点均为一阶零点。
• 在临界线上由 $\mathcal{V}(s)$ 的极点所界定的区间与 $\mathcal{U}(s)$ 的零点之间建立了一一对应关系，每个零点对应一次 $2\pi$ 的相位变化。
• 在黎曼猜想假设下，由于共享渐近行为，$\mathcal{T}_{+}(s)$、$\mathcal{T}_{-}(s)$ 与 $\zeta(2s-1)$ 的零点分布函数在所有随 $t \to \infty$ 发散的项上完全一致。
• $\mathcal{V}(s)$ 与 $\mathcal{U}(s)$ 之间的映射为一一对应，沿包围单个零点的轮廓，相位变化为 $2\pi$，从而确认了零点的一阶性质。
• 分析结果表明，$\mathcal{T}_{+}(s)$ 与 $\mathcal{T}_{-}(s)$ 的零点不仅位于临界线上，且其渐近密度与分布模式也与 $\zeta(2s-1)$ 一致，仅在发散项上存在差异。