[論文レビュー] The Laplace transform of the fourth moment of the zeta-function

Aleksandar Ivić|ArXiv.org|Dec 9, 2003

Analytic Number Theory Research参考文献 12被引用数 8

ひとこと要約

この論文は、非ユークリッドラプラシアンのスペクトル理論を用いて、$|\zeta(1/2 + ix)|^4$ のラプラス変換の正確な表現を導出しており、$|\arg s| \leq \phi < \pi/2$ の領域で有効な複素解析的公式を確立している。主な結果は、対数的特異性を持つ主要項と、マース形式およびベッセル関数を含むスペクトル級数からなる $L_2(s)$ の表現であり、$|s|^{-1/2}$ の任意のべきよりも速く減衰する誤差項を伴う。

ABSTRACT

The Laplace transform of $|ζ(1/2+it)|$ is investigated, for which a precise expression is obtained, valid in a certain region in the complex plane. The method of proof is based on complex integration and spectral theory of the non-Euclidean Laplacian.

研究の動機と目的

• 複素数 $s$ が原点付近の領域にある場合のラプラス変換 $L_2(s) = \int_0^\infty |\zeta(1/2 + ix)|^4 e^{-sx} dx$ の正確な表現を導出すること。
• 実軸に近い $\sigma \to 0^+$ における $L_2(\sigma)$ の既知の漸近的結果を、スペクトル法を用いて複素平面上へ拡張すること。
• ゼータ関数の第四モーメントに起因する特異的挙動と、非ユークリッドラプラシアンの離散スペクトルを両方とも組み込んだ、非漸近的かつ正確な $L_2(s)$ の表現を提供すること。
• スペクトル展開の誤差項を精密に評価し、$|s|^{-1/2}$ の任意のべきよりも速く減衰することを示すこと。

提案手法

• 複素積分とメリン変換技術を用い、マース波動関数による $\zeta(1/2 + it)$ の第四モーメントのスペクトル分解を応用する。
• ラプラス変換は、$L_2(s) = \int_0^\infty |\zeta(1/2 + it)|^4 e^{-st} dt$ という積分表現を通じて、スペクトルゼータ関数 $\mathcal{Z}_2(w)$ を用いて解析接続される。
• スペクトルゼータ関数 $\mathcal{Z}_2(w)$ は $\int_1^\infty |\zeta(1/2 + it)|^4 t^{-w} dt$ として定義され、そのメロモルフィック続行が可能であり、$w=1$ および $w=1/2 \pm i\kappa_j$ に極を持つ。これらは離散スペクトルに対応する。
• 逆メリン変換は留数定理を用いて実行され、臨界帯やゼータ関数の零点を避けるために、ストランコヴィッチ型の断片的な経路 $\mathcal{L}$ に積分路をシフトする。
• スペクトル寄与は $w = 1/2 \pm i\kappa_j$ における留数から生じ、$\alpha_j H_j^3(1/2)$、$\Gamma(1/2 \pm i\kappa_j)$、およびガンマ関数を用いて定義される関数 $R(y)$ を含む項が得られる。
• 誤差項は積分路を分割し、$|v| \leq V$ および $|v| > V$ の領域での積分を評価することで有界化される。ここで $V$ は $C_1 \log(|s|^{-1} + 20)$ と選ばれ、$|s|^{-1/2}$ の任意のべきよりも速い減衰が得られる。

実験結果

リサーチクエスチョン

• RQ1 複素数 $s$ が原点付近にある場合のラプラス変換 $L_2(s)$ の正確な構造は何か？ これは既知の実軸 $\sigma$ における漸近的結果を超えるものである。
• RQ2 非ユークリッドラプラシアンのスペクトル理論を用いて、複素 $s$-平面上での $\zeta(1/2 + it)$ の第四モーメントをどのように表現できるか？
• RQ3 スペクトル展開における誤差項の正確な性質と減衰速度は何か？
• RQ4 $\mathcal{Z}_2(w)$ の極を用いて、$L_2(s)$ の完全な分解が得られるか？
• RQ5 複素解析的構造 $L_2(s)$ は、$\zeta(s)$ の算術的性質とスペクトル的性質をどのように反映しているか？

主な発見

• 領域 $0 < |s| \leq 1$、$|\arg s| \leq \phi < \pi/2$ において、$L_2(s)$ は対数的特異性を持つ主要項とスペクトル級数からなる正確な表現を持つ。
• 主要項は $\frac{1}{s}\left(A \log^4 \frac{1}{s} + B \log^3 \frac{1}{s} + C \log^2 \frac{1}{s} + D \log \frac{1}{s} + E\right)$ であり、$\sigma \to 0^+$ のときの既知の漸近展開と一致する。
• スペクトル寄与は $s^{-1/2} \sum_{j=1}^\infty \alpha_j H_j^3(1/2) \left( s^{-i\kappa_j} R(\kappa_j) \Gamma(1/2 + i\kappa_j) + s^{i\kappa_j} R(-\kappa_j) \Gamma(1/2 - i\kappa_j) \right)$ である。ここで $R(y)$ はガンマ関数の比である。
• 積分路からの誤差項は $|s|^{-1/2} \exp\left( -C_2 \frac{\log(|s|^{-1} + 20)}{(\log \log(|s|^{-1} + 20))^{2/3} (\log \log \log(|s|^{-1} + 20))^{1/3}} \right)$ で有界であり、$|s|^{-1/2}$ の任意のべきよりも速く減衰する。
• スペクトル級数は領域 $|\arg s| \leq \phi < \pi/2$ で絶対的かつ一様に収束し、全体として $s$ に関してメロモーレックである。期待される特異性を持つ。
• この結果は、マース形式のスペクトル理論が、$\zeta(1/2 + it)$ の第四モーメントの複素ラプラス変換を完全かつ正確に記述できることを確認している。