[논문 리뷰] On the multiplicity of zeros of the zeta-function

Aleksandar Ivić|ArXiv.org|2005. 01. 25.

Analytic Number Theory Research참고 문헌 4인용 수 7

한 줄 요약

이 논문은 리만 제타함수 $ζ(s)$의 영점의 중복도에 대한 새로운 상한을 확립하며, 특히 큰 중복도를 가진 영점은 임계선 $\sigma=1$의 왼쪽에 있어야 한다는 것을 보여준다. 재귀적 절차를 통해 감마함수와 제타함수를 포함한 적분 표현식을 사용하고, 점근적 추정을 개선함으로써 고전적 추정치를 향상시킨다. 특히 린델뢰프 가설과 리만 가설 하에서 성립하며, 중복도를 고려한 영점 밀도 수량 함수를 도입한다.

ABSTRACT

Several results are obtained concerning multiplicities of zeros of the Riemann zeta-function $ζ(s)$. They include upper bounds for multiplicities, showing that zeros with large multiplicities have to lie to the left of the line $σ= 1$. A zero-density counting function involving multiplicities is also discussed.

연구 동기 및 목표

• 비자명한 리만 제타함수의 영점 중복도 $m(\beta+i\gamma)$에 대한 개선된 무조건적 및 조건부 상한을 유도하는 것.
• 고중복도 영점의 위치를 조사하여, 그것들이 반드시 $\sigma=1$의 왼쪽에 있어야 한다는 것을 보이는 것.
• 중복도를 고려한 영점 밀도 수량 함수 $N^{(r)}(\sigma,T)$를 도입하고 분석하는 것.
• 린델뢰프 가설(LH)과 리만 가설(RH) 하에서 이러한 상한의 함의를 탐구하며, 특히 다중 영점의 분포에 미치는 영향을 분석하는 것.
• 기존 결과들과의 비교를 통해, 고전적 $N(T)$ 공식과 $S(T)$의 모멘트 추정치를 포함한 기존 결과들과의 비교를 수행하는 것.

제안 방법

• 제타함수에 점근적 성질을 가진 $1+i\gamma$ 중심의 원판에서 점진적 공식을 적용하며, $\zeta(s)$의 정칙성과 $|\zeta(\sigma+i\gamma+it)|$에 대한 알려진 하한을 활용한다.
• 감마함수와 지수 감쇠를 포함한 정의를 통해 $f_r(x)$ 함수의 적분 표현식을 사용하며, 다중 영점의 행동을 모델링한다.
• 산술 함수의 합과 관련된 딜리클레 급수 $M_X(s) = \sum_{n\leq X} \mu(n)n^{-s}$와 그 계수 $a(n)$을 활용하여 중복도를 산술 함수의 합과 연결한다.
• 경로 적분과 잔여물 정리에 기반한 상한 추론을 수행하며, 특히 복소평면 내 직사각형 $\mathcal{D}$ 를 사용하여 중복도 $r$인 영점을 분리한다.
• 스티리링의 공식과 $\Gamma(s)$, $\zeta(s)$에 대한 추정치를 적용하여 적분의 크기를 통제하고, 중복도 상한을 추출한다.
• 함수 $f_r(x)$에 대해 반복적 부분적 적분을 적용하여 점근적 추정치를 도출하고, 단조성 및 감쇠 성질을 확립한다.

실험 결과

연구 질문

• RQ1 제타함수 $\zeta(s)$의 영점 중복도 $m(\beta+i\gamma)$에 대한 가장 잘 알려진 상한은 무엇이며, $\gamma$에 따라 어떻게 달라지는가?
• RQ2 린델뢰프 또는 리만 가설 하에서 중복도가 더 엄격하게 제한될 수 있는 조건은 무엇인가?
• RQ3 고중복도 영점의 위치를 제한할 수 있으며, 이는 그것들이 임계선에서 벗어나도록 강제하는가?
• RQ4 중복도 $r$인 영점을 세는 영점 밀도 함수 $N^{(r)}(\sigma,T)$는 $T \to \infty$일 때 점근적으로 어떻게 행동하는가?
• RQ5 $N^{(r)}(\sigma,T)$에 사용된 방법이 기존의 모멘트 기반 상한 $N_r(T) \ll N(T)e^{-C\sqrt{r}}$보다 더 날카로운 결과를 도출할 수 있는가?

주요 결과

• 논문은 $\frac{1}{2} < \beta < 1$ 인 경우에 대해 다음 상한을 확립한다: $m(\beta+i\gamma) \leq \frac{1}{\log \frac{1}{2-2\beta}} \left( \max_{\sigma \geq \frac{1}{2}, |t| \leq \frac{1}{2}} \log|\zeta(\sigma + i\gamma + it)| + O(\log\log\gamma) \right)$, 이는 비잔성 추정치를 향상시킨다.
• 린델뢰프 가설 하에서는 상한이 $m(\beta+i\gamma) = o(\log\gamma)$ 로 개선되며, 이는 이 가정 하에서 다중 영점이 희귀하다는 것을 시사한다.
• 리만 가설 하에서는 상한이 $m(\beta+i\gamma) \ll \frac{1}{\log\log\gamma} \log\gamma$ 로 변형되며, 이는 리만 가설 하에서도 다중 영점이 흩어져 있음을 보여준다.
• 논문은 중복도 $r$인 영점을 세는 영점 밀도 함수 $N^{(r)}(\sigma,T)$를 도입하며, $r \geq 2$ 일 때 $\lim_{T\to\infty} \frac{N^{(r)}(\sigma,T)}{N(\sigma,T)} = 0$ 임을 보여, 다중 영점의 밀도가 무시할 만큼 낮다는 것을 시사한다.
• 이 방법은 고전적 추정치보다 고정된 $r \geq 2$ 에서 $\log^A T$ 요인만큼 더 작은 상한을 도출하며, 다중 영점의 밀도 추정치에서 상당한 개선을 이룬다.
• 중복도에 대한 추측 $m(\beta+i\gamma) \ll_\varepsilon (\log\log\gamma)^{1+\varepsilon}$ 는 타당한 것으로 여겨지지만 아직 증명되지 않았으며, 논문은 현재의 방법으로는 점별 $S(T)$ 추정치를 통해 그러한 상한에 도달할 수 없다고 보여준다.