[논문 리뷰] On the Riemann zeta-function and the divisor problem III

Aleksandar Ivić|ArXiv.org|2006. 10. 18.

Analytic Number Theory Research참고 문헌 11인용 수 4

한 줄 요약

이 논문은 리만 제타함수와 딜리클레 약수 문제 사이의 연결 고리가 되는 보완 오차 함수 $ E^*(t) $ 의 적분에서 발생하는 오차 항 $ R(T) $ 을 조사한다. 고차 모멘트 분석과 고급 지수 합 기법을 적용하여, 저자들은 $ R(T) = O_{\varepsilon}(T^{593/912 + \varepsilon}) $, $ \int_0^T R^2(t)\,dt = T^2 P_3(\log T) + O_{\varepsilon}(T^{11/6 + \varepsilon}) $, 그리고 $ \int_0^T R^4(t)\,dt \ll_{\varepsilon} T^{3 + \varepsilon} $ 를 확립한다. 여기서 $ P_3 $ 는 양의 주계수를 가진 삼차다항식이다.

ABSTRACT

Let $Δ(x)$ denote the error term in the Dirichlet divisor problem, and $E(T)$ the error term in the asymptotic formula for the mean square of $|ζ(1/2+it)|$. If $E^*(t) = E(t) - 2πΔ^*(t/2π)$ with $Δ^*(x) = -Δ(x) + 2Δ(2x) - {1\over2}Δ(4x)$ and we set $\int_0^T E^*(t) dt = 3πT/4 + R(T)$, then we obtain $$ R(T) = O_ε(T^{593/912+ε}), \int_0^TR^4(t) dt \ll_εT^{3+ε}, $$ and $$ \int_0^TR^2(t) dt = T^2P_3(\log T) + O_ε(T^{11/6+ε}), $$ where $P_3(y)$ is a cubic polynomial in $y$ with positive leading coefficient.

연구 동기 및 목표

• 리만 제타함수와 딜리클레 약수 문제를 연결하는 하이브리드 함수인 $ E^*(t) $ 의 적분에서 발생하는 오차 항 $ R(T) $ 의 이해를 더욱 정교화하는 것.
• 기본적인 경계 $ R(T) = O(T^{3/4}) $ 를 개선하여 비자명하고 명시적인 오차 지수를 확립하는 것.
• 두 번째 및 네 번째 모멘트 $ R(T) $ 의 渐近적 행동을 규명하여 주항목에서 다항식-로그 구조를 드러내는 것.
• 오차 항 $ R(T) $ 의 추측되는 크기와 $ E^*(T) $ 및 $ \Delta^*(x) $ 의 크기와의 관련성을 탐구하며, 현재 분석 기법의 한계를 평가하는 것.

제안 방법

• 식 $ \int_0^T E^*(t)\,dt = \frac{3\pi}{4}T + R(T) $ 을 통해 $ R(T) $ 를 정의하며, 여기서 $ E^*(t) = E(t) - 2\pi\Delta^*(t/2\pi) $ 이고, $ \Delta^* $ 는 약수 문제 오차 $ \Delta(x) $ 의 스무딩된 형태이다.
• 모멘트 방법을 적용하여, 이전 연구에서 확보한 $ k=4,5 $ 에 대해 $ \int_0^T |E^*(t)|^k\,dt $ 의 경계를 활용해 $ R(T) $ 의 모멘트 추정치를 도출한다.
• 지수 합 기법과 안장점 방법을 사용하여 $ d(n) $ 에 대한 합에서 $ n \asymp T^{1/3} $ 인 항의 기여를 분석하며, $ \sqrt{n} $ 항의 진동 행동에 초점을 맞춘다.
• 레마 6과 레마 3(여기서 $ a=5 $) 를 활용하여 적분 근사에서의 오차를 제어하며, 특히 적분 범위를 잘라내고 $ \sin y / y $ 항을 유계적으로 제한한다.
• 유한한 적분 구간을 $ (0, \infty) $ 로 대체하고, $ \sin^2 y / y^2 $ 의 적분 가능성과 로그 모멘트를 통해 오차를 추정한다.
• 식 $ E^*(t) $ 의 두 번째 모멘트의 구조를 일치시키고 다항식-로그 계수를 추출하여, $ \int_0^T R^2(t)\,dt = T^2 P_3(\log T) + O_{\varepsilon}(T^{11/6 + \varepsilon}) $ 의 渐近적 형태를 확립한다.

실험 결과

연구 질문

• RQ1 적분 오차 항 $ R(T) = \int_0^T E^*(t)\,dt - \frac{3\pi}{4}T $ 에 대한 최고의 가능한 경계는 무엇이며, 기본 경계 $ O(T^{3/4}) $ 와 비교해 볼 때 어떻게 되는가?
• RQ2 두 번째 모멘트 $ \int_0^T R^2(t)\,dt $ 는 $ \log T $ 에 대한 삼차다항식을 포함하는 주항목으로 표현될 수 있는가? 그리고 오차 항은 무엇인가?
• RQ3 네 번째 모멘트 $ \int_0^T R^4(t)\,dt $ 의 성장률은 무엇이며, 이는 $ R(T) = O_{\varepsilon}(T^{1/2 + \varepsilon}) $ 라는 추측을 확인하는가 아니면 반박하는가?
• RQ4 R(T) 와 그 모멘트에 대한 경계가 $ E^*(T) $ 의 크기와 어떻게 관련되어 있으며, 이는 약수 문제와 제타함수의 평균 제곱에 어떤 함의를 갖는가?
• RQ5 스무딩된 오차 함수 $ \Delta^*(x) $ 는 약수 문제와 제타함수 평균 제곱 사이의 유사성 향상에 어떤 역할을 하는가?

주요 결과

• 논문은 $ R(T) = O_{\varepsilon}(T^{593/912 + \varepsilon}) $ 를 확립하였으며, 여기서 $ 593/912 \approx 0.6502 $ 로, 기본 경계 $ O(T^{3/4}) $ 보다 뚜렷이 향상된 결과이다.
• 두 번째 모멘트는 $ \int_0^T R^2(t)\,dt = T^2 P_3(\log T) + O_{\varepsilon}(T^{11/6 + \varepsilon}) $ 를 만족하며, 여기서 $ P_3(y) $ 는 양의 주계수를 가진 $ y $ 에 대한 삼차다항식이다.
• 네 번째 모멘트는 $ \int_0^T R^4(t)\,dt \ll_{\varepsilon} T^{3 + \varepsilon} $ 를 만족하며, 이는 $ R(T) $ 가 $ L^4 $-노름에서 너무 빠르게 증가하지 않는다는 것을 시사한다.
• 경계 $ R(T) = \Omega(T^{1/2} (\log T)^{3/2}) $ 가 유도되었으며, 이는 $ R(T) $ 가 이 순서보다 작아질 수 없다는 것을 시사하여, $ R(T) = O_{\varepsilon}(T^{1/2 + \varepsilon}) $ 라는 추측을 뒷받침한다.
• 오차 지수 $ 593/912 $ 는 현재 분석 기법의 한계에서 유래되며, 특히 지수 합 추정에서 레마 2.5 와 안장점 방법의 사용이 핵심이다.
• 결과들은 $ E^*(T) \ll_{\varepsilon} T^{1/4 + \varepsilon} $ 라고 함이 가능하다는 것을 암시하며, 이는 만약 참이라면 $ |\zeta(1/2 + it)| $ 의 평균 제곱에 대한 알려진 점근적 표현을 더욱 정교화할 수 있다.