Enabling numerically exact local solver for waveform inversion—a low-rank approach

As in many fields, in seismic imaging, the data in the field is collected over a relatively large medium even though only a part of that medium is truly of interest. This results in significant waste in computation as a typical inversion algorithm requires many solutions of the wave equation throughout the entire domain, even if only a small part of the domain is being updated. One way to mitigate this is to use a numerically exact local wave equation solver to perform waveform inversions in an area of interest, where the idea is to compute accurate solutions of the wave equation within a subdomain of interest. Although such solvers exist, many require the computation of Green’s function matrices in the background domain. For large-scale seismic data acquisition, the computation of the Green’s function matrices is prohibitively expensive since it involves solving thousands of partial differential equations in the background model. To mitigate this, in this work, we propose to exploit the low-rank structure of the full subsurface Green’s function. Using carefully selected 2D stylized models, we first show that the full subsurface Green’s function tensor organized as a matrix exhibits the low-rank structure in a transform domain. We then propose a randomized singular value decomposition–based framework to compute the low-rank approximation of the Green’s functions, where the cost of wave equation solves depends on the rank of the underlying Green’s function matrix instead of the number of grid points at the surface of the background model and on the boundary of the local domain. Next, we validate the proposed framework by performing time-lapse waveform inversion using the 2D Marmousi model. Finally, we demonstrate a rank-minimization–based framework to compute the low-rank factorized form of the Green’s function matrices in large-scale 3D seismic data acquisition.

[1]  Gijs J. O. Vermeer,et al.  3-D Seismic Survey Design , 2002 .

[2]  P. Lailly,et al.  Marmousi, model and data , 1990 .

[3]  Gerard T. Schuster,et al.  A theoretical overview of model-based and correlation-based redatuming methods , 2006 .

[4]  Rajiv Kumar,et al.  Highly repeatable 3D compressive full-azimuth towed-streamer time-lapse acquisition — A numerical feasibility study at scale , 2017 .

[5]  Gerard T. Schuster,et al.  Fast 3D target-oriented reverse-time datuming , 2009 .

[6]  A. Curtis,et al.  Exact wave field simulation for finite-volume scattering problems. , 2007, The Journal of the Acoustical Society of America.

[7]  N. Kreimer,et al.  Tensor completion based on nuclear norm minimization for 5D seismic data reconstruction , 2013 .

[8]  Felix J. Herrmann,et al.  Dimensionality‐reduced estimation of primaries by sparse inversion , 2014 .

[9]  Pablo A. Parrilo,et al.  Guaranteed Minimum-Rank Solutions of Linear Matrix Equations via Nuclear Norm Minimization , 2007, SIAM Rev..

[10]  Rajiv Kumar,et al.  Source separation for simultaneous towed-streamer marine acquisition — A compressed sensing approach , 2015 .

[11]  E. Candès,et al.  Stable signal recovery from incomplete and inaccurate measurements , 2005, math/0503066.

[12]  Madhav Vyas,et al.  Adaptive image focusing , 2014 .

[13]  Robert Olson,et al.  Increasing the efficiency of seismic data acquisition via compressive sensing , 2014 .

[14]  J. Kommedal,et al.  Continued Development of Simultaneous Source Acquisition for Ocean Bottom Surveys , 2013 .

[15]  Nathan Srebro,et al.  Fast maximum margin matrix factorization for collaborative prediction , 2005, ICML.

[16]  P. R. Haffinger Seismic Broadband Full Waveform Inversion by shot/receiver refocusing , 2013 .

[17]  Shihao Yuan,et al.  Localized time-lapse elastic waveform inversion using wavefield injection and extrapolation: 2-D parametric studies , 2017 .

[18]  R. Plessix A review of the adjoint-state method for computing the gradient of a functional with geophysical applications , 2006 .

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

[20]  Huseyin Denli,et al.  Double-Difference Elastic Waveform Tomography In the Time Domain , 2009 .

[21]  P. M. van den Berg,et al.  Broadband Full Waveform Inversion by Shot/Receiver Re-focusing , 2012 .

[22]  David Lumley,et al.  Time-lapse seismic reservoir monitoring , 2001 .

[23]  Felix J. Herrmann,et al.  Low-cost time-lapse seismic with distributed compressive sensing — Part 2: Impact on repeatability , 2017 .

[24]  D. L. Donoho,et al.  Compressed sensing , 2006, IEEE Trans. Inf. Theory.

[25]  Ruslan Salakhutdinov,et al.  Practical Large-Scale Optimization for Max-norm Regularization , 2010, NIPS.

[26]  Felix J. Herrmann,et al.  Interferometric redatuming by sparse inversion , 2013 .

