scispace - formally typeset
Search or ask a question
Journal ArticleDOI

Forward and adjoint simulations of seismic wave propagation on fully unstructured hexahedral meshes

TL;DR: This work presents various examples of fully unstructured meshes, snapshots of wavefields and finite-frequency kernels generated by Version 2.0 'Sesame' of the widely used open source spectral-element package SPECFEM3D, and benchmarked for a layercake model.
Abstract: We present forward and adjoint spectral-element simulations of coupled acoustic and (an)elastic seismic wave propagation on fully unstructured hexahedral meshes. Simulations benefit from recent advances in hexahedral meshing, load balancing and software optimization. Meshing may be accomplished using a mesh generation tool kit such as CUBIT, and load balancing is facilitated by graph partitioning based on the SCOTCH library. Coupling between fluid and solid regions is incorporated in a straightforward fashion using domain decomposition. Topography, bathymetry and Moho undulations may be readily included in the mesh, and physical dispersion and attenuation associated with anelasticity are accounted for using a series of standard linear solids. Finite-frequency Fr'echet derivatives are calculated using adjoint methods in both fluid and solid domains. The software is benchmarked for a layercake model. We present various examples of fully unstructured meshes, snapshots of wavefields and finite-frequency kernels generated by Version 2.0 'Sesame' of our widely used open source spectral-element package SPECFEM3D.

Summary (5 min read)

2 G OV E R N I N G E Q UAT I O N S

  • Let us briefly summarize the equations governing seismic wave propagation implemented in SPECFEM3D.
  • For more technical details, the reader is referred to Komatitsch & Tromp (1999) .
  • SPECFEM3D Version 2.0 'Sesame' implements wave propagation in coupled (an)elastic and acoustic materials on local scales.
  • The authors may thus safely neglect additional effects that would arise from self-gravitation and rotation (Komatitsch & Tromp 2002b , 2005; Chaljub et al. 2007) , which are important at longer periods.
  • In the following, the authors first discuss (an)elastic wave propagation and subsequently consider acoustic waves.

2.1 Elastic domain

  • For elastic materials, the displacement wavefield s(x, t) is governed by EQUATION where ρ denotes mass density, T the stress tensor and f the seismic source.
  • The initial conditions are EQUATION To accommodate simulations under pre-stressed conditions, these initial conditions may be modified in an appropriate manner.
  • The stress tensor T is linearly related to the strain via the constitutive relationship EQUATION ) where c denotes the stiffness tensor that describes the elastic properties of the medium.
  • When and where necessary, the authors use Clayton-Engquist-Stacey absorbing conditions (Clayton & Engquist 1977; Stacey 1988; Quarteroni et al. 1998) to absorb outgoing waves on fictitious boundaries of the mesh, thereby representing a semi-infinite domain.
  • Additional computations need to be performed in PML layers, in particular in corners, where contributions along several directions are summed (Komatitsch & Martin 2007) .

3 M E S H I N G , M E S H PA RT I T I O N I N G A N D L OA D B A L A N C I N G

  • The first step in a SEM consists of constructing a high-quality mesh for the region of interest.
  • The authors outline the key issues based on various 3-D examples.
  • Fig. 1 draws the schematic workflow from meshing and partitioning to finally running spectral-element simulations.

3.1 Hexahedral meshing

  • The authors subdivide the model volume into a set of non-overlapping, hexahedral elements.
  • To construct hexahedral meshes, their examples make use of an external hexahedral mesher, such as CUBIT (Blacker et al. 1994) .
  • In the Mount St Helens region, the mesh employs a mesh tripling layer to increase resolution at the topographic surface.
  • Finally, the filled coffee cup model discretized into hexahedra couples an elastic domain for the cup with an acoustic domain for the coffee inside the cup.
  • It facilitates the design of simpler, alternative meshes for layercake models.

3.2 Partitioning and load balancing

  • Balancing the computational load and distributing the mesh on a large number of cores is crucial for optimized high-performance simulations (Martin et al. 2008a ).
  • Most of the computation time is spent resolving the divergence of the stress tensor in each element.
  • The total number of spectral-elements is ∼24 000, such that each partition contains ∼6000 elements after decomposition.
  • Partitioning and load balancing equally distributes the elements over the different cores, since the whole domain is purely elastic.

SPECFEM3D Version 2.0 'Sesame' 725

  • In a final, separate step the authors generate mesh databases for each partition needed for the spectral-element solver.
  • These databases contain Gauss-Lobatto-Legendre (GLL) points for all spectral elements.
  • Material properties are assigned to these GLL points, and thus sampling resolution of a geological model not only depends on element size but also on polynomial degree.
  • Furthermore, the generation of mesh databases automatically detects interfaces between elastic and acoustic domains, needed for coupling seismic waves from one domain to another.
  • Load-balancing of the simulation persists, because the authors keep the polynomial degree fixed for all spectral elements.

3.3 Overlapping computation and communication

  • The elements that compose the mesh slices shown in Figs 2 and 3 are in contact through a common face, edge or point.
  • To allow for overlap of communication between compute nodes with computations within each mesh slice-thereby speeding up the simulation-a list of all elements in contact with any other mesh slice through a common face, edge or point is created.
  • Members of this list are termed 'outer' elements, and all other elements are termed 'inner' elements, as illustrated in Fig. 4 .
  • Once the outer elements have been identified following a standard procedure (see e.g. Danielson & Namburu 1998; Martin et al.
  • While MPI messages are travelling across the network, computations are performed on inner elements.

4.1 Validation example: two-layer model

  • The SEM has been well benchmarked against discrete wavenumber methods for layercake models by Komatitsch & Tromp (1999) .
  • A mesh tripling layer is placed below the upper layer, between 3 km and 10 km, with the wave speed properties of the lower layer.
  • The source-time function is a Ricker wavelet with a dominant frequency of 0.4 Hz.
  • The authors are interested in how the code behaves when the number of calculations is decreased linearly with the number of CPU cores (strong scaling), and how performance varies when the number of calculations on each core is kept constant while increasing the total number of CPU cores (weak scaling).
  • The authors run the simulation for a duration of 4000 time steps and show the corresponding average elapsed time per time step in Fig. 6 (a).

4.2 Mount St Helens example: layercake model with surface topography

  • The authors read in this data set using CUBIT and create a surface honouring these data points.
  • Note that once the wavefield hits the model boundary, it gets absorbed by the Clayton-Engquist-Stacey absorbing boundary conditions.

4.3 L'Aquila example: layercake model honouring surface and Moho topography

  • The purpose of this example is to show that additional surfaces may be honoured by the mesh, for example the Moho.
  • The authors import not only surface topography, but also create a Moho surface that is honoured by the boundaries of the spectral elements.
  • The mesh for the L'Aquila region was built using an additional 'Python' library that semi-automates the mesh creation process with CUBIT (Casarotti et al. 2008) .
  • Fig. 8 shows several snapshots of the seismic wavefield at consecutive times for an anelastic material, using a kinematic source description for the 2009 April 6, L'Aquila earthquake.
  • Hz and may be used to discriminate between different wave speed models and/or kinematic source solutions.

4.4 SEG/EAGE salt dome example: exploration model

  • The authors new spectral-element package can combine acoustic and (an)elastic simulations by coupling these distinct domains.
  • The authors generate acoustic waves in the top water layer and propagate them down through a salt dome body included in the lower, anelastic domain.
  • The mesh honours the surface of the salt dome and the fluid-solid boundary, that is, the bathymetry.
  • The source is a pressure source, located slightly below the free surface in the water layer, with a Ricker source-time function.
  • Note how these reflected/refracted waves, which include P-to-S converted waves, are recorded in the water layer.

4.5 Asteroid example: arbitrarily shaped model

  • This final example shows that their new software package may be used for simulating wave propagation in arbitrarily shaped models, such as asteroid Eros, which was imaged by the NEAR spacecraft in 2000-2001.
  • To simulate a thin, 70 m regolith layer superimposed on strong bedrock, as suggested by Robinson et al. (2002) , the authors assigned a low wave speed material to the elements touching the free surface and a high wave speed material to elements inside the asteroid, representing solid bedrock.
  • The regolith layer strongly increases physical dispersion of surface waves.
  • Peak ground accelerations are plotted in Fig. 11 for a simulation without a regolith layer, showing that refocussing occurs on the asteroid.

5 A D J O I N T S E N S I T I V I T Y K E R N E L S

  • An important goal in seismology is to use differences between observed and simulated seismograms to improve Earth and source models, that is, the authors are interested in the inverse problem.
  • An elegant way to address this issue is to take advantage of adjoint methods (Tarantola 1984; Tromp et al. 2005) to calculate Fréchet derivatives for a pre-defined objective function.
  • These derivatives may then be used in a conjugate-gradient approach to minimize differences between data and synthetics.
  • The key ingredients of such an adjoint approach are sensitivity kernels.

5.1 Elastic sensitivity kernels

  • The misfit kernels are given by EQUATION EQUATION where lm and † jk denote elements of the strain and adjoint strain tensors, and where the authors have suppressed the spatial dependence to avoid clutter.
  • I are the traceless strain deviator and its adjoint, respectively.
  • Note that a suitable parametrization for isotropic inversions is to use bulk sound wave speed = √ κ/ρ, shear wave speed β and density ρ (Tarantola 1987) .
  • The P wave at the receiver is used to construct a traveltime adjoint source for the kernel simulation.
  • Such kernels may be used, for example, in ocean acoustics, non-destructive testing and medical tomography.

5.2 Acoustic sensitivity kernels

  • For acoustic simulations, the kernels are given by EQUATION EQUATION ) where φ and φ † denote the acoustic scalar potential and adjoint potential, respectively.
  • To illustrate these kernels, the authors use a model with acoustic and elastic regions.
  • Variation within the measurement window as the pressure misfit for the adjoint source.
  • The kernels highlight how the pressure waveform in the chosen measurement window is affected by a head wave (a Scholte wave) travelling along the seafloor.
  • They do exhibit non-zero sensitivity in the elastic domain, due to P-to-S coupling along the seafloor.

