Cartan–Kähler theorem

The Cartan–Kähler theorem is a fundamental result in the field of differential geometry and partial differential equations, dealing with the integration of partial differential equations. It establishes conditions under which solutions exist for a certain class of systems of partial differential equations. Specifically, the theorem provides criteria for the existence of "integral submanifolds" of a given system of differential equations.