scholarly journals Accelerating numerical wave propagation by wavefield adapted meshes. Part II: full-waveform inversion

2020 ◽  
Vol 221 (3) ◽  
pp. 1591-1604 ◽  
Author(s):  
Solvi Thrastarson ◽  
Martin van Driel ◽  
Lion Krischer ◽  
Christian Boehm ◽  
Michael Afanasiev ◽  
...  

SUMMARY We present a novel full-waveform inversion (FWI) approach which can reduce the computational cost by up to an order of magnitude compared to conventional approaches, provided that variations in medium properties are sufficiently smooth. Our method is based on the usage of wavefield adapted meshes which accelerate the forward and adjoint wavefield simulations. By adapting the mesh to the expected complexity and smoothness of the wavefield, the number of elements needed to discretize the wave equation can be greatly reduced. This leads to spectral-element meshes which are optimally tailored to source locations and medium complexity. We demonstrate a workflow which opens up the possibility to use these meshes in FWI and show the computational advantages of the approach. We provide examples in 2-D and 3-D to illustrate the concept, describe how the new workflow deviates from the standard FWI workflow, and explain the additional steps in detail.

2019 ◽  
Author(s):  
Solvi Thrastarson ◽  
Martin van Driel ◽  
Lion Krischer ◽  
Dirk-Philip van Herwaarden ◽  
Christian Boehm ◽  
...  

2018 ◽  
Vol 8 (2) ◽  
Author(s):  
Sergio Alberto Abreo ◽  
Ana Beatríz Ramírez- Silva ◽  
Oscar Mauricio Reyes- Torres

The second order scattering information provided by the Hessian matrix and its inverse plays an important role in both, parametric inversion and uncertainty quantification. On the one hand, for parameter inversion, the Hessian guides the descent direction such that the cost function minimum is reached with less iterations. On the other hand, it provides a posteriori information of the probability distribution of the parameters obtained after full waveform inversion, as a function of the a priori probability distribution information. Nevertheless, the computational cost of the Hessian matrix represents the main obstacle in the state-of-the-art for practical use of this matrix from synthetic or real data. The second order adjoint state theory provides a strategy to compute the exact Hessian matrix, reducing its computational cost, because every column of the matrix can be obtained by performing two forward and two backward propagations. In this paper, we first describe an approach to compute the exact Hessian matrix for the acoustic wave equation with constant density. We then provide an analysis of the use of the Hessian matrix for uncertainty quantification of the full waveform inversion of the velocity model for a synthetic example, using the 2D acoustic and isotropic wave equation operator in time.


Geophysics ◽  
2021 ◽  
pp. 1-42
Author(s):  
Guangchi Xing ◽  
Tieyuan Zhu

We formulate the Fréchet kernel computation using the adjoint-state method based on a fractional viscoacoustic wave equation. We first numerically prove that both the 1/2- and the 3/2-order fractional Laplacian operators are self-adjoint. Using this property, we show that the adjoint wave propagator preserves the dispersion and compensates the amplitude, while the time-reversed adjoint wave propagator behaves identically as the forward propagator with the same dispersion and dissipation characters. Without introducing rheological mechanisms, this formulation adopts an explicit Q parameterization, which avoids the implicit Q in the conventional viscoacoustic/viscoelastic full waveform inversion ( Q-FWI). In addition, because of the decoupling of operators in the wave equation, the viscoacoustic Fréchet kernel is separated into three distinct contributions with clear physical meanings: lossless propagation, dispersion, and dissipation. We find that the lossless propagation kernel dominates the velocity kernel, while the dissipation kernel dominates the attenuation kernel over the dispersion kernel. After validating the Fréchet kernels using the finite-difference method, we conduct a numerical example to demonstrate the capability of the kernels to characterize both velocity and attenuation anomalies. The kernels of different misfit measurements are presented to investigate their different sensitivities. Our results suggest that rather than the traveltime, the amplitude and the waveform kernels are more suitable to capture attenuation anomalies. These kernels lay the foundation for the multiparameter inversion with the fractional formulation, and the decoupled nature of them promotes our understanding of the significance of different physical processes in the Q-FWI.


Author(s):  
Yujiang Xie ◽  
Catherine A. Rychert ◽  
Nicholas Harmon ◽  
Qinya Liu ◽  
Dirk Gajewski

Abstract Full waveform inversion or adjoint tomography has routinely been performed to image the internal structure of the Earth at high resolution. This is typically done using the Fréchet kernels and the approximate Hessian or the approximate inverse Hessian because of the high-computational cost of computing and storing the full Hessian. Alternatively, the full Hessian kernels can be used to improve inversion resolutions and convergence rates, as well as possibly to mitigate interparameter trade-offs. The storage requirements of the full Hessian kernel calculations can be reduced by compression methods, but often at a price of accuracy depending on the compression factor. Here, we present open-source codes to compute both Fréchet and full Hessian kernels on the fly in the computer random access memory (RAM) through simultaneously solving four wave equations, which we call Quad Spectral-Element Method (QuadSEM). By recomputing two forward fields at the same time that two adjoint fields are calculated during the adjoint simulation, QuadSEM constructs the full Hessian kernels using the exact forward and adjoint fields. In addition, we also implement an alternative approach based on the classical wavefield storage method (WSM), which stores forward wavefields every kth (k≥1) timestep during the forward simulation and reads required fields back into memory during the adjoint simulation for kernel construction. Both Fréchet and full Hessian kernels can be computed simultaneously through the QuadSEM or the WSM code, only doubling the computational cost compared with the computation of Fréchet kernels alone. Compared with WSM, QuadSEM can reduce the disk space and input/output cost by three orders of magnitude in the presented examples that use 15,000 timesteps. Numerical examples are presented to demonstrate the functionality of the methods, and the computer codes are provided with this contribution.


2020 ◽  
Vol 221 (3) ◽  
pp. 1580-1590 ◽  
Author(s):  
M van Driel ◽  
C Boehm ◽  
L Krischer ◽  
M Afanasiev

SUMMARY An order of magnitude speed-up in finite-element modelling of wave propagation can be achieved by adapting the mesh to the anticipated space-dependent complexity and smoothness of the waves. This can be achieved by designing the mesh not only to respect the local wavelengths, but also the propagation direction of the waves depending on the source location, hence by anisotropic adaptive mesh refinement. Discrete gradients with respect to material properties as needed in full waveform inversion can still be computed exactly, but at greatly reduced computational cost. In order to do this, we explicitly distinguish the discretization of the model space from the discretization of the wavefield and derive the necessary expressions to map the discrete gradient into the model space. While the idea is applicable to any wave propagation problem that retains predictable smoothness in the solution, we highlight the idea of this approach with instructive 2-D examples of forward as well as inverse elastic wave propagation. Furthermore, we apply the method to 3-D global seismic wave simulations and demonstrate how meshes can be constructed that take advantage of high-order mappings from the reference coordinates of the finite elements to physical coordinates. Error level and speed-ups are estimated based on convergence tests with 1-D and 3-D models.


Sign in / Sign up

Export Citation Format

Share Document