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