Math 2.0

Mechanics of particles and systems Nonlinear mechanical dynamics Example

Hénon–Heiles system

Builds on Hamiltonian systemFirst integralPoincaré mapKolmogorov–Arnold–Moser theoremChaos theoryEquilibrium point

Example

The Hénon–Heiles system is the Hamiltonian system on ℝ4\R^4 with coordinates (x,y,px,py)(x, y, p_x, p_y) and Hamiltonian H=12(px2+py2)+12(x2+y2)+x2y−13y3.H = \frac{1}{2} \left( p_x^2 + p_y^2 \right) + \frac{1}{2} \left( x^2 + y^2 \right) + x^2 y - \frac{1}{3} y^3. Its equations of motion are x′′=−x−2xy,y′′=−y−x2+y2.x'' = -x - 2 x y, \qquad y'' = -y - x^2 + y^2. The energy HH is a first integral. The potential V(x,y)=12(x2+y2)+x2y−13y3V(x, y) = \frac{1}{2}(x^2 + y^2) + x^2 y - \frac{1}{3} y^3 has a minimum at the origin and three saddle equilibrium points at (0,1)(0, 1) and (±32,−12)\left( \pm \frac{\sqrt{3}}{2}, -\frac{1}{2} \right). Check at (0,1)(0, 1): ∂xV=x+2xy=0\partial_x V = x + 2 x y = 0 and ∂yV=y+x2−y2=1−1=0\partial_y V = y + x^2 - y^2 = 1 - 1 = 0, and V(0,1)=12−13=16V(0, 1) = \frac{1}{2} - \frac{1}{3} = \frac{1}{6}. The value of VV is 16\frac{1}{6} at all three saddles, so for energies 0<E<160 < E < \frac{1}{6} the motion near the origin stays in a bounded triangular region.

Remarks

Michel Hénon and Carl Heiles introduced the system in 1964. It was a model for the motion of a star in the gravitational field of a galaxy with an axis of symmetry. They studied it numerically with a Poincaré section on the energy surface. At low energies most orbits lie on smooth invariant curves, as the KAM theorem predicts near an integrable system. As the energy approaches 16\frac{1}{6}, the regular region shrinks and most of the section is filled by chaotic orbits. The system became a standard test case for chaos in Hamiltonian systems with two degrees of freedom.

Reading path

To understand this page from the ground up, read these 72 pages in order. The foundations come first.

  1. Action-angle coordinates concept
  2. Chaos theory concept
  3. Element definition
  4. Equilibrium point concept
  5. First integral concept
  6. Hamiltonian system concept
  7. Integrable system concept
  8. Poincaré map concept
  9. Proposition concept
  10. Real numbers object
  11. Set definition
  12. Conjunction definition
  13. Disjunction definition
  14. Implication definition
  15. Predicate definition
  16. Empty set object
  17. Family of sets definition
  18. Ordered pair definition
  19. Intersection definition
  20. Union definition
  21. Set-builder notation concept
  22. Existential quantifier definition
  23. Universal quantifier definition
  24. Cartesian product definition
  25. Subset definition
  26. Union of a family of sets definition
  27. Uniqueness quantifier definition
  28. Binary relation definition
  29. Universal set definition
  30. Topological space definition
  31. Reflexive relation definition
  32. Symmetric relation definition
  33. Transitive relation definition
  34. Complement definition
  35. Function definition
  36. Basis of a topology definition
  37. Subspace topology definition
  38. Equivalence relation definition
  39. Product topology definition
  40. Preimage of a set definition
  41. Codomain definition
  42. Function composition definition
  43. Injective function definition
  44. Metric space definition
  45. Equivalence class definition
  46. Surjective function definition
  47. Open ball definition
  48. Quotient set definition
  49. Bijective function definition
  50. Metric topology definition
  51. Inverse function definition
  52. Quotient topology definition
  53. Open set definition
  54. Continuous map of topological spaces definition
  55. Hausdorff space definition
  56. Open cover definition
  57. Closed set definition
  58. Homeomorphism definition
  59. Universal property of the quotient topology statement
  60. Compact space definition
  61. Complement of an open set is closed statement
  62. Continuity via closed sets statement
  63. Compact set definition
  64. Compactness via open covers statement
  65. Continuous image of a compact set is compact statement
  66. Compact subsets of a Hausdorff space are closed statement
  67. Closed subsets of compact sets are compact statement
  68. Continuous bijection from a compact space to a Hausdorff space is a homeomorphism statement
  69. Circle as a quotient of the real line example
  70. Torus example
  71. Kolmogorov–Arnold–Moser theorem statement
  72. Hénon–Heiles system example

Further reading

  1. Web https://en.wikipedia.org/wiki/H%C3%A9non%E2%80%93Heiles_system
About this page
Tag1NNFAMQ54B
URIm2://1NNFAMQ54B
Kindexample
WritingW0 stub
MSC70H07, 37N05, 85A05
Instance ofHamiltonian system
UsesHamiltonian system, First integral, Poincaré map, Kolmogorov–Arnold–Moser theorem, Chaos theory, Equilibrium point
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.