A mathematical framework for inverse wave problems in heterogeneous media

  title={A mathematical framework for inverse wave problems in heterogeneous media},
  author={Kirk D. Blazek and Christiaan C. Stolk and William W. Symes},
  journal={Inverse Problems},
This paper provides a theoretical foundation for some common formulations of inverse problems in wave propagation, based on hyperbolic systems of linear integro-differential equations with bounded and measurable coefficients. The coefficients of these time-dependent partial differential equations represent parametrically the spatially varying mechanical properties of materials. Rocks, manufactured materials, and other wave propagation environments often exhibit spatial heterogeneity in… Expand
A smooth global model for scattering in layered media
Layered media have been studied extensively both for their importance in imaging technologies and as an example of a hyperbolic PDE with discontinuous coefficients. From the perspective of acousticExpand
Dynamic inverse wave problems—part II: operator identification and applications
We present a framework which enables the analysis of dynamic inverse problems for wave phenomena that are modeled through second-order hyperbolic PDEs. This includes well-posedness and regularityExpand
Dynamic inverse wave problems—part I: regularity for the direct problem
For parameter identification problems the Frechet-derivative of the parameter-to-state map is of particular interest. In many applications, e.g. in seismic tomography, the unknown quantity is modeledExpand
Inverse problems for abstract evolution equations with applications in electrodynamics and elasticity
It is common knowledge—mainly based on experience—that parameter identification problems in partial differential equations are ill-posed. Yet, a mathematical sound argumentation is missing, exceptExpand
Discretization of multipole sources in a finite difference setting for wave propagation problems
A weak convergence theory is developed for the discretization of a family of symmetric hyperbolic systems of first-order partial differential equations, with singular source terms, solved via staggered-grid finite difference methods: it is shown that grid-independent space-time averages of the numerical solutions converge to the same average of the continuum solution. Expand
Plane-wave analysis of a hyperbolic system of equations with relaxation in $\mathbb{R}^d$
We consider a multi-dimensional scalar wave equation with memory corresponding to the viscoelastic material described by a generalized Zener model. We deduce that this relaxation system is an exampleExpand
Space-Time Discontinuous Petrov–Galerkin Methods for Linear Wave Equations in Heterogeneous Media
An abstract space-time DPG framework for the approximation of linear waves in heterogeneous media is established and is based on the abstract definition of traces on the skeleton of the time-space substructuring. Expand
We consider a multi-dimensional scalar wave equation with memory corresponding to the viscoelastic material described by a generalized Zener model. We deduce that this relaxation system is an exampleExpand
A discontinuous Galerkin method with a modified penalty flux for the propagation and scattering of acousto-elastic waves
We develop an approach for simulating acousto-elastic wave phenomena, including scattering from fluid-solid boundaries, where the solid is allowed to be anisotropic, with the Discontinuous GalerkinExpand


A trace theorem for solutions of the wave equation, and the remote determination of acoustic sources
The determination of sources of acoustic wave motion in several dimensions from remote measurements is of considerable interest in many applications, and the underlying mathematical problem is quiteExpand
On the relation between coefficient and boundary values for solutions of Webster's horn equation
Webster’s horn equation is a normalized version of the one-dimension linear acoustic wave equation. It has been used extensively as a simple model for plane wave propagation in layered systems, andExpand
On the sensitivity of solutions of hyperbolic equations to the coefficients
The goal of this work is to determine appropriate domain and range of the map from the coefficients to the solutions of the wave equation for which its linearization or formal derivative is boundedExpand
On the relation between the velocity coefficient and boundary value for solutions of the one-dimensional wave equation
The one-dimensional acoustic wave equation is a simple model of wave propagation in layered media. As such, it is used in theoretical seismology to study the relation between sound velocity and theExpand
Two‐dimensional nonlinear inversion of seismic waveforms: Numerical results
The nonlinear problem of inversion of seismic waveforms can be set up using least‐squares methods. The inverse problem is then reduced to the problem of minimizing a lp;nonquadratic) function in aExpand
On the modeling and inversion of seismic data
In this thesis we investigate some mathematical questions related to the inversion of seismic data. In Chapter 2 we review results in the literature and give some new results on wave equations withExpand
Acoustics of Porous Media
This book contains all that is currently known about the propagation of acoustic waves in porous media. Emphasis is on the physical aspects of wave propagation in porous media. Theory is developedExpand
Trace regularity of the solutions of the wave equation with homogeneous Neumann boundary conditions and data supported away from the boundary
Let Ω ⊂Rn be a smooth domain with boundary Γ. Let u be the solution of a second order hyperbolic scalar equation with homogeneous Neumann boundary conditions defined on Ω due to initial conditionsExpand
Methods of Mathematical Physics
Partial table of contents: THE ALGEBRA OF LINEAR TRANSFORMATIONS AND QUADRATIC FORMS. Transformation to Principal Axes of Quadratic and Hermitian Forms. Minimum-Maximum Property of Eigenvalues.Expand
Attractors of equations of non-Newtonian fluid dynamics
This survey describes a?version of the trajectory-attractor method, which is applied to study the limit asymptotic behaviour of solutions of equations of non-Newtonian fluid dynamics. TheExpand