[论文解读] Explicit $L^2$ bounds for the Riemann $\zeta$ function

Daniele Dona, H. A. Helfgott+1 more|arXiv (Cornell University)|Jun 3, 2019

Analytic Number Theory Research参考文献 28被引用 5

一句话总结

本文通过两种互补方法，为垂直线 $\Re(s) = \sigma$ 上的黎曼 zeta 函数 $\zeta(s)$ 的尾部提供了明确且紧致的 $L^2$ 估计：一种基于梅林变换等距性，另一种基于欧拉-麦克拉林求和。关键贡献是针对 $\int_T^\infty |\zeta(\sigma + it)|^2 / |\sigma + it|^2 \, dt$ 的一组显式、可数值验证的界限，这对解析数论中不恰当积分的严格数值计算至关重要，尤其在 $0 < \sigma \leq 1$ 时改进了误差项并提升了渐近精度。这些界限适用于 $T \geq 4$，并针对大 $T$ 进行了优化，显式常数通过 ARB 和 Sage 中的区间算术推导得出。

ABSTRACT

Explicit bounds on the tails of the zeta function $\zeta$ are needed for applications, notably for integrals involving $\zeta$ on vertical lines or other paths going to infinity. Here we bound weighted $L^2$ norms of tails of $\zeta$. Two approaches are followed, each giving the better result on a different range. The first one is inspired by the proof of the standard mean value theorem for Dirichlet polynomials. The second approach, superior for large $T$, is based on classical lines, starting with an approximation to $\zeta$ via Euler-Maclaurin. Both bounds give main terms of the correct order for $0<\sigma\leq 1$ and are strong enough to be of practical use for the rigorous computation of improper integrals. We also present bounds for the $L^{2}$ norm of $\zeta$ in $[1,T]$ for $0\leq\sigma\leq 1$.

研究动机与目标

• 为 $0 < \sigma \leq 1$ 时垂直线 $\Re(s) = \sigma$ 上 $\zeta(s)$ 尾部的 $L^2$-范数提供显式、可数值验证的界限，以支持不恰当积分的严格计算。
• 解决在反梅林变换等应用中对有效界限的需求，特别是在涉及 zeta 函数乘积的积分计算中。
• 通过提供更强的 $L^2$-范数估计与显式常数，超越现有的凸性与次凸性界限，尤其针对大 $T$ 的情形。
• 通过在推导与误差估计中全程使用 ARB 库实现的区间算术，确保数值严格性。

提出的方法

• 第一种方法利用梅林变换的等距性质，对 $[T, \infty)$ 上 $\zeta(\sigma + it)$ 的 $L^2$-范数进行估计，得到对 $0 < \sigma \leq 1$ 情形主项阶数正确的界限。
• 第二种方法应用欧拉-麦克拉林求和公式近似 $\zeta(\sigma + it)$，通过积分控制法实现对尾部 $L^2$-范数的精确估计。
• 当 $\sigma = 1/2$ 时，该方法利用阿特金森公式与黎曼-西格尔公式中的已知结果，对所有项进行估计而不依赖抵消效应。
• 当 $\sigma < 1/2$ 时，利用 $\zeta(s)$ 的函数方程将 $\zeta(\sigma + it)$ 与 $\zeta(1 - \sigma - it)$ 关联，从而将 $\sigma > 1/2$ 区域的界限转移至 $\sigma < 1/2$ 区域。
• 误差项通过伯努利多项式及其导数的显式界进行控制，常数基于已知的 zeta 函数值与特殊函数推导得出。
• 所有界限均通过 ARB 库中的区间算术验证，确保数值严格性与显式误差控制。

实验结果

研究问题

• RQ1 对于 $0 < \sigma \leq 1$ 且大 $T$，$\int_T^\infty |\zeta(\sigma + it)|^2 / |\sigma + it|^2 \, dt$ 的最紧致显式 $L^2$ 界是什么？
• RQ2 如何利用欧拉-麦克拉林与梅林变换技术，以显式常数对 $[T, \infty)$ 上 $\zeta(\sigma + it)$ 的 $L^2$-范数进行界定？
• RQ3 能否通过区间算术使 $\zeta(\sigma + it)$ 的 $L^2$-范数估计中的误差项显式化并可数值验证？
• RQ4 在每种情形下（定理 4.6 的第二项界限），第二界限何时强于第一界限（定理 3.1 的界限）？该阈值如何随 $\sigma$ 变化？
• RQ5 在多大程度上可将已知的近似函数方程或黎曼-西格尔公式显式化，以改进 $L^2$-范数界限？

主要发现

• 当 $\sigma = 1$ 时，尾部积分 $\int_T^\infty |\zeta(1 + it)|^2 / |1 + it|^2 \, dt$ 满足 $\frac{\pi^2}{6T} + \frac{28.29 \log T}{T^2}$，对 $T \geq 200$ 成立，主项与已知留数贡献一致。
• 当 $\frac{1}{2} < \sigma < 1$ 时，对 $T \geq 200$，有界 $\frac{3\pi \zeta(2\sigma)}{5T} + \left(18.98 - \frac{0.61}{\sigma - \frac{1}{2}} \right) \frac{1}{T^{2\sigma}}$，且渐近下第二项占主导。
• 当 $\sigma = \frac{1}{2}$ 时，对 $T \geq 200$，有界 $\frac{3\pi}{5} \frac{1}{T} \log T + \frac{7.72}{T}$，进一步改进为对 $T \geq 10^{40}$ 成立的 $\frac{1}{T} \log T + \frac{9.19 \sqrt{1}}{T}$，显示出强大的渐近控制能力。
• 当 $0 < \sigma < \frac{1}{2}$ 时，对 $T \geq 200$，有界 $\left(\frac{0.5}{\sigma} + \frac{0.95}{\frac{1}{2} - \sigma} + 5.62 \right) \frac{1}{T^{2\sigma}} - 2.55 \zeta(2\sigma) \frac{1}{T}$，当 $T \to \infty$ 时第一项占主导。
• 当 $\sigma = 0$ 时，积分发散，主项行为类似 $\frac{\pi^2}{12} \log T$，确认 $\sigma > 0$ 是收敛的必要条件。
• 第二界限强于第一界限的阈值被显式计算：例如，当 $\sigma = 0.59$ 时，切换发生在 $T \approx 297$；当 $\sigma = 0.45$ 时，发生在 $T \approx 1.43 \times 10^{20}$，表明改进界限的实际应用价值。