462章 哦原來是醬紫的

　　“算法，我明白了！”蕭俊龍天資聰穎，他很快從威騰的提示中悟出大道。

　　“蕭，來吧。”威騰笑道，將紙杯遞給蕭俊龍。

　　蕭俊龍施展彈指神功，在紙杯底部戳了個洞。

　　有些男人習慣將小拇指的指甲蓋留長，比如說蕭俊龍，這個習慣的養成主要是出于科研考慮，戳個紙杯什么的比較便捷。

　　左手按著出水開關，蕭俊龍用右手拿著紙杯懸空接水。

　　在飲水機流體力學體系以及地球引力的雙體系作用下，水柱貫穿紙杯底部的漏洞，流入飲水機的槽中。

　　“通過這個實驗，我們觀察到，水流速度保持恒定的情況下，不管我對紙杯施加怎樣的附加外力從而導致它的形變，最終的結果只有一個，就是紙杯中的水將全部漏掉。”蕭俊龍看著威騰，崇拜的說到：“威騰教授是真正的大師，他用最簡單的實驗，揭示了最難解答的問題的本質。”

　　威騰保持神秘微笑并不言語，沈奇問到：“所以呢，蕭博士？”

　　蕭俊龍結束簡單實驗，來到白板前，拿水性筆在白板上寫出幾行式子：“滿足速度壓力條件的有限元算法有很多種，通過這個實驗的啟迪，我們可以初步擬定，局部高斯積分算法是求解具有普適性意義NS方程通解的有效途徑。所以下一步的工作重點應該聚焦局部高斯積分算法。”

　　“嗯，蕭博士的觀點具備可行性。”周雨安也是這么認為的，只不過反應慢了一拍，讓蕭俊龍搶先秀了一把感知力。

　　沈奇不置可否，他問威騰：“你怎么看，愛德華？”

　　威騰來到飲水機前，蹲下，做了個出人意料的動作。

　　威騰歪著脖子張開嘴，嘴部對準出水口，同時用手按動出水開關。

　　水柱泄下，流進威騰口中。

　　“沃特？”周雨安傻眼了。

　　“這是什么操作？”蕭俊龍眉頭緊鎖，不得其解。

　　“這難道是…”周雨安猛然頓悟，他因為過度激動而顫抖：“記得我在普林斯頓讀博時，費加利教授有一天晚上喝多了，他跟我提起過一種不可思議的算法，偏微分方程的無限流算法！”

　　蕭俊龍陷入沉思：“無限流？你想要知道生命的意義嗎？”

　　周雨安：“別扯遠了老蕭，你根本不懂什么是無限流！一句話概括就是，求解大雷諾數NS方程非穩定化參數的精確無限制算法！”

　　“真有這種算法？可這句話，貌似本身就是自相矛盾的啊！”蕭俊龍半信不信的樣子，他的燕大博導沒教過他什么無限流算法，他聽都沒聽過。

　　這時威騰結束了實驗示范，他站了起來，對周雨安點點頭說到：“我跟費加利教授討論過偏微分方程的無限流算法，它只存在于一個極小的學術圈子中，并未公開報道。”

　　威騰轉而望向沈奇：“奇，你應該知道這種算法，它是普林斯頓的原創。”

　　沈奇說到：“是的，我知道，也研究過。但問題是，偏微分方程的無限流算法跟NS方程類似，它具備應用性，然而卻從未被徹底證明其命題正確性，這也是它沒有被公開報道的原因。也就是說，如果使用無限流算法去求解NS方程，相當于用一個假設去驗證另一個假設。我們現在不需要假設，我們需要的是‘歐幾里得的公理’。”

　　歐幾里得的學術貢獻，在場幾人倒背如流。

　　歐幾里得用十條公理推導出23個定義、467個命題，從而構建了經典不朽的歐氏幾何體系。

　　公理就是常識性的認知，不需要再加證明的基本命題。

　　建立在假設基礎上的理論無法被學術界廣泛認可，沈奇需要無懈可擊的“公理”，湊不齊十條，哪怕能得到一條也好。

