View source for Completely-integrable differential equation

An equation of the form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239701.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

for which an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239702.png" />-dimensional integral manifold passes through each point of a certain domain in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239703.png" />. A necessary and sufficient condition for complete integrability of the differential equation (*) is the Frobenius condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239704.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239705.png" /> is the symbol of the [[Exterior product|exterior product]] [[#References|[1]]]. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239706.png" />, this condition has the form:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239707.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239708.png" /></td> </tr></table>

Instead of equation (*) the following system of equations is sometimes considered [[#References|[2]]]:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c0239709.png" /></td> </tr></table>

In this case the conditions of complete integrability assume the form:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397010.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397011.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397012.png" /></td> </tr></table>

The family of integral manifolds of a completely-integrable differential equation is a [[Foliation|foliation]] [[#References|[3]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Frobenius,   "Ueber das Pfaffsche Problem"  ''J. Reine Angew. Math.'' , '''82'''  (1877)  pp. 230–315</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  V.V. Nemytskii,   "On the orbit theory of general dynamic systems"  ''Mat. Sb.'' , '''23 (65)''' :  2  (1948)  pp. 161–186  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S.P. Novikov,   "Topology of foliations"  ''Trans. Moscow Math. Soc.'' , '''14'''  (1965)  pp. 268–304  ''Trudy Moskov. Mat. Obshch.'' , '''14'''  (1965)  pp. 248–278</TD></TR></table>



====Comments====
The exterior product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397013.png" /> is also called the outer product.

An <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397014.png" />-dimensional submanifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397015.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397016.png" /> is an integral manifold of (*) if the restriction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397017.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397018.png" /> is zero; cf. also [[Pfaffian equation|Pfaffian equation]]. Another (dual) way to formulate this is as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397019.png" /> be an open subset where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397020.png" />. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397021.png" /> let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397022.png" /> be the set of all (tangent) vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397023.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397024.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397025.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397026.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397027.png" />-dimensional subspace and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397028.png" /> define a distribution on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397029.png" />. An integral manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397030.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397031.png" /> (or of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397032.png" />) is now an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397033.png" />-dimensional submanifold of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397034.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397035.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397036.png" />. A distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397037.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397038.png" /> is called involutive if for all vector fields <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397039.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397040.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397041.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397042.png" /> also <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397043.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397044.png" />. The Frobenius integrability condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397045.png" /> is equivalent in these terms to the condition that the distribution defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397046.png" /> be involutive. All this generalizes to systems of equations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397047.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397048.png" />; cf. [[Integrable system|Integrable system]].

The phase completely-integrable system (completely-integrable Hamiltonian system), completely-integrable Hamiltonian equation on an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397049.png" />-dimensional manifold refers to a rather different property, viz. that of having <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c023/c023970/c02397050.png" /> (including the Hamiltonian (function) itself) integrals in involution; cf. [[Hamiltonian system|Hamiltonian system]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Cartan,   "Les systèmes différentielles extérieurs et leur applications géométriques" , Hermann  (1945)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  S. Kobayashi,   K. Nomizu,   "Foundations of differential geometry" , '''1–2''' , Interscience  (1963–1969)</TD></TR></table>