A new approach to hyperbolic inverse problems II (Global step)

We study the inverse problem for the second order self-adjoint hyperbolic equation with the boundary data given on a part of the boundary. This paper is the continuation of the author's paper [E]. In [E] we presented the crucial local step of the proof. In this paper we prove the global step. Our method is a modification of the BC-method with some new ideas. In particular, the way of the determination of the metric is new.Comment: 21 pages, 2 figure

A new approach to hyperbolic inverse problems

We present a modification of the BC-method in the inverse hyperbolic problems. The main novelty is the study of the restrictions of the solutions to the characteristic surfaces instead of the fixed time hyperplanes. The main result is that the time-dependent Dirichlet-to-Neumann operator prescribed on a part of the boundary uniquely determines the coefficients of the self-adjoint hyperbolic operator up to a diffeomorphism and a gauge transformation. In this paper we prove the crucial local step. The global step of the proof will be presented in the forthcoming paper.Comment: We corrected the proof of the main Lemma 2.1 by assuming that potentials A(x),V(x) are real value

Inverse problem for wave equation with sources and observations on disjoint sets

We consider an inverse problem for a hyperbolic partial differential equation on a compact Riemannian manifold. Assuming that $\Gamma_1$ and $\Gamma_2$ are two disjoint open subsets of the boundary of the manifold we define the restricted Dirichlet-to-Neumann operator $\Lambda_{\Gamma_1,\Gamma_2}$. This operator corresponds the boundary measurements when we have smooth sources supported on $\Gamma_1$ and the fields produced by these sources are observed on $\Gamma_2$. We show that when $\Gamma_1$ and $\Gamma_2$ are disjoint but their closures intersect at least at one point, then the restricted Dirichlet-to-Neumann operator $\Lambda_{\Gamma_1,\Gamma_2}$ determines the Riemannian manifold and the metric on it up to an isometry. In the Euclidian space, the result yields that an anisotropic wave speed inside a compact body is determined, up to a natural coordinate transformations, by measurements on the boundary of the body even when wave sources are kept away from receivers. Moreover, we show that if we have three arbitrary non-empty open subsets $\Gamma_1,\Gamma_2$, and $\Gamma_3$ of the boundary, then the restricted Dirichlet-to-Neumann operators $\Lambda_{\Gamma_j,\Gamma_k}$ for $1\leq j<k\leq 3$ determine the Riemannian manifold to an isometry. Similar result is proven also for the finite-time boundary measurements when the hyperbolic equation satisfies an exact controllability condition

Optical Aharonov-Bohm effect: an inverse hyperbolic problems approach

We describe the general setting for the optical Aharonov-Bohm effect based on the inverse problem of the identification of the coefficients of the governing hyperbolic equation by the boundary measurements. We interpret the inverse problem result as a possibility in principle to detect the optical Aharonov-Bohm effect by the boundary measurements.Comment: 34 pages. Minor changes, references adde

Multidimensional Borg-Levinson Theorem

We consider the inverse problem of the reconstruction of a Schr\"odinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $\Gamma$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $\Gamma$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as in perturbation theory of eigenvalues. This reduces the problem to an inverse boundary spectral problem solved by the boundary control method

Inverse hyperbolic problems and optical black holes

In this paper we give a more geometrical formulation of the main theorem in [E1] on the inverse problem for the second order hyperbolic equation of general form with coefficients independent of the time variable. We apply this theorem to the inverse problem for the equation of the propagation of light in a moving medium (the Gordon equation). Then we study the existence of black and white holes for the general hyperbolic and for the Gordon equation and we discuss the impact of this phenomenon on the inverse problems

Inverse problems for Schrodinger equations with Yang-Mills potentials in domains with obstacles and the Aharonov-Bohm effect

We study the inverse boundary value problems for the Schr\"{o}dinger equations with Yang-Mills potentials in a bounded domain $\Omega_0\subset\R^n$ containing finite number of smooth obstacles $\Omega_j,1\leq j \leq r$. We prove that the Dirichlet-to-Neumann operator on $\partial\Omega_0$ determines the gauge equivalence class of the Yang-Mills potentials. We also prove that the metric tensor can be recovered up to a diffeomorphism that is identity on $\partial\Omega_0$.Comment: 15 page

Inverse Scattering for Gratings and Wave Guides

We consider the problem of unique identification of dielectric coefficients for gratings and sound speeds for wave guides from scattering data. We prove that the "propagating modes" given for all frequencies uniquely determine these coefficients. The gratings may contain conductors as well as dielectrics and the boundaries of the conductors are also determined by the propagating modes.Comment: 12 page

A Conformally Invariant Holographic Two-Point Function on the Berger Sphere

We apply our previous work on Green's functions for the four-dimensional quaternionic Taub-NUT manifold to obtain a scalar two-point function on the homogeneously squashed three-sphere (otherwise known as the Berger sphere), which lies at its conformal infinity. Using basic notions from conformal geometry and the theory of boundary value problems, in particular the Dirichlet-to-Robin operator, we establish that our two-point correlation function is conformally invariant and corresponds to a boundary operator of conformal dimension one. It is plausible that the methods we use could have more general applications in an AdS/CFT context.Comment: 1+49 pages, no figures. v2: Several typos correcte