第210章 鞍点圆法（2 / 4）
这一步相对直接，因为傅立叶变换本身就定义在整个复平面上，单位圆只是一个特殊的积分路径。
真正难的是第二步，那就是找到合適的鞍点。
这一步难倒了所有在这条路上探索的人，肖宿也花了將近三天时间来分析被积函数的解析性质。
他发现，这个函数在复平面上確实存在一组特殊的点，在这些点上，函数的一阶导数为零，二阶导数也有良好的性质。
这些点恰好分布在某条光滑的曲线上，这条曲线从单位圆的某一点出发，缓缓弯向复平面的深处。
如果沿著这条曲线积分，被积函数的振盪会被极大地压制。
那些在单位圆上张牙舞爪的余项，在这条新路径上变得服服帖帖。
因为路径经过了鞍点，被积函数在鞍点附近的变化是最平缓的。
肖宿给这条曲线起了一个名字：鞍点弧。
接下来是计算鞍点弧上的积分。
这一步同样不容易，因为鞍点弧不是一条简单的几何曲线，它的形状依赖於被积函数本身的性质。
但肖宿发现，当n足够大的时候，鞍点弧的形状会趋近於一个相对简单的形式，可以用一组参数方程来描述。
他沿著鞍点弧计算积分的主项，发现结果和哈代-李特尔伍德公式完全一致。
这让他更加明確了方向，至少说明他的方法在渐近意义下是对的。
但真正让他感兴趣的是余项的计算。
在鞍点弧上，余项的增长速度比传统的圆法慢了整整一个数量级。
这意味著，用他的方法，可以在n相对较小的时候，就得到足够精確的估计。
而这个“相对较小”的范围，恰好可以覆盖所有需要用计算机验证的偶数。
他把这个方法命名为“鞍点圆法”。
到这里，肖宿手上有两件武器了。
一件是分层筛法，负责在整数集合上直接操作，给出g(n)的一个下界估计。
另一件是鞍点圆法，负责在复平面上做积分，给出g(n)的主项近似。
可这样还是不能完全解决问题，毕竟这两件武器是两种完全不同的语言写成的，他们还是分开的。
筛法用的是组合数学和初等数论的语言，而圆法用的是复分析和傅立叶分析的语言。
它们之间的鸿沟，就像两个说著不同方言的人试图交流，虽然偶尔能通过手势和表情猜到对方的意思，但永远无法进行真正精確的对话。
肖宿需要一个翻译。
他想到了自己最熟悉的领域：辛几何。
在辛几何里，不同空间之间的对应，可以用一种叫“傅立叶-米库辛变换”的工具来实现。
米库辛（mikushin）是一位苏联数学家，上世纪六十年代研究过一类特殊的积分变换。
后来这个方向因为太难用、应用场景太窄，渐渐被人遗忘了。 ↑返回顶部↑
真正难的是第二步，那就是找到合適的鞍点。
这一步难倒了所有在这条路上探索的人，肖宿也花了將近三天时间来分析被积函数的解析性质。
他发现，这个函数在复平面上確实存在一组特殊的点，在这些点上，函数的一阶导数为零，二阶导数也有良好的性质。
这些点恰好分布在某条光滑的曲线上，这条曲线从单位圆的某一点出发，缓缓弯向复平面的深处。
如果沿著这条曲线积分，被积函数的振盪会被极大地压制。
那些在单位圆上张牙舞爪的余项，在这条新路径上变得服服帖帖。
因为路径经过了鞍点，被积函数在鞍点附近的变化是最平缓的。
肖宿给这条曲线起了一个名字：鞍点弧。
接下来是计算鞍点弧上的积分。
这一步同样不容易，因为鞍点弧不是一条简单的几何曲线，它的形状依赖於被积函数本身的性质。
但肖宿发现，当n足够大的时候，鞍点弧的形状会趋近於一个相对简单的形式，可以用一组参数方程来描述。
他沿著鞍点弧计算积分的主项，发现结果和哈代-李特尔伍德公式完全一致。
这让他更加明確了方向，至少说明他的方法在渐近意义下是对的。
但真正让他感兴趣的是余项的计算。
在鞍点弧上，余项的增长速度比传统的圆法慢了整整一个数量级。
这意味著，用他的方法，可以在n相对较小的时候，就得到足够精確的估计。
而这个“相对较小”的范围，恰好可以覆盖所有需要用计算机验证的偶数。
他把这个方法命名为“鞍点圆法”。
到这里，肖宿手上有两件武器了。
一件是分层筛法，负责在整数集合上直接操作，给出g(n)的一个下界估计。
另一件是鞍点圆法，负责在复平面上做积分，给出g(n)的主项近似。
可这样还是不能完全解决问题，毕竟这两件武器是两种完全不同的语言写成的，他们还是分开的。
筛法用的是组合数学和初等数论的语言，而圆法用的是复分析和傅立叶分析的语言。
它们之间的鸿沟，就像两个说著不同方言的人试图交流，虽然偶尔能通过手势和表情猜到对方的意思，但永远无法进行真正精確的对话。
肖宿需要一个翻译。
他想到了自己最熟悉的领域：辛几何。
在辛几何里，不同空间之间的对应，可以用一种叫“傅立叶-米库辛变换”的工具来实现。
米库辛（mikushin）是一位苏联数学家，上世纪六十年代研究过一类特殊的积分变换。
后来这个方向因为太难用、应用场景太窄，渐渐被人遗忘了。 ↑返回顶部↑