[论文解读] On the mean square of the zeta-function and the divisor problem

Aleksandar Ivić|ArXiv.org|Mar 21, 2006

Analytic Number Theory Research参考文献 10被引用 16

一句话总结

本文建立了误差项 $ E^*(t) $ 的均方值的首个渐近公式，其中 $ E^*(t) $ 定义为 $ E(t) - 2\tau \Delta^*(t/2\pi) $，$ E(t) $ 是 $ |\zeta(1/2 + it)| $ 均方值中的误差，$ \Delta^* $ 是狄利克雷除数问题误差的改进版本。关键结果为 $ \int_0^T (E^*(t))^2 dt = T^{4/3} P_3(\log T) + O_\varepsilon(T^{7/6+\varepsilon}) $，表明其量级正确，并证实 $ E^*(t) $ 的均方值显著小于 $ E(t) $ 或 $ \Delta^*(t) $。证明方法包括冯·科诺伊型求和公式、三角指数和估计，以及通过一阶导数检验和驻相位近似对振荡积分进行渐近分析。

ABSTRACT

Let $Δ(x)$ denote the error term in the Dirichlet divisor problem, and $E(T)$ the error term in the asymptotic formula for the mean square of $|ζ(1/2+it)|$. If $E^*(t) = E(t) - 2πΔ^*(t/2π)$ with $Δ^*(x) = -Δ(x) + 2Δ(2x) - {1\over2}Δ(4x)$, then we obtain the asymptotic formula $$ \int_0^T (E^*(t))^2 { m d} t = T^{4/3}P_3(\log T) + O_ε(T^{7/6+ε}), $$ where $P_3$ is a polynomial of degree three in $\log T$ with positive leading coefficient. The exponent 7/6 in the error term is the limit of the method.

研究动机与目标

• 确定误差项 $ E^*(t) $ 均方值的精确量级，该误差项衡量 zeta 函数均方值与除数问题误差之间的偏差。
• 通过建立精确的渐近公式，解决关于 $ E^*(t) $ 的均方值显著小于 $ E(t) $ 或 $ \Delta^*(t) $ 的猜想。
• 证明此前已知的 $ \int_0^T (E^*(t))^2 dt $ 的 $ O(T^{4/3}\log^3 T) $ 上界具有正确的量级。
• 通过显示主项为 $ \log T $ 的三次多项式且首项系数为正，明确揭示渐近结构。

提出的方法

• 使用修正的除数函数 $ \Delta^*(x) $，定义为 $ -\Delta(x) + 2\Delta(2x) - \frac{1}{2}\Delta(4x) $，以构造 zeta 函数误差项 $ E(t) $ 的更优类比。
• 应用阿特金森的显式公式和冯·科诺伊型求和公式，将 $ E^*(t) $ 表示为算术函数 $ d(n)^2 $ 的和，其权重为振荡的三角函数项。
• 通过渐近分析截断 $ \sin^2 $ 项的傅里叶-贝塞尔级数展开，利用一阶导数检验控制误差。
• 在振荡积分中进行变量替换，将积分区域变换为适合在长度与 $ z $ 成比例的区间上进行平均的形式，其中 $ z \sim (4y^2 T)^{1/3} $。
• 使用引理 3（关于 $ d^2(n)n^3 $ 的和）提取 $ T^{4/3} $ 和 $ \log T $ 的主导渐近项，其系数可用 $ a_1, a_3, a_5 $ 表示。
• 通过 $ |\sin y| \leq \min(1, |y|) $ 的界进行误差分析，并将有限积分限替换为 $ (0, \infty) $，误差项控制在 $ O_\varepsilon(T^{7/6+\varepsilon}) $ 内。

实验结果

研究问题

• RQ1 此前已知的 $ \int_0^T (E^*(t))^2 dt $ 的 $ O(T^{4/3}\log^3 T) $ 上界是否为最优？能否进一步改进为渐近公式？
• RQ2 是否 $ E^*(t) $ 的均方值表现出 $ \log T $ 的多项式结构？若是，该多项式的次数和首项系数为何？
• RQ3 渐近公式中的误差项是否可被下界控制为 $ O(T^{7/6+\varepsilon}) $，表明当前方法的极限？
• RQ4 渐近公式是否证实了 $ E^*(t) $ 的均方值确实显著小于 $ E(t) $ 或 $ \Delta^*(t) $，如猜想所述？
• RQ5 精确渐近行为 $ \int_0^T (E^*(t))^2 dt $ 是什么？是否揭示了 zeta 函数均方值与除数问题之间的深层联系？

主要发现

• 建立了渐近公式 $ \int_0^T (E^*(t))^2 dt = T^{4/3} P_3(\log T) + O_\varepsilon(T^{7/6+\varepsilon}) $，其中 $ P_3 $ 是 $ \log T $ 的三次多项式，且首项系数为正。
• 主项量级为 $ T^{4/3} $，证实此前已知的 $ O(T^{4/3}\log^3 T) $ 上界具有正确的量级。
• 误差项 $ O_\varepsilon(T^{7/6+\varepsilon}) $ 被证明是当前方法的极限，因为若要将误差改进至 $ O(T^{7/6}\log^C T) $，需更强的中间引理估计。
• 均方值的渐近结构明确关联于算术函数 $ d^2(n)n^{-3/2} $，主导系数涉及 $ \sum d^2(n)n^{-3/2} = \zeta^4(3/2)/\zeta(2) $。
• 结果表明 $ E(t) = 2\pi \Delta^*(t/2\pi) + \Omega(T^{1/6}\log^{3/2}T) $，说明 $ E(t) $ 与 $ \Delta^*(t/2\pi) $ 的量级不能过近。
• 该公式证实了 $ E^*(t) $ 的均方值显著小于 $ E(t) $ 或 $ \Delta^*(t) $，支持猜想 $ E^*(t) \ll_\varepsilon t^{1/4+\varepsilon} $。