Paper detail

Inverse problem for the Riemannian wave equation with Dirichlet data and Neumann data on disjoint sets

We consider the inverse problem to determine a smooth compact Riemannian manifold with boundary $(M, g)$ from a restriction $Λ_{\Src, \Rec}$ of the Dirichlet-to-Neumann operator for the wave equation on the manifold. Here $\Src$ and $\Rec$ are open sets in $\p M$ and the restriction $Λ_{\Src, \Rec}$ corresponds to the case where the Dirichlet data is supported on $\R_+\times \Src$ and the Neumann data is measured on $\R_+\times \Rec$. In the novel case where $\bar \Src \cap \bar \Rec = \emptyset$, we show that $Λ_{\Src, \Rec}$ determines the manifold $(M,g)$ uniquely, assuming that the wave equation is exactly controllable from the set of sources $\Src$. Moreover, we show that the exact controllability can be replaced by the Hassell-Tao condition for eigenvalues and eigenfunctions, that is, λ_j \le C \norm{\p_νϕ_j}_{L^2(\Src)}^2, \quad j =1, 2, ..., where $λ_j$ are the Dirichlet eigenvalues and $(ϕ_j)_{j=1}^\infty$ is an orthonormal basis of the corresponding eigenfunctions.