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

第 2/5 步：圆法:把计数化为积分

通俗地说

用冯·芒戈尔特函数 $\Lambda$ 对素数加权后,把 $n=p_1+p_2+p_3$ 的表示方法数恰好等于单位圆上 $S(\alpha)^3 e(-n\alpha)$ 的积分,其中 $S(\alpha)=\sum_p\Lambda(p)e(\alpha p)$ 是一个“侦测素数”的指数和。这把加法数论转化为调和分析:证明 $R(n)>0$ 归结为理解 $\alpha$ 在 $[0,1)$ 上变化时 $S(\alpha)$ 的行为,这自然地分为 $S(\alpha)$ 较大且有结构的区域(靠近分母较小的有理数——“主弧”)与应当较小且基本随机的区域(“次弧”)。

R(n) = \sum_{p_1+p_2+p_3=n} \Lambda(p_1)\Lambda(p_2)\Lambda(p_3) = \int_0^1 S(\alpha)^3 e(-n\alpha)\,d\alpha,\qquad S(\alpha)=\sum_{p\le n}\Lambda(p)e(\alpha p)

详细分析

单位区间被分解为主弧 $\mathfrak{M}$ (分母 $q$ 不超过某阈值的有理数 $a/q$ 的小邻域)与次弧 $\mathfrak{m}$ (其余部分)。将 $R(n)=\int_{\mathfrak{M}} + \int_{\mathfrak{m}}$ 分开后,策略是证明主弧积分给出显式主项 $\mathfrak{S}(n)\cdot n^2/2$ (一个正常数 $\mathfrak{S}(n)$ ,即“奇异级数”,乘以预期量级),而次弧积分是可证明更小的误差项——这正是接下来两步要分别解决的两个问题。