[论文解读] On the Order Estimates for Specific Functions of $ζ(s)$ and its Contribution towards the Analytic Proof of The Prime Number Theorem

Subham De|arXiv (Cornell University)|Aug 28, 2023

Meromorphic and Entire FunctionsMathematics被引用 3

一句话总结

本文通过建立黎曼ζ函数ζ(s)的关键函数的精确阶估计，特别是其对数导数−ζ′(s)/ζ(s)，提供了素数定理（PNT）的全面解析证明。它利用围线积分、复分析以及黎曼-勒贝格引理，证明当x → ∞时ψ(x) ∼ x，从而推出π(x) ∼ x/log x，最终通过ζ(s)在Re(s) = 1线上非零这一关键步骤，完成了PNT的解析证明。

ABSTRACT

This article provides a proof of the famous extit{Prime Number Theorem} by establishing an analogous statement of the same in terms of the second extit{Chebyshev Function} $ψ(x)$. We shall be extensively using complex analytic techniques in addition to certain meromorphic properties of the extit{Reimann Zeta Function} $ζ(s)$ and its extit{Analytic Continuation Property} a priori using Riemann's Functional Equation in order to establish our desired result.

研究动机与目标

• 通过黎曼ζ函数及其性质，提供素数定理（PNT）的严格解析证明。
• 在Re(s) = 1附近建立|ζ(s)|、|ζ′(s)|、|1/ζ(s)|和|ζ′(s)/ζ(s)|的精确阶估计。
• 证明ζ(s)在Re(s) = 1上非零，这是PNT解析证明中的关键步骤。
• 利用围线积分与黎曼-勒贝格引理，推导ψ(x) ∼ x的渐近行为。
• 通过积分表示建立ψ₁(x)与ζ函数之间的联系，并证明将积分围线向Re(s) = 1移动的合理性。

提出的方法

• 对ψ₁(x)/x²导出基于函数h(s) = [−ζ′(s)/ζ(s) − 1/(s−1)] / [s(s+1)] 在Re(s) > 1下的围线积分表示。
• 应用柯西定理，将积分围线从Re(s) = c > 1移动至Re(s) = 1，证明当T → ∞时，水平线段上的积分趋于零。
• 利用已知估计|ζ′(s)/ζ(s)| ≤ M(log T)^9（当Re(s) ≥ 1且|t| ≥ e时），在Re(s) = 1上建立|h(s)|的统一有界性。
• 证明|h(1+it)|在ℝ上绝对可积，从而可应用黎曼-勒贝格引理。
• 利用黎曼-勒贝格引理推导出ψ₁(x)/x² → 1/2（当x → ∞时），进而得出ψ₁(x) ∼ x²/2。
• 通过ψ₁(x)与ψ(x)之间的积分关系，最终得出ψ(x) ∼ x，这等价于素数定理。

实验结果

研究问题

• RQ1 如何利用ζ(s)及其对数导数的精确阶估计来证明ζ(s)在Re(s) = 1上非零？
• RQ2 围线积分与解析延拓在推导切比雪夫函数ψ(x)的渐近行为中起到什么作用？
• RQ3 为何∫|h(1+it)|dt的收敛性使得黎曼-勒贝格引理可应用于ψ₁(x)/x²的傅里叶型积分表示，并推导出ψ₁(x) ∼ x²/2？
• RQ4 h(s)的解析性质与ψ(x) ∼ x等价于素数定理之间有何联系？
• RQ5 是否仅通过阶估计与围线积分即可完成PNT的解析证明，而无需依赖初等方法？

主要发现

• 函数h(s) = [−ζ′(s)/ζ(s) − 1/(s−1)] / [s(s+1)] 在Re(s) = 1上全纯且绝对可积，且当|t| ≥ e时满足|h(1+it)| ≤ M(log t)^9 / t^2。
• 积分∫_{−∞}^{∞} |h(1+it)| dt收敛，从而可将黎曼-勒贝格引理应用于ψ₁(x)/x²的傅里叶型积分表示。
• 当x → ∞时，积分表示意味着ψ₁(x) ∼ x²/2，即ψ₁(x) = x²/2 + o(x²)。
• 通过分部积分建立ψ₁(x)与ψ(x)之间的关系，可推出ψ(x) ∼ x（当x → ∞时），这等价于素数定理。
• ζ(s)在Re(s) = 1上非零是关键条件，其成立性由−ζ′(s)/ζ(s) − 1/(s−1)在s = 1处的解析性所保证。
• 该证明表明，π(x) ∼ x/log x 可由ψ(x) ∼ x 推出，从而完整完成了素数定理的解析证明。