2.11 Choosing a formulation in ASPECT

After discussing different reasonable approximations for modeling compressible or incompressible mantle convection, we will now describe the different steps one has to take to use one of these approximations in a computation. This includes

  1. Choosing an approximation for the mass conservation equation;
  2. Choosing an approximation for the density in the energy balance, and deciding which heating terms should be included;
  3. Formulating the buoyancy term in the material model to be used on the right-hand side of the momentum equation;
  4. Prescribing a suitable reference state for the temperature, pressure, and density; i.e. the adiabatic profile, if necessary for the approximations chosen in the first three steps.

All of these choices can be made in the input file by selecting the corresponding parameters (see Sections ?? and ??). A description of how to run ASPECT and the basic structure of the input file can be found in Section 4.

2.11.1 Mass conservation approximation

First, we have to choose how to approximate the conservation of mass: (ρu) = 0 (see Equation (2)). We provide the following options, which can be selected in the parameter file in the subsection Formulation/Mass conservation (see also ??):

Note: The stress tensor approximation.

Incompressibility in the mass conservation equation automatically simplifies the shear strain rate in the momentum and temperature equation from

τ = 2η ε(u) 1 3(u)1

to

τ = 2ηε(u),

as u = 0.

2.11.2 Temperature equation approximation

The density occurs multiple times in the temperature equation. Depending on the selected approximation it is computed in one of two different ways. Which of these options is used can be chosen in the parameter file in the subsection Formulation/Temperature equation (see also ??):

2.11.3 Approximation of the buoyancy term

The buoyancy term (right-hand side of the momentum equation) always uses the density that is provided by the material model (see Section 6.3.1). Depending on the material model, this density could for example depend on temperature and pressure (such as in ALA), or on temperature and depth (as in TALA); and the model can also be set up in a way that it uses density deviations from a reference state instead of a full density (see Section 2.4).

Note: In the current version of ASPECT, it is the responsibility of the user to select a material model that is consistent with the formulation they want to use in their model. In the future, we plan to make it more obvious which approximations are supported by a particular material model.

2.11.4 Reference state: The adiabatic profile

The reference temperature profile T̄, reference density profile ρ̄ and the reference pressure p̄ are computed in the adiabatic conditions model (provided by the class AdiabaticConditions, see Section 2.6). By default, these fields satisfy adiabatic conditions (if adiabatic heating is included in the model, see Section ??):

dT̄(z) dz = αT̄(z)gz Cp , (33) dp̄(z) dz = ρ̄gz, (34) ρ̄ = ρ̄(p̄,T̄,z)(as defined by the material model), (35)

where strictly speaking gz is the magnitude of the vertical component of the gravity vector field, but in practice we take the magnitude of the entire gravity vector. If there is no adiabatic heating in the model, T̄ is constant by default and set to the adiabatic surface temperature. The density gradient is always computed by a simple finite difference approximation of the depth derivative of ρ̄.

However, users can also supply their own adiabatic conditions models or define an arbitrary profile using the “function” plugin, which allows the user to define arbitrary functions for T̄(z), p̄(z) and ρ̄(z), see Section ??.

2.11.5 Combined formulations

Not all combinations of the different approximations discussed above are physically reasonable, and to help users choose between these options, we provide a number of combined “Formulations” that are equivalent to the approximate equations discussed above (Section 2.10). They can be selected in the subsection Formulation/Formulation (see also ??):

An example cookbook that shows a comparison between different approximations is discussed in Section 5.3.6.