Lens rigidity in 2D: The reconstruction of a Riemann surface from its geodesic lengths

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Alexakis, Spyros, Lassas, Matti
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866917187506143232
author Alexakis, Spyros
Lassas, Matti
author_facet Alexakis, Spyros
Lassas, Matti
contents We address the question of whether a Riemannian manifold-with-boundary (M,g) in dimension two is uniquely determined from knowledge of the distances between points on its boundary. An affirmative answer is called boundary rigidity for (M,g); it is closely related to lens rigidity. The latter question originates in the problem of reconstructing the speed of sound in an unknown medium from measurements of the travel time of sound waves that are sent in and ultimately return to the boundary. We prove essentially optimal results on these rigidity questions: Our first result answers proves rigidity locally, near a convex portion of the boundary. Our second result proves rigidity globally, for manifolds with convex boundary, in the absence of trapping (closed geodesics), thus confirming a conjecture of Uhlmann. Our final result proves the optimal reconstruction for convex boundaries even in the presence of trapping, showing rigidity up to outermost trapped geodesics. Our results thus extend the classical work of Pestov and Uhlmann on rigidity of simple 2-manifolds, as well as the many prior results on injectivity of the X-ray transform, which address linearized versions of the rigidity problem. \par Our method is to treat the (non-linear) rigidity problem directly, where we simultaneously re-cast the lens data as generalized Riemannian circles, and obtain rigidity for these ``pseudo-circles'', by studying a system of equations that we show these objects must satisfy. The rigidity we obtain ultimately is proven via {novel} estimates that are reminiscent of energy-type estimates for hyperbolic equations.
format Preprint
id arxiv_https___arxiv_org_abs_2510_27085
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Lens rigidity in 2D: The reconstruction of a Riemann surface from its geodesic lengths
Alexakis, Spyros
Lassas, Matti
Differential Geometry
Analysis of PDEs
53C24, 35R30, 53CC22
We address the question of whether a Riemannian manifold-with-boundary (M,g) in dimension two is uniquely determined from knowledge of the distances between points on its boundary. An affirmative answer is called boundary rigidity for (M,g); it is closely related to lens rigidity. The latter question originates in the problem of reconstructing the speed of sound in an unknown medium from measurements of the travel time of sound waves that are sent in and ultimately return to the boundary. We prove essentially optimal results on these rigidity questions: Our first result answers proves rigidity locally, near a convex portion of the boundary. Our second result proves rigidity globally, for manifolds with convex boundary, in the absence of trapping (closed geodesics), thus confirming a conjecture of Uhlmann. Our final result proves the optimal reconstruction for convex boundaries even in the presence of trapping, showing rigidity up to outermost trapped geodesics. Our results thus extend the classical work of Pestov and Uhlmann on rigidity of simple 2-manifolds, as well as the many prior results on injectivity of the X-ray transform, which address linearized versions of the rigidity problem. \par Our method is to treat the (non-linear) rigidity problem directly, where we simultaneously re-cast the lens data as generalized Riemannian circles, and obtain rigidity for these ``pseudo-circles'', by studying a system of equations that we show these objects must satisfy. The rigidity we obtain ultimately is proven via {novel} estimates that are reminiscent of energy-type estimates for hyperbolic equations.
title Lens rigidity in 2D: The reconstruction of a Riemann surface from its geodesic lengths
topic Differential Geometry
Analysis of PDEs
53C24, 35R30, 53CC22
url https://arxiv.org/abs/2510.27085