Salvus can simulate mechanical waves for a variety of different physics, from millimeter to global scale, and a wide range of applications, such as seismology, seismic exploration, material testing or ultrasound tomography.
In all these domains, the propagation of waves can be described mathematically by some form of the time-dependent wave equation.
We consider a spatial domain (d = 2 or 3) and a time interval . In its most general form, the scalar acoustic wave equation modelled in Salvus is given by:
Here, denotes the space- and time-dependent wavefield and describes external forces. denotes the second time derivative and the spatial gradient operator. Furthermore, and are space-dependent material coefficients describing the properties of the medium.
Different parameterization of and lead to different formulations of the wave equation, which changes the meaning of . For instance, the wavefield could either represent pressure, a displacement potential, or a velocity potential.
For example, choosing and gives the acoustic wave equation for a displacement potential
In solid media, the propagation of mechanical waves is governed by the elastic wave equation:
Here, is the displacement field, is the strain tensor, i.e.,
denotes density, and is the fourth-order elastic tensor that relates strains to stresses. In 3-D the would have 81 coefficients, however, this number reduces to at most 21 (resp. 6 in 2-D) independent components due to the symmetry relations;
Isotropic elastic media is an important special case, which reduces the number of material coefficients to the two Lamé parameters and . In this case the elastic wave equation can be written as:
Note that above equations are only valid for non-dissipative media. We will deal with modeling visco-acoustic or visco-elastic waves later.