477章 N-S方程新進展(2 / 2)

ns方程的問題,我們轉化為尋求在點x和時刻t0,a時的速度向量和標量函數問題。周雨安切換ppt到。

這一頁寫了個推論:推論1:對於fl2,如果我們找到式14的解,即求解出了ns方程的廣義解,這個解具有普遍意義。

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

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

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

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

我搞不定。周雨安搖搖頭,望向蕭俊龍:老蕭,要不你上

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

ns方程項目推進到這個階段,四個人都做出了貢獻。

目前的局面是,周蕭二位大將把小怪全部清干凈了,剩下一個oss需要兩位大佬解決。

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

ns方程項目進入了攻堅階段,沈奇和威騰進行了分工。

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

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

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

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

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

所以我發明了這個新工具,它算是一種處理方法,它是成立的,簡單高效。沈奇向威騰展示了他發明的新方法,設pn是h中的n維正交射影算子,那么對於任何xh,當n時,pnxx。

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

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

不管能不能解決ns方程,沈奇每天5點准時下班回家。

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

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

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

沈奇:閨女,那你給我點提示唄

沈諾菲:咯咯咯。

沈奇相當驚喜:諾菲笑出聲了,兩個月就放聲大笑

看著沈奇這個樣子,沈諾菲笑個不停,這是個特別愛笑的女嬰:略略略略略。

略略略略略,周期邊界性沈奇恍然大悟,女兒說周期邊界性,那肯定沒錯

沈奇將閨女交給歐葉:孩子她媽,抱娃,我去去就來。