[论文解读] A new necessary and sufficient condition for the Riemann hypothesis

Luis Báez‐Duarte|ArXiv.org|Jul 16, 2003

advanced mathematical theories参考文献 2被引用 6

一句话总结

本文提出了一种新的黎曼猜想的充要条件，基于有限有理组合 $ c_k = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{\zeta(2j+2)} $ 的衰减速率。证明了黎曼猜想成立当且仅当对所有 $ \epsilon > 0 $，有 $ c_k \ll k^{-3/4 + \epsilon} $，从而提供了一个基于反黎曼 zeta 函数在 Pochhammer 多项式展开中的数值可处理准则。

ABSTRACT

We give a new equivalent condition for the Riemann hypothesis consisting in an order condition for certain finite rational combinations of the values of the Riemann zeta-function at even positive integers.

研究动机与目标

• 建立一个与黎曼猜想等价的新、数值上可处理的判据。
• 将黎曼猜想重新表述为涉及 $ \zeta(2j+2)^{-1} $ 的有限和的渐近衰减速率问题。
• 将 $ \zeta(s) $ 在 $ \Re(s) > 1/2 $ 区域内非零性与 Pochhammer 多项式级数的收敛性行为联系起来。
• 提供一种简化版本的古典判据（如 Riesz 或 Hardy-Littlewood 的判据），仅依赖于 $ \zeta(s) $ 在偶正整数处的取值。

提出的方法

• 定义 $ c_k = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{\zeta(2j+2)} $，即在偶整数处的反 zeta 值的有限有理组合。
• 利用 $ \left(1 - \frac{1}{n^2}\right)^k $ 的二项式展开，将 $ \frac{1}{\zeta(s)} $ 表示为 Pochhammer 多项式 $ P_k(s/2) $ 的级数。
• 使用欧拉-麦克拉林公式和总变差估计，得到关键辅助估计 $ q_k = \sum_{n=1}^\infty \frac{1}{n^2} \left(1 - \frac{1}{n^2}\right)^k \ll k^{-1/2} $。
• 对 $ c_k $ 应用分部求和法，将其重写为涉及 Mertens 函数 $ M(x) $ 的积分形式，该函数在黎曼猜想下满足 $ M(x) \ll x^{1/2 + \epsilon} $。
• 利用经典的 beta 积分估计 $ \int_0^1 x^\lambda (1 - x^2)^k dx \ll k^{-1/2 - \lambda/2} $ 来控制所得积分，并推导出衰减速率。
• 在衰减速率 $ c_k \ll k^{-3/4 + \epsilon} $ 条件下，证明级数 $ \sum c_k P_k(s/2) $ 在 $ \Re(s) > 1/2 $ 的紧子集上一致收敛。

实验结果

研究问题

• RQ1 衰减速率 $ c_k \ll k^{-3/4 + \epsilon} $ 是否刻画了黎曼猜想的真值？
• RQ2 黎曼猜想能否仅通过 $ \zeta(s) $ 在偶正整数处的取值来等价重述？
• RQ3 定义为 $ \zeta(2j+2)^{-1} $ 的有限交错和 $ c_k $ 的行为，如何与 $ \zeta(s) $ 的零点自由区域相关联？
• RQ4 所提出的判据是否可数值验证，并且相较于 Riesz 或 Hardy-Littlewood 的判据是否更高效？
• RQ5 在不依赖黎曼猜想的前提下，$ c_k $ 的无条件衰减速率是多少？

主要发现

• 黎曼猜想成立当且仅当对所有 $ \epsilon > 0 $，有 $ c_k \ll k^{-3/4 + \epsilon} $，从而确立了一个充要条件。
• 无条件地，$ c_k \ll k^{-1/2} $，这给出了一个不依赖于猜想的基准衰减速率。
• 反 zeta 函数具有表示式 $ \frac{1}{\zeta(s)} = \sum_{k=0}^\infty c_k P_k\left(\frac{s}{2}\right) $，在不假设黎曼猜想的前提下，该级数在 $ \Re(s) > 1 $ 的紧子集上一致收敛。
• 在黎曼猜想成立的假设下，通过分部求和法与 $ M(x) \ll x^{1/2 + \epsilon} $ 的界，结合 beta 积分估计，证明了 $ c_k \ll k^{-3/4 + \epsilon} $ 的衰减。
• 数值计算显示，当 $ k \leq 1000 $ 时，$ c_k k^{3/4} \log^2 k $ 趋近于一个有限极限，表明其衰减平滑且规律，与猜想的界一致。
• 该判据比以往的等价条件更简单，因为它仅依赖于 $ \zeta(2j+2)^{-1} $ 的有限有理组合，因此适合用于数值检验。