[논문 리뷰] Estimates of Some Functions Over Primes without R.H.

Pierre Dusart|arXiv (Cornell University)|2010. 02. 02.

Analytic Number Theory Research참고 문헌 1인용 수 90

한 줄 요약

이 논문은 리만 가설을 가정하지 않고 체비세프 함수 ϑ(x)와 ψ(x)에 대한 명시적이고 효과적인 경계를 제공하며, 검증된 영역에서의 영점 자유 영역과 리만 제타 함수의 수치적 계산을 활용한다. π(x), k번째 소수 pₖ, 그리고 소수 간격에 대한 더 나은 오차 추정치를 도출하며, 10¹³ 이하의 제타 영점에 대한 광범위한 수치적 검증을 통해 이전 결과를 향상시킨다.

ABSTRACT

Some computations made about the Riemann Hypothesis and in particular, the verification that zeroes of zeta belong on the critical line and the extension of zero-free region are useful to get better effective estimates of number theory classical functions which are closely linked to zeta zeroes like psi(x), theta(x), pi(x) or the k-th prime number.

연구 동기 및 목표

• 리만 가설을 가정하지 않고 ϑ(x)와 ψ(x)에 대한 효과적이고 명시적인 상한과 하한 경계를 도출하는 것.
• ϑ(x)와 ψ(x)에 대한 경계를 활용하여 k번째 소수 pₖ에 대한 개선된 추정치를 도출하는 것.
• 기존의 소수 간격 추정치를 향상시켜 적어도 하나의 소수가 포함된 명시적 간격을 확보하는 것.
• 오차 항에 명시적인 상수를 포함시켜 π(x)에 대한 더 엄밀한 수치적 검증된 경계를 제공하는 것.

제안 방법

• ψ(x) = ∑ₖ₌₁^∞ ϑ(x¹ᐟᵏ)의 항등식을 활용하여 ψ(x)와 ϑ(x)를 연결함으로써 재귀적 추정을 가능하게 한다.
• 리만 제타 함수의 알려진 영역에서의 영점 자유 영역과 10¹³ 이하의 비자명한 영점에 대한 수치적 검증을 통해 오차 항을 정밀화한다.
• 로저스, 쇼엔펠드 및 다른 이들의 ψ(x)와 ϑ(x)에 대한 결과를 명시적 오차 경계와 함께 적용하며, 특히 x ≥ 3,594,641에서의 경우에 중점을 둔다.
• π(x) ≈ x / ln x의 관계를 활용하고 오차 항에 명시적인 상수를 포함시켜 더 엄밀한 상한과 하한 경계를 유도한다.
• ln k와 ln₂ k에 대한 pₖ의 점근적 전개를 활용하며, ϑ(x)에 대한 경계를 통해 계수를 정밀화한다.
• 8×10¹¹ 이하의 ϑ(x), π(x), pₖ에 대한 광범위한 표를 활용하여 결과를 수치적으로 검증하며, 각 간격에 맞는 상수를 결정한다.

실험 결과

연구 질문

• RQ1 리만 가설을 가정하지 않고도 성립하는 ϑ(x) − x에 대한 가장 날카로운 명시적 경계는 무엇인가?
• RQ2 ϑ(x)와 ψ(x)에 대한 개선된 경계를 어떻게 활용하여 k번째 소수 pₖ에 대한 더 엄밀한 추정치를 도출할 수 있는가?
• RQ3 x ≥ 396,738일 때, [x, x + x/(25 ln²x)] 간격에 적어도 하나의 소수가 포함되도록 보장하기 위한 최소 길이는 얼마인가?
• RQ4 오차 항에 개선된 상수를 포함시켜 명시적이고 수치적으로 검증된 π(x) 경계를 어떻게 구성할 수 있는가?
• RQ5 x가 8×10¹¹ 이하일 때, π(x)가 주어진 경계 내에 포함되도록 하는 최적의 상수 a₅, b₅, a₆, b₆, a₇, b₇는 무엇인가?

주요 결과

• 모든 x > 0에 대해 |ϑ(x) − x| < x / 36,260를 만족하며, 이는 보편적이고 절대적인 오차 경계이다.
• x ≥ 3,594,641일 때, |ϑ(x) − x| ≤ 0.2x / ln²x를 만족하며, 이는 이전의 명시적 경계보다 크게 향상된 결과이다.
• k ≥ 688,383일 때, pₖ ≤ k(ln k + ln₂k − 1 + (ln₂k − 2)/ln k)를 만족하며, pₖ의 점근적 전개를 정밀화한다.
• k ≥ 3일 때, pₖ ≥ k(ln k + ln₂k − 1 + (ln₂k − 2.1)/ln k)를 만족하며, 더 엄밀한 하한 경계를 확립한다.
• x ≥ 396,738일 때, 간격 [x, x + x/(25 ln²x)]에는 적어도 하나의 소수가 포함되며, 이는 소수 간격 추정치를 향상시킨다.
• x ≥ 2,953,652,287일 때, π(x) ≤ x / ln x × (1 + 1/ln x + 2.334 / ln²x)를 만족하며, 명시적 상수를 포함한 날카로운 상한 경계를 제공한다.