Abstract
We investigate the space of singular curves associated to a distribution ofk-planes, or, what is the same thing, a nonlinear deterministic control system linear in controls. A singular curve is one for which the associated linearized system is not controllable. If a quadratic positive-definite cost function is introduced, then the corresponding optimal control problem is known as the sub-Riemannian geodesic problem. The original motivation for our work was the question “Are all sub-Riemannian minimizers smooth?” which is equivalent to the question “Are singular minimizers necessarily smooth?” Our main result concerns the singular curves for a class of homogeneous systems whose state spaces are compact Lie groups. We prove that for this class each singular curve lies in a lower-dimensional subgroup within which it is regular and we use this result to prove that all sub-Riemannian minimizers are smooth. A central ingredient of our proof is a symplectic-geometric characterization of singular curves formulated by Hsu. We extend this characterization to nonsmooth singular curves. We find that the symplectic point of view clarifies the situation and simplifies calculations.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. F. Adams,Lectures on Lie Groups, University of Chicago Press, Chicago, 1969.
A. A. Agrachev and R. V. Gamkrelidze, The exponential representation of flows and chronological calculus,Mat. Sb.,109 (1978), 467–532.
J.-M. Bismut,Large Deviations and the Malliavin Calculus, Birkhauser, Boston, 1984.
R. W. Brockett, Nonlinear control theory and differential geometry,Proceedings of the International Congress of Mathematicians, Warszawa, 1983, pp. 1357–1368.
R. Bryant and L. Hsu, Rigidity of integral curves of rank two distributions,Invent. Math.,114 (1993), 435–461.
U. Hamenstädt, Some regularity theorems for Carnot-Caratheodory metrics,J. Differential Geom.,32 (1990), 819–850.
U. Hamenstädt, Left Invariant Bracket Generating Distributions on Lie Groups, Handwritten notes, 1991.
L. Hsu, Calculus of variations via the Griffiths formalism,J. Differential Geom.,36 (1991), 551–591.
E. Lerman, How fat is a fat bundle?,Lett. Math. Phys.,15 (1988), 335–339.
W.-S. Liu and H. J. Sussmann, Shortest paths for sub-Riemannian metrics on rank two distributions,Trans. Amer. Math. Soc. (to appear).
J. Martinet, Sur les singularites des formes differentialles,Ann. Inst. Fourier,20(1) (1970), 95–198.
L. S. Pontrjagin, V. G. Boltyanskii, R. V. Gamkrelidze, and E. F. Mishchenko,The Mathematical Theory of Optimal Processes, Wiley Interscience, New York, 1962.
C. B. Rayner, The exponential map for the Lagrange problem on differentiable manifolds,Philos. Trans. Roy. Soc. London Ser. A,262(1127) (1967), 299–344.
E. D. Sontag,Mathematical Control Theory, Springer-Verlag, New York, 1990.
R. Strichartz, Sub-Riemannian geometry,J. Differential Geom.,24 (1983), 221–263.
H. J. Sussmann, A weak regularity theorem for real analytic optimal control problems,Rev. Mat. Iberoamer.,2(3) (1986), 307–317.
A. Weinstein, Fat bundles and symplectic manifolds,Adv. in Math.,37 (1980), 239–250.
M. Ya. Zhitomirskii,Typical Singularities of Differential 1-Forms and Pfaffian Equations, Translations of Mathematical Monographs, Vol. 113, American Mathematical Society, Providence, Rhode Island, 1991.
Author information
Authors and Affiliations
Additional information
This work was supported by National Science Foundation Grant DMS-912708 and a Faculty Research Grant from the University of California.
Rights and permissions
About this article
Cite this article
Montgomery, R. Singular extremals on Lie groups. Math. Control Signal Systems 7, 217–234 (1994). https://doi.org/10.1007/BF01212270
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01212270