但只是這樣還不夠。
篩法只能告訴我們“存在”還是“不存在”,很難給出精確的計數。
要得到g(n)的精確表示式,還需要另一種工具。
肖宿想到了傅立葉分析。
圓法的本質,是用傅立葉分析的工具把g(n)這個計數函式展開成一個積分。
這個積分沿著單位圓進行,所以叫圓法。
哈代和李特爾伍德在1920年代發明這個方法的時候,本意是想證明哥德巴赫猜想本身。
但是他們最後只得到了一個在N趨於無窮大時成立的近似表示式。
這是一個漸近公式,而不是對所有N都成立的嚴格等式。
問題就出在積分的餘項上。
圓法積分的主項很容易算出來,就是那個著名的哈代-李特爾伍德漸近公式,形式優美得像一首詩。
但餘項的控制極其困難,因為被積函式在單位圓上振盪得太厲害了。
就像一條在暴風雨中瘋狂擺動的小船,你想精確測量它的平均位置,但每一次浪打過來,你的測量誤差就會翻倍。
他盯著圓法的積分表示式看了很久,忽然意識到一個問題:
這個積分之所以難算,是因為它在整個實數軸上積分,那如果換一個積分路徑呢?
在複變函式裡,是可以透過選擇不同的積分路徑來避開那些振盪劇烈的區域的。
而這種方法就是著名的“最速下降法”,也叫鞍點法。
最速下降法的發明者是十九世紀的法國數學家柯西,核心思想極其巧妙:
當你在複平面上計算一個振盪得很厲害的積分時,你可以不沿著原來的路徑積分,而是把積分路徑“彎曲”一下,讓它經過那些使被積函式變化最平緩的點,也就是所謂的“鞍點”。
沿著這條新路徑,積分會變得溫順得多,因為那些劇烈的振盪被繞過去了。
這個想法在物理裡用得非常普遍,量子力學裡的半經典近似、統計物理裡的 steepest descent 展開,本質上都是這個東西。
但在數論裡,很少有人認真地把圓法積分往復平面上延拓。
不是沒人想過,而是大多數人都覺得,把積分路徑從單位圓延拓到複平面之後,被積函式的行為會變得更加難以控制。
單位圓好歹是一個緊緻的、封閉的曲線,複平面可是無邊無際的。
但肖宿覺得,正是因為複平面更大,你才有更多的操作空間。
在單位圓上,你只能沿著那一條路走,前面是振盪區你也得硬著頭皮穿過去。
但在複平面上,你可以繞路。
他開始嘗試。
。來上面平複個整到拓延圓位單從式示表分積法圓的)n(g把是步一第
。徑路分積的殊特個一是只圓位單,上面平複個整在義定就本換變葉立傅為因,接直對相步一這
。點鞍的適合到找是就那,步二第是的難正真
。質析解的式函積被析分來間時天三近將了花也宿肖,人的索探上路條這在有所了倒難步一這
。質的好良有也數導階二,零為數導階一的式函,上點些這在,點的殊特組一在存實確上面平複在式函個這,現發他
。深的面平複向彎緩緩,發出點一某的圓位單從線曲條這,上線曲的條某在佈分好恰點些這
。制地大極被會盪振的式函積被,分積線曲條這著沿果如
。帖帖服服得變上徑路新條這在,項餘的爪舞牙張上圓位單在些那
。的緩平最是化變的近附點鞍在式函積被,點鞍了過經徑路為因
。弧點鞍:字名個一了起線曲條這給宿肖
。分積的上弧點鞍算計是來下接
。質的本式函積被於賴依狀形的它,線曲何幾的單簡條一是不弧點鞍為因,易容不樣同步一這
。述描來程方數引組一用以可,式形的單簡對相個一於近趨會狀形的弧點鞍,候時的大夠足N當,現發宿肖但
。致一全完式公德伍爾特李-代哈和果結現發,項主的分積算計弧點鞍著沿他
。的對是下義意近漸在法方的他明說至,向方了確明加更他讓這
。算計的項餘是的趣興他讓正真但
。級量數個一整整了慢法圓的統傳比度速長增的項餘,上弧點鞍在
。計估的確夠足到得就,候時的小較對相N在以可,法方的他用,著味意這
。數偶的證驗機算計用要需有所蓋覆以可好恰,圍範的”小較對相“個這而
。”法圓點鞍“為名命法方個這把他








