Home  | Legals | Data Protection | Sitemap | KIT

Project C2 • Seismic imaging by full waveform inversion

Principal investigators

  Prof. Dr. Thomas Bohlen (7/2015 - )
  Prof. Dr. Roland Griesmaier (7/2019 - )
  Prof. Dr. Andreas Kirsch (7/2015 - 6/2019)
  Prof. Dr. Andreas Rieder (7/2015 - )
  Prof. Dr. Christian Wieners (7/2015 - 6/2019)

Project summary

The aim of full waveform inversion is the reconstruction of subsurface material parameters (e.g., the velocity of compression and shear waves and the attenuation of these waves) from measurements of the full elastic wave field which has been excited locally by controlled sources or globally by earthquakes. From a mathematical point of view, we have to deal with a nonlinear parameter identification problem for the acoustic, elastic, viscoacoustic or viscoelastic wave equation. The least squares approach for the full nonlinear problem is called full waveform inversion (FWI). It needs to be regularized due to its illposedness. The resulting optimization problem with PDE constraints is mostly solved by gradient-type schemes which require repeated solutions of the direct and the adjoint time-dependent PDE. This approach became reasonable just recently due to the tremendously increased performance of modern computers. Nevertheless, the approach suffers twofold:

  • Its practicality is still restricted by the numerical effort needed, for instance, by explicit time integrators, by the storage requirements for the full wave propagation in space and time, by non-linearities of the inverse problem, and by the slow convergence of gradient-type schemes.
  • A comprehensive mathematical analysis of the inverse problem justifying the numerics is missing. However, such an analysis is needed to achieve the best possible reconstruction within the uncertainty and incompleteness of the measurement data.

We work on both issues under the following guiding principle: Develop a sound mathematical theory driven by realistic scenarios. And set up regularization schemes adapted to the underlying physics (for instance, preserving discontinuities of the material parameters and taking into account strongly anisotropic and heterogeneous porous media properties).
Some of our achievements in the abstract analysis of the problem so far are:

  • A theory on inverse problems in the context of abstract evolution equations.
  • Mathematical proofs for the well-posedness of the physical wave models mentioned above under certain initial and boundary conditions.
  • Mathematical proofs for the existence of the Fréchet derivative of the parameter-to-solution map between appropriate spaces.
  • A mathematical proof for the ill-posedness of the inverse problem related to the elastic wave equation where measurements are taken throughout the whole body.
  • A new formulation of the viscoacoustic and viscoelastic wave equation which allows the adjoint equations to be evaluated with the same numerical solver as the direct ones.

In particular we came closer towards the goal to incorporate dispersion, attenuation and anisotropy in a 3D setting, thus reducing the gap between mathematical idealization and practical needs by extending the model step by step to a realistic physical scenario.

Open analytical questions we still need to address are:

  • Between which spaces is the parameter-to-solution map injective? In other words: Which subsurface information is uniquely determined by the measurements? What is the sensitivity of different combinations of material parameters and which combination of parameters is best resolvable?
  • Which analytical setting is appropriate to describe a noise level and to analyze a discrepancy principle?
  • Which kind of regularization fits the physics of the problem?

Concerning the computational aspects of the inversion, we construct implicit hierarchical space-time discretizations leading to efficient parallel schemes for solving the direct problem and for evaluating the Fréchet derivative of the parameter-to-solution map and its adjoint.

So far we achieved the following in this field:

  • Parallel implementation of upwind discontinuous Galerkin discretizations in space using the framework described in [DFWZ19] for the linear viscoacoustic and viscoelastic equation as considered in [Zel18]. To treat the evolution in time, we employ time stepping schemes as well as space-time discretizations in cooperation with project A3. All the solvers are realized using the M++ library. Finite difference parallel implementation of viscoacoustic and viscoelastic equations described in [Zel18].
  • Parallel implementation of First Order System Least-Squares (FOSLS) type space-time discretizations for acoustic waves including a variant of a discontinuous Petrov-Galerkin method in cooperation with A3 [Ern17], [EW19].
  • Development of a mathematically motivated software interface which couples the inversion algorithm and the numerical scheme for the wave equation. As a result, the same implementation of the inversion algorithms within this framework can be used by any wave-solver. This framework has been used to produce the inversion results in [Ern17].
    Acquisition of real field data.
  • Implementation of CG-REGINN, a gradient descent and LBFGS within the framework mentioned above.
  • Implementation of an exact numerical solver for the one-dimensional elastic wave equation on a layered medium.
  • Realization of numerical experiments using real field data which we acquired during several geophysical expeditions.
  • Development of a playground software for educational purposes to experiment with acoustic waves in inhomogeneous media. Within the program, the user can observe a simple FWI-algorithm at work.
  • Organization of a joint summer school on full waveform inversion.

