No Arabic abstract
In this article we study the linearized anisotropic Calderon problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry of pairs of intersecting geodesics. In this case, we solve the linearized anisotropic Calderon problem. The geometric condition does not involve the injectivity of the geodesic X-ray transform. Crucial ingredients in the proof of our result are the construction of Gaussian beam quasimodes on the transversal manifold, with exponentially small errors, as well as the FBI transform characterization of the analytic wave front set.
We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrodinger operator $-Delta_g+q$ on a conformally transversally anisotropic manifold of dimension $geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of Dos Santos Ferreira-Kurylev-Lassas-Salo. A crucial role in our reconstruction procedure is played by a constructive determination of the boundary traces of suitable complex geometric optics solutions based on Gaussian beams quasimodes concentrated along non-tangential geodesics on the transversal manifold, which enjoy uniqueness properties. This is achieved by applying the simplified version of the approach of Nachman-Street to our setting. We also identify the main space introduced by Nachman-Street with a standard Sobolev space on the boundary of the manifold. Another ingredient in the proof of our result is a reconstruction formula for the boundary trace of a continuous potential from the knowledge of the Dirichlet-to-Neumann map.
Uniqueness and reconstruction in the three-dimensional Calderon inverse conductivity problem can be reduced to the study of the inverse boundary problem for Schrodinger operators $-Delta +q $. We study the Born approximation of $q$ in the ball, which amounts to studying the linearization of the inverse problem. We first analyze this approximation for real and radial potentials in any dimension. We show that this approximation is well-defined and obtain a closed formula that involves the spectrum of the Dirichlet-to-Neumann map associated to $-Delta + q$. We then turn to general real and essentially bounded potentials in three dimensions and introduce the notion of averaged Born approximation, which captures the invariance properties of the exact inverse problem. We obtain explicit formulas for the averaged Born approximation in terms of the matrix elements of the Dirichlet to Neumann map in the basis spherical harmonics. Motivated by these formulas we also study the high-energy behaviour of the matrix elements of the Dirichlet to Neumann map.
We consider the so called Calderon problem which corresponds to the determination of a conductivity appearing in an elliptic equation from boundary measurements. Using several known results we propose a simplified and self contained proof of this result.
We consider the inverse Calderon problem consisting of determining the conductivity inside a medium by electrical measurements on its surface. Ideally, these measurements determine the Dirichlet-to-Neumann map and, therefore, one usually assumes the data to be given by such map. This situation corresponds to having access to infinite-precision measurements, which is totally unrealistic. In this paper, we study the Calderon problem assuming the data to contain measurement errors and provide formulas to reconstruct the conductivity and its normal derivative on the surface. Additionally, we state the rate convergence of the method. Our approach is theoretical and has a stochastic flavour.
In these notes we prove log-type stability for the Calderon problem with conductivities in $ C^{1,varepsilon}(bar{Omega}) $. We follow the lines of a recent work by Haberman and Tataru in which they prove uniqueness for $ C^1(bar{Omega}) $.