5.3 Noise sensitivity kernels

  • As demonstrated by Tromp et al. (2010) , noise cross-correlation sensitivity kernels may also be calculated based on an adjoint method, and the new package has the necessary capabilities to perform such calculations.
  • The isotropic ensemble sensitivity kernels are given by where EQUATION EQUATION EQUATION EQUATION denote the traceless ensemble strain deviator and corresponding adjoint.
  • Fig. 14 shows the isotropic kernel K β calculated according to eq. ( 20) using the primary isotropic ensemble sensitivity kernels given.
  • Note that these noise sensitivity kernels exhibit strong 3-D variability.

6 C O N C L U S I O N S A N D F U T U R E W O R K

  • The authors have taken advantage of recent advances in high-performance computing, fully unstructured hexahedral meshing, load balancing and mesh partitioning to facilitate forward and adjoint simulations of seismic wave propagation in coupled fluid and solid domains.
  • The authors new open source software package, SPECFEM3D Version 2.0 'Sesame', performs acoustic and (an)elastic simulations of seismic wave propagation in complex geological models.
  • Partitioning and load balancing meshes may be accomplished based on graph partitioning software, such as SCOTCH.
  • In particular for simulations in medical tomography, strong attenuation and related dispersion play a dominant role.

A C K N O W L E D G M E N T S

  • The authors thank two anonymous reviewers for comments which improved the manuscript.
  • All simulations were performed on a Dell cluster built and maintained by the Princeton Institute for Computational Science & Engineering (USA).
  • The open source spectral-element software package SPECFEM3D Version 2.0 'Sesame' used for this paper is available for download via CIG.
  • 3-D graphics were produced with the open source visualization application Paraview.
  • The authors acknowledge support by the US National Science Foundation under grant EAR-0711177.

Did you find this useful? Give us your feedback

Content maybe subject to copyright    Report

HAL Id: hal-00617249
https://hal.archives-ouvertes.fr/hal-00617249
Submitted on 18 Jun 2021
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entic research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diusion de documents
scientiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
Forward and adjoint simulations of seismic wave
propagation on fully unstructured hexahedral meshes
Daniel Peter, Dimitri Komatitsch, Yang Luo, Roland Martin, Nicolas Le Go,
Emanuele Casarotti, Pieyre Le Loher, Federica Magnoni, Qinya Liu, Céline
Blitz, et al.
To cite this version:
Daniel Peter, Dimitri Komatitsch, Yang Luo, Roland Martin, Nicolas Le Go, et al.. Forward and
adjoint simulations of seismic wave propagation on fully unstructured hexahedral meshes. Geophys-
ical Journal International, Oxford University Press (OUP), 2011, 186, pp.721-739. �10.1111/j.1365-
246X.2011.05044.x�. �hal-00617249�

Geophys. J. Int. (2011) 186, 721–739 doi: 10.1111/j.1365-246X.2011.05044.x
GJI Seismology
Forward and adjoint simulations of seismic wave propagation
on fully unstructured hexahedral meshes
Daniel Peter,
1
Dimitri Komatitsch,
2,3
Yang Luo,
1
Roland Martin,
2
Nicolas Le Goff,
2
Emanuele Casarotti,
4
Pieyre Le Loher,
2
Federica Magnoni,
4
Qinya Liu,
5
C
´
eline Blitz,
2
Tarje Nissen-Meyer,
6
Piero Basini
6
and Jeroen Tromp
1,7
1
Princeton University, Department of Geosciences, 318 Guyot Hall, Princeton, NJ 08544, USA. E-mail: dpeter@princeton.edu
2
Universit
´
e de Pau et des Pays de l’Adour, CNRS & INRIA Magique-3D, Laboratoire de Mod
´
elisation et d’Imagerie en G
´
eosciences UMR 5212, Avenue de
l’Universit
´
e, 64013 Pau Cedex, France
3
Institut universitaire de France, 103 boulevard Saint-Michel, 75005 Paris, France
4
Istituto Nazionale di Geofisica e Vulcanologia, Via di Vigna Murata 605, 00143, Rome, Italy
5
Department of Physics, University of Toronto, Ontario, Canada
6
Institute of Geophysics, ETH Zurich, Sonneggstr. 5, CH-8092 Zurich, Switzerland
7
Princeton University, Program in Applied & Computational Mathematics, Princeton, NJ 08544, USA
Accepted 2011 April 12. Received 2011 April 8; in original form 2011 February 2
SUMMARY
We present forward and adjoint spectral-element simulations of coupled acoustic and
(an)elastic seismic wave propagation on fully unstructured hexahedral meshes. Simulations
benefit from recent advances in hexahedral meshing, load balancing and software optimiza-
tion. Meshing may be accomplished using a mesh generation tool kit such as CUBIT, and
load balancing is facilitated by graph partitioning based on the SCOTCH library. Coupling
between fluid and solid regions is incorporated in a straightforward fashion using domain
decomposition. Topography, bathymetry and Moho undulations may be readily included in
the mesh, and physical dispersion and attenuation associated with anelasticity are accounted
for using a series of standard linear solids. Finite-frequency Fr
´
echet derivatives are calculated
using adjoint methods in both fluid and solid domains. The software is benchmarked for a
layercake model. We present various examples of fully unstructured meshes, snapshots of
wavefields and finite-frequency kernels generated by Version 2.0 ‘Sesame’ of our widely used
open source spectral-element package SPECFEM3D.
Key words: Tomography; Interferometry; Computational seismology; Wave propagation.
1 INTRODUCTION
We present a new software package, SPECFEM3D Version 2.0
‘Sesame’, capable of simulating forward and adjoint seismic wave
propagation on fully unstructured hexahedral meshes of arbitrary
shaped model domains. In view of unrelenting growth in compu-
tational power, it has become more and more important to develop
software capable of harnessing powerful computers to address a
broad range of seismological forward and inverse problems. A well-
established numerical technique for solving such problems in a fast
and highly accurate manner is the spectral-element method (SEM).
The SEM was originally developed in computational fluid dynam-
ics (Patera 1984; Maday & Patera 1989) and has been successfully
adapted to address problems in seismic wave propagation. Early
seismic wave propagation applications of the SEM, utilizing Leg-
endre basis functions and a perfectly diagonal mass matrix, include
Cohen et al. (1993), Komatitsch (1997), Faccioli et al. (1997),
Casadei & Gabellini (1997), Komatitsch & Vilotte (1998) and
Komatitsch & Tromp (1999), whereas applications involving
Chebyshev basis functions and a non-diagonal mass matrix include
Seriani & Priolo (1994), Priolo et al. (1994) and Seriani et al. (1995).
The SEM is a continuous Galerkin technique, which may be
made discontinuous (Bernardi et al. 1994; Chaljub 2000; Kopriva
et al. 2002; Chaljub et al. 2003; Legay et al. 2005; Kopriva 2006;
Wilcox et al. 2010; Acosta Minolia & Kopriva 2011); it is then close
to a particular case of the discontinuous Galerkin technique (Reed
& Hill 1973; Ar nold 1982; Falk & Richter 1999; Hu et al. 1999;
Cockburn et al. 2000; Giraldo et al. 2002; Rivi
´
ere & Wheeler 2003;
Monk & Richter 2005; Grote et al. 2006; Ainsworth et al. 2006;
Bernacki et al. 2006; Dumbser & K
¨
aser 2006; De Basabe et al.
2008; de la Puente et al. 2009; Wilcox et al. 2010; De Basabe &
Sen 2010; Etienne et al. 2010), with optimized efficiency because
of its tensorized basis functions (Wilcox et al. 2010; Acosta Minolia
& Kopriva 2011).
An important feature of the SEM is that it can accurately han-
dle very distorted mesh elements (Oliveira & Seriani 2011), and
C
2011 The Authors 721
Geophysical Journal International
C
2011 RAS
Geophysical Journal International
Downloaded from https://academic.oup.com/gji/article/186/2/721/590417 by guest on 18 June 2021

