Home Technology peripherals AI Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory

Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory

Apr 08, 2024 pm 06:34 PM
project Regular Hamiltonian formula fluid mechanics

This is one of the most famous unsolved problems in mathematics. The new work has been peer-reviewed and the full text is available.

#It’s so exciting, is fluid mechanics ushering in its own superconducting moment?
Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory
In recent days, people in mathematics circles have been heatedly discussing that the regular Hamiltonian formula for the Navier-Stokes problem has finally appeared - this unsolved problem in the history of mathematics There may be an answer. In the past, this was even generally considered impossible.

How important is this? The Navier-Stokes equation, like the Riemann Hypothesis, was listed as one of the "Seven Millennium Mathematics Problems" in 2000.

The seven world-class problems are: NP-complete problem, Hodge conjecture, Poincaré conjecture, Riemann hypothesis, Yang-Mills existence and mass gap , Navier-Stokes equation, BSD conjecture. Each of the seven problems has a reward of one million US dollars. In more than 20 years, only the "Poincaré Conjecture" has been solved by the talented Russian mathematician Perelman.

Most of them are familiar, but the "Navier-Stokes equation" (N-S equation) seems to be mentioned less often among them. The reason may be that this problem is too difficult to understand (students who have taken the "Fluid Mechanics" course in college will definitely have an idea). Some even believe that it is the most complex formula in the history of mathematics.

To put it simply, the eighteenth-century mathematician Euler derived the following in "General Principles of Fluid Motion" based on the changes in force and momentum experienced by the fluid when the inviscid fluid moves. A set of equations was produced.
Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory
The description of Euler's equation stipulates fluid motion in an idealized world, but there is friction inside the real fluid. Fluids in nature are viscous and are collectively called viscous fluids or real fluids. For example, when we stir honey, we will feel the viscosity effect, and the resistance of the aircraft flying is also largely derived from the viscosity of the air.

Due to the viscosity of actual fluids, our study of fluid motion becomes very complicated.
Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory
In the 19th century, French engineer and physicist Claude-Louis Navit and Irish physicist and mathematician George Stokes considered molecules The basic equations of fluid balance and motion are established, and the component forms of motion in rectangular coordinates are described.

This is what later generations called the Navier-Stokes equation. One of the scariest partial differential equations of all time.
Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory
The Navier-Stokes equations are used to describe fluid substances like liquids and air. These equations relate the rate at which a fluid's particle momentum changes (the force) to the changes in pressure and dissipative viscous forces (analogous to friction) and gravity acting on the interior of the fluid. These viscous forces arise from the interactions of molecules and tell us how viscous a liquid is. In this way, the Navier-Stokes equations describe the dynamic balance of forces acting on any given region of a liquid.

This is critical for many engineering problems.

If there is a global solution to the Navier-Stokes problem, there will be breakthroughs in many technologies related to fluid mechanics, including but not limited to aerospace, rocket engines, Weather forecasting, pipeline transportation, medical blood flow modeling, and more.

The difficult problem involved with this set of equations is how to explain it using mathematical theory. Even the mathematical theory that explains Einstein's field equations describing exotic black holes is simpler than formulating the Navier-Stokes equations.

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":
Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory
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 velocityIs the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory and pressureIs the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory 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*. Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victoryIs the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory

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.
Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory 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/

The above is the detailed content of Is the N-S equation problem solved? Juxtaposed with the Riemann Hypothesis, the Millennium Mathematical Puzzle is in sight for victory. For more information, please follow other related articles on the PHP Chinese website!

Statement of this Website
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

AI Hentai Generator

AI Hentai Generator

Generate AI Hentai for free.

Hot Article

R.E.P.O. Energy Crystals Explained and What They Do (Yellow Crystal)
4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Best Graphic Settings
4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. How to Fix Audio if You Can't Hear Anyone
4 weeks ago By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25: How To Unlock Everything In MyRise
1 months ago By 尊渡假赌尊渡假赌尊渡假赌

Hot Tools

Notepad++7.3.1

Notepad++7.3.1

Easy-to-use and free code editor

SublimeText3 Chinese version

SublimeText3 Chinese version

Chinese version, very easy to use

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment

Dreamweaver CS6

Dreamweaver CS6

Visual web development tools

SublimeText3 Mac version

SublimeText3 Mac version

God-level code editing software (SublimeText3)

The author of ControlNet has another hit! The whole process of generating a painting from a picture, earning 1.4k stars in two days The author of ControlNet has another hit! The whole process of generating a painting from a picture, earning 1.4k stars in two days Jul 17, 2024 am 01:56 AM

It is also a Tusheng video, but PaintsUndo has taken a different route. ControlNet author LvminZhang started to live again! This time I aim at the field of painting. The new project PaintsUndo has received 1.4kstar (still rising crazily) not long after it was launched. Project address: https://github.com/lllyasviel/Paints-UNDO Through this project, the user inputs a static image, and PaintsUndo can automatically help you generate a video of the entire painting process, from line draft to finished product. follow. During the drawing process, the line changes are amazing. The final video result is very similar to the original image: Let’s take a look at a complete drawing.

From RLHF to DPO to TDPO, large model alignment algorithms are already 'token-level' From RLHF to DPO to TDPO, large model alignment algorithms are already 'token-level' Jun 24, 2024 pm 03:04 PM

