The Lindelöf Hypothesis for Zeta Zero Ordinates

라무나스 가르쿤슈티스, 아타나시오스 소우멜리디스, 요른 슈타이딩의 논문 "제타 영점의 순서에 대한 린델뢰프 가설"에 대한 상세한 기술적 요약입니다.

1. 문제 제기 및 동기

이 논문은 리만 제타 함수 $\zeta(s)$의 비자명한 영점 $\rho = \beta + i\gamma$의 분포를 조사합니다. 구체적으로, 고네크 (Gonek), 그레이엄 (Graham), 리 (Lee) 가 제안한 이러한 영점의 순서 (ordinates) 에 대한 린델뢰프 가설 (기호: $LH(\gamma)$) 에 관한 추측을 다룹니다.

핵심 문제는 지수 합을 추정하는 것입니다:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau}$$
여기서 합은 비자명한 영점의 허수부 (순서) 에 대해 수행됩니다. 이 추측은 이 합이 특정 오차항 경계와 함께 적분과 점근적으로 유사하게 행동한다고 주장합니다:
$$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \int_{2}^{x} \frac{u^{-i\tau}}{2\pi \log u} du + E$$
여기서 오차항 $E$는 $2 \le x \le |\tau|^B$에 대해 $E \ll |\tau|^\epsilon x^{1/2}$를 만족합니다.

이는 제타 함수 자체의 성장에 관한 고전적인 $\zeta(1/2+it)$에 대한 린델뢰프 가설과 유사합니다. 저자들은 작은 $|\tau|$에 대해서는 무조건적으로, 그리고 더 큰 범위에서는 조건부 (리만 가설을 가정하여) 로 이 점근 공식을 증명하고, 이 합의 오차항과 특정 디리클레 급수의 성장 사이의 동등성을 확립하는 것을 목표로 합니다.

2. 방법론

저자들은 다음과 같은 해석적 수론 기법들의 조합을 사용합니다:

• 스틸체스 적분: 영점에 대한 합을 리만 - 폰 망골트 카운팅 함수 $N(T)$와 편각 함수 $S(T)$와 연관시키는 데 사용됩니다.
• 경로 적분: 제타 함수의 로그 미분 $\zeta'/\zeta(s)$와 함수 방정식을 포함하는 적분에 유수 정리가 적용됩니다.
• 정상 위상법 및 도함수 판정법: $\zeta'/\zeta$의 디리클레 급수 표현에서 발생하는 진동 적분을 추정하는 데 사용됩니다.
• 페론의 공식: 디리클레 급수 $G(s) = \sum \gamma^{-s}$의 부분 합을 복소 적분으로 표현하기 위해 잘라낸 버전이 활용됩니다.
• 해석적 연속: 디리클레 급수 $G(s)$의 성질을 분석하여 그 수직적 성장이 영점 순서 합의 오차항과 어떻게 연결되는지 규명합니다.

3. 주요 기여 및 결과

정리 1: 작은 $\tau$에 대한 무조건적 결과

저자들은 합 $\sum_{0 < \gamma < x} \gamma^{-i\tau}$에 대한 무조건적 점근 공식을 증명합니다.

• 결과: 임의의 실수 $\tau$와 $x > 0$에 대해:
  $$\sum_{0 < \gamma < x} \gamma^{-i\tau} = \frac{x^{1-i\tau}}{2\pi(1-i\tau)} \left( \log \frac{x}{2\pi} - \frac{1}{1-i\tau} \right) + O(|\tau|(\log x)^2)$$
• 의의: 이는 $|\tau|^2 \le x \le \tau^B$인 범위에서 순서에 대한 린델뢰프 가설 ($LH(\gamma)$) 을 확인합니다. 이 범위에서 주항이 오차항을 지배합니다. 이 증명은 고전적인 bound $S(T) \ll \log T$에 의존합니다.

정리 2: 경로 적분 및 조건부 결과

이 정리는 경로 적분을 사용하여 더 정교한 분석을 제공하며, $\tau$와 $x$의 크기에 따라 두 가지 경우로 문제를 나눕니다.

