[論文レビュー] 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) の主要な関数の正確な順序推定を確立することにより、素数定理（PNT）の包括的な解析的証明を提供する。特に、対数微分 −ζ′(s)/ζ(s) に注目している。留数積分、複素解析、およびリーマン＝レーベーグ補題を用いて、x → ∞ のとき ψ(x) ∼ x であることを示し、これは π(x) ∼ x/log x を意味する。これにより、Re(s) = 1 上での ζ(s) の非零性を用いた、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)| の鋭い順序推定を確立すること。
• PNT の解析的証明における重要な段階である、Re(s) = 1 上での ζ(s) の非零性を示すこと。
• 留数積分およびリーマン＝レーベーグ補題を用いて、ψ(x) ∼ x の漸近的挙動を導出すること。
• 積分表現を介して ψ₁(x) とゼータ関数の関係を確立し、積分路を Re(s) = 1 にずらす正当性を示すこと。

提案手法

• Re(s) > 1 に対して、h(s) = [−ζ′(s)/ζ(s) − 1/(s−1)] / [s(s+1)] を用いて、ψ₁(x)/x² の留数積分表現を導出すること。
• コーシーの定理を適用し、積分路を Re(s) = c > 1 から Re(s) = 1 にずらす。T → ∞ のとき、水平部分の積分が消えることを示すこと。
• Re(s) = 1 上での |h(s)| の一様な上界を、既知の推定 |ζ′(s)/ζ(s)| ≤ M(log T)^9 （Re(s) ≥ 1 かつ |t| ≥ e）を用いて確立すること。
• |h(1+it)| が ℝ 上で絶対可積分であることを証明し、リーマン＝レーベーグ補題の適用を可能にすること。
• リーマン＝レーベーグ補題を用いて、ψ₁(x)/x² → 1/2 （x → ∞）を導出し、ψ₁(x) ∼ x²/2 に至ることを示すこと。
• ψ₁(x) と ψ(x) の関係を部分積分により活用し、ψ(x) ∼ x を結論づけることにより、素数定理に同等であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 ζ(s) 及びその対数微分の正確な順序推定は、Re(s) = 1 上での ζ(s) の非零性をどのように証明に用いることができるか？
• RQ2 留数積分および解析接続は、チェビシェフ関数 ψ(x) の漸近的挙動を導出する際に果たす役割は何か？
• RQ3 ∫|h(1+it)|dt の収束性が、リーマン＝レーベーグ補題を用いて ψ₁(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 → ∞）が得られ、これは素数定理に同等である。
• Re(s) = 1 上での ζ(s) の非零性は本質的であり、s = 1 における −ζ′(s)/ζ(s) − 1/(s−1) の正則性によって確立される。
• 証明により、ψ(x) ∼ x から π(x) ∼ x/log x が導かれ、素数定理の解析的証明が完成することが示された。