Namespaces
Variants
Actions

Difference between revisions of "Birkhoff normal form"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (→‎References: latexify)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
 +
<!--
 +
b1105701.png
 +
$#A+1 = 68 n = 1
 +
$#C+1 = 68 : ~/encyclopedia/old_files/data/B110/B.1100570 Birkhoff normal form,
 +
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}}
 +
 
''Birkhoff–Gustavson normal form''
 
''Birkhoff–Gustavson normal form''
  
 
Usually, a formal normal form (cf. [[Normal form|Normal form]] of a system of differential equations) for a time-independent [[Hamiltonian system|Hamiltonian system]] in the neighbourhood of a stationary point (cf. [[Normal form|Normal form]] in a neighbourhood of a fixed point) for which the linearized system at the stationary point has only purely imaginary eigenvalues.
 
Usually, a formal normal form (cf. [[Normal form|Normal form]] of a system of differential equations) for a time-independent [[Hamiltonian system|Hamiltonian system]] in the neighbourhood of a stationary point (cf. [[Normal form|Normal form]] in a neighbourhood of a fixed point) for which the linearized system at the stationary point has only purely imaginary eigenvalues.
  
Consider a [[Hamiltonian system|Hamiltonian system]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b1105701.png" /> with [[Hamiltonian|Hamiltonian]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b1105702.png" />, i.e.
+
Consider a [[Hamiltonian system|Hamiltonian system]] on $  \mathbf R ^ {2n } $
 +
with [[Hamiltonian|Hamiltonian]] $  H \in C  ^  \infty  ( \mathbf R ^ {2n } ) $,
 +
i.e.
 +
 
 +
$$
 +
{\dot{z} } = J  dH ( z ) = \left (
 +
 
 +
\begin{array}{c}
 +
( { {\partial  H } / {\partial  y } } ) ( x,y )  \\
 +
( - { {\partial  H } / {\partial  x } } ) ( x,y )  \\
 +
\end{array}
 +
 
 +
\right )
 +
$$
 +
 
 +
with  $  x \in \mathbf R  ^ {n} $,
 +
$  y \in \mathbf R  ^ {n} $,
 +
$  z = ( x,y ) $,
  
<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/b/b110/b110570/b1105703.png" /></td> </tr></table>
+
$$
 +
J = \left (
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b1105704.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b1105705.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b1105706.png" />,
+
\begin{array}{cc}
 +
0 &I _ {n}  \\
 +
- I _ {n}  & 0 \\
 +
\end{array}
  
<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/b/b110/b110570/b1105707.png" /></td> </tr></table>
+
\right ) .
 +
$$
  
Suppose that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b1105708.png" />. The origin is a stationary point and the Hamiltonian evaluated at the origin is
+
Suppose that $  H ( 0 ) = dH ( 0 ) = 0 $.  
 +
The origin is a stationary point and the Hamiltonian evaluated at the origin is
  
<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/b/b110/b110570/b1105709.png" /></td> </tr></table>
+
$$
 +
H ( z ) = H _ {2} ( z ) + H _ {3} ( z ) + \dots + H _ {k} ( z ) + \dots ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057010.png" /> denotes the homogeneous terms of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057011.png" />. Furthermore, suppose that the matrix of the linearized system, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057012.png" />, is diagonalizable (over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057013.png" />) with purely imaginary eigenvalues <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057016.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057017.png" />. The eigenvalues are called resonant if they are rationally dependent, i.e. if there is an integer-valued vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057018.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057019.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057020.png" /> is the standard [[Inner product|inner product]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057021.png" />. The eigenvalues are non-resonant if there is no such relation.
+
where $  H _ {k} ( z ) $
 +
denotes the homogeneous terms of degree $  k $.  
 +
Furthermore, suppose that the matrix of the linearized system, $  D ( J  dH ) ( 0 ) $,  
 +
is diagonalizable (over $  \mathbf C $)  
 +
with purely imaginary eigenvalues $  i \omega _ {k} $,  
 +
$  - i \omega _ {k} $,  
 +
$  k = 1 \dots n $.  
 +
Let $  \Omega = ( \omega _ {1} \dots \omega _ {n} ) $.  
 +
The eigenvalues are called resonant if they are rationally dependent, i.e. if there is an integer-valued vector $  v $
 +
such that $  \langle  {\Omega,v } \rangle = 0 $,  
 +
where $  \langle  {\ ,  } \rangle $
 +
is the standard [[Inner product|inner product]] on $  \mathbf R ^ {2n } $.  
 +
The eigenvalues are non-resonant if there is no such relation.
  
On <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057022.png" />, define [[Poisson brackets|Poisson brackets]] by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057023.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057024.png" />. Considering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057025.png" /> with the [[Symplectic structure|symplectic structure]] given by the standard symplectic form (see [[#References|[a1]]]), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057026.png" /> is the Hamiltonian vector field generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057027.png" />.
+
On $  C  ^  \infty  ( \mathbf R ^ {2n } ) $,  
 +
define [[Poisson brackets|Poisson brackets]] by $  \{ G,F \} = \langle  {dF,J  dG } \rangle $,  
 +
where $  G,F \in C  ^  \infty  ( \mathbf R ^ {2n } ) $.  
 +
Considering $  \mathbf R ^ {2n } $
 +
with the [[Symplectic structure|symplectic structure]] given by the standard symplectic form (see [[#References|[a1]]]), $  X _ {H} = \{ \ ,H \} = J  dH $
 +
is the Hamiltonian vector field generated by $  H $.
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057028.png" /> is said to be in normal form up to order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057029.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057030.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057031.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057032.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057033.png" /> can be transformed into normal form using transformations of the type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057034.png" />. These transformations can be considered as the time-<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057035.png" /> flow of the vector field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057036.png" />, and therefore as symplectic diffeomorphisms on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057037.png" />. They can also be considered as differential operators acting on the space of homogeneous polynomials of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057038.png" />. These two points of view are related by the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057039.png" />. Applying a transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057040.png" /> with generating function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057041.png" /> homogeneous of degree three gives
+
$  H $
 +
is said to be in normal form up to order $  k $
 +
with respect to $  H _ {2} $
 +
if $  \{ H _ {m} ,H _ {2} \} = 0 $
 +
for $  m = 2 \dots k $.  
 +
$  H $
 +
can be transformed into normal form using transformations of the type $  { \mathop{\rm exp} } ( X _ {F} ) $.  
 +
These transformations can be considered as the time- $  1 $
 +
flow of the vector field $  X _ {F} ( z ) $,  
 +
and therefore as symplectic diffeomorphisms on $  \mathbf R ^ {2n } $.  
 +
They can also be considered as differential operators acting on the space of homogeneous polynomials of degree $  k $.  
 +
These two points of view are related by the fact that $  H _ {k} \circ { \mathop{\rm exp} } ( X _ {F} ) = { \mathop{\rm exp} } ( X _ {F} ) ( H _ {k} ) $.  
 +
Applying a transformation $  { \mathop{\rm exp} } ( X _ {F _ {3}  } ) $
 +
with generating function $  F _ {3} $
 +
homogeneous of degree three gives
  
<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/b/b110/b110570/b11057042.png" /></td> </tr></table>
+
$$
 +
{ \mathop{\rm exp} } ( X _ {F _ {3}  } ) ( H ) = H _ {2} + X _ {F _ {3}  } H _ {2} + H _ {3} + \textrm{ h.o.t. } .
 +
$$
  
The terms of degree three are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057043.png" />. Consequently all terms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057044.png" /> that are in the image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057045.png" /> can be removed by making the appropriate choice for the generating function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057046.png" />. After having made a choice for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057047.png" /> one gets
+
The terms of degree three are $  \{ H _ {2} ,F _ {3} \} + H _ {3} $.  
 +
Consequently all terms in $  H _ {3} $
 +
that are in the image of $  X _ {H _ {2}  } $
 +
can be removed by making the appropriate choice for the generating function $  F _ {3} $.  
 +
After having made a choice for $  F _ {3} $
 +
one gets
  
<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/b/b110/b110570/b11057048.png" /></td> </tr></table>
+
$$
 +
{ \mathop{\rm exp} } ( X _ {F _ {3}  } ) ( H ) = {\widehat{H}  } = H _ {2} + {\widehat{H}  } _ {3} + {\widehat{H}  } _ {4} + \textrm{ h.o.t. } ,
 +
$$
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057049.png" /> in some complement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057050.png" />.
+
with $  {\widehat{H}  } _ {3} $
 +
in some complement of $  { \mathop{\rm im} } X _ {H _ {2}  } $.
  
Next, consider a transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057051.png" /> now taking a generating function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057052.png" /> homogeneous of degree four. This gives
+
Next, consider a transformation $  { \mathop{\rm exp} } ( X _ {F _ {4}  } ) $
 +
now taking a generating function $  F _ {4} $
 +
homogeneous of degree four. This gives
  
<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/b/b110/b110570/b11057053.png" /></td> </tr></table>
+
$$
 +
{ \mathop{\rm exp} } ( X _ {F _ {4}  } ) ( H ) = H _ {2} + {\widehat{H}  } _ {3} + X _ {F _ {4}  } H _ {2} + {\widehat{H}  } _ {4} + \textrm{ h.o.t. } .
 +
$$
  
Thus, now one can remove all terms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057054.png" /> that are in the image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057055.png" />. Repeating this process means that up to arbitrary degree one can remove all terms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057056.png" /> that are in the image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057057.png" />. This leads to the following idea of normal form: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057058.png" /> is in normal form up to degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057059.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057060.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057061.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057062.png" />, are in some complement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057063.png" />. When the linearized system is diagonalizable, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057064.png" /> can be chosen as a complement to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057065.png" />, giving <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057066.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057067.png" />. Letting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057068.png" />, one gets a formal normal form.
+
Thus, now one can remove all terms in $  H _ {4} $
 +
that are in the image of $  X _ {H _ {2}  } $.  
 +
Repeating this process means that up to arbitrary degree one can remove all terms of $  H $
 +
that are in the image of $  X _ {H _ {2}  } $.  
 +
This leads to the following idea of normal form: $  H = H _ {2} + H _ {3} + \dots $
 +
is in normal form up to degree $  k $
 +
with respect to $  H _ {2} $
 +
if $  H _ {m} $,  
 +
$  m = 3 \dots k $,  
 +
are in some complement of $  { \mathop{\rm im} } ( X _ {H _ {2}  } ) $.  
 +
When the linearized system is diagonalizable, $  { \mathop{\rm ker} } ( X _ {H _ {2}  } ) $
 +
can be chosen as a complement to $  { \mathop{\rm im} } ( X _ {H _ {2}  } ) $,  
 +
giving $  \{ H _ {2} , H _ {m} \} = 0 $,  
 +
$  m = 2 \dots k $.  
 +
Letting $  k \rightarrow \infty $,  
 +
one gets a formal normal form.
  
 
More on the basic ideas sketched above can be found in [[#References|[a10]]], [[#References|[a1]]], [[#References|[a2]]]. The above idea was first used, although in an implicit way, by G.D. Birkhoff [[#References|[a3]]] for deriving a normal form in the non-resonant case. Attention was again drawn to normal forms by F.G. Gustavson's paper [[#References|[a7]]], where he obtained a formal normal form for the resonant cases. A similar normal form was obtained earlier by J. Moser [[#References|[a9]]]. Gustavson emphasized that by normalizing up to infinite order extra formal integrals are obtained. The normal form has more symmetry than the original system.
 
More on the basic ideas sketched above can be found in [[#References|[a10]]], [[#References|[a1]]], [[#References|[a2]]]. The above idea was first used, although in an implicit way, by G.D. Birkhoff [[#References|[a3]]] for deriving a normal form in the non-resonant case. Attention was again drawn to normal forms by F.G. Gustavson's paper [[#References|[a7]]], where he obtained a formal normal form for the resonant cases. A similar normal form was obtained earlier by J. Moser [[#References|[a9]]]. Gustavson emphasized that by normalizing up to infinite order extra formal integrals are obtained. The normal form has more symmetry than the original system.
Line 42: Line 139:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Abraham, J.E. Marsden, "Foundations of mechanics" , Benjamin/Cummings (1978) {{MR|0515141}} {{ZBL|0393.70001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> V.I. Arnol'd, V.V. Kozlov, A.I. Neishstadt, "Mathematical aspects of classical and celestial mechanics" , ''Dynamical systems III'' , Springer (1988) (In Russian) {{MR|}} {{ZBL|0785.00010}} {{ZBL|0674.70003}} {{ZBL|0612.70002}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G.D. Birkhoff, "Dynamical systems" , ''Amer. Math. Soc. Colloqium Publ.'' , '''IX''' , Amer. Math. Soc. (1927) {{MR|1555257}} {{ZBL|53.0733.03}} {{ZBL|53.0732.01}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R.H. Cushman, J.A. Sanders, "Nilpotent normal forms and representation theory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110570/b11057069.png" />" M. Golubitsky (ed.) J. Guckenheimer (ed.) , ''Multiparameter Bifurcation Theory'' , ''Contemp. Math.'' , '''56''' , Amer. Math. Soc. (1986) pp. 31–51 {{MR|0855083}} {{ZBL|0604.58005}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> M. Golubitsky, D.G. Schaeffer, "Singularities and groups in bifurcation theory I" , ''Appl. Math. Sci.'' , '''51''' , Springer (1985) {{MR|771477}} {{ZBL|0607.35004}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M. Golubitsky, I. Stewart, D.G. Schaeffer, "Singularities and groups in bifurcation theory II" , ''Appl. Math. Sci.'' , '''69''' , Springer (1988) {{MR|950168}} {{ZBL|0691.58003}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> F.G. Gustavson, "On constructing formal integrals of a Hamiltonian system near an equilibrium point" ''Astron. J.'' , '''71''' (1966) pp. 670–686</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> J.C. van der Meer, "The Hamiltonian Hopf bifurcation" , ''Lecture Notes in Mathematics'' , '''1160''' , Springer (1985) {{MR|}} {{ZBL|0585.58019}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> J. Moser, "New aspects in the theory of Hamiltonian systems" ''Comm. Pure Appl. Math.'' , '''9''' (1958) pp. 81–114 {{MR|}} {{ZBL|0082.40801}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> J. Moser, "Lectures on Hamiltonian systems" , ''Memoirs'' , '''81''' , Amer. Math. Soc. (1968) pp. 1–60 {{MR|0230498}} {{ZBL|0172.11401}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> J.A. Sanders, "Versal normal form computations and representation theory" E. Tournier (ed.) , ''Computer Algebra and Differential Equations'' , ''London Math. Soc. Lecture Notes'' , '''193''' , Cambridge Univ. Press (1994) pp. 185–210 {{MR|1278060}} {{ZBL|0804.17018}} </TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> R. Abraham, J.E. Marsden, "Foundations of mechanics" , Benjamin/Cummings (1978) {{MR|0515141}} {{ZBL|0393.70001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> V.I. Arnol'd, V.V. Kozlov, A.I. Neishstadt, "Mathematical aspects of classical and celestial mechanics" , ''Dynamical systems III'' , Springer (1988) (In Russian) {{MR|}} {{ZBL|0785.00010}} {{ZBL|0674.70003}} {{ZBL|0612.70002}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> G.D. Birkhoff, "Dynamical systems" , ''Amer. Math. Soc. Colloqium Publ.'' , '''IX''' , Amer. Math. Soc. (1927) {{MR|1555257}} {{ZBL|53.0733.03}} {{ZBL|53.0732.01}} </TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top"> R.H. Cushman, J.A. Sanders, "Nilpotent normal forms and representation theory of $sl(2,\RR)$" M. Golubitsky (ed.) J. Guckenheimer (ed.) , ''Multiparameter Bifurcation Theory'' , ''Contemp. Math.'' , '''56''' , Amer. Math. Soc. (1986) pp. 31–51 {{MR|0855083}} {{ZBL|0604.58005}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> M. Golubitsky, D.G. Schaeffer, "Singularities and groups in bifurcation theory I" , ''Appl. Math. Sci.'' , '''51''' , Springer (1985) {{MR|771477}} {{ZBL|0607.35004}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M. Golubitsky, I. Stewart, D.G. Schaeffer, "Singularities and groups in bifurcation theory II" , ''Appl. Math. Sci.'' , '''69''' , Springer (1988) {{MR|950168}} {{ZBL|0691.58003}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> F.G. Gustavson, "On constructing formal integrals of a Hamiltonian system near an equilibrium point" ''Astron. J.'' , '''71''' (1966) pp. 670–686</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> J.C. van der Meer, "The Hamiltonian Hopf bifurcation" , ''Lecture Notes in Mathematics'' , '''1160''' , Springer (1985) {{MR|}} {{ZBL|0585.58019}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> J. Moser, "New aspects in the theory of Hamiltonian systems" ''Comm. Pure Appl. Math.'' , '''9''' (1958) pp. 81–114 {{MR|}} {{ZBL|0082.40801}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> J. Moser, "Lectures on Hamiltonian systems" , ''Memoirs'' , '''81''' , Amer. Math. Soc. (1968) pp. 1–60 {{MR|0230498}} {{ZBL|0172.11401}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> J.A. Sanders, "Versal normal form computations and representation theory" E. Tournier (ed.) , ''Computer Algebra and Differential Equations'' , ''London Math. Soc. Lecture Notes'' , '''193''' , Cambridge Univ. Press (1994) pp. 185–210 {{MR|1278060}} {{ZBL|0804.17018}} </TD></TR>
 +
</table>

Latest revision as of 08:22, 26 March 2023


Birkhoff–Gustavson normal form

Usually, a formal normal form (cf. Normal form of a system of differential equations) for a time-independent Hamiltonian system in the neighbourhood of a stationary point (cf. Normal form in a neighbourhood of a fixed point) for which the linearized system at the stationary point has only purely imaginary eigenvalues.

Consider a Hamiltonian system on $ \mathbf R ^ {2n } $ with Hamiltonian $ H \in C ^ \infty ( \mathbf R ^ {2n } ) $, i.e.

$$ {\dot{z} } = J dH ( z ) = \left ( \begin{array}{c} ( { {\partial H } / {\partial y } } ) ( x,y ) \\ ( - { {\partial H } / {\partial x } } ) ( x,y ) \\ \end{array} \right ) $$

with $ x \in \mathbf R ^ {n} $, $ y \in \mathbf R ^ {n} $, $ z = ( x,y ) $,

$$ J = \left ( \begin{array}{cc} 0 &I _ {n} \\ - I _ {n} & 0 \\ \end{array} \right ) . $$

Suppose that $ H ( 0 ) = dH ( 0 ) = 0 $. The origin is a stationary point and the Hamiltonian evaluated at the origin is

$$ H ( z ) = H _ {2} ( z ) + H _ {3} ( z ) + \dots + H _ {k} ( z ) + \dots , $$

where $ H _ {k} ( z ) $ denotes the homogeneous terms of degree $ k $. Furthermore, suppose that the matrix of the linearized system, $ D ( J dH ) ( 0 ) $, is diagonalizable (over $ \mathbf C $) with purely imaginary eigenvalues $ i \omega _ {k} $, $ - i \omega _ {k} $, $ k = 1 \dots n $. Let $ \Omega = ( \omega _ {1} \dots \omega _ {n} ) $. The eigenvalues are called resonant if they are rationally dependent, i.e. if there is an integer-valued vector $ v $ such that $ \langle {\Omega,v } \rangle = 0 $, where $ \langle {\ , } \rangle $ is the standard inner product on $ \mathbf R ^ {2n } $. The eigenvalues are non-resonant if there is no such relation.

On $ C ^ \infty ( \mathbf R ^ {2n } ) $, define Poisson brackets by $ \{ G,F \} = \langle {dF,J dG } \rangle $, where $ G,F \in C ^ \infty ( \mathbf R ^ {2n } ) $. Considering $ \mathbf R ^ {2n } $ with the symplectic structure given by the standard symplectic form (see [a1]), $ X _ {H} = \{ \ ,H \} = J dH $ is the Hamiltonian vector field generated by $ H $.

$ H $ is said to be in normal form up to order $ k $ with respect to $ H _ {2} $ if $ \{ H _ {m} ,H _ {2} \} = 0 $ for $ m = 2 \dots k $. $ H $ can be transformed into normal form using transformations of the type $ { \mathop{\rm exp} } ( X _ {F} ) $. These transformations can be considered as the time- $ 1 $ flow of the vector field $ X _ {F} ( z ) $, and therefore as symplectic diffeomorphisms on $ \mathbf R ^ {2n } $. They can also be considered as differential operators acting on the space of homogeneous polynomials of degree $ k $. These two points of view are related by the fact that $ H _ {k} \circ { \mathop{\rm exp} } ( X _ {F} ) = { \mathop{\rm exp} } ( X _ {F} ) ( H _ {k} ) $. Applying a transformation $ { \mathop{\rm exp} } ( X _ {F _ {3} } ) $ with generating function $ F _ {3} $ homogeneous of degree three gives

$$ { \mathop{\rm exp} } ( X _ {F _ {3} } ) ( H ) = H _ {2} + X _ {F _ {3} } H _ {2} + H _ {3} + \textrm{ h.o.t. } . $$

The terms of degree three are $ \{ H _ {2} ,F _ {3} \} + H _ {3} $. Consequently all terms in $ H _ {3} $ that are in the image of $ X _ {H _ {2} } $ can be removed by making the appropriate choice for the generating function $ F _ {3} $. After having made a choice for $ F _ {3} $ one gets

$$ { \mathop{\rm exp} } ( X _ {F _ {3} } ) ( H ) = {\widehat{H} } = H _ {2} + {\widehat{H} } _ {3} + {\widehat{H} } _ {4} + \textrm{ h.o.t. } , $$

with $ {\widehat{H} } _ {3} $ in some complement of $ { \mathop{\rm im} } X _ {H _ {2} } $.

Next, consider a transformation $ { \mathop{\rm exp} } ( X _ {F _ {4} } ) $ now taking a generating function $ F _ {4} $ homogeneous of degree four. This gives

$$ { \mathop{\rm exp} } ( X _ {F _ {4} } ) ( H ) = H _ {2} + {\widehat{H} } _ {3} + X _ {F _ {4} } H _ {2} + {\widehat{H} } _ {4} + \textrm{ h.o.t. } . $$

Thus, now one can remove all terms in $ H _ {4} $ that are in the image of $ X _ {H _ {2} } $. Repeating this process means that up to arbitrary degree one can remove all terms of $ H $ that are in the image of $ X _ {H _ {2} } $. This leads to the following idea of normal form: $ H = H _ {2} + H _ {3} + \dots $ is in normal form up to degree $ k $ with respect to $ H _ {2} $ if $ H _ {m} $, $ m = 3 \dots k $, are in some complement of $ { \mathop{\rm im} } ( X _ {H _ {2} } ) $. When the linearized system is diagonalizable, $ { \mathop{\rm ker} } ( X _ {H _ {2} } ) $ can be chosen as a complement to $ { \mathop{\rm im} } ( X _ {H _ {2} } ) $, giving $ \{ H _ {2} , H _ {m} \} = 0 $, $ m = 2 \dots k $. Letting $ k \rightarrow \infty $, one gets a formal normal form.

More on the basic ideas sketched above can be found in [a10], [a1], [a2]. The above idea was first used, although in an implicit way, by G.D. Birkhoff [a3] for deriving a normal form in the non-resonant case. Attention was again drawn to normal forms by F.G. Gustavson's paper [a7], where he obtained a formal normal form for the resonant cases. A similar normal form was obtained earlier by J. Moser [a9]. Gustavson emphasized that by normalizing up to infinite order extra formal integrals are obtained. The normal form has more symmetry than the original system.

The above ideas have been extended to the case where the linearized system has purely imaginary eigenvalues but is not diagonalizable [a8]. A normal form theory for non–Hamiltonian vector fields has also been developed along the above lines by using the Lie bracket of vector fields rather than Poisson brackets of functions [a4], [a6]. The most general context to formulate the theory is that of reductively filtered Lie algebras [a11].

Normal forms are of importance in the qualitative theory of differential equations. In particular, they play a role in bifurcation theory. Using Lyapunov–Schmidt reduction and the theory of singularities of differentiable mappings one can determine which number of terms of the normal form is sufficient to describe the bifurcation of stationary points and periodic solutions up to topological equivalence [a5], [a6], [a8].

References

[a1] R. Abraham, J.E. Marsden, "Foundations of mechanics" , Benjamin/Cummings (1978) MR0515141 Zbl 0393.70001
[a2] V.I. Arnol'd, V.V. Kozlov, A.I. Neishstadt, "Mathematical aspects of classical and celestial mechanics" , Dynamical systems III , Springer (1988) (In Russian) Zbl 0785.00010 Zbl 0674.70003 Zbl 0612.70002
[a3] G.D. Birkhoff, "Dynamical systems" , Amer. Math. Soc. Colloqium Publ. , IX , Amer. Math. Soc. (1927) MR1555257 Zbl 53.0733.03 Zbl 53.0732.01
[a4] R.H. Cushman, J.A. Sanders, "Nilpotent normal forms and representation theory of $sl(2,\RR)$" M. Golubitsky (ed.) J. Guckenheimer (ed.) , Multiparameter Bifurcation Theory , Contemp. Math. , 56 , Amer. Math. Soc. (1986) pp. 31–51 MR0855083 Zbl 0604.58005
[a5] M. Golubitsky, D.G. Schaeffer, "Singularities and groups in bifurcation theory I" , Appl. Math. Sci. , 51 , Springer (1985) MR771477 Zbl 0607.35004
[a6] M. Golubitsky, I. Stewart, D.G. Schaeffer, "Singularities and groups in bifurcation theory II" , Appl. Math. Sci. , 69 , Springer (1988) MR950168 Zbl 0691.58003
[a7] F.G. Gustavson, "On constructing formal integrals of a Hamiltonian system near an equilibrium point" Astron. J. , 71 (1966) pp. 670–686
[a8] J.C. van der Meer, "The Hamiltonian Hopf bifurcation" , Lecture Notes in Mathematics , 1160 , Springer (1985) Zbl 0585.58019
[a9] J. Moser, "New aspects in the theory of Hamiltonian systems" Comm. Pure Appl. Math. , 9 (1958) pp. 81–114 Zbl 0082.40801
[a10] J. Moser, "Lectures on Hamiltonian systems" , Memoirs , 81 , Amer. Math. Soc. (1968) pp. 1–60 MR0230498 Zbl 0172.11401
[a11] J.A. Sanders, "Versal normal form computations and representation theory" E. Tournier (ed.) , Computer Algebra and Differential Equations , London Math. Soc. Lecture Notes , 193 , Cambridge Univ. Press (1994) pp. 185–210 MR1278060 Zbl 0804.17018
How to Cite This Entry:
Birkhoff normal form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Birkhoff_normal_form&oldid=24378
This article was adapted from an original article by J.C. van der Meer (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article