Trajectories of Affine Control Systems and Geodesics of a Spacetime with a Causal Killing Vector Field

Abstract

We study the geodesic connectedness of a globally hyperbolic spacetime (M,g) admitting a complete smooth Cauchy hypersurface S and endowed with a complete causal Killing vector field K. The main assumptions are that the kernel distribution D\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\mathcal D$\\end{document} of the one-form induced by K on S is non-integrable and that the gradient of g(K,K) is orthogonal to D\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\mathcal {D}$\\end{document}. We approximate the metric g by metrics gε smoothly depending on a real parameter ε and admitting K as a timelike Killing vector field. A known existence result for geodesics of such type of metrics provides a sequence of approximating solutions, joining two given points, of the geodesic equations of (M,g) and whose Lorentzian energy turns out to be bounded thanks to an argument involving trajectories of some affine control systems related with D\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$\\mathcal {D}$\\end{document}.