1887

Abstract

Summary

In this work we present an optimization methodology that inverts for the sharp interface of a salt body by recasting full waveform inversion as a shape optimization problem. In this framework, a shape representing the salt body can morph throughout the optimization process while preserving the model discontinuity between the salt and background sediment. We employ a distributed expression of the shape derivative instead of a boundary expression; this allows working with non-smooth domains, low regularity functions and often offers better accuracy than the boundary expression for numerical approximation. For a better resolution of these sharp interfaces, we utilize a finite element method with unstructured triangular meshes and variable mesh resolution to solve the optimization problem. All developments are available in an open-source coding package called spyro which uses the finite element library Firedrake.

Loading

Article metrics loading...

/content/papers/10.3997/2214-4609.202113171
2021-10-18
2024-03-28
Loading full text...

Full text loading...

References

  1. Albuquerque, Y.F., Laurain, A. and Yousept, I.
    [2021] Level set-based shape optimization approach for sharp-interface reconstructions in time-domain full waveform inversion. SIAM Journal on Applied Mathematics, to appear.
    [Google Scholar]
  2. Aminzadeh, F., Burkhard, N., Long, J., Kunz, T. and Duclos, P.
    [1996] Three dimensional SEG/EAEG models — an update. The Leading Edge, 15(2), 131–134.
    [Google Scholar]
  3. Chin-Joe-Kong, M., Mulder, W.A. and Van Veldhuizen, M.
    [1999] Higher-ordertriangular and tetrahedral finite elements with mass lumping for solving the wave equation. Journal of Engineering Mathematics, 35(4), 405–426.
    [Google Scholar]
  4. Hiptmair, R., Paganini, A. and Sargheini, S.
    [2014] Comparison of approximate shape gradients. BIT Numerical Mathematics, 55(2), 459–485.
    [Google Scholar]
  5. Jones, I.F. and Davison, I.
    [2014] Seismic imaging in and around salt bodies. Interpretation, 2(4), SL1–SL20.
    [Google Scholar]
  6. Kadu, A., van Leeuwen, T. and Mulder, W.A.
    [2017] Salt Reconstruction in Full-Waveform Inversion With a Parametric Level-Set Method. IEEE Transactions on Computational Imaging, 3(2), 305–315.
    [Google Scholar]
  7. Kaltenbacher, B., Kaltenbacher, M. and Sim, I.
    [2013] A modified and stable version of a perfectly matched layer technique for the 3-d second order wave equation in time domain with an application to aeroacoustics. Journal of Computational Physics, 235, 407–422.
    [Google Scholar]
  8. Keith J.Roberts, AlexandreF. G. Olender, L.F.
    [2021] spyro: wave propagators in Firedrake.
    [Google Scholar]
  9. Laurain, A.
    [2020] Distributed and boundary expressions of first and second order shape derivatives in nonsmooth domains. J. Math. Pures Appl. (9), 134, 328–368.
    [Google Scholar]
  10. Laurain, A. and Sturm, K.
    [2016] Distributed shape derivative via averaged adjoint method and applications. ESAIM Math. Model. Numer. Anal., 50(4), 1241–1267.
    [Google Scholar]
  11. Rathgeber, F., Ham, D.A., Mitchell, L., Lange, M., Luporini, F., McRae, A.T.T., Bercea, G.T., Markall, G.R. and Kelly, P.H.J.
    [2016] Firedrake: automating the finite element method by composing abstractions. ACM Transactions on Mathematical Software, 43(3). Article 24.
    [Google Scholar]
  12. Shi, J., Ye, R. and de Hoop, M.
    [2017] Full-waveform inversion with 3D-shape optimization on unstructured meshes. In: SEG Technical Program Expanded Abstracts 2017. Society of Exploration Geophysicists, 1528–1532.
    [Google Scholar]
  13. Sokołowski, J. and Zolésio, J.P.
    [1992] Introduction to shape optimization, Springer Series in Computational Mathematics, 16. Springer-Verlag, Berlin. Shape sensitivity analysis.
    [Google Scholar]
  14. Sturm, K.
    [2015] Minimax Lagrangian approach to the differentiability of nonlinear PDE constrained shape functions without saddle point assumption. SICON, 53(4), 2017–2039.
    [Google Scholar]
  15. Zhang, Z., Mei, J., Lin, F., Huang, R. and Wang, P.
    [2018] Correcting for salt misinterpretation with full-waveform inversion. In: SEG Technical Program Expanded Abstracts 2018. 1143–1147.
    [Google Scholar]
http://instance.metastore.ingenta.com/content/papers/10.3997/2214-4609.202113171
Loading
/content/papers/10.3997/2214-4609.202113171
Loading

Data & Media loading...

This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error