The AIxiv column is a column where this site publishes academic and technical content. In the past few years, the AIxiv column of this site has received more than 2,000 reports, covering top laboratories from major universities and companies around the world, effectively promoting academic exchanges and dissemination. If you have excellent work that you want to share, please feel free to contribute or contact us for reporting. Submission email: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com In the development process of artificial intelligence, the control and guidance of large language models (LLM) has always been one of the core challenges, aiming to ensure that these models are both powerful and safe serve human society. Early efforts focused on reinforcement learning methods through human feedback (RL

Topping the list of open source AI software engineers, UIUC's agent-less solution easily solves SWE-bench real programming problems Topping the list of open source AI software engineers, UIUC's agent-less solution easily solves SWE-bench real programming problems Jul 17, 2024 pm 10:02 PM

The AIxiv column is a column where this site publishes academic and technical content. In the past few years, the AIxiv column of this site has received more than 2,000 reports, covering top laboratories from major universities and companies around the world, effectively promoting academic exchanges and dissemination. If you have excellent work that you want to share, please feel free to contribute or contact us for reporting. Submission email: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com The authors of this paper are all from the team of teacher Zhang Lingming at the University of Illinois at Urbana-Champaign (UIUC), including: Steven Code repair; Deng Yinlin, fourth-year doctoral student, researcher

Posthumous work of the OpenAI Super Alignment Team: Two large models play a game, and the output becomes more understandable Posthumous work of the OpenAI Super Alignment Team: Two large models play a game, and the output becomes more understandable Jul 19, 2024 am 01:29 AM

If the answer given by the AI ​​model is incomprehensible at all, would you dare to use it? As machine learning systems are used in more important areas, it becomes increasingly important to demonstrate why we can trust their output, and when not to trust them. One possible way to gain trust in the output of a complex system is to require the system to produce an interpretation of its output that is readable to a human or another trusted system, that is, fully understandable to the point that any possible errors can be found. For example, to build trust in the judicial system, we require courts to provide clear and readable written opinions that explain and support their decisions. For large language models, we can also adopt a similar approach. However, when taking this approach, ensure that the language model generates

arXiv papers can be posted as 'barrage', Stanford alphaXiv discussion platform is online, LeCun likes it arXiv papers can be posted as 'barrage', Stanford alphaXiv discussion platform is online, LeCun likes it Aug 01, 2024 pm 05:18 PM

cheers! What is it like when a paper discussion is down to words? Recently, students at Stanford University created alphaXiv, an open discussion forum for arXiv papers that allows questions and comments to be posted directly on any arXiv paper. Website link: https://alphaxiv.org/ In fact, there is no need to visit this website specifically. Just change arXiv in any URL to alphaXiv to directly open the corresponding paper on the alphaXiv forum: you can accurately locate the paragraphs in the paper, Sentence: In the discussion area on the right, users can post questions to ask the author about the ideas and details of the paper. For example, they can also comment on the content of the paper, such as: "Given to

Axiomatic training allows LLM to learn causal reasoning: the 67 million parameter model is comparable to the trillion parameter level GPT-4 Axiomatic training allows LLM to learn causal reasoning: the 67 million parameter model is comparable to the trillion parameter level GPT-4 Jul 17, 2024 am 10:14 AM

Show the causal chain to LLM and it learns the axioms. AI is already helping mathematicians and scientists conduct research. For example, the famous mathematician Terence Tao has repeatedly shared his research and exploration experience with the help of AI tools such as GPT. For AI to compete in these fields, strong and reliable causal reasoning capabilities are essential. The research to be introduced in this article found that a Transformer model trained on the demonstration of the causal transitivity axiom on small graphs can generalize to the transitive axiom on large graphs. In other words, if the Transformer learns to perform simple causal reasoning, it may be used for more complex causal reasoning. The axiomatic training framework proposed by the team is a new paradigm for learning causal reasoning based on passive data, with only demonstrations

A significant breakthrough in the Riemann Hypothesis! Tao Zhexuan strongly recommends new papers from MIT and Oxford, and the 37-year-old Fields Medal winner participated A significant breakthrough in the Riemann Hypothesis! Tao Zhexuan strongly recommends new papers from MIT and Oxford, and the 37-year-old Fields Medal winner participated Aug 05, 2024 pm 03:32 PM

Recently, the Riemann Hypothesis, known as one of the seven major problems of the millennium, has achieved a new breakthrough. The Riemann Hypothesis is a very important unsolved problem in mathematics, related to the precise properties of the distribution of prime numbers (primes are those numbers that are only divisible by 1 and themselves, and they play a fundamental role in number theory). In today's mathematical literature, there are more than a thousand mathematical propositions based on the establishment of the Riemann Hypothesis (or its generalized form). In other words, once the Riemann Hypothesis and its generalized form are proven, these more than a thousand propositions will be established as theorems, which will have a profound impact on the field of mathematics; and if the Riemann Hypothesis is proven wrong, then among these propositions part of it will also lose its effectiveness. New breakthrough comes from MIT mathematics professor Larry Guth and Oxford University

The first Mamba-based MLLM is here! Model weights, training code, etc. have all been open source The first Mamba-based MLLM is here! Model weights, training code, etc. have all been open source Jul 17, 2024 am 02:46 AM

The AIxiv column is a column where this site publishes academic and technical content. In the past few years, the AIxiv column of this site has received more than 2,000 reports, covering top laboratories from major universities and companies around the world, effectively promoting academic exchanges and dissemination. If you have excellent work that you want to share, please feel free to contribute or contact us for reporting. Submission email: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com. Introduction In recent years, the application of multimodal large language models (MLLM) in various fields has achieved remarkable success. However, as the basic model for many downstream tasks, current MLLM consists of the well-known Transformer network, which

See all articles