## 1. Introduction

Physical processes in the atmosphere feature a wide range of spatiotemporal scales described by the fully compressible nonhydrostatic flow equations. Accordingly, nonhydrostatic fully compressible modeling approaches hold sway in atmospheric research codes and in operational dynamical cores; for example, Icosahedral Nonhydrostatic model (ICON; Zängl et al. 2014), Nonhydrostatic Unified Model of the Atmosphere (NUMA; Kelly and Giraldo 2012), (DUNE; Brdar et al. 2013), the models in use at the National Center for Atmospheric Research (NCAR; Wong et al. 2014), the European Centre for Medium-Range Weather Forecasts (ECMWF; Hortal 2002; Smolarkiewicz et al. 2014), the Met Office (Davies et al. 2005; Wood et al. 2014), and others.

Despite very successful ongoing developments, the proper treatment of multiple characteristic time scales in atmospheric simulations remains a matter of scientific research. Two of the biggest obstacles of multiple-scale simulations are (i) the discretization of fast processes in the governing equations and (ii) balanced data assimilation.

Numerical stiffness is the source of the first remaining obstacle. Except for inertia–gravity waves of long wavelength, which are not considered here, quantities of meteorological interest propagate at low speed compared with sound waves. Sound modes are said to be nearly balanced and their effects are considered negligible for atmospheric dynamics. The difference between the sound and flow speeds stiffens the numerics of fully compressible solvers rendering straightforward explicit schemes impractical because of severe stability-related time step constraints.

Filtering the data with respect to fast modes while minimally distorting the ensuing dynamics is the second remaining obstacle. Computational simulations never exactly track the evolution of the considered system. Hence, data assimilation is needed for exploiting observational data at regular time intervals to set up initial data for the next simulation period. However, importing observed field data from local weather stations directly to adjacent grid points would disregard the aforementioned balances of the fast modes. For example, in the presence of a low pressure system in the summer with high levels of convection, the local vertical velocities would project onto nonhydrostatic and compressible modes yielding strongly unbalanced data on the numerical grid. Efficiently controlling such modes remains a challenge in data assimilation.

Numerical approaches aimed at overcoming the stiffness are split-explicit, semi-implicit, and fully implicit numerical time integrators for the fully compressible flow equations. The first class of schemes subcycles a simplified discretization of the fast wave processes at short time steps and employs suitable synchronization procedures for coupling the results to large time steps of the slower modes (Skamarock and Klemp 1994, 2008; Jebens et al. 2009). Another option would be to adopt a fully implicit approach that even overcomes the time step restrictions associated with explicit discretizations of advection. Because of their computational expense these schemes have, to our knowledge, thus far not found widespread application in meteorology. A notable exception is the work by Reisner et al. (2005).

The focus of the present work lies instead on semi-implicit discretizations that invoke implicit integrators for the terms in the equations representing the fast wave modes while treating the slow modes explicitly. Many approaches to semi-implicit discretization for atmospheric flows have been reported (e.g., Bonaventura 2000; Gatti-Bono and Colella 2006; Restelli and Giraldo 2009; Jebens et al. 2011; Durran and Blossey 2012; Giraldo et al. 2013; Wood et al. 2014; Smolarkiewicz et al. 2014; Weller and Shahrokhi 2014). For all-speed flow discretizations in computational fluid dynamics the reader is referred to Casulli and Greenspan (1984), Bijl and Wesseling (1998), Munz et al. (2003), and Kwatra et al. (2009).

An alternative to these numerical approaches to overcoming the stiffness is to adopt a “soundproof” model. These reduced dynamical models include a diagnostic constraint on the velocity divergence and therefore do not support sound waves. The divergence constraint needs to be maintained numerically, which entails the solution of an elliptic pressure equation. Soundproof models suitable for atmospheric motions covering vertical distances comparable to the pressure scale height are the anelastic (Lipps and Hemler 1982; Bannon 1996) and pseudo-incompressible models (Durran 1989; Klein and Pauluis 2012).

Soundproof models have successfully been used to simulate small to mesoscale flows, and their validity as slow-flow limit models has recently been established on theoretical grounds (Klein et al. 2010; Achatz et al. 2010). However, their applicability to large-scale motions is still under debate (Davies et al. 2003; Dukowicz 2013) despite recent successful large-scale simulations for atmospheric (Smolarkiewicz and Dörnbrack 2008; Smolarkiewicz et al. 2014) and astrophysical (Nonaka et al. 2010; Smolarkiewicz and Charbonneau 2013) applications.

In line with these observations, one of our goals is to develop a numerical scheme for the fully compressible equations that defaults to the pseudo-incompressible limit for slow flows on small- to mesoscales. Such asymptotically adaptive schemes have a substantial history of studies (Klein 2000; Klein et al. 2001; Gatti-Bono and Colella 2006; Cullen 2007; Haack et al. 2012) in which the low Mach or low Froude number limits are discretely recovered through careful identification and separate discretization of the advection, acoustic, and/or buoyancy terms in the fully compressible equations. In the present work we suggest a particularly straightforward approach of this type that is directly motivated by the theoretical framework set out in Klein (2009, 2010).

More specifically, this paper documents the construction of a semi-implicit second-order accurate numerical method for the simulation of weakly compressible atmospheric flows that shares the principal components of the discretization with the soundproof solver by Klein (2009). The time integration for the fully compressible equations derives from that of the pseudo-incompressible model and the required adjustments amount to no more than adding a diagonal term to the matrix of the elliptic pressure problem and synchronizing the cell-centered and node-based pressures. This is similar in spirit to parallel developments by Smolarkiewicz et al. (2014) but technically different. In particular, these authors do not address the possibility of a seamless blending of models and they work with perturbation variables and with the Exner pressure in the momentum equation.

Besides constructing the compressible flow solver, we design the discretization such that it can be used directly to solve a continuous family of weakly compressible models that interpolate seamlessly between the fully compressible and pseudo-incompressible ones. This is realized by exploiting the close structural similarity of these two limiting models when written in conservative, nonperturbation form for the densities of mass, momentum, and potential temperature.

In the context of increasing computing resources and ever smaller scales accessible in high-resolution weather and climate simulations, it is of arguable interest to operate different analytical formulations within a single numerical framework. Such a unified numerical scheme becomes all the more desirable in the light of a recent study (Smolarkiewicz and Dörnbrack 2008) that compared the errors made by using different numerical methods for the same model equations with those made by considering different equation systems discretized with nearly identical numerics. These authors found, somewhat surprisingly, that the former errors exceeded the latter, and this underlines the importance of comparing flow models within one and the same numerical framework. In an interesting investigation of this type, Smith and Bannon (2008) compared anelastic and compressible models in a case of localized instantaneous diabatic warming.

A second motivation for implementing the seamless model family lies in its potential use for balanced data assimilation. By adjusting the model interpolation parameter accordingly from zero to unity, such a “blended” scheme can be tuned to perform a few time steps in pseudo-incompressible mode and to then transition to its fully compressible mode after a few further steps. As we will show, this effectively reduces initial acoustic imbalances. Considering the factors affecting predictability of the simulated precipitation field in cloud-resolving models, Hohenegger and Schär (2007) showed that uncontrolled small-scale acoustic perturbations may contribute to rapid error growth at the mesoscale.

The scheme we propose has more potentially attractive features. One of these features is the formulation in a nonperturbation form that does not rely on subtraction of a background state for accuracy. This is achieved for the present collocated finite-volume method by a well-balanced discretization of the pressure gradient and gravity terms following Botta et al. (2004) and Klein (2009). Moreover, the scheme uses the gradient of the thermodynamic instead of the Exner pressure, thereby allowing for a conservative discretization of the momentum flux induced by the pressure force. In addition, as pointed out by Klein and Pauluis (2012), Durran’s original formulation of the pseudo-incompressible model using Exner pressure cannot be easily extended to general equations of state. One step toward overcoming this obstacle is to adopt a formulation with pressure instead of Exner pressure in the momentum equation as done in this paper. Yet, this formulation is thermodynamically consistent only if first-order density perturbations are included in the gravity term in addition to Durran’s “pseudodensity.” For an ideal gas with constant specific heat capacities, Durran’s model and the present thermodynamically consistent formulation are equivalent as a short calculation using the transformations *π*′ = *p*′/(*c*_{p}*P*_{0}) shows. A second step that is also necessary in extending to general equations of state, but which is not pursued here, is a reformulation of the velocity divergence constraint. This step is needed because in this case the pressure equation can no longer be easily cast into a simple conservation law (Almgren et al. 2006a,b; Klein and Pauluis 2012).

