478章 上超算(1 / 1)

沈奇來到書房,鋪開紙卷,開始推導計算。n-s方程的問題即描述不可壓縮流體動力學的問題,這個問題涉及不可壓縮黏性流體的n-s方程解的存在性和光滑性。n-s方程項目組已經把前麵的論述做完了,現在隻差最後一步,找到不可壓縮黏性流體的n-s方程解的存在性和光滑性的完整解。沈奇認為四個關鍵式子中,式(1)是最重要的一把鑰匙,所以周雨安將其列為式(1),放在最前麵。麵對困擾了人們多年的千禧難題n-s方程,周雨安能做到這一步,體現出了巨大的學術進步和較高的數學水平。最後一擊交到了沈奇手中,他做出一項新的計算,對式(1)補充邊界條件,即對空間坐標給出周期性邊界條件和初始條件。“一點點,還差一點點。”思路越來越清晰,難題的偽裝被沈奇一層層剝去,最後一層麵紗包覆在最終答案上,揭開它,破解它。經過沈奇完善,式(1)到(3)確定了初始條件和邊界條件,唯一還不能確定的是壓強p(t,x)。好幾年的醞釀,一年來的不斷探討、具體執行,最近一個月的集火攻堅,n-s方程項目推進到此刻,壓強無法阻擋沈奇前進的步伐。沈奇得到一組希爾伯特空間的向量函數f(t,x)=(f1(t,x),f2(t,x),f3(t,x))∈r^3,他一鼓作氣,算出了歐氏空間的標量積,以及最重要的一個範數。n-s方程的最後一層神秘麵紗於今夜被揭開,在沈奇的書房中。沈奇在紙上寫出一個式子,這是整個項目的最後一個式子,相對於前麵長篇累牘的偏微分方程組,最終的結論並不算太複雜:Σ(iiuk(t,?)ii^2l2(Ω)+∫iigraduk(η,?)ii^2l2(q)dη)≤Σ∫iifk(η,?)ii^2l2(q)dη“是的,這就是n-s方程具有普遍意義的通解,我終於找到你了!”沈奇握緊拳頭揮動兩下,他衝出書房,想要親親閨女和老婆。“算了,天亮再親吧。”沈奇看到牆上的掛鐘,現在是淩晨2點,老婆和閨女已經睡了。沈奇回到書房,驗證了一遍,這個通解滿足式(1)-(4),它是毫無疑問的正確答案。沈奇整理完手稿,一輪朝陽升起。“你熬了一通宵?”歐葉起床了,娃還沒睡醒。“n-s方程搞定了,今後能讓我熬夜的項目不多了。”沈奇坐上餐桌,和歐葉共進早餐。“搞定了,太好了,給我瞅瞅唄。”歐葉很振奮,她天天喂奶,在家坐月子,奶媽當久了其實也很無聊。雖然專業不對口,但n-s方程的解決,對於歐葉來說也相當於一劑興奮劑。沈奇將n-s方程的手稿呈遞給老婆:“我整理過了,不過還是有點亂,這是初版,請歐博士過目、斧正。”歐葉不看前麵無比複雜的推導計算和論述,她直接翻到後麵的結論頁,盯著n-s方程的通解,眼睛也不砸:“就這個呀?”“對,就這玩意。”沈奇點點頭,喝杯咖啡提神。短時間內歐葉難以吃透沈奇的手稿,她的直覺告訴她,老公又做了一件超級牛的事情:“祝賀你老公,但你還是要注意身體,彆熬夜。”“老婆最棒了。”沈奇親了歐葉一口,忽然心血來潮,將手稿的最後一頁,也就是寫著n-s方程通解的這頁抽出來,拿筆在紙上寫到:愛女沈諾菲64天,其父破納維-斯托克斯方程,其母首驗通過。“你留紀念呢!”歐葉噗的一聲笑了,說到:“諾菲其母因專業不對口,笑而不語,就是打醬油的。”沈奇把手稿交給歐葉:“最後一頁是最重要的結論頁,這頁手稿是我狀態最神勇時寫下的第一版手稿,請諾菲母後保存此頁,今後交於諾菲,代代相傳。”歐葉接過手稿:“等會兒我讓翠萍姐,拿出去裱起來。”沈奇摟著老婆哈哈大笑:“如此甚好!”來到中心,沈奇重新寫了最後一頁,將200多頁的手稿掃描為pdf格式,隨後召集威騰、周雨安、蕭俊龍開會。“通解我已經算出來了,接下來請三位分彆驗證,等你們的消息哦。”熬了一宿的沈奇靠咖啡因強行提神,看上去神采奕奕,實際上他已經很疲憊了。“大佬果然是大佬啊!”蕭俊龍激動的跳了起來,威騰、周雨安同樣振奮。威騰等三人每人找一個安靜獨立的空間,各自驗證n-s方程破解方案。沈奇在中心補覺,一覺醒來,滿血複活。人工驗證不是一兩天就能搞定的,在人工驗證的同時,沈奇開始聯係燕大超算中心,預約深騰x8810的使用權。深騰係列超算是同一家中國公司研發製造的,燕大幾年前購買了當時最新的超算深騰x8810,命名為“未名一號”,經過幾年的運行、摸索,“未名一號”趨於成熟穩定,排名全球超算top20之內。人工驗證主要是從邏輯思路上進行正向逆向的推導、核查,海量的數據處理和預測,沒有一個人類可以搞定,沈奇也搞不定,必須使用超算。燕大超算中心主任聽說沈奇想使用“未名一號”驗證n-s方程,他絕對支持,為沈奇預留了使用時間。威騰、周雨安、蕭俊龍三人非常熟悉這套n-s方程破解方案,其中很多工作就是他們完成的。即便如此,最先完成人工手動驗證的威騰,還是花費了一個多禮拜的時間。“哇喔,完美,奇,看來我們真的解決了n-s方程,至少邏輯上沒有問題。”威騰和沈奇握手、擁抱,兩位菲獎得主聯手完成了一個課題。過了幾天,周雨安、蕭俊龍完成人工驗證,沒問題,上超算吧!燕大超算中心迎來了由沈奇、威騰領銜的n-s方程項目組。“未名一號”已經啟動,燕大超算中心的研究員們摩拳擦掌做好了一切準備,就等沈教授一聲令下開啟運算程序。

举报本章错误( 无需登录 )