On the existence of a closed geodesic in stationary Lorentz manifolds (Q687499)

A stationary Lorentz manifold \(M\) is a Lorentz manifold of the form \(M = M_ 0 \times \mathbb{R}\), for which the Lorentz metric is positive definite on \(M_ 0\), negative on \(\mathbb{R}\), and is independent of the second factor. The author proves the existence of a closed, nontrivial, spacelike geodesic in a stationary Lorentz manifold with \(M_ 0\) compact. This is done by constructing a functional \(J\), on a Hilbert manifold, which satisfies the Palais-Smale compactness condition and whose critical points are closed geodesics.