Furthermore, the transition from the pseudo-incompressible via the blending to the compressible model is achieved by minimal code adjustments. These involve reassigning certain weights in the grid stencil of the elliptic correction equations and applying a weighted superposition of pressure updates. These updates are calculated from the elliptic equations and from the conservative balance of potential temperature.

The paper is structured as follows. Compressible, pseudo-incompressible, and blended models are presented in section 2. Section 3 summarizes the numerics. The results of numerical simulations in a number of two-dimensional test cases are documented in section 4. Grid convergence with the expected second-order rate is verified in a benchmark involving advection of a smooth axisymmetric vortex. For the standard test cases of a rising hot air thermal, density current, and inertia–gravity waves, we compare the predictions obtained with the compressible and pseudo-incompressible models and demonstrate the importance of the thermodynamic consistency correction within the pseudo-incompressible framework. Usage of the blended model for filtering acoustic imbalances is demonstrated for both short sound-resolving time steps and for time steps corresponding to an advective Courant–Friedrichs–Lewy (CFL) number of order unity. Section 5 provides the conclusions and an outline of open issues and future work.

## 2. Theoretical framework

### a. Fully compressible equations

*ρ*denotes the fluid density,

**v**is the velocity vector, ° is the tensor product,

*g*is the acceleration of gravity,

**k**is the vertical unit vector, and

*R*is the gas constant for dry air and

*γ*is the isentropic exponent. Hereafter, we take

*γ*= 1.4 and

*R*= 287 N m kg

^{−1}K

^{−1}throughout. For smooth flows, (1c) can equivalently replace total energy conservation in a finite-volume discretization, which is common in numerical meteorology, but which would not be adequate for flows with shocks (LeVeque 2002). Together, (1a) and (1c) describe mass conservation and the advection of potential temperature, while (1c) is equivalent to the pressure evolution equation

*p*

_{t}+

**v**·

**∇**

*p*+

*γp*

**∇**·

**v**= 0. Thus, a discretization of (1c) directly controls the pressure evolution, and this is central to the blended compressible–soundproof formulation to be presented below.

The system is closed by appropriate initial and boundary conditions which we will specify in conjunction with specific test cases below.

### b. The pseudo-incompressible approximation

*p*–

*ρ*formulation here (Klein and Pauluis 2012). When written in the latter form, extra care must be taken in formulating the momentum equation to ensure that it retains the influences of the pressure perturbation up to first order.

*p*′/

*p*

_{0}≪ 1 and

*ρ** is called the pseudodensity and is defined as the density calculated at the background pressure but using the full potential temperature:

*ρ** and using (11):

*P*as

*P*is now a function of

*p*

_{0}only, which allows us to drop the time derivative term and the evolution equation becomes a divergence constraint. This constraint enforces the pseudo-incompressible form of the density equation in (11) thereby filtering the effect of pressure perturbations on the density and thus filtering sound waves.

*π*′ =

*p*′/(

*c*

_{p}

*P*

_{0}), a straightforward calculation shows that the original formulation of Durran (1989) and the present

*equivalent*at the level of the partial differential equations. An advantage of our formulation is that it is more easily extended to incorporate more complex equations of state and that it is “thermodynamically consistent.” This notion refers to the existence of well-defined thermodynamic potentials describing the proper increase–decrease of an entropy variable in the diabatic case (Klein and Pauluis 2012). Note, however, that completing the extension to general equations of state also requires a reformulation of the divergence constraint (Almgren et al. 2006a,b; Klein and Pauluis 2012).

### c. A blended compressible/pseudo-incompressible model

*p*–

*ρ*formulation” for the momentum equation in a single numerical model featuring

a conservative discretization with respect to

*ρ*,*ρ***v**,*ρθ*≡*P*,second-order accuracy,

time steps independent of the sound speed,

a continuous transition between pseudo-incompressible and compressible forms, and

a well-balanced discretization that does not rely on subtraction of a background state.

*α*∈ {0, 1}:

*α*= 0, the two pseudo-incompressible models with the

*p*–

*ρ*formulation of the pressure gradient term are retrieved. Then, setting