722 D. Peter et al.
thus conforming non-structured mesh doubling bricks can effi-
ciently accommodate mesh size variations (Komatitsch & Tromp
2002a, 2004; Lee et al. 2008, 2009a,b). The method has very good
accuracy and convergence properties, such as a spectral rate of
convergence (Canuto et al. 1988; Maday & Patera 1989; Seriani
& Priolo 1994; Deville et al. 2002; Cohen 2002; De Basabe &
Sen 2007; Seriani & Oliveira 2008). In this sense the SEM is
close to the family of pseudo-spectral methods (see e.g. Canuto
et al. 1988; Carcione et al. 1988a, 1992; Carcione & Wang 1993;
Komatitsch et al. 1996), but combined with the flexibility of fi-
nite elements, in particular in terms of mesh design. For reviews
of the SEM in seismology, see for example, Komatitsch et al.
(2005), Chaljub et al. (2007), Tromp et al. (2008) and Fichtner
(2010).
The SEM is well suited to parallel implementations on very large
supercomputers (Komatitsch & Tromp 2002a; Komatitsch et al.
2003; Tsuboi et al. 2003; Komatitsch et al. 2008; Carrington et al.
2008; Komatitsch et al. 2010b) as well as on clusters of GPU accel-
erating g raphics cards (Komatitsch et al. 2009, 2010a, Komatitsch
2011). Tensor products inside each element may be optimized to
reach very high efficiency (Deville et al. 2002), and mesh point and
element numbering may be optimized to reduce processor cache
misses and improve cache reuse (Komatitsch et al. 2008). The
SEM can handle triangular (in 2-D) or tetrahedral (in 3-D) ele-
ments (Wingate & Boyd 1996; Taylor & Wingate 2000; Komatitsch
et al. 2001; Cohen 2002; Mercerat et al. 2006), as well as mixed
meshes, although with increased cost and reduced accuracy in these
non-tensorized elements, as in the discontinuous Galerkin method.
In many cases of practical seismological interest, using a con-
forming mesh and a continuous formulation are sufficient, because
in most geological models material property contrasts are not too
dramatic. When this ceases to be true, requiring a discontinuous for-
mulation, one can either turn to a discontinuous version of the SEM
(Bernardi et al. 1994; Chaljub 2000; Kopriva et al. 2002; Chaljub
et al. 2003; Legay et al. 2005; Kopriva 2006; Wilcox et al. 2010;
Acosta Minolia & Kopriva 2011) or to a discontinuous Galerkin
technique. A discontinuous formulation is particularly suitable for
dynamic rupture simulations, because high frequencies or super-
shear rupture need to be accommodated near the fault, where a
significantly denser mesh and a more sophisticated (upwind) time
scheme are required, thereby suppressing the amplification of un-
stable modes (see e.g. Benjemaa et al. 2007, 2009; de la Puente
et al. 2009; Tago et al. 2010). Another example that may require
a discontinuous formulation involves the resolution of a shallow
geotechnical layer, in which seismic shear wave speeds may be
reduced by an order of magnitude.
For seismological applications, the SEM has been success-
fully implemented for 3-D global- and regional-scale simulations
(Komatitsch & Vilotte 1998; Paolucci et al. 1999; Chaljub 2000;
Komatitsch & Tromp 2002a,b; Capdeville et al. 2003; Chaljub &
Valette 2004; Fichtner et al. 2009a), as well as local-scale simu-
lations in complex and/or densely populated regions, for example
in southern California, USA (Komatitsch et al. 2004; Tape et al.
2009, 2010), Taipei, Taiwan (Lee et
al. 2008, 2009a,b), Caracas,
Venezuela (Delavaud et al. 2006) and Grenoble, France (Chaljub
et al. 2005; Stupazzini et al. 2009; Chaljub et al. 2010). The SEM
may also be used to study elastic wave propagation on smaller
scales, for instance the propagation of ultrasonic waves in crystals
(van Wijk et al. 2004).
Two complementary SEM software packages—namely,
SPECFEM3D_GLOBE for global and regional simulations,
and SPECFEM3D for local simulations—are feature-rich, well
benchmarked and documented implementations. Data parallelism
in the SEM is efficiently exploited using the Message-Passing
Interface (MPI) standard, crucial for modern high-performance
computing. These open source packages are freely available via the
Computational Infrastructure for Geodynamics (CIG) and widely
used by the seismological community.
To extend the range of local-scale applications, easing the task of
mesh generation is paramount. The two community software pack-
ages separate a simulation into two distinct steps: first, creation
of a hexahedral mesh, and second, solution of the seismic wave
equation. This separation avoids the overhead of remeshing when
running multiple simulations for the same region, for example, re-
peated simulations at the same resolution. Focussing on local-scale
simulations, previous versions of SPECFEM3D used an internal
mesher which was explicitly tied to the specific purposes of the
package: all geological models were based on a layercake model.
Consequently, the solver was restricted by its internal mesher. It was
impossible to run spectral-element simulations on more complex 3-
D models without significant recoding, nor was it possible to run
such simulations in regions of interest for on- and off-shore explo-
ration seismology, because acoustic wave propagation in fluids was
not supported by the package.
The purpose of this paper is to present forward and ad-
joint simulations in various 3-D models using the new soft-
ware package, SPECFEM3D Version 2.0 ‘Sesame’, thereby illus-
trating its current capabilities. The original SPECFEM3D pack-
age for local simulations was extended, improved and opti-
mized in various ways. The Version 2.0 ‘Sesame’ release in-
cludes a more flexible internal mesher and accommodates more
powerful external meshers, such as CUBIT (Blacker et al.
1994; White et al. 1995; Mitchell 1996; Casarotti et al. 2008).
Adding such external meshers into the workflow greatly in-
creases flexibility for high-performance applications, as illustrated
by the GeoELSE software package (Casadei & Gabellini 1997;
Stupazzini et al. 2009; Chaljub et al. 2010). Advantages of
GeoELSE include the accommodation of viscoplastic and non-
linear rheologies, whereas benefits of SPECFEM3D include cou-
pled fluid-solid domains and adjoint capabilities; the latter enable
one to address seismological inverse problems. Load balancing par-
allel simulations in SPECFEM3D is accomplished based on the
graph partitioning software package SCOTCH (Pellegrini & Ro-
man 1996; Chevalier & Pellegrini 2008). The new package facili-
tates coupled forward and adjoint acoustic/(an)elastic simulations,
which are especially interesting for problems in exploration seismol-
ogy, ocean acoustics and medical tomography. The new software is
freely available under the GNU GPL Version 2 license via CIG.
2 GOVERNING EQUATIONS
Let us briefly summarize the equations governing seismic wave
propagation implemented in SPECFEM3D. For more technical
details, the reader is refer red to Komatitsch & Tromp (1999).
SPECFEM3D Version 2.0 ‘Sesame’ implements wave propagation
in coupled (an)elastic and acoustic materials on local scales. We
may thus safely neglect additional effects that would arise from
self-gravitation and rotation (Komatitsch & Tromp 2002b, 2005;
Chaljub et al. 2007), which are important at longer periods. In the
following, we first discuss (an)elastic wave propagation and subse-
quently consider acoustic waves.
C
2011 The Authors, GJI, 186, 721–739
Geophysical Journal International
C
2011 RAS
Downloaded from https://academic.oup.com/gji/article/186/2/721/590417 by guest on 18 June 2021

