Solution of an acoustic transmission inverse problem by extended inversion

DOI10.1088/1361-6420/AC8C8CzbMATH Open1498.35630arXiv2201.08891OpenAlexW4293088851MaRDI QIDQ5043661FDOQ5043661

Huiyi Chen, William W. Symes, Susan E. Minkoff

Publication date: 6 October 2022

Published in: Inverse Problems (Search for Journal in Brave)

Abstract: Study of a simple single-trace transmission example shows how an extended source formulation of full-waveform inversion can produce an optimization problem without spurious local minima ("cycle skipping"), hence efficiently solvable via Newton-like local optimization methods. The data consist of a single trace extracted from a causal pressure field, propagating in a homogeneous fluid according to linear acoustics, and recorded at a given distance from a transient point energy source. The source intensity ("wavelet") is presumed quasi-impulsive, with zero energy for time lags greater than a specified maximum lag. The inverse problem is: from the recorded trace, recover both the sound velocity or slowness and source wavelet with specified support, so that the data is fit with prescribed RMS relative error. The least-squares objective function has multiple large residual minimizers. The extended inverse problem permits source energy to spread in time, and replaces the maximum lag constraint by a weighted quadratic penalty. A companion paper shows that for proper choice of weight operator, any stationary point of the extended objective produces a good approximation of the global minimizer of the least squares objective, with slowness error bounded by a multiple of the maximum lag and the assumed noise level. This paper summarizes the theory developed in the companion paper and presents numerical experiments demonstrating the accuracy of the predictions in concrete instances. We also show how to dynamically adjust the penalty scale during iterative optimization to improve the accuracy of the slowness estimate.

Full work available at URL: https://arxiv.org/abs/2201.08891

zbMATH Keywords

full waveform inversioncycle skippingextended source inversion

Mathematics Subject Classification ID

Initial value problems for second-order hyperbolic equations (35L15) Inverse problems for PDEs (35R30)

Cites Work

• The Differentiation of Pseudo-Inverses and Nonlinear Least Squares Problems Whose Variables Separate
• Estimating nuisance parameters in inverse problems
• Separable nonlinear least squares: the variable projection method and its applications
• Computational Methods for Inverse Problems
• Inverse Problem Theory and Methods for Model Parameter Estimation
• An algorithm with guaranteed convergence for finding a zero of a function
• The seismic reflection inverse problem
• A penalty method for PDE-constrained optimization in inverse problems
• A Taste of Inverse Problems
• Wavefield reconstruction inversion: an example
• Error bounds for extended source inversion applied to an acoustic transmission inverse problem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Error bounds for extended source inversion applied to an acoustic transmission inverse problem
• Two-step extended sampling method for the inverse acoustic source problem

This page was built for publication: Solution of an acoustic transmission inverse problem by extended inversion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5043661)