[论文解读] Equivalence of Riesz and Baez-Duarte criterion for the Riemann Hypothesis

Jerzy Cisło, Marek Wolf|ArXiv.org|Jul 31, 2006

Analytic Number Theory Research参考文献 6被引用 3

一句话总结

本文通过推导 Riesz 函数 $ R(x) $ 与序列 $ c_k $ 之间的显式函数关系，建立了 Riesz 准则与 Baez-Duarte 准则在黎曼猜想中的精确数学等价性。证明了对于任意 $ \delta \in (0,1) $，有 $ c_k = \mathcal{O}(k^{-\delta}) $ 当且仅当 $ R(x) = \mathcal{O}(x^{1-\delta}) $，推广了已知的 $ \delta = 3/4 $ 和 $ \delta = 1/4 $ 情况，并为两个序列提供了渐近公式和数值界。

ABSTRACT

We investigate the relation between the Riesz and the Baez-Duarte criterion for the Riemann Hypothesis. In particular we present the relation between the function $R(x)$ appearing in the Riesz criterion and the sequence $c_k$ appearing in the Baez-Duarte formulation. It is shown that $R(x)$ can expressed by $c_k$ and vice versa the sequence $c_k$ can be obtained from the values of $R(x)$ at integer arguments. We give also some relations involving $c_k$ and $R(x)$, in particular value of the alternating sum of $c_k$.

研究动机与目标

• 建立 Riesz 函数 $ R(x) $ 与 Baez-Duarte 序列 $ c_k $ 之间的严格数学联系，二者均为黎曼猜想的等价准则。
• 将已知的 $ \delta = 3/4 $ 和 $ \delta = 1/4 $ 指数对应关系推广至任意 $ \delta \in (0,1) $，证明 $ c_k = \mathcal{O}(k^{-\delta}) \Leftrightarrow R(x) = \mathcal{O}(x^{1-\delta}) $。
• 为 $ R(x) $ 和 $ c_k $ 提供快速收敛的计算公式，使数值计算比直接求和更高效。
• 分析 $ c_k $ 部分和的渐近行为，特别是 $ \sum_{k=0}^n c_k $，并研究交错和 $ \sum_{k=0}^n (-1)^k c_k $ 的收敛性。

提出的方法

• 利用 Möbius 函数推导出 $ R(x) $ 的加速级数表示：$ R(x) = x \sum_{n=1}^\infty \frac{\mu(n)}{n^2} e^{-x/n^2} $，从而实现更快的数值计算。
• 使用序列的前向差分表达 $ R(x) $ 与 $ c_k $ 的关系，建立两个准则之间的直接函数联系。
• 应用 Baez-Duarte 的渐近公式 $ c_{k-1} \approx \frac{1}{2k} \sum_\rho \frac{k^{\rho/2} \Gamma(1 - \rho/2)}{\zeta'(\rho)} $，其中 $ \rho $ 遍历非平凡 zeta 函数零点，分析 $ c_k $ 的衰减速率。
• 推导出近似误差的界 $ |R(k)/k - c_k| \leq C k^{-3/2} $，对于 $ k > 16 $，表明 $ c_k \approx R(k)/k $ 在大 $ k $ 时具有高精度。
• 使用积分估计和 Stirling 公式，控制 $ R(x) $ 和 $ c_k $ 级数中指数近似与二项式近似之间的差异。
• 通过主导的非平凡 zeta 零 $ \rho_1 = \frac{1}{2} + i\gamma_1 $ 分析 $ c_k $ 的振荡行为，表明 $ c_k $ 在 $ \log k $ 上表现为阻尼余弦函数。

实验结果

研究问题

• RQ1 能否以更一般的形式证明 Riesz 准则 $ R(x) = \mathcal{O}(x^{1/4+\epsilon}) $ 与 Baez-Duarte 准则 $ c_k = \mathcal{O}(k^{-3/4+\epsilon}) $ 的等价性？
• RQ2 Riesz 函数 $ R(x) $ 与 Baez-Duarte 序列 $ c_k $ 之间存在何种解析关系？能否将其中一个表示为另一个的函数？
• RQ3 部分和 $ \sum_{k=0}^n c_k $ 的渐近行为如何？它是否发散或振幅增长？
• RQ4 近似 $ c_k \approx R(k)/k $ 能否严格证明？该近似的误差界是什么？
• RQ5 交错和 $ \sum_{k=0}^n (-1)^k c_k $ 是否收敛到某极限？若是，收敛速度如何？

主要发现

• 本文证明了普遍等价性：对于任意 $ \delta \in (0,1) $，有 $ c_k = \mathcal{O}(k^{-\delta}) $ 当且仅当 $ R(x) = \mathcal{O}(x^{1-\delta}) $，推广了已知的 $ \delta = 3/4 $ 和 $ \delta = 1/4 $ 情况。
• $ c_k $ 与 $ R(k)/k $ 之间的近似误差满足 $ |R(k)/k - c_k| \leq \frac{3\sqrt{\pi}}{16} k^{-3/2} + \mathcal{O}(k^{-2}) $，主导项为 $ \sim k^{-3/2} $（当 $ k > 16 $ 时）。
• 部分和 $ \sum_{k=0}^n c_k $ 围绕 $ -2 $ 振荡，振幅增长为 $ \mathcal{O}(n^{1/4}) $，表明其发散。
• 交错和 $ \sum_{k=0}^n (-1)^k c_k $ 收敛到极限 $ s \approx 0.782527985 $，误差为 $ \mathcal{O}(n^{-3/4}) $，表明存在稳定极限。
• $ c_k $ 的振荡特性由第一个非平凡 zeta 零 $ \rho_1 $ 主导，对于大 $ k $，有 $ c_k \approx \text{Re}\left( a_1 \cos(\gamma_1 \log k / 2) \right) $。
• 积分表示 $ \int_0^1 (1 - y^2)^k dy = \frac{1}{2} B(\frac{1}{2}, k+1) \sim \frac{\sqrt{\pi}}{2\sqrt{k+1}} $ 确认了 $ c_k $ 中二项式项的渐近行为。