Namespaces
Variants
Actions

Difference between revisions of "Integral invariant"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (fixing spaces)
Line 11: Line 11:
 
{{TEX|done}}
 
{{TEX|done}}
  
''of degree (order)  $  k $,  
+
''of degree (order)  $  k $, of a smooth dynamical system''
of a smooth dynamical system''
 
  
 
An absolute integral invariant is an exterior [[Differential form|differential form]]  $  \phi $
 
An absolute integral invariant is an exterior [[Differential form|differential form]]  $  \phi $
Line 32: Line 31:
 
$$
 
$$
  
An important example of an integral invariant is a volume form  $  \phi ( x) = \rho ( x)  d x _ {1} \wedge \dots \wedge d x _ {n} $(
+
An important example of an integral invariant is a volume form  $  \phi ( x) = \rho ( x)  d x _ {1} \wedge \dots \wedge d x _ {n} $ (where  $  \rho ( x) $
where  $  \rho ( x) $
 
 
is a positive locally integrable (often even continuous or smooth) function in the coordinates). For smooth  $  \rho $
 
is a positive locally integrable (often even continuous or smooth) function in the coordinates). For smooth  $  \rho $
 
this form is an absolute invariant of (1) if
 
this form is an absolute invariant of (1) if
Line 46: Line 44:
  
 
In this case the flow has an [[Invariant measure|invariant measure]]  $  \mu ( A) = \int _ {A} \phi $,  
 
In this case the flow has an [[Invariant measure|invariant measure]]  $  \mu ( A) = \int _ {A} \phi $,  
which is given in (local) coordinates by its density  $  \rho ( x) $(
+
which is given in (local) coordinates by its density  $  \rho ( x) $ (the latter is often called an integral invariant, allowing for some ambiguity of speech).
the latter is often called an integral invariant, allowing for some ambiguity of speech).
 
  
 
A [[Hamiltonian system|Hamiltonian system]] with (generalized) momenta and coordinates  $  p _ {i} , q _ {i} $,  
 
A [[Hamiltonian system|Hamiltonian system]] with (generalized) momenta and coordinates  $  p _ {i} , q _ {i} $,  
Line 62: Line 59:
 
$$
 
$$
  
