我的學習群裡全是真大佬 第715章

作者:胖胖的小橘

“這樣我們得到的某種數值約定,就不是不可約束的了,而是唯一的對稱重求和。”

李東說完,在黑板上寫下了兩行推導

【K等於極限 r趨於無窮時,所有絕對值不超過 r的對稱塊之和】

【qR(f,g)=〈f,DRg〉】

“在任意固定的施瓦茨半範數下,重排後的修正級數逐階一致收斂。”

“於是二次型 qR在施瓦茲空間上收斂到一個厄米二次型 q。”

“所以……現在我們的問題就只剩下了一個。”

“那就是從素數側換到零點側時,我們交換了兩次極限,一次積分,和一重素數冪求和,憑什麼?”

聽到這裡時,坐在臺下的邦別裡早就目瞪口呆了。

別人不知道憑什麼,他還不知道嗎?

此時,李東在幕布上放了一篇參考文獻。

“我們憑的就是這篇論文。”

“對於單個模數,非對角項確實壓不住。”

“但我們並不需要逐個的去壓它。”

“我們只需要將素數按模數和尺度分層,然後先在平均意義下使用大篩法,把壞模數留給平滑權重,就行了。”

李東這裡使用的方法是邦別裡-維諾格拉多夫型的均方估計。

60年前25歲的恩里科邦別裡,用它回答了素數在算術級數中,平均而言究竟能分佈得多均勻。

而 60年後李東拿著他的定理,去保證一座連線素數與零點的橋,不會在交換極限的那個時候突然塌掉。

邦別裡就這麼看著那行式子,從左看到右,又從右看到左。

“我真是老了呀。”

“原來我 1965年證的那條均勻值定理,居然還能這麼用。”

他的聲音雖然不大,但是卻正好被他旁邊的陶哲軒聽到了。

陶哲軒剛想安慰他兩句,然後就呆住了。

因為李東已經翻到了下一頁。

這一頁下面的參考文獻寫著。

【布拉德·羅傑斯、陶哲軒:《德布魯因-紐曼常數非負》。】

德布魯因-紐曼常數非負。

這是陶哲軒最廣為人知的成果之一。

當年他和布拉德羅傑斯接過了德布魯因與紐曼留下的熱流框架。

把一個關於臨界常數正負的問題,變成了對無數個零點邉榆壽E的追蹤。

可當時陶哲軒和羅傑斯是為了研究零點在熱流中的邉佣龀龅某晒�

根本就不是為了構造什麼自伴咚阍 �

陶哲軒看著幕布上的公式,眉頭一點一點地皺了起來。

“李東為什麼會在這裡引用它?”

很快,李東就給出了答案。

“剛才的大篩估計已經解決了素數側的收斂問題。”

“尾項在截斷極限中消失以後,我們便可以回到咚阍谋旧砹恕!�

李東繼續在黑板的中央寫下了一個 D零

“我們的定義域取施瓦茲空間……略”

“所以要證明這個譜實現不依賴任何人為選擇的邊界條件,就必須證明 D零本質自伴。”

陶哲軒聽到這裡,眉頭稍微舒展了一點。

他大概有些眉目了。

果然,下一刻,李東又在黑板上寫下了兩條虧方程。

【D零的伴隨作用於 u等於正 i乘 u。】

【D零的伴隨作用於 u等於負 i乘 u。】

“我們假設其中存在非零解。”

“然後把它放進德布魯因-紐曼熱流裡,再用羅傑斯和陶哲軒為零點動力學建立的能量估計進行追蹤。”

聽到李東這麼說陶哲軒微微點頭。

他終於明白了。

李東這是要用他的零點動力學,給咚阍狣畫出嚴格的正下界啊。

想到這裡,他突然理解剛才的邦別裡了。

他和羅傑斯建立那套能量控制時,想的是熱流零點以及德布魯因紐曼常數。

他從來沒想到有一天,它會被拿來守住一個咚阍淖园檫吔纭�

一項本來用來說明黎曼猜想有多危險的成果,此刻成了李東證明咚阍狣絕不會分叉的工具。

李東還在向後翻著 PPT。

他每翻一頁臺下便會有一位數學家神情發生變化。

有的人看到自己花費了十幾年建立的引理,被李東拿去固定形式核的某個邊界項。

也有人看見了自己最引以為傲的估計,成了證明極限交換合法的一處支點。

