困擾人類200年,數學史最難最複雜的公式之一:納維-斯託克斯方程

2020-12-11 胖福的小木屋

相比起黎曼猜想、費馬大定理、哥德巴赫猜想等全球知名的難題,納維-斯託克斯方程的存在感很低,即使在世界千禧年七大難題裡,也很少會有人提及,最重要的原因就是,這個難題實在是不太好理解,尤其對於普通人而言,甚至名列榜首的P/NP問題普通人都可以揣摩到一些,但就是很難理解納維—斯託克斯方程,這也是為什麼民科很少觸及這個問題的原因。

大家可以看看百度百科上對這個難題的描述:

起伏的波浪跟隨著我們的正在湖中蜿蜒穿梭的小船,湍急的氣流跟隨著我們的現代噴氣式飛機的飛行。數學家和物理學家深信,無論是微風還是湍流,都可以通過理解納維-斯託克斯方程的解,來對它們進行解釋和預言。雖然這些方程是19世紀寫下的,我們對它們的理解仍然極少。挑戰在於對數學理論作出實質性的進展,使我們能解開隱藏在納維葉-斯託克斯方程中的奧秘。

沒頭沒尾,你甚至在這段話裡都很難揣測出這個難題究竟描述的是什麼問題,流露出一股玄學的問題,今天我們就來聊聊納維-斯託克斯方程。

這個方程並不是一個人提出來的,1775年,著名數學家歐拉,對,沒有錯就是數學界四大天王歐拉,他如今又來摻和流體力學了,他在《流體運動的一般原理》一書中根據無粘性流體運動時流體所受的力和動量變化從而推導出了一組方程。

方程如下:(axD+bxD+c)y=f(x)(只是其中一種形式,還有泛函極值條件的微分表達式等),這是屬於無粘性流體動力學(理想流體力學)中最重要的基本方程,是指對無粘性流體微團應用牛頓第二定律得到的運動微分方程,它描述理想流體的運動規律。奠定了理想流體力學基礎。

粘性流體是指粘性效應不可忽略的流體。自然界中的實際流體都是具有粘性,所以實際流體又稱粘性流體,是指流體質點間可流層間因相對運動而產生摩擦力而反抗相對運動的性質。

1821年,著名工程師納維推廣了歐拉的流體運動方程,考慮了分子間的作用力,從而建立了流體平衡和運動的基本方程。方程中只含有一個粘性常數。

1845年斯託克斯從連續統的模型出發,改進了他的流體力學運動方程,得到有兩個粘性常數的粘性流體運動方程的直角坐標分量形式,這就是後世所說的納維-斯託克斯方程。

納維-斯託克斯方程有很多種表達形式

解釋納維-斯託克斯方程的細節之前,首先,必須對流體作幾個假設。第一個是流體是連續的。這強調它不包含形成內部的空隙,例如,溶解的氣體氣泡,而且它不包含霧狀粒子的聚合。另一個必要的假設是所有涉及到的場,全部是可微的,例如壓強P,速度v,密度ρ,溫度Q等等。該方程從質量,動量守恆,和能量守恆的基本原理導出。

對此,有時必須考慮一個有限的任意體積,稱為控制體積,在其上這些原理很容易應用。該有限體積記為ω,而其表面記為ω。該控制體積可以在空間中固定,也可能隨著流體運動。

可以說納維-斯託克斯方程是眾多科學家和工程師的推動下產生的,是一組描述像液體和空氣這樣的流體物質的方程。這些方程建立了流體的粒子動量的改變率(力)和作用在液體內部的壓力的變化和耗散粘滯力(類似於摩擦力)以及引力之間的關係。這些粘滯力產生於分子的相互作用,能告訴我們液體有多粘。這樣,納維-斯託克斯方程描述作用於液體任意給定區域的力的動態平衡。

在流體力學中,有很多方程,但很多方程都和納維爾-斯託克斯方程有著聯繫,納維-斯託克斯方程可以說描述了流體領域的大部分條件,當然了,該方程也有其適用範圍,該方程只適用於牛頓流體。

