《15歲,成為國寶級天才科學家》第249章 “至此,證明完成。”(2)

作者:制式希余·2小時前

“長期以來,數學家們一直在想,能不能把兩者結合起來?

用圓法的整體框架來控制大方向,用篩法的精細技巧來處理區域性細節。”

他在“篩法”和“圓法”之間畫了一條弧線。

“但這條路,走不通。”

臺下有人輕輕“啊”了一聲。

肖宿繼續說道:“因為篩法使用的是莫比烏斯卷積的語言,而圓法使用的是指數和積分的語言。

它們之間沒有自然的翻譯器。”

“那麼,有沒有可能,為這兩套語言造一個翻譯器?”

臺下,德利涅瞬間坐直了身體。

舒爾茨的眉心輕輕一跳。

他們知道,重點來了。

肖宿拿起粉筆,在小黑板中央寫下了一段簡短的定義。

“在研究孿生素數猜想的過程中,我發現了一個有趣的現象。

那就是當我把顧辛流型中關於弗洛爾同調的不變數計算,以某種特定的方式展開時,展開項的結構,和圓法中某個積分核在鞍點附近的漸近展開,形式上一模一樣。”

他又在黑板上寫下了兩行式子。

左邊是弗洛爾同調的展開項:∑_{k} C_k·(log N)^{-k}。

右邊是圓法積分核在鞍點附近的漸近展開:∑_{k} D_k·(log N)^{-k}。

“這不是巧合。

這說明篩法和圓法之間,存在某種更深層的對應關係。”

“既然展開的形式一樣,那展開之前的結構,是不是也一樣?

如果把篩法的求和項,透過某種變換對映到圓法的工作空間裡,這個對映能不能是一個對偶變換?”

他在黑板上寫下一行字:對偶變換T。

“具體來說就是,如果我定義一個變換T,它把篩法中的莫比烏斯卷積轉化為複平面上的圍道積分,那麼C_k和D_k之間滿足D_k = T(C_k)。”

“這個變換T,就是我稱之為傅立葉-米庫辛變換的東西。

它把篩法在整數域上的運算,對映為圓法在複平面單位圓上的運算。

反過來,它的逆變換T^{-1},把圓法的指數和積分,映射回了篩法的篩函式中。”

他的粉筆在黑板上飛快移動,寫下變換的定義。

“T的具體定義應該是:對於篩函式F(s),其傅立葉-米庫辛變換?(z) = ∑_{n} F(n)·n^{-z},這是一個在複平面上定義的狄利克雷級數。

。面平複個整到拓延純亞以可且並,斂收時1 > )z(eR在數級個這

”。訊資鍵關的佈分數素應對好恰佈分點極的它

。年的上臺著盯的灼灼睛眼,來頭起抬上本記筆從軒哲陶,下臺

。板黑開離有沒終始目,頭點了點茨爾舒,麼什句一了說茨爾舒對聲低涅利德

。了言語的容相不互套兩是再不就法圓和法篩,換變個這了有“

。上徑路分積的法圓了到配分新重被項差誤的法篩,下用作的T換變在

”。的擇選由自以可是,徑路分積的法圓而

”。心核的法圓點鞍和法篩層分是就這“

。線曲的蜒蜿條一了畫上板黑在他

。層多分度尺數對照按數素把,法篩層分“

。訊資的度尺定特理只層一每

。}1+j{^2 < p gol ≤ }j{^2足滿p數素的層j第,層J分它把間區小大的)n gol(按我,數素的N過超不於對,說來

”。染汙叉會不差誤的間之層同不,制控立獨以可差誤的式函篩,部層一每在

。分積道圍個一變,上面平複到映對換變辛庫米-葉立傅過果結分篩的層一每,後然“

。它擇選以可我,的定固是不徑路的分積道圍個這

”。減衰度速數指以會大增的N數引著隨項餘,定決獻貢的點鞍由就項主的分積麼那,向方的陡最度梯近附點鞍是就也,上線曲降下速最在選徑路分積把我果如

。式計估的分積點鞍下寫上板黑在他

。定確0 = )N gol·z - )z(? gol(zd/d程方由點鞍“

”。項主於小遠遠級量個這,級量的))}2/1{^)N gol(·c-(pxe·})?z(eR{^N(O在制控被項餘而,))N gol/1(O + 1(·}?z{^N·)?z(?·}2/1{^)|)?z(″?|/π2(是獻貢項主的分積,上徑路降下速最在

。起一了在線連換變辛庫米-葉立傅過,活靈的法圓和度的法篩,在現“

。閡隔言語的者兩了合彌換變偶對,計估域全供提法圓,度層分供提法篩

”。項餘的控可個一上加項主個一為示表以可)n(R數個法表的題問赫德哥,終最

。式示表的終最下寫上板黑在他

。積乘取p數素有所對,)2^)1-p(/1 + 1(}n?p{_∏·)2^)1-p(/1 - 1(}n|p{_∏為義定,數級異奇是)n(中其,)3^)n gol(/n(O + 2^)n gol(/n·)n( = )n(R

。數常正對絕個一於大格嚴它,n數偶對且並,算計以可數級異奇個這

。了完用要快也筆的裡手他,完寫

。零於等不數變不何幾個一明證:為結歸後最題問,後之來出計估界下的)n(R數個法表把“

。標指撲拓個某的裡群調同爾弗於源來,數變不何幾個這

”。值取的下限極定特個一在)n(數級異奇於等好恰秩的它現發,群調同爾弗的它算計,形流子日朗格拉的應對佈分數素與個一了造構上型流辛顧在我,說地切確

”。零為能可不它,了過明證裡文論的想猜數素生孿於關年去在經已我,標指撲拓個這的群調同爾弗而“

。行一後最了下寫上板黑在筆點一的存僅用,過轉他

。數常正的算計可是C中其,0 > 2^)n gol(/n·C ≥ )n(R,n數偶的2於大意任對,上綜“

”。立想猜赫德哥

。人萬上的下臺面直,來過轉,手拍了拍他,了盡用也筆點一後最,落筆

。上板黑的式公滿寫了在投子影的他把,上影的瘦清他在落燈聚

”。完明證,此至“

猜你喜歡

同題材或同分類的其他作品。