Searcharxiv⌕ Search

arXiv subjects

Maarten V. de Hoop

Publications and source records attributed to Maarten V. de Hoop.

At least 109 records · Page 6Linked to original sources
arXiv2017

An Exact Redatuming Procedure for the Inverse Boundary Value Problem for the Wave Equation

Redatuming is a data processing technique to transform measurements recorded in one acquisition geometry to an analogous data set corresponding to another acquisition geometry, for which there are no recorded measurements. We consider a redatuming problem for a wave equation on a bounded domain, or on a manifold with boundary, and model data acquisition by a restriction of the associated Neumann-to-Dirichlet map. This map models measurements with sources and receivers on an open subset $Γ$ contained in the boundary of the manifold. We model the wavespeed by a Riemannian metric, and suppose that the metric is known in some coordinates in a neighborhood of $Γ$. Our goal is to move sources and receivers into this known near boundary region. We formulate redatuming as a collection of unique continuation problems, and provide a two step procedure to solve the redatuming problem. We investigate the stability of the first step in this procedure, showing that it enjoys conditional Hölder stability under suitable geometric hypotheses. In addition, we provide computational experiments that demonstrate our redatuming procedure.

math.AP↗
arXiv2017

Abel transforms with low regularity with applications to X-ray tomography on spherically symmetric manifolds

We study ray transforms on spherically symmetric manifolds with a piecewise $C^{1,1}$ metric. Assuming the Herglotz condition, the X-ray transform is injective on the space of $L^2$ functions on such manifolds. We also prove injectivity results for broken ray transforms (with and without periodicity) on such manifolds with a $C^{1,1}$ metric. To make these problems tractable in low regularity, we introduce and study a class of generalized Abel transforms and study their properties. This low regularity setting is relevant for geophysical applications.

math.DG↗
arXiv2017

Spectral rigidity for spherically symmetric manifolds with boundary

We prove a trace formula for three-dimensional spherically symmetric Riemannian manifolds with boundary which satisfy the Herglotz condition: The wave trace is singular precisely at the length spectrum of periodic broken rays. In particular, the Neumann spectrum of the Laplace--Beltrami operator uniquely determines the length spectrum. The trace formula also applies for the toroidal modes of the free oscillations in the earth. We then prove that the length spectrum is rigid: Deformations preserving the length spectrum and spherical symmetry are necessarily trivial in any dimension, provided the Herglotz condition and a generic geometrical condition are satisfied. Combining the two results shows that the Neumann spectrum of the Laplace--Beltrami operator is rigid in this class of manifolds with boundary.

math.DG↗
arXiv2017

A multi-scale Gaussian beam parametrix for the wave equation: the Dirichlet boundary value problem

We present a construction of a multi-scale Gaussian beam parametrix for the Dirichlet boundary value problem associated with the wave equation, and study its convergence rate to the true solution in the highly oscillatory regime. The construction elaborates on the wave-atom parametrix of Bao, Qian, Ying, and Zhang and extends to a multi-scale setting the technique of Gaussian beam propagation from a boundary of Katchalov, Kurylev and Lassas.

math.AP↗
arXiv2017

On the system of elastic-gravitational equations describing the oscillations of the earth

The linear equations of motion of a uniformly rotating, elastic and self-gravitating earth model are analyzed under minimal regularity assumptions. We present existence and uniqueness results for the system, energy estimates, convergence of Galerkin approximations, and propose a method based on a Volterra equation to deal with the nonlocal self-gravitation.

math-ph↗
arXiv2017

Variational formulation of the earth's elastic-gravitational deformations under low regularity conditions

We present a construction of the action, in the framework of the calculus of variations and Sobolev spaces, describing deformations and the oscillations of a uniformly rotating, elastic and self-gravitating earth. We establish the Fréchet differentiability of the action under minimal regularity assumptions, which constrain the possible composition of an earth model. Thus we obtain well-defined Euler-Lagrange equations, weakly and strongly, that is, the system of elastic-gravitational equations.

math-ph↗
arXiv2017

Lipschitz stability for a piecewise linear Schrödinger potential from local Cauchy data

We consider the inverse boundary value problem of determining the potential $q$ in the equation $Δu + qu = 0$ in $Ω\subset\mathbb{R}^n$, from local Cauchy data. A result of global Lipschitz stability is obtained in dimension $n\geq 3$ for potentials that are piecewise linear on a given partition of $Ω$. No sign, nor spectrum condition on $q$ is assumed, hence our treatment encompasses the reduced wave equation $Δu + k^2c^{-2}u=0$ at fixed frequency $k$.

math.AP↗
arXiv2017

Reconstruction of Lame moduli and density at the boundary enabling directional elastic wavefield decomposition

