SoylentNews

upstart writes:

A breakthrough in Hilbert's sixth problem is a major step in grounding physics in math:

When the greatest mathematician alive unveils a vision for the next century of research, the math world takes note. That's exactly what happened in 1900 at the International Congress of Mathematicians at Sorbonne University in Paris. Legendary mathematician David Hilbert presented 10 unsolved problems as ambitious guideposts for the 20th century. He later expanded his list to include 23 problems, and their influence on mathematical thought over the past 125 years cannot be overstated.

Hilbert's sixth problem was one of the loftiest. He called for "axiomatizing" physics, or determining the bare minimum of mathematical assumptions behind all its theories. Broadly construed, it's not clear that mathematical physicists could ever know if they had resolved this challenge. Hilbert mentioned some specific subgoals, however, and researchers have since refined his vision into concrete steps toward its solution.

In March mathematicians Yu Deng of the University of Chicago and Zaher Hani and Xiao Ma of the University of Michigan posted a new paper to the preprint server arXiv.org that claims to have cracked one of these goals. If their work withstands scrutiny, it will mark a major stride toward grounding physics in math and may open the door to analogous breakthroughs in other areas of physics.

In the paper, the researchers suggest they have figured out how to unify three physical theories that explain the motion of fluids. These theories govern a range of engineering applications from aircraft design to weather prediction — but until now, they rested on assumptions that hadn't been rigorously proven. This breakthrough won't change the theories themselves, but it mathematically justifies them and strengthens our confidence that the equations work in the way we think they do.

Each theory differs in how much it zooms in on a flowing liquid or gas. At the microscopic level, fluids are composed of particles — little billiard balls bopping around and occasionally colliding — and Newton's laws of motion work well to describe their trajectories.

But when you zoom out to consider the collective behavior of vast numbers of particles, the so-called mesoscopic level, it's no longer convenient to model each one individually. In 1872 Austrian theoretical physicist Ludwig Boltzmann addressed this when he developed what became known as the Boltzmann equation. Instead of tracking the behavior of every particle, the equation considers the likely behavior of a typical particle. This statistical perspective smooths over the low-level details in favor of higher-level trends. The equation allows physicists to calculate how quantities such as momentum and thermal conductivity in the fluid evolve without painstakingly considering every microscopic collision.

Zoom out further, and you find yourself in the macroscopic world. Here we view fluids not as a collection of discrete particles but as a single continuous substance. At this level of analysis, a different suite of equations — the Euler and Navier-Stokes equations — accurately describe how fluids move and how their physical properties interrelate without recourse to particles at all.

The three levels of analysis each describe the same underlying reality — how fluids flow. In principle, each theory should build on the theory below it in the hierarchy: the Euler and Navier-Stokes equations at the macroscopic level should follow logically from the Boltzmann equation at the mesoscopic level, which in turn should follow logically from Newton's laws of motion at the microscopic level. This is the kind of "axiomatization" that Hilbert called for in his sixth problem, and he explicitly referenced Boltzmann's work on gases in his write-up of the problem. We expect complete theories of physics to follow mathematical rules that explain the phenomenon from the microscopic to the macroscopic levels. If scientists fail to bridge that gap, then it might suggest a misunderstanding in our existing theories.

Unifying the three perspectives on fluid dynamics has posed a stubborn challenge for the field, but Deng, Hani and Ma may have just done it. Their achievement builds on decades of incremental progress. Prior advancements all came with some sort of asterisk, though; for example, the derivations involved only worked on short timescales, in a vacuum or under other simplifying conditions.

The new proof broadly consists of three steps: derive the macroscopic theory from the mesoscopic one; derive the mesoscopic theory from the microscopic one; and then stitch them together in a single derivation of the macroscopic laws all the way from the microscopic ones.

Journal Reference: arXiv:2503.01800 [math.AP] https://doi.org/10.48550/arXiv.2503.01800

Original Submission