[论文解读] 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$ 的精确表达式。
• 利用谱方法将已知的 $L_2(\sigma)$ 在 $\sigma \to 0^+$ 时的渐近结果推广至复平面。
• 提供 $L_2(s)$ 的非渐近精确表示，同时体现黎曼 zeta 函数四阶矩的奇异性与非欧几里得拉普拉斯算子的离散谱。
• 建立谱展开的精确误差项，证明其衰减速度超过任何 $|s|^{-1/2}$ 的幂次。

提出的方法

• 该方法采用复积分与梅林变换技术，利用梅雅斯波形式对 $\zeta(1/2 + it)$ 的四阶矩进行谱分解。
• 通过积分表示 $L_2(s) = \int_0^\infty |\zeta(1/2 + it)|^4 e^{-st} dt$ 将拉普拉斯变换与四阶矩的梅林变换联系起来，并利用谱 zeta 函数 $\mathcal{Z}_2(w)$ 对其进行解析延拓。
• 谱 zeta 函数 $\mathcal{Z}_2(w)$ 定义为 $\int_1^\infty |\zeta(1/2 + it)|^4 t^{-w} dt$，其具有亚纯延拓，且在 $w=1$ 和 $w=1/2 \pm i\kappa_j$ 处有极点，分别对应于离散谱。
• 通过留数定理应用逆梅林变换，将积分路径向左平移至避开临界带与 $\zeta(s)$ 零点的截断斯坦科维奇型路径 $\mathcal{L}$。
• 谱贡献来自 $w = 1/2 \pm i\kappa_j$ 处的留数，产生包含 $\alpha_j H_j^3(1/2)$、$\Gamma(1/2 \pm i\kappa_j)$ 以及通过 gamma 函数定义的函数 $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 谱展开中 $L_2(s)$ 的误差项的精确性质及其衰减速率是什么？
• RQ4 能否利用谱 zeta 函数 $\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)$ 为 gamma 函数的比值。
• 由路径积分产生的误差项有界于 $|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)$ 的四阶矩的复拉普拉斯变换提供完整且精确的描述。