[论文解读] Jacob's ladders and the asymptotically approximate solutions of a nonlinear diophantine equation

Jan Moser|arXiv (Cornell University)|Jan 18, 2010

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

一句话总结

本文提出了一种新颖的几何方法，利用雅各布阶梯（Jacob's ladders）——即非线性积分方程的解——来推导与哈代-李特尔伍德公式 $ olimits\zeta^2(1/2+it)$ 相关的非线性丢番图方程的渐近近似解（AAS）。通过利用 $Z^2(t)$ 在短区间的积分结构，作者证明了当 $ olimits\tau = 1$ 和 $ olimits\tau \in [\eta, 1-\eta]$ 时，存在不可数的连续解族，其突破了巴拉萨布拉马尼安、希思-布朗和伊维奇先前方法的局限性。

ABSTRACT

The nonlinear equation which is connected with the main term of the Hardy-Littlewood formula for $ζ^2(1/2+it)$ is studied. In this direction I obtain the fine results which cannot be reached by published methods of Balasubramanian, Heath-Brown and Ivic in the field of the Hardy-Littlewood integral.

研究动机与目标

• 解决现有方法（特别是巴拉萨布拉马尼安、希思-布朗和伊维奇的方法）在分析哈代-李特尔伍德积分 $\int Z^2(t) dt$ 的短区间和微观区间时的局限性。
• 基于雅各布阶梯的几何性质，建立一个新的理论框架，以分析 $Z^2(t)$ 在短区间上的渐近行为。
• 证明由哈代-李特尔伍德公式主项导出的非线性丢番图方程存在不可数的渐近近似解（AAS）连续解族。
• 证明新渐近公式中 $\int_T^{T+U} Z^2(t) dt$ 的误差项在 $T \to \infty$ 时趋于零，这与巴拉萨布拉马尼安公式中无界的误差形成对比。
• 表明新方法可获得经典解析数论技术无法触及的结果，尤其适用于大小为 $U \leq T^{1/6 - \epsilon/2}$ 的区间。

提出的方法

• 该方法以蒂奇莫什-科伯-阿特金森（Titchmarsh-Kober-Atkinson, TKA）公式为基础，将其结构编码为一个涉及雅各布阶梯 $\varphi(T)$ 的非线性积分方程（4.7），其中 $\varphi(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\}$ 的乘法渐近公式（4.10），该公式在 $U \in \left(0, \frac{T}{\ln T}\right]$ 范围内成立。
• 使用加法公式（4.9）将积分表示为 $U \ln(\varphi(T)/2 \cdot e^{-a}) \tan[\alpha(T,U)] + \mathcal{O}(T^{-1/3 + 4\epsilon})$，将 $Z^2(t)$ 的行为与旋转弦构造中的角度 $\alpha(T,U)$ 联系起来。
• 渐近近似解（AAS）被定义为满足 $\bar{\tau} \sim S(\tilde{T}, \tilde{U}) / \ln \tilde{T}$ 的一对 $(\tilde{T}, \tilde{U})$，其中 $\tilde{T} \in [T_0, T_0 + 1.1U_0]$，$\tilde{U} \in (0, T_0^{1/6 - \epsilon/2}]$，且 $T_0$ 足够大。
• 该理论依赖于对每个 $T_0$（当 $ olimits\tau = 1$ 时）或每个 $\zeta(1/2 + it)$ 的零点 $\gamma$（当 $ olimits\tau \in [\eta, 1 - \eta]$ 时）存在此类 AAS 的连续解族，这些解族源自旋转弦的双重渐近公式（3.4）。
• 关键技术步骤在于证明 $\frac{1}{U} \int_T^{T+U} Z^2(t) dt = S(T,U) + \mathcal{O}(T^{-1/6})$，通过引理 2 和 $\vartheta(t)$ 的渐近展开，将和 $S(T,U)$ 与 $Z^2(t)$ 的积分联系起来。

实验结果

研究问题

• RQ1 能否在 $T \to \infty$ 时，使 $\int_T^{T+U} Z^2(t) dt$ 在短区间上的渐近行为具有趋于零的误差项，而不同于巴拉萨布拉马尼安公式中的情形？
• RQ2 非线性丢番图方程 $\tau = S(T,U)/\ln T$ 是否在 $\tau \in [\eta, 1 - \eta] \cup \{1\}$ 时存在不可数的渐近近似解（AAS）连续解族？
• RQ3 雅各布阶梯的几何结构能否用于推导出经典方法（如巴拉萨布拉马尼安、希思-布朗和伊维奇）无法触及的 $Z^2(t)$ 积分的渐近公式？
• RQ4 是否可能构建一个关于哈代-李特尔伍德积分的微观和短区间的理论，避免现有渐近展开中无界的误差项？
• RQ5 在旋转弦构造中，角度 $\alpha(T,U)$ 的作用是什么？它与丢番图方程解的渐近密度有何关联？

主要发现

• 当 $ olimits\tau = 1$ 时，方程 $1 = S(T,U)/\ln T$ 存在渐近近似解（AAS）的连续解族，对每个足够大的 $T_0$，存在不可数多个此类解。
• 对每个 $ olimits\tau \in [\eta, 1 - \eta]$，存在与每个足够大的 $\zeta(1/2 + it)$ 的零点 $\gamma$ 对应的 AAS 连续解族，建立了黎曼 zeta 函数零点与解集之间的深刻联系。
• 乘法渐近公式（4.10）成立：当 $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\}$，且误差项在 $T \to \infty$ 时趋于零。
• 新渐近公式（4.8）中 $\int_0^T Z^2(t) dt$ 的误差项为 $\mathcal{O}(\ln T / T)$，当 $T \to \infty$ 时趋于零，这与巴拉萨布拉马尼安公式中无界的 $\mathcal{O}(T^{1/3 + \epsilon})$ 误差形成鲜明对比。
• 基于雅各布阶梯的方法可获得经典方法（巴拉萨布拉马尼安、希思-布朗和伊维奇）无法实现的结果，尤其在 $U \leq T^{1/6 - \epsilon/2}$ 的区间中，这些方法的估计失效。
• 渐近公式（3.6）表明，对不可数个 $\tilde{T}, \tilde{U}$，有 $\frac{1}{\tilde{U}} \int_{\tilde{T}}^{\tilde{T}+\tilde{U}} Z^2(t) dt = \tau \ln \tilde{T} \left\{1 + \mathcal{O}\left(\frac{\ln\ln \tilde{T}}{\ln \tilde{T}}\right)\right\}$，从而证实了 $\tau \in [\eta, 1 - \eta]$ 时 AAS 的存在性。