*β*= 1 selects the thermodynamically consistent (

*β*= 0 retrieves the “naive” pseudo-incompressible (PI

_{ρ,p}) model. We note that in PI

_{ρ,p}and

*ρ*takes the role of the pseudodensity, which was denoted by

*ρ** in (17b), and necessitates the additional term for thermodynamic consistency in the momentum equation in (18b) for (

*α*,

*β*) = (0, 1). As the model parameter

*α*is adjusted from 0 to 1, the effect of pressure perturbations on density is retrieved in a continuous fashion. This formulation recovers the fully compressible (FC) dynamics for

*α*= 1. A summary of the model configurations is given in Table 1.

Model configurations used in the numerical scheme.

The system in (18) features nonapproximate mass and momentum equations for *α* ∈ {0, 1} when *β* = 1. The reason is that the *π*–*θ* formulation” of the pressure gradient term. Klein et al. (2014) observe that the model satisfies an energy conservation law with a definition of the total energy that is an interpolation between those of the fully compressible and the pseudo-incompressible models. The model’s internal wave dispersion properties for realistic stratifications are close to those of the limiting models. This follows from related analyses for the limiting models by Klein (2010) and the fact that the underlying Sturm–Liouville problems depend smoothly on the defining data. We also refer to Vasil et al. (2013) for related analysis and relegate further discussion to a future publication.

In (18) the *α* and *β* parameters are introduced to formulate the FC, _{ρ,p} models conveniently in one and the same set of equations. Only discrete values *α*, *β* ∈ {0, 1} make sense to begin with. Yet, let us consider the resulting model equations for any *α* ∈ [0, 1]. A seamless discretization that allows integration of (18) for any of these values can be used to our advantage in some meteorologically interesting situation.

Suppose we are to initialize one of the well-known test cases of a rising warm-air bubble or flow over a mountain. As in “real meteorology,” we are not interested in acoustic perturbations and would like to simulate acoustically balanced flows. Yet, we have no analytical way to determine the balanced pressure distributions that would be associated with given initial data for potential temperature and velocity.

However, knowing that the pseudo-incompressible models provide good approximations to compressible flows free of sound waves, we can attempt to generate reasonable approximations to the missing pressure fields by starting a simulation pseudo-incompressibly with *α* = 0 for, say, *S*_{1} time steps. Within the next *S*_{2} time steps we increase *α* continuously from 0 to 1, and after time step *S*_{1} + *S*_{2} we maintain *α* = 1 to operate the model in fully compressible mode. This procedure should generate a compressible flow simulation that is balanced with respect to acoustic modes essentially from the start. Promising related results for the rising bubble test are discussed in section 4 below.

We conjecture that such a smooth blending of balanced and unbalanced model equations within a common discretization framework could substantially contribute to resolving similar balancing issues in the context of data assimilation.

## 3. Numerical framework

A semi-implicit finite-volume method is used to approximate the dynamics of the blended model. The scheme is a variant and extension of the soundproof solver described in Klein (2009). An outline is presented here, for more details see the appendix. The discrete solution of (18) is obtained by the following time stepping procedure, say from *t*^{n} to *t*^{n+1}:

An explicit predictor solves an auxiliary hyperbolic system obtained by replacing the pressure gradient in the momentum equation in (18b) with its value at time level

*t*^{n}*.*This step yields second-order accurate*ρ*,*θ*, and*P.*A first elliptic corrector solves for the cell-centered pressure time increment

*δp*=*p*^{n+1}−*p*^{n}by enforcing consistency with the pressure equation in (18c). This step also corrects the advecting fluxes in (18a) and (18b).The solution of a second elliptic problem is used to correct the pressure-related momentum flux for fully second-order accurate updates of the cell-centered momenta.

For the time discretization we divide the simulation time interval [0, *T*] into *N* subintervals, with *t*_{0} = 0, *t*^{n+1} = *t*^{n} + (Δ*t*)^{n} for *n* = 0, 1, …, *N* − 1. For any variable *X*, we denote *X*^{n} = *X*(*t*^{n}) and (Δ*t*)^{n} = *O*(*T*/*N*) denotes the time steps. In the implementation, a dynamically adaptive choice of the time step based on fixing the Courant number is implemented, see the appendix for details. The spatial domain is divided into primary computational cells *C*_{i,j} (finite volumes) *C*_{i,j} are separated by interfaces *I*_{i+1/2,j}, *I*_{i,j+1/2} as shown in Fig. 1. The extension to three dimensions is straightforward. The primary variables *ρ*, *ρ* **v**, *P* are stored at the centers of the primary cells *C*_{i,j}. Pressures are computed at centers of the primary cells *C*_{i,j} in the first correction step and at the centers of the dual cells

### a. Step 1: Predictor

*t*

^{n}→

*t*

^{n+1}, the following auxiliary hyperbolic system, obtained from (18) by freezing

*p*and

*p*′ at time level

*t*

^{n}, is solved (Klein 2009):

*X*

_{C},

*X*=

*ρ*,

*ρ*

**v**, and

*P*, are defined as approximations of the cell averages set at the cell centers:

*C*| is the cell volume. To achieve second-order accuracy in space, piecewise linear reconstruction of

*P*,

**v**, and the advected quantities (1/

*θ*,

**v**/

*θ*) is applied within the grid cells. The reconstructed values are used to determine any data required at the cell interfaces and to evaluate the numerical flux functions. The pressure variables

*p*

^{n}and (

*p*′)

^{n}are set at the grid nodes.

*X*

_{C}are obtained from the old ones subtracting the net outflow fluxes at the boundaries and adding the contributions from the source terms:

*ρ*′ = (1 −

*α*)

*β*(

*ρ*

_{0}/

*γp*

_{0})

*p*′. The superscripts (⋅)

^{n+1/2,*}in (21) indicate effective time-averaged terms as they emerge from the chosen time integrator, and the asterisk indicates quantities evaluated in the course of the predictor step.

Note, we have rewritten the *ρg* term in the momentum equation in (21b) in terms of *P* and *θ* using the equation of state [given by (2) for the FC model and (15) for the PI_{ρ,p} and *δp* here is the pressure increment computed in the correction step of the previous time loop. The derivative of *P* with respect to *p* is computed using the equation of state.

By writing *ρg* in this way we were able to decouple the buoyancy term from the small advective flux divergence errors that arise in the predictor step. Potential temperature effects can fully be accounted for in the predictor, because potential temperature is accurately advected and not affected by the divergence errors. However, the pressure does react to divergence errors. By relying on accurate pressure information computed during the previous time steps, the buoyancy term is shielded from this effect. As a result, this formulation was found to give models increased stability for larger time steps.

**q**, across gridcell boundaries:

*C*is the boundary of cell

*C*. See the appendix for further details on the numerical scheme used in the predictor.

Note that we discretize advection by considering *P***v** as the carrier flux that transports (upwind) values of the advected quantities (1/*θ*, **v**/*θ*, 1). This has turned out to be advantageous in many respects; for example, in the construction of a positivity preserving advection scheme in Klein (2009) [see also Smolarkiewicz et al. (2014) and references therein].

We consciously refrain from going into more detail here because many different combinations of second-order accurate finite-volume space discretizations and time integrators can more or less interchangeably be employed for the predictor step, provided they are used in conjunction with a well-balanced discretization of the pressure-gradient and gravity terms (see, e.g., Botta et al. 2004; Klein 2009). The details of the scheme used to generate the results of section 4 are given in the appendix.

At the end of the predictor step,

the scalar variables

*ρ*,*θ*, and*P*are second-order accurate (Klein 2009);the advecting fluxes (

*P***v**)^{n+1/2}do not comply with the divergence constraint for*α*= 0, and they do not provide a*stable*update of*P*for*α*> 0; andusing the old time level pressure in the momentum equation in (21b) prevents the scheme from being fully second-order accurate.

*α*the time step used is limited by a CFL stability condition (Courant et al. 1928) independent of sound speed (see the appendix), so that we sidestep the stiffness induced by sound waves.

### b. Step 2: First correction

*P*

**v**used in the predictor step do not abide by a semi-implicit discretization of the

*P*equation for the FC model and by the divergence constraint for the PI

_{ρ,p}and

*δp*=

*p*

^{n+1}−

*p*

^{n}is derived by approximating (18c) at the half time level

*t*

^{n+1/2}, that is, by reconsidering

*P*

**v**)

^{n+1/2,*}already include a first-order accurate update to the half time level according to the auxiliary equation system in (19), and this is sufficient to maintain second-order accuracy for advection. Yet, for stability reasons an implicit correction is added that accounts for the influence of the new time level pressure gradient in the momentum equation in the following form (Klein 2009):

*tδp*= Δ

*t*(

*p*

^{n+1}−

*p*

^{n}) =

*O*[(Δ

*t*)

^{2}], this correction does not affect the second-order accuracy of advection. For

*α*≠ 0, the time derivative term is transformed as

*α*∈ [0, 1],

*P*in the compressible model (

*α*= 1), whereas it enforces the divergence constraint for

*α*= 0.

*δp*at hand, the advecting flux corrections read

*θ*

^{−1}and

**v**

*θ*

^{−1}are evaluated at (⋅)

^{n+1/2,*}. The second asterisk indicates that the obtained value of the momentum is bound to receive a second correction as described below.

Note that (26) turns into a standard Poisson pressure projection equation for the pseudo-incompressible cases when *α* = 0. In these cases, the correction of *P* in (29) automatically yields *P*^{n+1} ≡ *P*_{0} up to the tolerance in the divergence term with which the Poisson equation was solved. Thus, in the pseudo-incompressible cases, the pressure variable *P* is restored to its background value as a result of the first correction as it should be.

Thus far we have stabilized the advecting fluxes by incorporating an implicit pressure gradient contribution. We have not yet corrected the first-order error committed in the predictor step for the momentum equation by using the old time level pressure. This task is left to the second correction.

### c. Step 3: Second correction

*δp*=

*p*

^{n+1}−

*p*

^{n}, then the correction of momentum reads

*δp*as computed in the first correction from the cell centers to the cell interfaces and using these data to evaluate (30) turns out to generate an unstable update. We avoid this by solving a second elliptic problem for a node-centered pressure variable (see similar procedures in Almgren et al. 1998; Schneider et al. 1999; Klein 2009; Vater and Klein 2009). To derive the second elliptic equation, we multiply (30) by

*θ*

^{n+1}taking into account that the scalars

*ρ*,

*P*, and

*θ*have already attained their final values after the first correction and are unchanged in the second one. This yields

*α*= 1, a second-order accurate midpoint discretization with no off-centering is considered. After node-centered space discretization of the divergence, we obtain the elliptic problem:

*P*.

As in the first correction, we obtain a Helmholtz equation for *α* = 1 where the zero-order term accounts for compressibility. The difference between FC (*α* = 1) and *α* = 0) is a modified structure of the system matrix.

*α*= 1, (34) is replaced with

*δp*

^{old}=

*p*

^{n}−

*p*

^{n−1}denotes the old time level pressure increment.

A nine-point stencil is used for the discretization of the Laplacian equation in (34) or (35), which is obtained as follows: the nodal values define continuous piecewise bilinear pressure distributions on the primary control volumes. We integrate their gradients analytically over the boundaries of the dual cells that are centered on the grid nodes. The solution *δp* is accordingly defined in the centers of the dual cells,

## 4. Numerical results

