🔢 mathematics

Some Considerations on the Fluid-Dynamical Limit of Particle Systems

This paper reviews and compares mathematical procedures for rigorously deriving fluid-dynamic descriptions from classical particle systems in the large-scale limit of Hamiltonian dynamics, highlighting that despite the program's longevity, most fundamental problems remain open with only a few notable exceptions.

Original authors: Mario Pulvirenti, Sergio Simonella

Published 2026-09-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mario Pulvirenti, Sergio Simonella

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine a world built from countless tiny, invisible marbles, each bouncing and colliding with its neighbors according to the strict, unyielding laws of motion. If you could zoom out far enough, these chaotic, individual movements would blur into a smooth, flowing substance—a gas or a liquid that we can see and touch. This is the fundamental puzzle of how the macroscopic world emerges from the microscopic one. For over a century, physicists have tried to write down the exact mathematical bridge that connects the simple, time-reversible rules governing a single particle to the complex, flowing equations that describe a river or the wind. The challenge lies in proving that this bridge actually exists and is sturdy enough to hold the weight of reality, rather than just being a convenient guess.

In a recent review, mathematicians M. Pulvirenti and S. Simonella examine the current state of this grand project. They are not proposing a new theory but rather mapping the landscape of existing attempts to rigorously derive the equations of fluid motion from the motion of particles. Their work highlights a surprising and persistent split in the field: there are two distinct ways to try to build this bridge, and they lead to different destinations. One path attempts to jump directly from the particles to the fluid, while the other takes a detour through an intermediate stage known as kinetic theory. The authors show that while both paths are mathematically sophisticated, they currently yield different results, and the most direct route remains incomplete.

The most natural approach, which the authors associate with the work of C. Morrey, tries to scale the particle system directly up to the size of a fluid. Imagine taking a vast number of particles and slowly stretching the space they occupy while simultaneously increasing their number to keep the density constant. In this view, the fluid is simply a collection of particles that have settled into a local state of thermal equilibrium, where they are jiggling around in a predictable, balanced way. If one assumes this equilibrium exists, the mathematics suggests that the collective motion of the particles should obey the Euler equations, which describe how ideal fluids flow without friction. However, the authors point out a critical gap: to make this argument rigorous, one must prove that the particles actually reach this equilibrium state quickly enough and reliably enough. This is a problem of "ergodicity," a concept that asks whether a system explores all possible states over time. Currently, no one has a complete mathematical proof that a system of interacting particles behaves this way in the necessary timeframe. Consequently, this direct path, while physically intuitive, remains a work in progress.

The second path, often linked to the name of L. Grad, takes a different route. Instead of jumping straight to the fluid, it first derives an equation for the probability of finding a single particle in a certain place with a certain speed. This is the Boltzmann equation, a famous tool used to describe rarefied gases where particles are far apart and collide infrequently. This approach works by assuming the particles are so sparse that they only interact when they crash into each other, ignoring the long-range pull or push of their neighbors. Once this intermediate equation is established, one can then try to squeeze it further to see what happens when collisions become very frequent. The authors explain that this method has been successfully proven to work for short periods of time, leading to the Euler equations for a perfect gas. However, there is a catch: the resulting fluid behaves like an ideal gas with a very specific, simple relationship between pressure and temperature. It does not capture the more complex pressure laws that arise from the specific ways real particles interact with one another.

The core finding of the paper is that these two methods are currently disjoint. The direct scaling of particles suggests a fluid whose behavior depends on the specific details of how the particles attract or repel each other. The indirect route, going through the Boltzmann equation, produces a fluid that behaves like a perfect gas, regardless of those specific details. The authors emphasize that this is not a minor difference; it means that the two mathematical strategies are describing fundamentally different physical realities. The direct method is the one that should describe real fluids, but it lacks a complete proof. The indirect method is mathematically sound for specific conditions but leads to a simplified model that may not apply to the complex fluids we encounter in nature.

The paper also touches on the famous "sixth problem" posed by the mathematician David Hilbert in 1900, which called for a rigorous mathematical foundation for physics. The authors frame their review as a continuation of this century-old quest. They note that while there are a few special cases where the math has been fully solved—such as in systems with extreme chaos or in one-dimensional chains of particles—these are exceptions rather than the rule. For the general case of three-dimensional fluids, the full derivation remains an open challenge. The authors conclude that while the Boltzmann equation provides a powerful and proven stepping stone, it is not the whole story. To truly understand how the smooth flow of a fluid emerges from the chaotic dance of atoms, mathematicians must still solve the difficult problem of proving that particles naturally settle into the equilibrium states required for the direct derivation to work. Until then, the bridge between the micro and macro worlds remains partially built, with two different blueprints pointing toward different shores.

