View source for Quasi-periodic motion

<!--
q0766401.png
$#A+1 = 42 n = 0
$#C+1 = 42 : ~/encyclopedia/old_files/data/Q076/Q.0706640 Quasi\AAhperiodic motion
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A motion of a particle according to  $  x( t) = F( t) $, 
where  $  F( t) $
is a (vector-valued) quasi-periodic function.

====Comments====
Let  $  ( \omega _ {1} \dots \omega _ {n} ) $
be  $  n $
real numbers,  $  n \geq  2 $, 
that are incommensurate, i.e. independent over  $  \mathbf Q $, 
i.e.  $  ( k \cdot \omega ) = 0 $, 
$  k \in \mathbf Z  ^ {n} $, 
implies  $  k = 0 $. 
Then the  "rectilinear motion"  on the torus  $  T  ^ {n} = \mathbf R  ^ {n} / \mathbf Z  ^ {n} $
defined by  $  t \mapsto ( \omega _ {1} t \dots \omega _ {n} t ) $
is quasi-periodic (and not periodic because of the incommensurability). This is typical in the sense that any quasi-periodic motion is a composition of this with a vector-valued periodic function.

Let a Hamiltonian function  $  H _ {0} ( p , q) $
define a completely-integrable system (cf. [[Completely-integrable differential equation|Completely-integrable differential equation]]). Then there are new symplectic coordinates, called action angle coordinates,  $  I, \theta $
in which the Hamiltonian takes the form  $  H _ {0} = H _ {0} ( I) $
and the Hamiltonian equations become

$$ \tag{a1 }
\left{} 
\begin{array}{c}
\dot{I} _ {i}  =  0 ,\  \textrm{ i.e.  } \ 
I _ {i}  \textrm{ is  constant  } ,  \\
\dot \theta  _ {i}  =  
\frac{\partial  H _ {0} }{\partial  I _ {i} }

 =  \omega _ {i} ( I).  \\
\end{array}
 \right \}
$$

