搜尋
首頁科技週邊人工智慧N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望

這是數學中最著名的未解問題之一。新的工作已通過同行評審,全文可看。

起猛了,流體力學迎來自己的超導時刻了?
N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望
最近幾天,數學圈內人們正在熱烈討論納維- 斯托克斯問題的正則哈密頓公式終於出現了—— 這個數學史上懸而未決的問題可能有了解答。而在以前,人們甚至普遍認為這是不可能的。

此事有多重要?納維 - 斯托克斯方程式與黎曼猜想一樣,在 2000 年被列為「千禧年數學七大難題」。

這七個世界級難題分別是:NP 完全問題、霍奇猜想、龐加萊猜想、黎曼假設、楊- 米爾斯存在性與品質間隙、納衛爾- 斯托克斯方程式、BSD 猜想。七個問題都懸賞一百萬美元,20 多年來只有「龐加萊猜想」被俄羅斯天才數學家佩雷爾曼解決。

它們大多讓人耳熟能詳,但「納維 - 斯托克斯方程式」(N-S 方程式)在其中似乎較少被人們提及。究其原因,可能是因為這個問題實在太難理解了(大學上過《流體力學》這門課的同學一定會有概念)。有人甚至認為,它是數學史上最複雜的公式。

簡單來說,十八世紀數學家歐拉在《流體運動的一般原理》中根據無黏性流體運動時流體所受的力和動量變化推導出了一組方程式。
N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望
歐拉方程式的描述將流體運動規定在了一個理想化世界中,但真正的流體內部是有摩擦的。自然界的流體都有黏性,統稱為黏性流體或實際流體。例如我們攪拌蜂蜜時會感受到黏滯的作用,而飛機飛行所受的阻力也很大程度來自空氣的黏性。

由於實際流體的黏性,我們對於流體運動的研究就變得非常複雜了。
N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望
在19 世紀,法國工程師兼物理學家克勞德- 路易・納維、愛爾蘭物理學和數學家喬治・斯托克斯兩人考慮分子間作用力,建立了流體平衡和運動的基本方程,並描述了運動在直角座標中的分量形式。

這就是後世所說的納維 - 斯托克斯方程式。
N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望
                               方面中建立「有史以來最可怕的微分方程式之一。

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

對於許多工程問題來說,這至關重要。

如果納維- 斯托克斯問題有全局解的話,很多與流體力學有關的技術都會出現突破,包括但不限於航空航天、火箭發動機、天氣預測、管線運輸、醫療血流建模等等。

關於這組方程式所涉及的難題在於:我們該如何用數學理論來闡明它。甚至於用數學理論解釋描述奇特黑洞的愛因斯坦場方程式都會比闡述納維 - 斯托克斯方程式更簡單一些。

The important breakthrough people mentioned comes from the paper "A canonical Hamiltonian formulation of the Navier–Stokes problem", which was published in the top journal in the field of fluid mechanics on April 1 Journal of Fluid Mechanics":
N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望
Paper link: https://www.cambridge.org/core/journals/journal-of-fluid -mechanics/article/canonical-hamiltonian-formulation-of-the-navierstokes-problem/B3EB9389AE700867A6A3EA63A45E69C6

This paper proposes a method based on the least squares principle Derivation of a novel Hamiltonian formulation of the isotropic Navier-Stokes problem based on the minimum action principle. The formula uses velocityN-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望 and pressureN-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望 as variable field quantities, as well as the canonical conjugate momentum derived from analysis. Based on this, this study constructs a conserved Hamiltonian function H* that satisfies the Hamiltonian canonical equation, and formulates the related Hamiltonian-Jacobian equations for compressible and incompressible flows. This Hamiltonian-Jacobian equation reduces the problem of finding four independent field quantities to finding a single scalar functional among these fields - Hamilton's main functional. Furthermore, Hamilton and Jacobi's transformation theory provides a prescribed method for solving the Navier-Stokes problem: find S*. N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望

If the analytical expression of S * can be obtained, then it will obtain a set of new fields through regular transformation, giving the analytical expressions of the original velocity and pressure fields, These fields will simply be equivalent to their initial values. Failing that, one can only prove that a complete solution to the Hamilton-Jacobian equation exists or does not exist, which would also solve the problem of the existence of the solution.

Could this new research lead to a million-dollar prize? To win, researchers must show that there are solutions to the three-dimensional incompressible Navier-Stokes equations and that, if there are solutions, those solutions are smooth.

Mathematician Terence Tao once thought that this was difficult.
N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望 Judging from the current progress, new research has made it easier to solve open problems, and we have taken a big step forward - Navier-Stor The canonical Hamiltonian formulation of the Kers equation may mean that we can bypass the limitations of the standard Lagrangian and reduce the problem to finding a single scalar function.

Perhaps we are not far away from solving the second question of the Millennium Puzzle.

Reference content:
https://www1.grc. nasa.gov/beginners-guide-to-aeronautics/navier-strokes-equation/
https://zhuanlan.zhihu.com/p/263628141
https://terrytao.wordpress.com/2007/03/18/why-global-regularity-for-navier-stokes-is-hard/

