Three‐dimensional parallel frequency‐domain visco‐acoustic wave modelling based on a hybrid direct/iterative solver

Wepresentaparalleldomaindecompositionmethodbasedonahybriddirect-iterative solver for 3D frequency-domain modelling of visco-acoustic waves. The method is developed as a modelling engine for frequency-domain full waveform inversion. Frequency-domain seismic modelling reduces to the solution of a large and sparse system of linear equations, resulting from the discretization of the heterogeneous Helmholtz equation. Our approach to the high-performance, scalable solution of large sparse linear systems is to combine direct and iterative methods. Such a hybrid approach exploits the advantages of both direct and iterative methods. The iterative component uses a small amount of memory and provides a natural way for parallelization. The direct part has favourable numerical properties for multiple right-hand side modelling. The domain decomposition is based upon the algebraic Schur complement method, which allows for the iterative solution of a reduced system, the solution of which is the wavefield at the interfaces between the subdomains. Once the interface unknowns have been computed, the wavefield at the interior of each subdomain is efficiently computed by local substitutions. The reduced Schur complement system is solved with the generalized minimum residual method and is preconditioned by an algebraic additive Schwarz preconditioner. A direct solver is used to factorize local impedance matrices defined on each subdomain. Theoretical analysis shows that the time complexity of the hybrid solver is the same as that of iterative solver and time-domain approaches for single frequency modelling. Simulations are performed in the SEG/EAGE overthrust and the salt models for frequencies up to 12.5 Hz. The number of iterations increases linearly with the number of subdomains for a given computational domain but the elapsed time of the iterative resolution remains almost constant. The number of iterations also increases linearly with frequencies, when the grid interval is adapted to the frequencies and the size of the subdomains is kept constant over frequency. These results make the cost of the hybrid solver of the same order as that of finite-difference time-domain modeling for one-frequency modelling. Although the hybrid approach allows one to tackle larger problems than the directsolver approach, further improvements are needed to mitigate the computational

[1]  V. Simoncini,et al.  A hybrid block GMRES method for nonsymmetric systems with multiple right-hand sides , 1996 .

[2]  S. Operto,et al.  Seismic imaging of complex onshore structures by 2D elastic frequency-domain full-waveform inversion , 2009 .

[3]  C. Shin,et al.  An optimal 9-point, finite-difference, frequency-space, 2-D scalar wave extrapolator , 1996 .

[4]  Henk A. van der Vorst,et al.  Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems , 1992, SIAM J. Sci. Comput..

[5]  Yousef Saad,et al.  Deflated and Augmented Krylov Subspace Techniques , 1997, Numer. Linear Algebra Appl..

[6]  Barry F. Smith,et al.  Domain Decomposition: Parallel Multilevel Methods for Elliptic Partial Differential Equations , 1996 .

[7]  Xiaomei Yang Rounding Errors in Algebraic Processes , 1964, Nature.

[8]  R. Plessix,et al.  Thematic Set: Full waveform inversion of a deep water ocean bottom seismometer dataset , 2010 .

[9]  Eric de Sturler,et al.  Recycling Krylov Subspaces for Sequences of Linear Systems , 2006, SIAM J. Sci. Comput..

[10]  S. Gratton,et al.  Incremental spectral preconditioners for sequences of linear systems , 2007 .

[12]  R. Pratt Seismic waveform inversion in the frequency domain; Part 1, Theory and verification in a physical scale model , 1999 .

[13]  I. Štekl,et al.  Accurate viscoelastic modeling by frequency‐domain finite differences using rotated operators , 1998 .

[14]  Yuri A. Kuznetsov,et al.  Fictitious Domain Methods for the Numerical Solution of Two-Dimensional Scattering Problems , 1998 .

[15]  Azzam Haidar,et al.  Seismic wave modeling for seismic imaging , 2009 .

[16]  Serge Gratton,et al.  Multigrid based preconditioners for the numerical solution of two-dimensional heterogeneous problems in geophysics , 2007 .

[17]  René-Édouard Plessix,et al.  A Helmholtz iterative solver for 3D seismic-imaging problems , 2007 .

[18]  Jean Virieux,et al.  Three-dimensional frequency-domain full waveform inversion with phase encoding , 2009 .

[19]  A. Tarantola Inversion of seismic reflection data in the acoustic approximation , 1984 .

[20]  Azzam Haidar,et al.  Using multiple levels of parallelism to enhance the performance of domain decomposition solvers , 2010, Parallel Comput..

