[论文解读] On the roots of the equation $Z'(t)=0$

Jan Moser|arXiv (Cornell University)|Mar 5, 2013

Analytic Number Theory Research参考文献 6被引用 3

一句话总结

本文证明，在Lindel"of假设下，$ Z'(t) $ 的连续奇数阶零点间距将显著缩小，表明这些零点（对应于临界线上Riemann zeta函数的局部极大值或极小值）在形如 $ (T, T + T^{ au} \psi(T)) $ 的区间内稠密分布，其中 $ \psi(T) $ 为任意缓慢发散函数。该结果通过在Lindel"of假设下利用三角和估计，改进了先前零点间距估计中的指数界。

ABSTRACT

We have proved in this paper that the Lindel\" of hypothesis generates essential contraction of distances between consecutive odd-order zeros of the function $Z'(t)$. This paper is the translation of the paper \cite{11} into the English except part 8 that we added in order to point out the I. M. Vinogradov' scepticism on possibilities of the method of trigonometric sums.

研究动机与目标

• 在Lindel"of假设下，研究 $ Z'(t) $ 的奇数阶零点分布，这些零点对应于 $ \zeta(1/2 + it) $ 在临界线上的局部极值。
• 改进现有关于 $ Z'(t) $ 连续零点间距的指数界，特别是优化经典的Hardy-Littlewood指数。
• 在I.M. Vinogradov对三角和方法局限性的怀疑背景下，评估该方法在估计Hardy-Littlewood积分 $ \int_0^T |\zeta(1/2 + it)| dt $ 时的适用性。
• 提供Hardy-Littlewood积分的新渐近表示，其误差项可忽略不计，且不依赖于三角和估计。

提出的方法

• 利用函数方程和围道积分表示，推导出 $ Z'(t) $ 的显式渐近展开，得到公式1：$ Z'(t) = -2\sum_{n \leq \sqrt{t/2\pi}} \frac{1}{\sqrt{n}} (\vartheta'(t) - \ln n) \sin(\vartheta(t) - t\ln n) + \mathcal{O}(t^{-1/4}\ln t) $。
• 通过在 $ P_0 = \sqrt{T/(2\pi)} $ 处截断，将导数表达式转化为加权光滑和，得到含对数权重 $ \ln(P_0/n) $ 的公式2，从而改善收敛性。
• 引入序列 $ \tilde{t}_\nu $，定义为 $ \vartheta(\tilde{t}_\nu) = \pi\nu + \pi/2 $，其相位与正弦项对齐，从而可在结构化区间上进行求和。
• 应用假设 $ |S(a,b)| < A(\Delta)\sqrt{a} t^{\Delta} $（其中 $ 0 < \Delta < 1/6 $）来控制 $ Z'(t) $ 在区间 $ (T, T+H) $ 上的部分和，导出估计式 (2.4) 和 (2.5)。
• 采用交错和技巧将 $ \tilde{t}_\nu $ 按奇偶索引分离，推导出引理3，表明 $ Z'(\tilde{t}_\nu) $ 存在符号反转的不平衡，从而暗示其符号变化，即 $ Z'(t)=0 $ 的根存在。
• 将经典三角和方法与新的Hardy-Littlewood积分渐近表示（A.6）进行对比，显示其误差项 $ \mathcal{O}(\ln T / T) $ 极小且不依赖于和估计，从而确认Vinogradov怀疑的合理性。

实验结果

研究问题

• RQ1 Lindel"of假设是否意味着 $ Z'(t) $ 的奇数阶零点（即 $ \zeta(1/2 + it) $ 的局部极值）的分布密度高于以往已知结果？
• RQ2 在包含此类零点的区间长度 $ T^{\Delta} \psi(T) $ 中，指数 $ \Delta $ 是否可从先前的 $ 35/216 + \epsilon $ 进一步改进？若可，改进幅度如何？
• RQ3 当应用于估计Hardy-Littlewood积分 $ \int_0^T |\zeta(1/2 + it)| dt $ 时，I.M. Vinogradov对三角和方法局限性的怀疑在多大程度上成立？
• RQ4 能否构造出一个误差项可忽略不计、且不依赖于三角和估计的Hardy-Littlewood积分表示？

主要发现

• 在Lindel"of假设下，对于任意缓慢发散函数 $ \psi(T) $（例如 $ \ln\ln\cdots\ln T $），区间 $ (T, T + T^{\epsilon} \psi(T)) $ 内至少包含一个 $ Z'(t) $ 的奇数阶零点，意味着 $ Z(t) $ 的振荡是稠密的。
• 先前工作中得到的指数界 $ \Delta = 35/216 + \epsilon $ 在Lindel"of假设下被改进为 $ \epsilon $，指数界的改进幅度达到100%。
• 对于任意固定的 $ \tau > 0 $，$ Z'(t) $ 在 $ (T, T + T^{\tau}) $ 内的奇数阶零点数量至少为 $ A(\tau,\epsilon) T^{\tau - \epsilon} $，表明当 $ T \to \infty $ 时振荡无界。
• 经典三角和方法导致的误差项 $ Q(T) = \mathcal{O}(T^{1/4 + \epsilon}) $ 为无界且不可消除，证实了I.M. Vinogradov对其长期估计潜力的怀疑。
• 通过新渐近公式（A.6）得到Hardy-Littlewood积分的表达式，其误差项为 $ \mathcal{O}(\ln T / T) $，该误差项极小且不依赖于和估计，从而确认了Vinogradov怀疑在此情境下的正确性。
• 三角和方法的改进已趋于边际效益：指数界的提升（如从 $ 1/4 \to 1/6 \to 1/6 - \epsilon $）越来越微小，表明其有效性存在根本性极限。