[论文解读] From the density and Lindel\"of hypotheses to prove the Riemann hypothesis via a power sum method

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

Analytic Number Theory Research被引用 1

一句话总结

本文通过在幂和法（Turán）的新颖应用中结合密度假设与Lindelöf假设，为证明黎曼猜想开辟了一条新路径。它对变换后的Zeta函数 ${\mathsf Z}(s)$ 应用柯西留数定理，将素数定理中的误差项减少至 $O(x^{1/2} \log^2 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(\Lambda(n) -1\big)$ with the sum running through the set of all natural integers. Let ${\mathsf Z}(s) = - frac{\zeta\sp{\prime}(s)}{\zeta(s)} -\zeta(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{\zeta\sp{\prime}(s)} {\zeta(s)} \cdot frac{x\sp{s}}{s}$, so that we may utilize the formula for $ frac{1}{2} 1$ of ${\mathsf Z}(s)$, we use induction to reduce the size of the exponent $ heta$ in $\varpi(x) =O(x\sp{ heta} \log\sp{2} x)$, while we also use induction on $x$ when $ heta$ is fixed. We prove that the Riemann hypothesis is valid under the assumptions of the explicit strong density hypothesis and the Lindelof 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 Turan.

研究动机与目标

• 通过将黎曼猜想与密度假设和Lindelöf假设联系起来，建立证明黎曼猜想的新路径。
• 通过将 $\varpi(x) = O(x^\theta \log^2 x)$ 中的指数 $\theta$ 降低，改进素数定理中的误差项。
• 应用Turán的幂和法，从素数定理的余项推导出零点自由区域。
• 用变换后的Zeta函数 ${\mathsf Z}(s) = -\frac{\zeta'(s)}{\zeta(s)} - \zeta(s)$ 取代经典对数导数，以利用Zeta函数对数导数的性质及其解析行为。
• 对 $x$ 和指数 $\theta$ 进行归纳，逐步收紧 $\varpi(x)$ 中的误差界。

提出的方法

• 对 $m > 0$ 的 Heaviside 函数积分表示 $\mathsf{H}(x) = \int_{m - i\infty}^{m + i\infty} \frac{x^s}{s} \, ds$ 应用，以分析算术函数。
• 对函数 ${\mathsf Z}(s) \cdot \frac{x^s}{s}$ 而非经典形式 $-\frac{\zeta'(s)}{\zeta(s)} \cdot \frac{x^s}{s}$ 应用柯西留数定理，从而实现基于留数的新估计。
• 引入函数 ${\mathsf Z}(s) = -\frac{\zeta'(s)}{\zeta(s)} - \zeta(s)$，以利用Zeta函数对数导数的性质及其解析行为。
• 应用Turán的幂和法，将素数定理中的余项与 $\zeta(s)$ 的零点自由区域联系起来。
• 对 $x$ 和指数 $\theta$ 进行归纳，逐步减小 $\varpi(x)$ 中误差项的大小。
• 以显式的强密度假设和最近被证明的Lindelöf假设作为基础假设，推导出黎曼猜想。

实验结果

研究问题

• RQ1 能否通过改进的幂和法，从密度假设与Lindelöf假设的结合中推导出黎曼猜想？
• RQ2 与经典方法相比，使用变换函数 ${\mathsf Z}(s)$ 在素数定理误差项估计中如何提升精度？
• RQ3 对 $x$ 和指数 $\theta$ 进行归纳，能在多大程度上减小误差界 $\varpi(x) = O(x^\theta \log^2 x)$？
• RQ4 Turán的幂和法在将余项与 $\zeta(s)$ 的零点自由区域联系起来的过程中起到何种作用？
• RQ5 在 ${\mathsf Z}(s) \cdot \frac{x^s}{s}$ 上采用留数理论方法，是否能获得比经典方法更强的零点自由区域？

主要发现

• 在显式强密度假设与最近被证明的Lindelöf假设下，黎曼猜想得以证明。
• 素数定理中的误差项被减少至 $\varpi(x) = O(x^{1/2} \log^2 x)$，这与黎曼猜想等价。
• 在留数定理中使用函数 ${\mathsf Z}(s)$ 能够比经典方法 $-\frac{\zeta'(s)}{\zeta(s)}$ 更有效地分析零点自由区域。
• 对 $x$ 和指数 $\theta$ 的归纳成功地将误差项指数降低至 $\theta = 1/2$，确认了最优界。
• Turán的幂和法有效建立了素数定理余项与 $\zeta(s)$ 零点自由区域之间的联系，从而实现了黎曼猜想的推导。
• 使用 $m > 0$ 的Heaviside函数积分表示，为留数计算提供了有效的围道，确保了收敛性与解析控制。