[论文解读] A note on S(T) and the zeros of the Riemann zeta-function

D. A. Goldston, S. M. Gonek|ArXiv.org|Nov 3, 2005

Analytic Number Theory Research参考文献 4被引用 17

一句话总结

本文在黎曼猜想成立的假设下，通过改进Guinand-Weil显式公式并使用具有最优参数的光滑测试函数，将函数 $ S(t) $ 的最佳已知界进行了 sharpening，该函数衡量的是临界线上黎曼ζ函数的幅角。作者证明了当 $ 0 < h \leq \sqrt{t} $ 时，有 $ |S(t+h) - S(t)| \leq \left(\frac{1}{2} + o(1)\right)\frac{\log t}{\log\log t} $，改进了经典估计中的常数，并由此得出了关于零点重数和零点间距的更紧界。

ABSTRACT

Let $πS(t)$ denote the argument of the Riemann zeta-function at the point $\frac12+it$. Assuming the Riemann Hypothesis, we sharpen the constant in the best currently known bounds for $S(t)$ and for the change of $S(t)$ in intervals. We then deduce estimates for the largest multiplicity of a zero of the zeta-function and for the largest gap between the zeros.

研究动机与目标

• 在黎曼猜想假设下，改进目前对 $ S(t) $ 的最佳已知上界，即临界线上黎曼ζ函数幅角的上界。
• 改进经典 Littlewood 界 $ S(t) \ll \frac{\log t}{\log\log t} $ 中的常数，将其从一个未指定的常数降低为 $ \frac{1}{2} + o(1) $。
• 推导出对ζ函数零点最大重数以及相邻非平凡零点之间最大间距的更紧估计。
• 建立在长度 $ h \leq \sqrt{t} $ 的区间上 $ S(t) $ 变化量的有界性，即 $ \left(\frac{1}{2} + o(1)\right)\frac{\log t}{\log\log t} $，优于以往结果。

提出的方法

• 作者将 Guinand-Weil 显式公式应用于由一对偶整函数 $ F_{+} $ 和 $ F_{-} $ 导出的光滑测试函数 $ F(w) $，这些函数分别控制和逼近某个区间的特征函数。
• 利用这些函数的性质——特别是其傅里叶变换 $ \hat{F}_{\pm}(x) $ 在 $ |x| \geq \delta $ 时为零，以及其衰减行为——来控制显式公式中的误差项。
• 通过设定 $ \pi\delta = \log\log t - 2\log\log\log t $，对测试函数的参数 $ L $ 和 $ \delta $ 进行优化，以平衡主项与误差项。
• 通过对 $ h(w) = F(w - t) $ 应用显式公式，将零点之和与伽马函数的对数导数、ζ函数的显式公式以及对素数幂的求和联系起来。
• 主项来源于伽马函数对数导数，通过 Stirling 公式近似；对 $ n $ 的求和则利用傅里叶变换的衰减性和平凡估计进行控制。
• 由此得到的关于区间 $ (t-L, t+L] $ 内零点个数的不等式，被进一步用于推导 $ S(t+h) - S(t) $ 的界，最终通过平均化论证得出 $ S(t) $ 本身的界。

实验结果

研究问题

• RQ1 在黎曼猜想下，经典界 $ S(t) \ll \frac{\log t}{\log\log t} $ 中的常数是否可以得到改进？
• RQ2 在长度 $ h \leq \sqrt{t} $ 的区间上 $ S(t) $ 的变化量是否存在最优界？其对零点间距与重数估计有何影响？
• RQ3 能否利用改进后的 $ S(t) $ 界，对ζ函数零点的重数进行更紧的控制？
• RQ4 改进后的 $ S(t) $ 界如何影响临界线上相邻非平凡零点之间最大间距的估计？
• RQ5 是否可能在 $ S(t) $ 界的首项中实现精确常数 $ \frac{1}{2} $，而非一个未指定的常数？

主要发现

• 本文在黎曼猜想下证明了：当 $ 0 < h \leq \sqrt{t} $ 时，有 $ |S(t+h) - S(t)| \leq \left(\frac{1}{2} + o(1)\right)\frac{1}{\log\log t} \log t $，改进了经典界中的常数。
• 证明了当 $ t $ 足够大时，有 $ |S(t)| \leq \left(\frac{1}{2} + o(1)\right)\frac{\log t}{\log\log t} $，确认了首项中常数 $ \frac{1}{2} $ 的最优性。
• 对于大 $ \gamma $，零点 $ \frac{1}{2} + i\gamma $ 的最大重数 $ m(\gamma) $ 满足 $ m(\gamma) \leq \left(\frac{1}{2} + o(1)\right)\frac{\log \gamma}{\log \log \gamma} $。
• 相邻非平凡零点之间的最大间距 $ \gamma' - \gamma $ 满足 $ \gamma' - \gamma \leq \frac{\pi}{\log\log \gamma}(1 + o(1)) $，这是在黎曼猜想下的一条紧致上界。
• 作者通过在 Guinand-Weil 显式公式中优化参数，使用具有受控傅里叶变换和衰减性质的光滑测试函数，实现了这一结果。
• 关键创新在于通过选择 $ \pi\delta = \log\log t - 2\log\log\log t $ 精确平衡误差项，使误差相对于主项最小化。