In
differential geometry
Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
and
dynamical systems
In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space, such as in a parametric curve. Examples include the mathematical models ...
, a closed geodesic on a
Riemannian manifold
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surf ...
is a
geodesic that returns to its starting point with the same tangent direction. It may be formalized as the projection of a closed orbit of the
geodesic flow on the
tangent space of the manifold.
Definition
In a
Riemannian manifold
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surf ...
(''M'',''g''), a closed geodesic is a curve
that is a
geodesic for the metric ''g'' and is periodic.
Closed geodesics can be characterized by means of a variational principle. Denoting by
the space of smooth 1-periodic curves on ''M'', closed geodesics of period 1 are precisely the
critical points of the energy function
, defined by
:
If
is a closed geodesic of period ''p'', the reparametrized curve
is a closed geodesic of period 1, and therefore it is a critical point of ''E''. If
is a critical point of ''E'', so are the reparametrized curves
, for each
, defined by
. Thus every closed geodesic on ''M'' gives rise to an infinite sequence of critical points of the energy ''E''.
Examples
On the -dimensional
unit sphere with the standard metric, every geodesic – a
great circle – is closed. On a smooth surface topologically equivalent to the sphere, this may not be true, but there are always at least three simple closed geodesics; this is the
theorem of the three geodesics
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical ...
. Manifolds all of whose geodesics are closed have been thoroughly investigated in the mathematical literature. On a compact hyperbolic
surface, whose fundamental group has no torsion, closed geodesics are in one-to-one correspondence with non-trivial
conjugacy class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other ...
es of elements in the
Fuchsian group of the surface.
See also
*
Lyusternik–Fet theorem
*
Theorem of the three geodesics
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical ...
*
Curve-shortening flow
*
Selberg trace formula
*
Selberg zeta function
*
Zoll surface
References
{{Reflist
*
Besse, A.: "Manifolds all of whose geodesics are closed", ''Ergebisse Grenzgeb. Math.'', no. 93, Springer, Berlin, 1978.
Differential geometry
Dynamical systems
Geodesic (mathematics)