Existence of the longest arcs for left-invariant three-dimensional contact sub-Lorentzian structures
This paper establishes sufficient conditions for the existence of longest arcs in left-invariant three-dimensional contact sub-Lorentzian structures on solvable Lie groups and the universal cover of SL(2, R), addressing the nontrivial existence question inherent in such optimal control problems with unbounded control sets.