Reconstruction in the Calderón problem on conformally transversally anisotropic manifolds

Abstract

We show that a continuous potential q can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator −∆ g +q on a conformally transversally anisotropic manifold of dimension ≥ 3, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of [11]. 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 [33] to our setting. We also identify the main space introduced in [33] 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.