[논문 리뷰] Zeros of partial sums of the Riemann zeta-function

S. M. Gonek, Andrew Ledoan|ArXiv.org|2008. 06. 30.

Analytic Number Theory Research인용 수 7

한 줄 요약

이 논문은 리만 제타함수의 부분합의 영점 분포를 조사한다. $ F_X(s) = \sum_{n \leq X} n^{-s} $, 높이 $ T $ 이하의 영점 수, 수평적 분포, 평균 실수부에 대한 渐近 및 상계 추정을 구축한다. 주요 결과로는 $ N_X(T) \sim \frac{T}{2\pi} \log X $ 와 영점의 실수부 합에 대한 상계가 있으며, $ X \to \infty $ 일 때 영점들이 임계선 근처에 집중됨을 보여준다. 분석은 호도 원리, 리틀우드의 보조정리, 딜리클레 다항식의 평균값 추정에 기반한다.

ABSTRACT

We investigate the distribution of the zeros of partial sums of the Riemann zeta-function, sum_{n\leq X}n^{-s}, estimating the number of zeros up to height T, the number of zeros to the right of a given vertical line, and other aspects of their horizontal distribution.

연구 동기 및 목표

• 리만 제타함수의 부분합 $ F_X(s) = \sum_{n \leq X} n^{-s} $ 의 영점 분포를 이해하는 것, 특히 임계대에서의 분포를 중심으로.
• 높이 $ T $ 이하의 영점 수 $ N_X(T) $ 과 수직선 $ \sigma $ 오른쪽에 있는 영점 수 $ N_X(\sigma, T) $ 를 $ X, T \to \infty $ 일 때 균일하게 추정하는 것.
• 영점의 평균 실수부와 그 수평적 집중도를 분석하고, 특히 $ \sigma = 1/2 $ 근처로 집중되는지 여부를 조사하는 것.
• 부분합에 대한 영점이 없는 영역과 밀도 정리의 기존 결과를 복소해석학 및 곱셈적 수론 도구를 통해 확장하는 것.

제안 방법

• 직사각형 경로를 따라 호도 원리를 적용하여 $ N_X(T) = \frac{T}{2\pi} \log X + O(X) $ 를 유도하고, 경로의 변두리에서의 변위 크기 추정을 사용한다.
• 함수 $ h_X(s) = 1 - f_X^2(s) $ 에 대해 리틀우드의 보조정리를 적용하여, 영점 밀도를 $ |F_X(s)| $ 의 로그 적분과 연결한다. 여기서 $ f_X(s) = F_X(s) M_Y(s) - 1 $ 이다.
• 산술-기하 평균 부등식과 몬고메리-바우하우의 평균값 정리를 사용하여 $ \sigma < 1/2 $ 에 대해 $ \int_0^T \log |F_X(\sigma + it)| \, dt $ 를 추정한다.
• 삼각함수 다항식에 일반화된 데스카르트의 부호변화 법칙을 적용하여 $ \Im F_X(\sigma + iT) $ 의 변동 횟수를 제한하고, 경로 상단 변의 호도 변화를 제어한다.
• 모비우스 함수 $ \mu(n) $ 를 통해 딜리클레 다항식 근사식을 구성하고, $ f_X(s) = F_X(s) M_Y(s) - 1 $ 을 정의하여 영점이 없는 영역과 밀도를 분석한다.
• 로그 적분과 $ |F_X(\sigma + it)| $ 의 추정을 사용하여 $ \sum_{\beta_X > \sigma} (\beta_X - \sigma) $ 의 상계를 유도하고, 이로부터 $ N_X(\sigma, T) $ 의 상계를 도출한다.

실험 결과

연구 질문

• RQ1 높이 $ T $ 이하의 영점 수 $ N_X(T) $ 는 어떻게 渐近적으로 변화하는가? 그리고 $ X $ 와 $ T $ 에 따라 어떻게 증가하는가?
• RQ2 영점의 수평적 분포는 어떠한가? 특히 실수부 $ \geq \sigma $ 인 영점 수 $ N_X(\sigma, T) $ 는 어떻게 되는가?
• RQ3 영점의 평균 실수부는 무엇이며, $ X \to \infty $ 일 때 $ 1/2 $ 에 수렴하는가?
• RQ4 $ \sigma < 1/2 $ 일 때 $ \sum_{\beta_X > \sigma} (\beta_X - \sigma) $ 에 대한 渐近 추정을 얻을 수 있는가, 아니면 상계만 가능한가?
• RQ5 영점이 없는 영역 $ F_X(s) $ 는 무엇이며, 이는 $ X $ 에 따라 어떻게 달라지는가?

주요 결과

• 높이 $ T $ 이하의 영점 수는 $ N_X(T) = \frac{T}{2\pi} \log X + O(X) $ 를 만족하며, 이는 $ X $ 에 대해 로그적 증가, $ T $ 에 대해 선형 증가를 나타낸다.
• $ \sigma \geq \frac{1}{2} + \frac{1}{\log T} $ 일 때, 실수부 $ \geq \sigma $ 인 영점 수는 $ N_X(\sigma, T) = O(T X^{1-2\sigma} \log^6 T) $ 를 만족하며, $ \sigma $ 가 $ 1/2 $ 를 초과할수록 밀도가 감소함을 시사한다.
• $ X \ll T^{1/2} $ 일 때, 영점의 평균 실수부는 $ \frac{1}{N_X(T)} \sum_{0 < \gamma_X \leq T} \beta_X = O\left( \frac{1}{\log X} \right) $ 를 만족하며, $ X \to \infty $ 일 때 임계선 근처로 집중됨을 의미한다.
• $ \sigma < 1/2 $ 일 때, 합 $ \sum_{\beta_X > \sigma} (\beta_X - \sigma) $ 는 $ \left( \frac{1}{2} - \sigma \right) \frac{T}{2\pi} \log X - \frac{T}{4\pi} \log(1 - 2\sigma) + O((\sigma + 1)X) + O(T) $ 로 상계된다.
• 영점의 실수부 합은 $ \sum_{0 < \gamma_X \leq T} \beta_X = O(T) + O(X^2) $ 를 만족하며, $ X \ll T^{1/2} $ 일 때 평균 실수부는 $ X \to \infty $ 일 때 0으로 수렴한다.
• 논문은 $ \sum_{\beta_X > \sigma} (\beta_X - \sigma) \sim \left( \frac{1}{2} - \sigma \right) \frac{T}{2\pi} \log X $ 가 $ \sigma < 1/2 $ 에서 渐近적으로 성립하는지 여부를 열려 있는 문제로 남긴다. 이는 $ \int_0^T \log |F_X(\sigma + it)| \, dt $ 의 보다 정밀한 추정이 필요하다.