Problem Statement
The paper addresses the fundamental problem of rigorously deriving macroscopic fluid-dynamic equations (specifically the Euler equations) from the microscopic Newtonian dynamics of a large system of interacting particles. The central challenge lies in bridging the gap between time-reversible Hamiltonian mechanics at the particle level and the irreversible, continuum descriptions of fluids at the macroscopic scale. The authors distinguish between two primary regimes: the direct hydrodynamic scaling of particle systems and the derivation via the Boltzmann equation (kinetic theory) under low-density limits. A critical issue highlighted is the "ergodic problem"—the lack of satisfactory mathematical proofs regarding the emergence of local thermal equilibrium in deterministic mechanical systems, which remains a major obstacle to a complete rigorous derivation.

Methodology
The authors employ a discursive, comparative analysis of two distinct mathematical pathways to the Euler equations (EE), relying on scaling limits and statistical mechanics rather than new technical proofs.

Direct Hydrodynamic Scaling (Morrey's Program):
- Scaling: Space and time are rescaled by a factor $\epsilon$ , while the number of particles $N$ scales as $N = \epsilon^{-3}$ (in 3D). This corresponds to a high-density limit where the system approaches a continuum.
- Mechanism: The derivation relies on the empirical densities of mass, momentum, and energy satisfying continuity identities. To close these equations, the authors invoke the local equilibrium hypothesis (assuming the system reaches thermal equilibrium locally) and the virial theorem to equate mechanical and thermodynamic pressure.
- Outcome: This approach aims to derive EE with an equation of state dependent on the specific interaction potential of the particles.
Kinetic Theory Route (Grad's Program):
- Scaling: The system undergoes the Boltzmann-Grad limit, where $N = \epsilon^{-2}$ and particle diameter scales with $\epsilon$ . This represents a low-density (rarefied gas) regime where the number of collisions remains finite over macroscopic times.
- Mechanism: The derivation proceeds in two steps:
  - First, deriving the Boltzmann Equation (BE) from particle dynamics. This relies on Lanford's theorem, which proves the convergence of the BBGKY hierarchy to the BE for short times. Recent extensions by Deng, Hani, and Ma allow for arbitrary times provided a smooth solution exists.
  - Second, deriving the hydrodynamic limit from the BE. This involves a Hilbert expansion (or Chapman-Enskog expansion) where the collision frequency is increased (rescaling time such that the collision operator is multiplied by $\epsilon^{-1}$ ).
- Outcome: This route yields the Euler equations for a perfect gas ( $p = \rho T$ ), as the low-density limit effectively neglects interaction potentials beyond binary collisions.

Key Contributions and Results

Clarification of Regimes: The paper explicitly delineates that the two routes lead to disjoint sets of Euler equations. The direct scaling (Morrey) produces equations with an interaction-dependent pressure law, while the kinetic route (Grad) produces equations for a perfect gas. The authors emphasize that these are not merely different approximations but result from fundamentally different scaling regimes.
Status of Rigorous Derivation:
- The derivation of the Boltzmann equation from particle systems is considered rigorous for short times (Lanford) and conditionally for arbitrary times (Deng, Hani, Ma).
- The derivation of the Euler equations from the Boltzmann equation is well-established for times before shock formation.
- However, a complete rigorous derivation of the Euler equations directly from particle systems (without passing through the Boltzmann equation) remains an open problem due to the unresolved ergodic properties of many-body Hamiltonian systems.
Exceptions: The authors note that rigorous macroscopic limits have only been achieved in specific, non-generic cases: the periodic Lorentz gas (Sinai billiard) and integrable one-dimensional systems (hard-rod model).
Navier-Stokes Connection: The paper briefly discusses the incompressible limit. By adopting a parabolic scaling ( $t = \epsilon^2 \tau$ ) rather than hyperbolic scaling, diffusive terms remain finite, leading to the incompressible Navier-Stokes equations. This is viewed as a correction to the Euler picture, describing fluctuations around a vanishing velocity field.

Significance and Claims
The authors position this work as a review intended to orient readers within the existing literature and highlight conceptual issues often overlooked in recent technical works.

Hilbert's Sixth Problem: The paper frames these derivations as a modern interpretation of Hilbert's Sixth Problem (Mathematical Treatment of the Axioms of Physics), specifically the challenge of deriving macroscopic fluid laws from microscopic axioms.
Modest Scope: The paper does not claim to solve the ergodic problem or provide a new rigorous proof for the general case. Instead, it underscores that while the "program" of deriving fluid dynamics from particles is longstanding, its fundamental problems remain open.
Physical Adequacy: The authors note that while the Euler equations are the target of these scaling limits, they are physically inadequate in the presence of boundaries or shocks (e.g., d'Alembert paradox), necessitating the extension to Navier-Stokes equations, though the rigorous derivation of the latter from particles in these regimes is even less understood.

In summary, the paper serves as a critical map of the landscape of hydrodynamic limits, distinguishing between the "direct" and "kinetic" pathways, clarifying the resulting equations of state, and honestly assessing the current mathematical limitations regarding the emergence of thermodynamic equilibrium in deterministic particle systems.

More like this