[논문 리뷰] From the density and Lindel\"of hypotheses to prove the Riemann hypothesis via a power sum method

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

Analytic Number Theory Research인용 수 1

한 줄 요약

이 논문은 투란의 힘의 합 방법의 새로운 응용을 통해 조밀도 가설과 린델뢰프 가설을 활용하여 리만 가설을 증명하는 새로운 길을 제시한다. Cauchy의 잔여치 정리를 변형된 제타 함수 ${\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.

연구 동기 및 목표

• 조밀도 가설과 린델뢰프 가설과의 연결을 통해 리만 가설에 대한 새로운 증명 경로를 확립하기.
• 소수 정리의 오차 항을 $\varpi(x) = O(x^\theta \log^2 x)$에서의 지수 $\theta$ 를 개선함으로써 정밀화하기.
• 소수 정리의 나머지 항에서 제로-프리 영역을 도출하기 위해 투란의 힘의 합 방법을 적용하기.
• 전통적인 로그 미분 함수 대신 변형된 제타 함수 ${\mathsf Z}(s) = -\frac{\zeta'(s)}{\zeta(s)} - \zeta(s)$ 를 사용하기.
• 오차 bound를 점진적으로 강화하기 위해 $x$ 와 지수 $\theta$ 에 대한 귀납법을 활용하기.

제안 방법

• 소수 정리의 분석을 위해 $m > 0$ 인 경우에 대해 Heaviside 함수의 적분 표현 $\mathsf{H}(x) = \int_{m - i\infty}^{m + i\infty} \frac{x^s}{s} \, ds$ 를 적용하기.
• 전통적인 $-\frac{\zeta'(s)}{\zeta(s)} \cdot \frac{x^s}{s}$ 가 아니라 ${\mathsf Z}(s) \cdot \frac{x^s}{s}$ 에 Cauchy의 잔여치 정리를 적용하여 새로운 잔여치 기반 추정치를 가능하게 하기.
• 제타 함수의 로그 미분의 성질과 해석적 행동을 활용하기 위해 ${\mathsf Z}(s) = -\frac{\zeta'(s)}{\zeta(s)} - \zeta(s)$ 를 도입하기.
• 소수 정리의 나머지 항과 $\zeta(s)$ 의 제로-프리 영역 간의 관계를 유도하기 위해 투란의 힘의 합 방법을 적용하기.
• 오차 항 $\varpi(x)$ 의 크기를 점차 줄이기 위해 $x$ 와 지수 $\theta$ 에 대한 귀납법을 활용하기.
• 명시적인 강력한 조밀도 가설과 최근에 증명된 린델뢰프 가설을 기초 가정으로 삼아 리만 가설을 도출하기.

실험 결과

연구 질문

• RQ1 조밀도 가설과 린델뢰프 가설의 조합을 힘의 합 방법의 정교한 응용을 통해 리만 가설을 유도할 수 있는가?
• RQ2 변형된 함수 ${\mathsf Z}(s)$ 를 사용할 경우, 전통적 접근에 비해 소수 정리의 오차 항 추정치가 어떻게 향상되는가?
• RQ3 $x$ 와 지수 $\theta$ 에 대한 귀납법을 통해 오차 bound $\varpi(x) = O(x^\theta \log^2 x)$ 는 어느 정도로 감소시킬 수 있는가?
• RQ4 투란의 힘의 합 방법은 소수 정리의 나머지 항과 $\zeta(s)$ 의 제로-프리 영역을 어떻게 연결하는가?
• RQ5 ${\mathsf Z}(s) \cdot \frac{x^s}{s}$ 에 대한 잔여치 이론적 접근이 전통적 방법보다 더 강력한 제로-프리 영역을 제공하는가?

주요 결과

• 명시적인 강력한 조밀도 가설과 최근에 입증된 린델뢰프 가설을 가정할 경우 리만 가설이 증명된다.
• 소수 정리의 오차 항은 $\varpi(x) = O(x^{1/2} \log^2 x)$ 로 감소되었으며, 이는 리만 가설과 동치이다.
• 잔여치 정리에 함수 ${\mathsf Z}(s)$ 를 사용함으로써 전통적인 $-\frac{\zeta'(s)}{\zeta(s)}$ 접근에 비해 제로-프리 영역 분석이 더 효과적으로 가능해졌다.
• $x$ 와 지수 $\theta$ 에 대한 귀납법이 성공적으로 오차 항의 지수를 $\theta = 1/2$ 로 감소시켜 최적의 bound 를 확인하였다.
• 투란의 힘의 합 방법은 소수 정리의 나머지 항과 $\zeta(s)$ 의 제로-프리 영역을 효과적으로 연결하여 리만 가설의 도출을 가능하게 하였다.
• 조건 $m > 0$ 을 가진 Heaviside 함수의 적분 표현을 사용함으로써 유효한 커펄트를 확보하여 수렴성과 해석적 제어를 보장하였다.