In this section, we present the results of the simulations performed with our semi-implicit method. The aim is to show that the model numerics produce results in agreement with its theoretical properties in different configurations. First, a convergence study in the FC configuration is presented. Then, results with FC and pseudo-incompressible (PI_{ρ,p}) models are compared on simulations of thermal perturbations. The impact of the thermodynamic consistency (

The numerical model is implemented in an object oriented C++ environment based on the SAMRAI framework for mesh refinement (Hornung et al. 2006). Krylov-type methods with algebraic multigrid pre-conditioners as included in the Hypre library (Falgout et al. 2006) are used to solve the linear systems in the correction step. Our coding framework is fully parallelized and 3D ready. However, an extensive analysis of its parallel efficiency lies outside the scope of the present work.

### a. Convergence study

First, we assess the accuracy properties of the FC model on a case of pure transport in a highly idealized setting with *g* = 0. The case (Kadioglu et al. 2008) consists of a traveling rotating vortex in the doubly periodic unit-square-shaped domain Ω = [0, 1]^{2} m^{2}. The vortex is axisymmetric and rotates counterclockwise with unitary velocity. Density is modeled by a smooth, nonconstant function and a constant and unitary transport velocity **v** = (1, 1)^{T} m s^{−1} is superimposed. The vortex is an exact solution for the zero Mach number incompressible equations, to which _{ρ,p} reduce in the absence of gravity (Klein 2009). With the pressure field correctly initialized, it is an exact solution for the fully compressible equations as well. We refer to Kadioglu et al. (2008) for the initial data not reported here for brevity. Note that some of the coefficients in the expression for initial pressure were incorrectly reported in Kadioglu et al. (2008), the correct expression is available upon request.

*P*is derived via the equation of state in (3). Reference physical quantities are set as follows:

*T*

_{ref}is computed from

*p*

_{ref}and

*ρ*

_{ref}considered in Kadioglu et al. (2008) and enables an easier comparison with their results for the density.

The flow is simulated by running the FC semi-implicit model (*α* ≡ 1) on a grid with 192 cells in both directions at CFL = 0.45, that is, constant Δ*t* = Δ*t*_{A} = 9.7 × 10^{−4} s and Δ*x* = 5.21× 10^{−3} m. These data correspond to a sound-speed-based CFL_{S} = CFL/*M*_{max} ≈ 90.72.

The vortex is transported by the background unitary velocity. Because of the doubly periodic boundary, the initial configuration is reproduced unchanged at time *T* = 1 s (Fig. 2). Similar results (not shown) are obtained for momentum and *P* in FC runs and for all variables except for *P* (which is constant) in

Furthermore, the numerical solution converges quadratically in the maximum norm (Fig. 3). The experimental order of accuracy is in agreement with the theoretical accuracy of the scheme presented in section 3. Similar results are obtained with

The FC results shown above validate the use of the fully compressible flow solver that extends the pseudo-incompressible framework of Klein (2009).

### b. Rising bubble

*x*,

*z*) ∈ [−10, 10] × [0, 10] km

^{2}. We set the following initial data for a homentropic atmosphere (Botta et al. 2004):

*ρ*

_{ref},

*p*

_{ref},

*g*, and

*T*

_{ref}have the values 1 kg m

^{−3}, 8.61 × 10

^{4}N m

^{−2}, 10 m s

^{−2}, and 300 K, respectively, and Γ = (

*γ*− 1)/

*γ*. The background potential temperature

*θ*is constant. The homentropic setting in (37) is perturbed with a smoothed cone-shaped thermal perturbation

*θ*′, given by Klein 2009:

We run our semi-implicit trapezoidal scheme on a grid with Δ*x* = Δ*z* = 125 m (i.e., 160 × 80 cells) and CFL = 0.5. In the first five steps a buoyancy-driven time step (Δ*t* = Δ*t*_{B} ≈ 21.69 s) is used. Because of growing velocities, the advection-driven time step is used for the remainder of the simulation. Toward the end of the simulation, values of Δ*t* ≈ 4.6 s are attained.

Driven by buoyancy, the warm bubble rises and rolls up on the sides (Fig. 4). The amplitude of the thermal perturbation at final time *T* = 1000 s is in agreement with the results in Klein (2009), as shown in Table 2. However, the PI_{ρ,p} bubble rises faster, is not as wide, and exhibits a phase shift with respect to both the

Rising bubble results: maximum temperature perturbation *z*_{max}, and horizontal extension *x*_{max} − *x*_{min} at final time *T* = 1000 s for FC, _{ρ,p} models. The values refer to the external contour θ′= 0.25 K.

The discrepancies in the PI_{ρ,p} model come from neglecting the effect of pressure perturbations on the buoyancy. The extra buoyancy term present in the _{ρ,p} model and, as a result, resembles the FC model more closely.

Results with *θ*′ at height *z* = 7500 match the FC results within a 2% error (Table 3).

Rising bubble results: relative root-mean-square error *θ*′ and maximum error _{ρ,p} cuts at *z* = 7500 m with respect to the FC cut as in Fig. 5.

Results with the *T* = 1000 s. The different dynamics of the FC case can be detected in the onset of sound waves in the initial stages of the simulation. With the FC model (*α* = 1) the initial potential temperature perturbation triggers acoustic waves. These are visible in the top-left panel of Fig. 6, which displays pressure increments at time *t* = 26.6 s in a run of the FC model with Δ*t* = Δ*t*_{I} = 1.9 s. The oscillations are due to the initial hydrostatic pressure distribution from (37) not being acoustically balanced.

The presence of associated pressure oscillations is confirmed by a time series over the first 350 s of the pressure time increment values recorded at the point (*x*, *z*) = (−7.5, 5) km marked with a cross in the top-left panel of Fig. 6. The time series are shown in the top-right, bottom-left, and bottom-right panels of Fig. 6. The top-right and bottom-left plots are relative to simulations at constant Δ*t* = Δ*t*_{I} = 1.9 s. The simulation relative to the bottom-right panel is at CFL ≈ 0.5 as in Fig. 4.

The FC model results (solid lines in all plots) display oscillations triggered by the initial pressure imbalance. The amplitude of the acoustic oscillations in the small time step case (top-right panel) is ninefold the amplitude of the large time step runs (bottom-right panel). The effect is suppressed in the PI_{ρ,p} runs (dashed lines) except for an initial transient. Note that in the large time step run, the initial transient masks the amplitude of the acoustics. Therefore, the data of the first time step was removed in the bottom-right panel of Fig. 6.

In the case of the PI_{ρ,p} model, pressure is determined by the solution of a time-independent Poisson problem, which describes the pressure field in the absence of sound waves. The quantity PI_{ρ,p} is considered because the extra

However, thanks to the blending feature, the code is able to continuously transition from the PI_{ρ,p} configuration to the FC configuration. The bottom-left panel of Fig. 6 shows the time series of pressure increments for blended runs. We set the transition parameter *α* from section 2 to zero for *S*_{1} time steps. Then, *α* increases linearly to *α* = 1 over *S*_{2} time steps. Starting at the time step number *S*_{1} + *S*_{2}, the code runs compressibly with *α* = 1.

In the bottom-left panel of Fig. 6, the thin solid line in the background denotes the fully compressible run. The dashed–dotted curve and thick solid curves were obtained with *S*_{2} = 20 and *S*_{2} = 40, respectively. There are no disturbances for the first *S*_{1} = 10 pseudo-incompressible steps in these two pressure graphs, and the results coincide with those from the run of the PI_{ρ,p} model (dashed line in the right panels). Perturbations arise in the transitional period and fully develop after *S*_{1} + *S*_{2} time steps. The oscillations’ amplitudes in the blended runs are considerably lower than those of the FC run and they are lower for the larger *S*_{2} value (i.e., the longer transitional period).

Results in the bottom-left panel of Fig. 6 demonstrate the capabilities of the blended model. Acoustic perturbations are absent when the model runs in pseudo-incompressible mode with *α* = 0 and they emerge significantly damped after the transition to *α* = 1 in fully compressible mode. Therefore, when blended continuously with the compressible discretization, the soundproof limit discretization can be used to actively control imbalances in the initial data. The oscillation amplitudes are substantially reduced also when larger time steps are employed as seen in the bottom-right panel of Fig. 6.

Finally, as in Almgren et al. (2006a), which presents a pseudo-incompressible code for stellar hydrodynamics, we compare plots of the Mach number in the initial stages of FC, PI_{ρ,p}, and blended runs. Results at time *t* = 21.66 s, that is, time step number 57 at Δ*t* = Δ*t*_{I} = 0.38 s, are displayed in Fig. 7. The mushroom-shaped FC result (left panel) reveals the initial onset of sound waves due to pressure imbalances already inspected in Fig. 6, while the PI_{ρ,p} plot (middle panel) and blended plot (right panel) show no perturbation away from the bubble. A very small time step was considered in this case following Almgren et al. (2006a) in order to track more closely the dynamics in the initial stages.

### c. Density current

^{2}homentropic atmosphere in (37),

*r*= {[(

*x*−

*x*

_{c})/

*x*

_{r}]

^{2}+ [(

*z*−

*z*

_{c})/

*z*

_{r}]

^{2}}

^{0.5},

*x*

_{c}= 0 km,

*x*

_{r}= 4 km,

*z*

_{c}= 3 km, and

*z*

_{r}= 2 km. From

*θ*=

*T*(

*p*/

*p*

_{ref})

^{−Γ}we derive the potential temperature perturbation and density distribution:

