Wave equation

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.

Acoustic wave equation

We consider a spatial domain ΩRd{`\\Omega \\subset \\mathbf{R}^d`} (d = 2 or 3) and a time interval I=[t1,t2]{`I = [t_1, t_2]`}. In its most general form, the scalar acoustic wave equation modelled in Salvus is given by:

m0(x)t2ϕ(x,t)(m1(x)ϕ(x,t))=f(x,t).{` m_0(\\mathbf{x}) \\partial_t^2 \\phi(\\mathbf{x},t) - \\nabla \\cdot \\big(m_1(\\mathbf{x}) \\nabla \\phi(\\mathbf{x},t)\\big) = f(\\mathbf{x},t).`}

Here, ϕ{`\\phi`} denotes the space- and time-dependent wavefield and f{`f`} describes external forces. t2{`\\partial_t^2`} denotes the second time derivative and {`\\nabla`} the spatial gradient operator. Furthermore, m0{`m_0`} and m1{`m_1`} are space-dependent material coefficients describing the properties of the medium.

Different parameterization of m0{`m_0`} and m1{`m_1`} lead to different formulations of the wave equation, which changes the meaning of ϕ{`\\phi`}. For instance, the wavefield ϕ{`\\phi`} could either represent pressure, a displacement potential, or a velocity potential.

For example, choosing m0=ρ1c2{`m_0 = \\rho^{-1} \\,c^{-2}`} and m1=ρ1{`m_1 = \\rho^{-1}`} gives the acoustic wave equation for a displacement potential

ρ1(x)c2(x)t2ϕ(x,t)(ρ1(x)ϕ(x,t))=f(x,t).{` \\rho^{-1}(\\mathbf{x})\\, c^{-2}(\\mathbf{x}) \\partial_t^2 \\phi(\\mathbf{x},t) - \\nabla \\cdot \\big(\\rho^{-1}(\\mathbf{x}) \\nabla \\phi(\\mathbf{x},t)\\big) = f(\\mathbf{x},t).`}

Note that different parameterization also change the meaning of the source term. For more information, take a look at the manual for output units or parameter conversion formulas.

Elastic wave equation

In solid media, the propagation of mechanical waves is governed by the elastic wave equation:

ρ(x)t2u(x,t)(C(x):ε(u)(x,t))=f(x,t).{` \\rho(\\mathbf{x}) \\partial_t^2 \\mathbf{u}(\\mathbf{x},t) - \\nabla \\cdot \\big( \\mathbf{C}(\\mathbf{x}) : \\varepsilon(\\mathbf{u})(\\mathbf{x},t)\\big) = f(\\mathbf{x},t).`}

Here, u{`\\mathbf{u}`} is the displacement field, εu{`\\varepsilon{\\mathbf{u}}`} is the strain tensor, i.e.,

ε(u)=12(u+uT),{`\\varepsilon(\\mathbf{u}) = \\frac{1}{2}\\left(\\nabla \\mathbf{u} + \\nabla \\mathbf{u}^T \\right),`}

ρ{`\\rho`} denotes density, and C{`\\mathbf{C}`} is the fourth-order elastic tensor that relates strains to stresses. In 3-D the C{`\\mathbf{C}`} would have 81 coefficients, however, this number reduces to at most 21 (resp. 6 in 2-D) independent components due to the symmetry relations;

Cijkl=Cklij=Cjikl{`\\mathbf{C}_{ijkl} = \\mathbf{C}_{klij} = \\mathbf{C}_{jikl}`}

Isotropic elastic media is an important special case, which reduces the number of material coefficients to the two Lamé parameters λ{`\\lambda`} and μ{`\\mu`}. In this case the elastic wave equation can be written as:

ρ(x)t2u(x,t)(2μ(x)ε(u)(x,t)+λ(x)(u(x,t))I)=f(x,t).{` \\rho(\\mathbf{x}) \\partial_t^2 \\mathbf{u}(\\mathbf{x},t) - \\nabla \\cdot \\big(2 \\mu(\\mathbf{x}) \\varepsilon(\\mathbf{u})(\\mathbf{x},t) + \\lambda(\\mathbf{x})(\\nabla \\cdot \\mathbf{u}(\\mathbf{x},t)) I \\big) = f(\\mathbf{x},t).`}

Note that above equations are only valid for non-dissipative media. We will deal with modeling visco-acoustic or visco-elastic waves later.

PAGE CONTENTS