第215章 鞍点圆法
但只是这样还不够。
筛法只能告诉我们“存在”还是“不存在”，很难给出精确的计数。
要得到g(n)的精确表达式，还需要另一种工具。
肖宿想到了傅里叶分析。
圆法的本质，是用傅里叶分析的工具把g(n)这个计数函数展开成一个积分。
这个积分沿着单位圆进行，所以叫圆法。
哈代和李特尔伍德在1920年代发明这个方法的时候，本意是想证明哥德巴赫猜想本身。
但是他们最后只得到了一个在N趋于无穷大时成立的近似表达式。
这是一个渐近公式，而不是对所有N都成立的严格等式。
问题就出在积分的余项上。
圆法积分的主项很容易算出来，就是那个著名的哈代-李特尔伍德渐近公式，形式优美得像一首诗。
但余项的控制极其困难，因为被积函数在单位圆上振荡得太厉害了。
就像一条在暴风雨中疯狂摆动的小船，你想精确测量它的平均位置，但每一次浪打过来，你的测量误差就会翻倍。
他盯着圆法的积分表达式看了很久，忽然意识到一个问题：
这个积分之所以难算，是因为它在整个实数轴上积分，那如果换一个积分路径呢？
在复变函数里，是可以通过选择不同的积分路径来避开那些振荡剧烈的区域的。
而这种方法就是著名的“最速下降法”，也叫鞍点法。
最速下降法的发明者是十九世纪的法国数学家柯西，核心思想极其巧妙：
当你在复平面上计算一个振荡得很厉害的积分时，你可以不沿着原来的路径积分，而是把积分路径“弯曲”一下，让它经过那些使被积函数变化最平缓的点，也就是所谓的“鞍点”。
沿着这条新路径，积分会变得温顺得多，因为那些剧烈的振荡被绕过去了。
这个想法在物理里用得非常普遍，量子力学里的半经典近似、统计物理里的 steepest descent 展开，本质上都是这个东西。
但在数论里，很少有人认真地把圆法积分往复平面上延拓。
不是没人想过，而是大多数人都觉得，把积分路径从单位圆延拓到复平面之后，被积函数的行为会变得更加难以控制。
单位圆好歹是一个紧致的、封闭的曲线，复平面可是无边无际的。
但肖宿觉得，正是因为复平面更大，你才有更多的操作空间。
在单位圆上，你只能沿着那一条路走，前面是振荡区你也得硬着头皮穿过去。
但在复平面上，你可以绕路。
他开始尝试。
第一步是把g(n)的圆法积分表达式从单位圆延拓到整个复平面上来。
这一步相对直接，因为傅里叶变换本身就定义在整个复平面上，单位圆只是一个特殊的积分路径。
真正难的是第二步，那就是找到合适的鞍点。
这一步难倒了所有在这条路上探索的人，肖宿也花了将近三天时间来分析被积函数的解析性质。
他发现，这个函数在复平面上确实存在一组特殊的点，在这些点上，函数的一阶导数为零，二阶导数也有良好的性质。
这些点恰好分布在某条光滑的曲线上，这条曲线从单位圆的某一点出发，缓缓弯向复平面的深处。
如果沿着这条曲线积分，被积函数的振荡会被极大地压制。
那些在单位圆上张牙舞爪的余项，在这条新路径上变得服服帖帖。
因为路径经过了鞍点，被积函数在鞍点附近的变化是最平缓的。
肖宿给这条曲线起了一个名字：鞍点弧。
接下来是计算鞍点弧上的积分。
这一步同样不容易，因为鞍点弧不是一条简单的几何曲线，它的形状依赖于被积函数本身的性质。
但肖宿发现，当N足够大的时候，鞍点弧的形状会趋近于一个相对简单的形式，可以用一组参数方程来描述。
他沿着鞍点弧计算积分的主项，发现结果和哈代-李特尔伍德公式完全一致。
这让他更加明确了方向，至少说明他的方法在渐近意义下是对的。
但真正让他感兴趣的是余项的计算。
在鞍点弧上，余项的增长速度比传统的圆法慢了整整一个数量级。
这意味着，用他的方法，可以在N相对较小的时候，就得到足够精确的估计。
而这个“相对较小”的范围，恰好可以覆盖所有需要用计算机验证的偶数。
他把这个方法命名为“鞍点圆法”。
到这里，肖宿手上有两件武器了。
一件是分层筛法，负责在整数集合上直接操作，给出g(n)的一个下界估计。
另一件是鞍点圆法，负责在复平面上做积分，给出g(n)的主项近似。
可这样还是不能完全解决问题，毕竟这两件武器是两种完全不同的语言写成的，他们还是分开的。
筛法用的是组合数学和初等数论的语言，而圆法用的是复分析和傅里叶分析的语言。
它们之间的鸿沟，就像两个说着不同方言的人试图交流，虽然偶尔能通过手势和表情猜到对方的意思，但永远无法进行真正精确的对话。
肖宿需要一个翻译。
他想到了自己最熟悉的领域：辛几何。
在辛几何里，不同空间之间的对应，可以用一种叫“傅里叶-米库辛变换”的工具来实现。
米库辛（Mikushin）是一位苏联数学家，上世纪六十年代研究过一类特殊的积分变换。
后来这个方向因为太难用、应用场景太窄，渐渐被人遗忘了。
肖宿去年在构建辛几何框架的时候，偶然在一本冷门的会议论文集里翻到了米库辛的旧论文，发现他研究的那种变换，恰好可以用来描述辛流形上不同坐标系之间的对偶关系。
他当时把这个变换做了一些推广，改进了它的收敛性质，然后把它用在了辛几何框架的构建中。
那篇论文发表之后，数学界对顾—辛流型的关注主要集中在孪生素数猜想证明用到的前半部分，而对于傅里叶-米库辛变换，关注的人并不多。
但现在，肖宿忽然意识到，这个变换，恰好可以作为筛法和圆法之间的那座桥梁。
傅里叶-米库辛变换的核心，是把一个定义在离散集合上的函数，映射到一个连续流形上的某种几何对象。
在这个映射下，离散集合上的卷积操作，会对应到流形上的某种相交运算。
而圆法积分，本质上就是一个卷积的傅里叶变换表示。
换句话说，筛法操作和圆法积分，可以通过傅里叶-米库辛变换，统一到同一个几何框架下。
在这个框架里，它们变成了同一个硬币的两面，而不是两个各自为政的独立工具。
肖宿花了两天时间，把这个对应的具体形式推导了出来。
他构造了一个辛流形，记作M_P，它的每一个点对应于一个素数的某种“状态”。
在这个流形上，哥德巴赫猜想的g(n)函数，恰好等于两个特定拉格朗日子流形的相交数。
而分层筛法给出的下界估计，对应的是这个相交数的一个截断近似。
鞍点圆法给出的主项估计，对应的是同一个相交数在另一个坐标卡下的展开。
两者之间的误差，可以通过流形上的一个几何不变量来统一控制。
肖宿把这个不变量记作。
它的定义涉及弗洛尔同调，在合适的条件下，是一个拓扑不变量，也就是说，它在流形的连续变形下保持不变。
这意味着如果你能证明大于零，那么不管你怎么扰动你的筛子、怎么调整你的积分路径，只要扰动的方式是连续的，g(n)的下界就永远大于零。
而g(n)大于零，就意味着每一个充分大的偶数，都至少有一种方式可以写成两个素数之和。
哥德巴赫猜想，就这么被转化成了一个几何不变量的非零性证明。
现在框架有了。
但框架只是骨架，还需要往里面填肉。
最难填的一块肉，是证明确实大于零。
这就需要用到分层筛法和鞍点圆法的具体估计了。
肖宿重新打开了他之前推导的那些公式，把分层筛法的下界估计和鞍点圆法的主项展开，代入到的表达式里。
然后他发现了一个问题。
两个估计之间有重叠。
分层筛法在估计下界的时候，会重复计数一部分偶数。
鞍点圆法在计算主项的时候，也会覆盖同一批偶数的一部分。
如果直接把两个结果相加，就会把这些重叠的部分算两次，导致最终的估计偏大。
反过来，如果你试图减去重叠的部分，因为两种方法一个用的是筛法的语言，一个用的是积分的语言，它们“计数单位”不一样，又很难精确界定哪些是重叠的、哪些不是。
肖宿在这个问题上卡了整整三天。
三天里，他试了不下十种方法来处理重叠的问题，可是仍然没有突破。
这让他的状态变得格外不同。
顾清尘最先察觉到了肖宿的异常。
得知肖宿正在写毕业论文时，顾清尘还问过他的题目，可惜肖宿什么也没说了。
他一向不喜欢在结果出来之前大肆宣扬。
(https://www.uuuxsvv.cc/80242/80242597/58114666.html)
1秒记住U小说：www.uuuxsvv.cc。手机版阅读网址：m.uuuxsvv.cc