• 사례 1 (작은 $\tau$): $0 \le \tau \le cx \log 2$인 경우, 합은 $O((\log x)^2)$의 오차로 적분에 의해 근사됩니다.
• 사례 2 (큰 $\tau$): $cx \log 2 \le \tau \ll x \log x$인 경우, 합은 폰 망골트 함수 $\Lambda(n)$을 포함하는 지수 합으로 변환됩니다:
  $$\sum_{x \le \gamma < y} \gamma^{-i\tau} \approx \frac{e^{i(\tau+\pi/4)}\tau^{1/2-i\tau}}{(2\pi)^{1/2}} \sum_{e^{\tau/y} \le n \le e^{\tau/x}} \frac{\Lambda(n)(\log n)^{i\tau}}{n^{1/2}\log n} + \text{오차}$$
• 귀결 1 (리만 가설 조건부): 리만 가설 (RH) 을 가정할 때, 저자들은 합에 대한 경계를 유도합니다. 구체적으로 $x \le \gamma < 2x$인 경우:
  • 작은 $\tau$의 경우: 합은 $O(x \log x / |\tau| + (\log x)^2)$로 제한됩니다.
  • 큰 $\tau$의 경우: 합은 "제곱근 상쇄 (square root cancellation)"를 보이며 $x^{1/2+o(1)}$로 행동합니다. 이는 리만 가설이 참이라면, $x \approx |\tau|^2$인 어려운 범위에서도 순서에 대한 린델뢰프 가설이 성립함을 시사합니다.

정리 3: 디리클레 급수 성장과의 동등성

이 논문은 영점 순서 합의 오차항과 디리클레 급수 $G(s) = \sum_{\gamma > 0} \gamma^{-s}$의 성장 사이의 심오한 동등성을 확립합니다.

• 명제: $A \in [0, 1/2]$라고 합시다. 다음 두 명제는 동등합니다:
  1. 점근 공식의 오차항 $E$가 $2 \le x \le |\tau|^2$에 대해 $E \ll |\tau|^{A+\epsilon} x^{1/2}$를 만족한다.
  2. 디리클레 급수가 $|t| \ge 1$에 대해 수직 경계 $G(1/2 + it) \ll |t|^{A+\epsilon}$를 만족한다.
• 의의: 이는 (합을 통해) 영점의 분포를 급수 $G(s)$의 해석적 성질과 직접 연결합니다. 이는 순서에 대한 린델뢰프 가설을 증명하는 것이 임계선에서 $G(s)$에 대한 특정 성장 경계를 증명하는 것과 동등함을 의미합니다.

4. 의의 및 영향

• 새로운 관점: 이 논문은 린델뢰프 가설에 대한 새로운 관점을 제시하여, $\zeta(s)$의 값에서 그 영점들의 순서 분포로 초점을 이동시킵니다.
• 무조건적 진전: 주항이 지배하는 $|\tau|^2 \le x$ 범위에서 이 추측에 대한 최초의 무조건적 증명을 제공합니다.
• 조건부 최적성: 리만 가설을 가정할 때, 결과는 이러한 합에 대해 "제곱근 상쇄" ($x^{1/2}$) 가 최적의 행동임을 시사하며, 이는 고전적인 린델뢰프 가설과 유사합니다.
• 해석적 연결: 정리 3 의 동등성은 새로운 연구 경로를 제공합니다. 합을 직접 공격하는 대신, 델사르테 (Delsarte), 이빅 (Ivić), 본다렌코 (Bondarenko) 가 연구한 디리클레 급수 $G(s)$의 해석적 연속과 성장을 연구할 수 있습니다.
• 역사적 맥락: 이 작업은 폰 망골트, 리틀우드와 같은 고전적 결과와 고네크 (Gonek) 등 현대적 추측을 연결하여 제타 함수의 편각 ($S(T)$) 과 영점 분포 사이의 관계를 명확히 합니다.

요약하자면, 이 논문은 제타 영점에 대한 지수 합의 행동을 엄격하게 정량화하여 특정 범위에서 순서에 대한 린델뢰프 가설을 증명하고, 이러한 합과 관련 디리클레 급수의 성장 사이의 깊은 이론적 연결을 확립합니다.