In this paper we first study some global properties of the energy functional on a nonreversible Finsler manifold. In particular we present a fully detailed proof of the Palais–Smale condition under the completeness of the Finsler metric. Moreover we define a Finsler metric of Randers type, which we call Fermat metric, associated to a conformally standard stationary spacetime. We shall study the...