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

2021-01-13 胖福的小木屋

相比起黎曼猜想、費馬大定理、哥德巴赫猜想等全球知名的難題,納維-斯託克斯方程的存在感很低,即使在世界千禧年七大難題裡,也很少會有人提及,最重要的原因就是,這個難題實在是不太好理解,尤其對於普通人而言,甚至名列榜首的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問題普通人都可以揣摩到一些,但就是很難理解納維—斯託克斯方程,這也是為什麼民科很少觸及這個問題的原因。數學家和物理學家深信,無論是微風還是湍流,都可以通過理解納維-斯託克斯方程的解,來對它們進行解釋和預言。雖然這些方程是19世紀寫下的,我們對它們的理解仍然極少。挑戰在於對數學理論作出實質性的進展,使我們能解開隱藏在納維葉-斯託克斯方程中的奧秘。沒頭沒尾,你甚至在這段話裡都很難揣測出這個難題究竟描述的是什麼問題,流露出一股玄學的問題,今天我們就來聊聊納維-斯託克斯方程。
  • 數學上最複雜的公式——納維斯託克斯方程,到底困難在哪兒?
    1775年,歐拉大神決定換個口味,去研究了一個與力學相關的數學領域——流體力學。他從最基本的無粘性流體的特性開始,仔細研究了無粘性流體的運動與動量變化的關係,於是寫成一本《流體運動的一般原理》。書裡留下了一個無粘性流體力學領域最重要的基礎方程。這本書也是流體力學的開山之作。
  • 納維-斯託克斯方程在建模仿真中的應用
    納維-斯託克斯方程是由納維、泊松、聖維南和斯託克斯於 1827 年到 1845 年之間推導出來的。納維-斯託克斯方程表示動量守恆,而連續性方程則表示質量守恆。納維-斯託克斯方程在建模仿真中的應用納維-斯託克斯方程是流體流動建模的核心。在特定的邊界條件(如入口、出口和壁)下求解這些方程,可以預測給定幾何體中的流體速度和壓力。
  • 麥克斯韋方程組:世上最偉大的公式沒有之一
    今天來聊聊一篇關於麥克斯韋方程組:麥克斯韋方程組,世上最偉大的公式沒有之一的文章,現在就為大家來簡單介紹下麥克斯韋方程組:麥克斯韋方程組,世上最偉大的公式沒有之一,希望對各位小夥伴們有所幫助。
  • 世界上最偉大的十個公式,一加一等於二才排第七!
    英國科學期刊《物理世界》曾讓讀者投票評選了「最偉大的公式」,最終榜上有名的10個公式既有無人不知的1+1=2,又有著名的E=mc2;既有簡單的圓周公式,又有複雜的歐拉公式……多少偉大的智慧曾耗盡一生,才最終寫下一個等號!從什麼時候起我們開始厭惡物理?
  • 21世紀最強數學藝術:54張圖讀懂2600年數學史,看完跪下了……
    難以求解的方程、無從下手的猜想 ...... 數學和自然萬物休戚與共 是浩瀚宇宙的最終本源 而這一切的發現,都離不開漫長數學史中的那一群人。
  • 2019年中考最難一元二次方程應用題,第1題是公認的難!
    中考結束後,對考試題的難與易的討論一直是熱議的話題。數學的難與易可謂是仁者見仁智者見智,因為會者不難,難者不會;所以我們分析考題的難易除了從題目的綜合程度和計算量來衡量外,還可以從得分率上看。在2019年中考中,這幾道一元二次方程應用題是得分率最低的兩道題。
  • 理解薛丁格方程——堪稱最偉大的公式之一
    因此,我們有一個能級公式:我們需要找到B。由於我們已經使用邊界條件來求解E,因此無法使用邊界條件。幸運的是,解決方案必須解決的另一個條件是歸一化。盒子中的任何粒子必須具有給定值之一的能量。其次,最小能量不為零。如果它為零,則n = 0,因此ψ= 0,因此在空間中任何地方找到粒子的概率為零,這意味著粒子不存在。「盒中粒子」主要是一個說明性示例,但確實有實際應用。
  • 精品|閃耀人類的54個數學家撲克牌禮盒:數學文化圈的藝術品
    54張圖讀懂2600年數學史  數學文化圈的藝術品  何謂數學?  回首往昔  數學始終伴隨我們左右  縱橫交錯的幾何、繁瑣複雜的運算  難以求解的方程、無從下手的猜想  ......  數學和自然萬物休戚與共  是浩瀚宇宙的最終本源  而這一切的發現,都離不開漫長數學史中的那一群人。  他們是科學文明的先驅者,引領數學浪潮,勇攀科技之巔;用字符譜寫最動聽的數學之歌,傳唱於人類的歷史長河上。
  • 第三部 | 一元二次方程是毫無用處嗎?
    原文:plus.maths.org/content/os/issue29/features/quadratic譯者:道可道翻譯小組成員校對:公理 翻譯小組成員一元二次方程幫助人類插上雙翅一元二次方程與二階微分方程的聯繫不是巧合: 在牛頓第二運動定律裡它們被描述為力和加速度之間的密切聯繫。
  • 世界上最偉大的10個公式 一定有您意想不到的!
    英國科學期刊《物理世界》曾讓讀者投票評選了「最偉大的公式」,最終榜上有名的十個公式既有無人不知的1+1=2,又有著名的E=mc2;既有簡單的圓周公式,又有複雜的歐拉公式……上學的時候,我們會對這些方程十分厭惡,但是我們沒有意識到,我們痛恨的東西,卻是人類最高智慧,我們只是沒有發現它們的偉大而已,有種「不識廬山真面目,只緣生在此山中
  • 數學第一家族和「伯努利方程」
    這位讓父親傷透了心的家族長子,成為第一個證明了大數定律的人,概率論先驅之一,解決了一系列早期的微積分問題,牛頓一生的對手萊布尼茨曾感慨世上除了他自己,雅各布最懂微積分。雅各布留下最著名的一句話是:我違父意,鑽研群星。
  • 數學史上的最豪華的頂級數學家家譜,原來歐拉是黎曼的祖師爺
    在數學史的發展中也有這麼一個家譜,它有頂級數學家組成,稱它為「最豪華家譜」一點也不為過!這個家譜要從萊布尼茨說起,萊布尼茨收了個學生叫約翰·伯努利,伯努利收了一個徒學生就是著名的歐拉,歐拉在他的那個時代是無敵的存在。
  • 人類科學史上最著名的10大公式,你知道幾個?
    本文按時間順序,給出了人類歷史上最偉大的10個公式。文明的基礎:勾股定理直角三角形斜邊長度c的平方等於另兩邊a、b長度的平方和。從蘋果落地到萬有引力,這可能是人類歷史上最偉大的類比聯想和歸納。萬有引力定律不僅被用於解釋天體行星的運動,其影響力擴展到了哲學、神學等領域。歐拉公式一個將自然對數的底、圓周率、虛數i、1和0這5個數學上的基本概念,聯繫在一起的神秘公式。
  • 微分方程VS機器學習,實例講解二者異同
    納維 - 斯託克斯方程假定大氣是流動的流體,上述方程式就是來自流體動力學。廣義相對論假設在一種特殊的幾何形態下,時空會發生扭曲。愛因斯坦提出關於時空扭曲的一些重要想法,數學家 Emmy Noether 和 David Hilbert 將這些想法整合到愛因斯坦場方程中。
  • 世界上最美麗的數學公式
    +1=0到讓相對論量子理論牽手的「狄拉克方程」……這些公式如此美麗而精妙,是地球上偉大智者一生的凝練。歐拉內心純粹,正如這個歐拉公式,也是用最簡明的方式,溝通了世界上幾乎全部的數學元素。無理數e,它是自然對數的底,隱藏於飛船的速度和蝸牛的螺線。無理數π,隱藏於世上最完美的平面對稱圖形,引爆數字狂熱。最簡單的兩個實數0和1,是構造代數的基礎。甚至,最重要的虛單位i也在其中。
  • 數學界最著名、最偉大、最美麗的公式之一——歐拉公式
    在這篇文章中,我們將探索歐拉公式,解釋它是什麼,它從哪裡來,並揭示它神奇的性質。歐拉公式是什麼?歐拉公式是歐哈德·歐拉在十八世紀創造的,是數學界最著名、最美麗的公式之一。之所以如此,是因為它涉及到各種顯然非常不同的元素,比如無理數e、虛數和三角函數。