弥合缺口:无条件证明三元哥德巴赫猜想(赫尔夫戈特,2013年)

第 3/5 步：主弧:显式的

L

函数零点,由计算机验证

上一步下一步

通俗地说

在有理数 $a/q$ 附近, $S(\alpha)$ 由素数在模 $q$ 等差数列中的分布支配,这在经典上与狄利克雷 $L$ 函数 $L(s,\chi)$ 的零点相关:直线 $\mathrm{Re}(s)=1$ 附近零点越少,素数分布越均匀,主弧估计就越精确。赫尔夫戈特没有依赖经典的无零点区域(它给出正确的定性行为,但隐藏了巨大而不切实际的常数),而是利用经过严格计算机验证的 $L$ 函数零点表(戴维·普拉特的工作),得到完全显式、无条件的界——无需假设广义黎曼猜想,尽管若假设GRH论证会更短。

S(\alpha) \approx \frac{\mu(q)}{\phi(q)}\sum_{\chi \bmod q} \bar\chi(a)\, \psi(x,\chi), \qquad \text{controlled via explicit zero-free regions for } L(s,\chi)

详细分析

主弧上的第二项技术创新是赫尔夫戈特用高斯平滑权重 $\eta(t)=e^{-t^2/2}$ 取代经典处理中使用的尖锐截断;高斯加权指数和的梅林变换引入了抛物柱函数,由于文献中并无现成结果,赫尔夫戈特不得不用鞍点法推导出全新的完全显式界。将显式的 $L$ 函数零点数据与这些平滑估计相结合,得到与预期奇异级数 $\mathfrak{S}(n)\cdot n^2/2$ 相符的主弧贡献,其误差足够小,只要 $n\ge 10^{27}$ ,一旦次弧得到控制就会被主项压倒。