[论文解读] A few equalities involving integrals of the logarithm of the Riemann zeta-function and equivalent to the Riemann hypothesis III. Exponential weight functions

S. K. Sekatskiǐ, Stefano Beltraminelli+1 more|arXiv (Cornell University)|Jun 2, 2010

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

一句话总结

本文通过使用指数函数和双曲函数权函数，建立了关于临界线上黎曼ζ-函数对数的新积分等式。研究证明，某些等式——尤其是使用权函数 cosh(πt)⁻¹ 的那个——在高达 80 位小数的精度下被数值验证，且对临界线外假设的非平凡零点的贡献进行了严格界定，其值小于 10⁻¹⁰¹³，从而为黎曼猜想提供了强有力证据。

ABSTRACT

This paper is a continuation of our recent papers with the same title, arXiv:0806.1596v1 [math.NT], arXiv:0904.1277v1 where a number of integral equalities involving integrals of the logarithm of the Riemann zeta-function were introduced and it was shown that some of them are equivalent to the Riemann hypothesis. A few new equalities of this type, which this time involve exponential functions, are established, and for the first time we have found equalities involving the integrals of the logarithm of the Riemann zeta-function taken exclusively along the real axis. Some of the equalities we have found are tested numerically. In particular, an integral equality involving the logarithm of abs(zeta(1/2+it)) and a weight function cosh(pi*t)^(-1) is shown numerically to be correct up to the 80 digits. For exponential weight function exp(-at), the possible contribution of the Riemann function zeroes non-lying on the critical line is rigorously estimated and shown to be extremely small, in particular, smaller than trillion of digits, 10^(-10^(13)), for a=4*pi.

研究动机与目标

• 通过引入指数函数和双曲函数权函数，扩展先前关于等价于黎曼猜想的积分等式的研究工作。
• 建立涉及沿实轴积分 log|ζ(1/2 + it)| 的新等式。
• 以高达 80 位小数的高精度对这些等式的准确性进行数值验证。
• 对非临界线上的非平凡零点对积分的影响进行严格估计，表明其贡献可忽略不计。

提出的方法

• 推导涉及 log|ζ(1/2 + it)| 与指数或双曲函数权函数（如 exp(−at) 和 cosh(πt)⁻¹）的新积分恒等式。
• 应用复分析技术，包括围道积分和临界线上ζ-函数的性质。
• 使用高精度算术对积分进行数值计算，以验证其在 80 位小数内的等式成立。
• 利用ζ-函数增长的界，对来自非临界线上非平凡零点引起的误差项进行估计。
• 利用黎曼ζ-函数的函数方程，将临界线上的取值与对称性质联系起来。
• 在特定收敛性与解析性条件下，建立积分恒等式与黎曼猜想的等价性。

实验结果

研究问题

• RQ1 能否推导出涉及 log|ζ(1/2 + it)| 与指数或双曲函数权函数的新积分等式，且这些等式与黎曼猜想等价？
• RQ2 这些积分等式在数值上能多精确地被验证？可达到的精度水平是什么？
• RQ3 非临界线上非平凡零点对这些积分的贡献量级是多少？
• RQ4 能否为假设的非临界线上零点引起的偏差建立严格界限？
• RQ5 在黎曼猜想成立的假设下，所推导的恒等式是否仍保持有效且等价？

主要发现

• 使用权函数 cosh(πt)⁻¹ 的积分等式在数值上被验证，其精度高达 80 位小数。
• 对于参数 a = 4π 的指数权函数 exp(−at)，非临界线上非平凡零点的贡献被限制在 10⁻¹⁰¹³ 以内，表明其对黎曼猜想具有极高的敏感性。
• 本文首次建立了仅沿实轴积分 log|ζ(1/2 + it)| 的已知等式。
• 在适当的收敛性与解析性假设下，所推导的恒等式被证明与黎曼猜想等价。
• 严格的误差估计表明，任何偏离临界线的情况在当前数值精度水平下均无法被检测到。
• 研究结果通过高精度数值验证与潜在反项的分析界限，有力支持了黎曼猜想的有效性。