顶点小说

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

但只是这样还不够。

筛法只能告诉我们“存在”还是“不存在”，很难给出精確的计数。

要得到g（n）的精確表达式，还需要另一种工具。

肖宿想到了傅立叶分析。

圆法的本质，是用傅立叶分析的工具把g（n）这个计数函数展开成一个积分。

这个积分沿著单位圆进行，所以叫圆法。

哈代和李特尔伍德在1920年代发明这个方法的时候，本意是想证明哥德巴赫猜想本身。

但是他们最后只得到了一个在n趋於无穷大时成立的近似表达式。

这是一个渐近公式，而不是对所有n都成立的严格等式。

问题就出在积分的余项上。

圆法积分的主项很容易算出来，就是那个著名的哈代-李特尔伍德渐近公式，形式优美得像一首诗。

但余项的控制极其困难，因为被积函数在单位圆上振盪得太厉害了。

就像一条在暴风雨中疯狂摆动的小船，你想精確测量它的平均位置，但每一次浪打过来，你的测量误差就会翻倍。

他盯著圆法的积分表达式看了很久，忽然意识到一个问题：

这个积分之所以难算，是因为它在整个实数轴上积分，那如果换一个积分路径呢？

在复变函数里，是可以通过选择不同的积分路径来避开那些振盪剧烈的区域的。

而这种方法就是著名的“最速下降法”，也叫鞍点法。

最速下降法的发明者是十九世纪的法国数学家柯西，核心思想极其巧妙：

当你在复平面上计算一个振盪得很厉害的积分时，你可以不沿著原来的路径积分，而是把积分路径“弯曲”一下，让它经过那些使被积函数变化最平缓的点，也就是所谓的“鞍点”。

沿著这条新路径，积分会变得温顺得多，因为那些剧烈的振盪被绕过去了。

这个想法在物理里用得非常普遍，量子力学里的半经典近似、统计物理里的steepestdescent展开，本质上都是这个东西。

但在数论里，很少有人认真地把圆法积分往复平面上延拓。

不是没人想过，而是大多数人都觉得，把积分路径从单位圆延拓到复平面之后，被积函数的行为会变得更加难以控制。

单位圆好歹是一个紧致的、封闭的曲线，复平面可是无边无际的。

但肖宿觉得，正是因为复平面更大，你才有更多的操作空间。

在单位圆上，你只能沿著那一条路走，前面是振盪区你也得硬著头皮穿过去。

但在复平面上，你可以绕路。

本书首发101看书网体验佳，101??????。??????轻鬆读，提供给你无错章节，无乱序章节的阅读体验

他开始尝试。

第一步是把g（n）的圆法积分表达式从单位圆延拓到整个复平面上来。

这一步相对直接，因为傅立叶变换本身就定义在整个复平面上，单位圆只是一个特殊的积分路径。

真正难的是第二步，那就是找到合適的鞍点。

这一步难倒了所有在这条路上探索的人，肖宿也花了將近三天时间来分析被积函数的解析性质。