　　“所以，證明偏微分方程的無限流算法，是解決NS方程的前提條件。你們同意我的觀點嗎？”沈奇詢問眾人。

　　威騰：“同意。”

　　周雨安、蕭俊龍：“完全同意。”

　　“那你有具體思路嗎？”周雨安問沈奇。

　　“我也來做個實驗吧。”沈奇走到飲水機前，今天這場學術交流會，這臺飲水機是毫無爭議的主角。

　　“嚯！”沈奇清嘯一聲，直接將純凈水桶拔了出來，力拔山兮氣蓋世。

　　周雨安碉堡了，蕭俊龍懵逼了，就連威騰也露出疑惑的表情。

　　沈奇按動出水開關，出水口涌出涓涓細流，涌了一會兒便斷流。

　　“這一招叫釜底抽薪。”沈奇用漢語說到，完事對威騰說英語：“如果鍋下面的火熄滅了，那么鍋中的食物無論如何也煮不熟。證明偏微分方程的無限流算法的最有效方法，應該是直接增量法，或者減量法。這需要進一步研究，但我們至少有了方向性。”

　　威騰眼睛一亮：“好主意，就這么辦！”

　　四個男人在會議室中討論了一整天，做了幾個實驗，最終達成一致意見，求解NS方程的通解，首先需證明偏微分方程的無限流算法的命題正確性。證明無限流算法應從直接增量法或者減量法切入，這個證明過程將非常復雜，計算量很大。后期的誤差分析將建立在巨量的數據上，普通計算機很難搞定，需要用到超算。

　　不管如何，方向明確了，總好過兩眼一抹黑。

　　交流是非常重要的，有些問題需要集體討論，取各人的學術思想亮點整合在一起，便形成強大的集體智慧。

　　其實威騰沒來中國之前，沈奇最初構思的NS方程的解決方案，是局部高斯積分法多尺度增量法，這比蕭俊龍戳破紙杯一個洞悟出的算法高出一個檔次，卻仍存在麻煩的問題，即算法的不穩定性。

　　沈奇也是跟威騰他們幾個人聊著討論著，悟出一招更吊的釜底抽薪。

　　威騰是數學算法的頂尖高手，他曾為了更好的解釋弦理論，自創了一套數學算法體系，因此獲得菲爾茲獎。

　　接下來沈奇提議，由威騰設計算法框架，周雨安、蕭俊龍協助，NS方程項目進入實質性推進階段。

　　NS方程項目算是明確了方向，奠定了主攻基調，并且由威騰帶隊、沈奇在幕后統籌，周雨安、蕭俊龍是中心最精干的數學大將，這是一支作風優良的精銳之師。

　　數學大一統這個項目，威騰興許也能幫上一點忙，但威騰這把年紀精力有限，別指望老爺子四處開花。

　　下午四點多快五點的時候，沈奇開車來到數院門口，等歐葉下班。

　　“手中無大將，真強當先鋒。”沈奇坐在車上感慨，數學大一統是非常難搞的，并不是說李真強的水平不行，李真強也算是一員猛將，擱三國時代李真強就相當于廖化，武力值接近80呢。

　　數學大一統這個項目，除了“廖化”之外，沈奇還需要至少一位武力值95以上的“五虎上將”級的超級猛將。

　　“毫無疑問，我老婆就是這員超級猛將。”沈奇非常了解歐葉，再過三個多月，歐葉就該生了。

　　懷孕和哺乳期間，歐葉是難以上陣的。

　　“我老婆的數論坑我先填著，填到她能正常工作了，就換她上陣。”沈奇在車里等到5點十五分，歐葉還沒出來。

　　歐葉下班通常是很準時的，五點離開辦公室，五點五分之前來到數院門口。

　　“不會有什么事情吧？”沈奇緊張了，這個時期的準爸爸是敏感的。

　　沈奇熄火下車，進入數院，輕車熟路來到歐葉的辦公室門口。

　　“你真笨！”辦公室里傳來歐葉的聲音。

　　還好還好，老婆沒事，加班呢…沈奇安心了，他透過門縫看到，歐葉正在教育一個小姑娘，把人家小姑娘都教育哭了，嚶嚶嚶好可憐的樣子。