SPECFEM3D Version 2.0 ‘Sesame’ 723
2.1 Elastic domain
For elastic materials, the displacement wavefield s(x, t)isgoverned
by
ρ∂
2
t
s =∇·T + f, (1)
where ρ denotes mass density, T the stress tensor and f the seismic
source. On free surfaces, the traction vector must vanish, that is,
ˆ
n · T = 0, (2)
where
ˆ
n denotes the unit outward normal on the surface. On bound-
aries between different elastic materials, both traction
ˆ
n ·T and dis-
placement s need to be continuous. On boundaries between elastic
and acoustic domains, traction
ˆ
n · T and the normal component of
displacement
ˆ
n ·s need to be continuous. The initial conditions are
s(x, 0) = 0,∂
t
s(x, 0) = 0. (3)
We thus initiate the simulation in a medium at rest. To accommodate
simulations under pre-stressed conditions, these initial conditions
may be modified in an appropriate manner.
For elastic materials, the force f in eq. (1) represents the earth-
quake, which for a simple point source may be written as
f =−M ·∇δ(x x
s
) S(t), (4)
where M denotes the moment tensor, x
s
the source location, δ(x x
s
)
the Dirac delta distribution located at x
s
and S(t) the source-time
function. The software also accommodates kinematic rupture sim-
ulations, which may be captured by prescribing a moment-density
tensor field.
The stress tensor T is linearly related to the strain via the consti-
tutive relationship
T = c : s , (5)
where c denotes the stiffness tensor that describes the elastic prop-
erties of the medium. The implementation is general and can handle
a fully anisotropic tensor with 21 independent parameters (Chen &
Tromp 2007; Sieminski et al. 2007a,b). Using a linear constitutive
relationship is valid under the assumption that perturbations to the
reference state are small. Note that non-linear effects are sometimes
observed, for example, non-linear soil amplification, and non-linear
constitutive relationships become important for studying such ef-
fects, for example, for risk mitigation (Xu et al. 2003; Dupros et al.
2010).
In an anelastic medium, we approximate an absorption-band solid
using a series of L standard linear solids (Liu et al. 1976), and model
the time evolution of the isotropic shear modulus μ by
μ(t) = μ
R
1
L
l=1
1
τ
l
τ
σ
l
e
t
σ
l
H(t) , (6)
where μ
R
denotes the relaxed modulus, H(t) the Heaviside function
and τ
σ
l
& τ
l
the stress and strain relaxation times of the lth standard
linear solid. Experience shows that three solids generally suffice
for simulating an absorption band (Emmerich & Korn 1987). For
further details, see Carcione et al. (1988b), Robertsson (1996),
Day & Bradley (2001), Moczo & Kristek (2005), Komatitsch et al.
(2005), Carcione (2007) and Savage et al. (2010). Simulations of
seismic wave propagation in laboratory-scale rock samples or in the
context of medical tomography involve very high frequencies (in
the kHz or even MHz range), and strong attenuation must be taken
into account.
The SEM solves the equations of motion in the weak form, which
is obtained by dotting the momentum eq. (1) with an arbitrary test
vector w and integrating by parts over the model volume . We focus
on elastic domains and consider coupling interfaces with acoustic
domains. Thus, we obtain
ρ w ·
2
t
s d
3
x =
∂
ˆ
n · T · w d
2
x
w : T d
3
x
+ M : w(x
s
) S(t) .
(7)
Note that in this formulation the traction-free surface condition is
implicitly accounted for by setting the contribution from the free
surface to zero.
When and where necessary, we use Clayton–Engquist–Stacey
absorbing conditions (Clayton & Engquist 1977; Stacey 1988;
Quarteroni et al. 1998) to absorb outgoing waves on fictitious
boundaries of the mesh, thereby representing a semi-infinite do-
main. It would be more efficient to use a Perfectly Matched Layer
(PML) (see e.g. Komatitsch & Martin 2007, 2008c; Martin &
Komatitsch 2009), but a parallel implementation with good load-
balancing properties is challenging because additional equations
need to be solved. This issue becomes impor tant when high-order
time marching is required to reduce numerical dispersion in dif-
ficult case studies that involve complex media with poroelastic or
viscoelastic rheologies (Martin et al. 2008b, 2010) or Newtonian
compressible fluids (Martin & Couder-Castaneda 2010). Conse-
quently, additional computations need to be perfor med in PML
layers, in particular in corners, where contributions along several
directions are summed (Komatitsch & Martin 2007).
At a solid–fluid boundary, the interface integral over the coupling
surface ∂ is used to exchange pressure from the fluid p
fluid
to the
solid:
ˆ
n · T =−p
fluid
ˆ
n.
2.2 Acoustic domain
We define a scalar potential φ such that the displacement s may be
written as
s = ρ
1
φ. (8)
The equation of motion in terms of the potential φ becomes
κ
1
2
t
φ =∇·(ρ
1
φ) + f, (9)
where κ denotes the bulk modulus. It follows that velocity v and
pressure p may be expressed as
v = ρ
1
t
φ, (10)
p =−κ ( ∇·s) =−
2
t
φ. (11)
The resulting formulation for pressure p is the reason why we choose
to define the potential φ as in eq. (8). Since pressure is continuous
across first-order discontinuities, it follows that
2
t
φ and thus φ must
be continuous, a requirement which is honoured automatically by
the basis functions of the SEM. The source f may be expressed in
terms of pressure P acting at location x
s
.
f =−κ
1
P(t ) δ(x x
s
) . (12)
Note that the source is multiplied by a factor κ
1
due to the formu-
lation used in eq. (9).
Using Gauss’ theorem and a scalar test function w , the weak
form becomes
κ
1
w
2
t
φ d
3
x =
∂
ρ
1
w
ˆ
n ·∇φ d
2
x
ρ
1
w ·∇φ d
3
x κ
1
P(t )w(x
s
).
(13)
C
2011 The Authors, GJI, 186, 721–739
Geophysical Journal International
C
2011 RAS
Downloaded from https://academic.oup.com/gji/article/186/2/721/590417 by guest on 18 June 2021

