[논문 리뷰] Proof of the the Riemann hypothesis from the density and Lindelof hypotheses via a power sum method

Yuanyou Furui Cheng|arXiv (Cornell University)|2008. 10. 12.

Analytic Number Theory Research참고 문헌 29인용 수 6

한 줄 요약

이 논문은 투란의 거듭제곱 합 방법의 새로운 응용을 통해 밀도 가설과 린델뢰프 가설을 활용하여 리만 가설을 증명한다. 고전적 적분 접근 방식을 재정의하기 위해 함수 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s)를 사용하고, Cauchy의 잔여치 정리를 𝒮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.

연구 동기 및 목표

• 강한 밀도 가설과 린델뢰프 가설을 가정할 때 리만 가설의 타당성을 확립하는 것.
• 수정된 제타 함수 변환 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s)를 사용하여 소수 정리의 오차 항을 재형식화하는 것.
• 비판적 영역 1/2 < Re(s) < 1에서 Cauchy의 잔여치 정리를 𝒮Z(s) · x^s/s에 적용하여 새로운 영역 없는 영역 추정치를 가능하게 하는 것.
• x와 ϖ(x) = O(x^θ log²x)의 지수 θ에 대한 반복적 귀납을 통해 θ를 1/2으로 감소시키는 것.

제안 방법

• m > 0에 대해 Heaviside 함수 H(x) = ∫_{m−i∞}^{m+i∞} x^s/s ds의 적분 표현을 사용하여 x를 제타 함수를 포함하는 복소 적분과 연결하는 것.
• 비판적 영역 1/2 < m < 1에서 잔여치 분석을 가능하게 하기 위해 표준 −ζ′(s)/ζ(s) 대신 함수 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s)를 도입하는 것.
• 곱셈 𝒮Z(s) · x^s/s에 Cauchy의 잔여치 정리를 적용하여 오차 항 ϖ(x)와 ζ(s)의 영점 간의 관계를 연결하는 경로 적분 표현을 유도하는 것.
• ϖ(x) = O(x^θ log²x)에서 x와 지수 θ에 대한 귀납을 수행하여 점진적으로 θ를 1/2으로 감소시키는 것.
• 제타 함수의 영역 없는 영역과 나머지 항 간의 연결을 위해 투란의 거듭제곱 합 방법을 활용하는 것.
• 비잔의 최근 증명된 린델뢰프 가설과 강한 밀도 가설에 기반하여 비자명한 영점의 위치를 제약하는 것.

실험 결과

연구 질문

• RQ1 강한 밀도 가설과 린델뢰프 가설의 조합을 통해 수정된 제타 적분 변환을 사용하여 리만 가설을 유도할 수 있는가?
• RQ2 −ζ′(s)/ζ(s) 대신 𝒮Z(s) = −ζ′(s)/ζ(s) − ζ(s)를 사용할 경우 비판적 영역 1/2 < Re(s) < 1에서 분석이 어떻게 향상되는가?
• RQ3 ϖ(x) = O(x^θ log²x)의 오차 항에서 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로 감소시켜 최적의 상한을 확인하였다.
• 투란의 거듭제곱 합 방법은 소수 정리의 나머지 항과 제타 함수의 영역 없는 영역 간의 중요한 연결 고리를 제공하여 최종 추론을 가능하게 하였다.
• 결과적으로 리만 가설은 강한 밀도 가설과 린델뢰프 가설의 조합이 제안된 적분 및 귀납 프레임워크를 통해 도출됨을 확립하였다.