[论文解读] Jacob's ladders and the multiplicative asymptotic formula for short and microscopic parts of the Hardy-Littlewood integral

Jan Moser|ArXiv.org|Jul 2, 2009

Analytic Number Theory Research参考文献 4被引用 17

一句话总结

本文提出了一种关于 Hardy-Littlewood 积分中短区间与微观部分的新型乘法渐近公式，涉及 Hardy Z-函数的平方 $ Z^2(t) $，该公式基于与黎曼 zeta 函数零点相关的 Jacob's ladders——一种几何构造。关键结果表明，当 $ U \leq T / \ln T $ 时，有 $ \int_T^{T+U} Z^2(t) \,dt = U\ln T \cdot \tan[\alpha(T,U)] \left\{1 + \mathcal{O}\left(\frac{\ln\ln T}{\ln T}\right)\right\} $，该结果提供了一类此前无法通过 Balasubramanian、Heath-Brown 和 Ivić 方法获得的渐近公式。

ABSTRACT

The elementary geometric properties of Jacob's ladders lead to a class of new asymptotic formulae for short and microscopic parts of the Hardy-Littlewood integral. This class of asymptotic formulae cannot be obtained by methods of Balasubramanian, Heath-Brown and Ivic.

研究动机与目标

• 推导 Hardy-Littlewood 积分 $ \int_T^{T+U} Z^2(t)\,dt $ 在短区间与微观区间内的新型渐近公式，这些公式无法通过经典方法获得。
• 基于 Jacob's ladders 的几何性质，建立 $ Z^2(t) $ 的乘法渐近结构，将解析数论与几何构造联系起来。
• 证明当 $ U \to 0 $ 时，$ Z^2(t) $ 在区间 $ [T, T+U] $ 上的渐近行为可通过包含 $ \ln T $ 和角度 $ \alpha(T,U) $ 的乘法修正因子捕捉。
• 通过将 $ Z^2(t) $ 的积分与 Jacob's ladder 函数 $ \varphi(T) $ 的导数关联，为分析 zeta 函数零点分布提供新框架。

提出的方法

• 该方法依赖于恒等式 $ Z^2(t) = \Phi'_{\varphi}[\varphi(T)] \cdot \frac{d\varphi(T)}{dT} $，其中 $ \Phi'_{\varphi} $ 是涉及 $ Z^2(t) $ 和指数权重的变换积分。
• 证明使用了 Jacob's ladder 的定义 $ y = \frac{1}{2}\varphi(T) $，其中 $ \varphi(T) \sim 2T $，以及基本弦性质 $ \tan[\alpha(T,U_0)] = 1 + \mathcal{O}(1/\ln T) $。
• 关键步骤包括对二阶导数 $ \Phi''_{y^2}[\varphi] $ 的估计，证明其为 $ \mathcal{O}\left(\frac{1}{\varphi}\ln\varphi\ln\ln\varphi\right) $，从而控制误差项。
• 通过将加法公式 (1.1) 与新的乘法结构进行比较，利用均值定理并传播 $ \Phi'_{\varphi} $ 中的误差，推导出渐近公式。
• 该方法引入了一类新的区间 $ [N,M] \subset [T, T+U_0] $，其上 $ Z^2(t) $ 的平均值渐近为 $ \ln T $，其几何特征为“几乎平行弦”性质 $ \tan[\alpha(N,M-N)] = 1 + o(1) $。
• 该框架被推广至从单个非平凡零点 $ \gamma $ 开始的区间 $ \zeta(1/2 + it) $，得到 $ \int_{\gamma}^{\gamma+U} Z^2(t)\,dt \sim U\ln\gamma \cdot \tan\alpha $，其中 $ \tan\alpha \in [\eta, 1-\eta] $。

实验结果

研究问题

• RQ1 当 $ U \to 0 $ 时，是否可以为 Hardy-Littlewood 积分 $ \int_T^{T+U} Z^2(t)\,dt $ 的短区间与微观部分导出乘法渐近公式？
• RQ2 Jacob's ladders 的几何结构——特别是弦的夹角——是否决定了 $ Z^2(t) $ 在小区间上的渐近行为？
• RQ3 是否可以将 $ \int_T^{T+U} Z^2(t)\,dt $ 的渐近公式表达为包含 $ \ln T $ 和 $ \tan[\alpha(T,U)] $ 的乘法形式，且独立于 Balasubramanian、Heath-Brown 和 Ivić 的加法方法？
• RQ4 是否存在一个连续的区间族 $ [N,M] $，满足 $ M-N < 1 $，使得 $ \int_N^M Z^2(t)\,dt \sim (M-N)\ln T $？
• RQ5 该乘法渐近公式中的误差项大小如何？是否能在所有满足 $ U \leq T / \ln T $ 的情况下一致有界？

主要发现

• 主要结果为乘法渐近公式：$ \int_T^{T+U} Z^2(t)\,dt = U\ln T \cdot \tan[\alpha(T,U)] \left\{1 + \mathcal{O}\left(\frac{1}{\ln T}\right)\right\} $，其中 $ U \in \left(0, \frac{T}{\ln T}\right] $。
• 该公式表明 $ Z^2(T) = \frac{1}{2}\ln T \cdot \frac{d\varphi(T)}{dT} \left\{1 + \mathcal{O}\left(\frac{\ln\ln T}{\ln T}\right)\right\} $，为 $ Z^2(T) $ 提供了点态渐近表达。
• 存在一个连续的区间族 $ [N,M] \subset [T, T+U_0] $，使得 $ \int_N^M Z^2(t)\,dt = (M-N)\ln T \left\{1 + \mathcal{O}\left(\frac{\ln\ln T}{\ln T}\right)\right\} $，包括满足 $ M-N < 1 $ 的区间。
• 对于每个足够大的 $ \zeta(1/2 + it) $ 的非平凡零点 $ \gamma $，存在一个连续的区间族 $ [\gamma, \gamma + U] $，使得 $ \int_\gamma^{\gamma+U} Z^2(t)\,dt = U\ln\gamma \cdot \tan\alpha \left\{1 + \mathcal{O}\left(\frac{1}{\ln \gamma}\right)\right\} $，其中 $ \tan\alpha \in [\eta, 1-\eta] $。
• $ \Phi''_{y^2}[\varphi] $ 的有界性为 $ \mathcal{O}\left(\frac{1}{\varphi}\ln\varphi\ln\ln\varphi\right) $，确保渐近展开中的误差项保持受控。
• 该方法得出的结果无法通过 Balasubramanian、Heath-Brown 和 Ivić 的复分析技术获得，尤其适用于 $ U \to 0 $ 的微观区间。