第477章 NS方程的首次嘗試 一 二維NS方程求解
揭牌儀式結束後，徐辰又在安城待了十來天。
日子過得很平淡，也很充實。
大年三十的年夜飯，徐家難得湊了個大團圓。徐媽準備了各種帶著濃濃江南風味的傳統年菜堆得連放筷子的地方都沒了。徐爸今天格外高興，破例多喝了幾杯茅台，那張向來嚴肅的臉上，一整晚都掛著藏不住的驕傲。
接下來的幾天，徐辰陪著父母走親訪友，在長輩們的推杯換盞中，聽了無數遍變著花樣的「出息了」、「光宗耀祖」之類的誇獎。
到了春節後期，走親戚的流程基本結束。對普通人來說，過年在家最舒服的消遣，莫過於窩在沙發上打打麻將、刷刷短視頻，或者拉上幾個好友在峽谷里開黑搓幾局遊戲。
徐辰在沙發上癱了半天，覺得確實需要找點樂子消遣消遣。
於是他把主意打到了N-S方程上。
「反正閒著也是閒著，拿N-S方程消遣消遣吧。」
徐辰溜達進了書房，順手抽出一沓嶄新的A4草稿紙。
……
他拿起筆，在草稿紙的最上方寫下了納維-斯托克斯方程的核心表達式：
∂u/∂t + (u·∇)u = -∇p + ν∆u
∇·u = 0
雖然決定了要從這個千禧難題下手，但作為一個正兒八經的純粹數學家而非流體力學專家，徐辰的第一反應，是先用二維的情況做個測試。
畢竟只是消遣，不必非要一上來就往最硬的地方撞。
……
在偏微分方程（PDE）的歷史上，二維N-S方程的全局光滑性其實早在大半個世紀前，就已經被前蘇聯偉大的女數學家拉季任斯卡婭等人徹底證明了。
那是一個PDE領域的黃金時代。二戰後，蘇聯數學界臥虎藏龍，拉季任斯卡婭、索博列夫、卡托波利斯基這幫大師級人物在莫斯科聚集一堂，用他們的筆尖和粉筆灰，一個接一個地打開了流體力學的數學大門。這位被後世尊稱為「彼得堡數學女王」的拉季任斯卡婭，當年才不過三十出頭，就已經發表了那篇徹底改變N-S方程研究方向的論文。
當時她採用的是經典的先驗估計方法：利用Galerkin逼近法先從N維有限維空間出發，構造出一族弱解，然後再依託Sobolev嵌入定理和Gagliardo-Nirenberg不等式這兩件大殺器，像剝洋蔥一樣，一層一層地去估算能量的上限，最終用鐵血般的數學邏輯鎖死了光滑解的存在性。
那套方法當時簡直是藝術品級別的。
……
在現在的徐辰眼中，這種純分析手段也有缺陷，稍微有點靠蠻力。
這種方法強行把流體質點當成一堆散亂的幾何點，完全忽略了流體運動本身的幾何結構。在二維空間裡，因為空間維度低，索伯列夫空間的臨界指數剛好夠用，前人還能靠著精妙的數學技巧強行給非線性項套上韁繩。可一旦推廣到三維，空間的自由度暴增，這種純粹靠不等式放縮的「硬撼」方式就會瞬間失效。
類比來說，二維流體就像是在平底鍋里攤煎餅，怎麼轉都在鍋里；而三維流體直接變成了廚房裡失控的高壓鍋噴出的蒸汽，帶著更加複雜的物理機制。
徐辰沒打算走老路。
他閉上眼睛，開始在腦海中思考。
「流體在二維平面里的旋轉，本質上是一種被高度約束的拓撲形態。既然前人的分析工具在維度升高時會失效，那為什麼不用幾何和拓撲的語言，把流體的運動直接『翻譯』成幾何體的形變？」
二維流體的核心特徵是什麼？渦量是標量，流體的旋轉機制十分簡潔……但這個「簡潔「本身，能從什麼角度去切入呢？
用調和分析？不，太常規了。用傅立葉變換？也有點老套。
等等……
徐辰睜開眼睛，眼中閃過一道光芒。
二維流體在光滑性上之所以如此「聽話「，本質上是因為渦量的約束——它限制了非線性項的「野性「。在二維空間中，渦量作為標量滿足輸運方程，這意味著它在流體線元拉伸時不會產生自增殖。這種約束，如果從拓撲的角度去看，其實就是一種極其嚴格的守恆律。而守恆律，在現代微分幾何的語言裡，對應著什麼？
對應著纖維叢上的示性類！
徐辰的眼神瞬間銳利起來。
沒錯，就是這個方向。如果將二維流體的速度場 u 看作複流形 M 上的一個聯絡形式 θ，那麼流體的旋度（渦量）就對應著該聯絡的曲率形式 Θ = dθ + θ ∧ θ。在拓撲學中，曲率在流形上的積分直接關聯著該纖維叢的第一陳類。
這意味著整個二維N-S方程的能量演化過程，可以被編碼為某個纖維叢上示性類的幾何演化。這樣一來，整個問題就從「苦哈哈地用一萬個不等式去證明能量不會爆炸「，轉變為「證明某個代數拓撲不變量在流形映射過程中保持有界「。
這是一個從物理直覺到拓撲語言的完美轉化。
……
徐辰深吸了一口氣，壓抑住內心的興奮，筆尖開始在草稿紙上飛速舞動。
沙沙沙——
「設 E 是緊黎曼面 M 上的復向量叢，定義聯絡 θ 的曲率形式為 Θ。引入耗散項後，我們在餘切叢 T*M 上構造局部坐標系……」
*d/dt ∫_M Tr(Θ ∧ Θ) + ν ∫_M |dΘ|^2 = ∫_M Tr(Θ ∧ [θ， Θ])
看著這一行公式，徐辰的嘴角微微上揚。
在傳統的PDE推導中，最難纏的就是右側的非線性耦合項。但在微分形式的語言裡，由於外代數的天然反對稱性，在這個特定的二維流形拓撲結構下：
Tr(Θ ∧ [θ， Θ]) ≡ 0
「歸零了。」
徐辰無聲地笑了起來。
不需要什麼複雜的先驗估計和繁瑣的自舉循環論證。在這個新的幾何框架下，原本複雜的非線性對流項，被外代數的反對稱性給「物理抹除」了！
他順水推舟，配合幾個簡單的德拉姆上同調不等式，整個證明過程相當自然，很流暢地就推導到了終點。
大約兩個半小時後，徐辰放下筆，看著眼前的兩頁草稿。
他滿意地點了點頭。
漂亮。
……
相比於前人充滿了各種繁瑣能量估計和局部化論證的經典證明方法，徐辰的這套方法相當優雅。
「不錯。「徐辰靠回椅背上。「看來二維的這套思路確實可行。「
既然二維的測試如此順利，一個想法自然而然地浮現在了他的腦海里。
「那不如直接推向三維試試？「
徐辰翻過一頁新的草稿紙，信心滿滿地提起筆。
日子過得很平淡，也很充實。
大年三十的年夜飯，徐家難得湊了個大團圓。徐媽準備了各種帶著濃濃江南風味的傳統年菜堆得連放筷子的地方都沒了。徐爸今天格外高興，破例多喝了幾杯茅台，那張向來嚴肅的臉上，一整晚都掛著藏不住的驕傲。
接下來的幾天，徐辰陪著父母走親訪友，在長輩們的推杯換盞中，聽了無數遍變著花樣的「出息了」、「光宗耀祖」之類的誇獎。
到了春節後期，走親戚的流程基本結束。對普通人來說，過年在家最舒服的消遣，莫過於窩在沙發上打打麻將、刷刷短視頻，或者拉上幾個好友在峽谷里開黑搓幾局遊戲。
徐辰在沙發上癱了半天，覺得確實需要找點樂子消遣消遣。
於是他把主意打到了N-S方程上。
「反正閒著也是閒著，拿N-S方程消遣消遣吧。」
徐辰溜達進了書房，順手抽出一沓嶄新的A4草稿紙。
……
他拿起筆，在草稿紙的最上方寫下了納維-斯托克斯方程的核心表達式：
∂u/∂t + (u·∇)u = -∇p + ν∆u
∇·u = 0
雖然決定了要從這個千禧難題下手，但作為一個正兒八經的純粹數學家而非流體力學專家，徐辰的第一反應，是先用二維的情況做個測試。
畢竟只是消遣，不必非要一上來就往最硬的地方撞。
……
在偏微分方程（PDE）的歷史上，二維N-S方程的全局光滑性其實早在大半個世紀前，就已經被前蘇聯偉大的女數學家拉季任斯卡婭等人徹底證明了。
那是一個PDE領域的黃金時代。二戰後，蘇聯數學界臥虎藏龍，拉季任斯卡婭、索博列夫、卡托波利斯基這幫大師級人物在莫斯科聚集一堂，用他們的筆尖和粉筆灰，一個接一個地打開了流體力學的數學大門。這位被後世尊稱為「彼得堡數學女王」的拉季任斯卡婭，當年才不過三十出頭，就已經發表了那篇徹底改變N-S方程研究方向的論文。
當時她採用的是經典的先驗估計方法：利用Galerkin逼近法先從N維有限維空間出發，構造出一族弱解，然後再依託Sobolev嵌入定理和Gagliardo-Nirenberg不等式這兩件大殺器，像剝洋蔥一樣，一層一層地去估算能量的上限，最終用鐵血般的數學邏輯鎖死了光滑解的存在性。
那套方法當時簡直是藝術品級別的。
……
在現在的徐辰眼中，這種純分析手段也有缺陷，稍微有點靠蠻力。
這種方法強行把流體質點當成一堆散亂的幾何點，完全忽略了流體運動本身的幾何結構。在二維空間裡，因為空間維度低，索伯列夫空間的臨界指數剛好夠用，前人還能靠著精妙的數學技巧強行給非線性項套上韁繩。可一旦推廣到三維，空間的自由度暴增，這種純粹靠不等式放縮的「硬撼」方式就會瞬間失效。
類比來說，二維流體就像是在平底鍋里攤煎餅，怎麼轉都在鍋里；而三維流體直接變成了廚房裡失控的高壓鍋噴出的蒸汽，帶著更加複雜的物理機制。
徐辰沒打算走老路。
他閉上眼睛，開始在腦海中思考。
「流體在二維平面里的旋轉，本質上是一種被高度約束的拓撲形態。既然前人的分析工具在維度升高時會失效，那為什麼不用幾何和拓撲的語言，把流體的運動直接『翻譯』成幾何體的形變？」
二維流體的核心特徵是什麼？渦量是標量，流體的旋轉機制十分簡潔……但這個「簡潔「本身，能從什麼角度去切入呢？
用調和分析？不，太常規了。用傅立葉變換？也有點老套。
等等……
徐辰睜開眼睛，眼中閃過一道光芒。
二維流體在光滑性上之所以如此「聽話「，本質上是因為渦量的約束——它限制了非線性項的「野性「。在二維空間中，渦量作為標量滿足輸運方程，這意味著它在流體線元拉伸時不會產生自增殖。這種約束，如果從拓撲的角度去看，其實就是一種極其嚴格的守恆律。而守恆律，在現代微分幾何的語言裡，對應著什麼？
對應著纖維叢上的示性類！
徐辰的眼神瞬間銳利起來。
沒錯，就是這個方向。如果將二維流體的速度場 u 看作複流形 M 上的一個聯絡形式 θ，那麼流體的旋度（渦量）就對應著該聯絡的曲率形式 Θ = dθ + θ ∧ θ。在拓撲學中，曲率在流形上的積分直接關聯著該纖維叢的第一陳類。
這意味著整個二維N-S方程的能量演化過程，可以被編碼為某個纖維叢上示性類的幾何演化。這樣一來，整個問題就從「苦哈哈地用一萬個不等式去證明能量不會爆炸「，轉變為「證明某個代數拓撲不變量在流形映射過程中保持有界「。
這是一個從物理直覺到拓撲語言的完美轉化。
……
徐辰深吸了一口氣，壓抑住內心的興奮，筆尖開始在草稿紙上飛速舞動。
沙沙沙——
「設 E 是緊黎曼面 M 上的復向量叢，定義聯絡 θ 的曲率形式為 Θ。引入耗散項後，我們在餘切叢 T*M 上構造局部坐標系……」
*d/dt ∫_M Tr(Θ ∧ Θ) + ν ∫_M |dΘ|^2 = ∫_M Tr(Θ ∧ [θ， Θ])
看著這一行公式，徐辰的嘴角微微上揚。
在傳統的PDE推導中，最難纏的就是右側的非線性耦合項。但在微分形式的語言裡，由於外代數的天然反對稱性，在這個特定的二維流形拓撲結構下：
Tr(Θ ∧ [θ， Θ]) ≡ 0
「歸零了。」
徐辰無聲地笑了起來。
不需要什麼複雜的先驗估計和繁瑣的自舉循環論證。在這個新的幾何框架下，原本複雜的非線性對流項，被外代數的反對稱性給「物理抹除」了！
他順水推舟，配合幾個簡單的德拉姆上同調不等式，整個證明過程相當自然，很流暢地就推導到了終點。
大約兩個半小時後，徐辰放下筆，看著眼前的兩頁草稿。
他滿意地點了點頭。
漂亮。
……
相比於前人充滿了各種繁瑣能量估計和局部化論證的經典證明方法，徐辰的這套方法相當優雅。
「不錯。「徐辰靠回椅背上。「看來二維的這套思路確實可行。「
既然二維的測試如此順利，一個想法自然而然地浮現在了他的腦海里。
「那不如直接推向三維試試？「
徐辰翻過一頁新的草稿紙，信心滿滿地提起筆。