# A mathematical framework for inverse wave problems in heterogeneous media

@article{Blazek2013AMF, 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}, year={2013}, volume={29}, pages={065001} }

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

#### 32 Citations

A smooth global model for scattering in layered media

- Mathematics
- 2014

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 acoustic… Expand

Dynamic inverse wave problems—part II: operator identification and applications

- Mathematics
- 2019

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 regularity… Expand

Dynamic inverse wave problems—part I: regularity for the direct problem

- Mathematics
- 2018

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 modeled… Expand

Inverse problems for abstract evolution equations with applications in electrodynamics and elasticity

- Mathematics
- 2016

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, except… Expand

Discretization of multipole sources in a finite difference setting for wave propagation problems

- Computer Science, Mathematics
- J. Comput. Phys.
- 2019

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$

- Mathematics, Physics
- Communications in Mathematical Sciences
- 2019

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 example… Expand

Space-Time Discontinuous Petrov–Galerkin Methods for Linear Wave Equations in Heterogeneous Media

- Computer Science, Mathematics
- Comput. Methods Appl. Math.
- 2019

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

PLANE-WAVE ANALYSIS OF A HYPERBOLIC SYSTEM OF EQUATIONS WITH RELAXATION IN R

- 2018

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 example… Expand

A discontinuous Galerkin method with a modified penalty flux for the propagation and scattering of acousto-elastic waves

- Mathematics, Physics
- 2016

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 Galerkin… Expand

#### References

SHOWING 1-10 OF 73 REFERENCES

A trace theorem for solutions of the wave equation, and the remote determination of acoustic sources

- Mathematics
- 1983

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 quite… Expand

On the relation between coefficient and boundary values for solutions of Webster's horn equation

- Mathematics
- 1986

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, and… Expand

On the sensitivity of solutions of hyperbolic equations to the coefficients

- Mathematics
- 1996

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 bounded… Expand

On the relation between the velocity coefficient and boundary value for solutions of the one-dimensional wave equation

- Mathematics
- 1991

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 the… Expand

Two‐dimensional nonlinear inversion of seismic waveforms: Numerical results

- Mathematics
- 1986

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 a… Expand

On the modeling and inversion of seismic data

- Mathematics
- 2000

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 with… Expand

Acoustics of Porous Media

- Materials Science
- 1988

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 developed… Expand

Trace regularity of the solutions of the wave equation with homogeneous Neumann boundary conditions and data supported away from the boundary

- Mathematics
- 1989

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 conditions… Expand

Methods of Mathematical Physics

- Mathematics
- 1947

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

- Mathematics
- 2014

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. The… Expand