Math Labs

解法:陈景润的加权筛法与转换原理:每个充分大的偶数都是 p+P2p + P_2(1966/1973年)

第 1/4 步:目标,以及为何单纯筛法无法达到
通俗地说

哥德巴赫猜想要求 N=p+qN=p+q 且 p,qp,q 都是素数。一种自然的进攻方式是筛选数列 A={N−p:p≤N prime}\mathcal{A}=\{N-p : p\le N \text{ prime}\},找出没有小素因子的元素,希望从 N−pN-p 中分离出素数。但所有已知的筛法——塞尔伯格筛、布龙筛、一般组合筛——都受“奇偶性问题”所困:单纯筛法的下界无法区分恰有一个素因子的数与恰有三个素因子的数,因为筛法只能“看见”整除性,看不见因子个数的奇偶性。陈景润绕过这一障碍的方式不是正面硬碰奇偶性问题,而是放宽目标:证明较弱但仍非常不平凡的命题——至少存在一个素数 p≤Np\le N,使得 N−pN-p 至多有两个素因子。

N=p+q,p prime,q=q1 or q=q1q2 (P2)N = p + q,\qquad p \text{ prime},\quad q = q_1 \text{ or } q = q_1q_2 \ (P_2)
候选序列 A = {N − p:p 为素数},按剩余数是素数、半素数或更多因子合数着色。
详细分析

加法表示 N=p+qN = p + q(其中 pp 为素数,q=q1q = q_1 或 q=q1q2q = q_1 q_2 至多有两个素因子,记为 P2P_2)是哥德巴赫猜想已知最深刻的无条件逼近。经典的筛法进路着眼于 A={N−p:p≤N}\mathcal{A} = \{N-p : p \le N\}。标准组合筛法通过向 P(z)=∏p<zpP(z) = \prod_{p < z} p 的因子 d∣P(z)d \mid P(z) 赋予权重 λd\lambda_d,以筛除 zz 以下的小素数倍数。然而,塞尔伯格的奇偶性现象构成了根本障碍:仅基于莫比乌斯函数截断的筛法权重无法区分素因子个数为奇数与偶数的整数。对于具有分布水平 DD 的1维线性筛,当 s=log⁡D/log⁡zs = \log D / \log z 时,最优下界函数 f(s)f(s) 在 s≤2s \le 2 时恒等于零。若选取 z=N1/2z = N^{1/2} 以分离 N−pN-p 中的素数,在 D=N1/2D = N^{1/2} 时会导致 s=1s = 1,使筛法下界完全归零。

由于这一障碍,数学家转向研究殆素数逼近 N=p+PKN = p + P_K。阿尔弗雷德·伦伊(1947年)利用早期大筛法思想首次证明了存在某个大常数 KK 使得 N=p+PKN = p + P_K 成立。特奥多尔·埃斯特曼于1932年在GRH下证明了 N=p+P6N = p + P_6,王元则利用库恩的加权筛法在GRH下于1956年证明了 N=p+P4N = p + P_4并在1962年证明了 N=p+P3N = p + P_3。1965年博姆别里–维诺格拉多夫定理取得重大突破,无条件确立了等差数列中素数的平均分布水平 D=N1/2−εD = N^{1/2 - \varepsilon},使A. I. 维诺格拉多夫、M. B. 巴尔班与潘承洞得以将 N=p+P3N = p + P_3 推进为无条件定理。

由于线性筛无法在不破坏下界的情况下剔除具有三个素因子的候选数,达到 K=2K = 2 曾被认为受阻于奇偶性。陈景润避开了直接挑战奇偶性壁垒,而是为 Ω(N−p)≤2\Omega(N-p) \le 2 构造了一个加权检测器。陈景润没有单独依赖下界筛,而是将下界线性筛与对三个素因子例外项的精妙上界估计相结合,彻底绕过了奇偶性障碍。

本步骤中的术语
奇偶性问题(筛法理论)
由塞尔伯格指出的一个根本性障碍,它使得单靠组合筛法永远无法证明某数列包含无穷多个素数(恰有一个素因子的数),而只能处理素因子个数不确定但较少的数。