[論文レビュー] The discrete second moment of mixed derivatives of the Riemann zeta function

Benjamin Durkan, C. P. Hughes+1 more|Research Explorer (The University of Manchester)|Jan 9, 2026

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) の研究とそのゼータ導関数モーメントへの関連性を明らかにする。
• すべての導関数 mu, nu に対して下位項を含む完全な漸近展開へ拡張する。
• 先行研究（Gonek, Conrey–Snaith, Milinovich）を任意の導関数へ一般化し、無条件および RH 条件付きの結果を確立する。
• 漸近多項式の係数構造を明示し、それを関連ディリクレ級数のローラン展開の係数と関連づける。

提案手法

• Cauchy の定理を長方形状の包絡線上で適用し、I(mu,nu) を周回積分として表現する。
• 関数方程式を用いて zeta^{(nu)}(1-s) を s に対する導関数と関連づけ、収束するディリクレ級数展開を得る。
• 停留位相と Perron の公式により主項を評価し、log(T/2π) の mu+nu+2 次の多項式を取り出す。
• Laurent 展開 around s=1 から係数 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 漸近多項式の係数を、関連ディリクレ級数のローラン係数 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})（無条件）
• 多項式 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 のローラン係数から構成される。
• リーマン仮説の下では誤差は O(T^{1/2+ε})（任意の ε>0）へ改善する。
• 系書として、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}$