A proof of lens rigidity in the category of analytic metrics (Q971501)

On a given compact, analytic Riemannian manifold with boundary it is assumed that all maximally extended geodesics meet the boundary at both ends. If we form the triple consisting of the tangent vectors of the geodesic at the intersection with the boundary and the length of the geodesic we obtain the \textit{lens data.} Under an additional assumption on conjugate points it is shown that the lens data determine the manifold up to an analytic isometry.