作者:胖胖的小橘
“這樣我們得到的某種數值約定,就不是不可約束的了,而是唯一的對稱重求和。”
李東說完,在黑板上寫下了兩行推導
【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會不會突然變成別的數字。
上一篇:我家艺人太没上进心了
下一篇:挨打永久加防御,神魔都打不动我