*θ*

_{ref}=

*T*

_{ref}. The boundary conditions are periodic on the left and right boundary, with solid walls on the top and bottom boundary. Furthermore, we add an artificial diffusion term

*ρμ*∇

^{2}

**v**to the right-hand side of the momentum equation (

*ρμ*∇

^{2}

*θ*in the

*P*equation), with

*μ*= 75 m

^{2}s

^{−1}as in Straka et al. (1993). The initial velocity is set to zero, and the reference quantities are

*T*

_{ref}= 300 K,

*p*

_{ref}= 10

^{5}Pa, and

*ρ*

_{ref}=

*p*

_{ref}/(

*RT*

_{ref}).

The models are run with Δ*x* = 50 m and CFL = 0.5. Thus, the time step is Δ*t* = Δ*t*_{B} ≈ 4.65 s for the first three steps and then the advective time step is used. For the FC model, a backward difference approach in the second projection is used, see (35). Because of the symmetrical nature of the test case, only the plots for the subdomain [0, 19.2] × [0, 4.8] km^{2} are shown.

Obtained values of the final thermal perturbation and the front positions as calculated by the FC and _{ρ,p} model. This can be seen in the farther front position and in the horizontal cut at height *z* = 1200 m (Fig. 9) of the PI_{ρ,p} model when compared to both the FC and _{ρ,p} model displays considerable deviations (higher than 40%) relative to FC runs (Table 5). For the

Density current results: maximum temperature perturbation *x*_{max} at final time *T* = 900 s. The quantity *x*_{max} is the rightmost intersection of the 1-K contour with the bottom boundary.

### d. Inertia–gravity waves

*θ*/∂

*z*> 0. In particular, as in Restelli and Giraldo (2009) and Skamarock and Klemp (1994), we take

*N*denotes the buoyancy frequency. With

*N*= 0.01 s

^{−1},

*g*= 9.81 m s

^{−2}, and

*T*

_{ref}= 300 K, we have

*θ*∈ [300, 332.19] K for

*z*∈ [0, 10] km. The other variables are defined as

*p*

_{ref}= 10

^{5}Pa. On top of the background stratification in (41)–(42), in a [0, 300] × [0, 10] km

^{2}domain we consider the perturbation [Skamarock and Klemp (1994) and Fig. 10 left panel]:

*H*= 10 km,

*x*

_{c}= 100 km, and

*a*= 5 km. In addition, there is a background horizontal flow

*u*= 20 m s

^{−1}. The simulations are performed with at advective CFL = 0.3, that is Δ

*t*= Δ

*t*

_{A}≈ 3.75 s. The grid spacing is Δ

*x*= Δ

*z*= 250 m and the trapezoidal time integrator is employed for the FC model. In agreement with published work (Restelli and Giraldo 2009), the Coriolis term is neglected here because of the small length of the channel.

Unlike the previous test cases, here the dynamics is chiefly wavelike rather than vertically buoyancy driven. Inertia–gravity waves develop in the horizontal direction (Fig. 10). As in the previous test case, only the FC contour plots are presented in Fig. 10 as the _{ρ,p} plots are visually indistinguishable.

A quantitative comparison between the FC, _{ρ,p} results and the results of Restelli and Giraldo (2009) are reported on in Table 6. Maxima and minima of perturbations of velocity components, potential temperature, and Exner pressure at final time *T* = 3000 s are in line with published work.

Inertia–gravity wave results: maxima and minima of horizontal velocity *u*, vertical velocity *w*, potential temperature *θ*, and Exner pressure *π* = *Tθ*^{−1} perturbations at final time *T* = 3000 s in the present study and Restelli and Giraldo (2009, denoted by REF).

The left panel of Fig. 11 shows a one-dimensional cut of the potential temperature perturbation at *z* = 5000 m. As in the previous cases, the PI_{ρ,p} model displays a higher phase speed than the _{ρ,p} model (dashed–dotted line) with respect to the

The right panel of Fig. 11 shows the differences between the FC cut and the _{ρ,p} cut (solid line). The amplitude of the difference is larger in the latter case due to the phase shift highlighted on the left panel. The result is quantified in Table 7 which shows relative RMS and max errors of the FC cut with respect to the _{ρ,p} cuts. Relative PI_{ρ,p} − FC errors are threefold those of

Inertia–gravity wave results: relative root-mean-square error *θ*′ for the _{ρ,p} cuts at *z* = 5000 m with respect to the FC cut as in Fig. 11.

*ϕ*in the domain Ω. Subscripts 0 and

*T*denote initial and final time, respectively. We expect our scheme to conserve density

*ρ*and horizontal momentum density

*ρu*. Though our model does not conserve total energy

*ρE*, we report conservation scores for that variable, too. For the FC model, results for

*P*are also reported. Values of the conservation error for

*ρ*,

*ρu*,

*P*, and

*ρE*are fairly low for the three model configurations (Table 8). Note, in Table 8 we define the total energy variable as

*p*=

*p*

_{0}in (46) for the

_{ρ,p}cases as shown in Klein and Pauluis (2012). Numerical analysis of the

*P*conservation is only meaningful for the FC model, since in the incompressible cases

*P*=

*P*

_{0}(

*z*) holds.

Inertia–gravity wave results: conservation errors for density, horizontal momentum density, *P*, and total energy density (see text for definitions) in the present study and in Restelli and Giraldo (2009, denoted by REF).

## 5. Discussion and conclusions

We have presented a blended weakly compressible computational model with seamless access to thermodynamically consistent pseudo-incompressible dynamics, these two representing the limiting cases of a family of models depending on one parameter. For each member of the model family, the numerical discretization is the same up to certain weights in the stencil of the implicit corrector invoked to enable advection-based time steps in simulations of small to mesoscale systems.

This seamless and straightforward compressible-to-soundproof model transition can be realized in any flow solver that features the density and the mass-weighted potential temperature as prognostic variables for the thermodynamics, together with flux-based formulations of their determining equations. Weak checkerboard modes were observed in the runs of gravity-driven flows for very small time steps. We attribute them to the fact that the divergence of the cell-centered velocity is controlled in the second correction through a discrete elliptic problem derived from the linearized acoustic equations on the Arakawa B grid with a standard stencil. This grid arrangement allows for oscillatory modes with phase vectors pointing roughly along the grid diagonals (see Fig. 8 of Arakawa and Lamb 1977). These modes might be controllable by adopting a staggered grid arrangement (Arakawa C grid) or by adopting an inf-sup stable discretization of the elliptic operator on the B grid as in Vater and Klein (2009).

The key observation enabling the blending is that, at least for an ideal gas with constant specific heat capacities, *ρθ* is a function of pressure alone. Thus, the transport equation for *ρθ* is equivalent to the pressure evolution equation and lends itself naturally for implicit pressure formulations. Once available, such a seamless framework can be used for a clean comparison of compressible and soundproof models that is not affected by sizeable differences between the respective model discretizations (see Smolarkiewicz and Dörnbrack 2008; Smolarkiewicz et al. 2014 for comparable arguments).

As a further potentially attractive application of such a modeling tool we suggest the filtering of unbalanced initial data. For given initial data, a matching pressure field and a related divergence correction that would guarantee a nearly sound-free subsequent evolution are generally not available. With a blended soundproof-compressible framework, one can generate accurate balanced pressure and velocity fields by running the model in soundproof mode for a few time steps and then making the transition to fully compressible over another few steps. This idea may also be transferred to other nearly balanced situations, such as hydrostatic and geostrophic, but exploring this is left for future work. In the framework of techniques for atmospheric data assimilation (Rabier 2005), the resulting ability of a computational model to manage and regularly embed new, unbalanced input in a balanced fashion and without invoking additional filtering procedures appears quite attractive. This capability can also be more generally useful when one has to map externally obtained data into a multidimensional finite-volume scheme as analyzed in Zingale et al. (2002).

Besides the aforementioned blending features, there are other noteworthy aspects of the scheme. First, we discretize the equations in full form without subtraction of a background state, maintaining accuracy by adopting a well-balanced discretization of the pressure gradient and gravity terms as discussed in Botta et al. (2004) and Klein (2009). Second, we cast the momentum equation in terms of pressure and density instead of the more common Exner pressure and potential temperature. The former choice guarantees conservation of momentum in the absence of external forces and increases flexibility with a view to implementing more general equations of state (Klein and Pauluis 2012).

