Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-14/3/c/solution
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 14 3 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Full equality of the Riemannian metrics at the boundary identifies their boundary unit bundles, outward normals and induced boundary Riemannian metrics. We show directly that the common boundary distance function determines both endpoint directions.
For distinct boundary points , let be the unique joining unit-speed geodesic, with initial velocity and final velocity . The first variation of its length gives, for and ,Indeed, integration by parts in the length variation leaves just the endpoint terms, because the interior term contains . The Riemannian metric is simple, so the off-diagonal endpoint dependence is smooth and these derivatives are valid.
Thus the tangential components are and . Unit speed and the incoming/outgoing signs supply the missing normal components:All quantities on the right use only boundary distance and the common boundary Riemannian metric. Every strictly incoming vector for has some exit point ; the geodesic joining the same pair for has exactly the same reconstructed initial and final vectors. Hence both geodesic scattering relations give the same exit for that input. Tangential vectors are fixed, and the outgoing extensions agree as inverses. ThereforeIn fact their exit times also agree, since each is .
New to topics? Read the docs here!