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 q (emission event) to a timelike curve gamma (worldline of receiver), the lightlike geodesics make the arrival time stationary. Here arrival time refers to a parametrization of the timelike curve gamma. 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.