Complete system

closed system (of differential equations)

A system of first-order partial differential equations:

$$ \tag{1 } F _ {i} ( x, u , p) = 0 ,\ \ 1 \leq i \leq m, $$

$$ x = ( x _ {1} \dots x _ {n} ),\ u = u( x _ {1} \dots x _ {n} ), $$

$$ p = ( p _ {1} \dots p _ {n} ) = \left ( \frac{\partial u }{\partial x _ {1} } \dots \frac{\partial u }{\partial x _ {n} } \right ) , $$

with the following property: For any set of numbers $ ( x, u , p) $ satisfying (1), the equation

$$ F _ {ij} ( x, u , p) = 0,\ \ 1 \leq i, j \leq m, $$

is valid, where $ F _ {ij} = [ F _ {i} , F _ {j} ] $ 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 $ p = ( p _ {1} \dots p _ {n} ) $; if the system is written in the form

$$ P _ {i} ( u) = 0,\ \ 1 \leq i \leq m, $$

where the $ P _ {i} $ are linear first-order differential operators, then these brackets correspond to the commutators $ [ P _ {i} , P _ {j} ] = P _ {i} P _ {j} - P _ {j} P _ {i} $. The system is complete if all commutators $ [ P _ {i} , P _ {j} ] $ can be expressed as linear combinations of the $ P _ {k} $' s with coefficients depending only on $ x = ( x _ {1} \dots x _ {n} ) $.

If $ u = u( x) $ is the joint solution of the two equations

$$ F _ {i} ( x, u , p) = 0,\ \ F _ {j} ( x, u , p) = 0, $$

then $ u $ is also a solution of the equation

$$ \tag{2 } [ F _ {i} , F _ {j} ] ( x, u , p) = 0. $$

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 $ ( x, u , F) $ for which the meaning of the differential equations is retained. These transformations include, for example, diffeomorphisms $ g( y) $, $ y = ( y _ {1} \dots y _ {n} ) $, and also transformations of the following type. Let $ H: \mathbf R ^ {2n+} 1+ m \rightarrow \mathbf R ^ {m} $ be a smooth mapping such that

$$ y = x,\ q = p, $$

$$ v = u ,\ t = H( x, u , p, s), $$

$$ s = ( s _ {1} \dots s _ {m} ),\ t = ( t _ {1} \dots t _ {m} ), $$

is a diffeomorphism $ \mathbf R ^ {2n+} 1+ m \rightarrow \mathbf R ^ {2n+} 1+ m $. This transforms the system (1) into a system

$$ G _ {i} ( x, u , p) = \ H _ {i} ( x, u , p, F ) = 0,\ \ 1 \leq i \leq m. $$

References[edit]

Comments[edit]

A system (1) can be rewritten in the form:

$$ \tag{a1 } \widetilde{F} _ {i} ( \widetilde{x} , \widetilde{p} ) = 0,\ \ i = 1 \dots m, $$

$$ \widetilde{x} \in \mathbf R ^ {n + 1 } , \widetilde{p} = \ \left ( \frac{\partial \widetilde{u} }{\partial x _ {1} } \dots \frac{\partial \widetilde{u} }{\partial x _ {n + 1 } } \right ) \in \mathbf R ^ {n + 1 } , $$

where $ \widetilde{u} $ defines $ u $ implicitly:

$$ \widetilde{u} ( x _ {1} \dots x _ {n} , u ) = 0, $$

and $ u = x _ {n + 1 } $. (The system (1) may admit of singular solutions not represented by (a1), see [1].) The Jacobi brackets $ [ \widetilde{F} _ {i} , \widetilde{F} _ {j} ] $ thus reduce to the Poisson brackets $ \{ \widetilde{F} _ {i} , \widetilde{F} _ {j} \} $.

The system (a1) defines level sets of the functions $ \widetilde{F} _ {i} $, $ i = 1 \dots m $, on the cotangent bundle $ T ^ {*} ( \mathbf R ^ {n + 1 } ) $. (a1) is complete if the Poisson brackets $ \{ \widetilde{F} _ {i} , \widetilde{F} _ {j} \} _ {i, j = 1 } ^ {m} $ vanish on the intersection $ M = \cap _ {i} \{ {( \widetilde{x} , \widetilde{p} ) } : {\widetilde{F} _ {i} ( \widetilde{x} , \widetilde{p} ) = 0 } \} \subset T ^ {*} ( \mathbf R ^ {n + 1 } ) $. (a1) is in involution in a neighbourhood $ U $ of $ ( \widetilde{x} , \widetilde{p} ) \in T ^ {*} ( \mathbf R ^ {n + 1 } ) $ if the Poisson brackets vanish identically on $ U $ and, moreover, $ \{ d \widetilde{F} _ {i} \} _ {1} ^ {m} $ are linearly independent on $ U $.

(a1) is in involution in a neighbourhood of $ M $ if it is complete and the linear independency condition holds on $ M $. 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.

References[edit]