On the hidden mechanism behind non-uniqueness for the anisotropic Calder{ó}n problem with data on disjoint sets

Abstract

We show that there is generically non-uniqueness for the anisotropic Calderón problem at fixed frequency when the Dirichlet and Neumann data are measured on disjoint sets of the boundary of a given domain. More precisely, we first show that given a smooth compact connected Riemannian manifold with boundary $(M,g)$ of dimension $n\geq 3$, there exist in the conformal class of $g$ an infinite number of Riemannian metrics $\tilde{g}$ such that their corresponding DN maps at a fixed frequency coincide when the Dirichlet data $Γ_D$ and Neumann data $Γ_N$ are measured on disjoint sets and satisfy $\overline{Γ_D \cup Γ_N} \ne \partial M$. The conformal factors that lead to these non-uniqueness results for the anisotropic Calderón problem satisfy a nonlinear elliptic PDE of Yamabe type on the original manifold $(M,g)$ and are associated to a natural but subtle gauge invariance of the anisotropic Calderón problem with data on disjoint sets. We then construct a large class of counterexamples to uniqueness in dimension $n\geq 3$ to the anisotropic Calderón problem at fixed frequency with data on disjoint sets and \emph{modulo this gauge invariance}. This class consists in cylindrical Riemannian manifolds with boundary having two ends (meaning that the boundary has two connected components), equipped with a suitably chosen warped product metric.