Uniqueness of the partial travel time representation of a compact Riemannian manifold with strictly convex boundary (Q2674906)

The paper deals with the geometric inverse problem of reconstructing a compact Riemannian manifold with strictly convex boundary from its partial travel time data. The data assumes that an open measurement region on the boundary is given, and that for every point in the manifold, the respective distance function to the points on the measurement region is known. The reconstruction is based on embedding the manifold in a function space. Since this requires the differentiation of the distance functions, the paper also studies some global regularity properties of the distance function on a compact Riemannian manifold with strictly convex boundary.