Reconstruction in the Calderón problem on conformally transversally anisotropic manifolds (Q1982519): Difference between revisions

In this interesting paper, the authors prove that a continuous potential \(q\) can be constructively determined from the knowledge of the Dirichlet to Neumann map for the Schrödinger operator \(-\Delta_g+q\) on a conformally transversally anisotropic manifold of dimension \(\ge 3\), as long as the geodesic ray transform on the transversal manifold is constructively invertible. More precisely, the first main result of the paper states that given a CTA manifold \((M,g)\) such that the geodesic ray transform on the transversal manifold \((M_0,g_0)\) is constructively invertible, and \(0<c\in C^{\infty}(M)\), then from the knowledge of \(\Lambda_{cg,0}\), one can constructively determine \(c\). The second main result of the paper states that given a CTA manifold \((M,g)\) such that the geodesic ray transform on the transversal manifold \((M_0,g_0)\) is constructively invertible, and \(q\in C(M)\) such that zero is not a Dirichlet eigenvalue of \(-\Delta+q\) in \(M\), then the knowledge of \(\Lambda_{g,q}\) determines \(q\) constructively. This is a constructive counterpart of the uniqueness result of \textit{D. Dos Santos Ferreira} et al. [J. Eur. Math. Soc. (JEMS) 18, No. 11, 2579--2626 (2016; Zbl 1359.35224)]. To prove their results, the authors rely on a constructive determination of the boundary traces of appropriate complex geometric optics solutions based on Gaussian beams quasimodes concentrated along non-tangential geodesics on the transversal manifold, which have uniqueness properties. This is done by applying a simplified version of the argument from [\textit{A. Nachman} and \textit{B. Street}, Commun. Partial Differ. Equations 35, No. 2, 375--390 (2010; Zbl 1186.35242)] to their setting. The authors also identify the main space introduced in [loc. cit.] with a standard Sobolev space on the boundary of the manifold. A second crucial ingredient in the paper is a reconstruction formula for the boundary trace of a continuous potential from the knowledge of the Dirichlet to Neumann map.