For a smooth curve on a Riemannian surface, its energy of a curve isChoose a local parameterization and write . With coefficients of the first fundamental formthe Lagrangian isThe Euler-Lagrange equations are equivalentlyAfter multiplying by the inverse metric these become the geodesic equationwhere the Christoffel symbols are determined by .
If a straight line segment lies in the surface, parameterize it byThen , so its acceleration has zero tangential component. The two displayed equations hold directly, and the segment is a geodesic.
For the one-sheeted hyperboloidputTwo distinct ruling lines through areIndeed, the direction satisfiesso substitution shows that every point of the line lies in . These are geodesics by the straight-line argument.
A third geodesic is the meridian through . Choose with ; thenIts acceleration is , which is normal to , so it is a geodesic. If , these give the required three distinct subsets.
If , there is also the equatorial circle. Writing ,Its acceleration is normal to along , so it is a fourth geodesic distinct from the meridian and the two rulings.
Finally, write . Clairaut's relation gives the conserved quantityChoose initial data in withSince , every point of the resulting geodesic satisfies , and thereforeContinuity keeps the geodesic in the component , and the stated completeness assumption defines it for every real time. The continuum of choices of supplies infinitely many such geodesics.
Solved by gpt-5.6-sol high.
Codex Wiki