[논문 리뷰] On some mean square estimates for the zeta-function in short intervals

Aleksandar Ivić|arXiv (Cornell University)|2012. 12. 04.

Analytic Number Theory Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 지수합 추정과 바르노이 타입의 공식을 사용하여 리만 제타함수의 오차항 $ E^*(t) $ 와 그 적분 $ R(t) $ 의 짧은 간격에서 개선된 하한을 확립한다. $ H \geq T^{2/3+\varepsilon} $ 일 때 $ \int_T^{T+H} (E^*(t))^2 dt \gg HT^{1/3}\log^3 T $ 와 $ \int_T^{T+H} R^2(t) dt \gg HT\log^3 T $ 를 증명하며, 이는 이전 범위를 확장하고 이러한 오차 함수의 큰 값들이 짧은 간격에서도 지속됨을 확인한다.

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/2Δ(4x)$ and we set $\int_0^T E^*(t)\,dt = 3πT/4 + R(T)$, then we obtain $$ \int_T^{T+H}(E^*(t))^2\,dt \gg HT^{1/3}\log^3T $$ and $$ HT\log^3T \ll \int_T^{T+H}R^2(t)\,dt \ll HT\log^3T, $$ for $T^{2/3+ε}\le H \le T$.

연구 동기 및 목표

• 짧은 간격 $[T, T+H]$ 에서 $ E^*(t) $ 와 $ R(t) $ 의 평균 제곱에 대한 하한이 성립하는 $ H $ 의 범위를 개선하는 것.
• 에르고딕 함수 $ E^*(t) $ 와 $ R(t) $ 가 짧은 간격에서 큰 진동을 보임을 확인하여, 이들이 너무 작아지지 않음을 입증하는 것.
• 새로운 추정을 통해 $ \int_0^T (E^*)^2 dt $ 와 $ \int_0^T R^2(t) dt $ 의 游근 공식의 유효성을 더 짧은 간격으로 확장하는 것.
• $ E^*(t) $ 와 $ R(t) $ 의 크기 분포를 조사하여, 특히 짧은 간격에서 큰 양수 및 음수 값의 존재 여부를 밝혀내는 것.

제안 방법

• 에이트킨의 명시적 공식을 통한 $ E(T) $ 와 $ \Delta^*(x) $ 에 대한 바르노이 타입의 공식을 이용하여 $ E^*(t) $ 와 $ R(t) $ 를 진동하는 지수합의 형태로 표현하는 것.
• 이중 지수합 추정을 적용하여 $ E^*(t) $ 와 $ R(t) $ 의 游근 전개에서 오차항을 제어하는 것.
• 삼각함수 항 $ \sin^2(\cdots) $ 와 $ \sin(\cdots) $ 을 포함하는 진동적 적분을 삼각항 등식과 $ \sin x $ 의 경계를 이용하여 추정하는 것.
• 합을 이진 간격 $ K < n \leq 2K $ 로 분해하고, $ \ll_{\varepsilon} T^{1/2+\varepsilon}(HK^{3/2} + T^{1/2}K^2) $ 과 유사한 경계를 통해 지수합의 $ L^2 $-노름을 추정하는 것.
• 항등식 $ 1 - \cos \gamma = 2\sin^2(\gamma/2) $ 과 $ |\sin x| \geq \frac{2}{\pi}|x| $ ($ |x| \leq \pi/2 $) 를 사용하여 진동 기여에서 주항을 추출하는 것.
• 지수합의 주항을 $ \sum_{n \ll T^{1/3}} d^2(n) n^{-3/2} \int_T^{T+H} t^{1/2} \sin^2(\cdots) dt $ 와 비교하여 $ HT^{1/3}\log^3 T $ 의 순서의 하한을 도출하는 것.

실험 결과

연구 질문

• RQ1 지금까지의 하한이 성립하는 $ H $ 의 범위를 $ H \geq T^{5/6+\varepsilon} $ 에서 더 확장할 수 있는가?
• RQ2 오차항 $ E^*(t) $ 와 $ R(t) $ 는 $ H \geq T^{2/3+\varepsilon} $ 인 짧은 간격에서 큰 양수 및 음수 값을 가지는가?
• RQ3 $ \int_0^T R^2(t) dt $ 의 游근 공식에서의 오차항은 $ O_{\varepsilon}(T^{11/6+\varepsilon}) $ 보다 개선될 수 있는가?
• RQ4 $ H \geq T^{2/3+\varepsilon} $ 에서 $ \int_T^{T+H} R^2(t) dt $ 의 하한을 확립할 수 있는가? 이는 $ E^*(t) $ 에 대한 개선 범위와 일치하는가?
• RQ5 짧은 간격에서 $ E^*(t) $ 와 $ R(t) $ 의 정확한 크기는 얼마이며, $ E(t) $ 와 $ \Delta(x) $ 에 대한 $ \Omega $-결과와 유사한 성질을 만족하는가?

주요 결과

• $ T^{2/3+\varepsilon} \leq H \leq T $ 일 때, $ E^*(t) $ 의 평균 제곱은 $ \int_T^{T+H} (E^*(t))^2 dt \gg HT^{1/3}\log^3 T $ 를 만족하며, 이는 이전 하한의 범위를 개선한다.
• 동일한 $ H $ 의 범위에서 $ R(t) $ 의 평균 제곱은 $ \int_T^{T+H} R^2(t) dt \gg HT\log^3 T $ 를 만족하며, $ R(t) $ 에 대한 $ \Omega $-결과의 유효성을 확장한다.
• $ T^{\varepsilon} \leq H \leq T $ 일 때, 상한 $ \int_T^{T+H} R^2(t) dt \ll_{\varepsilon} HT\log^3 T + T^{5/3+\varepsilon} $ 이 성립하며, 짧은 간격에서의 성장률을 확인한다.
• 이 결과는 $ H = T^{2/3+\varepsilon} $ 인 모든 간격 $[T, T+H]$ 가 $ |E^*(t)| \gg t^{1/6}\log^{3/2}t $ 와 $ |R(t)| \gg t^{1/2}\log^{3/2}t $ 를 만족하는 점을 포함함을 시사하며, 비영속적인 진동을 확인한다.
• 증명은 지수합의 추정과 진동적 적분에서 주항을 추출하는 데 기반하며, 오차항은 $ O_{\varepsilon}(T^{1+\varepsilon}) $ 경계로 제어된다.
• $ R(t) $ 의 游근적 구조는 $ n \leq T^{1/2-\varepsilon} $ 에 대한 합으로 주어지며, 주요 기여는 $ n \ll T^{1/3} $ 에서 유래되며, 이는 하한을 이끌어낸다.