← Back to arXiv
arXivAnalysis / PDEsarXiv:2607.27477

Rigorous justification of the hydrostatic-incompressible approximation for weakly stratified isothermal flow

The paper tackles a fundamental question in fluid dynamics: when is it mathematically valid to simplify the full equations governing compressible air flow into a simpler set of equations used in weather and ocean modeling? The full equations, called the compressible Navier-Stokes equations, describe how pressure, density, and velocity evolve together in a gas. In practice, meteorologists and oceanographers often use a simplified version called the incompressible primitive equations, which assume that vertical motions are negligible compared to horizontal ones and that sound waves can be ignored. This paper provides a rigorous mathematical proof that this simplification is indeed justified under specific physical conditions: when the flow is slow relative to the speed of sound (small Mach number), when the atmosphere is much wider than it is tall (small aspect ratio), and when density variations with height are relatively mild (weak stratification).

A key technical challenge is that as you move toward these limiting conditions, three different types of waves are present simultaneously: a slow wave associated with the fluid motion itself, a fast horizontally traveling sound wave, and an even faster vertically traveling sound wave. Unlike many idealized situations in mathematics, these three wave types are not cleanly separable from one another, meaning that controlling one does not automatically give you control over the others. The waves interact in complicated ways, and the mathematical tools used to handle them depend on the very small parameter being studied, making the nonlinear parts of the analysis particularly difficult.

Despite these complications, the authors prove two important results. First, they show that well-behaved solutions to the full compressible equations exist and are unique for any fixed value of the small parameter, regardless of how large the initial disturbances are. Second, and more importantly, they prove that as the small parameter approaches zero, these solutions converge to solutions of the primitive equations. This gives a solid mathematical foundation for the equations used every day in climate and weather models, confirming that the physical intuitions behind those simplifications are not just plausible but provably correct.

Read original →