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

N-S方程式問題有解了?與黎曼猜想並列,千禧年數學難題勝利在望

Apr 08, 2024 pm 06:34 PM
工程 正規哈密頓公式 流體力學

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

起猛了,流體力學迎來自己的超導時刻了?
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

熱AI工具

Undresser.AI Undress

Undresser.AI Undress

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

AI Clothes Remover

AI Clothes Remover

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

Undress AI Tool

Undress AI Tool

免費脫衣圖片

Clothoff.io

Clothoff.io

AI脫衣器

AI Hentai Generator

AI Hentai Generator

免費產生 AI 無盡。

熱門文章

R.E.P.O.能量晶體解釋及其做什麼(黃色晶體)
4 週前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.最佳圖形設置
4 週前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.如果您聽不到任何人,如何修復音頻
4 週前 By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25:如何解鎖Myrise中的所有內容
1 個月前 By 尊渡假赌尊渡假赌尊渡假赌

熱工具

記事本++7.3.1

記事本++7.3.1

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

SublimeText3漢化版

SublimeText3漢化版

中文版,非常好用

禪工作室 13.0.1

禪工作室 13.0.1

強大的PHP整合開發環境

Dreamweaver CS6

Dreamweaver CS6

視覺化網頁開發工具

SublimeText3 Mac版

SublimeText3 Mac版

神級程式碼編輯軟體(SublimeText3)

ControlNet作者又出爆款!一張圖生成繪畫全過程,兩天狂攬1.4k Star ControlNet作者又出爆款!一張圖生成繪畫全過程,兩天狂攬1.4k Star Jul 17, 2024 am 01:56 AM

同樣是圖生視頻,PaintsUndo走出了不一樣的路線。 ControlNet作者LvminZhang又開始整活了!這次瞄準繪畫領域。新項目PaintsUndo剛上線不久,就收穫1.4kstar(還在瘋狂漲)。項目地址:https://github.com/lllyasviel/Paints-UNDO透過這個項目,用戶輸入一張靜態圖像,PaintsUndo就能自動幫你生成整個繪畫的全過程視頻,從線稿到成品都有跡可循。繪製過程,線條變化多端甚是神奇,最終視頻結果和原始圖像非常相似:我們再來看一個完整的繪

從RLHF到DPO再到TDPO,大模型對齊演算法已經是「token-level」 從RLHF到DPO再到TDPO,大模型對齊演算法已經是「token-level」 Jun 24, 2024 pm 03:04 PM