什麼是牛頓流體呢?簡單說就是:任一點上的剪應力都同剪切變形速率呈線性函數關係的流體。一般高黏度的流體是不滿足這種關係的,說明牛頓流體和非牛頓流體有個簡單的例子就是大家熟知的虹吸現象。在低黏度下,虹吸要進行下去,吸取口必須在頁面以下,但非牛頓流體的高黏度流體下,吸取口哪怕高於液面,其虹吸依然能夠進行,因為黏度太大了。

而對於工程應用來說,大部分情況還是處理牛頓流體,或者可以近似為牛頓流體。可以說,該方程在流體力學中起著基礎性的作用,但也起著決定性的作用。

關於這組方程所涉及的難題就是,如何用數學理論闡明這組方程。對,甚至用數學理論闡明用於描述奇特黑洞的愛因斯坦場方程都會比闡述納維-斯託克斯方程更簡單一些。

所以有關納維-斯託克斯方程其解的數學性質有關的數學問題被稱為納維-斯託克斯方程解的存在性與光滑性。

儘管納維-斯託克斯方程可以描述空間中流體(液體或氣體)的運動。納維-斯託克斯方程式的解可以用到許多實際應用的領域中。比如可以運用到模擬天氣,洋流,管道中的水流,星系中恆星的運動,翼型周圍的氣流。它們也可以用於飛行器和車輛的設計,血液循環的研究,電站的設計,汙染效應的分析等等。

不過目前對於納維-斯託克斯方程式解的理論研究還是不足,尤其納維-斯託克斯方程式的解常會包括紊流。

紊流又稱湍流,是流體的一種流動狀態。當流速很小時,流體分層流動,互不混合,稱為層流,或稱為片糖;逐漸增加流速,流體的流線開始出現波狀的擺動,擺動的頻率及振幅隨流速的增加而增加,此種流況稱為過渡流;當流速增加到很大時,流線不再清楚可辨,流場中有許多小漩渦,稱為湍流,又稱為亂流、擾流或紊流。(飛機最怕遇見湍流)

雖然紊流在科學及工程中非常的重要,但是紊流無序性、耗能性、 擴散性。至今仍是未解決的物理學問題之一。

另外,許多納維-斯託克斯方程式解的基本性質也都尚未被證明。因為納維-斯託克斯方程依賴微分方程來描述流體的運動。不同於代數方程,這些方程不尋求建立所研究的變量(譬如速度和壓力)的關係,而尋求建立這些量的變化率或通量之間的關係。用數學術語來講,這些變化率對應於變量的導數。其中,最簡單情況的0粘滯度的理想流體的納維-斯託克斯方程表明,加速度(速度的導數,或者說變化率)是和內部壓力的導數成正比的。

這表示對於給定的物理問題,至少要用微積分才可以求得其納維-斯託克斯方程的解。實用上,也只有最簡單的情況才能用這種方法獲得已知解。這些情況通常涉及穩定態(流場不隨時間變化)的非紊流,其中流體的粘滯係數很大或者其速度很小(低雷諾數)。

對於更複雜的情形,例如厄爾尼諾這樣的全球性氣象系統或機翼的升力,納維-斯託克斯方程的解必須藉助計算機才能求得。這個科學領域稱為計算流體力學。

例如數學家就尚未證明在三維座標,特定的初始條件下,納維-斯託克斯方程式是否有符合光滑性的解。也尚未證明若這樣的解存在時,其動能有其上下界。

而千禧年關於納維-斯託克斯方程的問題則更為困難,它給出的問題是:在三維的空間及時間下,給定一起始的速度場,存在一向量的速度場及純量的壓強場,為納維-斯託克斯方程式的解,其中速度場及壓強場需滿足光滑及全局定義的特性。

注意,世界千禧年七大數學問題中每個數學問題的官方陳述除了P/NP問題之外,都是由此領域或者在此問題上做出過成果的菲爾茲獎得主進行撰寫,確保能夠精煉概括出問題,從而保證問題的嚴謹性,而P/NP問題因為涉及到計算機方面,所以官方陳述是由圖靈獎得主史蒂芬·庫克撰寫,納維-斯託克斯方程存在性與光滑性。查爾斯·費夫曼撰寫的官方陳述

