---
tag: XGDJ4V44PD
kind: statement
role: theorem
name: Cartan–Kähler theorem
msc: [58A15, 35A10]
uses: [901CCKQHVY, WV4S47X6QC, F45VQ47GPV, 081WKEDK6C, VKFW27WXEZ, 97HMV9BT2W, 5Q4BHBFXJY]
about: [901CCKQHVY]
sources:
  - url: https://en.wikipedia.org/wiki/Cartan%E2%80%93K%C3%A4hler_theorem
same_as:
  wikidata: Q5047052
  wikipedia: Cartan–Kähler theorem
---

## Statement

Let $M$ be a real-analytic manifold and let $\mathcal{I}$ be an [[exterior differential system|901CCKQHVY]] on $M$ generated by real-[[analytic|081WKEDK6C]] differential forms.
Let $p \in M$ and let $E \subseteq T_pM$ be an $n$-dimensional ordinary integral element of $\mathcal{I}$, in the sense of [[Cartan's test|WV4S47X6QC]].
So $E$ has a flag $\set{0} = E_0 \subset E_1 \subset \dots \subset E_n = E$ of integral elements with $\dim E_k = k$ and $E_k$ regular for $k < n$.
Then there is a real-analytic $n$-dimensional integral manifold $N \subseteq M$ of $\mathcal{I}$, a [[submanifold|VKFW27WXEZ]] with $p \in N$ and $T_pN = E$.

## Remarks

The proof builds $N$ one dimension at a time.
Start from a point.
An integral manifold of dimension $k$, tangent to $E_k$, is extended to one of dimension $k + 1$, tangent to $E_{k+1}$.
This step solves an initial value problem with the [[Cauchy–Kovalevskaya theorem|97HMV9BT2W]].
Regularity of $E_k$ ensures that the equations to solve are in Cauchy–Kovalevskaya form, and closure of $\mathcal{I}$ under $d$ ensures that the new manifold is again integral.
At each step there is freedom in the choice of initial data, and counting it gives the size of the space of solutions.

Example: let $\mathcal{I}$ be generated by $1$-forms $\theta^1, \dots, \theta^s$, independent at each point of an $m$-dimensional manifold.
If $d\theta^a \equiv 0$ modulo $\theta^1, \dots, \theta^s$, then every $(m - s)$-plane in the kernel of the $\theta^a$ is ordinary.
The theorem then gives integral manifolds of dimension $m - s$, as does the [[Frobenius theorem|5Q4BHBFXJY]], which holds without analyticity.

Analyticity is needed in general.
The method rests on the Cauchy–Kovalevskaya theorem, which has no smooth version.
Lewy's example gives a linear partial differential equation with polynomial coefficients and a smooth right-hand side with no solution near any point.
Writing such an equation as an exterior differential system shows that the smooth analogue of the theorem fails.

## Explanations

### L1 human

The theorem gives solutions to systems of partial differential equations written in the language of differential forms.
It says that if the algebraic test of Cartan is passed at a point, then a genuine solution passes through that point with the predicted tangent plane.
It needs all data to be real-analytic, that is, given locally by convergent power series.

### L2 human

The theorem is the main existence result of the theory of exterior differential systems.
It contains the Cauchy–Kovalevskaya theorem and, in the analytic case, the Frobenius theorem.
It was used, for instance, to show that every real-analytic Riemannian manifold of dimension $n$ embeds locally isometrically into Euclidean space of dimension $n(n+1)/2$, the Cartan–Janet theorem.
In practice one first checks Cartan's test, prolonging the system if the test fails, and then applies the theorem.