Code performance was assessed in a number of configurations. The second-order accuracy of the scheme was verified on a smooth benchmark. Then, standard test cases consisting of buoyant thermal perturbations were considered, where our data confirmed no substantial difference between the compressible and pseudo-incompressible results. For the latter, including the linearized effect of pressure on density in the gravity term results not only in thermodynamic consistency (Klein and Pauluis 2012) but also in improved accuracy. Our findings are consistent with Davies et al. (2003) and Klein et al. (2010), thus confirming the validity of the pseudo-incompressible model at small- to mesoscales and for realistic stratifications.

As previously mentioned, we are planning to extend the present general stategy to include additional dominant balances relevant for larger-scale flows, specifically to the hydrostatic and geostrophic limits. This goal appears feasible in view of recent related work. For example, successful results have been achieved by Eulerian–semi-Lagrangian fluid solver (EULAG) model users (Prusa and Gutowski 2011; Szmelter and Smolarkiewicz 2011; Smolarkiewicz et al. 2014) with compressible, anelastic, and pseudo-incompressible models on the synoptic and planetary scales. Furthermore, alternatives have been explored to merge hydrostatic models with fully compressible (Janjic et al. 2001) or soundproof ones. Careful consideration will be needed to identify the correct large-scale limiting model in the light of recent suggestions of unified multiscale reduced models by Durran (2008), Arakawa and Konor (2009), and Konor (2014).

## Acknowledgments

The authors thank Matthias Waidmann, Stephan Gerber, and Michael Oevermann for the fluid solver software this work is based upon. We thank the SAMRAI developers at Lawrence Livermore National Laboratory for their ingenious adaptive mesh refinement framework. Hilary Weller, Ronny Petrik, and another anonymous referee have helped us improving our work and presentation through numerous constructive comments. The same holds for Piotr Smolarkiewicz and Luca Bonaventura with whom we have also shared ideas along the way. We thank Deutsche Forschungsgemeinschaft for support through the Berlin Mathematical School, and Grants KL 611/23-1,2 (“MetStröm”). T. Benacchio and R. Klein greatly appreciated the opportunity to work for several weeks in the stimulating environment of the Newton Institute, Cambridge, United Kingdom, during the fall of 2012; and R. Klein acknowledges the support of the National Center for Atmospheric Research, Boulder, Colorado, for financially supporting several research visits.

## APPENDIX

### Details of the Numerical Scheme

Here we elaborate on the aspects of the numerical scheme omitted in the main text.

#### a. Predictor

*L*denotes a differential operator, the method reads

*u*

^{(1)}denotes the first stage solution.

The spatial discretization is performed with a finite-volume approach (see, e.g., LeVeque 2002). Discrete variables are defined as approximations of cell averages set at cell centers, with the exception of dynamic pressure, set at cell nodes. The new cell-centered values are obtained from the old ones subtracting the net outflow flux at the boundaries and adding the contribution from the source term [see (21a)–(21c) in the main text].

The discretization of the fluxes is performed according to the following steps:

- The velocity at the interfaces is determined by averaging the neighboring leftmost and rightmost cell-centered values
**v**_{L}and**v**_{R}:where, for a second-order method,**v**_{L}and**v**_{R}have to be linearly reconstructed/limited. Considering the interface (*x*_{i+1/2},*y*_{j}), and omitting the subscript*j*for simplicity, the reconstructed values of the horizontal velocity*u*arewherefor centered slopes. Our implementation features also an option for slope limiters, for which*ψ*would have a different functional form. Upwind fluxes*F*_{P}for the*P*variable are computed by means of the obtained velocity:whereand the subscripts*L*and*R*denote cell-centered leftmost and rightmost values of the variable. - Fluxes for the remaining quantities are referred to the carrier flux
*P***v**and derived using (A9) aswhere*ϕ*∈ {1/*θ*,**v**/*θ*}. The contribution from the pressure term is incorporated in the momentum flux adding the pressure value at the center of the cell interface, obtained via average of the adjacent nodal values.

#### b. Pressure update

The nodal pressure update at the end of the time step proceeds as follows:

- An auxiliary cell-centered pressure
*p*_{c}is computed from*P*using the inverse of the equation of state in (2). The result is then interpolated to the nodes: - The obtained value is weighted with the old time level pressure update with the solution of (34) or (35),
*δp*:When the model runs in pseudo-incompressible mode with*α*= 0, the node-centered pressure increment*δp*is summed to the old time level value. In compressible mode, with*α*= 1, the new nodal pressure is locked to*P*imposing the equation of state at a discrete level.Other solutions are possible and were tested. For example, as a pseudo-incompressible update, an interpolated value of the solution

*δp*_{c}of the first correction equation in (26) can be summed to the old time level pressure value. This was used in the thermal perturbations simulated with the fully compressible model initially run in pseudo-incompressible mode. In that case the solution of the second Poisson problem only serves as a correction to the momentum flux, (30), not as an update for the nodal pressure value.

#### c. Time step choice

*t*

_{I}is an externally imposed value of the time step. Here Δ

*t*

_{A}is the advective time step:

_{2}is the discrete

*L*

^{2}norm. Here Δ

*t*

_{B}is a buoyancy-dependent time step:

_{Ω}Δ

*θ*= max

_{Ω}

*θ*− min

_{Ω}

*θ*is the maximum potential temperature perturbation. Dynamically adaptive time stepping is standard in computational fluid dynamics and for two time level schemes its implementation is quite straightforward (LeVeque 2002).

#### d. Well-balanced treatment of vertical pressure gradient and gravity term

Therefore, an essential characteristic of a numerical method in this context is the capability of mimicking the hydrostatic balance at the discrete level. This means, for instance, that the numerical discretization should introduce no perturbations on an initially motionless atmospheric setting. The feature is especially nontrivial for models as the ones presented here whose analytical formulation relies on full variables, unlike other nonhydrostatic fully compressible models (e.g., Skamarock and Klemp 2008; Restelli and Giraldo 2009) wherein the unknowns are themselves perturbations around a background hydrostatically balanced reference state.

Here we adopt the approach of Botta et al. (2004), who describe the implementation of a discrete Archimedes’ principle, and in the following we present the parts of our implementation tuned to take into account the hydrostatic balance.

#### e. Initialization

Since the problem is inherently one-dimensional, we focus on the vertical coordinate for the moment. First, let the initial data for pressure *p*(*z*) and density *ρ*(*z*) be given in the form of a homentropic or stably stratified atmosphere as in (37) or (42) above. Next:

#### f. Predictor step

#### g. Boundary conditions

The so-called solid wall boundary conditions are adjusted to take into account hydrostatic balance. As customary in finite-differences and finite-volume codes (LeVeque 2002), we implement fully reflecting boundaries using “ghost cells.” The strategy involves attaching two dummy cells to the boundary in which the value of all the variables except for the normal velocity is mirrored from the two innermost cells, whereas the normal velocity value is taken with the opposite sign.

#### h. Final locking of pressure and P variables

The third modification involves the interpolation from nodes to cell centers or vice versa, which in the case without gravity is a standard linear interpolation. Here, a correction taking into account hydrostaticity is introduced. In particular, for the cell-to-node interpolation used in the pressure update in (A11) after the second correction step:

- For the lower boundary nodes:where
*p*_{NW}and*p*_{NE}denote the pressure values obtained with analytical integration downward from the hydrostatic pressure values in the adjacent top-left and top-right cell, respectively. - For the upper boundary nodes:where
*p*_{SW}and*p*_{SE}denote the pressure values obtained with analytical integration upward from the hydrostatic pressure values in the adjacent bottom-left and bottom-right cell, respectively. - For the internal nodes:Finally, we remark that issues due to neglect of hydrostatic balance at the discrete level manifest less in the incompressible than in the fully compressible version of our method. In the former, small spurious perturbations due to inexact balancing, for instance, at the boundary are projected away in the correction step, while in the latter
*P*and pressure are locked through the equation of state, thus requiring a careful adjustment.

## REFERENCES

Achatz, U., R. Klein, and F. Senf, 2010: Gravity waves, scale asymptotics and the pseudo-incompressible equations.

,*J. Fluid Mech.***663**, 120–147, doi:10.1017/S0022112010003411.Almgren, A. S., J. B. Bell, P. Colella, L. H. Howell, and M. L. Welcome, 1998: A conservative adaptive projection method for the variable density incompressible Navier–Stokes equations.