724 D. Peter et al.
Figure 1. Workflow for running spectral-element simulations with
SPECFEM3D Version 2.0 ‘Sesame’.
At the free surface ∂ we set the pressure p =−
2
t
φ = 0, thereby
enforcing φ = 0,
t
φ = 0and
2
t
φ = 0, that is, we implement
a Dirichlet boundary condition along the surface. At a fluid–solid
boundary, the interface coupling integral may be used to exchange
the normal component of displacement between fluid and solid:
ρ
1
ˆ
n ·∇φ =
ˆ
n · s
solid
.
3 MESHING, MESH PARTITIONING
AND LOAD BALANCING
The first step in a SEM consists of constructing a high-quality mesh
for the region of interest. In this section, we outline the key issues
based on various 3-D examples. Fig. 1 draws the schematic workflow
from meshing and partitioning to finally running spectral-element
simulations. We discuss each phase separately, focussing on the use
of an external mesher, in our case CUBIT (Blacker et al. 1994).
3.1 Hexahedral meshing
We subdivide the model volume into a set of non-overlapping,
hexahedral elements. We impose that the discretization creates a
conforming mesh, that is, elements match on a full face or edge,
and the mesh cannot be discontinuous. Using the SEM with hex-
ahedral elements leads to computational benefits over tetrahedral
finite elements (Komatitsch et al. 2001; Mercerat et al. 2006; Vos
et al. 2010). Especially for parallel implementations, taking advan-
tage of the diagonal mass matrix and optimized tensor products is
critical in terms of computational speed (Komatitsch et al. 2003;
Carrington et al. 2008; Vos et al. 2010). Hexahedral meshing is also
attractive for the SEM because it benefits from reduced errors and
generally smaller element counts compared to tetrahedral meshing
(Hesthaven & Teng 2000; Komatitsch et al. 2001; Vos et al. 2010).
Unfortunately, automatic 3-D hexahedral mesh generation
is more demanding than unstructured tetrahedral meshing
(Shepherd & Johnson 2008; Staten et al. 2010). To construct hex-
ahedral meshes, our examples make use of an external hexahedral
mesher, such as CUBIT (Blacker et al. 1994). We focus on this
particular mesh generation tool kit because it is a well-documented
and feature-rich package, on which most of our own experience is
based. One may readily use other meshing tools, such as Abaqus
(SIMULIA 2008), ANSYS (ANSYS 2011), GOCAD (Mallet 1992;
Caumon et al. 2009), GiD (Gardia-Donoro et al. 2010; Rib
´
o et al.
2011), Gmsh (Geuzaine & Remacle 2009), TrueGrid (Noble &
Nuss 2004; Rainsberger 2006) or Salome (Ribes & Caremoli 2007;
Bergeaud et al. 2010).
Fig. 2 shows several examples of fully unstr uctured hexahe-
dral meshes. In the Mount St Helens region, the mesh employs
a mesh tripling layer to increase resolution at the topographic sur-
face. Tripling is the default refinement in CUBIT for subdividing
hexahedral elements in a conforming fashion. Surface topography is
imported using Shuttle Radar Topographic Mission (SRTM) data,
converted to Universal Transverse Mercator (UTM) coordinates
with an original resolution of 90 m (Jarvis et al. 2008). Meshing is
performed automatically by CUBIT using a sweep algorithm. The
resolution of the mesh enables seismic wave simulations with fre-
quencies up to 1.5 Hz. The Mesh for the L’Aquila region, Italy,
consists of 7 M hexahedra with an element size of 90 m at
the top surf ace. This mesh facilitates simulations of seismic wave
propagation up to 5 Hz. For the exploration geophysics model,
the hexahedral mesh honours a salt dome body inside a 3-D model
capped by a water layer. The mesh for asteroid 433-Eros with a
close-bound surface has a resolution of roughly 300 m. Finally, the
filled coffee cup model discretized into hexahedra couples an elastic
domain for the cup with an acoustic domain for the coffee inside
the cup.
To ensure compatibility with previous versions of SPECFEM3D
(see e.g. Komatitsch et al. 2004; Liu et al. 2004), the in-house
mesher based on analytical linear interpolation from the top to the
bottom of the mesh has been adapted to the new code structure. It
facilitates the design of simpler, alternative meshes for layercake
models.
3.2 Partitioning and load balancing
Balancing the computational load and distributing the mesh on a
large number of cores is crucial for optimized high-performance
simulations (Martin et al.
2008a). To do so, we make use of an
e
xternal partitioner, namely SCOTCH (Pellegrini & Roman 1996;
Chevalier & Pellegrini 2008), which we use to balance spectral-
element computations on an arbitrary number of cores. An alter-
native partitioner able to fulfill these tasks is METIS (Karypis &
Kumar 1998), b ut SCOTCH is more actively maintained (Chevalier
& Pellegrini 2008) and performs better in many cases that we have
tested.
Especially for s imulations involving coupled elastic and acoustic
domains, balancing the mesh becomes paramount. Most of the com-
putation time is spent resolving the divergence of the stress tensor
in each element. The computational cost for an elastic element is
approximately four times larger than for an acoustic element, which
may be established by running simulations for one domain at a time.
During partitioning, we therefore weight each element according to
its associated domain type and computational cost to balance the
overall numerical cost rather than simply the number of elements
between partitions. The major improvement in SPECFEM3D code
performance focuses on these tensor products, using highly effi-
cient algorithms developed by Deville et al. (2002) and optimizing
cache usage. Another key aspect of mesh partitioning is minimiza-
tion of the number of edge cuts, because this reduces the amount
of MPI communications between processor cores (an edge cut oc-
curs when two contiguous elements are assigned to distinct cores).
On machines comprising a very large number of cores, it is cru-
cial to resort to non-blocking communications between compute
nodes, for instance using non-blocking MPI message passing, to
obtain good performance scaling (Danielson & Namburu 1998;
Komatitsch et al. 2008; Martin et al. 2008a).
C
2011 The Authors, GJI, 186, 721–739
Geophysical Journal International
C
2011 RAS
Downloaded from https://academic.oup.com/gji/article/186/2/721/590417 by guest on 18 June 2021

Citations
More filters
Journal ArticleDOI
TL;DR: In this paper, the authors describe recent accuracy and scalability advances made in the context of the SimGrid simulation framework and present quantitative results that show that SimGrid compares favorably to state-of-the-art domain-specific simulators in terms of scalability, accuracy, or the trade-off between the two.

337 citations


Cites methods from "Forward and adjoint simulations of ..."

  • ...For this reason, we have evaluated SMPI, the component of SimGrid that makes it possible to simulate MPI applications, for both benchmarks and complex applications, including the full LinPACK suite [81], the Sweep3D [82] benchmark, the BigDFT Density Functional Theory application [83], and the SpecFEM3D geodynamics application [84] that is part of the PRACE benchmark....

    [...]

Journal ArticleDOI
TL;DR: In this study, a measure of the misfit computed with an optimal transport distance allows to account for the lateral coherency of events within the seismograms, instead of considering each seismic trace independently, as is done generally in full waveform inversion.
Abstract: Full waveform inversion using the conventional L2 distance to measure the misfit between seismograms is known to suffer from cycle skipping. An alternative strategy is proposed in this study, based on a measure of the misfit computed with an optimal transport distance. This measure allows to account for the lateral coherency of events within the seismograms, instead of considering each seismic trace independently, as is done generally in full waveform inversion. The computation of this optimal transport distance relies on a particular mathematical formulation allowing for the non-conservation of the total energy between seismograms. The numerical solution of the optimal transport problem is performed using proximal splitting techniques. Three synthetic case studies are investigated using this strategy: the Marmousi 2 model, the BP 2004 salt model, and the Chevron 2014 benchmark data. The results emphasize interesting properties of the optimal transport distance. The associated misfit function is less prone to cycle skipping. A workflow is designed to reconstruct accurately the salt structures in the BP 2004 model, starting from an initial model containing no information about these structures. A high-resolution P-wave velocity estimation is built from the Chevron 2014 benchmark data, following a frequency continuation strategy. This estimation explains accurately the data. Using the same workflow, full waveform inversion based on the L2 distance converges towards a local minimum. These results yield encouraging perspectives regarding the use of the optimal transport distance for full waveform inversion: the sensitivity to the accuracy of the initial model is reduced, the reconstruction of complex salt structure is made possible, the method is robust to noise, and the interpretation of seismic data dominated by reflections is enhanced.

264 citations

