An official website of the United States government
Abstract We prove that the reconstruction of a certain type of length spaces from their travel time data on a closed subset is Lipschitz stable. The travel time data is the set of distance functions from the entire space, measured on the chosen closed subset. The case of a Riemannian manifold with boundary with the boundary as the measurement set appears is a classical geometric inverse problem arising from Gel’fand’s inverse boundary spectral problem. Examples of spaces satisfying our assumptions include some non-simple Riemannian manifolds, Euclidean domains with non-trivial topology, and metric trees.
more »
« less
Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
-
We study the unique recovery of time-independent lower order terms appearing in the symmetric first order perturbation of the Riemannian wave equation by sending and measuring waves in disjoint open sets of an a priori known closed Riemannian manifold. In particular, we show that if the set where we capture the waves satisfies a geometric control condition as well as a certain local symmetry condition for the distance functions, then the aforementioned measurement is sufficient to recover the lower order terms up to the natural gauge. For instance, our result holds if the complement of the receiver set is contained in a simple Riemannian manifold.more » « lessFree, publicly-accessible full text available June 30, 2027
-
We introduce and study a new family of tensor tomography problems. At rank 2 it corresponds to linearization of travel time of elastic waves, measured for all polarizations. We provide a kernel characterization for ranks up to 2. The kernels consist of potential tensors, but in an unusual sense: the associated differential operators have degree 2 instead of the familiar 1. The proofs are based on Fourier analysis, Helmholtz decompositions, and cohomology.more » « less
-
We study an inverse problem of determining a time-dependent potential appearing in the wave equation on conformally transversally anisotropic manifolds of dimension three or higher. These are compact Riemannian manifolds with boundary that are conformally embedded in a product of the real line and a transversal manifold. Under the assumption of the attenuated geodesic ray transform being injective on the transversal manifold, we prove the unique determination of time-dependent potentials from the knowledge of a certain partial Cauchy data set.more » « less
-
We study an inverse problem of determining a time-dependent damping coefficient and potential appearing in the wave equation in a compact Riemannian manifold of dimension three or higher. More specifically, we are concerned with the case of conformally transversally anisotropic manifolds, or in other words, compact Riemannian manifolds with boundary conformally embedded in a product of the Euclidean line and a transversal manifold. With an additional assumption of the attenuated geodesic ray transform being injective on the transversal manifold, we prove that the knowledge of a certain partial Cauchy data set determines the time-dependent damping coefficient and potential uniquely.more » « less
-
Jiaping Wang (Ed.)We provide new proofs based on the Myers–Steenrod theorem to confirm that travel time data, travel time difference data and the broken scattering relations determine a simple Riemannian metric on a disc up to the natural gauge of a boundary fixing diffeomorphism. Our method of the proof leads to a Lipschitz-type stability estimate for the first two data sets in the class of simple metrics.more » « less
