[논문 리뷰] On the roots of the equation $Z'(t)=0$

Jan Moser|arXiv (Cornell University)|2013. 03. 05.

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

한 줄 요약

이 논문은 린델뢰프 가설이 $ Z'(t) $의 연속된 홀수차수 영점 간격의 급격한 수축을 암시함을 증명하며, 이 영점들은 비판선 상에서 리만 제타 함수의 국소 최대 또는 최소에 해당한다. 이에 따라 이러한 영점들은 $ \psi(T) $가 어떤 천천히 발산하는 함수이든 간에 $ (T, T + T^{\epsilon} \psi(T)) $ 형태의 간격 내에 밀도 있게 분포함을 보여준다. 이 결과는 린델뢰프 가설 하에서 삼각합 추정을 활용하여 이전의 영점 간격 추정치의 지수 범위를 향상시킨다.

ABSTRACT

We have proved in this paper that the Lindel\" of hypothesis generates essential contraction of distances between consecutive odd-order zeros of the function $Z'(t)$. This paper is the translation of the paper \cite{11} into the English except part 8 that we added in order to point out the I. M. Vinogradov' scepticism on possibilities of the method of trigonometric sums.

연구 동기 및 목표

• 린델뢰프 가설을 전제로 하여 $ Z'(t) $의 홀수차수 영점의 분포를 조사한다. 이 영점들은 $ \zeta(1/2 + it) $의 국소 극치에 해당한다.
• 특히 고전적인 하디-리틀우드 지수를 개선하여 $ Z'(t) $의 연속된 영점 간격에 대한 기존의 지수 범위를 향상시킨다.
• I.M. 비노그라도프의 의심에 따라 삼각합 방법이 하드리-리틀우드 적분 $ \int_0^T |\zeta(1/2 + it)| dt $ 추정에 있어 한계를 어떻게 갖는지 평가한다.
• 삼각합 추정에 의존하지 않는, 무시할 만한 오차항을 갖는 하드리-리틀우드 적분의 새로운 점근 표현을 제공한다.

제안 방법

• 함수방정식과 경로적분 표현을 이용해 $ Z'(t) $에 대한 명시적 점근 전개를 유도하며, 공식 1: $ Z'(t) = -2\sum_{n \leq \sqrt{t/2\pi}} \frac{1}{\sqrt{n}} (\vartheta'(t) - \ln n) \sin(\vartheta(t) - t\ln n) + \mathcal{O}(t^{-1/4}\ln t) $을 도출한다.
• 반경 $ P_0 = \sqrt{T/(2\pi)} $에서 잘라내어 매끄러운 합으로 변환함으로써 수렴성을 향상시키며, 공식 2를 도출한다. 이 공식은 로그 가중치 $ \ln(P_0/n) $를 포함한다.
• 상태 $ \vartheta(\tilde{t}_\nu) = \pi\nu + \pi/2 $로 정의된 수열 $ \tilde{t}_\nu $를 도입하여 사인 항의 위상과 일치시키고, 체계적인 간격을 따라 합을 구한다.
• 구간 $ (T, T+H) $에서 $ Z'(t) $의 부분합을 유계하는 데 $ |S(a,b)| < A(\Delta)\sqrt{a} t^{\Delta} $ (여기서 $ 0 < \Delta < 1/6 $)를 가정하여 추정치 (2.4) 및 (2.5)를 이끌어낸다.
• 교대합 기법을 사용해 짝수 및 홀수 인덱스의 $ \tilde{t}_\nu $를 분리하고, 레마 3을 도출한다. 이는 $ Z'(\tilde{t}_\nu) $에서 부호 변화의 불균형을 보이며, 결과적으로 $ Z'(t)=0 $의 부호 변화를 암시하고, 이는 영점 존재를 의미한다.
• 고전적 삼각합 방법과 새로운 하드리-리틀우드 적분의 점근 표현 (A.6)을 대조하며, 삼각합 추정에 의존하지 않는 무시할 만한 오차항 $ \mathcal{O}(\ln T / T) $을 도출한다.

실험 결과

연구 질문

• RQ1 린델뢰프 가설은 $ Z'(t) $의 홀수차수 영점, 즉 $ \zeta(1/2 + it) $의 국소 극치의 분포를 이전에 알려진 것보다 더 조밀하게 만드는가?
• RQ2 영점이 포함된 간격의 길이 $ T^{\Delta} \psi(T) $에서 지수 $ \Delta $ 는 $ \Delta = 35/216 + \epsilon $ 이외로 개선될 수 있으며, 만약 그렇다면 얼마나 개선되는가?
• RQ3 I.M. 비노그라도프의 삼각합 방법에 대한 의심은 하드리-리틀우드 적분 $ \int_0^T |\zeta(1/2 + it)| dt $ 추정에 적용했을 때 얼마나 타당한가?
• RQ4 삼각합 추정에 의존하지 않는, 조건부로 무시할 수 있는 오차항을 갖는 하드리-리틀우드 적분의 표현을 구성할 수 있는가?

주요 결과

• 린델뢰프 가설 하에서, $ \psi(T) $가 어떤 천천히 발산하는 함수이든 간에 $ (T, T + T^{\epsilon} \psi(T)) $ 간격 내에 적어도 하나의 $ Z'(t) $의 홀수차수 영점이 존재하며, 이는 $ Z(t) $의 조밀한 진동을 암시한다.
• 이전 연구에서의 지수 $ \Delta = 35/216 + \epsilon $ 는 린델뢰프 가설 하에서 $ \epsilon $ 으로 개선되었으며, 이는 지수 상한에 대해 100% 향상된 결과이다.
• 임의의 고정된 $ \tau > 0 $ 에 대해 $ (T, T + T^{\tau}) $ 내의 $ Z'(t) $의 홀수차수 영점 수는 적어도 $ A(\tau,\epsilon) T^{\tau - \epsilon} $ 의 속도로 증가하며, 이는 $ T \to \infty $ 일 때 무한한 진동을 확인한다.
• 고전적 삼각합 방법은 유계되지 않은 오차항 $ Q(T) = \mathcal{O}(T^{1/4 + \epsilon}) $ 을 야기하며, 이는 I.M. 비노그라도프의 방법의 장기적 잠재력에 대한 의심을 확인한다.
• 하드리-리틀우드 적분에 대한 새로운 점근 공식 (A.6)이 유도되었으며, 오차항 $ \mathcal{O}(\ln T / T) $ 은 무시 가능하고 삼각합 추정에 의존하지 않으며, 이는 비노그라도프의 의심이 이 맥락에서 타당함을 확인한다.
• 삼각합 방법은 점차 수익이 감소함을 입증하였다: 지수 상한의 개선(예: $ 1/4 \to 1/6 \to 1/6 - \epsilon $)은 점점 더 미미해지며, 이는 그 효과에 대한 본질적 한계를 암시한다.