We study scattering and inverse scattering theories for asymptotically complex hyperbolic manifolds. We show the existence of the scattering operator as a meromorphic family of operators in the Heisenberg calculus on the boundary, which is a contact manifold with a pseudohermitian structure. Then we define the radiation fields as in the real asymptotically hyperbolic case, and reconstruct the scattering operator from those fields. As an application we show that the manifold, including its topology and the metric, are determined up to invariants by the scattering matrix at all energies.
In analogy with radiation fields for asymptotically Euclidean manifolds, introduced by F.G. Friedlander, we define radiation fields for asymptotically hyperbolic manifolds. We use them to give a translation representation of the wave group and to obtain the scattering matrix for such manifolds. Furthermore, we prove a support theorem for the radiation fields which generalizes to this setting the well known support theorem of Helgason and Lax and Phillips for the horocyclic Radon transform. This is used to show that the manifold and the metric, up to invariants, are determined by the scattering…
We give a brief survey for the recent development of inverse scattering theory on non-compact Riemannian manifolds. The main theme is the reconstruction of the manifold and the metric from the scattering matrix.
Scattering is defined on compact manifolds with boundary which are equipped with an asymptotically hyperbolic metric, $g.$ A model form is established for such metrics close to the boundary. It is shown that the scattering matrix at energy $ζ$ exists and is a pseudo-differential operator of order $2ζ+1 - \dim X.$ The symbol of the scattering matrix is then used to show that except for a countable set of energies the scattering matrix at one energy determines the diffeomorphism class of the metric modulo terms vanishing to infinite order at the boundary. An analogous result is proved for potent…
For a class of Riemannian manifolds with boundary that includes all negatively curved manifolds with strictly convex boundary, we establish Hölder type stability estimates in the geometric inverse problem of determining the electric potential or the conformal factor from the Dirichlet-to-Neumann map associated with the Schrödinger equation and the wave equation. The novelty in this result lies in the fact that we allow some geodesics to be trapped inside the manifold and have infinite length.
We prove that the scattering matrix at all energies restricted to an open subset of the boundary determines an asymptotically hyperbolic manifold modulo isometries that are equal to the identity on the open subset where the scattering matrix is known.
We consider an inverse boundary value problem for a semilinear wave equation on a time-dependent Lorentzian manifold with time-like boundary. The time-dependent coefficients of the nonlinear terms can be recovered in the interior from the knowledge of the Neumann-to-Dirichlet map. Either distorted plane waves or Gaussian beams can be used to derive uniqueness.
We study an inverse problem for a non-compact Riemannian manifold whose ends have the following properties : On each end, the Riemannian metric is assumed to be a short-range perturbation of the metric of the form $(dy)^2 + h(x,dx)$, $h(x,dx)$ being the metric of some compact manifold of codimension 1. Moreover one end is exactly cylindrical, i.e. the metric is equal to $(dy)^2 + h(x,dx)$. Given two such manifolds having the same scattering matrix on that exactly cylindrical end for all energy, we show that these two manifolds are isometric.
We show that the knowledge of the Dirichlet--to--Neumann map for a nonlinear magnetic Schrödinger operator on the boundary of a compact complex manifold, equipped with a Kähler metric and admitting sufficiently many global holomorphic functions, determines the nonlinear magnetic and electric potentials uniquely.
In this paper, we consider the inverse hessian quotient curvature flow with star-shaped initial hypersurface in anti-de Sitter-Schwarzschild manifold. We prove that the solution exists for all time, and the second fundamental form converges to identity exponentially fast.
We construct a solution to inverse mean curvature flow on an asymptotically hyperbolic 3-manifold which does not have the convergence properties needed in order to prove a Penrose--type inequality. This contrasts sharply with the asymptotically flat case. The main idea consists in combining inverse mean curvature flow with work done by Shi--Tam regarding boundary behavior of compact manifolds. Assuming the Penrose inequality holds, we also derive a nontrivial inequality for functions on $S^2$.
We consider the problem of recovering a nonlinear potential function in a nonlinear Schrödinger equation on transversally anisotropic manifolds from the linearized Dirichlet-to-Neumann map at a large wavenumber. By calibrating the complex geometric optics (CGO) solutions according to the wavenumber, we prove the increasing stability of recovering the coefficient of a cubic term as the wavenumber becomes large.
We study the convergence behavior of the general inverse $σ_k$-flow on Kähler manifolds with initial metrics satisfying the Calabi Ansatz. The limiting metrics can be either smooth or singular. In the latter case, interesting conic singularities along negatively self-intersected sub-varieties are formed as a result of partial blow-up.
We consider the inverse problem of recovering the magnetic and potential term of a magnetic Schrödinger operator on certain compact Riemannian manifolds with boundary from partial Dirichlet and Neumann data on suitable subsets of the boundary. The uniqueness proof relies on proving a suitable Carleman estimate for functions which vanish only on a part of boundary and constructing complex geometric optics solutions which vanish on a part of the boundary.
The problems we address in this paper are the spectral theory and the inverse problems associated with Laplacians on non-compact Riemannian manifolds and more general manifolds admitting conic singularities. In particular, we study the inverse scattering problem where one observes the asymptotic behavior of the solutions of the Helmholtz equation on the manifold. These observations are analogous to Heisenberg's scattering matrix in quantum mechanics. We then show that the knowledge of the scattering matrix determines the topology and the metric of the manifold. In the paper we develop a unifie…
We consider inverse problems in space-time $(M, g)$, a $4$-dimensional Lorentzian manifold. For semilinear wave equations $\square_g u + H(x, u) = f$, where $\square_g$ denotes the usual Laplace-Beltrami operator, we prove that the source-to-solution map $L: f \rightarrow u|_V$, where $V$ is a neighborhood of a time-like geodesic $μ$, determines the topological, differentiable structure and the conformal class of the metric of the space-time in the maximal set where waves can propagate from $μ$ and return back. Moreover, on a given space-time $(M, g)$, the source-to-solution map determines som…
We study inverse scattering for $Δ_g+V$ on $(X,g)$ a conformally compact manifold with metric $g,$ with variable sectional curvature $-\alf^2(y)$ at the boundary and $V\in C^\infty(X)$ not vanishing at the boundary. We prove that the scattering matrix at a fixed energies $(λ_1,$ $λ_2)$ in a suitable subset of $\mc$, determines $\alf,$ and the Taylor series of both the potential and the metric at the boundary.
We consider the inverse problem for the wave equation on a compact Riemannian manifold or on a bounded domain of $\R^n$, and generalize the concept of {\em domain of influence}. We present an efficient minimization algorithm to compute the volume of a domain of influence using boundary measurements and time-reversed boundary measurements. Moreover, we show that if the manifold is simple, then the volumes of the domains of influence determine the manifold. For a continuous real valued function $τ$ on the boundary of the manifold, the domain of influence is the set of those points on the manifol…
In this paper, we study the amount of information contained in the Steklov spectrum of some compact manifolds with connected boundary equipped with a warped product metric. Examples of such manifolds can be thought of as deformed balls in R^d. We first prove that the Steklov spectrum determines uniquely the warping function of the metric. We show in fact that the approximate knowledge (in a given precise sense) of the Steklov spectrum is enough to determine uniquely the warping function in a neighbourhood of the boundary. Second, we provide stability estimates of log-type on the warping functi…
We study inverse boundary problems for first order perturbations of the biharmonic operator on a conformally transversally anisotropic Riemannian manifold of dimension $n \ge 3$. We show that a continuous first order perturbation can be determined uniquely from the knowledge of the set of the Cauchy data on the boundary of the manifold provided that the geodesic $X$-ray transform on the transversal manifold is injective.
In this paper, we study an inverse scattering problem at fixed energy on three-dimensional asymptotically hyperbolic St{ä}ckel manifolds having the topology of toric cylinders and satisfying the Robertson condition. On these manifolds the Helmholtz equation can be separated into a system of a radial ODE and two angular ODEs. We can thus decompose the full scattering operator onto generalized harmonics and the resulting partial scattering matrices consist in a countable set of $2 \times 2$ matrices whose coefficients are the so-called transmission and reflection coefficients. It is shown that t…
In this survey we review positive inverse spectral and inverse resonant results for the following kinds of problems: Laplacians on bounded domains, Laplace-Beltrami operators on compact manifolds, Schrödinger operators, Laplacians on exterior domains, and Laplacians on manifolds which are hyperbolic near infinity.
Consider a real-analytic orientable connected complete Riemannian manifold $M$ with boundary of dimension $n\ge 2$ and let $k$ be an integer $1\le k\le n$. In the case when $M$ is compact of dimension $n\ge 3$, we show that the manifold and the metric on it can be reconstructed, up to an isometry, from the set of the Cauchy data for harmonic $k$-forms, given on an open subset of the boundary. This extends a result of [13] when $k=0$. In the two-dimensional case, the same conclusion is obtained when considering the set of the Cauchy data for harmonic $1$-forms. Under additional assumptions on t…
We consider the inverse problem to determine a smooth compact Riemannian manifold $(M,g)$ from a restriction of the source-to-solution operator, $Λ_{\mathcal{S,R}}$, for the wave equation on the manifold. Here, $\mathcal{S}$ and $\mathcal{R}$ are open sets on $M$, and $Λ_{\mathcal{S,R}}$ represents the measurements of waves produced by smooth sources supported on $\mathcal{S}$ and observed on $\mathcal{R}$. We emphasise that $\overline{\mathcal{S}}$ and $\overline{\mathcal{R}}$ could be disjoint. We demonstrate that $Λ_{\mathcal{S,R}}$ determines the manifold $(M,g)$ uniquely under the followi…
We survey recent results on inverse problems for geodesic X-ray transforms and other linear and non-linear geometric inverse problems for Riemannian metrics, connections and Higgs fields defined on manifolds with boundary.
Given a connected compact Riemannian manifold $(M,g)$ without boundary, $\dim M\ge 2$, we consider a space--time fractional diffusion equation with an interior source that is supported on an open subset $V$ of the manifold. The time-fractional part of the equation is given by the Caputo derivative of order $α\in(0,1]$, and the space fractional part by $(-Δ_g)^β$, where $β\in(0,1]$ and $Δ_g$ is the Laplace--Beltrami operator on the manifold. The case $α=β=1$, which corresponds to the standard heat equation on the manifold, is an important special case. We construct a specific source such that m…
We consider the Dirichlet-to-Neumann map $Λ$ on a cylinder-like Lorentzian manifold related to the wave equation related to the metric $g$, a magnetic field $A$ and a potential $q$. We show that we can recover the jet of $g,A,q$ on the boundary from $Λ$ up to a gauge transformation in a stable way. We also show that $Λ$ recovers the following three invariants in a stable way: the lens relation of $g$, and the light ray transforms of $A$ and $q$. Moreover, $Λ$ is an FIO away from the diagonal with a canonical relation given by the lens relation. We present applications for recovery of $A$ and $…
This paper explores and ties together three themes. The first is to establish regularity of a metric tensor, on a manifold with boundary, on which there are given Ricci curvature bounds, on the manifold and its boundary, and a Lipschitz bound on the mean curvature of the boundary. The second is to establish geometric convergence of a (sub)sequence of manifolds with boundary with such geometrical bounds and also an upper bound on the diameter and a lower bound on injectivity and boundary injectivity radius, making use of the first part. The third theme involves the uniqueness and conditional st…
We consider stability and approximate reconstruction of Riemannian manifold when the finite number of eigenvalues of the Laplace-Beltrami operator and the boundary values of the corresponding eigenfunctions are given. The reconstruction can be done in stable way when manifold is a priori known to satisfy natural geometrical conditions related to curvature and other invariant quantities.
We analyze the resolvent and define the scattering matrix for asymptotically hyperbolic manifolds with metrics which have a polyhomogeneous expansion near the boundary, and also prove that there is always an essential singularity of the resolvent in this setting. We use this analysis to prove an inverse result for conformally compact odd dimensional Einstein manifolds.
In this paper we consider two inverse problems on a closed connected Riemannian manifold $(M,g)$. The first one is a direct analog of the Gel'fand inverse boundary spectral problem. To formulate it, assume that $M$ is divided by a hypersurface $Σ$ into two components and we know the eigenvalues $λ_j$ of the Laplace operator on $(M,g)$ and also the Cauchy data, on $Σ$, of the corresponding eigenfunctions $ϕ_j$, i.e. $ϕ_j|_Σ,\partial_νϕ_j|_Σ$, where $ν$ is the normal to $Σ$. We prove that these data determine $(M,g)$ uniquely, i.e. up to an isometry. In the second problem we are given much less …
The article deals with electrodynamics in the presence of anisotropic materials having scalar wave impedance. Maxwell's equations written for differential forms over a 3-manifold are analysed. The system is extended to a Dirac type first order elliptic system on the Grassmannian bundle over the manifold. The second part of the article deals with the dynamical inverse boundary value problem of determining the electromagnetic material parameters from boundary measurements. By using the boundary control method, it is proved that the dynamical boundary data determines the electromagnetic travel ti…
We study inverse boundary problems for the advection diffusion equation on an admissible manifold, i.e. a compact Riemannian manifold with boundary of dimension $\ge 3$, which is conformally embedded in a product of the Euclidean real line and a simple manifold. We prove the unique identifiability of the advection term of class $H^1\cap L^\infty$ and of class $H^{2/3}\cap C^{0,1/3}$ from the knowledge of the associated Dirichlet-to-Neumann map on the boundary of the manifold. This seems to be the first global identifiability result for possibly discontinuous advection terms.
We consider the dynamical inverse problem for the Maxwell system on a Riemannian 3-manifold with boundary in a time-optimal set-up. Using BC-method we show that the data of the inverse problem (electromagnetic measurements on the boundary) determine a $C$*-algebra, which has a spectrum homeomorphic to a part of the manifold. This part depends on the duration of measurements.
We study inverse boundary problems for magnetic Schrödinger operators on a compact Riemannian manifold with boundary of dimension $\ge 3$. In the first part of the paper we are concerned with the case of admissible geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. We show that the knowledge of the Cauchy data on the boundary of the manifold for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials, determines the magnetic field and electric potential uniquely. In the …
In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry.
This paper is devoted to an inverse Steklov problem for a particular class of n-dimensional manifolds having the topology of a hollow sphere and equipped with a warped product metric. We prove that the knowledge of the Steklov spectrum determines uniquely the associated warping function up to a natural invariance.
This paper deals with an inverse problem for a non-self-adjoint Schrödinger equation on a compact Riemannian manifold. Our goal is to stably determine a real vector field from the dynamical Dirichlet-to Neumann map. We establish in dimension n greater than 2, an Hölder type stability estimate for the inverse problem under study. The proof is mainly based on the reduction to an equivalent problem for an electro-magnetic Schrödinger equation and the use of a Carleman estimate designed for elliptic operators.
Gel'fand's inverse problem under Ricci curvature bounds
Graduate School of Mathematical Sciences, The University of Tokyo（东京大学大学院数理科学研究科）；Department of Mathematics and Statistics, University of Helsinki（赫尔辛基大学数学与统计系）
