Abstract
We deal with asymptotic analysis for the derivation of partial differential equation models for geophysical flows in the Earth’s atmosphere with moist process closures, and we study their mathematical properties. Starting with the Navier–Stokes equations for dry air, we put the seminal papers of Klein, Majda et al. in a unified context and then discuss the appropriate extension to moist air. In particular, we deal with the scale-independent distinguished limit for the universal parameters of atmospheric motion for moist air, with the Clausius–Clapeyron relation that links saturation vapor pressure and air temperature, and with the mathematical formulation of phase changes associated with cloud formation and rain production. We conclude with a discussion of the precipitating quasi-geostrophic models introduced by Smith and Stechmann. Our intent is, on the one hand, to convey the problems arising at the modeling stage to mathematicians; on the other hand, we want to present the relevant mathematical methods and results to meteorologists.
Keywords
Introduction
In this paper, we discuss recent developments concerning challenges associated with the derivation and mathematical analysis of reduced models for atmospheric motion with moist process closures. Specifically, we focus on the following topics:
The choice of a distinguished limit: as laid out in Klein (2010), the rich palette of reduced models used in meteorology can be viewed as an ensemble of scale-specific models that are embedded in one scale-independent distinguished limit for the universal parameters of atmospheric motion on our planet. Said distinguished limit, however, does not incorporate the thermodynamic parameters of moist air. This raises the question, crucially important for realistic models, how its systematic extension to that end may be achieved. Here, we base our presentation on the discussion in (Hittmeir & Klein, 2018), which shows that it is a difficult task even just to reconcile formal consistency and physical realism in this endeavor. The Clausius–Clapeyron (CC) relation: the consistency issues just mentioned are mainly due to the relationship between saturation vapor pressure and air temperature encoded in the fundamental CC equation (Bohren & Albrecht, 1998), which was systematically studied for the first time in the context of formal asymptotic analysis by Klein and Majda (2006). We compare and contrast several approaches to resolving this issue. Furthermore, we highlight the significant ways in which the mathematical structure of the reduced moisture equations changes, depending on the chosen approach. The impact of phase changes: one of the most important features of bulk models for cloudy, precipitating air is the presence of closures for the phase transitions associated with cloud formation and rain production. Viewed through a mathematical lens, the first-order discontinuities that occur in these closures provide an interesting challenge already when investigating the full, unapproximated equations of geophysical fluid dynamics (Doppler et al., 2024; Hittmeir et al., 2017, 2020, 2023). In reduced models, the effect of such discontinuities can lead to even more drastic changes in the analytical structure of moist extensions of preexisting models. Here, the precipitating quasi-geostrophic (PQG) model family originally due to Smith and Stechmann (2017) serves as a striking example: the elliptic inversion equation for the pressure perturbation in the potential vorticity formulation of those model equations becomes nonlinear by the inclusion of moisture species, indicating a significant departure from the well-known dry quasi-geostrophic (QG) dynamics. Once more, we present two contrasting approaches to the moisture parametrization problem, one of which was recently proposed by two of the authors of this article in Bäumer et al. (2023).
We conclude with an outlook on open questions and areas for future research, both on the modeling and the rigorous analysis front.
Model Hierarchies in Atmospheric Fluid Dynamics: A General Framework
Preliminaries
As it is our primary goal to delineate the physical and mathematical conditions that must be met in order to successfully incorporate moisture into asymptotic models for atmospheric dynamics, we first need to identify the independent physical dimensions of the system’s unknowns. In any nonisothermal, compressible fluid, these comprise a velocity field, pressure, density, and temperature at a minimum, which means that at least the four independent dimensions length, time, mass, and temperature are involved. For the description of geophysical fluids, these turn out to be sufficient. When investigating a specific geophysical flow phenomenon, one can then conduct a preliminary formal analysis in the following familiar fashion: having identified all of its (dimensional) parameters, derive a representative set of independent dimensionless parameters, translate heuristic notions of “large” and “small” to limit processes and study how the governing equations change in the formal limit(s).
In this work, before discussing scale-specific models, we want to make clear how such a dimensional analysis can be applied in a far more general context: the approach pioneered by and outlined in Klein (2010) is to first single out a set of parameters, called universal characteristics, that do not depend on the choice of length and timescales appropriate for any particular atmospheric flow. The independent nondimensional parameters that can be derived from said universal characteristics can then be assigned asymptotic scalings to obtain a scale-independent distinguished limit. This limit, when chosen properly and supplemented by suitable length—and timescales for some concrete meteorological event, can be used to retrieve already known reduced models, but, more importantly, it clarifies their respective standing within the atmospheric model hierarchy. Establishing a scale-independent distinguished limit thus greatly facilitates:
the comparison of different reduced models, and the study of interactions between such models across multiple scales.
The Necessity of Distinguished Limits. It is well known that asymptotic expansions with respect to multiple small parameters in general yield nonunique limits. A particularly simple, yet illuminating example is provided by the linear oscillator with small mass and damping (Klein, 2010). For this reason, we need to restrict ourselves to coupled limit processes dependent on only one generic small parameter
When it comes to the mathematical description of dry air flows in the Earth’s atmosphere, there is general agreement on the equations to be used as a point of departure. These are the compressible Navier–Stokes equations with gravity for a heat-conducting ideal gas in a rotating frame, considered in a thin shell around an (approximately) spherical planet (Pedlosky, 1987; Vallis, 2017). In coordinate-free form, they read
The viscous stress tensor of a Newtonian fluid, denoted by The ideal gas law
The sum of kinetic and inner energy per unit mass The heat flux density
In meteorological applications, a number of simplifications are typically assumed from the outset: first of all, the impact of molecular viscosity on meteorological timescales is generally viewed as negligible. Therefore, the terms involving the viscous stress tensor (2) in the momentum and energy equations are typically dropped and replaced by a generic closure term that primarily represents boundary layer friction or turbulence. By the same token, heat conduction proceeds far too slowly to affect the local heat budget in atmospheric motions, and consequently, (5) is either ignored altogether or replaced by a closure for turbulent mixing. It remains to discuss the geopotential
Metric Terms in Common Approximations. When studying models for atmospheric dynamics on length scales significantly smaller than the Earth’s diameter, one can simplify the equations of motion further by approximating the spherical metric by a flat one (at leading order). This corresponds to a tangent plane approximation, which could in principle be justified within the asymptotic scheme. For simplicity of exposition, we will assume it here from the outset, since it is known to be consistent with all models investigated in this article, and the general scaling considerations to follow do not depend on the components of the metric tensor. Bearing all of the above in mind, one can now rewrite the simplified equation (1) in pseudo-Cartesian coordinates, in the form
Atmospheric flows occur on a wide variety of spatial and temporal scales, and the derivation of models of reduced complexity to reveal the characteristics of scale-specific phenomena has long been a cornerstone of theoretical meteorology. Traditionally, such models are derived from the governing equations by a set of assumptions tailored to the problem at hand, followed by careful scale analysis and the identification of dominant terms in the governing equations. This is a standard modeling strategy that has led to many successes, but it has one major drawback: problem-by-problem modeling does not enable the study of interactions across multiple scales. Such studies constitute the natural next step when one tries to go beyond single-scale models, and it would therefore be of great interest to establish a framework that allows for the systematic derivation of reduced models by formal asymptotics on all viable length and timescales, including, but not limited to, those already recognized by the meteorological community. As already mentioned, this was achieved in the context of dry air flows by Klein (2010), whose methodology we explain more thoroughly in the following.
Notwithstanding the complexity and unpredictability of the dynamics of our planet’s atmosphere, one can identify a number of relevant characteristic quantities that are “universal” in the sense that they set conditions that remain essentially unchanged for all atmospheric flows, listed in Table 1.
Among these eight parameters, six were already introduced through the governing equations and the constitutive relations. The Earth’s radius
Now, we want to explore possibilities to extend the distinguished limit described above to include the physical parameters that can be regarded as universal when investigating a mixture of dry air, water vapor, and liquid water. In doing so, we do not immediately discuss the difficult issue of the incorporation of cloud microphysics, first highlighting the role of the fundamental CC relation (Bohren & Albrecht, 1998) in the study of phase changes; the next section will be devoted to viable parameterizations of processes such as condensation and evaporation in the context of formal asymptotics for the dynamics of a moist atmosphere.
Universal Characteristics of Atmospheric Motion.
Universal Characteristics of Atmospheric Motion.
Quantities Derived From Universal Characteristics.
First, we, of course, need to determine a set of governing equations that is suited to serve as a common point of departure for the derivation of a wide variety of moist flow phenomena. Here, we opt for the state-of-the-art system used in Hittmeir and Klein (2018), Bäumer et al. (2023), and Bäumer and Klein (2025), which incorporates fairly detailed moist thermodynamics and bulk microphysics closures for transitions between the various moisture species in the spirit of Kessler (1995):
Fundamental Thermodynamic Parameters for a Cloudy, Ice-Free Atmosphere.
Having thus set the stage, our point of departure is CC in the form valid for an ideal gas (a very good approximation for atmospheric water vapor), which reads
We do not include ice and mixed-phase clouds in our considerations. While these are clearly of great importance for a comprehensive understanding of moisture in the atmosphere, to the best of the authors’ knowledge, the only systematic asymptotic analysis of atmospheric dynamics with explicit closures for the ice phase to date has been conducted by Dolaptchiev et al. (2023), who studied interactions between gravity wave dynamics and cirrus clouds, building on the application of asymptotic methods to the homogeneous nucleation process by Baumgartner and Spichtinger (2019). No fully general framework that treats both liquid and solid hydrometeors, coupled to the compressible flow equations, has been developed as of yet.
Next, going back to the already established distinguished limit (10), we need to make one important adjustment: in Table 1, the isentropic exponent of dry air
Now, before we proceed to discuss the derivation of an extended distinguished limit, let us state the three principles that shall guide us in this endeavor:
Our aim is to contribute to the theoretical understanding of real-world phenomena. Therefore, we will only take scalings into consideration that lead to physically reasonable relations. As we now have 12 physical parameters and three nondimensional parameters have been assigned asymptotic rescalings already, the fundamental rules of dimensional analysis dictate that only five further scalings can be chosen freely. Recall that, in the sense of a heuristic correspondence, we assumed The saturation vapor pressure at At leading order, temperature decreases with height in the troposphere. The exponential term makes the dominant contribution in (19) when temperatures decrease, since The chosen reference temperature
As a first step, let us take a closer look at the thermodynamic evolution equation (11d). Notwithstanding the great variation in cloud types and precipitation intensities across spatial and temporal scales, one statement holds true for all atmospheric flow phenomena that are substantially influenced by moist processes: latent heating, that is, temperature changes connected to phase changes of atmospheric water, is present in the leading-order equation for spatiotemporal thermodynamic perturbations. This translates to
In determining an asymptotic representation of CC, describing the rapid decrease of available moisture at greater atmospheric altitudes, we thus need to look to the asymptotic expansion of the term
The Empiricist’s Alternative. Hittmeir and Klein (2018), who first derived the above distinguished limit in the context of the dynamics of convective cloud towers, also considered an alternative approach that sacrifices formal consistency for a more accurate representation of the actual numerical values. To be specific, they proposed a limit that deviates from the formally consistent one only in the scalings of The second regime, in contrast, has been defined purely on the basis of the actual magnitudes of the dimensionless parameters. Numbers between
Beyond Hittmeir and Klein (2018), said limit was also adopted in the derivation of the large-scale model of Bäumer and Klein (2025), mainly because it preserves the traditional form of the hydrostatic balance relation. The jury is still out on the question of whether one of the two distinguished limits described here can generally be considered “better” than the other. Adopting the terminology of the two cited articles, we refer to the formally consistent regime as
Two Viable Moist Extensions of the Distinguished Limit for Dry Air.
Scaling the Moist Constituents. Mixing ratios are dimensionless quantities, and in the case of atmospheric water, they are invariably small. Even in the tropical troposphere, the biggest atmospheric moisture reservoir, the mixing ratio of water vapor at saturation does not exceed a couple of percent. Therefore, the scaling
Choosing an Appropriate Closure Scheme
The representation of phase changes of water on the macroscopic level of atmospheric motions poses one of the biggest challenges for both the theoretical and the numerical modeler: condensation kernels on which cloud droplets start to form have diameters on the order of microns. As more and more liquid water diffuses onto a droplet, it may grow to precipitable size, gain a nonnegligible fall speed, and then continue to accelerate downward until a balance between gravity and the drag force exerted on it by the surrounding air is reached. The droplet—now a raindrop—then attains its terminal velocity. This velocity depends on the drop’s size, which in turn is a function of its interactions with other drops and droplets; crucially, it strongly increases with the intensity of local updrafts. Finally, as the raindrop gets closer to the ground, it may either fall unimpeded or (partially) evaporate in dry boundary layer air.
This sketch of the life cycle of one individual drop makes the complexity of the subject matter apparent: there is no clear-cut distinction between nonprecipitating and precipitating water drops, fall speeds of the latter vary significantly, and they strongly depend on environmental conditions. Then, of course, there are the intricacies of the two-stage process of nucleation and condensation, which happen on very small spatial and temporal scales. In the hydrodynamic setting, we therefore need to assume quite drastic simplifications from the outset. In particular, in the context of asymptotic model hierarchies, it is prudent to keep the complexity of the chosen closure scheme to a manageable minimum. This is why the governing equations (11) include transport equations for only three moist constituents. Even though, as already remarked, the subdivision of liquid water into cloud water and rain is somewhat arbitrary, this simple bulk model is sufficient to capture the essentials of moist dynamics on all meteorological scales (without the ice phase). Phase changes in such a model are traditionally parameterized in a form originally devised by Kessler (1995); for the reader’s convenience, we restate the closure scheme employed here below. It goes back to Klein and Majda (2006), and has further been utilized in the asymptotic modeling studies of Bäumer et al. (2023), Bäumer and Klein (2025), and Hittmeir and Klein (2018):
We emphasize that (35) was chosen pragmatically as the simplest reasonable bulk scheme, where all phase transitions are functions of the respective mixing ratios or their excess beyond a certain threshold only. More realistic bulk microphysics closures involve fractional powers of the liquid water mixing ratios. For the reader interested in more accurate parameterizations, the overview in Chapter 3 of Houze (2014) is a good starting point. We further mention the double-moment scheme of Seifert and Beheng (2001) as an example of a parameterization that balances moderate complexity with a systematic treatment of autoconversion, accretion, and self-collection.
At first sight, it might seem straightforward to find proper scalings for the conversion terms (35) on the respective right-hand sides of the moisture equations (11e)–(11g): having determined the appropriate asymptotic magnitudes of the various mixing ratios and the scaled value of the average terminal rainfall velocity Continuous reparameterization: This modeling strategy, pursued by, for example, Bäumer et al. (2023) and Bäumer and Klein (2025), assumes that the averaged effects of the various microphysical processes on the given meteorological scale can be parametrized by continuous functions of the same type as the original closures in (35). As laid out above, this does not amount to a scaling assumption on the original rate constants, since those might themselves be scale-dependent. Fast microphysics: This ansatz builds on the straightforward observation that microphysical processes are resolved on accordingly small scales, and can therefore be considered immediate on the much larger meteorological timescales. Most asymptotic studies dealing with a moist atmosphere that the authors are aware of treat the condensation term in this manner, with some extending it to all phase transitions, see, for example, Smith and Stechmann (2017).
As shown below, the transition from the first approach to the second can be achieved—at least for the condensation term—by a straightforward rescaling of the appropriate rate constants. We devote the last section to a detailed comparison of the respective outcomes, choosing the PQG model family as a representative example.
Let us consider the following situation: we are in the process of constructing a reduced single-scale model by a generic regular asymptotic expansion, and the scaling is already fully in place. However, we want to obtain a fast microphysics limit for the condensation term as a byproduct of the formal derivation. In this context, the fast condensation limit refers to the following alternative:
Fundamentals
The classical QG theory is of central importance in the mathematical analysis of both atmospheric and oceanic fluid dynamics (Pedlosky, 1987; Vallis, 2017). In particular, it captures the essential dynamics of the midlatitude atmosphere with its alternating cyclonic–anticyclonic structure, and its standard formulation highlights the importance of potential vorticity, a fundamental quantity in all of meteorology (Ertel, 1942; Hoskins et al., 1985). In the following, we will use the notation
Having collected (42)–(45), one can achieve a significant simplification of this system by eliminating the vertical velocity: adding the vorticity equation (44) and the vertical derivative of a suitable multiple of (45) naturally leads to
There is a rich mathematical literature on the QG equations. Global well-posedness of the full system is addressed, for example, by Bourgeois and Beale (1994), while Novack and Vasseur (2018, 2020) cover its extension to a boundary layer theory. We would be remiss not to mention that the 2D surface QG equation, derived from a simplified version of the original system with
The passage from continuous phase transitions to switches, as in the “fast condensation limit” (36), can fundamentally alter the analytical structure of the resulting reduced model. The PQG model family, going back to Smith and Stechmann (2017), here serves as an ideal example, since variants of the PQG equations both with fast phase changes and with full Kessler-style closures have already been derived and investigated. We begin with the PQG model recently derived by Bäumer and Klein (2025), which preserves the original form of the bulk microphysics closures (35). In their “raw” form, the equations of this model in dimensional form read
Let us now go back to the reduced moisture and thermodynamic equations in their preliminary form to examine the effect of fast condensation: we have
We discussed recent steps toward a general framework for the asymptotic modeling of moist atmospheric flows, omitting the ice phase for the time being. In particular, we showed in detail that the incorporation of the fundamental CC relation makes it difficult to obtain a distinguished limit that is both formally consistent and faithful to the numerical magnitudes of the thermodynamic parameters of moist air. We argued, as Hittmeir and Klein (2018) did, that two different regimes could be considered viable, summarized in Table 4. Furthermore, we laid out two contrasting approaches to the modeling of phase changes and highlighted the profound structural changes arising from a transition to fast microphysics in the family of PQG models.
As far as directions for future research are concerned, we can only offer a personal selection, since the field as a whole is still in its infancy: on the modeling side, the systematic study of interactions between small-scale moist convection and large-scale cloud regions stands out as a problem of great theoretical and practical relevance. The connection of reduced models for moist atmospheric dynamics to the planetary boundary layer constitutes another important challenge. Here, Bäumer and Klein (2025) achieved significant progress by merging the recent triple-deck boundary layer theory of Klein et al. (2022) with the PQG model family (the equations for the bulk flow are stated in (52)). Of course, much still needs to be learned about the properties of previously derived models. Again highlighting developments in the PQG context, numerical convergence studies as in Zhang et al. (2022) are a promising avenue of investigation, as is the derivation of families of physically meaningful explicit solutions, achieved by Wetzel et al. (2019) for discontinuous fronts. Regarding the rigorous analysis of models based on the Navier–Stokes or Euler equations with moist process closures as in (11), most research to date has been concerned with the well-posedness of the full system with viscosity and closures for turbulent diffusion and mixing. No results for the inviscid system seem to be available. Looking to reduced models, very few investigations have been conducted: besides the aforementioned work of Remond-Tiedrez et al. (2024), the only rigorous results that the authors are aware of have been obtained by Li and Titi (2016) and Majda and Souganidis (2010) in the context of the early Frierson et al. (2004) model for a moist tropical atmosphere. Remarkably, Li and Titi (2016) went beyond well-posedness and proved convergence to the so-called relaxation limit, which in our terminology corresponds to the transition to a fast microphysics scheme. It would be interesting to see whether results in the same spirit can be obtained for more comprehensive bulk models as in (35). We should also note that one of the authors of the present article (Bäumer, 2025) has obtained first results on the dry version of the triple-deck boundary layer theory developed by Klein et al. (2022). Last, but certainly not least, the question under which conditions and in which sense solutions of the unapproximated equations (11) converge to solutions of the reduced moist flow model under consideration is completely open—it remains to be seen whether a general framework in analogy to the classical theory of singular limits (Klainerman & Majda, 1981; Schochet, 1994) can be developed.
Footnotes
Acknowledgements
The authors thank the Wolfgang Pauli Institute Vienna for all kinds of support, e.g., the Pauli fellowship for R.K. For open-access purposes, the authors have applied a CC BY public copyright license to any author-accepted manuscript version arising from this submission.
Funding
The authors disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/F65. R.K. was supported by Deutsche Forschungsgemeinschaft through Grant CRC 1114 “Scaling Cascades in Complex Systems,” Project Number 235221301, Project C06 “Multi-scale structure of atmospheric vortices” and Grant FOR 5528 “Mathematical Study of Geophysical Flow Models: Analysis and Computation,” Project No. 500072446, Project 2 “Scale Analysis and Asymptotic Reduced Models for the Atmosphere.”
Declaration of Conflicting Interests
The authors declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
