[논문 리뷰] The explicit upper bound of the multiple integral of $S(t)$ on the Riemann Hypothesis

Takahiro Wakasa|arXiv (Cornell University)|2012. 10. 10.

Analytic Number Theory Research인용 수 5

한 줄 요약

이 논문은 리만 가설 하에서 $ S(t) $의 m중 적분인 $ S_m(T) $에 대해 명시적인 상한을 설정한다. 재귀적 적분과 제타 함수의 로그 도함수의 복소해석학을 이용하여, 푸지의 $ S(T) $ 및 $ S_1(T) $에 대한 상한을 일반화하며, $ m $, $ \log T $, $ \log\log T $에 의존하는 명시적인 상수와 함께 정확한 점근적 추정치를 제공한다. 이는 $ T > T_0 $일 때 유효하다.

ABSTRACT

We prove explicit upper bounds of the function $S_m(T)$, defined by the repeated integration of the argument of the Riemann zeta-function. The explicit upper bound of $S(T)$ and $S_1(T)$ have already been obtained by A. Fujii. Our result is a generalization of Fujii's results.

연구 동기 및 목표

• 리만 가설 하에서 $ S(T) $ 및 $ S_1(T) $에 대한 명시적 상한을 $ m \geq 2 $에 대해 고차 적분 $ S_m(T) $로 일반화한다.
• 성장률 $ \frac{\log T}{(\log\log T)^{m+1}} $를 반영하는 명시적이고 정량적인 $ |S_m(T)| $의 상한을 유도한다. 이는 고전적 big-O 추정치보다 향상된다.
• 제타 함수의 로그 도함수의 허수부와 실수부의 행동이 다름에 따라, 홀수와 짝수 $ m $ 간의 분석을 구분한다.
• 반복된 $ S(t) $ 적분을 바르게 제한하기 위한 엄밀한 프레임워크를 제공하며, 푸지의 방법을 고차 사례로 확장하여 명시적인 오차 항을 포함한다.

제안 방법

• $ S_m(T) $를 $ S(t) $의 m중 적분으로 재귀적으로 정의하고, $ \sigma \geq \frac{1}{2} $에서 $ \log|\zeta(\sigma)| $의 다중 적분을 통해 상수 $ C_m $를 유도한다.
• 보조 함수 $ I_m(T) $를 도입하며, 리만 가설 하에서 $ S_m(T) $와 동일하다고 보여진다. 항등식 $ S_m(T) = \Im\left\{ \frac{i^m}{m!} \int_{1/2}^\infty (\sigma - 1/2)^m \frac{\zeta'}{\zeta}(\sigma + iTi) d\sigma \right\} / \pi $를 이용한다.
• 특수한 해석적 기법과 경로 적분을 적용하여, 특히 임계선 근처에서 제타 함수의 로그 도함수 $ \frac{\zeta'}{\zeta}(s) $의 허수부를 추정한다.
• 근사 함수 방정식과 잘라낸 딜리클레 급수를 사용하여 제타 함수의 오일러 곱과 $ n < X^2 $에 대한 합에서 발생하는 오차 항을 제한한다.
• 파라미터 $ X = \log t $를 도입하고, $ \Lambda_X(n) $ 함수를 사용하여 딜리클레 급수를 잘라내어 잔여 적분의 효과적 추정을 가능하게 한다.
• 적분을 세 부분으로 나누어 $ J_1 $, $ J_2 $, $ J_3 $로 나누고, 각각을 영점 $ \rho = \beta + \gamma i $의 성질, $ \frac{1}{|\sigma + it - \rho|} $의 감쇠성, 그리고 $ \sigma_1 = \frac{1}{2} + \frac{1}{\log X} $를 포함한 적분 추정치를 사용하여 각각의 상한을 구한다.

실험 결과

연구 질문

• RQ1 리만 가설 하에서 $ m $중 적분 $ S_m(T) $에 대해 어떤 명시적 상한을 설정할 수 있는가? 이는 $ S(T) $ 및 $ S_1(T) $에 대한 알려진 상한을 일반화한다.
• RQ2 홀수와 짝수 $ m $일 때 $ S_m(T) $의 상한은 구조적·크기적으로 어떻게 다를까? 이러한 차이의 원인은 무엇인가?
• RQ3 푸지의 $ S(T) $ 및 $ S_1(T) $에 대한 방법이 명시적인 상수와 오차 항을 포함하여 고차 적분으로 확장될 수 있는가?
• RQ4 $ X = \log t $라는 매개변수는 적분 추정에서 잘라낸 오차와 주항목 간의 균형을 어떻게 담당하는가?
• RQ5 $ m $에 따라 상한의 상수가 어떻게 의존하는가? 이 상수들은 $ e $, 계승, 조화수 유사 합을 포함하는 닫힌 형태로 표현될 수 있는가?

주요 결과

• 홀수 $ m \geq 1 $에 대해, 다음의 명시적 상한을 확립한다: $$ |S_m(t)| \leq \frac{\log t}{(\log\log t)^{m+1}} \cdot \frac{1}{2\pi m!} \left\{ \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \sum_{j=0}^{m} \frac{m!}{(m-j)!} \left( \frac{1}{e} + \frac{1}{2^{j+1}e^2} \right) + \frac{1}{m+1} \cdot \frac{\frac{1}{e}(1 + \frac{1}{e})}{1 - \frac{1}{e}(1 + \frac{1}{e})} + \frac{1}{m(m+1)} \cdot \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \right\} + O\left( \frac{1}{(\log\log t)^{m+2}} \right) $$
• 짝수 $ m \geq 1 $에 대해, 상수 요소에 추가로 $ \frac{\pi}{2} $ 항이 포함된다: $$ |S_m(t)| \leq \frac{\log t}{(\log\log t)^{m+1}} \cdot \frac{1}{2\pi m!} \left\{ \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \sum_{j=0}^{m} \frac{m!}{(m-j)!} \left( \frac{1}{e} + \frac{1}{2^{j+1}e^2} \right) + \frac{1}{m+1} \cdot \frac{\frac{1}{e}(1 + \frac{1}{e})}{1 - \frac{1}{e}(1 + \frac{1}{e})} + \frac{\pi}{2} \cdot \frac{1}{1 - \frac{1}{e}(1 + \frac{1}{e})} \right\} + O\left( \frac{1}{(\log\log t)^{m+2}} \right) $$
• 상한에 포함된 상수들은 $ \frac{1}{e} $, $ \frac{1}{e^2} $, 계승 계수를 포함하는 급수를 통해 명시적으로 계산되었으며, 적분의 재귀적 구조를 반영한다.
• 오차 항은 $ O\left( \frac{\log t}{(\log\log t)^{m+2}} \right) $로 나타나지며, 고전적 $ O\left( \frac{\log t}{(\log\log t)^{m+1}} \right) $ 추정치보다 향상됨을 보였다.
• 홀수와 짝수 $ m $ 간의 차이는 제타 함수의 로그 도함수의 다중 적분에서 허수부와 실수부의 행동 차이에서 기인하며, 짝수의 경우 $ \sigma \in [1/2, \sigma_1] $에 대한 적분에서 추가로 $ \frac{\pi}{2} $ 기여가 발생한다.
• 이 방법은 $ m=1 $ 및 $ m=2 $에 대해 푸지의 접근을 성공적으로 일반화하여, 명시적인 상수와 오차 제어를 포함한 고차 사례를 위한 체계적인 프레임워크를 제공한다.