Efficient computation of extended surface sources

DOI10.1007/S13137-023-00213-0MaRDI QIDQ6099556zbMATH OpenFDO

Authors William W. Symes

Publication date 20 June 2023

Published in GEM - International Journal on Geomathematics (Search for Journal in Brave)

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

zbMATH Keywords

inverse problemsKrylov subspace methodspreconditioningtime reversalwave propagation

Mathematics Subject Classification ID

Initial value problems for first-order hyperbolic systems (35L45) Inverse problems for PDEs (35R30) Numerical methods for inverse problems for initial value and initial-boundary value problems involving PDEs (65M32)

Abstract: Source extension is a reformulation of inverse problems in wave propagation, that at least in some cases leads to computationally tractable iterative solution methods. The core subproblem in all source extension methods is the solution of a linear inverse problem for a source (right hand side in a system of wave equations) through minimization of data error in the least squares sense with soft imposition of physical constraints on the source via an additive quadratic penalty. A variant of the time reversal method from photoacoustic tomography provides an approximate solution that can be used to precondition Krylov space iteration for rapid convergence to the solution of this subproblem. An acoustic 2D example for sources supported on a surface, with a soft contraint enforcing point support, illustrates the effectiveness of this preconditioner.

Recommendations

• Error bounds for extended source inversion applied to an acoustic transmission inverse problem
• Solution of an acoustic transmission inverse problem by extended inversion
• Iterative and range test methods for an inverse source problem for acoustic waves
• A nonlinear integral equation and an iterative algorithm for an inverse source problem
• Reconstruction of extended sources for the Helmholtz equation

Cites work

• A penalty method for PDE-constrained optimization in inverse problems
• A trace theorem for solutions of linear partial differential equations
• A trace theorem for solutions of the wave equation, and the remote determination of acoustic sources
• A wave-equation-based Kirchhoff operator
• Boundary determination for an inverse problem in elastodynamics
• scientific article; zbMATH DE number 3162185 (Why is no real title available?)
• scientific article; zbMATH DE number 5116775 (Why is no real title available?)
• scientific article; zbMATH DE number 4071482 (Why is no real title available?)
• scientific article; zbMATH DE number 3709065 (Why is no real title available?)
• scientific article; zbMATH DE number 907008 (Why is no real title available?)
• scientific article; zbMATH DE number 2188813 (Why is no real title available?)
• Non homogeneous boundary value problems for second order hyperbolic operators
• Thermoacoustic tomography with variable sound speed
• Time reversal in thermoacoustic tomography—an error estimate
• Trace regularity of the solutions of the wave equation with homogeneous Neumann boundary conditions and data supported away from the boundary

Cited in

(4)

• Error bounds for extended source inversion applied to an acoustic transmission inverse problem
• Solution of an acoustic transmission inverse problem by extended inversion
• Efficient Evaluation of Half-Line Source Potentials and Their Derivatives
• A numerical investigation of matched source waveform inversion applied to acoustic transmission data

This page was built for publication: Efficient computation of extended surface sources

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