Skip to main content
Physics LibreTexts

9.3: Chaos in Hamiltonian Systems

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    The last conclusion is of course valid for Hamiltonian systems, which are just a particular type of dynamic systems. However, one may wonder whether these systems, that feature at least one first integral of motion, \(H=\) const, and hence are more "ordered" than the systems discussed above, can exhibit chaos at all. The answer is yes because such systems still can have mechanisms for exponential growth of a small initial perturbation.

    As the simplest way to show it, let us consider the so-called mathematical billiard, i.e. system with a ballistic particle (a "ball") moving freely by inertia on a horizontal plane surface ("table") limited by rigid impenetrable walls. In this idealized model of the usual game of billiards, the ball’s velocity \(\mathbf{v}\) is conserved when it moves on the table, and when it runs into a wall, the ball is elastically reflected from it as from a mirror, \({ }^{14}\) with the reversal of the sign of the normal velocity \(v_{n}\), and the conservation of the tangential velocity \(v_{\tau}\), and hence without any loss of its kinetic (and hence the full) energy \[E=H=T=\frac{m}{2} v^{2}=\frac{m}{2}\left(v_{n}^{2}+v_{\tau}^{2}\right) .\] This model, while being a legitimate \(2 \mathrm{D}\) dynamic system, \({ }^{15}\) allows geometric analyses for several simple table shapes. The simplest case is a rectangular billiard of area \(a \times b\) (Figure 7), whose analysis may be readily carried out just by the replacement of each ball reflection event with the mirror reflection of the table in that wall - see the dashed lines on panel (a).

    Screen Shot 2022-01-29 at 12.46.39 AM.pngFigure 9.7. Ball motion on a rectangular billiard at (a) a commensurate, and (b) an incommensurate launch angle.

    Such analysis (left for the reader’ pleasure :-) shows that if the tangent of the ball launching angle \(\varphi\) is commensurate with the side length ratio: \[\tan \varphi=\pm \frac{m}{n} \frac{b}{a},\] where \(n\) and \(m\) are non-negative integers without common integer multipliers, the ball returns exactly to the launch point \(\mathrm{O}\), after bouncing \(m\) times from each wall of length \(a\), and \(n\) times from each wall of length \(b\). (Red lines in Figure 7a show an example of such a trajectory for \(n=m=1\), while blue lines, for \(m=3, n=1 .\) ) The larger is the sum \((m+n)\), the more complex is such closed trajectory - "orbit". Finally, if \((n+m) \rightarrow \infty\), i.e. \(\tan \varphi\) and \(b / a\) are incommensurate (meaning that their ratio is an irrational number), the trajectory covers all the table area, and the ball never returns exactly into the launch point. Still, this is not genuine chaos. Indeed, a small shift of the launch point \(\mathrm{O}\) shifts all the trajectory fragments by the same displacement. Moreover, at any time \(t\), each of Cartesian components \(v_{j}(t)\) of the ball’s velocity (with coordinate axes parallel to the table sides) may take only two values, \(\pm v_{j}(0)\), and hence may vary only as much as the initial velocity is being changed.

    In 1963, i.e. well before E. Lorenz’s work, Yakov Sinai showed that the situation changes completely if an additional wall, in the shape of a circle, is inserted into the rectangular billiard (Figure 8). For most initial conditions, the ball’s trajectory eventually runs into the circle (see the red line on panel (a) as an example), and the further trajectory becomes essentially chaotic. Indeed, let us consider the ball’s reflection from the circle-shaped wall - Figure 8b. Due to the conservation of the tangential velocity, and the sign change of the normal velocity component, the reflection obeys a simple law: \(\theta_{\mathrm{r}}=\theta_{1}\). Figure \(8 \mathrm{~b}\) shows that as the result, the magnitude of a small difference \(\delta \varphi\) between the angles of two close trajectories (as measured in the lab system), doubles at each reflection from the curved wall. This means that the small deviation grows along the ball trajectory as \[|\delta \varphi(N)| \sim|\delta \varphi(0)| \times 2^{N} \equiv|\delta \varphi(0)| e^{N \ln 2},\] where \(N\) is the number of reflections from the convex wall. \({ }^{16}\) As we already know, such exponential divergence of trajectories, with a positive Lyapunov exponent, is the main feature of deterministic chaos. \({ }^{17}\)

    Screen Shot 2022-01-29 at 12.48.34 AM.pngFigure 9.8. (a) Motion on a Sinai billiard table, and (b) the mechanism of the exponential divergence of close trajectories.

    The most important new feature of the dynamic chaos in Hamiltonian systems is its dependence on initial conditions. (In the systems discussed in the previous two previous sections, that lack the integrals of motion, the initial conditions are rapidly "forgotten", and the chaos is usually characterized after an initial transient period - see, e.g., Figure 4.) Indeed, even a Sinai billiard allows periodic motion, along closed orbits, at certain initial conditions - see the blue and green lines in Figure 8a as examples. Thus the chaos "depth" in such systems may be characterized by the "fraction"18 of the phase space of initial parameters (for a 2D billiard, of the 3D space of initial values of \(x, y\), and \(\varphi\) ) resulting in chaotic trajectories.

    This conclusion is also valid for Hamiltonian systems that are met in experiment more frequently than the billiards, for example, coupled nonlinear oscillators without damping. Perhaps the earliest and the most popular example is the so-called Hénon-Heiles system, \({ }^{19}\) which may be described by the following Lagrangian function: \[L=\frac{m_{1}}{2}\left(\dot{q}_{1}^{2}-\omega_{1}^{2} q_{1}^{2}\right)+\frac{m_{2}}{2}\left(\dot{q}_{2}^{2}-\omega_{2}^{2} q_{2}^{2}\right)-\varepsilon\left(q_{1}^{2}-\frac{1}{3} q_{2}^{2}\right) q_{2} .\] \[\begin{aligned} &m_{1}\left(\ddot{q}_{1}+\omega_{1}^{2} q_{1}\right)=-2 \varepsilon q_{1} q_{2}, \\ &m_{2}\left(\ddot{q}_{2}+\omega_{2}^{2} q_{2}\right)=-\varepsilon\left(q_{1}^{2}-q_{2}^{2}\right), \end{aligned}\] and find their first integral of motion (physically, the energy conservation law): \[H=E=\frac{m_{1}}{2}\left(\dot{q}_{1}^{2}+\omega_{1}^{2} q_{1}^{2}\right)+\frac{m_{2}}{2}\left(\dot{q}_{2}^{2}+\omega_{2}^{2} q_{2}^{2}\right)+\varepsilon\left(q_{1}^{2}-\frac{1}{3} q_{2}^{2}\right) q_{2}=\text { const . }\] In the context of our discussions in Chapters 5 and 6 , Eqs. (19) may be readily interpreted as those describing two oscillators, with small-oscillation frequencies \(\omega_{1}\) and \(\omega_{2}\), coupled only as described by the quadratic terms on the right-hand sides of the equations. This means that as the oscillation amplitudes \(A_{1,2}\), and hence the total energy \(E\) of the system, are close to zero, the oscillator subsystems are virtually independent, each performing sinusoidal oscillations at its own frequency. This observation suggests a convenient way to depict the system’s motion. \({ }^{20}\) Let us consider a Poincaré plane for one of the oscillators (say, with the coordinate \(q_{2}\) ), similar to that discussed in Sec. 2 above, with the only difference is that (because of the absence of an explicit function of time in the system’s equations), the trajectory on the phase plane \(\left[q_{2}, \dot{q}_{2}\right]\) is highlighted at the moments when \(q_{1}=0\).

    Let us start from the limit \(A_{1,2} \rightarrow 0\), when the oscillations of \(q_{2}\) are virtually sinusoidal. As we already know (see Figure \(5.9\) and its discussion), if the representation point highlighting was perfectly synchronous with frequency \(\omega_{2}\) of the oscillations, there would be only one point on the Poincaré plane - see, e.g. the right top panel of Figure 4. However, at the \(q_{1}\) - initiated highlighting, there is not such synchronism, so that each period, a different point of the elliptical (at the proper scaling of the velocity, circular) trajectory is highlighted, so that the resulting points, for certain initial conditions, reside on a circle of radius \(A_{2}\). If we now vary the initial conditions, i.e. redistribute the initial energy between the oscillators, but keep the total energy \(E\) constant, on the Poincaré plane we get a set of ellipses.

    Now, if the initial energy is increased, the nonlinear interaction of the oscillations starts to deform these ellipses, causing also their crossings - see, e.g., the top left panel of Figure 9. Still, below a certain threshold value of \(E\), all Poincaré points belonging to a certain initial condition sit on a single closed contour. Moreover, these contours may be calculated approximately, but with pretty good accuracy, using straighforward generalization of the method discussed in Sec. 5.2.21

    Screen Shot 2022-01-29 at 12.49.34 AM.png

    Figure 9.9. Poincaré planes of the HénonHeiles system (19), in notation \(y \equiv \varepsilon q_{2}\), for three values of the dimensionless energy \(e \equiv E / E_{0}\), with \(E_{0} \equiv m_{1} \omega_{1}{ }^{2} / \varepsilon^{2}\). Adapted from M. Hénon and C. Heiles, The Astron. J. \(\mathbf{6 9}, 73\) (1964). \odot AAS, reproduced with permission.

    However, starting from some value of energy, certain initial conditions lead to sequences of points scattered over parts of the Poincaré plane, with a nonzero area - see the top right panel of Figure \(9 .\) This means that the corresponding oscillations \(q_{2}(t)\) do not repeat from one (quasi-) period to the next one \(-\) cf. Figure 4 for the dissipative, forced pendulum. This is chaos. \({ }^{22}\) However, some other initial conditions still lead to closed contours. This feature is similar to that in Sinai billiards, and is typical for Hamiltonian systems. As the energy is increased, larger and larger parts of the Poincaré plane correspond to the chaotic motion, signifying deeper and deeper chaos - see the bottom panel of Figure 9.

    \({ }^{14}\) A more scientific-sounding name for such a reflection is specular-from the Latin word "speculum" meaning a metallic mirror.

    \({ }^{15}\) Indeed, it is fully described by the following Lagrangian function: \(L=m v^{2} / 2-U(\rho)\), with \(U(\rho)=0\) for the \(2 \mathrm{D}\) radius vectors \(\rho\) belonging to the table area, and \(U(\rho)=+\infty\) outside the area.

    \({ }^{16}\) Superficially, Eq. (17) is also valid for a plane wall, but as was discussed above, a billiard with such walls features a full correlation between sequential reflections, so that angle \(\varphi\) always returns to its initial value. In a Sinai billiard, such correlation disappears. Concave walls may also make a billiard chaotic; a famous example is the stadium billiard, suggested by Leonid Bunimovich in 1974, with two straight, parallel walls connecting two semi-circular, concave walls. Another example, which allows a straightforward analysis (first carried out by Martin Gutzwiller in the 1980s), is the so-called Hadamard billiard: an infinite (or rectangular) table with a nonhorizontal surface of negative curvature.

    \({ }^{17}\) Curved-wall billiards are also a convenient platform for studies of quantum properties of classically chaotic systems (for their conceptual discussion, see QM Sec. 3.5), in particular, the features called "quantum scars" see, e.g., the spectacular numerical simulation results by E. Heller, Phys. Rev. Lett. \(\mathbf{5 3}, 1515\) (1984).

    \({ }^{18}\) Actually, quantitative characterization of the fraction is not trivial, because it may have fractal dimensionality. Unfortunately, due to lack of time I have to refer the reader interested in this issue to special literature, e.g., the monograph by B. Mandelbrot (cited above) and references therein.

    \({ }^{19}\) It was first studied in 1964 by Michel Hénon and Carl Heiles as a simple model of star rotation about a galactic center. Most studies of this equation have been carried out for the following particular case: \(m_{2}=2 m_{1}, m_{1} \omega_{1}{ }^{2}=\) \(m_{2} \omega_{2}{ }^{2}\). In this case, introducing new variables \(x \equiv \varepsilon q_{1}, y \equiv \varepsilon q_{2}\), and \(\tau \equiv \omega_{1} t\), it is possible to rewrite Eqs. (18)-(20) in parameter-free forms. All the results shown in Figure 9 below are for this case.

    \({ }^{20}\) Generally, the system has a trajectory in 4D space, e.g., that of coordinates \(q_{1,2}\) and their time derivatives, although the first integral of motion (20) means that for each fixed energy \(E\), the motion is limited to a 3D subspace. Still, this is one dimension too many for a convenient representation of the motion.

    \({ }^{21}\) See, e.g., M. Berry, in: S. Jorna (ed.), Topics in Nonlinear Dynamics, AIP Conf. Proc. No. 46, AIP, 1978, pp. 16-120.

    \({ }^{22}\) This fact complies with the necessary condition of chaos, discussed at the end of Sec. 2 because Eqs. (19) may be rewritten as a system of four differential equations of the first order.

    This page titled 9.3: Chaos in Hamiltonian Systems is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Konstantin K. Likharev via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.