第249章 “至此，证明完成。”（2/2）
台下有人轻轻“啊”了一声。
肖宿继续说道：“因为筛法使用的是莫比乌斯卷积的语言，而圆法使用的是指数和积分的语言。
它们之间没有自然的翻译器。”
“那么，有没有可能，为这两套语言造一个翻译器？”
台下，德利涅瞬间坐直了身体。
舒尔茨的眉心轻轻一跳。
他们知道，重点来了。
肖宿拿起粉笔，在小黑板中央写下了一段简短的定义。
“在研究孪生素数猜想的过程中，我发现了一个有趣的现象。
那就是当我把顾辛流型中关于弗洛尔同调的不变量计算，以某种特定的方式展开时，展开项的结构，和圆法中某个积分核在鞍点附近的渐近展开，形式上一模一样。”
他又在黑板上写下了两行式子。
左边是弗洛尔同调的展开项：∑_{k}C_k·(logN)^{-k}。
右边是圆法积分核在鞍点附近的渐近展开：∑_{k}D_k·(logN)^{-k}。
“这不是巧合。
这说明筛法和圆法之间，存在某种更深层的对应关系。”
“既然展开的形式一样，那展开之前的结构，是不是也一样？
如果把筛法的求和项，通过某种变换映射到圆法的工作空间里，这个映射能不能是一个对偶变换？”
他在黑板上写下一行字：对偶变换T。
“具体来说就是，如果我定义一个变换T，它把筛法中的莫比乌斯卷积转化为复平面上的围道积分，那么C_k和D_k之间满足D_k=T(C_k)。”
“这个变换T，就是我称之为傅里叶-米库辛变换的东西。
它把筛法在整数域上的运算，映射为圆法在复平面单位圆上的运算。
反过来，它的逆变换T^{-1}，把圆法的指数和积分，映射回了筛法的筛函数中。”
他的粉笔在黑板上飞快移动，写下变换的定义。
“T的具体定义应该是：对于筛函数F(s)，其傅里叶-米库辛变换?(z)=∑_{n}F(n)·n^{-z}，这是一个在复平面上定义的狄利克雷级数。
这个级数在Re(z)＞1时收敛，并且可以亚纯延拓到整个复平面。
它的极点分布恰好对应素数分布的关键信息。”
台下，陶哲轩从笔记本上抬起头来，眼睛灼灼的盯着台上的少年。
德利涅低声对舒尔茨说了一句什么，舒尔茨点了点头，目光始终没有离开黑板。
“有了这个变换，筛法和圆法就不再是两套互不兼容的语言了。
在变换T的作用下，筛法的误差项被重新分配到了圆法的积分路径上。
而圆法的积分路径，是可以自由选择的。”
“这就是分层筛法和鞍点圆法的核心。”
他在黑板上画了一条蜿蜒的曲线。
“分层筛法，把素数按照对数尺度分成多层。
每一层只处理特定尺度的信息。
具体来说，对于不超过N的素数，我按(logn)的大小区间把它分成J层，第j层的素数满足2^{j}≤log＜2^{j+1}。
在每一层内部，筛函数的误差可以独立控制，不同层之间的误差不会交叉污染。”
“然后，每一层的筛分结果通过傅里叶-米库辛变换映射到复平面上，变成一个围道积分。
这个围道积分的路径不是固定的，我可以选择它。
如果我把积分路径选在最速下降曲线上，也就是鞍点附近梯度最陡的方向，那么积分的主项就由鞍点处的贡献决定，余项随着参数N的增大会以指数速度衰减。”
他在黑板上写下鞍点积分的估计式。
“鞍点由方程d
dz(log?(z)-z·logN)=0确定。
在最速下降路径上，积分的主项贡献是(2π
|?″(z?)|)^{1
2}·?(z?)·N^{z?}·(1+O(1
logN))，而余项被控制在O(N^{Re(z?)}·ex(-c·(logN)^{1
2}))的量级，这个量级远远小于主项。”
“现在，筛法的精度和圆法的灵活性，通过傅里叶-米库辛变换连接在了一起。
筛法提供分层精度，圆法提供全局估计，对偶变换弥合了两者的语言隔阂。
最终，哥德巴赫问题的表法个数R(n)可以表示为一个主项加上一个可控的余项。”
他在黑板上写下最终的表达式。
R(n)=(n)·n
(logn)^2+O(n
(logn)^3)，其中(n)是奇异级数，定义为∏_{|n}(1-1
(-1)^2)·∏_{?n}(1+1
(-1)^2)，对所有素数取乘积。
这个奇异级数可以具体计算，并且对偶数n，它严格大于一个绝对正常数。
写完，他手里的粉笔也快要用完了。
“把表法个数R(n)的下界估计出来之后，问题最后归结为：证明一个几何不变量不等于零。
这个几何不变量，来源于弗洛尔同调群里的某个拓扑指标。
确切地说，我在顾辛流型上构造了一个与素数分布对应的拉格朗日子流形，计算它的弗洛尔同调群，发现它的秩恰好等于奇异级数(n)在一个特定极限下的取值。”
“而弗洛尔同调群的这个拓扑指标，我已经在去年关于孪生素数猜想的论文里证明过了，它不可能为零。”
他转过身，用仅存的一点粉笔在黑板上写下了最后一行。
“综上，对任意大于2的偶数n，R(n)≥
(logn)^2＞0，其中C是可具体计算的正常数。
哥德巴赫猜想成立。”
笔落，最后一点粉笔也用尽了，他拍了拍手，转过身来，直面台下的上万人。
聚光灯落在他清瘦的身影上，把他的影子投在了写满公式的黑板上。
“至此，证明完成。”