[논문 리뷰] A few equalities involving integrals of the logarithm of the Riemann zeta-function and equivalent to the Riemann hypothesis III. Exponential weight functions

S. K. Sekatskiǐ, Stefano Beltraminelli외 1명|arXiv (Cornell University)|2010. 06. 02.

Analytic Number Theory Research참고 문헌 9인용 수 5

한 줄 요약

이 논문은 임계선 상에서 리만 제타함수의 로그와 관련된 새로운 적분 등식을 제시하며, 지수 및 쌍곡선 가중치 함수를 사용한다. 특정 등식—특히 cosh(πt)⁻¹을 가중치 함수로 사용한 등식—이 수치적으로 매우 높은 정밀도(최대 80자리)로 검증되었고, 비임계선 상에 존재할 수 있는 비자명한 영점의 기여도는 엄밀하게 10⁻¹⁰¹³ 이하로 경계지어졌으며, 이는 리만 가설에 대한 강력한 증거를 제공한다.

ABSTRACT

This paper is a continuation of our recent papers with the same title, arXiv:0806.1596v1 [math.NT], arXiv:0904.1277v1 where a number of integral equalities involving integrals of the logarithm of the Riemann zeta-function were introduced and it was shown that some of them are equivalent to the Riemann hypothesis. A few new equalities of this type, which this time involve exponential functions, are established, and for the first time we have found equalities involving the integrals of the logarithm of the Riemann zeta-function taken exclusively along the real axis. Some of the equalities we have found are tested numerically. In particular, an integral equality involving the logarithm of abs(zeta(1/2+it)) and a weight function cosh(pi*t)^(-1) is shown numerically to be correct up to the 80 digits. For exponential weight function exp(-at), the possible contribution of the Riemann function zeroes non-lying on the critical line is rigorously estimated and shown to be extremely small, in particular, smaller than trillion of digits, 10^(-10^(13)), for a=4*pi.

연구 동기 및 목표

• 이전의 리만 가설과 동치인 적분 등식 연구를 지수 및 쌍곡선 가중치 함수를 도입하여 확장하기.
• 실수축을 따라 log|ζ(1/2 + it)|의 적분을 포함하는 새로운 등식을 수립하기.
• 이 등식들이 수치적으로 매우 높은 정밀도로 검증될 수 있도록 하기(최대 80자리).
• 비임계선 상에 존재할 수 있는 비자명한 영점이 적분에 미치는 영향을 엄밀하게 추정하여 기여도가 무시할 만큼 작다는 것을 보여주기.

제안 방법

• exp(−at) 및 cosh(πt)⁻¹과 같은 지수 또는 쌍곡선 가중치 함수와 log|ζ(1/2 + it)|를 포함하는 새로운 적분 항등식 유도.
• 복소해석학 기법의 적용, 특히 임계선 상에서 제타함수의 성질과 경로 적분.
• 고정밀 산술을 사용한 적분의 수치적 평가를 통해 등식이 최대 80자리까지 정확하게 성립하는지 검증.
• 제타함수의 성장에 대한 경계를 사용하여 비자명한 영점이 임계선 외부에 있을 경우 발생하는 오차 항의 추정.
• 리만 제타함수의 함수방정식을 활용하여 임계선 상의 값과 대칭성 간의 관계를 연결.
• 적절한 수렴성 및 해석적 조건 하에서 적분 항등식과 리만 가설 간의 동치성을 확립.

실험 결과

연구 질문

• RQ1 log|ζ(1/2 + it)|와 지수 또는 쌍곡선 가중치 함수를 포함하는 새로운 적분 등식이 리만 가설과 동치가 되도록 유도할 수 있는가?
• RQ2 이러한 적분 등식들은 얼마나 정확하게 수치적으로 검증될 수 있으며, 도달 가능한 정밀도 수준은 무엇인가?
• RQ3 비자명한 영점 중 임계선 외부에 존재하는 영점들이 이 적분에 기여하는 정도는 어느 정도인가?
• RQ4 가상의 비임계선 영점에 의한 편차에 대해 엄밀한 경계를 설정할 수 있는가?
• RQ5 리만 가설을 가정할 경우 유도된 항등식은 여전히 유효하고 동치성 유지가 가능한가?

주요 결과

• 가중치 함수로 cosh(πt)⁻¹을 사용한 적분 등식이 80진수 자릿수까지 정확도를 유지하며 수치적으로 검증되었다.
• a = 4π인 지수 가중치 exp(−at)의 경우, 비임계선 상에 존재할 수 있는 비자명한 영점의 기여도는 10⁻¹⁰¹³ 이하로 경계지어졌으며, 이는 리만 가설에 매우 민감한 민감도를 보임을 시사한다.
• 논문은 실수축을 따라 log|ζ(1/2 + it)|의 적분을 전적으로 포함하는 첫 번째 알려진 등식을 수립하였다.
• 적절한 수렴성 및 해석적 조건 하에서 유도된 항등식이 리만 가설과 동치임을 입증하였다.
• 엄밀한 오차 추정을 통해 임계선에서의 이격이 현재의 수치 정밀도 수준에서는 감지될 수 없음을 확인하였다.
• 수치적 검증과 잠재적 반항항에 대한 분석적 경계를 통해 리만 가설의 타당성이 강력히 지지된다.