Cartan–Kuranishi prolongation theorem
Given an exterior differential system defined on a manifold M, the Cartan–Kuranishi prolongation theorem says that after a finite number of prolongations the system is either in involution (admits at least one 'large' integral manifold), or is impossible.
History[edit]
The theorem is named after Élie Cartan and Masatake Kuranishi. Cartan made several attempts in 1946 to prove the result, but it was in 1957 that Kuranishi provided a proof of Cartan's conjecture.[1]
Applications[edit]
This theorem is used in infinite-dimensional Lie theory.
See also[edit]
References[edit]
- ^ Bryant, Robert L.; Chern, S. S.; Gardner, Robert B.; Goldschmidt, Hubert L.; Griffiths, P. A. (2013-06-29). Exterior Differential Systems. Springer Science & Business Media. ISBN 978-1-4613-9714-4.
- M. Kuranishi, On É. Cartan's prolongation theorem of exterior differential systems, Amer. J. Math., vol. 79, 1957, p. 1–47
- "Partial differential equations on a manifold", Encyclopedia of Mathematics, EMS Press, 2001 [1994]