AIxiv專欄是本站發布學術、技術內容的欄位。過去數年,本站AIxiv專欄接收通報了2,000多篇內容,涵蓋全球各大專院校與企業的頂尖實驗室,有效促進了學術交流與傳播。如果您有優秀的工作想要分享,歡迎投稿或聯絡報道。投稿信箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com在人工智慧領域的發展過程中,對大語言模型(LLM)的控制與指導始終是核心挑戰之一,旨在確保這些模型既強大又安全地服務人類社會。早期的努力集中在透過人類回饋的強化學習方法(RL

登頂開源AI軟體工程師榜首,UIUC無Agent方案輕鬆解決SWE-bench真實程式設計問題 登頂開源AI軟體工程師榜首,UIUC無Agent方案輕鬆解決SWE-bench真實程式設計問題 Jul 17, 2024 pm 10:02 PM

AIxiv專欄是本站發布學術、技術內容的欄位。過去數年,本站AIxiv專欄接收通報了2,000多篇內容,涵蓋全球各大專院校與企業的頂尖實驗室,有效促進了學術交流與傳播。如果您有優秀的工作想要分享,歡迎投稿或聯絡報道。投稿信箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com這篇論文的作者皆來自伊利諾大學香檳分校(UIUC)張令明老師團隊,包括:StevenXia,四年級博士生,研究方向是基於AI大模型的自動代碼修復;鄧茵琳,四年級博士生,研究方

OpenAI超級對齊團隊遺作:兩個大模型博弈一番,輸出更好懂了 OpenAI超級對齊團隊遺作:兩個大模型博弈一番,輸出更好懂了 Jul 19, 2024 am 01:29 AM

如果AI模型給的答案一點也看不懂,你敢用嗎?隨著機器學習系統在更重要的領域中得到應用,證明為什麼我們可以信任它們的輸出,並明確何時不應信任它們,變得越來越重要。獲得對複雜系統輸出結果信任的一個可行方法是,要求系統對其輸出產生一種解釋,這種解釋對人類或另一個受信任的系統來說是可讀的,即可以完全理解以至於任何可能的錯誤都可以被發現。例如,為了建立對司法系統的信任,我們要求法院提供清晰易讀的書面意見,解釋並支持其決策。對於大型語言模型來說,我們也可以採用類似的方法。不過,在採用這種方法時,確保語言模型生

arXiv論文可以發「彈幕」了,史丹佛alphaXiv討論平台上線,LeCun按讚 arXiv論文可以發「彈幕」了,史丹佛alphaXiv討論平台上線,LeCun按讚 Aug 01, 2024 pm 05:18 PM

乾杯!當論文討論細緻到詞句,是什麼體驗?最近,史丹佛大學的學生針對arXiv論文創建了一個開放討論論壇——alphaXiv,可以直接在任何arXiv論文之上發布問題和評論。網站連結:https://alphaxiv.org/其實不需要專門訪問這個網站,只需將任何URL中的arXiv更改為alphaXiv就可以直接在alphaXiv論壇上打開相應論文:可以精準定位到論文中的段落、句子:右側討論區,使用者可以發表問題詢問作者論文想法、細節,例如:也可以針對論文內容發表評論,例如:「給出至

公理訓練讓LLM學會因果推理:6700萬參數模型比肩萬億參數級GPT-4 公理訓練讓LLM學會因果推理:6700萬參數模型比肩萬億參數級GPT-4 Jul 17, 2024 am 10:14 AM

把因果鏈展示給LLM,它就能學會公理。 AI已經在幫助數學家和科學家做研究了,例如著名數學家陶哲軒就曾多次分享自己借助GPT等AI工具研究探索的經驗。 AI要在這些領域大戰拳腳,強大可靠的因果推理能力是不可或缺的。本文要介紹的研究發現:在小圖譜的因果傳遞性公理演示上訓練的Transformer模型可以泛化用於大圖譜的傳遞性公理。也就是說,如果讓Transformer學會執行簡單的因果推理,就可能用於更複雜的因果推理。該團隊提出的公理訓練框架是一種基於被動資料來學習因果推理的新範式,只有演示

黎曼猜想显著突破!陶哲轩强推MIT、牛津新论文,37岁菲尔兹奖得主参与 黎曼猜想显著突破!陶哲轩强推MIT、牛津新论文,37岁菲尔兹奖得主参与 Aug 05, 2024 pm 03:32 PM

最近,被稱為千禧年七大難題之一的黎曼猜想迎來了新突破。黎曼猜想是數學中一個非常重要的未解決問題,與素數分佈的精確性質有關(素數是那些只能被1和自身整除的數字,它們在數論中扮演著基礎性的角色)。在當今的數學文獻中,已有超過一千個數學命題以黎曼猜想(或其推廣形式)的成立為前提。也就是說,黎曼猜想及其推廣形式一旦被證明,這一千多個命題將被確立為定理,對數學領域產生深遠的影響;而如果黎曼猜想被證明是錯誤的,那麼這些命題中的一部分也將隨之失去其有效性。新的突破來自MIT數學教授LarryGuth和牛津大學

首個基於Mamba的MLLM來了!模型權重、訓練程式碼等已全部開源 首個基於Mamba的MLLM來了!模型權重、訓練程式碼等已全部開源 Jul 17, 2024 am 02:46 AM

AIxiv专栏是本站发布学术、技术内容的栏目。过去数年,本站AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com。引言近年来,多模态大型语言模型(MLLM)在各个领域的应用取得了显著的成功。然而,作为许多下游任务的基础模型,当前的MLLM由众所周知的Transformer网络构成,这种网

See all articles