愣愣地看著陸舟,盯著他看了大概半分鍾那麼久,莫麗娜忽然伸出了手。
看向那隻摸向自己額頭的手,陸舟下意識(shí)躲掉了。
“你想幹啥?”
若無其事地收迴了手,莫麗娜一本正經(jīng)道:“沒什麼,我隻是想看看,你是不是發(fā)燒了?”
陸舟:“……”
認(rèn)真地看著陸舟,莫麗娜繼續(xù)說道:“說真的,雖然我沒研究過偏微分方程,但你為什麼要把問題搞得這麼複雜?”
陸舟拍了拍褲子上的草,站起身來。
“我也想讓它變得簡(jiǎn)單點(diǎn),但沒辦法,它就是這麼的複雜!
莫麗娜也站了起來,走到了陸舟的麵前:“如果一項(xiàng)計(jì)算結(jié)果已經(jīng)違背了基本常識(shí),那麼它大概率是哪裏出了問題!
陸舟並沒有否認(rèn)她的說法。
“也許你是正確的,因?yàn)槲乙彩沁@麼認(rèn)為。然而比起三維ns方程的解在某一個(gè)特殊點(diǎn)上是否具備全局正則性,我更想知道的是,為什麼?”
停頓了片刻,凝視著湖麵的陸舟繼續(xù)說道。
“為什麼我們的方程爆炸了!
……
“爆炸”在計(jì)算流體力學(xué)領(lǐng)域也可以稱之為發(fā)散,很多外文文獻(xiàn)中部分作者喜歡用“blo-up”一詞進(jìn)行描述這種令人頭疼的現(xiàn)象。
在數(shù)學(xué)上,它泛指的問題也有很多,比如可能是求解的過程分母為0,可能是求解的矩陣沒有收斂……
而對(duì)於ns方程來說,所謂爆炸問題,或者說發(fā)散問題,則指的是某個(gè)時(shí)間點(diǎn)和某個(gè)空間點(diǎn),流體流速越來越快,進(jìn)而速度趨向於無窮大,超乎了現(xiàn)實(shí)中的常理。
lions等人早在半個(gè)世紀(jì)前便證明了,二維情形下這個(gè)點(diǎn)是不存在的,即二維情形下ns方程的整體弱解的唯一性、正則性和穩(wěn)定性。但三維情形下的ns方程又是個(gè)什麼情況,學(xué)術(shù)界依然沒有一個(gè)統(tǒng)一的定論。
數(shù)學(xué)界普遍的觀點(diǎn)對(duì)三維情形下的ns方程解具有存在性與光滑性持樂觀的態(tài)度,搞計(jì)算流體力學(xué)方向的人因?yàn)槠?股問題當(dāng)然也認(rèn)同這點(diǎn)——否則的話,他們根據(jù)實(shí)驗(yàn)數(shù)據(jù)建立的那些唯像模型,豈不是等於在用謊言去解釋謊言?
帶著一身汗迴到了家中,陸舟將衣服扔進(jìn)了洗衣機(jī),轉(zhuǎn)身去浴室衝了個(gè)澡。
熱水從頭上流下的感覺,讓他心中的浮躁冷靜了不少。
通過抽象的雙線性算子進(jìn)行間接證明的思路或許是存在問題,與其在不確定的問題上反複糾結(jié),不如做兩手準(zhǔn)備,比如另辟蹊徑地嚐試一條額外的思路。
這種挑戰(zhàn)人類心智巔峰的遊戲,本身就沒有什麼解決問題的定式。
在卡拉比猜想被解決之前,微分幾何學(xué)界從來沒想到偏微分方程和黎曼幾何還能這麼玩。而卡拉比猜想被解決之後,基於pde方法的幾何分析學(xué)便應(yīng)運(yùn)而生了。
說不準(zhǔn),在解決ns方程的同時(shí),他能從中發(fā)現(xiàn)更偉大的東西也不一定?
迴到書房之後,他便打開了電腦,開始檢索起關(guān)於ns方程的文獻(xiàn)。
畢竟是被克雷研究所懸賞的世紀(jì)難題,ns方程在偏微分領(lǐng)域擁有舉足輕重的地位,因此偏微分方程界的學(xué)者們圍繞這個(gè)方程也做出了不少漂亮的研究成果。
每當(dāng)研究陷入瓶頸的時(shí)候,陸舟都會(huì)通過從數(shù)據(jù)庫(kù)中檢索論文的方式,試圖去尋找自己所欠缺的那塊拚?qǐng)D。
就像佩雷爾曼在看到漢密爾頓關(guān)於理解ri流奇點(diǎn)的論文之後,立刻將這套方法運(yùn)用在解決龐加萊猜想時(shí)一樣,他也在尋找著類似的東西。
然而……
想要找到這塊拚?qǐng)D,顯然沒有這麼簡(jiǎn)單。
窗外的晚霞已經(jīng)鋪上了漫天的繁星,牆上掛鍾的時(shí)針也走過了12點(diǎn),開始向著1點(diǎn)偏移。
長(zhǎng)出一口氣,陸舟靠在了椅子上,捏了捏有些酸澀的眉心。
他腦海中那飄忽不定的思緒,一會(huì)兒像是幾乎凝固的墨汁,一會(huì)兒又變成了發(fā)散的煙柱,令人頭疼不已。
然而也就在這隱約之中,陸舟的心中忽然出現(xiàn)了一絲明悟。
“沒有工具的話,為什麼不自己造一個(gè)……”
如果將每一個(gè)分子抽象成一個(gè)點(diǎn),而將容納這些點(diǎn)的集合,抽象成局部具有歐幾裏得空間性質(zhì)的空間,他完全可以基於此構(gòu)造一個(gè)近似的三維流形,並且將拓?fù)鋵W(xué)的方法進(jìn)去……
這看起來似乎將“簡(jiǎn)單”的問題變的更“複雜”了。
但似乎……
是行得通的?
眼睛越來越亮。
抓著那冥冥之中的一絲靈感,陸舟迅速抓起了圓珠筆,在紙上寫下了一行字。
【lu流形】
然後,他手中的筆,便停不下來了……
……
當(dāng)全身心地沉浸於一項(xiàng)工作時(shí),時(shí)間總是過得很快。
轉(zhuǎn)眼間,就到了四月。
在這一個(gè)多月的時(shí)間裏,將自己關(guān)在屋子裏的陸舟,期間還度過了一個(gè)短暫而單調(diào)的春假。
而這段時(shí)間裏,除了薇拉來過他的屋子一次,給他送來了這段時(shí)間的教學(xué)報(bào)告之外,陸舟幾乎切斷了與外界的交流。
而事實(shí)上,雖然那些東西是他讓薇拉送來的,但那些東西送來之後便被他擱在了書房的角落,幾乎沒有翻過。
在普林斯頓,陸教授獨(dú)特的鑽研問題方式,幾乎可以算是一段趣聞了,就連入學(xué)不久的本科生都從老生那裏聽說過。
或許是知道他的研究進(jìn)入了關(guān)鍵時(shí)期,費(fèi)弗曼教授也很體貼地沒有打擾他,而是暫時(shí)停止了定期的交流會(huì)議,開始了分別同時(shí)進(jìn)行獨(dú)立研究。
而現(xiàn)在,這些努力終於有了結(jié)果。
停下了手中的筆,看著麵前那疊草稿紙,陸舟的嘴角勾起了一絲笑容。
腦中那根繃緊的弦終於鬆弛下來的陸舟,開始想起了些無關(guān)緊要的事情。
比如,lu流形這個(gè)名字,會(huì)不會(huì)有點(diǎn)不太好聽?
要不改成lz流或者luzhu流?
思來想去,陸舟覺得還是不要為難後世的考生比較好。
前者似乎容易產(chǎn)生奇怪的歧義,後者讀起來又不順口。
“中文名就叫陸氏流形好了,英文譯名l流形,簡(jiǎn)稱l流!”
對(duì)這個(gè)名字滿意多了,陸舟隨手改了稿紙上標(biāo)題,然後將這些紙摞好放在了桌角,準(zhǔn)備逐一將這些內(nèi)容整理到電腦上。
就在他剛剛打開電腦,正要開始這項(xiàng)工作的時(shí)候,屏幕右下角的工作欄忽然彈出了一串氣泡。
小艾:【主人,有新郵件!(??????)??】
看到這條消息,陸舟隨手點(diǎn)開了小艾扔過來的鏈接,登錄了郵箱。
郵件是《數(shù)學(xué)年刊》發(fā)來的。
至於內(nèi)容,自然是關(guān)於角穀猜想證明的那篇論文。
將郵件從頭看到了尾,陸舟的臉上再次浮現(xiàn)了一絲笑容。
雖然是意料之中的事情,但看到這封郵件之後,他還是由衷地為他的學(xué)生們感到高興。
根據(jù)《數(shù)學(xué)年刊》編輯部的決定,他們的論文將被刊登在最近一期的期刊上,並且接受整個(gè)數(shù)學(xué)界的檢驗(yàn)……