第210章 鞍點圓法
但只是這樣還不夠。
篩法只能告訴我們「存在」還是「不存在」，很難給出精確的計數。
要得到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)大於零，就意味著每一個充分大的偶數，都至少有一種方式可以寫成兩個素數之和。
哥德巴赫猜想，就這麼被轉化成了一個幾何不變量的非零性證明。
現在框架有了。
但框架只是骨架，還需要往裡面填肉。
最難填的一塊肉，是證明確實大於零。
這就需要用到分層篩法和鞍點圓法的具體估計了。
肖宿重新打開了他之前推導的那些公式，把分層篩法的下界估計和鞍點圓法的主項展開，代入到的表達式里。
然後他發現了一個問題。
兩個估計之間有重疊。
分層篩法在估計下界的時候，會重複計數一部分偶數。
鞍點圓法在計算主項的時候，也會覆蓋同一批偶數的一部分。
如果直接把兩個結果相加，就會把這些重疊的部分算兩次，導致最終的估計偏大。
反過來，如果你試圖減去重疊的部分，因為兩種方法一個用的是篩法的語言，一個用的是積分的語言，它們「計數單位」不一樣，又很難精確界定哪些是重疊的、哪些不是。
肖宿在這個問題上卡了整整三天。
三天裡，他試了不下十種方法來處理重疊的問題，可是仍然沒有突破。
這讓他的狀態變得格外不同。
顧清塵最先察覺到了肖宿的異常。
得知肖宿正在寫畢業論文時，顧清塵還問過他的題目，可惜肖宿什麼也沒說了。
他一向不喜歡在結果出來之前大肆宣揚。
篩法只能告訴我們「存在」還是「不存在」，很難給出精確的計數。
要得到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)大於零，就意味著每一個充分大的偶數，都至少有一種方式可以寫成兩個素數之和。
哥德巴赫猜想，就這麼被轉化成了一個幾何不變量的非零性證明。
現在框架有了。
但框架只是骨架，還需要往裡面填肉。
最難填的一塊肉，是證明確實大於零。
這就需要用到分層篩法和鞍點圓法的具體估計了。
肖宿重新打開了他之前推導的那些公式，把分層篩法的下界估計和鞍點圓法的主項展開，代入到的表達式里。
然後他發現了一個問題。
兩個估計之間有重疊。
分層篩法在估計下界的時候，會重複計數一部分偶數。
鞍點圓法在計算主項的時候，也會覆蓋同一批偶數的一部分。
如果直接把兩個結果相加，就會把這些重疊的部分算兩次，導致最終的估計偏大。
反過來，如果你試圖減去重疊的部分，因為兩種方法一個用的是篩法的語言，一個用的是積分的語言，它們「計數單位」不一樣，又很難精確界定哪些是重疊的、哪些不是。
肖宿在這個問題上卡了整整三天。
三天裡，他試了不下十種方法來處理重疊的問題，可是仍然沒有突破。
這讓他的狀態變得格外不同。
顧清塵最先察覺到了肖宿的異常。
得知肖宿正在寫畢業論文時，顧清塵還問過他的題目，可惜肖宿什麼也沒說了。
他一向不喜歡在結果出來之前大肆宣揚。