,*J. Comput. Phys.***142**, 1–46, doi:10.1006/jcph.1998.5890.Almgren, A. S., J. B. Bell, C. A. Rendleman, and M. Zingale, 2006a: Low Mach number modeling of type Ia supernovae. I. Hydrodynamics.

,*Astrophys. J.***637**, 922–936, doi:10.1086/498426.Almgren, A. S., J. B. Bell, C. A. Rendleman, and M. Zingale, 2006b: Low Mach number modeling of type Ia supernovae. II. Energy evolution.

,*Astrophys. J.***649**, 927–938, doi:10.1086/507089.Arakawa, A., and V. R. Lamb, 1977: Computational design of the basic dynamical processes of the UCLA general circulation model.

,*Methods Comput. Phys.***17**, 173–265.Arakawa, A., and C. S. Konor, 2009: Unification of the anelastic and quasi-hydrostatic systems of equations.

,*Mon. Wea. Rev.***137**, 710–726, doi:10.1175/2008MWR2520.1.Bannon, P. R., 1996: On the anelastic approximation for a compressible atmosphere.

,*J. Atmos. Sci.***53**, 3618–3628, doi:10.1175/1520-0469(1996)053<3618:OTAAFA>2.0.CO;2.Bell, J., L. Howell, and P. Colella, 1991: An efficient second-order projection method for viscous incompressible flow.

*Proc. 10th AIAA Computational Fluid Dynamics Conf.,*Honolulu, HI, AIAA, Vol. 360, doi:10.2514/6.1991-1560.Bijl, H., and P. Wesseling, 1998: A unified method for computing incompressible and compressible flows in boundary-fitted coordinates.

,*J. Comput. Phys.***141**, 153–173, doi:10.1006/jcph.1998.5914.Bonaventura, L., 2000: A semi-implicit semi-Lagrangian scheme using the height coordinate for a nonhydrostatic and fully elastic model of atmospheric flows.

,*J. Comput. Phys.***158**, 186–213, doi:10.1006/jcph.1999.6414.Botta, N., R. Klein, S. Langenberg, and S. Lützenkirchen, 2004: Well balanced finite volume methods for nearly hydrostatic flows.

,*J. Comput. Phys.***196**, 539–565, doi:10.1016/j.jcp.2003.11.008.Brdar, S., M. Baldauf, A. Dedner, and R. Klöfkorn, 2013: Comparison of dynamical cores for NWP models: Comparison of COSMO and Dune.

,*Theor. Comput. Fluid Dyn.***27**, 453–472, doi:10.1007/s00162-012-0264-z.Casulli, V., and D. Greenspan, 1984: Pressure correction method for the numerical solution of transient compressible fluid flows.

,*Int. J. Numer. Methods Fluids***4**, 1001–1012, doi:10.1002/fld.1650041102.Courant, R., K. Friedrichs, and H. Lewy, 1928: Über die partiellen Differenzengleichungen der mathematischen Physik (On the partial difference equations of mathematical physics).

,*Math. Ann.***100**, 32–74, doi:10.1007/BF01448839.Cullen, M. J. P., 2007: Modelling atmospheric flows.

,*Acta Numer.***16**, 67–154, doi:10.1017/S0962492906290019.Davies, T., A. Staniforth, N. Wood, and J. Thuburn, 2003: Validity of anelastic and other equation sets as inferred from normal-mode analysis.

,*Quart. J. Roy. Meteor. Soc.***129**, 2761–2775, doi:10.1256/qj.02.1951.Davies, T., M. J. P. Cullen, A. J. Malcolm, M. H. Mawson, A. Staniforth, A. White, and N. Wood, 2005: A new dynamical core for the Met Office’s global and regional modelling of the atmosphere.

,*Quart. J. Roy. Meteor. Soc.***131**, 1759–1782, doi:10.1256/qj.04.101.Dukowicz, J. K., 2013: Evaluation of various approximations in ocean and atmospheric modeling based on an exact treatment of gravity wave dispersion.

,*Mon. Wea. Rev.***141**, 4487–4506, doi:10.1175/MWR-D-13-00148.1.Durran, D. R., 1989: Improving the anelastic approximation.

,*J. Atmos. Sci.***46**, 1453–1461, doi:10.1175/1520-0469(1989)046<1453:ITAA>2.0.CO;2.Durran, D. R., 2008: A physically motivated approach for filtering acoustic waves from the equations governing compressible stratified flow.

,*J. Fluid Mech.***601**, 365–379, doi:10.1017/S0022112008000608.Durran, D. R., and P. N. Blossey, 2012: Implicit-explicit multistep methods for fast-wave–slow-wave problems.

,*Mon. Wea. Rev.***140**, 1307–1325, doi:10.1175/MWR-D-11-00088.1.Falgout, R. D., J. E. Jones, and U. M. Yang, 2006: The design and implementation of

*hypre,*a library of parallel high performance preconditioners.*Numerical Solution of Partial Differential Equations on Parallel Computers,*A. Bruaset and A. Tveito, Eds., Lecture Notes in Computational Science and Engineering, Vol. 51, Springer, 267–294.Gatti-Bono, C., and P. Colella, 2006: An anelastic allspeed projection method for gravitationally stratified flows.

,*J. Comput. Phys.***216**, 589–615, doi:10.1016/j.jcp.2005.12.017.Giraldo, F. X., J. F. Kelly, and E. M. Costantinescu, 2013: Implicit-explicit formulations of a three-dimensional nonhydrostatic unified model of the atmosphere (NUMA).

,*SIAM J. Sci. Comput.***35**, B1162–B1194, doi:10.1137/120876034.Gottlieb, S., C.-W. Shu, and E. Tadmor, 2001: Strong stability-preserving high-order time discretization methods.

,*SIAM Rev.***43**, 89–112, doi:10.1137/S003614450036757X.Haack, J., S. Jin, and J.-G. Liu, 2012: An all-speed asymptotic-preserving method for the isentropic Euler and Navier–Stokes equations.

,*Commun. Comput. Phys.***12**, 955–980.Hohenegger, C., and C. Schär, 2007: Predictability and error growth dynamics in cloud-resolving models.

,*J. Atmos. Sci.***64**, 4467–4478, doi:10.1175/2007JAS2143.1.Hornung, R. D., A. M. Wissink, and S. R. Kohn, 2006: Managing complex data and geometry in parallel structured AMR applications.

,*Eng. Comput.***22**, 181–195, doi:10.1007/s00366-006-0038-6.Hortal, M., 2002: The development and testing of a new two-time-level semi-Lagrangian scheme (SETTLS) in the ECMWF forecast model.

,*Quart. J. Roy. Meteor. Soc.***128**, 1671–1687, doi:10.1002/qj.200212858314.Janjic, Z. I., J. P. Gerrity, and S. Nickovic, 2001: An alternative approach to nonhydrostatic modeling.

,*Mon. Wea. Rev.***129**, 1164–1178, doi:10.1175/1520-0493(2001)129<1164:AAATNM>2.0.CO;2.Jebens, S., O. Knoth, and R. Weiner, 2009: Explicit two-step peer methods for the compressible Euler equations.

,*Mon. Wea. Rev.***137**, 2380–2392, doi:10.1175/2008MWR2671.1.Jebens, S., O. Knoth, and R. Weiner, 2011: Partially implicit peer methods for the compressible Euler equations.

,*J. Comput. Phys.***230**, 4955–4974, doi:10.1016/j.jcp.2011.03.015.Kadioglu, S. Y., R. Klein, and M. L. Minion, 2008: A fourth-order auxiliary variable projection method for zero-Mach number gas dynamics.

,*J. Comput. Phys.***227**, 2012–2043, doi:10.1016/j.jcp.2007.10.008.Kelly, J. F., and F. X. Giraldo, 2012: Continuous and discontinuous Galerkin methods for a scalable three-dimensional nonhydrostatic atmospheric model: Limited-area mode.

,*J. Comput. Phys.***231**, 7988–8008, doi:10.1016/j.jcp.2012.04.042.Klein, R., 2000: Asymptotic analyses for atmospheric flows and the construction of asymptotically adaptive numerical methods.

,*Z. Angew. Math. Mech.***80**, 765–777, doi:10.1002/1521-4001(200011)80:11/12<765::AID-ZAMM765>3.0.CO;2-1.Klein, R., 2009: Asymptotics, structure, and integration of sound-proof atmospheric flow equations.