如果你沒有辦法理解,你可以簡單理解成,科學家希望可以找出納維-斯託克斯方程的通解,也就是說證明方程的解總是存在。換句話說,這組方程能否描述任何流體,在任何起始條件下,未來任一時間點的情況。

一組用數學理論闡明都困難的方程組,你還需要去證明這個方程的解總是存在。這讓許多科學家為之崩潰。

目前來說,目前只有大約一百多個特解被解出來。而數學家讓·勒雷在1934年時證明了所謂納維-斯託克斯問題弱解的存在,此解在平均值上滿足納維-斯託克斯問題,但無法在每一點上滿足。

而自此之後,關於納維-斯託克斯問題的研究就停滯不前,所以它也被稱為最難的數學或物理公式,直到 80 年以後,陶哲軒在納維-斯託克斯問題上發表了文章《Finite time blowup for an averaged three-dimensional Navier-Stokes equation》,他的主要目的是將納維-斯託克斯方程全局正則性問題的超臨界狀態屏障形式化。粗略地說,就是抽像地建立納維-斯託克斯方程的全局正則性是不可能的。陶哲軒認為,相信抽象方法(基於能量等式的泛函分析方法比如半群等)和純粹的調和分析應該是不夠用的,可能必須要用到NS方程的特殊幾何比如vorticity,這篇文章就是構造了一個類似於NS方程、但不是原先的NS方程的一個反例。

他說,想像一下假如有人異常聰明,純粹用水創造了一臺機器,它並不由杆和齒輪而是由相互作用的水流構成。陶邊說著邊像魔術師般用手在空中比劃出一個形狀。想像一下這臺機器可以copy出另一個更小速度更快的自己,接著這個更小速度更快的又copy出另一個,不斷繼續下去,直到在一個微小的空間達到了無限的速度,從而引發了爆炸。陶笑著說到他並不是提議真的創建這樣一臺機器,這只是一個思想實驗,就像愛因斯坦導出狹義相對論。但是,陶解釋到,如果可以從數學上證明在原則上沒有什麼可以阻止這個奇妙裝置運轉,那麼這便意味著水實際上會爆炸。而且在這個過程中,他也會解決納維-斯託克斯方程的存在性與光滑性的問題。

無論怎麼樣來說,在不斷解決納維-斯託克斯方程的過程中,無數新的數學工具數學方法隨之誕生,引領著數學不斷前進發展。這就是這些難題猜想存在的意義。

