Orbits of families of vector fields and integrability of distributions

Hector J. Sussmann

Research output: Contribution to journalArticlepeer-review

509 Scopus citations

Abstract

Let D be an arbitrary set of Cvector fields on the Cmanifold M. It is shown that the orbits of D are Csubmanifolds and that, moreover, they are the maximal integral submanifolds of a certain Cdistribution Pp. (In general, the dimension of Pp(m) will not be the same for all m £M.) The second main result gives necessary and sufficient conditions for a distribution to be integrable. These two results imply as easy corollaries the theorem of Chow about the points attainable by broken integral curves of a family of vector fields, and all the known results about integrability of distributions (i.e. the classical theorem of Frobenius for the case of constant dimension and the more recent work of Hermann, Nagano, Lobry and Matsuda). Hermann and Lobry studied orbits in connection with their work on the accessibility problem in control theory. Their method was to apply Chow’s theorem to the maximal integral submanifolds of the smallest distribution A such that every vector field X in the Lie algebra generated by D belongs to A i.e. X(m) € A(m) for every m eM), Their work therefore requires the additional assumption that A be integrable. Here the opposite approach is taken. The orbits are studied directly, and the integrability of A is not assumed in proving the first main result. It turns out that A is integrable if and only if A = Pp, and this fact makes it possible to derive a characterization of integrability and Chow’s theorem. Therefore, the approach presented here generalizes and unifies the work of the authors quoted above.

Original languageEnglish (US)
Pages (from-to)171-188
Number of pages18
JournalTransactions of the American Mathematical Society
Volume180
DOIs
StatePublished - Jun 1973
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • General Mathematics
  • Applied Mathematics

Fingerprint

Dive into the research topics of 'Orbits of families of vector fields and integrability of distributions'. Together they form a unique fingerprint.

Cite this