477章 N-S方程新進展（2/2）

「N-S方程的問題，我們轉化為尋求在點x∈Ω和時刻t∈（0，a）時的速度向量和標量函數問題。」周雨安切換PPT到下一頁。

這一頁寫了個推論：「推論1：對於f∈L2（Ω），如果我們找到式（1）-（4）的解，即求解出了N-S方程的廣義解，這個解具有普遍意義。」

「牛逼啊老周！」蕭俊龍刷的一下站了起來，周雨安最近幾個月閉關不出，幹了件了不得的事情。

前面的推導證明工作全部被周雨安搞定了，現在唯一的問題，也是最關鍵的問題，就是找到式（1）-（4）的解，證明這個推論。

「看來沒我什麼事了。」威騰笑著攤手道，他對周雨安作出的努力表示肯定。

沈奇說到：「所以現在我們只需要做一件事情，剛才周雨安講的很清楚了，證明推論1，即求出式（1）-（4）的解。那麼周雨安，這最後一擊，還是由你來完成吧。」

「我搞不定。」周雨安搖搖頭，望向蕭俊龍：「老蕭，要不你上？」

蕭俊龍搖搖頭：「老周，你都搞不定，我肯定也搞不定。後面的事情已經不是純粹的數學物理、偏微分方程、流體力學了，應該還要運用到拓撲、泛函的工具來處理。其實老周，咱倆優點突出，卻也存在共同的弱點，就是專業面較窄，綜合性的處理，還是得沈教授、威騰教授出手搞定。」

N-S方程項目推進到這個階段，四個人都做出了貢獻。

目前的局面是，周、蕭二位大將把小怪全部清乾淨了，剩下一個大BOSS需要兩位大佬解決。

兩位大佬對視一眼，那行吧，開干。

N-S方程項目進入了攻堅階段，沈奇和威騰進行了分工。

威騰的思路清晰，大局觀很好，但畢竟年紀大了，他對於高強度的具體計算有些吃力。

攻堅階段繁瑣複雜的推導計算由沈奇親自操刀，威騰負責驗算，挑毛病，找漏洞。

式（1）-（4）展開後，衍生出大量偏微分和常微分方程組，以及十幾個需要證明的定義和引理。

為了簡化計算，沈奇專門發明了一種新的工具，並和威騰探討。

「從引理2到引理9，正常思路是，考慮u2、u3到無窮的情況，那麼我們要將引理3使用無窮次，最麻煩的是非負單調增函數，這意味著我們的工作量會增加百倍以上。」

「所以我發明了這個新工具，它算是一種處理方法，它是成立的，簡單高效。」沈奇向威騰展示了他發明的新方法，設PN是H中的N維正交射影算子，那麼對於任何x∈H，當N→∞時，PNx→x。

經過威騰驗證，新工具滿足P與A的可交換性，可以運用在引理2到引理9的計算證明中，以簡化計算過程，提高效率。

即便簡化了操作，這項工作還是持續了整個9月，沈奇並沒有算出N-S方程的廣義解。

不管能不能解決N-S方程，沈奇每天5點準時下班回家。

今天，沈奇逗兩個月大閨女的時候，閨女笑了。

「諾菲，我知道你笑我沒用，連N-S方程都解不出來，這樣吧，這個方程我先不解了，留給你長大之後，你來搞定，好不好呢？」沈奇摸摸閨女的粉嫩臉蛋。

閨女繼續笑，笑的流口水。

沈奇：「閨女，那你給我點提示唄？」

沈諾菲：「咯咯咯。」

沈奇相當驚喜：「諾菲笑出聲了，兩個月就放聲大笑！」

看著沈奇這個樣子，沈諾菲笑個不停，這是個特別愛笑的女嬰：「略略略略略。」

「略略略略略，周期邊界性？」沈奇恍然大悟，女兒說周期邊界性，那肯定沒錯！

沈奇將閨女交給歐葉：「孩子她媽，抱娃，我去去就來。」