Challenges in the numerical parameter reconstruction to be addressed next are:

  • Systematic comparison of different inversion schemes in combination with different discretizations for the wave equation.
  • Avoidance of the inverse crime by using a different forward solver during the inversion than for producing benchmark data in synthetic experiments.
  • Investigate whether space-time discretizations with high-order approximation properties in time are advantageous for the inversion.

Our vision is to realize highly reliable reconstruction algorithms complying with industrial standards. To this end, we combine up-to-date techniques for inverse problems with massively parallel explicit and implicit direct solvers for the coarse level of adaptive hierarchy space-time discretizations which allow for locally very exact resolutions and provide efficient coarse approximation for preconditioning.

Publications

  1. and . Inverse problems for abstract evolution equations II: Higher order differentiability for viscoelasticity. SIAM J. Appl. Math., 79(6):2639–2662, December . URL https://doi.org/10.1137/19M1269403. Online first. [preprint] [bibtex]

  2. , , and . Comparison of acoustic and elastic full-waveform inversion of 2D towed-streamer data in the presence of salt. Geophys. Prospect., 67(2):349–361, February . URL https://doi.org/10.1111/1365-2478.12728. [bibtex]

  3. , , and . Individual and joint 2D elastic full-waveform inversion of Rayleigh and Love waves. Geophys. J. Int., 216(1):350–364, January . URL https://doi.org/10.1093/gji/ggy432. [bibtex]

  4. , , , and . Estimating S-wave velocities from 3D 9-component shallow seismic data using local Rayleigh-wave dispersion curves – A field study. J. Appl. Geophys., 159:532–539, December . URL https://doi.org/10.1016/j.jappgeo.2018.09.037. [bibtex]

  5. and . Inverse problems for abstract evolution equations with applications in electrodynamics and elasticity. Inverse Problems, 32(8):085001, 24, June . URL https://doi.org/10.1088/0266-5611/32/8/085001. [preprint] [bibtex]

  6. and . Three-dimensional viscoelastic time-domain finite-difference seismic modelling using the staggered Adams–Bashforth time integrator. Geophys. J. Int., 204(3):1781–1788, March . URL https://doi.org/10.1093/gji/ggv546. [bibtex]

Preprints

  1. . An all-at-once approach to full waveform seismic inversion in the viscoelastic regime. CRC 1173 Preprint 2020/16, Karlsruhe Institute of Technology, May . [bibtex]

  2. , , and . 2D multi-parameter viscoelastic shallow-seismic full waveform inversion: reconstruction tests and first field-data application. CRC 1173 Preprint 2020/14, Karlsruhe Institute of Technology, April . [bibtex]

  3. , , , , , and . Visco-acoustic full waveform seismic inversion: from a DG forward solver to a Newton-CG inverse solver. CRC 1173 Preprint 2020/4, Karlsruhe Institute of Technology, February . [bibtex]

  4. , , and . High-resolution characterization of near-surface structures by surface-wave inversions: From dispersion curve to full waveform. CRC 1173 Preprint 2019/3, Karlsruhe Institute of Technology, January . [bibtex]

Theses

  1. . The viscoelastic seismic model: existence, uniqueness and differentiability with respect to parameters. PhD thesis, Karlsruhe Institute of Technology (KIT), December . [bibtex]

  2. . Space-time methods for acoustic waves with applications to full waveform inversion. PhD thesis, Karlsruhe Institute of Technology (KIT), December . [bibtex]

Other references

  1. , , , and . Parallel adaptive discontinuous Galerkin discretizations in space and time for linear elastic and acoustic waves. In U. Langer and O. Steinbach, editors, Space-Time Methods: Applications to Partial Differential Equations, volume 25 of Radon Series on Computational and Applied Mathematics, chapter 2, pages 61–88. De Gruyter, Berlin/Boston, September . [preprint] [bibtex]

  2. and . A space-time discontinuousa Petrov–Galerkin method for acoustic waves. In U. Langer and O. Steinbach, editors, Space-Time Methods: Applications to Partial Differential Equations, volume 25 of Radon Series on Computational and Applied Mathematics, chapter 3, pages 89–116. De Gruyter, Berlin/Boston, September . [preprint] [bibtex]

Project-specific staff
Name Phone E-Mail
+49 721 608-44416 thomas bohlenWme7∂kit edu
+49 721 608-46680 lingli gaoUay1∂kit edu
  andreas kirschZoy4∂kit edu
+49 721 608-44606 yudi panZsw9∂kit edu
+49 721 608-4abcd lukas pieronekSsy6∂kit edu
+49 721 608-46689 christian rheinbayWeh8∂kit edu
+49 721 608-42678 andreas riederSpz9∂kit edu
+49 721 608-42063 christian wienersOes9∂kit edu

Former staff
Name Title Function
Dipl.-Ing. M.Sc. Doctoral researcher
Dr. Doctoral researcher and Postdoctoral researcher
Doctoral Researcher
Dr. Doctoral researcher