[论文解读] Proof of the the Riemann hypothesis from the density and Lindelof hypotheses via a power sum method

Yuanyou Furui Cheng|arXiv (Cornell University)|Oct 12, 2008

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

一句话总结

本文通过在图兰的幂和法基础上创新性地应用，结合密度假设与林德洛夫假设，证明了黎曼假设。通过使用函数 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) 重新定义经典积分方法，并对 𝒮Z(s) · x^s/s 应用柯西留数定理，实现了误差项指数 θ 在 ϖ(x) = O(x^θ log²x) 中的归纳式降低，最终在给定假设下确立了黎曼假设。

ABSTRACT

The Riemann hypothesis is equivalent to the $\varpi$-form of the prime number theorem as $\varpi(x) =O(x\sp{1/2} \log\sp{2} x)$, where $\varpi(x) =\sum\sb{n\le x}\ \bigl(Λ(n) -1\big)$ with the sum running through the set of all natural integers. Let ${\mathsf Z}(s) = - frac{ζ\sp{\prime}(s)}{ζ(s)} -ζ(s)$. We use the classical integral formula for the Heaviside function in the form of ${\mathsf H}(x) =\int\sb{m -i\infty} \sp{m +i\infty} frac{x\sp{s}}{s} \dd s$ where $m >0$, and ${\mathsf H}(x)$ is 0 when $ frac{1}{2} 1$. However, we diverge from the literature by applying Cauchy's residue theorem to the function ${\mathsf Z}(s) \cdot frac{x\sp{s}} {s}$, rather than $- frac{ζ\sp{\prime}(s)} {ζ(s)} \cdot frac{x\sp{s}}{s}$, so that we may utilize the formula for $ frac{1}{2}< m <1$, under certain conditions. Starting with the estimate on $\varpi(x)$ from the trivial zero-free region $σ>1$ of ${\mathsf Z}(s)$, we use induction to reduce the size of the exponent $θ$ in $\varpi(x) =O(x\spθ \log\sp{2} x)$, while we also use induction on $x$ when $θ$ is fixed. We prove that the Riemann hypothesis is valid under the assumptions of the explicit strong density hypothesis and the Lindelöf hypothesis recently proven, via a result of the implication on the zero free regions from the remainder terms of the prime number theorem by the power sum method of Turán.

研究动机与目标

• 在强密度假设与林德洛夫假设的前提下，确立黎曼假设的有效性。
• 通过修改后的Zeta函数变换 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s)，重新表述素数定理的误差项。
• 在临界带 1/2 < Re(s) < 1 内对 𝒮Z(s) · x^s/s 应用柯西留数定理，实现对零点自由区域的新估计。
• 通过对 x 和误差项 ϖ(x) = O(x^θ log²x) 中的指数 θ 进行迭代归纳，逐步将 θ 降低至 1/2。

提出的方法

• 利用 Heaviside 函数的积分表示 H(x) = ∫_{m−i∞}^{m+i∞} x^s/s ds（其中 m > 0），将 x 与涉及Zeta函数的复积分联系起来。
• 引入函数 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s)，而非标准的 −ζ′(s)/ζ(s)，以在临界带 1/2 < m < 1 内实现留数分析。
• 对乘积 𝒮Z(s) · x^s/s 应用柯西留数定理，推导出将误差项 ϖ(x) 与 ζ(s) 的零点联系起来的围道积分表达式。
• 对 x 和误差项 ϖ(x) = O(x^θ log²x) 中的指数 θ 进行归纳，逐步将 θ 降低至 1/2。
• 利用图兰的幂和法，将素数定理中余项与 ζ(s) 的零点自由区域联系起来。
• 依赖于近期已证明的林德洛夫假设与强密度假设，以约束非平凡零点的位置。

实验结果

研究问题

• RQ1 能否通过结合强密度假设与林德洛夫假设，并利用修改后的Zeta积分变换，推导出黎曼假设？
• RQ2 与标准对数导数相比，使用 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) 而非 −ζ′(s)/ζ(s) 在临界带 1/2 < Re(s) < 1 内如何改善分析？
• RQ3 对 x 和误差项 ϖ(x) = O(x^θ log²x) 中的指数 θ 进行归纳，能在多大程度上将 θ 降低至 1/2？
• RQ4 图兰的幂和法在连接素数定理余项与零点自由区域之间起到何种作用？
• RQ5 通过 𝒮Z(s) · x^s/s 的修改后围道积分方法，是否能提供一条一致且有效的黎曼假设证明路径？

主要发现

• 在强密度假设与近期已确立的林德洛夫假设下，黎曼假设得以证明。
• 函数 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s) 允许在临界带 1/2 < Re(s) < 1 内进行有效的留数计算，而标准对数导数通常无法实现这一点。
• 误差项 ϖ(x) = ∑_{n≤x} (Λ(n) − 1) 满足 ϖ(x) = O(x^{1/2} log²x)，这与黎曼假设等价。
• 对 x 和指数 θ 的归纳成功地将误差项界从 θ > 1/2 降低至 θ = 1/2，确认了最优界。
• 图兰的幂和法在素数定理余项与 ζ(s) 的零点自由区域之间建立了关键联系，从而实现了最终推导。
• 结果表明，黎曼假设可由强密度假设与林德洛夫假设的结合，通过所提出的积分与归纳框架推出。