This fact may be put at the basis of the definition of a Hamiltonian system and may be used to develop the theory of Hamiltonian systems, since many specific properties of such systems are directly related to these integral invariants (cf. [[#References|[4]]], [[#References|[5]]]). The exterior powers  $  \omega  ^ {k} $(
+
This fact may be put at the basis of the definition of a Hamiltonian system and may be used to develop the theory of Hamiltonian systems, since many specific properties of such systems are directly related to these integral invariants (cf. [[#References|[4]]], [[#References|[5]]]). The exterior powers  $  \omega  ^ {k} $ (including the volume form  $  \omega  ^ {m} $)  
including the volume form  $  \omega  ^ {m} $)  
 
 
are absolute, while the products  $  \psi \wedge \omega  ^ {k} $
 
are absolute, while the products  $  \psi \wedge \omega  ^ {k} $
 
are relative integral invariants of any Hamiltonian system. Therefore, they are called universal integral invariants of Hamiltonian systems. Up to a multiplier, all universal integral invariants of Hamiltonian systems can be reduced to the ones indicated (cf. [[#References|[4]]], [[#References|[7]]]).
 
are relative integral invariants of any Hamiltonian system. Therefore, they are called universal integral invariants of Hamiltonian systems. Up to a multiplier, all universal integral invariants of Hamiltonian systems can be reduced to the ones indicated (cf. [[#References|[4]]], [[#References|[7]]]).
Line 69: Line 65:
 
If (1) has an absolute integral invariant  $  \phi $
 
If (1) has an absolute integral invariant  $  \phi $
 
of degree  $  k $,  
 
of degree  $  k $,  
then for any  $  k $-
+
then for any  $  k $-dimensional smooth chain  $  c $ (e.g., for a smooth  $  k $-dimensional manifold),
dimensional smooth chain  $  c $(
 
e.g., for a smooth  $  k $-
 
dimensional manifold),
 
  
 
$$ \tag{2 }
 
$$ \tag{2 }
Line 84: Line 77:
 
All that has been said can easily be generalized to non-autonomous systems  $  \dot{x} = f ( x , t ) $.  
 
All that has been said can easily be generalized to non-autonomous systems  $  \dot{x} = f ( x , t ) $.  
 
The modification given by E. Cartan (cf. [[#References|[3]]]) appears to be most essential. It involves the transition (even in the autonomous case) to an extended phase space (one adds time to the ordinary phase coordinates), in which the integral curves (cf. [[Integral curve|Integral curve]]) of the system of differential equations considered form a certain family of lines (a congruence, cf. [[Congruence of lines|Congruence of lines]]). Cartan requires that the integral of a form  $  \phi $
 
The modification given by E. Cartan (cf. [[#References|[3]]]) appears to be most essential. It involves the transition (even in the autonomous case) to an extended phase space (one adds time to the ordinary phase coordinates), in which the integral curves (cf. [[Integral curve|Integral curve]]) of the system of differential equations considered form a certain family of lines (a congruence, cf. [[Congruence of lines|Congruence of lines]]). Cartan requires that the integral of a form  $  \phi $
over a chain  $  c $(
+
over a chain  $  c $ (or over a cycle, if one discusses a relative integral invariant) remains invariant if each point  $  ( x , t ) \in c $
or over a cycle, if one discusses a relative integral invariant) remains invariant if each point  $  ( x , t ) \in c $
 
 
moves along the integral curve passing through this point; different points may move in different ways as long as this gives a smooth deformation of  $  c $.  
 
moves along the integral curve passing through this point; different points may move in different ways as long as this gives a smooth deformation of  $  c $.  
 
(E.g., in the new sense it is not  $  \psi $
 
(E.g., in the new sense it is not  $  \psi $

Revision as of 15:39, 4 March 2022


of degree (order) $ k $, of a smooth dynamical system

An absolute integral invariant is an exterior differential form $ \phi $ of degree $ k $ that is transformed into itself by the transformations generated by this system.

A relative integral invariant is an exterior differential form $ \phi $ of degree $ k $ whose exterior differential is an absolute integral invariant (of degree $ k + 1 $).

One usually speaks of integral invariants of a flow (continuous-time dynamical system) $ \{ S _ {t} \} $ defined by a system of ordinary linear differential equations $ \dot{x} = f ( x) $, where $ f $ is a smooth vector field given on some domain in a Euclidean space (or on a manifold). In coordinates (local coordinates in the case of a manifold) this system has the form

$$ \tag{1 } \dot{x} _ {i} = f _ {i} ( x _ {1} \dots x _ {n} ) ,\ \ i = 1 \dots n . $$

An important example of an integral invariant is a volume form $ \phi ( x) = \rho ( x) d x _ {1} \wedge \dots \wedge d x _ {n} $ (where $ \rho ( x) $ is a positive locally integrable (often even continuous or smooth) function in the coordinates). For smooth $ \rho $ this form is an absolute invariant of (1) if

$$ \mathop{\rm div} ( \rho f ) = \ \sum _ { i= } 1 ^ { n } \frac{\partial ( \rho f _ {i} ) }{\partial x _ {i} } = 0 . $$

In this case the flow has an invariant measure $ \mu ( A) = \int _ {A} \phi $, which is given in (local) coordinates by its density $ \rho ( x) $ (the latter is often called an integral invariant, allowing for some ambiguity of speech).

A Hamiltonian system with (generalized) momenta and coordinates $ p _ {i} , q _ {i} $, $ i = 1 \dots m $, has the relative integral invariant

$$ \psi = \sum p _ {i} d q _ {i} $$

and the absolute integral invariant

$$ \omega = \sum d p _ {i} \wedge d q _ {i} . $$

This fact may be put at the basis of the definition of a Hamiltonian system and may be used to develop the theory of Hamiltonian systems, since many specific properties of such systems are directly related to these integral invariants (cf. [4], [5]). The exterior powers $ \omega ^ {k} $ (including the volume form $ \omega ^ {m} $) are absolute, while the products $ \psi \wedge \omega ^ {k} $ are relative integral invariants of any Hamiltonian system. Therefore, they are called universal integral invariants of Hamiltonian systems. Up to a multiplier, all universal integral invariants of Hamiltonian systems can be reduced to the ones indicated (cf. [4], [7]).

If (1) has an absolute integral invariant $ \phi $ of degree $ k $, then for any $ k $-dimensional smooth chain $ c $ (e.g., for a smooth $ k $-dimensional manifold),

$$ \tag{2 } \int\limits _ { c } \phi = \int\limits _ {S _ {t} ( c) } \phi . $$

If (1) has a relative integral invariant, then (2) holds, generally speaking, only when the chain is the boundary of a chain of dimension $ k + 1 $. Sometimes relative integral invariants are defined by the stronger condition that (2) holds for all cycles $ c $. Initially, integral invariants were defined by H. Poincaré (cf. [1], [2]) as integrals of the type above that remain invariant under the action of the flow on the domain of integration.

All that has been said can easily be generalized to non-autonomous systems $ \dot{x} = f ( x , t ) $. The modification given by E. Cartan (cf. [3]) appears to be most essential. It involves the transition (even in the autonomous case) to an extended phase space (one adds time to the ordinary phase coordinates), in which the integral curves (cf. Integral curve) of the system of differential equations considered form a certain family of lines (a congruence, cf. Congruence of lines). Cartan requires that the integral of a form $ \phi $ over a chain $ c $ (or over a cycle, if one discusses a relative integral invariant) remains invariant if each point $ ( x , t ) \in c $ moves along the integral curve passing through this point; different points may move in different ways as long as this gives a smooth deformation of $ c $. (E.g., in the new sense it is not $ \psi $ that is a relative integral invariant of Hamiltonian systems, but the extremely useful Cartan–Poincaré integral invariant $ \sum p _ {i} d q _ {i} - H dt $, where $ H $ is the Hamiltonian, cf. [3][5].) A related definition is given in [6].

References

[1] H. Poincaré, "Sur le problème des trois corpses et les équations de la dynamique" Acta Math. , 13 (1890) pp. 1–270
[2] H. Poincaré, "Les méthodes nouvelles de la mécanique céleste" , 3 , Gauthier-Villars (1899) pp. Chapt. 26
[3] E. Cartan, "Leçons sur les invariants intégraux" , Hermann (1922)
[4] F.R. [F.R. Gantmakher] Gantmacher, "Lectures in analytical mechanics" , MIR (1975) (Translated from Russian)
[5] V.I. Arnol'd, "Mathematical methods of classical mechanics" , Springer (1978) (Translated from Russian)
[6] C. Godbillon, "Géométrie différentielle et mécanique analytique" , Hermann (1969)
[7] Hwa-Chung Lee, "The universal invariants of Hamilton systems and applications to the theory of canonical transformations" Proc. Roy. Soc. Edinburgh Ser. A , 62 (1947) pp. 237–246
How to Cite This Entry:
Integral invariant. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_invariant&oldid=52183
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article