[논문 리뷰] 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)|2023. 08. 28.

Meromorphic and Entire FunctionsMathematics인용 수 3

한 줄 요약

이 논문은 리만 제타 함수 ζ(s)의 핵심 함수들에 대한 정밀한 순서 추정을 통해 소수 정리(PNT)의 철저한 해석적 증명을 제공한다. 특히 로그 도함수 −ζ′(s)/ζ(s)에 초점을 맞춘다. 복소해석학, 경로 적분, 리만-레베그 보조정리를 활용하여 x → ∞일 때 ψ(x) ∼ x임을 보이며, 이는 π(x) ∼ x/log x를 함의한다. 이로써 리만 제타 함수가 Re(s) = 1 직선에서 0이 되지 않는다는 사실을 이용한 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)|에 대한 균일한 상한을 구하기 위해, Re(s) ≥ 1 및 |t| ≥ e일 때 |ζ′(s)/ζ(s)| ≤ M(log T)^9라는 기존 추정을 활용하는 것.
• ℝ 위에서 |h(1+it)|의 절대 적분 가능성을 증명하여 리만-레베그 보조정리의 적용을 가능하게 하는 것.
• 리만-레베그 보조정리를 활용하여 ψ₁(x)/x² → 1/2 as 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) 사이의 적분 by parts를 통한 관계를 통해 ψ(x) ∼ x as x → ∞임을 도출할 수 있으며, 이는 소수 정리와 동치이다.
• Re(s) = 1에서 ζ(s)의 영이 되지 않음은 필수적이며, 이는 s = 1에서 −ζ′(s)/ζ(s) − 1/(s−1)의 해석성에 의해 확립된다.
• 증명은 ψ(x) ∼ x로부터 π(x) ∼ x/log x가 도출됨을 보이며, 소수 정리의 해석적 증명을 완성한다.