Fermat Principle in Finsler Spacetimes

It is shown that, on a manifold with a Finsler metric of Lorentzian signature, the lightlike geodesics satisfy the following variational principle. Among all lightlike curves from a point (emission event) to a timelike curve (worldline of receiver), the lightlike geodesics make the arrival time stationary. Here ``arrival time'' refers to a parametrization of the timelike curve. This variational principle can be applied (i) to the vacuum light rays in an alternative spacetime theory, based on Finsler geometry, and (ii) to light rays in an anisotropic non-dispersive medium with a general-relativistic spacetime as background.