The phase space in this case fibres into invariant tori of dimension  $  n $, 
and the motion on each is of the form  $  t \mapsto ( \omega _ {1} ( I) t \dots \omega _ {n} ( I) t ) $
i.e. quasi-periodic (or periodic, or a mixture of these two, Arnol'd's theorem). (In [[#References|[a1]]] these motions are called conditionally periodic.) These tori are the level sets  $  I _ {i} ( p, q) = \textrm{ const } $, 
$  i = 1 \dots n $. 
Such a torus is called a non-resonant torus if the corresponding frequencies  $  \omega _ {i} ( I) $
are functionally independent, i.e. if

$$ \tag{a2 }
 \mathop{\rm det} \left (

\frac{\partial   ^ {2} H _ {0} }{\partial  I _ {i} \partial  I _ {j} }
 \right )  \neq  0 .
$$

It can be shown that the non-resonant tori form a set of full measure. Nevertheless, invariant resonant tori do exist and they are mixed in such a way that they too form a dense set.

Now consider a small perturbation of an integrable system satisfying (a2):

$$ 
H  =  H _ {0} + \epsilon H _ {1} ,
$$

where  $  H _ {1} $
is periodic in the angle variables. The famous KAM theorem (Kolmogorov–Arnol'd–Moser theorem) says that if  $  \epsilon $
is small enough, then for almost-all  $  \omega = \omega ( I) $
there exists an invariant torus  $  T( \omega ) $
of the perturbed system that is close to the invariant torus  $  T _ {0} ( \omega ) $
of the unperturbed system. The theorem was stated (in an analytic case) by A.N. Kolmogorov [[#References|[a2]]] and proved by V.I. Arnol'd and J. Moser (different cases) [[#References|[a3]]], [[#References|[a4]]]. Moreover, the union of the invariants  $  T( \omega  ^ {*} ) $
forms a set of positive measure and the measure of the complement goes to zero as  $  \epsilon \rightarrow 0 $. 
There is much more to this theorem. In particular, it specifies a set of  $  \omega $
which do indeed have invariant tori associated to them. These are  $  \omega $
which are  "sufficiently incommensurate" , which means that they satisfy an equality

$$ 
| k \cdot \omega |  = \ 
| k _ {1} \omega _ {1} + \dots + k _ {n} \omega _ {n} |  \geq  \ 
C  | k |  ^ {1-} n ,
$$

$$ 
0  \neq  k  \in  \mathbf Z  ^ {n} ,\  C  \textrm{ a  constant  } ,
$$

where  $  | k | = | k _ {1} | + \dots + | k _ {n} | $. 
There are  "many"  such  $  \omega $, 
enough for the theorem as stated. It is also true that some such condition is necessary. For example, if  $  n = 2 $
and  $  \omega _ {2}  ^ {-} 1 \omega _ {1} $
is rational, then there are arbitrarily-small perturbations which will destroy the torus  $  T _ {0} ( \omega ) $(
a fact already known to H. Poincaré). There are many other aspects to KAM theory, for instance KAM-type theorems for the case of equilibrium points and for systems with additional time-periodic forces acting on them, cf. e.g. [[#References|[a5]]], [[#References|[a1]]]. There are also converse KAM-theorems, which give conditions on a region of space which guarantee that there are no invariant tori, [[#References|[a11]]], [[#References|[a12]]]. Some of the invariant KAM tori of the system break up (as  $  \epsilon $
grows) into Cantor set like sets; these are in this context sometimes known as Cantori.

If  $  n= 2 $, 
the iso-energy surfaces are of dimension 3, the invariant KAM tori in them are of dimension 2 and these hence separate the energy surfaces into disjoint pieces. As a result the orbits which are not on the invariant tori are trapped between them. If the frequencies of the tori depend differentiably on the values of the action variables defining it, which is guaranteed by the iso-energy non-degeneracy condition

$$ 
 \mathop{\rm det} \left ( 
\begin{array}{cc}
{
\frac{\partial   ^ {2} H _ {0} }{\partial  I _ {i} \partial  I _ {j} }
 }  &{
\frac{\partial  H _ {0} }{\partial  I _ {i} }
 }  \\
{
\frac{\partial  H _ {0} }{\partial  I _ {j} }
 }  & 0  \\
\end{array}
 \right )  \neq  0 ,
$$

then it follows that the action variables for all initial values remain near there and exhibit no secular perturbation phenomena. For more than 2 degrees of freedom the invariant tori do not separate the iso-energy surfaces into disjoint pieces and it is indeed possible, also in the iso-energy non-degenerate case, that the action variables drift away from their initial values. This phenomenon is known as Arnol'd diffusion.

An example of an integrable system is the planetary system with the interactions between the planets disregarded; adding this interaction gives the small perturbation  $  \epsilon H _ {1} $.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  V.I. Arnol'd,   "Mathematical methods of classical mechanics" , Springer  (1978)  pp. Appendix 8  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A.N. Kolmogorov,   "On the preservation of quasi-periodic motions in classical and celestial mechanics"  ''Dokl. Akad. Nauk SSSR'' , '''98'''  (1954)  pp. 525–530  (In Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  V.I. Arnol'd,   "Small denominators and the problem of stability of motion in classical and celestial mechanics"  ''Russian Math. Surveys'' , '''18''' :  6  (1963)  pp. 86–191  ''Uspekhi Mat. Nauk'' , '''18''' :  6  (1963)  pp. 91–192</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J. Moser,   "On invariant curves of area preserving mappings on an annulus"  ''Nachr. Akad. Wiss. Göttingen Math. Phys.'' , '''K1'''  (1962)  pp. 1–20</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M. Tabor,   "Chaos and integrability in nonlinear dynamics" , Wiley (Interscience)  (1989)  pp. Chapt. 3</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  G. Gallovotti,   "The elements of mechanics" , Springer  (1983)  pp. 466ff</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  A.J. Lichtenberg,   M.A. Lieberman,   "Regular and stochastic motion" , Springer  (1983)  pp. 159ff</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Moser,   "Stable and random motions in dynamical systems" , Princeton Univ. Press  (1973)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  W. Thirring,   "Lehrbuch der Mathematischen Physik" , '''1. Klassische Dynamische Systeme''' , Springer  (1977)  pp. 138</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  S. Sternberg,   "Celestial mechanics" , '''I-II''' , Benjamin  (1969)  pp. Chapt. III, §11–12</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  A. Knauf,   "Closed orbits and converse KAM theory"  ''Nonlinearity'' , '''3'''  (1990)  pp. 961–973</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  R.S. MacKay,   J.D. Meiss,   J. Strak,   "Converse KAM theory for symplectic twist maps"  ''Nonlinearity'' , '''2'''  (1989)  pp. 555–570</TD></TR></table>