Dynamic inverse problem in a weakly laterally inhomogeneous medium

An inverse problem of wave propagation into a weakly laterally inhomogeneous medium occupying a half-space is considered in the acoustic approximation. The half-space consists of an upper layer and a semi-infinite bottom separated with an interface. An assumption of a weak lateral inhomogeneity means that the velocity of wave propagation and the shape of the interface depend weakly on the horizontal coordinates, $x=(x_1,x_2)$, in comparison with the strong dependence on the vertical coordinate, $z$, giving rise to a small parameter \e <<1. Expanding the velocity in power series with respect to \e, we obtain a recurrent system of 1D inverse problems. We provide algorithms to solve these problems for the zero and first-order approximations. In the zero-order approximation, the corresponding 1D inverse problem is reduced to a system of non-linear Volterra-type integral equations. In the first-order approximation, the corresponding 1D inverse problem is reduced to a system of coupled linear Volterra integral equations. These equations are used for the numerical reconstruction of the velocity in both layers and the interface up to O(\e^2).Comment: 12 figure

Inverse problems for Schrodinger equations with Yang-Mills potentials in domains with obstacles and the Aharonov-Bohm effect

We study the inverse boundary value problems for the Schr\"{o}dinger equations with Yang-Mills potentials in a bounded domain $\Omega_0\subset\R^n$ containing finite number of smooth obstacles $\Omega_j,1\leq j \leq r$. We prove that the Dirichlet-to-Neumann operator on $\partial\Omega_0$ determines the gauge equivalence class of the Yang-Mills potentials. We also prove that the metric tensor can be recovered up to a diffeomorphism that is identity on $\partial\Omega_0$.Comment: 15 page

A new approach to hyperbolic inverse problems II (Global step)

We study the inverse problem for the second order self-adjoint hyperbolic equation with the boundary data given on a part of the boundary. This paper is the continuation of the author's paper [E]. In [E] we presented the crucial local step of the proof. In this paper we prove the global step. Our method is a modification of the BC-method with some new ideas. In particular, the way of the determination of the metric is new.Comment: 21 pages, 2 figure

Full-wave invisibility of active devices at all frequencies

There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or "cloaking") from observation by electromagnetic (EM) waves. Here, we prove invisibility, with respect to solutions of the Helmholtz and Maxwell's equations, for several constructions of cloaking devices. Previous results have either been on the level of ray tracing [Le,PSS] or at zero frequency [GLU2,GLU3], but recent numerical [CPSSP] and experimental [SMJCPSS] work has provided evidence for invisibility at frequency $k\ne 0$. We give two basic constructions for cloaking a region $D$ contained in a domain $\Omega$ from measurements of Cauchy data of waves at \p \Omega; we pay particular attention to cloaking not just a passive object, but an active device within $D$, interpreted as a collection of sources and sinks or an internal current.Comment: Final revision; to appear in Commun. in Math. Physic

Multidimensional Borg-Levinson Theorem

We consider the inverse problem of the reconstruction of a Schr\"odinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $\Gamma$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $\Gamma$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as in perturbation theory of eigenvalues. This reduces the problem to an inverse boundary spectral problem solved by the boundary control method

A new approach to hyperbolic inverse problems

We present a modification of the BC-method in the inverse hyperbolic problems. The main novelty is the study of the restrictions of the solutions to the characteristic surfaces instead of the fixed time hyperplanes. The main result is that the time-dependent Dirichlet-to-Neumann operator prescribed on a part of the boundary uniquely determines the coefficients of the self-adjoint hyperbolic operator up to a diffeomorphism and a gauge transformation. In this paper we prove the crucial local step. The global step of the proof will be presented in the forthcoming paper.Comment: We corrected the proof of the main Lemma 2.1 by assuming that potentials A(x),V(x) are real value

Optical Aharonov-Bohm effect: an inverse hyperbolic problems approach

We describe the general setting for the optical Aharonov-Bohm effect based on the inverse problem of the identification of the coefficients of the governing hyperbolic equation by the boundary measurements. We interpret the inverse problem result as a possibility in principle to detect the optical Aharonov-Bohm effect by the boundary measurements.Comment: 34 pages. Minor changes, references adde

Inverse problem for wave equation with sources and observations on disjoint sets

We consider an inverse problem for a hyperbolic partial differential equation on a compact Riemannian manifold. Assuming that $\Gamma_1$ and $\Gamma_2$ are two disjoint open subsets of the boundary of the manifold we define the restricted Dirichlet-to-Neumann operator $\Lambda_{\Gamma_1,\Gamma_2}$. This operator corresponds the boundary measurements when we have smooth sources supported on $\Gamma_1$ and the fields produced by these sources are observed on $\Gamma_2$. We show that when $\Gamma_1$ and $\Gamma_2$ are disjoint but their closures intersect at least at one point, then the restricted Dirichlet-to-Neumann operator $\Lambda_{\Gamma_1,\Gamma_2}$ determines the Riemannian manifold and the metric on it up to an isometry. In the Euclidian space, the result yields that an anisotropic wave speed inside a compact body is determined, up to a natural coordinate transformations, by measurements on the boundary of the body even when wave sources are kept away from receivers. Moreover, we show that if we have three arbitrary non-empty open subsets $\Gamma_1,\Gamma_2$, and $\Gamma_3$ of the boundary, then the restricted Dirichlet-to-Neumann operators $\Lambda_{\Gamma_j,\Gamma_k}$ for $1\leq j<k\leq 3$ determine the Riemannian manifold to an isometry. Similar result is proven also for the finite-time boundary measurements when the hyperbolic equation satisfies an exact controllability condition

The Unique Determination of Neuronal Currents in the Brain via Magnetoencephalography

The problem of determining the neuronal current inside the brain from measurements of the induced magnetic field outside the head is discussed under the assumption that the space occupied by the brain is approximately spherical. By inverting the Geselowitz equation, the part of the current which can be reconstructed from the measurements is precisely determined. This actually consists of only certain moments of one of the two functions specifying the tangential part of the current. The other function specifying the tangential part of the current as well as the radial part of the current are completely arbitrary. However, it is also shown that with the assumption of energy minimization, the current can be reconstructed uniquely. A numerical implementation of this unique reconstruction is also presented