arXiv subjects

Maarten de Hoop

Publications and source records attributed to Maarten de Hoop.

26 records · Page 2Linked to original sources

arXiv2017

Recovery of a Smooth Metric via Wave Field and Coordinate Transformation Reconstruction

In this paper, we study the inverse boundary value problem for the wave equation with a view towards an explicit reconstruction procedure. We consider both the anisotropic problem where the unknown is a general Riemannian metric smoothly varying in a domain, and the isotropic problem where the metric is conformal to the Euclidean metric. Our objective in both cases is to construct the metric, using either the Neumann-to-Dirichlet (N-to-D) map or Dirichlet-to-Neumann (D-to-N) map as the data. In the anisotropic case we construct the metric in the boundary normal (or semi-geodesic) coordinates via reconstruction of the wave field in the interior of the domain. In the isotropic case we can go further and construct the wave speed in the Euclidean coordinates via reconstruction of the coordinate transformation from the boundary normal coordinates to the Euclidean coordinates. Both cases utilize a variant of the Boundary Control method, and work by probing the interior using special boundary sources. We provide a computational experiment to demonstrate our procedure in the isotropic case with N-to-D data.

math.AP↗

arXiv2015

Positive-energy D-bar method for acoustic tomography: a computational study

A new computational method for reconstructing a potential from the Dirichlet-to-Neumann map at positive energy is developed. The method is based on D-bar techniques and it works in absence of exceptional points -- in particular, if the potential is small enough compared to the energy. Numerical tests reveal exceptional points for perturbed, radial potentials. Reconstructions for several potentials are computed using simulated Dirichlet-to-Neumann maps with and without added noise. The new reconstruction method is shown to work well for energy values between $10^{-5}$ and $5$, smaller values giving better results.

math.NA↗

arXiv2015

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 Galerkin method. We use a coupled first-order elastic strain-velocity, acoustic velocity-pressure formulation, and append penalty terms based on interior boundary continuity conditions to the numerical (central) flux so that the consistency condition holds for the discretized Discontinuous Galerkin weak formulation. We incorporate the fluid-solid boundaries through these penalty terms and obtain a stable algorithm. Our approach avoids the diagonalization into polarized wave constituents such as in the approach based on solving elementwise Riemann problems.

physics.comp-ph↗

arXiv2015

On the Construction of Virtual Interior Point Source Travel Time Distances from the Hyperbolic Neumann-to-Dirichlet Map

We introduce a new algorithm to construct travel time distances between a point in the interior of a Riemannian manifold and points on the boundary of the manifold, and describe a numerical implementation of the algorithm. It is known that the travel time distances for all interior points determine the Riemannian manifold in a stable manner. We do not assume that there are sources or receivers in the interior, and use the hyperbolic Neumann-to-Dirichlet map, or its restriction, as our data. Our algorithm is a variant of the Boundary Control method, and to our knowledge, this is the first numerical implementation of the method in a geometric setting.

math.AP↗

arXiv2014

Inverse problem of electroseismic conversion. I: Inversion of Maxwell's equations with internal data

Pride (1994, Phys. Rev. B 50 15678-96) derived the governing model of electroseismic conversion, in which Maxwell's equations are coupled with Biot's equations through an electrokinetic mobility parameter. The inverse problem of electroseismic conversion was first studied by Chen and Yang (2013, Inverse Problem 29 115006). By following the construction of Complex Geometrical Optics (CGO) solutions to a matrix \Schrodinger equation introduced by Ola and Somersalo (1996, SIAM J. Appl. Math. 56 No. 4 1129-1145), we analyze the reconstruction of conductivity, permittivity and the electrokinetic mobility parameter in Maxwell's equations with internal measurements, while allowing the magnetic permeability $μ$ to be a variable function. We show that knowledge of two internal data sets associated with well-chosen boundary electric sources uniquely determines these parameters. Moreover, a Lipschitz-type stability is obtained based on the same set.

math.AP↗

arXiv2012

Diffraction from conormal singularities

In this paper we show that for metrics with conormal singularities that correspond to class C^{1,α} with α>0, the reflected wave is more regular than the incident wave in a Sobolev sense. This is helpful in the analysis of the multiple scattering series since higher order terms can be effectively `peeled off'.

math.AP↗

arXiv2010

The elastic wave equation of limited smoothness

We establish a decoupling result for the $P$ and $S$ waves of linear, isotropic elasticity, in the setting of twice-differentiable Lamé parameters. Precisely, we show that the $P\leftrightarrow S$ components of the wave propagation operator are regularizing of order one on $L^2$ data, by establishing the diagonalization of the elastic system modulo a $L^2$-bounded operator. Effecting the diagonalization in the setting of twice-differentiable coefficients depends upon the symbol of the conjugation operator having a particular structure.

math.AP↗

arXiv2008

Evolution systems for paraxial wave equations of Schroedinger-type with non-smooth coefficients

We prove existence of strongly continuous evolution systems in L^2 for Schroedinger-type equations with non-Lipschitz coefficients in the principal part. The underlying operator structure is motivated from models of paraxial approximations of wave propagation in geophysics. Thus, the evolution direction is a spatial coordinate (depth) with additional pseudodifferential terms in time and low regularity in the lateral variables. We formulate and analyze the Cauchy problem in distribution spaces with mixed regularity. The key point in the evolution system construction is an elliptic regularity result, which enables us to precisely determine the common domain of the generators. The construction of a solution with low regularity in the coefficients is the basis for an inverse analysis which allows to infer the lack of lateral regularity in the medium from measured data.

math.AP↗