李東就這麼隨手地使用著他們的工具,去抓那個 170多年都沒人抓住的真咚阍�

臺下有人忍不住低聲道。

“我怎麼感覺這些工具,李東教授用的比他們的發現者還要好啊。”

對,這就是最可怕的。

李東並沒有憑空造出一種新的工具。

他只是把許多人已經鋪好的路,接到了他們都沒有看見的同一個終點上。

所以臺下的每個人都聽懂了李東在說什麼。

而正是因為聽懂了,他們現在才不知道該用什麼表情,來面對接下來即將要出現的那個結論。

李東放下手中的粉筆,看了一下時間。

剛好 40分鐘。

他把 PPT翻到了最後一頁,轉過身,面對著安靜的觀眾廳,說道。

【核函式修正級數在重排後逐階一致收斂,咚阍狣的存在性、稠定性與自伴性全部成立。】

李東說完,就這麼靜靜地看著臺下。

而臺下沒有一個人說話。

所有人都看著幕布上那一個結論,心裡翻江倒海的。

咚阍狣就這麼被揪出來了?

怎麼這麼簡單?

這不是一個世紀難題嗎?

怎麼李東講完以後,大家覺得自己像是聽了一道四則咚阋粯樱�

有教授在腦子裡把剛才李東講的推導又飛快地過了一遍。

不管是全體 n級相關確定厄米核的唯一性,還是對稱分塊後的博雷爾-拉普拉斯重求和,又或者是素數側尾項在截斷極限中消失。

這些東西他全都懂,整個推導也像德芙一樣的絲滑。

沒有一個地方是他不理解的。

連李東使用的所有數學工具,他都在第一時間聽明白了。

這一刻,他對數學的認知好像被重塑了。

原來世界難題也可以不用晦澀難懂的全新工具,甚至不用幾百篇的長篇大論。

只需要把現有的工具用在最恰當的地方,然後用獨特的思路重構一遍,這道世界難題就能夠輕鬆被解決?

前排有一位教授,有些無法接受地自言自語。

“數學不應該這麼簡單呀。”

而坐在他旁邊的邦別裡則是嘆了口氣說道。

“數學就應該這麼簡單。”

此時李東見臺下眾人半天沒有反應,也沒有多說什麼,只是笑了笑。

“好了,今天的報告會就到這裡了。”

“關於咚阍狣的這篇論文我會放到 PMJ的主頁上,各位可以自己去下載。”

“明天上午 9點,這裡還有第二場報告。”

“為了節省大家的時間,提問環節我也放到了明天。”

說完,他也沒再管眾人的反應,就和溫斯洛教授一起從講臺的另一邊離開了。

而臺下的學者們都還坐著。

沒有一個人離開,也沒有一個人說話。

剛才李東講的咚阍� D,他們從頭聽到尾,沒有發現任何的問題。

不,應該說他們壓根就不覺得這裡會有問題。

畢竟誰會覺得 1+1=2有問題呢?

可是咚阍� D真的就這麼被揪出來了。

從希爾伯特和波利亞寫下那個設想開始。

人們找了一個世紀它背後的那個真咚阍�

其間出現過無數的候選物件。

但又因為定義域、邊界條件、連續譜,或者是自伴延展上的問題,一個接一個的倒下了。

而從今天開始,圍繞這個形式核的那半句假設“假如那個咚阍嬖凇!币呀浛梢灾苯幽ǖ袅恕�

雖然它還沒有證明黎曼猜想。

但它已經從一個願望變成了一個可以被研究、被質疑,甚至被計算的咚阍恕�

可為什麼心裡沒有激動呢?

好平靜啊。

貝爾納教授碰了碰身邊的霍爾姆教授。

“霍爾姆教授我怎麼總感覺不對勁呢?我一點都激動不起來。”

霍爾姆也呆滯的點了點頭。

“我跟你的感覺一樣。”

“可現在不應該是整個數學界都炸開鍋了嗎?”

“畢竟希爾伯特波利亞猜想的那個咚阍蝗苏页鰜砹搜健!�

“是呀,要是放在昨天,我聽見有人這麼說,肯定會說他是個瘋子。”

大廳裡無數的學者都在這樣討論著。

有人重新翻起了筆記,有人打開了電腦,守著 PMJ的主頁重新整理。

還有人就這麼看著幕布上那對虧指標,像是在確認那兩個 0會不會突然變成別的數字。