[论文解读] Large gaps between consecutive zeros, on the critical line, of the Riemann zeta-function

Johan Bredberg|arXiv (Cornell University)|Jan 17, 2011

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

一句话总结

该论文为临界线上黎曼ζ函数非平凡零点之间最大间距建立了下界，证明了当 $ T $ 足够大时，$[T, 2T]$ 中存在长度至少为 $ 2.766 imes rac{2/pi}{ ext{log} hinspace T} $ 的子区间，其间不包含零点。证明方法结合了截断多项式法（mollifier technique）与基于 Wirtinger 不等式构造的矛盾论证，针对一个精心设计的函数 $ P(t,u,v, heta) $，假设其所有间距均不超过 $ \kappa / \text{log} hinspace T $，最终导致矛盾，除非存在较大的零点自由区间。

ABSTRACT

We show that for any sufficiently large $T,$ there exists a subinterval of $[T,2T]$ of length at least $2.766 imes \frac{2π}{\log{T}},$ in which the function $t \mapsto ζ(1/2 + it)$ has no zeros.

研究动机与目标

• 为临界线上黎曼ζ函数非平凡零点之间最大间距建立定量下界。
• 在无条件结果方面改进此前关于归一化零点间距上极限的结论，特别是超越 Selberg 于 1946 年的结果。
• 在假设辅助函数 $ P(t,u,v,\kappa) $ 的所有零点密集分布的前提下，证明大段零点自由区间必然存在。
• 基于 Wirtinger 不等式与 $ P $ 及其导数的 $ L^2 $-范数渐近分析，采用反证法推导主要结果。

提出的方法

• 定义辅助函数 $ P(t,u,v,\kappa) = \exp(vi\theta(t)) M(\frac{1}{2}+it) \zeta(\frac{1}{2}+it) \zeta(\frac{1}{2}+it+\frac{i\kappa}{\log T}) $，其中 $ M(s) $ 为截断的狄利克雷多项式，$ \theta(t) $ 为黎曼-西格尔θ函数。
• 假设 $ P(t,u,v,\kappa) $ 在 $[T, 2T - \frac{\kappa}{\log T}]$ 内所有零点间距不超过 $ \frac{\kappa}{\log T} $，若不存在大段零点自由区间则导致矛盾。
• 对零点区间上的 $ P $ 的 $ L^2 $-范数应用 Wirtinger 不等式，得到不等式 $ \int |P|^2 \leq \left(\frac{\kappa}{\pi \log T}\right)^2 \int |P'|^2 $。
• 引入权函数 $ w_-(t) $ 与 $ w_+(t) $ 以局部化积分并控制端点附近的行为，导出关键不等式 (11)。
• 利用 $ M(s) $、$ \zeta(s) $ 及其导数的乘积的 $ L^2 $-范数渐近展开，引入函数 $ f $ 与 $ g $ 以建模主项。
• 使用柯西积分公式对主渐近公式关于平移参数 $ \alpha, \beta, \gamma, \delta $ 求导，以控制积分中ζ函数导数的表达。

实验结果

研究问题

• RQ1 临界线上黎曼ζ函数非平凡零点之间最大间距的最优无条件下的下界是什么？
• RQ2 若假设某一特定辅助函数 $ P(t,u,v,\kappa) $ 的所有零点均密集分布，是否可导致矛盾，从而推断出大段零点自由区间的存在？
• RQ3 最大间距与平均间距 $ \frac{2\pi}{\log T} $ 相比如何？该关系能否无条件地量化？
• RQ4 截断多项式法与 $ L^2 $-范数估计在多大程度上可与 Wirtinger 等不等式结合，以推导出零点自由区域？

主要发现

• 该论文证明了对任意足够大的 $ T $，在 $[T, 2T]$ 中存在长度至少为 $ 2.766 \times \frac{2\pi}{\log T} $ 的子区间，其间不包含 $ \zeta(\frac{1}{2} + it) $ 的非平凡零点。
• 该结果意味着在黎曼猜想成立的假设下，临界线上连续零点归一化间距的上极限 $ \lambda \geq 2.766 $。
• 反证法的核心在于假设 $ P(t,u,v,\kappa) $ 的所有零点间距均不超过 $ \kappa / \log T $，当比较 $ P $ 与 $ P' $ 的 $ L^2 $-范数时，这将导致不一致。
• 对 $ P $ 及其导数的 $ L^2 $-范数的渐近分析依赖于涉及函数 $ f $ 与 $ g $ 的精确展开，这些函数用于建模截断狄利克雷多项式及其对数导数的算术平均。
• 该方法利用柯西积分公式对主渐近公式求导，从而控制积分中ζ函数导数的表达。
• 最终的矛盾源于比较 $ P $ 的 $ L^2 $-范数与导数的大小，表明若间距过小，则前者无法被后者所控制。