The Calder\'on problem for the Schr\"odinger equation in transversally anisotropic geometries with partial data

Abstract

We study the partial data Calder\'on problem for the anisotropic Schr\"{o}dinger equation \begin{equation} \label{eq: a1} (-\Delta_{\widetilde{g}}+V)u=0\text{ in }\Omega\times (0,\infty), \end{equation} where $\Omega\subset\mathbb{R}^n$ is a bounded smooth domain, $\widetilde{g}=g_{ij}(x)dx^{i}\otimes dx^j+dy\otimes dy$ and $V$ is translationally invariant in the $y$ direction. Our goal is to recover both the metric $g$ and the potential $V$ from the (partial) Neumann-to-Dirichlet (ND) map on $\Gamma\times \{0\}$ with $\Gamma\Subset \Omega$. Our approach can be divided into three steps: Step 1. Boundary determination. We establish a novel boundary determination to identify $(g,V)$ on $\Gamma$ with help of suitable approximate solutions for the Schr\"odinger equation with inhomogeneous Neumann boundary condition. Step 2. Relation to a nonlocal elliptic inverse problem. We relate inverse problems for the Schr\"odinger equation with the nonlocal elliptic equation \begin{equation} \label{eq: a2} (-\Delta_g+V)^{1/2}v=f\text{ in }\Omega, \end{equation} via the Caffarelli--Silvestre type extension, where the measurements are encoded in the source-to-solution map. The nonlocality of this inverse problem allows us to recover the associated heat kernel. Step 3. Reduction to an inverse problem for a wave equation. Combining the knowledge of the heat kernel with the Kannai type transmutation formula, we transfer the inverse problem for the nonlocal equation to an inverse problem for the wave equation \begin{equation} \label{eq: a3} (\partial_t^2-\Delta_g+V)w=F\text{ in }\Omega\times (0,\infty), \end{equation} where the measurement operator is also the source-to-solution map. We can finally determine $(g,V)$ on $\Omega\setminus\Gamma$ by solving the inverse problem for the wave equation.