第373章 莫跟天才談尊嚴
大佬們還在寒暄時,喬源匆匆走進了會議室。
「我沒遲到吧?」看到會議室里已經站了這麼多人,喬源下意識地看了眼時間。
距離一點半還有一分鐘。
不算遲到。
他倒不是故意拿捏這些學術界的大佬,拖到最後一分鐘才來。
主要是有了研究思路,喬源一分鐘都不想浪費。
中午隨便在餐廳扒拉兩口飯之後,又回房間做了大半個小時的推導工作。也算是給下午的討論預熱了。本來他還想做點別的。
可惜的是,夏汐月被老媽叫去陪著逛街了。
畢竟來了桐山這麼久,之前一直在忙活喬源的婚事。
現在好不容易放鬆下來出門逛逛也是應該的。
「本來就是一次私下的討論,沒什麼遲到不遲到的。」
袁意同率先說道。
主打就是一個毫無原則的護短。
其他人看了袁意同一眼都懶得做聲。主要還是因為知道爭不過。
到了他們這個地位都是要臉的。袁意同一句「你們有這樣的學生,互不護短?」沒人能義正言辭的反駁。「那就好。」喬源立刻笑盈盈的答了句。
從不內耗的人格一般就是這樣,有了階馬上就會跟著借坡下驢。誰有意見,便讓他憋著去吧。隨後喬源看了眼會議室內準備好的兩個黑板,忍不住笑了笑,說道:「不如我們就別耽誤時間了,直接開始吧。費弗曼教授,袁老說你有些問題,想跟我當面討論?」
忍不住笑完全是因為喬源突然想到了駱余罄。
那個女人就是習慣性的在自己的辦公室里放一塊黑板。
現在看來,這大概率是她在普林斯頓學習時養成的習慣。
查爾斯;費弗曼也沒有一句廢話,點了點頭後直接開口說道:「沒錯,你前段時間批評奧斯卡對數學的理解有些問題,他將你的評價完整轉述給了我,也讓我有了些想法。所以想跟你討論一番。不如我們就先從一個具體的數學問題開始吧。」
說完,查爾斯;費弗曼便走到黑板前,隨手拿起一隻粉筆,在上面快速書寫起來。
很快一行公式便出現在黑板上。
查爾斯;費弗曼一邊書寫,一邊說著。
「這是我在上世紀七十年代研究的一個問題。即Hardy空間HP的二元結構。
大家應該能看出它在一個變量的情形下,你可以用共軛調和函數來刻畫」。但顯然在高維情形下,這種刻畫徹底失敗了。經過我的研究,發現這背後有一個根本性的問題,就是空間的原子分解。
比如P中的任意函數都可以分解為一組原子都具有緊支集、滿足消失矩條件的函數的無窮線性組合。而這個分解的範數等價性,就是整個理論的核心……」說到這裡,已經寫完了的查爾斯;費弗曼轉過身看向喬源,問道:「喬,我的第一個問題就是你認為空間的這種原子結構能否用你的QUN)群的代數語言來描述?」
喬源沒有直接回答,而是盯著黑板上的公式看著,片刻後臉上綻放出了一個笑容。
「還好我有準備,那天我看過您的幾篇論文。不然您突然拿出這麼一個問題,說不定還真難住我了。」說著,喬源也已經走到了黑板前,查爾斯的身側,隨手拿起了一個粉筆。
「說白了,你這個原子分解之所以成立,本質上依賴於F空間作為BMO對偶這一事實,沒錯吧?」查爾斯;費弗曼默默點了點頭。
看到回應後,喬源便繼續說道:「而BWD空間的定義是,具有有界平均振盪的函數空間,它的性質依賴於對函數局部振盪的逐點控制…」說著,喬源拿著粉筆在黑板上畫出了一個方格,並隨手在方格內點了幾個白點。
嘴裡自然也沒停:「換句話說,你的解決方法就是從一個點出發,考察這個點附近函數值的起伏,並取平均值。然後再通過證明這個平均值在單位球上的一致有界性來解決這個問題。這是你一貫用來做數學分析的標準範式。對吧?」說完,喬源扭過頭再次看向查爾斯;費弗曼。
這位菲爾獎獲得者則深吸一口氣,隨後再次微微點了點頭。
喬源又笑了。
「老先生,但你應該也發現了這個範式有一個小小的代價。當你把函數f()在空間每一個點的行為作為最底層的信息單元,那麼為了要理解一個函數的奇異結構,比如它在哪些位置出現尖峰,又在哪些尺度上出現振盪,你就必須先固定一個坐標圖,然後逐個點,逐個尺度地去分析……」
喬源說到這裡,突然被查爾斯;費弗曼打斷。
「你說的沒錯,但你也必須要承認,這是唯一能保持清晰邏輯的方法!」
這位學者的話斬釘截鐵。
喬源沒有直接回答,而是先擡頭,環視了一圈會議室內注意力都集中在兩人身上的其他人,然後深深地嘆了口氣。「哎……但那是以前!」
說完,喬源便收回了最後落在陳曦身上的目光,緊盯著查爾斯;費弗曼的雙眼開口問道:「當你面對一個真正複雜的多變量函數時,你覺得這個方法的效率……不,我說乾脆點吧,你覺得還有用嗎?」
說著,喬源再次舉起拿著粉筆的手隨手寫下了更為複雜的方程。
會議室內所有人看著這個方程,同時皺起了眉頭。
顯然,這是一個不可壓縮的N-S方程,屬於千禧年的七大難題之一。
喬源寫下方程後,直接問道:「一個流體的速度場隨著時間演化,空間有三個維度,時間有一個維度!而且每個點上有一個速度矢量,每個速度矢量還有三個分量,如果你堅持要做逐點分析,那意味著在每一個空間坐標上,每一個時刻上,去追蹤每個分量的值。
然後對流線項做線性分解,壓力場全局耦合,粘性項在邊界層產生奇異行為……哪一個不能直接壓死你的思路?所以您現在能不能直接告訴我,這個方程的解在三維空間有限時間且一般初值的條件下是否有光滑解存在?」一眾人目瞪口呆,尤其是查爾斯;費弗曼,是真被氣得有些手抖了。
不得不說喬源這真就是哪壺不開提哪壺。
三維N-s方程正則性問題本就是查爾斯;費弗曼主要的研究方向之一。
他從上世紀八十年代就開始研究這個問題弱解部分正則性,一直到現在也沒有成功。
當然,如果他成功的話,早就已經從克雷研究所那裡拿到一百萬美元了。
全世界的數學家都會彈冠相慶,所以喬源這傢伙就是在明知故問。
但喬源似乎沒感覺到查爾斯;費弗曼的氣惱,依然輕聲開口問了句:「所以我們先固定一個坐標圖,然後逐個點逐個尺度的分析……或者說您覺得您這個範式,面對真正的複雜性時,真有用嗎?」
雖然喬源的聲音不大,但足以讓已經感受到會議室內火爆氣息的陳曦,下意識縮了縮腦袋。雖然陳曦聽不太懂兩人的爭論,但他能看懂其他人的表情。
剛剛表情還算正常的大佬們,隨著喬源直接拋出這個問題,表情都變得有些怪異。
包括他身邊的奧斯卡;米勒手都開始有些微微發抖。
甚至袁老和陸院士都微微皺起了眉頭。
就在氣氛最緊張的時候,兩聲乾咳打破了安靜。
「咳咳…
隨後一直站在查爾斯;費弗曼身後的路易斯;卡法雷利說話了。
「喬,不得不說你的辯論很精彩。但這畢竟是一個極為特殊的問題。
除非你能證明QU(N)群能解決這類問題。否則的話,這種爭論毫無意義。」
聽到這句話,喬源轉移了目光,隨意警了路易斯;卡法雷利一限,答道:「放到前天以前,我可能會告訴你們現在的QU(N)群理論,還不足以去解決這樣的問題。但是……
一個「BUT」字拖長的尾音讓整間會議室里的氣氛再次為之一滯……
這是什麼意思?
所有人,包括陳曦,看向喬源的目光再次不一樣了。
但跟陳曦全是仰慕的目光不同,其他大佬的目光多少帶了些震驚和懷疑。
甚至連袁意同和陸明遠都不例外,當然也包括了查爾斯;費弗曼。
「但是這兩天我恰好有了些不一樣的想法……」
喬源補充完了這句話,然後扭過頭再次開始了在黑板上書寫。
「你們無法解決這個問題無非是因為N-S方程的結構特徵。就像我剛才說的,非線性對流項在空間每一點上都在做能量跨尺度傳遞。所以逐點分析永遠走不通這條路。」
這次查爾斯;費弗曼沒有開口反駁,只是死死盯著喬源正在書寫的黑板。
「我今天早上報告會的最後部分,應該簡單提過一句辮子群在參數q=L_p處的周期性約束……對不起,我忘了,早上我用的中文。而且只是在最後部分提了一句,你們沒有注意到也是正常的。」此時喬源已經寫到了第二行。
「說白了,就是我發現了一個特殊的規律,當QU(N)群的復形變參數q取素數次單位根時,辮子群的生成元滿足模p周期條件。我已經有了完整的證明思路,只是還沒有時間把整個證明過程寫出來。不過目前用超算驗證的有限數例,正確率是百分之百,回頭你們也可以先驗證一下。相信大家應該都明白這代表什麼了吧?沒錯,這意味著在這個參數下,辮子群不允許任意複雜的編織,它的所有操作的p次冪都會回歸平凡態。」說著,喬源又在黑板上畫了個簡單的坐標圖,坐標圖上三根線相互纏繞,但能看出纏繞模式被限制在一個有限集合內。「現在讓我們將N-S方程的速度場u(,t),在某個小尺度:上展開。
跟你的方法不一樣,我的思路是直接用辮子表示。也就是w=マXu。
旋度是流體力學中最接近拓撲對象的物理量,一個渦旋管的自纏繞數,兩個渦旋管的連通和,還有渦旋的合併與分裂,所有操作對應到U(N)群正好構成了一個辮子代數…
嘴裡不停解釋著,但喬源手上也沒停,很快黑板上便多了三行字。
「看懂了嗎?我在重新定義問題的提法,在我的理論框架下,N-S方程可以這樣表述。
令Bu為速度場u在小尺度e上的渦量辮子表示。若存在某正數(,t∈[0,T),Bu(t)的辮子長度L(Bu)均有界於某常數C(3),則u(,t)在[0,T) XR3上光滑。現在請大家再回過頭看我上面的推導,渦旋的辮子生成元」_i,恰好對應Berry聯絡沿渦旋閉合路徑y_li,i+1}的Holonomy取指數。而這個Berry聯絡,是從渦量場的整體拓撲結構自然誘導出來的。所以費弗曼先生,這並不是憑空假設的對應,而是計算出來的。」說完,喬源隨手丟下了鉛筆,看向查爾斯;費弗曼身後的路易斯;卡法雷利,問道:「你是卡法雷利教授吧?如果你看懂了我的思路,那麼請問你現在覺得我距離解決這個問題還遠嗎?
或者我在給你解釋得明白些吧。在Q(N)群的辮子代數中,辮子的編織複雜性完全由參數q控制。所以當q不是單位根時,辮子群是無限維的,代表著編織可以無限纏繞。
但巧的是當q=(_p時,辮子群被一個全局的周期截斷所約束。
也就意味著渦量辮子長度是否發散,其實等價於參數q是否偏離單位根這一條件。
所以對我來說N-S方程問題,無非就是在流體的時間演化過程中,描述渦量場的辮子群參數q是否會從單位根漂移開。如果你們對我的理論稍微有些了解,相信應該已經意識到了,這個方法要遠比直接求解N-S方程簡單無數倍!因為它本質上是R-矩陣的譜穩定性問題。R-矩陣是否在時間演化下保持有限周期,可以通過分析GU(N)群自守表示論的剛性定理來判斷。」說完,喬源將粉筆丟到了一邊,然後拍了拍手,打散了手上沾染的粉筆灰。
全場沒人說話,都盯著黑板看的時候,陸明遠突然走上前,拿起了黑板擦,然後以迅雷不及掩耳之勢,將喬源剛剛寫在黑板上的內容,全部擦得乾乾淨淨。袁意同眉頭一皺,剛想發火,突然反應過來,眉毛迅速舒展開來,甚至還投去了一個讚賞的眼神。至於會議室內其他人,集體愣住了,包括喬源。
而做完這一切的陸明遠只是衝著喬源微微點了點頭,然後一臉坦然,理直氣壯地說了句:「不是說好了討論數學思想的嘛,怎麼就討論到具體問題上了?費弗曼教授,你這就不講究了。」
所有人此時都已經反應過來,立刻有人喝罵上了。
愛德華;威騰忍不住率先發難道:「陸,數學思想也是從具體問題逐步深入的!你這明明是強詞奪理。」沒辦法,他剛剛公式才看了一截,正在思考其中的轉化路徑,突然就被陸明遠全部擦掉了,此時自然氣惱。「威騰教授,我非常尊敬您,但您這話我不同意。數學思想可以通過問題展現的確沒錯,但這個問題沒必要說得這麼細吧?」陸明遠毫不客氣地懟了回去。
開什麼玩笑,他就是研究偏微分方程的。
如果喬源的方法真能解決N-S方程問題,這成果總不能讓這些搶了去。
他可以相信會議室內所有數學家的道德守則,除了千禧年難題……
「不如,大家聽我來說句公道話吧……」
袁意同也緩緩地開口了。
但這位國際數學聯盟主席剛開口,就被人很不給面子的打斷:「哈,喬都不覺得寫出來這些有什麼問題,你們這些老傢伙,是不是太過於懷疑我們的學術道德這次開口的是胡安;馬爾達西那。
他跟愛德華;威騰同樣氣惱。對於他們這些人來說,沒看到那些推導還好說。
但現在看到了,而且就在大家專心思考時,突然被人這樣強行打斷思路,是真的氣到跟對方拚命。「我們才是老傢伙,遠明畢竟是我的學生,他跟我們比還年輕,做事兒衝動有什麼不能理解的?等回去之後我一定狠狠批評他!都別生氣了,哪有懷疑大家學術道德的意思嘛?」
剛剛被打斷的袁意同,終於說出了句完整的話。
袁意同這句話直接把喬源都給尬住了,下意識看了眼自己的老師。
畢竟陸明遠也是快七十歲的人了,但話又說回來,喬源掃視了一圈,自家老師的確比其他幾位大佬都年輕。但咋說呢…
學術圈這麼論邏輯上似乎也沒錯。
只要輩分足夠高,快七十歲的大佬在祖師爺眼裡,的確也能算是個學術寶寶。
就是讓喬源有點想笑,但這個場合又不太適合。
於是乾脆隨口說出自己的想法。
「其實我是打算用這個方法,嘗試去處理素數分布問題的。沒想到的是,用到N-S方程上也挺好用的。」一句話,把正想要張口辯駁的所有人都給干沉默了。
沒人再吭聲,只是安靜的看著喬源…
畢競任何語言在此刻都顯得那麼蒼白。
「我沒遲到吧?」看到會議室里已經站了這麼多人,喬源下意識地看了眼時間。
距離一點半還有一分鐘。
不算遲到。
他倒不是故意拿捏這些學術界的大佬,拖到最後一分鐘才來。
主要是有了研究思路,喬源一分鐘都不想浪費。
中午隨便在餐廳扒拉兩口飯之後,又回房間做了大半個小時的推導工作。也算是給下午的討論預熱了。本來他還想做點別的。
可惜的是,夏汐月被老媽叫去陪著逛街了。
畢竟來了桐山這麼久,之前一直在忙活喬源的婚事。
現在好不容易放鬆下來出門逛逛也是應該的。
「本來就是一次私下的討論,沒什麼遲到不遲到的。」
袁意同率先說道。
主打就是一個毫無原則的護短。
其他人看了袁意同一眼都懶得做聲。主要還是因為知道爭不過。
到了他們這個地位都是要臉的。袁意同一句「你們有這樣的學生,互不護短?」沒人能義正言辭的反駁。「那就好。」喬源立刻笑盈盈的答了句。
從不內耗的人格一般就是這樣,有了階馬上就會跟著借坡下驢。誰有意見,便讓他憋著去吧。隨後喬源看了眼會議室內準備好的兩個黑板,忍不住笑了笑,說道:「不如我們就別耽誤時間了,直接開始吧。費弗曼教授,袁老說你有些問題,想跟我當面討論?」
忍不住笑完全是因為喬源突然想到了駱余罄。
那個女人就是習慣性的在自己的辦公室里放一塊黑板。
現在看來,這大概率是她在普林斯頓學習時養成的習慣。
查爾斯;費弗曼也沒有一句廢話,點了點頭後直接開口說道:「沒錯,你前段時間批評奧斯卡對數學的理解有些問題,他將你的評價完整轉述給了我,也讓我有了些想法。所以想跟你討論一番。不如我們就先從一個具體的數學問題開始吧。」
說完,查爾斯;費弗曼便走到黑板前,隨手拿起一隻粉筆,在上面快速書寫起來。
很快一行公式便出現在黑板上。
查爾斯;費弗曼一邊書寫,一邊說著。
「這是我在上世紀七十年代研究的一個問題。即Hardy空間HP的二元結構。
大家應該能看出它在一個變量的情形下,你可以用共軛調和函數來刻畫」。但顯然在高維情形下,這種刻畫徹底失敗了。經過我的研究,發現這背後有一個根本性的問題,就是空間的原子分解。
比如P中的任意函數都可以分解為一組原子都具有緊支集、滿足消失矩條件的函數的無窮線性組合。而這個分解的範數等價性,就是整個理論的核心……」說到這裡,已經寫完了的查爾斯;費弗曼轉過身看向喬源,問道:「喬,我的第一個問題就是你認為空間的這種原子結構能否用你的QUN)群的代數語言來描述?」
喬源沒有直接回答,而是盯著黑板上的公式看著,片刻後臉上綻放出了一個笑容。
「還好我有準備,那天我看過您的幾篇論文。不然您突然拿出這麼一個問題,說不定還真難住我了。」說著,喬源也已經走到了黑板前,查爾斯的身側,隨手拿起了一個粉筆。
「說白了,你這個原子分解之所以成立,本質上依賴於F空間作為BMO對偶這一事實,沒錯吧?」查爾斯;費弗曼默默點了點頭。
看到回應後,喬源便繼續說道:「而BWD空間的定義是,具有有界平均振盪的函數空間,它的性質依賴於對函數局部振盪的逐點控制…」說著,喬源拿著粉筆在黑板上畫出了一個方格,並隨手在方格內點了幾個白點。
嘴裡自然也沒停:「換句話說,你的解決方法就是從一個點出發,考察這個點附近函數值的起伏,並取平均值。然後再通過證明這個平均值在單位球上的一致有界性來解決這個問題。這是你一貫用來做數學分析的標準範式。對吧?」說完,喬源扭過頭再次看向查爾斯;費弗曼。
這位菲爾獎獲得者則深吸一口氣,隨後再次微微點了點頭。
喬源又笑了。
「老先生,但你應該也發現了這個範式有一個小小的代價。當你把函數f()在空間每一個點的行為作為最底層的信息單元,那麼為了要理解一個函數的奇異結構,比如它在哪些位置出現尖峰,又在哪些尺度上出現振盪,你就必須先固定一個坐標圖,然後逐個點,逐個尺度地去分析……」
喬源說到這裡,突然被查爾斯;費弗曼打斷。
「你說的沒錯,但你也必須要承認,這是唯一能保持清晰邏輯的方法!」
這位學者的話斬釘截鐵。
喬源沒有直接回答,而是先擡頭,環視了一圈會議室內注意力都集中在兩人身上的其他人,然後深深地嘆了口氣。「哎……但那是以前!」
說完,喬源便收回了最後落在陳曦身上的目光,緊盯著查爾斯;費弗曼的雙眼開口問道:「當你面對一個真正複雜的多變量函數時,你覺得這個方法的效率……不,我說乾脆點吧,你覺得還有用嗎?」
說著,喬源再次舉起拿著粉筆的手隨手寫下了更為複雜的方程。
會議室內所有人看著這個方程,同時皺起了眉頭。
顯然,這是一個不可壓縮的N-S方程,屬於千禧年的七大難題之一。
喬源寫下方程後,直接問道:「一個流體的速度場隨著時間演化,空間有三個維度,時間有一個維度!而且每個點上有一個速度矢量,每個速度矢量還有三個分量,如果你堅持要做逐點分析,那意味著在每一個空間坐標上,每一個時刻上,去追蹤每個分量的值。
然後對流線項做線性分解,壓力場全局耦合,粘性項在邊界層產生奇異行為……哪一個不能直接壓死你的思路?所以您現在能不能直接告訴我,這個方程的解在三維空間有限時間且一般初值的條件下是否有光滑解存在?」一眾人目瞪口呆,尤其是查爾斯;費弗曼,是真被氣得有些手抖了。
不得不說喬源這真就是哪壺不開提哪壺。
三維N-s方程正則性問題本就是查爾斯;費弗曼主要的研究方向之一。
他從上世紀八十年代就開始研究這個問題弱解部分正則性,一直到現在也沒有成功。
當然,如果他成功的話,早就已經從克雷研究所那裡拿到一百萬美元了。
全世界的數學家都會彈冠相慶,所以喬源這傢伙就是在明知故問。
但喬源似乎沒感覺到查爾斯;費弗曼的氣惱,依然輕聲開口問了句:「所以我們先固定一個坐標圖,然後逐個點逐個尺度的分析……或者說您覺得您這個範式,面對真正的複雜性時,真有用嗎?」
雖然喬源的聲音不大,但足以讓已經感受到會議室內火爆氣息的陳曦,下意識縮了縮腦袋。雖然陳曦聽不太懂兩人的爭論,但他能看懂其他人的表情。
剛剛表情還算正常的大佬們,隨著喬源直接拋出這個問題,表情都變得有些怪異。
包括他身邊的奧斯卡;米勒手都開始有些微微發抖。
甚至袁老和陸院士都微微皺起了眉頭。
就在氣氛最緊張的時候,兩聲乾咳打破了安靜。
「咳咳…
隨後一直站在查爾斯;費弗曼身後的路易斯;卡法雷利說話了。
「喬,不得不說你的辯論很精彩。但這畢竟是一個極為特殊的問題。
除非你能證明QU(N)群能解決這類問題。否則的話,這種爭論毫無意義。」
聽到這句話,喬源轉移了目光,隨意警了路易斯;卡法雷利一限,答道:「放到前天以前,我可能會告訴你們現在的QU(N)群理論,還不足以去解決這樣的問題。但是……
一個「BUT」字拖長的尾音讓整間會議室里的氣氛再次為之一滯……
這是什麼意思?
所有人,包括陳曦,看向喬源的目光再次不一樣了。
但跟陳曦全是仰慕的目光不同,其他大佬的目光多少帶了些震驚和懷疑。
甚至連袁意同和陸明遠都不例外,當然也包括了查爾斯;費弗曼。
「但是這兩天我恰好有了些不一樣的想法……」
喬源補充完了這句話,然後扭過頭再次開始了在黑板上書寫。
「你們無法解決這個問題無非是因為N-S方程的結構特徵。就像我剛才說的,非線性對流項在空間每一點上都在做能量跨尺度傳遞。所以逐點分析永遠走不通這條路。」
這次查爾斯;費弗曼沒有開口反駁,只是死死盯著喬源正在書寫的黑板。
「我今天早上報告會的最後部分,應該簡單提過一句辮子群在參數q=L_p處的周期性約束……對不起,我忘了,早上我用的中文。而且只是在最後部分提了一句,你們沒有注意到也是正常的。」此時喬源已經寫到了第二行。
「說白了,就是我發現了一個特殊的規律,當QU(N)群的復形變參數q取素數次單位根時,辮子群的生成元滿足模p周期條件。我已經有了完整的證明思路,只是還沒有時間把整個證明過程寫出來。不過目前用超算驗證的有限數例,正確率是百分之百,回頭你們也可以先驗證一下。相信大家應該都明白這代表什麼了吧?沒錯,這意味著在這個參數下,辮子群不允許任意複雜的編織,它的所有操作的p次冪都會回歸平凡態。」說著,喬源又在黑板上畫了個簡單的坐標圖,坐標圖上三根線相互纏繞,但能看出纏繞模式被限制在一個有限集合內。「現在讓我們將N-S方程的速度場u(,t),在某個小尺度:上展開。
跟你的方法不一樣,我的思路是直接用辮子表示。也就是w=マXu。
旋度是流體力學中最接近拓撲對象的物理量,一個渦旋管的自纏繞數,兩個渦旋管的連通和,還有渦旋的合併與分裂,所有操作對應到U(N)群正好構成了一個辮子代數…
嘴裡不停解釋著,但喬源手上也沒停,很快黑板上便多了三行字。
「看懂了嗎?我在重新定義問題的提法,在我的理論框架下,N-S方程可以這樣表述。
令Bu為速度場u在小尺度e上的渦量辮子表示。若存在某正數(,t∈[0,T),Bu(t)的辮子長度L(Bu)均有界於某常數C(3),則u(,t)在[0,T) XR3上光滑。現在請大家再回過頭看我上面的推導,渦旋的辮子生成元」_i,恰好對應Berry聯絡沿渦旋閉合路徑y_li,i+1}的Holonomy取指數。而這個Berry聯絡,是從渦量場的整體拓撲結構自然誘導出來的。所以費弗曼先生,這並不是憑空假設的對應,而是計算出來的。」說完,喬源隨手丟下了鉛筆,看向查爾斯;費弗曼身後的路易斯;卡法雷利,問道:「你是卡法雷利教授吧?如果你看懂了我的思路,那麼請問你現在覺得我距離解決這個問題還遠嗎?
或者我在給你解釋得明白些吧。在Q(N)群的辮子代數中,辮子的編織複雜性完全由參數q控制。所以當q不是單位根時,辮子群是無限維的,代表著編織可以無限纏繞。
但巧的是當q=(_p時,辮子群被一個全局的周期截斷所約束。
也就意味著渦量辮子長度是否發散,其實等價於參數q是否偏離單位根這一條件。
所以對我來說N-S方程問題,無非就是在流體的時間演化過程中,描述渦量場的辮子群參數q是否會從單位根漂移開。如果你們對我的理論稍微有些了解,相信應該已經意識到了,這個方法要遠比直接求解N-S方程簡單無數倍!因為它本質上是R-矩陣的譜穩定性問題。R-矩陣是否在時間演化下保持有限周期,可以通過分析GU(N)群自守表示論的剛性定理來判斷。」說完,喬源將粉筆丟到了一邊,然後拍了拍手,打散了手上沾染的粉筆灰。
全場沒人說話,都盯著黑板看的時候,陸明遠突然走上前,拿起了黑板擦,然後以迅雷不及掩耳之勢,將喬源剛剛寫在黑板上的內容,全部擦得乾乾淨淨。袁意同眉頭一皺,剛想發火,突然反應過來,眉毛迅速舒展開來,甚至還投去了一個讚賞的眼神。至於會議室內其他人,集體愣住了,包括喬源。
而做完這一切的陸明遠只是衝著喬源微微點了點頭,然後一臉坦然,理直氣壯地說了句:「不是說好了討論數學思想的嘛,怎麼就討論到具體問題上了?費弗曼教授,你這就不講究了。」
所有人此時都已經反應過來,立刻有人喝罵上了。
愛德華;威騰忍不住率先發難道:「陸,數學思想也是從具體問題逐步深入的!你這明明是強詞奪理。」沒辦法,他剛剛公式才看了一截,正在思考其中的轉化路徑,突然就被陸明遠全部擦掉了,此時自然氣惱。「威騰教授,我非常尊敬您,但您這話我不同意。數學思想可以通過問題展現的確沒錯,但這個問題沒必要說得這麼細吧?」陸明遠毫不客氣地懟了回去。
開什麼玩笑,他就是研究偏微分方程的。
如果喬源的方法真能解決N-S方程問題,這成果總不能讓這些搶了去。
他可以相信會議室內所有數學家的道德守則,除了千禧年難題……
「不如,大家聽我來說句公道話吧……」
袁意同也緩緩地開口了。
但這位國際數學聯盟主席剛開口,就被人很不給面子的打斷:「哈,喬都不覺得寫出來這些有什麼問題,你們這些老傢伙,是不是太過於懷疑我們的學術道德這次開口的是胡安;馬爾達西那。
他跟愛德華;威騰同樣氣惱。對於他們這些人來說,沒看到那些推導還好說。
但現在看到了,而且就在大家專心思考時,突然被人這樣強行打斷思路,是真的氣到跟對方拚命。「我們才是老傢伙,遠明畢竟是我的學生,他跟我們比還年輕,做事兒衝動有什麼不能理解的?等回去之後我一定狠狠批評他!都別生氣了,哪有懷疑大家學術道德的意思嘛?」
剛剛被打斷的袁意同,終於說出了句完整的話。
袁意同這句話直接把喬源都給尬住了,下意識看了眼自己的老師。
畢竟陸明遠也是快七十歲的人了,但話又說回來,喬源掃視了一圈,自家老師的確比其他幾位大佬都年輕。但咋說呢…
學術圈這麼論邏輯上似乎也沒錯。
只要輩分足夠高,快七十歲的大佬在祖師爺眼裡,的確也能算是個學術寶寶。
就是讓喬源有點想笑,但這個場合又不太適合。
於是乾脆隨口說出自己的想法。
「其實我是打算用這個方法,嘗試去處理素數分布問題的。沒想到的是,用到N-S方程上也挺好用的。」一句話,把正想要張口辯駁的所有人都給干沉默了。
沒人再吭聲,只是安靜的看著喬源…
畢競任何語言在此刻都顯得那麼蒼白。