舒文小说网

第210章 鞍点圆法（第2页）

他发现，这个函数在复平面上確实存在一组特殊的点，在这些点上，函数的一阶导数为零，二阶导数也有良好的性质。

这些点恰好分布在某条光滑的曲线上，这条曲线从单位圆的某一点出发，缓缓弯向复平面的深处。

如果沿著这条曲线积分，被积函数的振盪会被极大地压制。

那些在单位圆上张牙舞爪的余项，在这条新路径上变得服服帖帖。

因为路径经过了鞍点，被积函数在鞍点附近的变化是最平缓的。

肖宿给这条曲线起了一个名字：鞍点弧。

接下来是计算鞍点弧上的积分。

这一步同样不容易，因为鞍点弧不是一条简单的几何曲线，它的形状依赖於被积函数本身的性质。

但肖宿发现，当n足够大的时候，鞍点弧的形状会趋近於一个相对简单的形式，可以用一组参数方程来描述。

他沿著鞍点弧计算积分的主项，发现结果和哈代-李特尔伍德公式完全一致。

这让他更加明確了方向，至少说明他的方法在渐近意义下是对的。

但真正让他感兴趣的是余项的计算。

在鞍点弧上，余项的增长速度比传统的圆法慢了整整一个数量级。

这意味著，用他的方法，可以在n相对较小的时候，就得到足够精確的估计。

而这个“相对较小”的范围，恰好可以覆盖所有需要用计算机验证的偶数。

他把这个方法命名为“鞍点圆法”。

到这里，肖宿手上有两件武器了。

一件是分层筛法，负责在整数集合上直接操作，给出g（n）的一个下界估计。

另一件是鞍点圆法，负责在复平面上做积分，给出g（n）的主项近似。

可这样还是不能完全解决问题，毕竟这两件武器是两种完全不同的语言写成的，他们还是分开的。

筛法用的是组合数学和初等数论的语言，而圆法用的是复分析和傅立叶分析的语言。

它们之间的鸿沟，就像两个说著不同方言的人试图交流，虽然偶尔能通过手势和表情猜到对方的意思，但永远无法进行真正精確的对话。

肖宿需要一个翻译。

他想到了自己最熟悉的领域：辛几何。

在辛几何里，不同空间之间的对应，可以用一种叫“傅立叶-米库辛变换”的工具来实现。

米库辛（mikushin）是一位苏联数学家，上世纪六十年代研究过一类特殊的积分变换。

后来这个方向因为太难用、应用场景太窄，渐渐被人遗忘了。

肖宿去年在构建辛几何框架的时候，偶然在一本冷门的会议论文集里翻到了米库辛的旧论文，发现他研究的那种变换，恰好可以用来描述辛流形上不同坐標系之间的对偶关係。

他当时把这个变换做了一些推广，改进了它的收敛性质，然后把它用在了辛几何框架的构建中。

那篇论文发表之后，数学界对顾—辛流型的关注主要集中在孪生素数猜想证明用到的前半部分，而对於傅立叶-米库辛变换，关注的人並不多。

但现在，肖宿忽然意识到，这个变换，恰好可以作为筛法和圆法之间的那座桥樑。

傅立叶-米库辛变换的核心，是把一个定义在离散集合上的函数，映射到一个连续流形上的某种几何对象。

在这个映射下，离散集合上的卷积操作，会对应到流形上的某种相交运算。