closed system (of differential equations)
A system of first-order partial differential equations:
with the following property: For any set of numbers satisfying (1), the equation
is valid, where are the Jacobi brackets.
The completeness condition may be formulated somewhat differently for a linear homogeneous system. The Jacobi brackets in that case are linear in the variables ; if the system is written in the form
where the are linear first-order differential operators, then these brackets correspond to the commutators . The system is complete if all commutators can be expressed as linear combinations of the 's with coefficients depending only on .
If is the joint solution of the two equations
then is also a solution of the equation
An arbitrary system of the form (1) is usually extended to a complete one by adding new independent equations to it that have been obtained from the old ones by means of the formation of Jacobi brackets. In this extension, in accordance with (2), none of the solutions will be lost if the system is generally solvable.
A property of the system is that it is completely invariant under those non-singular transformations of the variables for which the meaning of the differential equations is retained. These transformations include, for example, diffeomorphisms , , and also transformations of the following type. Let be a smooth mapping such that
is a diffeomorphism . This transforms the system (1) into a system
|||E. Kamke, "Differentialgleichungen: Lösungen und Lösungsmethoden" , 2. Partielle Differentialgleichungen erster Ordnung für die gesuchte Funktion , Akad. Verlagsgesell. (1944)|
|||N.M. Gyunter, "Integrating first-order partial differential equations" , Leningrad-Moscow (1934) (In Russian)|
|||C. Carathéodory, "Calculus of variations and partial differential equations of the first order" , 1 , Holden-Day (1965) (Translated from German)|
|||E. Goursat, "Leçons sur l'intégration des équations aux dérivées partielles du premier ordre" , Hermann (1891)|
A system (1) can be rewritten in the form:
where defines implicitly:
The system (a1) defines level sets of the functions , , on the cotangent bundle . (a1) is complete if the Poisson brackets vanish on the intersection . (a1) is in involution in a neighbourhood of if the Poisson brackets vanish identically on and, moreover, are linearly independent on .
(a1) is in involution in a neighbourhood of if it is complete and the linear independency condition holds on . Being in involution is a necessary condition for the existence of a solution of the system (1) (or (a1)), cf. Darboux theorem and [a1], Sect. 21.1. As suggested in the main article, these considerations generalize to systems defined on general differentiable manifolds.
|[a1]||L.V. Hörmander, "The analysis of linear partial differential operators" , 3 , Springer (1985)|
Complete system. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Complete_system&oldid=18756