English
Hilbert’s Sixth Problem: Deriving Navier-Stokes from Particle Mechanics — 2025 Breakthrough
In 1900, David Hilbert posed one of the central challenges of mathematical physics: can we construct a unified mathematical framework that describes both the behavior of individual particles and the motion of continuous media — such as liquids and gases?
125 years later, a team of mathematicians (Yu Deng, Zaher Hani, and Xiao Ma) has found a rigorous answer. They succeeded in strictly deriving the equations of hydrodynamics — in particular, the Navier-Stokes equations — from kinetic equations that describe particle behavior at the microscopic level. This means that the motion of air, water, or any fluid can now be justified starting from the fundamental equations governing individual particles.
Why the Hilbert Sixth Problem Matters
Until now, fluid theory and particle theory developed along parallel tracks. Kinetic theory — for instance, the Boltzmann equation — operates at the level of individual particles, while continuum equations describe averaged macroscopic flows. The connection between the two was intuitively clear to physicists, but a rigorous mathematical foundation guaranteeing the passage from one description to the other was missing.
This gap was not merely academic. The ability to formally bridge microscopic and macroscopic descriptions is essential for building physically consistent models — and for trusting that the equations we use at large scales genuinely reflect the laws operating at small ones.
What the 2025 Proof Actually Establishes
The authors demonstrated that the equations of fluid motion — Euler and Navier-Stokes — can indeed be obtained as a limit of the Boltzmann equation, which itself follows from Newton’s laws, with controlled error terms and rigorous estimates throughout.
In concrete terms: they constructed a limit in which the dynamics of particles, described through collisions and statistical distributions, gives rise to the equations of hydrodynamics. This required intricate work with asymptotic expansions, error control, and careful treatment of factors such as collisions, viscosity, and fluctuations — none of it hand-waved away.
The Significance of This Result for Science and the Hilbert Sixth Problem
This proof is a foundational contribution to both mathematics and physics. It closes one of the long-standing gaps between the microscopic and macroscopic descriptions of matter.
The result carries practical implications for atmospheric modeling, ocean current simulation, aerodynamics, plasma physics, and any domain where coherence across different scales of description is critical. In each of these fields, we now have stronger justification for the equations that underpin the models.
Is the Hilbert Sixth Problem Actually Solved?
The short answer is no.
It is important to understand that Hilbert’s original formulation was far broader than the particle-to-fluid transition. He posed the problem in extraordinarily sweeping terms: to construct a complete, axiomatic foundation for all of physics. That scope encompasses quantum phenomena, thermodynamics, probabilistic laws, field theory — everything that constitutes our modern understanding of nature.
Hilbert himself later identified two central directions:
- An axiomatic treatment of probability theory as the foundation of statistical physics
- A rigorous derivation of continuum equations from particle models
The first was resolved by Kolmogorov in 1933, giving rise to modern probability theory. The second, despite significant progress, remained open: how do you derive the equations of fluid motion from particle mechanics rigorously, without informal approximations?
Yu Deng’s Work and What Remains Open
The work of Yu Deng and his colleagues answers precisely that second question — but in a specific, rigorously proven form. The broader sixth problem, however, remains open: there is still no complete axiomatic framework for all of physics.
What this new result provides is a resolved key sub-stage of that grand program. Think of it as constructing a load-bearing pillar of an enormous bridge: the bridge itself is not yet complete, but without this pillar it could not stand.