Journal ArticleDOI
TL;DR: In this article, the authors present a methodology to compute 3D global seismic wavefields for realistic earthquake sources in visco-elastic anisotropic media, covering applications across the observable seismic frequency band with moderate computational resources.
Abstract: . We present a methodology to compute 3-D global seismic wavefields for realistic earthquake sources in visco-elastic anisotropic media, covering applications across the observable seismic frequency band with moderate computational resources. This is accommodated by mandating axisymmetric background models that allow for a multipole expansion such that only a 2-D computational domain is needed, whereas the azimuthal third dimension is computed analytically on the fly. This dimensional collapse opens doors for storing space–time wavefields on disk that can be used to compute Frechet sensitivity kernels for waveform tomography. We use the corresponding publicly available AxiSEM ( www.axisem.info ) open-source spectral-element code, demonstrate its excellent scalability on supercomputers, a diverse range of applications ranging from normal modes to small-scale lowermost mantle structures, tomographic models, and comparison with observed data, and discuss further avenues to pursue with this methodology.

220 citations

Journal ArticleDOI
TL;DR: The first generation global tomographic model constructed based on adjoint tomography, an iterative full-wave-form inversion technique, was presented in this paper, where synthetic seismograms were calculated using GPU-accelerated spectral-element simulations of global seismic wave propagation, accommodating effects due to 3D anelastic crust & mantle structure, topography & bathymetry, the ocean load, ellipticity, rotation, and self-gravitation.
Abstract: We present the first-generation global tomographic model constructed based on adjoint tomography, an iterative full-waveform inversion technique. Synthetic seismograms were calculated using GPU-accelerated spectral-element simulations of global seismic wave propagation, accommodating effects due to 3D anelastic crust & mantle structure, topography & bathymetry, the ocean load, ellipticity, rotation, and self-gravitation. Frechet derivatives were calculated in 3D anelastic models based on an adjoint-state method. The simulations were performed on the Cray XK7 named ‘Titan’, a computer with 18,688 GPU accelerators housed at Oak Ridge National Laboratory. The transversely isotropic global model is the result of 15 tomographic iterations, which systematically reduced differences between observed and simulated three-component seismograms. Our starting model combined 3D mantle model S362ANI (Kustowski et al. 2008) with 3D crustal model Crust2.0 (Bassin et al. 2000). We simultaneously inverted for structure in the crust and mantle, thereby eliminating the need for widely used ‘crustal corrections’. We used data from 253 earthquakes in the magnitude range 5.8~ ≤ ~Mw~ ≤ ~7.0. For the first 12 iterations, we combined ∼30 s body-wave data with ∼60 s surface-wave data. The shortest period of the surface waves was gradually decreased, and in the last three iterations we combined ∼17 s body waves with ∼45 s surface waves. We started using 180 min-long seismograms after the 12th iteration and assimilated minor- and major-arc body and surface waves. The 15th iteration model features enhancements of well-known slabs, an enhanced image of the Samoa/Tahiti plume, as well as various other plumes and hotspots, such as Caroline, Galapagos, Yellowstone, and Erebus. Furthermore, we see clear improvements in slab resolution along the Hellenic and Japan Arcs, as well as subduction along the East of Scotia Plate, which does not exist in the starting model. Point-spread function tests demonstrate that we are approaching the resolution of continental-scale studies in some areas, for example underneath Yellowstone. This is a consequence of our multi-scale smoothing strategy, in which we define our smoothing operator as a function of the approximate Hessian kernel, thereby smoothing gradients less wherever we have good ray coverage, such as underneath North America.

213 citations


Cites background from "Forward and adjoint simulations of ..."

  • ...Yellowstone is currently debated in terms of its size, depth extent and resolution (e.g. Smith & Braile 1994; Pierce & Morgan 2009; Faccenna et al. 2010; Fouch 2012)....

    [...]

Journal ArticleDOI
TL;DR: In this article, a multigrid approach based on the decomposition of a multiscale earth model with widely varying grid spacings into a family of single-scale models where the grid spacing is approximately uniform.
Abstract: We develop and apply a full waveform inversion method that incorporates seismic data on a wide range of spatio-temporal scales, thereby constraining the details of both crustal and upper-mantle structure. This is intended to further our understanding of crust-mantle interactions that shape the nature of plate tectonics, and to be a step towards improved tomographic models of strongly scale-dependent earth properties, such as attenuation and anisotropy. The inversion for detailed regional earth structure consistently embedded within a large-scale model requires locally refined numerical meshes that allow us to (1) model regional wave propagation at high frequencies, and (2) capture the inferred fine-scale heterogeneities. The smallest local grid spacing sets the upper bound of the largest possible time step used to iteratively advance the seismic wave field. This limitation leads to extreme computational costs in the presence of fine-scale structure, and it inhibits the construction of full waveform tomographic models that describe earth structure on multiple scales. To reduce computational requirements to a feasible level, we design a multigrid approach based on the decomposition of a multiscale earth model with widely varying grid spacings into a family of single-scale models where the grid spacing is approximately uniform. Each of the single-scale models contains a tractable number of grid points, which ensures computational efficiency. The multi-to-single-scale decomposition is the foundation of iterative, gradient-based optimization schemes that simultaneously and consistently invert data on all scales for one multi-scale model. We demonstrate the applicability of our method in a full waveform inversion for Eurasia, with a special focus on Anatolia where coverage is particularly dense. Continental-scale structure is constrained by complete seismic waveforms in the 30-200 s period range. In addition to the well-known structural elements of the Eurasian mantle, our model reveals a variety of subtle features, such as the Armorican Massif, the Rhine Graben and the Massif Central. Anatolia is covered by waveforms with 8-200 s period, meaning that the details of both crustal and mantle structure are resolved consistently. The final model contains numerous previously undiscovered structures, including the extension-related updoming of lower-crustal material beneath the Menderes Massif in western Anatolia. Furthermore, the final model for the Anatolian region confirms estimates of crustal depth from receiver function analysis, and it accurately explains cross-correlations of ambient seismic noise at 10 s period that have not been used in the tomographic inversion. This provides strong independent evidence that detailed 3-D structure is well resolved.

196 citations

References
More filters
Journal ArticleDOI
TL;DR: Gmsh as mentioned in this paper is an open-source 3D finite element grid generator with a build-in CAD engine and post-processor that provides a fast, light and user-friendly meshing tool with parametric input and advanced visualization capabilities.
Abstract: Gmsh is an open-source 3-D finite element grid generator with a build-in CAD engine and post-processor. Its design goal is to provide a fast, light and user-friendly meshing tool with parametric input and advanced visualization capabilities. This paper presents the overall philosophy, the main design choices and some of the original algorithms implemented in Gmsh. Copyright (C) 2009 John Wiley & Sons, Ltd.

5,322 citations


Additional excerpts

  • ...…meshing tools, such as Abaqus (SIMULIA 2008), ANSYS (ANSYS 2011), GOCAD (Mallet 1992; Caumon et al. 2009), GiD (Gardia-Donoro et al. 2010; Ribó et al. 2011), Gmsh (Geuzaine & Remacle 2009), TrueGrid (Noble & Nuss 2004; Rainsberger 2006) or Salome (Ribes & Caremoli 2007; Bergeaud et al. 2010)....

    [...]

  • ...Gmsh: A three-dimensional finite ele- ment mesh generator with built-in pre- and post-processing facilities, Int....

    [...]

  • ...One may readily use other meshing tools, such as Abaqus (SIMULIA 2008), ANSYS (ANSYS 2011), GOCAD (Mallet 1992; Caumon et al. 2009), GiD (Gardia-Donoro et al. 2010; Ribó et al. 2011), Gmsh (Geuzaine & Remacle 2009), TrueGrid (Noble & Nuss 2004; Rainsberger 2006) or Salome (Ribes & Caremoli 2007; Bergeaud et al. 2010)....

    [...]

  • ...Hexahedral meshes may be generated based on packages such as CUBIT, Abaqus, ANSYS, GOCAD, GiD, Gmsh, TrueGrid or Salome, but the simple in-house mesher used in previous versions of SPECFEM3D remains available for backcompatibility....

    [...]

