[논문 리뷰] A new necessary and sufficient condition for the Riemann hypothesis

Luis Báez‐Duarte|ArXiv.org|2003. 07. 16.

advanced mathematical theories참고 문헌 2인용 수 6

한 줄 요약

이 논문은 리만 가설에 대한 새로운 필수 및 필요조건을 제시한다. 이는 유한한 유리수 조합 $ c_k = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{\zeta(2j+2)} $의 감쇠 속도에 기반한다. 이 논문은 리만 가설이 참임과 동시에 $ c_k \ll k^{-3/4 + \epsilon} $ for all $ \epsilon > 0 $이 성립함을 증명하며, 이는 역 제타 함수의 Pochhammer 다항식 전개로부터 유도된 수치적으로 접근 가능한 기준을 제공한다.

ABSTRACT

We give a new equivalent condition for the Riemann hypothesis consisting in an order condition for certain finite rational combinations of the values of the Riemann zeta-function at even positive integers.

연구 동기 및 목표

• 리만 가설과 동치인 새로운 수치적으로 접근 가능한 기준을 확립하기 위해.
• 리만 가설을 $ \zeta(2j+2)^{-1} $를 포함하는 유한합의 점근적 감쇠 속도로 재구성하기 위해.
• $ \zeta(s) $가 $ \Re(s) > 1/2 $에서 영이 아님을 Pochhammer 다항식의 급수 수렴 성질과 연결하기 위해.
• 클래식한 기준(예: Riesz 또는 Hardy-Littlewood 기준)의 간소화된 대안을 제공하기 위해, 오직 짝수 양의 정수에서의 $ \zeta(s) $ 값에 의존한다.

제안 방법

• 유한한 유리수 조합인 $ c_k = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{\zeta(2j+2)} $를 정의하며, 이는 짝수 정수에서의 역 제타 함수 값의 조합이다.
• 항등식 $ \left(1 - \frac{1}{n^2}\right)^k $의 이항 전개를 사용하여 $ \frac{1}{\zeta(s)} $를 Pochhammer 다항식 $ P_k(s/2) $의 급수로 표현한다.
• Euler-Maclaurin 공식과 총 변동량 추정을 사용하여 보조적 추정식 $ q_k = \sum_{n=1}^\infty \frac{1}{n^2} \left(1 - \frac{1}{n^2}\right)^k \ll k^{-1/2} $를 유도한다.
• 합의 부분적 적분을 적용하여 $ c_k $를 Mertens 함수 $ M(x) $를 포함하는 적분으로 재기록하며, 리만 가설 하에서 $ M(x) \ll x^{1/2 + \epsilon} $임을 안다.
• 클래식한 베타 적분 추정식 $ \int_0^1 x^\lambda (1 - x^2)^k dx \ll k^{-1/2 - \lambda/2} $을 활용하여 유도된 적분을 추정하고 감쇠 속도를 유도한다.
• 감쇠 조건 $ c_k \ll k^{-3/4 + \epsilon} $ 하에서, $ \sum c_k P_k(s/2) $의 급수가 $ \Re(s) > 1/2 $의 컴acts 집합에서 균등 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 감쇠 속도 $ c_k \ll k^{-3/4 + \epsilon} $는 리만 가설의 진리성을 특징짓는가?
• RQ2 리만 가설은 짝수 양의 정수에서의 $ \zeta(s) $ 값만을 사용하여 동치적으로 재구성될 수 있는가?
• RQ3 유한한 교대합으로 정의된 $ c_k $의 행동은 $ \zeta(s) $의 영이 없는 영역과 어떻게 관련이 있는가?
• RQ4 제안된 기준은 수치적으로 검증 가능하며, Riesz 또는 Hardy-Littlewood 기준보다 더 효율적인가?
• RQ5 리만 가설에 무관하게 $ c_k $의 비조건적 감쇠 속도는 무엇인가?

주요 결과

• 리만 가설이 참임과 동시에 $ c_k \ll k^{-3/4 + \epsilon} $ for all $ \epsilon > 0 $이 성립함을 증명하여 필수 및 필요 조건을 확립하였다.
• 비조건적으로 $ c_k \ll k^{-1/2} $임을 증명하였으며, 이는 가설에 무관한 기초 감쇠 속도를 제공한다.
• 역 제타 함수는 $ \frac{1}{\zeta(s)} = \sum_{k=0}^\infty c_k P_k\left(\frac{s}{2}\right) $로 표현되며, 리만 가설을 가정하지 않더라도 $ \Re(s) > 1 $의 컴acts 집합에서 균등 수렴한다.
• 리만 가설 하에서, 부분적 합과 $ M(x) \ll x^{1/2 + \epsilon} $의 추정식을 결합한 베타 적분 추정식을 통해 감쇠 $ c_k \ll k^{-3/4 + \epsilon} $을 증명하였다.
• k = 1000까지의 수치 계산 결과, $ c_k k^{3/4} \log^2 k $가 유한한 극한으로 수렴하는 경향을 보이며, 이는 추측된 경계와 일치하는 매끄럽고 규칙적인 감쇠를 시사한다.
• 이 기준은 이전의 동치 조건보다 단순하며, 유한한 유리수 조합인 $ \zeta(2j+2)^{-1} $의 값만을 사용하므로 수치적 검증에 적합하다.