Subspace Methods in Multi-Parameter Seismic Full Waveform Inversion Yu Geng1,∗, Kristopher A

Total Page:16

File Type:pdf, Size:1020Kb

Subspace Methods in Multi-Parameter Seismic Full Waveform Inversion Yu Geng1,∗, Kristopher A Commun. Comput. Phys. Vol. 28, No. 1, pp. 228-248 doi: 10.4208/cicp.OA-2018-0087 July 2020 Subspace Methods in Multi-Parameter Seismic Full Waveform Inversion Yu Geng1,∗, Kristopher A. Innanen1 and Wenyong Pan2,3 1 Department of Geosciences, CREWES Project, University of Calgary, Alberta T2N 1N4, Canada. 2 Department of Geoscience, CREWES Project, University of Calgary, AB T2N 1N4, Canada. 3 Los Alamos National Laboratory, Geophysics Group, MS D452, Los Alamos, NM 87545, USA. Received 2 April 2018; Accepted 6 March 2019 Abstract. In full waveform inversion (FWI) high-resolution subsurface model param- eters are sought. FWI is normally treated as a nonlinear least-squares inverse problem, in which the minimum of the corresponding misfit function is found by updating the model parameters. When multiple elastic or acoustic properties are solved for, simple gradient methods tend to confuse parameter classes. This is referred to as parameter cross-talk; it leads to incorrect model solutions, poor convergence and strong depen- dence on the scaling of the different parameter types. Determining step lengths in a subspace domain, rather than directly in terms of gradients of different parameters, is a potentially valuable approach to address this problem. The particular subspace used can be defined over a span of different sets of data or different parameter classes, pro- vided it involves a small number of vectors compared to those contained in the whole model space. In a subspace method, the basis vectors are defined first, and a local min- imum is found in the space spanned by these. We examine the application of the sub- space method within acoustic FWI in determining simultaneously updates for velocity and density. We first discuss the choice of basis vectors to construct the spanned space, from linear updates by distinguishing only the contributions of different parameter classes towards nonlinear updates by adding the contributions of higher-order pertur- bations of each parameter class. The numerical character of FWI solutions generated via subspace methods involving different basis vectors is then analyzed and compared with traditional FWI methods. The subspace methods can provide better reconstruc- tions of the model, especially for the velocity, as well as improved convergence rates, while the computational costs are still comparable with the traditional FWI methods. AMS subject classifications: 35L05, 35R30, 86A22 Key words: Waveform inversion, inverse problem, subspace method. ∗Corresponding author. Email addresses: [email protected] (Y. Geng), [email protected] (K. A. Innanen), [email protected] (W. Pan) http://www.global-sci.com/cicp 228 c 2020 Global-Science Press Y. Geng, K. A. Innanen and W. Pan / Commun. Comput. Phys., 28 (2020), pp. 228-248 229 1 Introduction In full waveform inversion (FWI) [11, 25, 27], subsurface model parameters are deter- mined by minimizing an objective function measuring the difference between predicted data and recorded data, related through forward modelling. The forward modelling in- volves wave propagation physics which can range from scalar acoustic, to acoustic, up to viscoelastic anisotropic approximations, and beyond. Simultaneous inversion for dif- ferent parameter classes (see, e.g., [3, 6, 16, 17, 19–21]), including for instance P-wave and S-wave velocities, density, as well as the various attenuation and anisotropic parameters, etc., are critical for a wide application of FWI in reservoir characterization. Similar to the mono-parameter inversion under the scalar acoustic approximation, in which only P-wave velocity is considered, in multi-parameter FWI a misfit function is set up to de- scribe the distance between the recorded data and the predicted data, and FWI is treated as a nonlinear least squares problem, which can be solved by gradient-based methods or Newton-type methods. Multi-parameter inversion is more complicated than mono- parameter inversion, because the additional parameter classes increase the ill-posedness and the nonlinearity of the inverse problem. Different parameter classes can be more or less coupled, and it may be difficult to distinguish the contribution of each parameter class to changes in the data. Mitigating cross-talk between different parameter classes is a key issue. Studies have shown that the Hessian operator contains some information concerning the coupling between different parameter classes. Different ways of incorpo- rating the inverse of the Hessian operator, especially in multi-parameter inversion, have been proposed to better decouple different parameter classes in the inversion. These in- clude preconditioning the gradient using the pseudo Hessian matrix [24], quasi-Newton method, truncated Newton method [12–15,18] and so on. Hierarchical strategies can be applied to successively invert different parameter classes to mitigate the ill-posedness of FWI [1, 2, 9]. In most cases involving incorporation of Hessian information, significant increases in computational cost ensue. In both gradient-based methods and Newton-type methods (see, e.g., [7,12,13,18,22, 27, 31]), a line search scaling the descent direction tends to be necessary for convergence. One scalar is found for all parameter classes regardless of their contributions to the data. To combat cross-talk, distinguishing between the contributions of each parameter class during updating could be helpful in multi-parameter inversion. Application of subspace methods in large-scale inverse problems was first discussed by [10,23] as an approach to adjusting the update descent directions according to different parameter classes’ contributions. Baumstein [5] showed that using an extended subspace method in multi-parameter inversion can also help to mitigate cross-talk. In subspace FWI, basis vectors are determined first, and the optimization problem is then solved in this spanned space to minimize the quadratic approximation of the misfit function, with only a few coefficients to be determined as compared to the traditional gradient-based or Newton-type methods. Although projection of the full Hessian or Gauss-Newton Hes- sian onto the subspace is needed for each iteration, the calculation is much cheaper com- 230 Y. Geng, K. A. Innanen and W. Pan / Commun. Comput. Phys., 28 (2020), pp. 228-248 pared to Newton-type methods. In this study, we evaluate different basis vectors, constructed from the gradients of two different acoustic parameter classes, and related Hessian-vector products (see, e.g., [12, 18]), for their ability to construct better multi-parameter inversions. Our re- sults are restricted to the acoustic approximation (with varying density) both for forward modelling and inversion; however we expect our results to be by-and-large true for other parameterizations and elastic extensions. 2 Full waveform inversion and subspace methods: review We use the frequency-space domain acoustic wave equation to describe wave motion: ω2 1 u(x,x ,ω)+∇· ∇u(x,x ,ω) = f (ω)δ(x−x ), (2.1) ρ(x)v2(x) s ρ(x) s s s where ρ is the density and v is the velocity. Radiation patterns, or scattering patterns (see, e.g., [3,19,26,28]) of v and ρ are plotted in Fig. 1. Compared to the radiation pattern of v, which is isotropic, the radiation pattern of ρ decreases progressively from small scattering angles, which are related to backward scattering, to large scattering angles, which are related to forward scattering (see, e.g., [16, 27]). This is consistent with the fact that a change of velocity affects the waves at all scattering angles, while a change in density only has significant influence on the amplitudes of the precritical reflections at small scattering angles. This is indicative of the possible difficulties of the reconstruction of these two parameters, especially using only a small range of near-offset traces. 0° 330° 30° 300° 60° 1 0.6 0.8 0.2 0.4 270° 90 ° 240° 120° 210° 150° 180° v Figure 1: Radiation patterns of velocity and density in acoustic FWI. Y. Geng, K. A. Innanen and W. Pan / Commun. Comput. Phys., 28 (2020), pp. 228-248 231 Expressing model parameters of all types in one vector m, the source term as f(xs,ω) and the forward modelling operator, which is the discretized impedance matrix, as F(m,ω), a discretized form of the wave equation can be written in matrix form as F(m,ω)u(m,xs,ω)=f(xs,ω), (2.2) The forward modeling (2.2) describes a nonlinear relationship between the wavefield u(m,xs,ω) and the model parameters m. In FWI inversion is formulated as an optimization problem, in which a model m is sought which minimizes the misfit functional φ(m) 1 2 1 2 φ(m)= ∑∑∑ dobs(xs,xg,ω)−dsyn(m,xs,xg,ω) = ∑∑∑ ∆d(m,xs,xg,ω) , 2 xs xg ω 2 xs xg ω (2.3) where dobs(xs,xg,ω) are the observed data at receiver location xg for each source location xs for one frequency ω, and dsyn(m,xs,xg,ω)= Ru(m,xs,ω) are the synthetic data gener- ated by simulating wave propagation in the current model iterate m via (2.2), and sam- pling the wavefield with an operator R to the receiver locations. ∆d(m,xs,xg,ω) are the data residuals, which are defined as the difference between the observed and synthetic data. Expanding the misfit functional (2.3) up to second order around the vicinity of the model m, 1 φ(m+δm)= φ(m)+hg,δmi+ hHδm,δmi+O kδmk3 , (2.4) 2 where g and H are the gradient and the Hessian operator of the misfit function, respec- tively. Since the misfit functional is generally non-quadratic, Eq. (2.4) represents a local quadratic approximation, in which the model can be iteratively updated: mn+1 =mn +αnδm. (2.5) The perturbation can be determined by a descent direction, which is the negative of the gradient in gradient-based methods, or it can be the solution of a Newton system, respec- tively δm=−g, or (2.6) δm=−H−1g.
Recommended publications
  • Modelling and Inversion of Time-Lapse Seismic Data Using Scattering Theory
    Modelling and inversion of time-lapse seismic data using scattering theory Kenneth Muhumuza Thesis for the degree of Master of Science in Petroleum Geophysics DEPARTMENT OF EARTH SCIENCE UNIVERSITY OF BERGEN June 2015 My success was due to good luck, hard work, and support and advice from friends and mentors. But most importantly, it depended on me to keep trying after I had failed. —Mark Warner Dedicated to My Mum Adyeeri Kasamba Harriet and Dad Apuuli John Kairu. Abstract Waveform inversion methods can be used to obtain high-resolution images of the elastic and acoustic property changes of petroleum reservoirs under production, but remains computa- tionally challenging. Efficient approximations in modelling the wavefield based on scattering approaches are desirable for solving time-lapse inversion problems and to test the settings in which they give accurate predictions. In this thesis, we are concerned with acoustic waveform modelling and inversion in frequency domain with emphasis on first-order scattering methods. Key themes of review and discussion include the derivation of scattering problems using Green’s function techniques; Born approximation, distorted-Born approximation, Distorted Born iterative T-matrix method (DBIT); and the concepts of seismic waveform inversion and its application to different approaches in time-lapse seismic imaging. We employ the Born approximation and distorted-Born to simulate time-lapse synthetic seismograms and test the settings in which these methods are valid by benchmarking them against the exact T-matrix approach. The new distorted-Born approximation presented considers a general heterogeneous reference medium and provides a framework for imaging of regions of time-lapse variation using the baseline survey as a reference and the monitor survey as perturbed to directly estimate the perturbation.
    [Show full text]
  • Constrained Non-Linear Seismic Inversion to Evaluate a Net-To
    CONSTRAINED NON-LINEAR SEISMIC INVERSION TO EVALUATE A NET-TO-GROSS RATIO OF A HYDROCARBON RESERVOIR ---------------------------------------------------------- A Thesis Presented to the Faculty of the Department of Earth and Atmospheric Sciences University of Houston ----------------------------------------------------------- In Partial Fulfillment of the Requirements for the Degree Master of Science -------------------------------------------------------------- By Aleksandar Jeremic December 2008 CONSTRAINED NON-LINEAR SEISMIC INVERSION TO EVALUATE A NET-TO-GROSS RATIO OF A HYDROCARBON RESERVOIR __________________________________ Aleksandar Jeremic APPROVED: __________________________________ Dr. John Castagna, Chairman __________________________________ Dr. Aibing Li __________________________________ Dr. Tad Smith ConocoPhillips _________________________________ Dean, College of Natural Sciences and Mathematics ii Acknowledgements I would like to express my gratitude for all those who helped me in the completion of Master of Science thesis at University of Houston. First, I would like to thank my thesis advisor Dr. John Castagna without whose both financial and academic support I would not finish the thesis. Furthermore, I would like to thank my thesis committee members Dr. Aibing Li and Dr. Tad Smith for their participation in the research. In addition, I would like to thank Exxon Mobil Corporation for providing all data to be used in the research. During my graduate studies, I was very honored to receive financial support. Therefore, I am deeply indebted to SEG Scholarship Committee and Dr. Robert Sheriff who chose me to be their scholar for the “SEG Robert E. Sheriff Scholarship” for the 2004/2005 academic year and thus allowed me to enroll the graduate studies at University of Houston. I also want to thank the following organizations: University of Houston Alumni Organization, Shell Oil, and Landmark Graphics for their financial support during my graduate studies.
    [Show full text]
  • Tomographic Modeling
    Tomographic Modeling Jonathan M. Lees University of North Carolina, Chapel Hill Department of Geological Sciences July 13, 2012 1 1 Tomographic Inversion: Introduction Seismic tomography uses the travel time of elastic waves to probe the internal structure of the earth. It differs from traditional medical tomography in four major aspects: 1. acoustic signals travel in highly curved raypaths in media that vary in 3-dimensions, 2. the travel time is a non-linear function of the velocity field (“velocity” field in the seismic sense is the scalar wave speed), 3. when the sources are earthquakes, the distribution of rays covering the target cannot be controlled and is often highly inhomogeneous and 4. uncertainties in the travel time exist because the source location and origin time must be determined from the observations themselves. These differences indicate that special care must be taken when techniques borrowed from the medical field are applied to seismic data. Specifi- cally, due to the non-uniform distribution of sources and receivers, the convolutional techniques of inversion, common in medical tomography, are inapplicable in the seismic case and iterative approaches are used instead. In this demonstration we show how to set up a synthetic 2D tomographic modeling experiment and perform the inversion via matrix inversion. 2 History Tomography (literally, ‘slice picture’) originated in radio astronomy as a method to image aspects of remote regions of the universe. Later physi- cists and bio-physicists collaborated to create the first methodology and in- strumentation that led to the first tomographic analysis of live tissue, es- pecially human bodies. This approach was called ‘computer aided tomog- raphy’ or CAT scans.
    [Show full text]
  • Convergence Acceleration in Scattering Series and Seismic Waveform Inversion Using Nonlinear Shanks
    Convergence acceleration in scattering series and seismic waveform inversion using nonlinear Shanks transformation --------------------------------------------------- A Dissertation Presented to The Faculty of the Department of Physics University of Houston --------------------------------------------------- In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy ---------------------------------------------------------- By Roya Eftekhar May 2018 Convergence acceleration in scattering series and seismic waveform inversion using nonlinear Shanks transformation ________________________________ Roya Eftekhar APPROVED: ________________________________ Dr. Yingcai Zheng, Chairman ________________________________ Dr. Liming Li ________________________________ Dr. Gemunu. H. Gunarantne ________________________________ Dr. Shoujun Xu ________________________________ Dr. Lowell.Wood ________________________________ Dean, College of Natural Sciences and Mathematics ii ACKNOWLEDGMENTS I have been fortunate to pursue my PhD study in Dr. Yingcai Zheng’s group at University of Houston. During the past four years, I have received a lot of help and encouragements. My deepest gratitude is to my advisor Dr. Yingcai Zheng for his inspired instruction and continuous support during my PhD study and research. What I have learned from him not only benefits my research projects, but also my life and future career. I will always appreciate his support and guidance through my study at UH. I would also appreciate the invaluable help of Dr. Hao Hu who always gave me all of his support to have better understanding of my research; I really learned many things in this field from him, I always received his encouragement and help in all aspects of my research. He was always available to answer every single of my question immediately in the most professional way. He taught me how to pay attention to details and the correct way of thinking about my research.
    [Show full text]
  • A Bayesian-Based Approach to Improving Acoustic Born Waveform Inversion of Seismic Data for Viscoelastic Media
    A Bayesian-based approach to improving acoustic Born waveform inversion of seismic data for viscoelastic media Kenneth Muhumuza1, Lassi Roininen2, Janne M. J. Huttunen3, and Timo Lähivaara1 1Department of Applied Physics, University of Eastern Finland, Kuopio, Finland 2School of Engineering Science, LUT University, Lappeenranta, Finland 3Nokia Bell Laboratories, Espoo, Finland ABSTRACT In seismic waveform inversion, the reconstruction of the subsurface properties is usually carried out using approximative wave propagation models to ensure computational efficiency. The viscoelastic nature of the subsurface is often unaccounted for, and two popular approximations—the acoustic and linearized Born inversion—are widely used. This leads to reconstruction errors since the approximations ignore realistic (physical) aspects of seismic wave propagation in the heterogeneous earth. In this study, we show that the Bayesian approximation error approach can be used to partially recover from errors, addressing elastic and viscous effects in acoustic Born inversion for viscoelastic media. The results of numerical examples indicate that neglecting the modeling errors induced by the approximations results in very poor recovery of the subsurface velocity fields. 1 INTRODUCTION In geophysics, seismic waveform inversion is often used to obtain quantitative estimates of subsur- face properties which predict the observed seismic data. The reconstruction of subsurface properties is a highly non-linear inverse problem. There are several techniques to solve the seismic inverse arXiv:1911.01192v1 [physics.geo-ph] 4 Nov 2019 problem, for example, migration-based traveltime approaches (Zelt and Smith, 1992; Luo et al., 2016), Born approximation (Hudson and Heritage, 1981; Kazei and Alkhalifah, 2018; Muhumuza et al., 2018), and full-waveform inversion approaches (Warner et al., 2013; Jakobsen and Ursin, 2015; Virieux et al., 2017).
    [Show full text]
  • Seismic Inversion Theory and Applications This Book Is Dedicated to My Wife Guo-Ling, and My Two Children Brian and Claire
    Seismic Inversion Theory and Applications This book is dedicated to my wife Guo-ling, and my two children Brian and Claire. Seismic Inversion Theory and Applications Yanghua Wang Professor of Geophysics Imperial College London, UK This edition first published 2017 © 2017 by John Wiley & Sons, Ltd Registered office: John Wiley & Sons, Ltd, The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK Editorial offices: 9600 Garsington Road, Oxford, OX4 2DQ, UK The Atrium, Southern Gate, Chichester, West Sussex, PO19 8SQ, UK 111 River Street, Hoboken, NJ 07030-5774, USA For details of our global editorial offices, for customer services and for information about how to apply for permission to reuse the copyright material in this book please see our website at www.wiley.com/wiley-blackwell. The right of the author to be identified as the author of this work has been asserted in accordance with the UK Copyright, Designs and Patents Act 1988. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, except as permitted by the UK Copyright, Designs and Patents Act 1988, without the prior permission of the publisher. Designations used by companies to distinguish their products are often claimed as trademarks. All brand names and product names used in this book are trade names, service marks, trademarks or registered trademarks of their respective owners. The publisher is not associated with any product or vendor mentioned in this book. Limit of Liability/Disclaimer of Warranty: While the publisher and author(s) have used their best efforts in preparing this book, they make no representations or warranties with respect to the accuracy or completeness of the contents of this book and specifically disclaim any implied warranties of merchantability or fitness for a particular purpose.
    [Show full text]
  • Uncertainty Quantification in Linear Inverse Problems with Dimension
    Uncertainty quantification in linear inverse problems with dimension reduction Leandro Passos de Figueiredo, LTrace and UFSC; Dario grana, UW; Leonardo Azevedo, IST; Mauro Roisenberg, UFSC; Bruno B. Rodrigues PETROBRAS S/A – CENPES/PDGP/CMR Copyright 2019, SBGf - Sociedade Brasileira de Geof´ısica. and under the Gaussian assumption for the prior and This paper was prepared for presentation at the 16th International Congress of the noises, the posterior distribution is analytically obtained, Brazilian Geophysical Society, held in Rio de Janeiro, Brazil, August 19-22, 2019. leading to very fast algorithms (Buland and Omre, 2003; Contents of this paper were reviewed by the Technical Committee of the 16th de Figueiredo et al., 2014). International Congress of The Brazilian Geophysical Society and do not necessarily represent any position of the SBGf, its officers or members. Electronic reproduction Dimension reduction, or compression, is a mathematical or storage of any part of this paper for commercial purposes without the written consent of The Brazilian Geophysical Society is prohibited. process used to reduce the number of variables of a problem (Roweis and Saul, 2000; Tompkins et al., 2011). Abstract In inverse problem, the reduction can be applied to both model parameters or observed data. In methods based Dimension reduction is a process used to simplify on ensemble Kalman filter, the reduction of the data can high dimensional inverse problems in geophysics. In improve the efficiency of algorithm. On the other hand, this work, we analyze the impact of the model and the efficiency of stochastic optimization methods depends data reduction on the uncertainty quantification of on the dimension of the model parameters (Marzouk and the inversion results.
    [Show full text]
  • Geophysical Journal International
    Geophysical Journal International Geophys. J. Int. (2014) 196, 1827–1843 doi: 10.1093/gji/ggt496 Advance Access publication 2014 January 2 Non-linear partial derivative and its De Wolf approximation for non-linear seismic inversion Ru-Shan Wu1 and Yingcai Zheng1,2 1Modeling and Imaging Laboratory, Earth and Planetary Sciences, University of California, Santa Cruz, CA 95064, USA. E-mail: [email protected] 2Earth, Atmospheric, and Planetary Sciences, Massachusetts Institute of Technology, Cambridge, MA 02139,USA Accepted 2013 December 6. Received 2013 December 5; in original form 2013 August 10 Downloaded from SUMMARY We demonstrate that higher order Frechet´ derivatives are not negligible and the linear Frechet´ derivative may not be appropriate in many cases, especially when forward scattering is involved for large-scale or strong perturbations (heterogeneities). We then introduce and derive the non- linear partial derivative including all the higher order Frechet´ derivatives for the acoustic wave http://gji.oxfordjournals.org/ equation. We prove that the higher order Frechet´ derivatives can be realized by consecutive applications of the scattering operator and a zero-order propagator to the source. The full non-linear partial derivative is directly related to the full scattering series. The formulation of the full non-linear derivative can be used to non-linearly update the model. It also provides a new way for deriving better approximations beyond the linear Frechet´ derivative (Born ap- proximation). In the second part of the paper, we derive the De Wolf approximation (DWA; multiple forescattering and single backscattering approximation) for the non-linear partial derivative. We split the linear derivative operator (i.e.
    [Show full text]