[논문 리뷰] On the mean square of the zeta-function and the divisor problem

Aleksandar Ivić|ArXiv.org|2006. 03. 21.

Analytic Number Theory Research참고 문헌 10인용 수 16

한 줄 요약

이 논문은 $ E^*(t) $의 평균 제곱에 대한 최초의 渐近 공식을 수립한다. 여기서 $ E^*(t) $는 $ E(t) - 2\tau \Delta^*(t/2\pi) $로 정의되며, $ E(t) $는 $ |\zeta(1/2 + it)| $의 평균 제곱 오차이고, $ \Delta^* $는 Dirichlet 약수 문제 오차의 개선된 형태이다. 주요 결과는 $ \int_0^T (E^*(t))^2 dt = T^{4/3} P_3(\log T) + O_\varepsilon(T^{7/6+\varepsilon}) $로, 이는 정확한 주기의 크기를 보여주며 $ E^*(t) $가 $ E(t) $ 또는 $ \Delta^*(t) $보다 평균 제곱에서 훨씬 작다는 것을 확인한다. 증명은 Voronoï 유형의 합산, 삼각함수 지수 합 추정, 첫 번째 도함수 테스트 및 정적 위상 근사법을 통한 진동 적분의 渐近 분석을 사용한다.

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)$, then we obtain the asymptotic formula $$ \int_0^T (E^*(t))^2 { m d} t = T^{4/3}P_3(\log T) + O_ε(T^{7/6+ε}), $$ where $P_3$ is a polynomial of degree three in $\log T$ with positive leading coefficient. The exponent 7/6 in the error term is the limit of the method.

연구 동기 및 목표

• zeta-함수 평균 제곱과 약수 문제 오차 사이의 격차를 측정하는 오차 항 $ E^*(t) $의 평균 제곱의 정확한 주기의 크기를 규명하는 것.
• 기존의 추측인 $ E^*(t) $가 $ E(t) $ 또는 $ \Delta^*(t) $보다 평균 제곱에서 훨씬 작다는 것을 정밀한 渐近 공식을 통해 확인하는 것.
• 이전에 알려진 $ \int_0^T (E^*(t))^2 dt $에 대한 $ O(T^{4/3}\log^3 T) $ 상한이 정확한 주기의 크기임을 입증하는 것.
• 주어진 주기의 크기와 함께, 주요 항이 $ \log T $ 에 대한 양의 주요 계수를 가진 삼차 다항식 $ P_3(\log T) $ 형태로 명시적으로 기술하는 것.

제안 방법

• zeta-함수 오차 항 $ E(t) $의 더 나은 유사체를 만들기 위해, $ \Delta^*(x) = -\Delta(x) + 2\Delta(2x) - \frac{1}{2}\Delta(4x) $로 정의된 수정된 약수 함수 $ \Delta^*(x) $를 사용하는 것.
• Atkinson의 명시 공식과 Voronoï 유형의 합산 공식을 적용하여, $ E^*(t) $를 삼각함수 항으로 가중된 산술 함수 $ d(n)^2 $의 합으로 표현하는 것.
• 진동하는 삼각함수 항의 Fourier-Bessel 급수 전개를 점근 분석을 통해 잘라내며, 첫 번째 도함수 테스트를 통해 오차를 통제하는 것.
• 진동 적분의 통합 영역을 $ z \sim (4y^2 T)^{1/3} $에 비례하는 길이의 간격으로 평균화하기 적합한 형태로 변수를 바꾸는 것.
• Lemma 3( $ d^2(n)n^3 $ 에 대한 합에 관한 것)을 사용하여 $ T^{4/3} $ 및 $ \log T $ 의 거듭제곱에서 주요 渐近 항을 추출하며, 계수는 $ a_1, a_3, a_5 $ 로 표현된다.
• 오차 분석을 위해 $ |\sin y| \leq \min(1, |y|) $ 를 사용하고, 유한한 통합 한계를 $ (0, \infty) $로 대체하며, 오차 항을 $ O_\varepsilon(T^{7/6+\varepsilon}) $ 수준으로 통제하는 것.

실험 결과

연구 질문

• RQ1 이전에 알려진 $ \int_0^T (E^*(t))^2 dt $ 에 대한 $ O(T^{4/3}\log^3 T) $ 상한이 정확한 주기의 크기인지, 아니면 더 정밀한 渐近 공식으로 개선될 수 있는가?
• RQ2 $ E^*(t) $의 평균 제곱은 $ \log T $ 에 대한 다항식의 구조를 보이며, 만약 그렇다면 그 차수와 주요 계수는 무엇인가?
• RQ3 현재 방법의 한계를 보여주기 위해, 渐近 공식의 오차 항이 $ O(T^{7/6+\varepsilon}) $ 로서 하한이 존재하는가?
• RQ4 渐近 공식은 $ E^*(t) $가 $ E(t) $ 또는 $ \Delta^*(t) $ 보다 진정으로 더 작은 평균 제곱을 가짐을 확인하는가, 이는 추측된 바인 $ E^*(t) \ll_\varepsilon t^{1/4+\varepsilon} $ 와 일치하는가?
• RQ5 $ \int_0^T (E^*(t))^2 dt $ 의 정밀한 渐近 행동은 무엇이며, zeta-함수 평균 제곱과 약수 문제 사이의 깊은 연결 고리를 드러내는가?

주요 결과

• $ \int_0^T (E^*(t))^2 dt = T^{4/3} P_3(\log T) + O_\varepsilon(T^{7/6+\varepsilon}) $ 라는 渐近 공식이 확립되었으며, 여기서 $ P_3 $ 는 $ \log T $ 에 대한 삼차 다항식이며 주요 계수는 양수이다.
• 주요 항의 크기는 $ T^{4/3} $ 이며, 이는 이전에 알려진 $ O(T^{4/3}\log^3 T) $ 상한이 정확한 주기의 크기임을 확인한다.
• 오차 항 $ O_\varepsilon(T^{7/6+\varepsilon}) $ 는 현재 방법의 한계임이 입증되었으며, $ O(T^{7/6}\log^C T) $ 로의 향상은 중간 단계의 보다 강력한 추정이 필요하다.
• 평균 제곱의 渐近 구조는 산술 함수 $ d^2(n)n^{-3/2} $ 와 명시적으로 연결되며, 주요 계수는 $ \sum d^2(n)n^{-3/2} = \zeta^4(3/2)/\zeta(2) $ 로 표현된다.
• 결과적으로 $ E(t) = 2\pi \Delta^*(t/2\pi) + \Omega(T^{1/6}\log^{3/2}T) $ 라고 유도되며, 이는 $ E(t) $ 와 $ \Delta^*(t/2\pi) $ 가 크기의 주기에서 너무 가까이 맞지 않음을 보여준다.
• 공식은 $ E^*(t) $ 가 $ E(t) $ 또는 $ \Delta^*(t) $ 보다 진정으로 더 작은 평균 제곱을 가짐을 확인하며, $ E^*(t) \ll_\varepsilon t^{1/4+\varepsilon} $ 라는 추측을 지지한다.