In the theory of differential forms, a differential ideal I is an algebraic ideal in the ring of smooth differential forms on a smooth manifold, in other words a graded ideal in the sense of ring theory, that is further closed under exterior differentiation d, meaning that for any form α in I, the exterior derivative dα is also in I.
In the theory of differential algebra, a differential ideal I in a differential ring R is an ideal which is mapped to itself by each differential operator.
An exterior differential system consists of a smooth manifold
and a differential ideal An integral manifold of an exterior differential system
consists of a submanifold
having the property that the pullback to
of all differential forms contained in
vanishes identically.
One can express any partial differential equation system as an exterior differential system with independence condition.
Suppose that we have a kth order partial differential equation system for maps
, given by The graph of the
of any solution of this partial differential equation system is a submanifold
of the jet space, and is an integral manifold of the contact system
{\displaystyle du^{a}-p_{i}^{a}dx^{i},\dots ,dp_{I}^{a}-p_{Ij}^{p}dx^{j}{}_{1\leq |I|\leq k-1}}
This idea allows one to analyze the properties of partial differential equations with methods of differential geometry.
For instance, we can apply the Cartan–Kähler_theorem to a system of partial differential equations by writing down the associated exterior differential system.
We can frequently apply Cartan's equivalence method to exterior differential systems to study their symmetries and their diffeomorphism invariants.
A differential ideal
is perfect if it has the property that if it contains an element
then it contains any element
In other words, perfect differential ideals are radical differential ideals.
This differential geometry-related article is a stub.
You can help Wikipedia by expanding it.