[논문 리뷰] The discrete second moment of mixed derivatives of the Riemann zeta function

Benjamin Durkan, C. P. Hughes외 1명|Research Explorer (The University of Manchester)|2026. 01. 09.

Analytic Number Theory Research인용 수 0

한 줄 요약

본 논문은 제타 함수의 혼합 도함수의 이산적 이차 모멘트가 제타 영점에서 평가될 때의 완전한 점근적 전개를 입증하며, 무조건적 및 RH 조건의 오차항을 포함한다.

ABSTRACT

We establish the full asymptotic for the discrete second moment of the Riemann zeta function of mixed derivatives evaluated at the zeta zeros, providing both unconditional and conditional error terms. This was first studied by Gonek, where only the leading order asymptotic was given, later extended by Conrey--Snaith and Milinovich to include the lower order terms for the first derivative. We extend the case of the first derivative to all derivatives.

연구 동기 및 목표

• 연구 목표: I(mu,nu) = sum_{0<gamma<=T} zeta^{(mu)}(rho) zeta^{(nu)}(1-rho)의 연구를 동기화하고 이것이 zeta 도함수 모멘트와의 관련성에 대한 중요성을 설명한다.
• 모든 도함수 mu, nu에 대해 선도 항에 대한 결과를 확장하여 하위 차수를 포함한 완전한 점근 전개를 제시한다.
• 이전 연구(Gonek, Conrey–Snaith, Milinovich)를 임의의 도함수로 일반화하고 무조건적 결과와 RH 조건부 결과를 모두 확립한다.
• 점근적으로 다항식의 계수 구조를 명시적으로 제시하고 이를 관련 Dirichlet 급수의 Laurent 계수와 연결한다.

제안 방법

• I(mu,nu)를 등사 사각형 경로에서 코시 정리를 적용하여 등고선 적분으로 표현한다.
• 함수 방정식을 사용하여 zeta^{(nu)}(1-s)를 s에서의 도함수들과 연관시키고 수렴하는 Dirichlet 급수 전개를 얻는다.
• 정상 위상(stationary phase)과 Perron’s 공식으로 주요 항을 평가하여 log(T/2π)의 mu+nu+2 차 다항식으로 표현한다.
• s=1 부근의 Laurent 전개로부터 계수 C1^{(mu,nu)}(m,k)와 C2^{(mu,nu)}(m,k)를 계산하고 이를 최종 다항식과 연결한다.
• 오른쪽 수직 경로와 왼쪽 수직 경로가 동일 유형의 다항식 기여를 산출함을 보이고, 전체 점근적 표현과 명시적 오차 한계를 얻는다.
• RH 하에서 오차항 O(T^{1/2+ε})를 얻고; 무조건적 오차는 O(T e^{-C√(log T)})이다.

(a) $\sum_{0<\gamma<T}\left|\zeta^{\prime}\left(\frac{1}{2}+i\gamma\right)\right|^{2}$

실험 결과

연구 질문

• RQ1 다음 이산적 이차 모멘트 sum_{0<gamma<=T} zeta^{(mu)}(rho) zeta^{(nu)}(1-rho)의 완전한 점근적 전개는 무엇인가?
• RQ2 상응하는 Dirichlet 급수의 Laurent 계수 c^{(mu,k)}_j와 d^{(nu,k)}_j로 점근 다항식의 계수를 어떻게 표현할 수 있는가?
• RQ3 무조건적 오차항과 RH 조건부 오차항이 다른가, 그리고 이들 오차의 정확한 형태는 무엇인가?
• RQ4 일반적인 mu, nu에 대해 선도 항이 이전의 선도 항 결과들(예: Gonek, Conrey–Snaith)와 일치하는가?

주요 결과

• 정리 1은 sum_{0<gamma<=T} zeta^{(mu)}(rho) zeta^{(nu)}(1-rho) = (T/2π) P_{mu,nu}(log(T/2π)) + O(T e^{-C√log T}) unconditionally.
• 다항식 P_{mu,nu}(x)는 차수 mu+nu+2를 가지며, 계수는 C1^{(mu,nu)}(m,k)와 C2^{(mu,nu)}(m,k)로 표현되며 이는 c^{(mu,k)}_j 와 d^{(nu,k)}_j의 Laurent 계수로부터 구성된다.
• RH 가설 하에서 오차는 임의의 ε>0에 대하여 O(T^{1/2+ε})로 개선된다.
• 결론으로 RH가 확인된 모든 도함수에 대한 이산적 이차 모멘트 전개(Corollary 1)와 mu=nu=1인 Milinovich의 전체 점근 전개를 회복한 결과(Corollary 2)가 포함된다.
• 선도 항 계수는 (1.2)에서 알려진 선도 항과 일치한다.
• 부록의 예는 특정 도함수 차수(예: 두 번째 도함수)에 대한 명시적 다항식을 보여준다.

(b) $\sum_{0<\gamma<T}\left|\zeta^{\prime}\left(\frac{1}{2}+i\gamma\right)\right|^{2}-\frac{1}{24\pi}T\left(\log\frac{T}{2\pi}\right)^{4}$