The Morse index theorem for mechanical systems with reflections

We prove a Morse index theorem for action functionals on paths that are allowed to reflect at a hypersurface (either in the interior or at the boundary of a manifold). Both fixed and periodic boundary conditions are treated.