Abstract. The Jacobi-Maupertuis metric allows one to reformulate Newton's equations as geodesic equations for a Riemannian metric which degenerates at the Hill boundary. We prove that a JM geodesic which comes sufficiently close to a regular point of the boundary contains pairs of conjugate points close to the boundary. We prove the conjugate locus of any point near enough to the boundary is a hypersurface tangent to the boundary. Our method of proof is to reduce analysis of geodesics near the boundary to that of solutions to Newton's equations in the simplest model case: a constant force. This model case is equivalent to the beginning physics problem of throwing balls upward from a fixed point at fixed speeds and describing the resulting arcs, see
Results and motivationOne constructs the Jacobi metric ds 2 JM of classical mechanics by fixing the total energy E of the system and multiplying the kinetic energy metric ds 2 K by the conformal factorwhere V is the potential energy. It is well-known that the geodesics for this Jacobi-Maupertuis metric (henceforth JM metric for short) are, up to reparameterization, exactly the solutions to Newton's equations having energy E. (See Proposition 1 below for a careful statement. See [1, Theorem 3.7.7] for another discussion and a nice proof.) The domain of the Jacobi metric is the domain in configuration space where this conformal factor is non-negative and is called the Hill region:The Hill region includes the Hill boundary (sometimes called the zero velocity surface) where the conformal factor, and hence the metric, vanishes:A "regular point" q 0 of the Hill boundary is one for which df (q 0 ) = 0. Here is our main result.Theorem 1. Any JM geodesic which comes sufficiently close to a regular point q 0 of the Hill boundary contains a pair of conjugate points close to q 0 which are conjugate along a short arc close to q 0 . In particular, such a geodesic fails to minimize JM length.This theorem is a direct consequence of a structure theorem, Theorem 2 below, regarding the conjugate locus of near-boundary points, and results from Seifert's seminal paper [6] which we recall in the next section.
R. MontgomeryMotivations. Two questions motivated this paper. 1. Can the calculus of variations, applied to the JM metric reformulation of mechanics, uncover new results regarding the classical three-body problem? The direct method of the calculus of variations breaks down at the Hill boundary since curves lying in the boundary have zero JM length. A deeper understanding of the behaviour of near-boundary JM geodesics seems necessary to the further development of JM variational methods in case where the Hill boundary is not empty. For some results in celestial mechanics based on JM variational methods in instances where the Hill boundary is not empty see [5] and [7] whin this direction 2. Does the fact that JM curvatures tend to positive infinity imply there are conjugate points near the boundary? Let q be a point near a regular point of the Hill boundary and let y denote its Rieman...