相關焦點

  • 世界級千禧難題「納維-斯託克斯方程」:數學史上最複雜的公式
    相比起黎曼猜想、費馬大定理、哥德巴赫猜想等全球知名的難題,納維-斯託克斯方程的存在感很低,即使在世界千禧年七大難題裡,也很少會有人提及,最重要的原因就是,這個難題實在是不太好理解,尤其對於普通人而言,甚至名列榜首的P/NP問題普通人都可以揣摩到一些,但就是很難理解納維—斯託克斯方程,這也是為什麼民科很少觸及這個問題的原因。
  • 一個方程的故事:納維-斯託克斯方程
    納維爾在1821年將彈性理論以數學公式的形式表示,使這個領域第一次可以計算有足夠精確度的結果。1826年納維爾確認彈性模量是材料的一個基本屬性,和物體的截面二次軸矩無關,因此納維爾也是結構分析的創始者之一。當然,納維爾主要的貢獻還是納維爾-斯託克斯方程,是流體力學的理論中心。
  • 改變人類歷史的17大方程-科普,數學,公式,方程式 ——快...
    數學以最簡潔的方式,把複雜的宇宙現象和規律淋漓盡致的展現出來,正所謂宇宙不言,大美如斯!2013年,數學家和科普作家Ian Stewart 發表了他的著作——《改變世界的17個方程》,向大家詮釋了人類歷史上最偉大的17個方程。現在,我們就一起來欣賞一下宇宙最美的語言!
  • 世界級千禧難題— 「納維-斯託克斯方程」
    納維的父親在1793年過世,納維的母親讓她的叔叔Emiland Gauthey來教育納維爾。1824年納維進入法國科學院,1830年時擔任國立橋路學校的教授,次年接替奧古斯丁·路易·柯西,在巴黎綜合理工學院擔任微積分及力學的教授。納維在1821年將彈性理論以數學公式的形式表示,使這個領域第一次可以計算有足夠精確度的結果。
  • 改變人類歷史的17大方程
    數學以最簡潔的方式,把複雜的宇宙現象和規律淋漓盡致的展現出來,正所謂宇宙不言,大美如斯! 2013年,數學家和科普作家Ian Stewart 發表了他的著作——《改變世界的17個方程》,向大家詮釋了人類歷史上最偉大的17個方程。 現在,我們就一起來欣賞一下宇宙最美的語言!
  • 數學上最複雜的公式——納維斯託克斯方程,到底困難在哪兒?
    1775年,歐拉大神決定換個口味,去研究了一個與力學相關的數學領域——流體力學。他從最基本的無粘性流體的特性開始,仔細研究了無粘性流體的運動與動量變化的關係,於是寫成一本《流體運動的一般原理》。書裡留下了一個無粘性流體力學領域最重要的基礎方程。這本書也是流體力學的開山之作。
  • 流體動力學先驅:斯託克斯
    Clay)捐助成立了克雷數學研究所, 此私人研究所在 2000 年 6 月宣布設置千禧年大獎,給解答任一七大數學難題的 人,每人1百萬美元的獎金。其中的第四難題是要證明流體動力學中最重要的方程式——納維 - 斯託克斯方程(Navier-Stokes equation)是否有解,且為唯一。這個宣布將斯託克斯(G. Stokes)從大學物理和數學的教科書中,推到一般大眾的面前。
  • 說說納維爾-斯託克斯方程(Navier-Stokes Equations)
    1826年納維爾確認彈性模量是材料的一個基本屬性,和物體的截面二次軸矩無關,因此納維爾也是結構分析的創始者之一。       當然,納維爾主要的貢獻還是納維爾-斯託克斯方程,是流體力學的理論中心。年8月13日-1903年2月1日),愛爾蘭數學家和物理學家,就讀和任教於劍橋大學,主要貢獻在流體動力學、光學和數學物理學(如大家熟知的斯託克斯公式)。
  • 含納維-斯託克斯方程(氣象學)實例,微分方程 VS 機器學習
    差分方程輸出離散的數字序列(例如,每 5 年的人口普查結果),而微分方程則建模連續數值(即持續發生的事件)。上述 5 個模型(微分和差分方程)都是機械模型,我們可以在其中自行選擇系統的邏輯、規則、結構或機制。當然,並不是每次試驗都會成功,反覆試驗在數學建模中非常重要。
  • 麥克斯韋方程組:世上最偉大的公式沒有之一
    今天來聊聊一篇關於麥克斯韋方程組:麥克斯韋方程組,世上最偉大的公式沒有之一的文章,現在就為大家來簡單介紹下麥克斯韋方程組:麥克斯韋方程組,世上最偉大的公式沒有之一,希望對各位小夥伴們有所幫助。
  • 世上最偉大的十個公式,薛丁格方程排名第六,質能方程排名第五
    ,又有複雜的歐拉公式……從什麼時候起我們開始厭惡數學?每當你解不開方程的時候,不妨換一個角度想,暫且放下對理科的厭惡和對考試的痛恨。因為你正在見證的,是科學的美麗與人類的尊嚴。No.10 圓的周長公式(The Length of the Circumference of a Circle)這公式賊牛逼了,初中學到現在。
  • 世界上最偉大的十個公式:傅立葉變換僅第九,薛丁格方程第六
    ,又有複雜的歐拉公式...每當你解不開方程的時候,不妨換一個角度想,暫且放下對理科的厭惡和對考試的痛恨。因為你正在見證的,是科學的美麗與人類的尊嚴。No.10、圓的周長公式(The Length of the Circumference of a Circle)C=2лr這公式賊牛逼了,初中學到現在。
  • 世上最偉大的十個公式
    E=mc2;既有簡單的-圓周公式,又有複雜的歐拉公式…… 從什麼時候起我們開始厭惡數學?每當你解不開方程的時候,不妨換一個角度想,暫且放下對理科的厭惡和對考試的痛恨。因為你正在見證的,是科學的美麗與人類的尊嚴。 No.10 圓的周長公式(The Length of the Circumference of a Circle)
  • 數學史上的四大天王是誰?
    1665 年 5 月 20 日,這是數學史極具意義的一天,偉大的物理學家牛頓第一次提出「流數術」(微分法),而到了 1666 年 5 月又提出了「反流數術」(積分法),這標誌著微積分的創立。馮·諾依曼曾經說過:微積分是現代數學的第一個成就,而且怎樣評價它的重要性都不為過。
  • 納維葉-斯託克斯(NS)方程知多少?
    在所有的物理方程中,有一組在數學上被認為極具挑戰性,還被克萊數學研究所列為七個「千禧年大獎問題」之一,它們就是用來描述流體如何流動的納維葉-斯託克斯方程(簡稱NS方程)。然而,熟悉並沒能孕育出知識,毫不誇張地說:湍流是物理世界中最難以理解的部分之一。對量子力學做出巨大貢獻的物理學家維爾納·海森堡(Werner Heisenberg)曾經說過:「當我見到上帝時,我想問他兩個問題:為什麼會有相對論?為什麼會有湍流?我相信他一定會有第一個問題的答案。」
  • 【物理公式】世界上最偉大的10個公式,其中一個人盡皆知
    英國科學期刊《物理世界》曾讓讀者投票評選了「最偉大的公式」,最終榜上有名的十個公式既有無人不知的1+1=2,又有著名的E=mc2;既有簡單的圓周公式,又有複雜的歐拉公式……從什麼時候起我們開始厭惡數學?這些東西原本如此美麗,如此精妙。這個地球上有多少偉大的智慧曾耗盡一生,才最終寫下一個等號。每當你解不開方程的時候,不妨換一個角度想,暫且放下對理科的厭惡和對考試的痛恨。
  • 世界上最偉大的十個公式,一加一等於二才排第七!
    英國科學期刊《物理世界》曾讓讀者投票評選了「最偉大的公式」,最終榜上有名的10個公式既有無人不知的1+1=2,又有著名的E=mc2;既有簡單的圓周公式,又有複雜的歐拉公式……多少偉大的智慧曾耗盡一生,才最終寫下一個等號!
  • 【物理公式】世界上最美麗的10個公式, 放下對理科的厭惡和對考試的痛恨!
    ,又有複雜的歐拉公式……從什麼時候起我們開始厭惡數學?每當你解不開方程的時候,不妨換一個角度想,暫且放下對理科的厭惡和對考試的痛恨。因為你正在見證的,是科學的美麗與人類的尊嚴。圓的周長公式(The Length of the Circumference of a Circle)目前,人類已經能得到圓周率的2061億位精度。還是挺無聊的。
  • 世上最偉大的十個公式,圓的周長公式排名第十,看你學過幾個?
    這個地球上有多少偉大的智慧曾耗盡一生,才最終寫下一個等號。每當你解不開方程的時候,不妨換一個角度想,暫且放下對理科的厭惡和對考試的痛恨。因為你正在見證的,是科學的美麗與人類的尊嚴。這個東西也挺牛逼的,高中物理學到光學的話很多概念跟它是遠親。簡要地說德布羅意這人覺得電子不僅是一個粒子,也是一種波,它還有 「波長」。於是搞啊搞就有了這個物質波方程,表達了波長、能量等等之間的關係。
  • 世上最偉大的 10 個公式,你能看懂幾個?
    1+1=2,又有著名的E=mc2;既有簡單的-圓周公式,又有複雜的歐拉公式……從什麼時候起我們開始厭惡數學?每當你解不開方程的時候,不妨換一個角度想,暫且放下對理科的厭惡和對考試的痛恨。因為你正在見證的,是科學的美麗與人類的尊嚴。No.10 圓的周長公式(The Length of the Circumference of a Circle)