,*Theor. Comput. Fluid Dyn.***23**, 161–195, doi:10.1007/s00162-009-0104-y.Klein, R., 2010: Scale-dependent models for atmospheric flows.

,*Annu. Rev. Fluid Mech.***42**, 249–274, doi:10.1146/annurev-fluid-121108-145537.Klein, R., and O. Pauluis, 2012: Thermodynamic consistency of a pseudoincompressible approximation for general equations of state.

,*J. Atmos. Sci.***69**, 961–968, doi:10.1175/JAS-D-11-0110.1.Klein, R., N. Botta, L. Hofmann, A. Meister, C. Munz, S. Roller, and T. Sonar, 2001: Asymptotic adaptive methods for multiscale problems in fluid mechanics.

,*J. Eng. Math.***39**, 261–343, doi:10.1023/A:1004844002437.Klein, R., U. Achatz, D. Bresch, O. M. Knio, and P. Smolarkiewicz, 2010: Regime of validity of soundproof atmospheric flow models.

,*J. Atmos. Sci.***67**, 3226–3237, doi:10.1175/2010JAS3490.1.Klein, R., T. Benacchio, and W. P. O’Neill, 2014: Using the sound-proof limit for balanced data initialization.

*Proc. ECMWF Seminar on Numerical Methods,*Reading, United Kingdom, ECMWF, 227–236.Konor, C. S., 2014: Design of a dynamical core based on the nonhydrostatic “unified system” of equations.

,*Mon. Wea. Rev.***142**, 364–385, doi:10.1175/MWR-D-13-00187.1.Kwatra, N., J. Su, J. T. Grétarsson, and R. Fedkiw, 2009: A method for avoiding the acoustic time step restriction in compressible flow.

,*J. Comput. Phys.***228**, 4146–4161, doi:10.1016/j.jcp.2009.02.027.LeVeque, R. J., 2002:

*Finite Volume Methods for Hyperbolic Problems.*Cambridge University Press, 580 pp.Lipps, F. B., and R. S. Hemler, 1982: A scale analysis of deep moist convection and some related numerical calculations.

,*J. Atmos. Sci.***39**, 2192–2210, doi:10.1175/1520-0469(1982)039<2192:ASAODM>2.0.CO;2.Munz, C.-D., S. Roller, R. Klein, and K. Geratz, 2003: The extension of incompressible flow solvers to the weakly compressible regime.

,*Comput. Fluids***32**, 173–196, doi:10.1016/S0045-7930(02)00010-5.Nonaka, A., A. S. Almgren, J. B. Bell, M. J. Lijewski, C. M. Malone, and M. Zingale, 2010: MAESTRO: An adaptive low Mach number hydrodynamics algorithm for stellar flows.

,*Astrophys. J. Suppl. Ser.***188**, 358, doi:10.1088/0067-0049/188/2/358.Prusa, J. M., and W. J. Gutowski, 2011: Multi-scale waves in sound-proof global simulations with EULAG.

,*Acta Geophys.***59**, 1135–1157, doi:10.2478/s11600-011-0050-0.Rabier, F., 2005: Overview of global data assimilation developments in numerical weather-prediction centres.

,*Quart. J. Roy. Meteor. Soc.***131**, 3215–3233, doi:10.1256/qj.05.129.Reisner, J. M., A. Mousseau, A. A. Wyszogrodzki, and D. A. Knoll, 2005: An implicitly balanced hurricane model with physics-based preconditioning.

,*Mon. Wea. Rev.***133**, 1003–1022, doi:10.1175/MWR2901.1.Restelli, M., and F. X. Giraldo, 2009: A conservative discontinuous Galerkin semi-implicit formulation for the Navier–Stokes equations in nonhydrostatic mesoscale modeling.

,*SIAM J. Sci. Comput.***31**, 2231–2257, doi:10.1137/070708470.Schneider, T., N. Botta, K. J. Geratz, and R. Klein, 1999: Extension of finite volume compressible flow solvers to multi-dimensional, variable density zero Mach number flows.

,*J. Comput. Phys.***155**, 248–286, doi:10.1006/jcph.1999.6327.Skamarock, W. C., and J. B. Klemp, 1994: Efficiency and accuracy of the Klemp–Wilhelmson time-splitting technique.

,*Mon. Wea. Rev.***122**, 2623–2630, doi:10.1175/1520-0493(1994)122<2623:EAAOTK>2.0.CO;2.Skamarock, W. C., and J. B. Klemp, 2008: A time-split nonhydrostatic atmospheric model for weather research and forecasting applications.

,*J. Comput. Phys.***227**, 3465–3485, doi:10.1016/j.jcp.2007.01.037.Smith, J. W., and P. R. Bannon, 2008: A comparison of compressible and anelastic models of deep dry convection.

,*Mon. Wea. Rev.***136**, 4555–4571, doi:10.1175/2008MWR2343.1.Smolarkiewicz, P. K., and A. Dörnbrack, 2008: Conservative integrals of adiabatic Durran’s equations.

,*Int. J. Numer. Methods Fluids***56**, 1513–1519, doi:10.1002/fld.1601.Smolarkiewicz, P. K., and P. Charbonneau, 2013: EULAG, a computational model for multiscale flows: An MHD extension.

,*J. Comput. Phys.***236**, 608–623, doi:10.1016/j.jcp.2012.11.008.Smolarkiewicz, P. K., C. Kühnlein, and N. Wedi, 2014: A consistent framework for discrete integrations of soundproof and compressible PDEs of atmospheric dynamics.

,*J. Comput. Phys.***263**, 185–205, doi:10.1016/j.jcp.2014.01.031.Straka, J. M., R. B. Wilhelmson, L. J. Wicker, J. R. Anderson, and K. K. Droegemeier, 1993: Numerical solutions of a non-linear density current: A benchmark solution and comparisons.

,*Int. J. Numer. Methods Fluids***17**, 1–22, doi:10.1002/fld.1650170103.Szmelter, J., and P. K. Smolarkiewicz, 2011: An edge-based unstructured mesh framework for atmospheric flows.

,*Comput. Fluids***46**, 455–460, doi:10.1016/j.compfluid.2010.10.020.Vasil, G. M., D. Lecoanet, B. P. Brown, T. S. Wood, and E. G. Zweibel, 2013: Energy conservation and gravity waves in sound-proof treatments of stellar interiors. II. Lagrangian constrained analysis.

,*Astrophys. J.***773**, 169, doi:10.1088/0004-637X/773/2/169.Vater, S., 2013: A multigrid-based multiscale numerical scheme for shallow water flows at low Froude number. Ph.D. thesis, Freie Universität Berlin, Berlin, Germany, 179 pp. [Available online at http://edocs.fu-berlin.de/diss/receive/FUDISS_thesis_000000093897.]

Vater, S., and R. Klein, 2009: Stability of a Cartesian grid projection method for zero Froude number shallow water flows.

,*Numer. Math.***113**, 123–161, doi:10.1007/s00211-009-0224-8.Weller, H., and A. Shahrokhi, 2014: Curl-free pressure gradients over orography in a solution of the fully compressible Euler equations with implicit treatment of acoustic and gravity waves.

,*Mon. Wea. Rev.***142**, 4439–4457, doi:10.1175/MWR-D-14-00054.1.Wong, M., W. C. Skamarock, P. H. Lauritzen, J. B. Klemp, and R. B. Stull, 2014: A compressible nonhydrostatic cell-integrated semi-Lagrangian semi-implicit solver (CSLAM-NH) with consistent and conservative transport.

,*Mon. Wea. Rev.***142**, 1669–1687, doi:10.1175/MWR-D-13-00210.1.Wood, N., and Coauthors, 2014: An inherently mass-conserving semi-implicit semi-Lagrangian discretization of the deep-atmosphere global non-hydrostatic equations.

,*Quart. J. Roy. Meteor. Soc.***140**, 1505–1520, doi:10.1002/qj.2235.Zängl, G., D. Reinert, P. Rípodas, and M. Baldauf, 2014: The ICON (ICOsahedral Non-hydrostatic) modelling framework of DWD and MPI-M: Description of the non-hydrostatic dynamical core.

, doi:10.1002/qj.2378, in press.*Quart. J. Roy. Meteor. Soc.*Zingale, M., and Coauthors, 2002: Mapping initial hydrostatic models in Godunov codes.

,*Astrophys. J. Suppl. Ser.***143**, 539–565, doi:10.1086/342754.