[21]  Y. Erlangga,et al.  ON A MULTILEVEL KRYLOV METHOD FOR THE HELMHOLTZ EQUATION PRECONDITIONED BY SHIFTED LAPLACIAN , 2008 .

[22]  Robert Beauwens,et al.  Preconditioning of discrete Helmholtz operators perturbed by a diagonal complex matrix , 2000 .

[23]  Jean Virieux,et al.  An efficient frequency-domain full waveform inversion method using simultaneous encoded sources , 2011 .

[24]  J. Krebs,et al.  Fast full-wavefield seismic inversion using encoded sources , 2009 .

[25]  Cornelis Vuik,et al.  A new iterative solver for the time-harmonic wave equation , 2006 .

[26]  Azzam Haidar,et al.  On the parallel scalability of hybrid linear solvers for large 3D problems. (Sur l'extensibilité parallèle de solveurs linéaires hybrides pour des problèmes tridimensionels de grandes tailles) , 2008 .

[27]  Jean Virieux,et al.  Frequency-Domain Numerical Modelling of Visco-Acoustic Waves Based on Finite-Difference and Finite-Element Discontinuous Galerkin Methods , 2010 .

[28]  Luc Giraud,et al.  Local preconditioners for two-level non-overlapping domain decomposition methods , 2001, Numer. Linear Algebra Appl..

[29]  K. Marfurt Accuracy of finite-difference and finite-element modeling of the scalar and elastic wave equations , 1984 .

[30]  X. Pinel,et al.  A perturbed two-level preconditioner for the solution of three-dimensional heterogeneous Helmholtz problems with applications to geophysics , 2010 .

[31]  I. Duff,et al.  Direct Methods for Sparse Matrices , 1987 .

[32]  D. Komatitsch,et al.  An unsplit convolutional perfectly matched layer improved at grazing incidence for the seismic wave equation , 2007 .

[33]  Olav I. Barkved,et al.  Thematic Set: Full waveform inversion: the next leap forward in imaging at Valhall , 2010 .

[34]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[35]  S. Operto,et al.  3D finite-difference frequency-domain modeling of visco-acoustic wave propagation using a massively parallel direct solver: A feasibility study , 2007 .

[36]  J. Pasciak,et al.  Computer solution of large sparse positive definite systems , 1982 .

[37]  Jean Virieux,et al.  An overview of full-waveform inversion in exploration geophysics , 2009 .

[38]  Cornelis Vuik,et al.  A Novel Multigrid Based Preconditioner For Heterogeneous Helmholtz Problems , 2005, SIAM J. Sci. Comput..

[39]  Jean Virieux,et al.  3D frequency‐domain full‐waveform tomography based on a domain decomposition forward problem , 2008 .

[40]  R. Pratt,et al.  INVERSE THEORY APPLIED TO MULTI‐SOURCE CROSS‐HOLE TOMOGRAPHY.: PART 1: ACOUSTIC WAVE‐EQUATION METHOD1 , 1990 .

[41]  S. Operto,et al.  Mixed‐grid and staggered‐grid finite‐difference methods for frequency‐domain acoustic wave modelling , 2004 .

[42]  Jean-Pierre Berenger,et al.  A perfectly matched layer for the absorption of electromagnetic waves , 1994 .

[43]  R. Gerhard Pratt,et al.  Efficient waveform inversion and imaging: A strategy for selecting temporal frequencies , 2004 .

[44]  Patrick R. Amestoy,et al.  MUltifrontal Massively Parallel Solver (MUMPS Version 4.3) Users' guide , 2003 .

[45]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[46]  Cornelis Vuik,et al.  A parallel multigrid-based preconditioner for the 3D heterogeneous high-frequency Helmholtz equation , 2007, J. Comput. Phys..

[47]  Jianlin Xia,et al.  A 3D Massively Parallel Structured Approximate Direct Helmholtz Solver: Algorithms & Methods , 2010 .

[48]  L. Sirgue,et al.  3D Frequency Domain Waveform Inversion Using Time Domain Finite Difference Methods , 2008 .

[49]  R. Plessix Three-dimensional frequency-domain full-waveform inversion with an iterative solver , 2009 .

[50]  A. Levander Fourth-order finite-difference P-SV seismograms , 1988 .

[51]  Xiaoye S. Li,et al.  Frequency response modelling of seismic waves using finite difference time domain with phase sensitive detection (TD–PSD) , 2007 .