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

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

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方程都解不出來，這樣吧，這個方程我先不解了，留給你長大之後，你來搞定，好不好呢？”沈奇摸摸閨女的粉嫩臉蛋。

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

沈奇：“閨女，那你給我點提示唄？”

沈諾菲：“咯咯咯。”

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

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

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

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