Book
01 Jan 1987
TL;DR: Spectral methods have been widely used in simulation of stability, transition, and turbulence as discussed by the authors, and their applications to both compressible and incompressible flows, to viscous as well as inviscid flows, and also to chemically reacting flows are surveyed.
Abstract: Fundamental aspects of spectral methods are introduced. Recent developments in spectral methods are reviewed with an emphasis on collocation techniques. Their applications to both compressible and incompressible flows, to viscous as well as inviscid flows, and also to chemically reacting flows are surveyed. The key role that these methods play in the simulation of stability, transition, and turbulence is brought out. A perspective is provided on some of the obstacles that prohibit a wider use of these methods, and how these obstacles are being overcome.

4,632 citations

Journal ArticleDOI
TL;DR: In this article, the authors present a set of methods for the estimation of two-dimensional fluid flow, including a Fourier Galerkin method and a Chebyshev Collocation method.
Abstract: 1. Introduction.- 1.1. Historical Background.- 1.2. Some Examples of Spectral Methods.- 1.2.1. A Fourier Galerkin Method for the Wave Equation.- 1.2.2. A Chebyshev Collocation Method for the Heat Equation.- 1.2.3. A Legendre Tau Method for the Poisson Equation.- 1.2.4. Basic Aspects of Galerkin, Tau and Collocation Methods.- 1.3. The Equations of Fluid Dynamics.- 1.3.1. Compressible Navier-Stokes.- 1.3.2. Compressible Euler.- 1.3.3. Compressible Potential.- 1.3.4. Incompressible Flow.- 1.3.5. Boundary Layer.- 1.4. Spectral Accuracy for a Two-Dimensional Fluid Calculation.- 1.5. Three-Dimensional Applications in Fluids.- 2. Spectral Approximation.- 2.1. The Fourier System.- 2.1.1. The Continuous Fourier Expansion.- 2.1.2. The Discrete Fourier Expansion.- 2.1.3. Differentiation.- 2.1.4. The Gibbs Phenomenon.- 2.2. Orthogonal Polynomials in ( - 1, 1).- 2.2.1. Sturm-Liouville Problems.- 2.2.2. Orthogonal Systems of Polynomials.- 2.2.3. Gauss-Type Quadratures and Discrete Polynomial Transforms.- 2.3. Legendre Polynomials.- 2.3.1. Basic Formulas.- 2.3.2. Differentiation.- 2.4. Chebyshev Polynomials.- 2.4.1. Basic Formulas.- 2.4.2. Differentiation.- 2.5. Generalizations.- 2.5.1. Jacobi Polynomials.- 2.5.2. Mapping.- 2.5.3. Semi-Infinite Intervals.- 2.5.4. Infinite Intervals.- 3. Fundamentals of Spectral Methods for PDEs.- 3.1. Spectral Projection of the Burgers Equation.- 3.1.1. Fourier Galerkin.- 3.1.2. Fourier Collocation.- 3.1.3. Chebyshev Tau.- 3.1.4. Chebyshev Collocation.- 3.2. Convolution Sums.- 3.2.1. Pseudospectral Transform Methods.- 3 2 2 Aliasing Removal by Padding or Truncation.- 3.2.3. Aliasing Removal by Phase Shifts.- 3.2.4. Convolution Sums in Chebyshev Methods.- 3.2.5. Relation Between Collocation and Pseudospectral Methods.- 3.3. Boundary Conditions.- 3.4. Coordinate Singularities.- 3.4.1. Polar Coordinates.- 3.4.2. Spherical Polar Coordinates.- 3.5. Two-Dimensional Mapping.- 4. Temporal Discretization.- 4.1. Introduction.- 4.2. The Eigenvalues of Basic Spectral Operators.- 4.2.1. The First-Derivative Operator.- 4.2.2. The Second-Derivative Operator.- 4.3. Some Standard Schemes.- 4.3.1. Multistep Schemes.- 4.3.2. Runge-Kutta Methods.- 4.4. Special Purpose Schemes.- 4.4.1. High Resolution Temporal Schemes.- 4.4.2. Special Integration Techniques.- 4.4.3. Lerat Schemes.- 4.5. Conservation Forms.- 4.6. Aliasing.- 5. Solution Techniques for Implicit Spectral Equations.- 5.1. Direct Methods.- 5.1.1. Fourier Approximations.- 5.1.2. Chebyshev Tau Approximations.- 5.1.3. Schur-Decomposition and Matrix-Diagonalization.- 5.2. Fundamentals of Iterative Methods.- 5.2.1. Richardson Iteration.- 5.2.2. Preconditioning.- 5.2.3. Non-Periodic Problems.- 5.2.4. Finite-Element Preconditioning.- 5.3. Conventional Iterative Methods.- 5.3.1. Descent Methods for Symmetric, Positive-Definite Systems.- 5.3.2. Descent Methods for Non-Symmetric Problems.- 5.3.3. Chebyshev Acceleration.- 5.4. Multidimensional Preconditioning.- 5.4.1. Finite-Difference Solvers.- 5.4.2. Modified Finite-Difference Preconditioners.- 5.5. Spectral Multigrid Methods.- 5.5.1. Model Problem Discussion.- 5.5.2. Two-Dimensional Problems.- 5.5.3. Interpolation Operators.- 5.5.4. Coarse-Grid Operators.- 5.5.5. Relaxation Schemes.- 5.6. A Semi-Implicit Method for the Navier-Stokes Equations.- 6. Simple Incompressible Flows.- 6.1. Burgers Equation.- 6.2. Shear Flow Past a Circle.- 6.3. Boundary-Layer Flows.- 6.4. Linear Stability.- 7. Some Algorithms for Unsteady Navier-Stokes Equations.- 7.1. Introduction.- 7.2. Homogeneous Flows.- 7.2.1. A Spectral Galerkin Solution Technique.- 7.2.2. Treatment of the Nonlinear Terms.- 7.2.3. Refinements.- 7.2.4. Pseudospectral and Collocation Methods.- 7.3. Inhomogeneous Flows.- 7.3.1. Coupled Methods.- 7.3.2. Splitting Methods.- 7.3.3. Galerkin Methods.- 7.3.4. Other Confined Flows.- 7.3.5. Unbounded Flows.- 7.3.6. Aliasing in Transition Calculations.- 7.4. Flows with Multiple Inhomogeneous Directions.- 7.4.1. Choice of Mesh.- 7.4.2. Coupled Methods.- 7.4.3. Splitting Methods.- 7.4.4. Other Methods.- 7.5. Mixed Spectral/Finite-Difference Methods.- 8. Compressible Flow.- 8.1. Introduction.- 8.2. Boundary Conditions for Hyperbolic Problems.- 8.3. Basic Results for Scalar Nonsmooth Problems.- 8.4. Homogeneous Turbulence.- 8.5. Shock-Capturing.- 8.5.1. Potential Flow.- 8.5.2. Ringleb Flow.- 8.5.3. Astrophysical Nozzle.- 8.6. Shock-Fitting.- 8.7. Reacting Flows.- 9. Global Approximation Results.- 9.1. Fourier Approximation.- 9.1.1. Inverse Inequalities for Trigonometric Polynomials.- 9.1.2. Estimates for the Truncation and Best Approximation Errors.- 9.1.3. Estimates for the Interpolation Error.- 9.2. Sturm-Liouville Expansions.- 9.2.1. Regular Sturm-Liouville Problems.- 9.2.2. Singular Sturm-Liouville Problems.- 9.3. Discrete Norms.- 9.4. Legendre Approximations.- 9.4.1. Inverse Inequalities for Algebraic Polynomials.- 9.4.2. Estimates for the Truncation and Best Approximation Errors.- 9.4.3. Estimates for the Interpolation Error.- 9.5. Chebyshev Approximations.- 9.5.1. Inverse Inequalities for Polynomials.- 9.5.2. Estimates for the Truncation and Best Approximation Errors.- 9.5.3. Estimates for the Interpolation Error.- 9.5.4. Proofs of Some Approximation Results.- 9.6. Other Polynomial Approximations.- 9.6.1. Jacobi Polynomials.- 9.6.2. Laguerre and Hermite Polynomials.- 9.7. Approximation Results in Several Dimensions.- 9.7.1. Fourier Approximations.- 9.7.2. Legendre Approximations.- 9.7.3. Chebyshev Approximations.- 9.7.4. Blended Fourier and Chebyshev Approximations.- 10. Theory of Stability and Convergence for Spectral Methods.- 10.1. The Three Examples Revisited.- 10.1.1. A Fourier Galerkin Method for the Wave Equation.- 10.1.2. A Chebyshev Collocation Method for the Heat Equation.- 10.1.3. A Legendre Tau Method for the Poisson Equation.- 10.2. Towards a General Theory.- 10.3. General Formulation of Spectral Approximations to Linear Steady Problems.- 10.4. Galerkin, Collocation and Tau Methods.- 10.4.1. Galerkin Methods.- 10.4.2. Tau Methods.- 10.4.3. Collocation Methods.- 10.5. General Formulation of Spectral Approximations to Linear Evolution Equations.- 10.5.1. Conditions for Stability and Convergence: The Parabolic Case.- 10.5.2. Conditions for Stability and Convergence: The Hyperbolic Case.- 10.6. The Error Equation.- 11. Steady, Smooth Problems.- 11.1. The Poisson Equation.- 11.1.1. Legendre Methods.- 11.1.2. Chebyshev Methods.- 11.1.3. Other Boundary Value Problems.- 11.2. Advection-Diffusion Equation.- 11.2.1. Linear Advection-Diffusion Equation.- 11.2.2. Steady Burgers Equation.- 11.3. Navier-Stokes Equations.- 11.3.1. Compatibility Conditions Between Velocity and Pressure.- 11.3.2. Direct Discretization of the Continuity Equation: The \"inf-sup\" Condition.- 11.3.3. Discretizations of the Continuity Equation by an Influence-Matrix Technique: The Kleiser-Schumann Method.- 11.3.4. Navier-Stokes Equations in Streamfunction Formulation.- 11.4. The Eigenvalues of Some Spectral Operators.- 11.4.1. The Discrete Eigenvalues for Lu = ? uxx.- 11.4.2. The Discrete Eigenvalues for Lu = ? vuxx + bux.- 11.4.3. The Discrete Eigenvalues for Lu = ux.- 12. Transient, Smooth Problems.- 12.1. Linear Hyperbolic Equations.- 12.1.1. Periodic Boundary Conditions.- 12.1.2. Non-Periodic Boundary Conditions.- 12.1.3. Hyperbolic Systems.- 12.1.4. Spectral Accuracy for Non-Smooth Solutions.- 12.2. Heat Equation.- 12.2.1. Semi-Discrete Approximation.- 12.2.2. Fully Discrete Approximation.- 12.3. Advection-Diffusion Equation.- 12.3.1. Semi-Discrete Approximation.- 12.3.2. Fully Discrete Approximation.- 13. Domain Decomposition Methods.- 13.1. Introduction.- 13.2. Patching Methods.- 13.2.1. Notation.- 13.2.2. Discretization.- 13.2.3. Solution Techniques.- 13.2.4. Examples.- 13.3. Variational Methods.- 13.3.1. Formulation.- 13.3.2. The Spectral-Element Method.- 13.4. The Alternating Schwarz Method.- 13.5. Mathematical Aspects of Domain Decomposition Methods.- 13.5.1. Patching Methods.- 13.5.2. Equivalence Between Patching and Variational Methods.- 13.6. Some Stability and Convergence Results.- 13.6.1. Patching Methods.- 13.6.2. Variational Methods.- Appendices.- A. Basic Mathematical Concepts.- B. Fast Fourier Transforms.- C. Jacobi-Gauss-Lobatto Roots.- References.

