第462章 哦原來是醬紫的

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

威騰：“同意。”

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

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

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

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

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

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

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

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

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