Seismic data are commonly modeled by a high-frequency single scattering approximation. This amounts to a linearization in the medium coefficient about a smooth background. The discontinuities are contained in the medium perturbation. The wave solutions in the background medium admit a geometrical optics representation. Here we describe the wave propagation in the background medium by a one-way wave equation. Based on this we derive the double-square-root equation, which is a first order pseudodifferential equation, that describes the continuation of seismic data in depth. We consider the modeling operator, its adjoint and reconstruction based on this equation. If the rays in the background that are associated with the reflections due to the perturbation are nowhere horizontal, the singular part of the data is described by the solution to an inhomogeneous double-square-root equation. We derive a microlocal reconstruction equation. The main result is a characterization of the angle transform that generates the common image point gathers, and a proof that this transform contains no artifacts. Finally, pseudodifferential annihilators based on the double-square-root equation are constructed. The double-square-root equation approach is used in seismic data processing.
Electro-seismic imaging is a novel hybrid imaging modality in geophysical exploration. This paper concerns an inverse source problem for Biot's equations that arise in electro-seismic imaging. Using the time reversal method, we derive an explicit reconstruction formula, which immediately gives the uniqueness and stability of the reconstructed solution.
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.
When a porous rock is saturated with an electrolyte, electrical fields are coupled with seismic waves via the electro-seismic conversion. Pride derived the governing models, in which Maxwell equations are coupled with Biot equations through the electro-kinetic mobility parameter. The inverse problem of the linearized electro-seismic conversion consists in two step, namely the inversion of Biot equations and the inversion of Maxwell equations. We analyze the reconstruction of conductivity and electro-kinetic mobility parameter in Maxwell equations with internal measurements, while the internal …
The electroseismic model describes the coupling phenomenon of the electromagnetic waves and seismic waves in fluid immersed porous rock. Electric parameters have better contrast than elastic parameters while seismic waves provide better resolution because of the short wavelength. The combination of theses two different waves is prominent in oil exploration. Under some assumptions on the physical parameters, we derived a Hölder stability estimate to the inverse problem of recovery of the electric parameters and the coupling coefficient from the knowledge of the fields in a small open domain nea…
In this paper we study the linearized inverse problem associated with imaging of reflection seismic data. We introduce an inverse scattering transform derived from reverse-time migration (RTM). In the process, the explicit evaluation of the so-called normal operator is avoided, while other differential and pseudodifferential operator factors are introduced. We prove that, under certain conditions, the transform yields a partial inverse, and support this with numerical simulations. In addition, we explain the recently discussed 'low-frequency artifacts' in RTM, which are naturally removed by th…
We consider a linearized inverse problem, arising in offshore seismic exploration, for an isotropic wave equation with sound speed assumed to be a small, singular perturbation of a smooth background. Under an assumption of at most fold caustics for the background, we identify the geometry of the canonical relation underlying the linearization, F, which is a Fourier integral operator, and establish a composition calculus sufficient to describe the normal operator F^*F. The resulting artifacts are 1/2 derivative smoother than in the case of a single-source seismic experiment.
We study the seismic inverse problem for the recovery of subsurface properties in acoustic media. In order to reduce the ill-posedness of the problem, the heterogeneous wave speed parameter to be recovered is represented using a limited number of coefficients associated with a basis of eigenvectors of a diffusion equation, following the regularization by discretization approach. We compare several choices for the diffusion coefficient in the partial differential equations, which are extracted from the field of image processing. We first investigate their efficiency for image decomposition (acc…
Consider the acoustic wave equation with unknown, not necessarily smooth, wave speed $c$. We propose and study an iterative control procedure that erases the history of a wave field up to a given depth in a medium, without any knowledge of $c$. In the context of seismic or ultrasound imaging, this can be viewed as removing multiple reflections from normal-directed wavefronts.
We give a brief survey for the recent development of inverse scattering theory on non-compact Riemannian manifolds. The main theme is the reconstruction of the manifold and the metric from the scattering matrix.
This work investigates the scattering coefficients for inverse medium scattering problems. It shows some fundamental properties of the coefficients such as symmetry and tensorial properties. The relationship between the scattering coefficients and the far-field pattern is also derived. Furthermore, the sensitivity of the scattering coefficients with respect to changes in the permittivity and permeability distributions is investigated. In the linearized case, explicit formulas for reconstructing permittivity and permeability distributions from the scattering coefficients is proposed. They relat…
We study an inverse source scattering problem for the Schrödinger equation with a quadratic nonlinearity. In general, uniqueness of inverse source problems can not be guaranteed at a fixed energy. Therefore, additional information is required for the source in order to obtain a unique solution. By adding reference point sources, we show that a general source function could be uniquely determined from boundary measurements at a fixed wavenumber. This method does not apply to inverse source problems of linear equations since it uses the nonlinearity as a tool. The proof utilizes the method of li…
We prove new global Hölder-logarithmic stability estimates for the near-field inverse scattering problem in dimension $d\geq 3$. Our estimates are given in uniform norm for coefficient difference and related stability efficiently increases with increasing energy and/or coefficient regularity. In addition, a global logarithmic stability estimate for this inverse problem in dimension $d=2$ is also given.
In this paper we consider the inverse scattering problem for the Schr{ö}dinger operator with short-range electric potential. We prove in dimension n $\geq$ 2 that the knowledge of the scattering operator determines the electric potential and we establish H{ö}lder-type stability in determining the short range electric potential.
We study scattering and inverse scattering theories for asymptotically complex hyperbolic manifolds. We show the existence of the scattering operator as a meromorphic family of operators in the Heisenberg calculus on the boundary, which is a contact manifold with a pseudohermitian structure. Then we define the radiation fields as in the real asymptotically hyperbolic case, and reconstruct the scattering operator from those fields. As an application we show that the manifold, including its topology and the metric, are determined up to invariants by the scattering matrix at all energies.
We study the inverse scattering problem for the three dimensional nonlinear Schroedinger equation with the Yukawa potential. The nonlinearity of the equation is nonlocal. We reconstruct the potential and the nonlinearity by the knowledge of the scattering states. Our result is applicable to reconstructing the nonlinearity of the semi-relativistic Hartree equation.
We discuss the inverse uniqueness problem in phaseless scattering by counting the zeros of its modulus of the scattering amplitude. The phase linearization of scattered wave field disturbs the originally uniform distribution of the zero set. There is a connection between the perturbation of the index of refraction and the zero distribution of the modulus. We conclude the inverse uniqueness of the phaseless problem from the point of view of interior transmission problem.
A review of the author's results is given. Inversion formulas and stability estimates for the solutions to 3D inverse scattering problems with fixed-energy data are obtained. Inversions of exact and noisy data are stidied. The inverse potential scattering problem is discussed in detail, inversion formulas are derived and error estimates are obtained. Inverse obstacle scattering problem with data at a fixed frequency is studied. Uniqueness theorems and stability estimates are obtained. Inverse geophysical scattering problem is discussed. An algorithm for computing the Dirichlet-to-Neumann map f…
We analyze the inverse scattering series for diffuse waves in random media. In previous work the inverse series was used to develop fast, direct image reconstruction algorithms in optical tomography. Here we characterize the convergence, stability and approximation error of the series
We survey finite energy inverse results in N-body scattering, and we also sketch the proof of the extension of our recent two-cluster to two-cluster three-body result to the many-body case: this requires only minor modifications. We also indicate how to extend a free-to-free inverse result in three-body scattering to the many-body case.
In a recent paper, we developed an inverse scattering approach to the Boussinesq equation in the case when no solitons are present. In this paper, we extend this approach to include solutions with solitons.
We study explicit formulas for phaseless inverse scattering in the Born approximation at high energies for the Schrödinger equation with compactly supported potential in dimension d $\ge$ 2. We obtain error estimates for these formulas in the configuration space.
Let $q(x)$ be real-valued compactly supported sufficiently smooth function. It is proved that the scattering data $A(β,α_0,k)$ $\forall β\in S^2$, $\forall k>0,$ determine $q$ uniquely. Here $α_0\in S^2$ is a fixed direction of the incident plane wave.
We prove a fixed frequency inverse scattering result for the magnetic Schrödinger operator (or connection Laplacian) on surfaces with Euclidean ends. We show that, under suitable decaying conditions, the scattering matrix for the operator determines both the gauge class of the connection and the zeroth order potential.