[论文解读] Jacob's ladders and the quantization of the Hardy-Littlewood integral

Jan Moser|ArXiv.org|Sep 22, 2009

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

一句话总结

本文提出了一种利用雅各布阶梯（Jacob's ladders）对哈代-利特尔伍德积分进行新型量化的方法，该阶梯是非线性积分方程的解，使得积分体积可被精确划分为相等部分，例如普朗克量子 $ h = 6.6 \times 10^{-27} $ erg·sec。关键结果是给出了连续点 $ T_\nu $ 之间间距的渐近精确公式，确保每段对积分的贡献恰好为 $ \omega $，且误差项以 $ \mathcal{O}(\ln T / T) $ 的速率衰减。

ABSTRACT

We use Jacob's ladders to solve the fine problem how to divide of the Hardy-Littlewood integral to equal parts, for example of magnitude $h=6.6 imes 10^{-27}$ (the numerical value of elementary Planck quantum). The result of the paper cannot be obtained in known theories of Balasubramanian, Heath-Brown and Ivic.

研究动机与目标

• 解决长期以来将哈代-利特尔伍德积分划分为等体积部分的问题，特别是针对与基本普朗克量子相匹配的值。
• 开发一种方法，获得积分的近乎精确的渐近公式，改进巴拉萨布拉马尼安、希思-布朗和伊维奇已知的误差界。
• 建立一个序列 $ \{T_\nu(\omega)\} $，使得每个区间 $ [T_\nu, T_{\nu+1}] $ 对积分 $ \int Z^2(t) dt $ 的贡献恰好为 $ \omega $。
• 通过引入一个平移参数 $ \tau $，推广该量化方法，形成保持等体积性质的序列族。

提出的方法

• 利用雅各布阶梯 $ \varphi(T) $，其定义为编码蒂奇莫思-科伯-阿特金森公式的非线性积分方程的解。
• 应用渐近公式 $ \int_0^T Z^2(t) dt = F[\varphi(T)] + \mathcal{O}(\ln T / T) $，其中 $ F(y) = \frac{y}{2}\ln\frac{y}{2} + (c - \ln 2\pi)\frac{y}{2} + c_0 $。
• 通过求解 $ F[\varphi(T_\nu)] + \mathcal{O}(\ln T_\nu / T_\nu) = \omega\nu $ 构造序列 $ \{T_\nu(\omega)\} $，确保 $ \int_{T\nu}^{T_{\nu+1}} Z^2(t) dt = \omega $。
• 推导间距公式 $ T_{\nu+1} - T_\nu = \frac{\omega + \mathcal{O}(\ln T_\nu / T_\nu)}{(\ln \frac{\varphi(T_\nu)}{2} - a) \tan[\alpha(T_\nu, T_{\nu+1})]} $，其中 $ \alpha $ 是 $ y = \frac{1}{2}\varphi(T) $ 上的弦角。
• 引入平移族 $ \{T_\nu(\omega, \tau)\} $，以生成多个保持等积分条件的量化序列。
• 采用泰勒展开和中值定理估计控制误差项，实现 $ \mathcal{O}(\ln T / T) $ 的衰减，优于先前的 $ \mathcal{O}(T^{1/3 + \epsilon}) $ 误差界。

实验结果

研究问题

• RQ1 哈代-利特尔伍德积分能否被划分为体积相等的段落，例如 $ \omega = 6.6 \times 10^{-27} $，对应于普朗克量子？
• RQ2 是否可以构造一个序列 $ \{T_\nu\} $，使得每个区间 $ [T_\nu, T_{\nu+1}] $ 对积分 $ \int Z^2(t) dt $ 的贡献恰好为 $ \omega $，且误差项趋于零？
• RQ3 与巴拉萨布拉马尼安、希思-布朗和伊维奇的已知结果相比，使用雅各布阶梯如何改善哈代-利特尔伍德积分渐近公式中的误差项？
• RQ4 该量化方法能否推广为一个单参数族序列 $ \{T_\nu(\omega, \tau)\} $，同时保持等积分性质？

主要发现

• 本文构造了序列 $ \{T_\nu(\omega)\} $，使得对任意 $ \omega \in [\delta, \Delta] $，有 $ \int_{T_\nu}^{T_{\nu+1}} Z^2(t) dt = \omega $，其中 $ \delta > 0 $，$ \Delta < \infty $。
• 连续点之间的间距满足 $ T_{\nu+1} - T_\nu = \frac{\omega + \mathcal{O}(\ln T_\nu / T_\nu)}{(\ln \frac{\varphi(T_\nu)}{2} - a) \tan[\alpha(T_\nu, T_{\nu+1})]} $，其中 $ a = \ln 2\pi - 1 - c $。
• 当 $ \omega = h / \pi = 6.6 \times 10^{-27} $ 时，实现了量化规则 $ \pi \int_{\hat{T}_\nu}^{\hat{T}_{\nu+1}} Z^2(t) dt = h $，对应于等体积旋转体的分段。
• 积分渐近公式的误差项为 $ \mathcal{O}(\ln T / T) $，当 $ T \to \infty $ 时趋于零，这与巴拉萨布拉马尼安结果中 $ \limsup |R(T)| = +\infty $ 的情况形成对比。
• 间距的算术平均值 $ \frac{1}{N_0} \sum_{k=1}^{N_0} (T_{\nu+k} - T_{\nu+k-1}) \sim \frac{\omega}{\ln T_\nu} $，表明平均间距与 $ \omega / \ln T_\nu $ 成正比，具有稳定性。
• 该方法可推广为序列族 $ \{T_\nu(\omega, \tau)\} $，保持等积分条件，并实现连续的量化分割族。