以上是N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望的詳細內容。更多資訊請關注PHP中文網其他相關文章!

陳述
本文轉載於:机器之心。如有侵權,請聯絡admin@php.cn刪除
加固芬特的指南 - 分析Vidhya加固芬特的指南 - 分析VidhyaApr 28, 2025 am 09:30 AM

增強者通過教授模型根據人類反饋進行調整來震撼AI的開發。它將監督的學習基金會與基於獎勵的更新融合在一起,使其更安全,更準確,真正地幫助

讓我們跳舞:結構化運動以微調我們的人類神經網讓我們跳舞:結構化運動以微調我們的人類神經網Apr 27, 2025 am 11:09 AM

科學家已經廣泛研究了人類和更簡單的神經網絡(如秀麗隱桿線蟲中的神經網絡),以了解其功能。 但是,出現了一個關鍵問題:我們如何使自己的神經網絡與新穎的AI一起有效地工作

新的Google洩漏揭示了雙子AI的訂閱更改新的Google洩漏揭示了雙子AI的訂閱更改Apr 27, 2025 am 11:08 AM

Google的雙子座高級:新的訂閱層即將到來 目前,訪問Gemini Advanced需要$ 19.99/月Google One AI高級計劃。 但是,Android Authority報告暗示了即將發生的變化。 最新的Google P中的代碼

數據分析加速度如何求解AI的隱藏瓶頸數據分析加速度如何求解AI的隱藏瓶頸Apr 27, 2025 am 11:07 AM

儘管圍繞高級AI功能炒作,但企業AI部署中潛伏的巨大挑戰:數據處理瓶頸。首席執行官慶祝AI的進步時,工程師努力應對緩慢的查詢時間,管道超載,一個

Markitdown MCP可以將任何文檔轉換為Markdowns!Markitdown MCP可以將任何文檔轉換為Markdowns!Apr 27, 2025 am 09:47 AM

處理文檔不再只是在您的AI項目中打開文件,而是將混亂變成清晰度。諸如PDF,PowerPoints和Word之類的文檔以各種形狀和大小淹沒了我們的工作流程。檢索結構化

如何使用Google ADK進行建築代理? - 分析Vidhya如何使用Google ADK進行建築代理? - 分析VidhyaApr 27, 2025 am 09:42 AM

利用Google的代理開發套件(ADK)的力量創建具有現實世界功能的智能代理!該教程通過使用ADK來構建對話代理,並支持Gemini和GPT等各種語言模型。 w

在LLM上使用SLM進行有效解決問題-Analytics Vidhya在LLM上使用SLM進行有效解決問題-Analytics VidhyaApr 27, 2025 am 09:27 AM

摘要: 小型語言模型 (SLM) 專為效率而設計。在資源匱乏、實時性和隱私敏感的環境中,它們比大型語言模型 (LLM) 更勝一籌。 最適合專注型任務,尤其是在領域特異性、控制性和可解釋性比通用知識或創造力更重要的情況下。 SLM 並非 LLMs 的替代品,但在精度、速度和成本效益至關重要時,它們是理想之選。 技術幫助我們用更少的資源取得更多成就。它一直是推動者,而非驅動者。從蒸汽機時代到互聯網泡沫時期,技術的威力在於它幫助我們解決問題的程度。人工智能 (AI) 以及最近的生成式 AI 也不例

如何將Google Gemini模型用於計算機視覺任務? - 分析Vidhya如何將Google Gemini模型用於計算機視覺任務? - 分析VidhyaApr 27, 2025 am 09:26 AM

利用Google雙子座的力量用於計算機視覺:綜合指南 領先的AI聊天機器人Google Gemini擴展了其功能,超越了對話,以涵蓋強大的計算機視覺功能。 本指南詳細說明瞭如何利用

See all articles

熱AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover

AI Clothes Remover

用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool

Undress AI Tool

免費脫衣圖片

Clothoff.io

Clothoff.io

AI脫衣器

Video Face Swap

Video Face Swap

使用我們完全免費的人工智慧換臉工具,輕鬆在任何影片中換臉!

熱工具

mPDF

mPDF

mPDF是一個PHP庫,可以從UTF-8編碼的HTML產生PDF檔案。原作者Ian Back編寫mPDF以從他的網站上「即時」輸出PDF文件,並處理不同的語言。與原始腳本如HTML2FPDF相比,它的速度較慢,並且在使用Unicode字體時產生的檔案較大,但支援CSS樣式等,並進行了大量增強。支援幾乎所有語言,包括RTL(阿拉伯語和希伯來語)和CJK(中日韓)。支援嵌套的區塊級元素(如P、DIV),

WebStorm Mac版

WebStorm Mac版

好用的JavaScript開發工具

SAP NetWeaver Server Adapter for Eclipse

SAP NetWeaver Server Adapter for Eclipse

將Eclipse與SAP NetWeaver應用伺服器整合。

記事本++7.3.1

記事本++7.3.1

好用且免費的程式碼編輯器

VSCode Windows 64位元 下載

VSCode Windows 64位元 下載

微軟推出的免費、功能強大的一款IDE編輯器