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
Stable reconstruction of simple Riemannian manifolds from unknown interior sources
Abstract Consider the geometric inverse problem: there is a set of delta-sources in spacetime that emit waves travelling at unit speed. If we know all the arrival times at the boundary cylinder of the spacetime, can we reconstruct the space, a Riemannian manifold with boundary? With a finite set of sources we can only hope to get an approximate reconstruction, and we indeed provide a discrete metric approximation to the manifold with explicit data-driven error bounds when the manifold is simple. This is the geometrization of a seismological inverse problem where we measure the arrival times on the surface of waves from an unknown number of unknown interior microseismic events at unknown times. The closeness of two metric spaces with a marked boundary is measured by a labeled Gromov–Hausdorff distance. If measurements are done for infinite time and spatially dense sources, our construction produces the true Riemannian manifold and the finite-time approximations converge to it in the metric sense
more »
« less
- Award ID(s):
- 2108175
- PAR ID:
- 10435993
- Publisher / Repository:
- IOP Publishing
- Date Published:
- Journal Name:
- Inverse Problems
- Volume:
- 39
- Issue:
- 9
- ISSN:
- 0266-5611
- Page Range / eLocation ID:
- Article No. 095002
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
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
-
A Riemannian cone (C,gC) is by definition a warped product C=R+×L with metric gC=dr2⊕r2gL, where (L,gL) is a compact Riemannian manifold without boundary. We say that C is a Calabi-Yau cone if gC is a Ricci-flat Kähler metric and if C admits a gC-parallel holomorphic volume form; this is equivalent to the cross-section (L,gL) being a Sasaki-Einstein manifold. In this paper, we give a complete classification of all smooth complete Calabi-Yau manifolds asymptotic to some given Calabi-Yau cone at a polynomial rate at infinity. As a special case, this includes a proof of Kronheimer's classification of ALE hyper-Kähler 4-manifolds without twistor theory.more » « less
-
In this paper, we formulate a geometric nonlinear theory of the mechanics of accreting–ablating bodies. This is a generalization of the theory of accretion mechanics of Sozio & Yavari (Sozio & Yavari 2019J. Nonlinear Sci.29, 1813–1863 (doi:10.1007/s00332-019-09531-w)). More specifically, we are interested in large deformation analysis of bodies that undergo a continuous and simultaneous accretion and ablation on their boundaries while under external loads. In this formulation, the natural configuration of an accreting–ablating body is a time-dependent Riemannian -manifold with a metric that is an unknowna prioriand is determined after solving the accretion–ablation initial-boundary-value problem. In addition to the time of attachment map, we introduce a time of detachment map that along with the time of attachment map, and the accretion and ablation velocities, describes the time-dependent reference configuration of the body. The kinematics, material manifold, material metric, constitutive equations and the balance laws are discussed in detail. As a concrete example and application of the geometric theory, we analyse a thick hollow circular cylinder made of an arbitrary incompressible isotropic material that is under a finite time-dependent extension while undergoing continuous ablation on its inner cylinder boundary and accretion on its outer cylinder boundary. The state of deformation and stress during the accretion–ablation process, and the residual stretch and stress after the completion of the accretion–ablation process, are computed. This article is part of the theme issue ‘Foundational issues, analysis and geometry in continuum mechanics’.more » « less