3,753 citations

Journal ArticleDOI
TL;DR: In this paper, the nonlinear inverse problem for seismic reflection data is solved in the acoustic approximation, which is based on the generalized least squares criterion, and it can handle errors in the data set and a priori information on the model.
Abstract: The nonlinear inverse problem for seismic reflection data is solved in the acoustic approximation. The method is based on the generalized least‐squares criterion, and it can handle errors in the data set and a priori information on the model. Multiply reflected energy is naturally taken into account, as well as refracted energy or surface waves. The inverse problem can be solved using an iterative algorithm which gives, at each iteration, updated values of bulk modulus, density, and time source function. Each step of the iterative algorithm essentially consists of a forward propagation of the actual sources in the current model and a forward propagation (backward in time) of the data residuals. The correlation at each point of the space of the two fields thus obtained yields the corrections of the bulk modulus and density models. This shows, in particular, that the general solution of the inverse problem can be attained by methods strongly related to the methods of migration of unstacked data, and commerc...

3,198 citations


"Forward and adjoint simulations of ..." refers methods in this paper

  • ...An elegant way to address this issue is to take advantage of adjoint methods (Tarantola 1984; Tromp et al. 2005) to calculate Fréchet derivatives for a pre-defined objective function....

    [...]

Book
01 Jan 1987
TL;DR: In this paper, the least-squares (l 2 -norm) and the Minimax (l #-norm) Criterion are introduced. But they do not cover the general discrete inverse problem.
Abstract: Part 1. Discrete Inverse Problems. 1. The General Discrete Inverse Problem. 2. The Trial and Error Method. 3. Monte Carlo Methods. 4. The Least-Squares (l 2 -norm) Criterion. 5. The Least-Absolute Values (l 1 -norm) Criterion and the Minimax (l # -norm) Criterion. Part 2. General Inverse Problems. 6. The General Problem. 7. The Least-Squares Criterion in Functional Spaces. References and References for General Reading. Index.

2,168 citations

Frequently Asked Questions (13)
Q1. What have the authors contributed in "Forward and adjoint simulations of seismic wave propagation on fully unstructured hexahedral meshes" ?

HAL this paper is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. 

Another key aspect of mesh partitioning is minimization of the number of edge cuts, because this reduces the amount of MPI communications between processor cores (an edge cut occurs when two contiguous elements are assigned to distinct cores). 

The open source spectral-element software package SPECFEM3D Version 2.0 ‘Sesame’ used for this paper is available for download via CIG. 

Hexahedral meshing is also attractive for the SEM because it benefits from reduced errors and generally smaller element counts compared to tetrahedral meshing (Hesthaven & Teng 2000; Komatitsch et al. 2001; Vos et al. 2010). 

Note that non-linear effects are sometimes observed, for example, non-linear soil amplification, and non-linear constitutive relationships become important for studying such effects, for example, for risk mitigation (Xu et al. 2003; Dupros et al. 2010). 

Balancing the computational load and distributing the mesh on a large number of cores is crucial for optimized high-performance simulations (Martin et al. 2008a). 

Partitioning and load balancing equally distributes the elements over the different cores, since the whole domain is purely elastic. 

Note that once the wavefield hits the model boundary, it gets absorbed by the Clayton–Engquist–Stacey absorbing boundary conditions. 

To simulate a thin, 70 m regolith layer superimposed on strong bedrock, as suggested by Robinson et al. (2002), the authors assigned a low wave speed material to the elements touching the free surface and a high wave speed material to elements inside the asteroid, representing solid bedrock. 

The source–time function corresponds to a Dirac pulse low-pass filtered up to a cut-off frequency of 5 Hz. Fig. 10 displays wavefield snapshots for the first ∼10 s of the simulation. 

During partitioning, the authors therefore weight each element according to its associated domain type and computational cost to balance the overall numerical cost rather than simply the number of elements between partitions. 

Because of the limitations of these approximate theories, only parts of seismograms can be used, and initial models are generally restricted to be spherically symmetric. 

The authors focus on this particular mesh generation tool kit because it is a well-documented and feature-rich package, on which most of their own experience is based.