We consider the inverse boundary value problem for the system of equations describing elastic waves in isotropic media on a bounded domain in $\mathbb{R}^3$ via a finite-time Laplace transform. The data is the dynamical Dirichlet-to-Neumann map. More precisely, using the full symbol of the transformed Dirichlet-to-Neumann map viewed as a semiclassical pseudodifferential operator, we give an explicit reconstruction of both Lamé parameters and the density, as well as their derivatives, at the boundary. We also show how this boundary reconstruction leads to a decomposition of incoming and outgoing waves.

math.AP↗
arXiv2016

Inverse boundary value problem for the Helmholtz equation: quantitative conditional Lipschitz stability estimates

We study the inverse boundary value problem for the Helmholtz equation using the Dirichlet-to-Neumann map at selected frequencies as the data. A conditional Lipschitz stability estimate for the inverse problem holds in the case of wavespeeds that are a linear combination of piecewise constant functions (following a domain partition) and gives a framework in which the scheme converges. The stability constant grows exponentially as the number of subdomains in the domain partition increases. We establish an order optimal upper bound for the stability constant. We eventually realize computational experiments to demonstrate the stability constant evolution for three dimensional wavespeed reconstruction.

math.AP↗
arXiv2016

Uniqueness for the electrostatic inverse boundary value problem with piecewise constant anisotropic conductivities

We discuss the inverse problem of determining the, possibly anisotropic, conductivity of a body $Ω\subset\mathbb{R}^{n}$ when the so-called Neumann-to-Dirichlet map is locally given on a non empty curved portion $Σ$ of the boundary $\partialΩ$. We prove that anisotropic conductivities that are \textit{a-priori} known to be piecewise constant matrices on a given partition of $Ω$ with curved interfaces can be uniquely determined in the interior from the knowledge of the local Neumann-to-Dirichlet map.

math.AP↗
arXiv2015

Optimal Convergence Rates Results for Linear Inverse Problems in Hilbert Spaces

In this paper, we prove optimal convergence rates results for regularisation methods for solving linear ill-posed operator equations in Hilbert spaces. The result generalises existing convergence rates results on optimality to general source conditions, such as logarithmic source conditions. Moreover, we also provide optimality results under variational source conditions and show the connection to approximative source conditions.

math.FA↗
arXiv2015

Uniqueness for a seismic inverse source problem modeling a subsonic rupture

We consider an inverse problem for an inhomogeneous wave equation with discrete-in-time sources, modeling a seismic rupture. We assume that the sources occur along a path with subsonic velocity, and that data are collected over time on some detection surface. We explore the question of uniqueness for these problems, show how to recover the times and locations of sources microlocally, and then reconstruct the smooth part of the source assuming that it is the same at each source location.

math.AP↗
arXiv2015

Multiscale reverse-time-migration-type imaging using the dyadic parabolic decomposition of phase space

We develop a representation of reverse-time migration in terms of Fourier integral operators the canonical relations of which are graphs. Through the dyadic parabolic decomposition of phase space, we obtain the solution of the wave equation with a boundary source and homogeneous initial conditions using wave packets. On this basis, we develop a numerical procedure for the reverse time continuation from the boundary of scattering data and for RTM migration. The algorithms are derived from those we recently developed for the discrete approximate evaluation of the action of Fourier integral operators and inherit from their conceptual and numerical properties.

math.NA↗
arXiv2015

Iterative reconstruction of the wavespeed for the wave equation with bounded frequency boundary data

We study the inverse boundary value problem for the wave equation using the single-layer potential operator as the data. We assume that the data have frequency content in a bounded interval. We prove how to choose classes of nonsmooth coefficient functions so that optimization formulations of inverse wave problems satisfy the prerequisites for application of steepest descent and Newton-type iterative methods.

math.AP↗
arXiv2014

Generalized Convergence Rates Results for Linear Inverse Problems in Hilbert Spaces

In recent years, a series of convergence rates conditions for regularization methods has been developed. Mainly, the motivations for developing novel conditions came from the desire to carry over convergence rates results from the Hilbert space setting to generalized Tikhonov regularization in Banach spaces. For instance, variational source conditions have been developed and they were expected to be equivalent to standard source conditions for linear inverse problems in a Hilbert space setting. We show that this expectation does not hold. However, in the standard Hilbert space setting these novel conditions are optimal, which we prove by using some deep results from Neubauer, and generalize existing convergence rates results. The key tool in our analysis is a novel source condition, which we put into relation to the existing source conditions from the literature. As a positive by-product, convergence rates results can be proven without spectral theory, which is the standard technique for proving convergence rates for linear inverse problems in Hilbert spaces.

math.FA↗