[27]  Johan O. A. Robertsson,et al.  Signal apparition for simultaneous source wavefield separation , 2016 .

[28]  R. Plessix,et al.  Shifted-Laplacian Preconditioners for Heterogeneous Helmholtz Problems , 2009, CSE 2009.

[29]  Eldad Haber,et al.  An Effective Method for Parameter Estimation with PDE Constraints with Multiple Right-Hand Sides , 2012, SIAM J. Optim..

[30]  Martin Landrø,et al.  Discrimination between pressure and fluid saturation changes from time-lapse seismic data , 2001 .

[31]  Hassan Mansour,et al.  Efficient matrix completion for seismic data reconstruction , 2015 .

[32]  T. Leeuwen,et al.  Fast randomized full-waveform inversion with compressive sensing , 2012 .

[33]  Alison Malcolm,et al.  A numerically exact local solver applied to salt boundary inversion in seismic full-waveform inversion , 2016 .

[34]  Michael P. Friedlander,et al.  Probing the Pareto Frontier for Basis Pursuit Solutions , 2008, SIAM J. Sci. Comput..

[35]  Scott A. Morton,et al.  Time-lapse full-waveform inversion with ocean-bottom-cable data: Application on Valhall field , 2016 .

[36]  Nathan Halko,et al.  Finding Structure with Randomness: Probabilistic Algorithms for Constructing Approximate Matrix Decompositions , 2009, SIAM Rev..

[37]  Felix J. Herrmann,et al.  Fast waveform inversion without source‐encoding , 2013 .

[38]  Biondo Biondi,et al.  Target-oriented wavefield tomography using synthesized Born data , 2011 .

[39]  John R. Berryhill Wave-Equation Datuming Before Stack , 1984 .

[40]  Johan O. A. Robertsson,et al.  An efficient method for calculating finite-difference seismograms after model alterations , 2000 .

[41]  David H. Johnston,et al.  Practical Applications of Time-lapse Seismic Data , 2013 .

[42]  Felix J. Herrmann,et al.  Massive 3D seismic data compression and inversion with hierarchical Tucker , 2017 .

[43]  B. Romanowicz,et al.  On the numerical implementation of time-reversal mirrors for tomographic imaging , 2013, Geophysical Journal International.

[44]  Felix J. Herrmann,et al.  Fighting the Curse of Dimensionality: Compressive Sensing in Exploration Seismology , 2012, IEEE Signal Processing Magazine.

[45]  Craig J. Beasley,et al.  A new look at marine simultaneous sources , 2008 .

[46]  Ajinkya Kadu,et al.  Salt Reconstruction in Full-Waveform Inversion With a Parametric Level-Set Method , 2016, IEEE Transactions on Computational Imaging.

[47]  Barbara Romanowicz,et al.  Box tomography: localized imaging of remote targets buried in an unknown medium, a step forward for understanding key structures in the deep Earth , 2017 .

[48]  Barbara Romanowicz,et al.  Fast computation of synthetic seismograms within a medium containing remote localized perturbations: a numerical solution to the scattering problem , 2017 .

[49]  Christopher Ré,et al.  Parallel stochastic gradient algorithms for large-scale matrix completion , 2013, Mathematical Programming Computation.

[50]  Mark W. Schmidt,et al.  Optimizing Costly Functions with Simple Constraints: A Limited-Memory Projected Quasi-Newton Algorithm , 2009, AISTATS.

[51]  Kees Wapenaar,et al.  Data-driven wavefield focusing and imaging with multidimensional deconvolution: Numerical examples for reflection data with internal multiples , 2014 .

[52]  Soon Jee Seol,et al.  Crosswell monitoring using virtual sources and horizontal wells , 2010 .

[53]  Felix J. Herrmann,et al.  A Unified 2D/3D Large-Scale Software Environment for Nonlinear Inverse Problems , 2017, ACM Trans. Math. Softw..

[54]  D. Vígh,et al.  A Level Set Approach to Salt Geometry Inversion in Full-Waveform Inversion , 2012 .

[55]  Alison E. Malcolm,et al.  Rapid 4D FWI using a local wave solver , 2016 .

[56]  Felix J. Herrmann,et al.  Optimization on the Hierarchical Tucker manifold – Applications to tensor completion , 2014, Linear Algebra and its Applications.

[57]  Felix J. Herrmann,et al.  3D Frequency-Domain Seismic Inversion with Controlled Sloppiness , 2014, SIAM J. Sci. Comput..

[58]  Charles Yount,et al.  Optimised finite difference computation from symbolic equations , 2017, SciPy.