View source for Hamiltonian system

A system of ordinary differential equations in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462701.png" /> unknowns <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462702.png" /> ( "generalized momenta" ) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462703.png" /> ( "generalized coordinates" ), of the form

<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/h/h046/h046270/h0462704.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462705.png" /> is some function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462706.png" />, known as the [[Hamilton function|Hamilton function]], or Hamiltonian, of the system (1). A Hamiltonian system is also said to be a canonical system and in the autonomous case (when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462707.png" /> is not an explicit function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462708.png" />) it may be referred to as a conservative system, since in this case the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h0462709.png" /> (which often has the meaning of energy) is a first integral (i.e. the energy is conserved during motion).

In mechanics, a Hamiltonian system describes a motion involving holonomic constraints and forces which have a [[Potential|potential]] (cf. [[Hamilton equations|Hamilton equations]]). Many problems in theoretical physics also lead to a Hamiltonian system or else to partial differential equations with similar properties, which may be treated as infinite-dimensional analogues of Hamiltonian systems. The equations of quantum mechanics may be put into the form of Hamiltonian systems in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627011.png" /> are not numerical functions of time, but are rather <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627012.png" />-dependent self-adjoint linear operators which satisfy certain commutation relations. Hamiltonian systems (in the usual  "finite-dimensional"  sense of the word) play an important role in the study of certain asymptotic problems for partial differential equations (short-wave asymptotics for the wave equation, quasi-classical asymptotics in quantum mechanics).

Various variational principles are closely connected with Hamiltonian systems. Helmholtz' principle (see, for example, [[#References|[3]]]) directly leads to a Hamiltonian system, but is used only infrequently. The most important principle is the [[Hamilton–Ostrogradski principle|Hamilton–Ostrogradski principle]] (the principle of stationary action), which directly yields the [[Lagrange equations (in mechanics)|Lagrange equations (in mechanics)]]; if certain additional conditions of non-degeneracy are met, it is possible to pass from the Lagrange equations to Hamiltonian systems using the [[Legendre transform|Legendre transform]] (cf. [[Hamilton function|Hamilton function]]; [[Hamilton equations|Hamilton equations]]) if the variational principle comprises first-order derivatives only. If the variational principle comprises derivatives of orders higher than one, M.V. Ostrogradski's method of passing to Hamiltonian systems becomes somewhat more complicated (see, for example, [[#References|[4]]], Par. 110).

If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627013.png" /> is not an explicit function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627014.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627015.png" /> is a first integral. In such a case the coordinate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627016.png" /> is called cyclic (in certain cases it has the physical or the geometrical meaning of an angular variable), or ignorable. Such a coordinate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627017.png" /> and the corresponding momentum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627018.png" /> may be eliminated and thus a passage is effected to a Hamiltonian system with a smaller number of unknowns. Speaking more generally, if there are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627019.png" /> first [[Integrals in involution|integrals in involution]], the order of the Hamiltonian system may be reduced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627020.png" /> (at least in a certain domain of the variables and with a transformation of the time), and hereby again a Hamiltonian system is obtained. If all coordinates are cyclic, the Hamiltonian system is said to be (completely) integrable; finding its solutions and making qualitative studies of its properties no longer involves solving differential equations.

The first integrals of a Hamiltonian system are frequently obtained from Noether's theorem: If the Lagrange function (or the Lagrangian) is invariant with respect to some continuous group of transformations, then the corresponding Hamiltonian system has first integrals of a certain type [[#References|[2]]]. Another general concept which sometimes makes it possible to integrate a Hamiltonian system involves passing to an auxiliary partial differential equation — the so-called Hamilton–Jacobi equation (cf. [[Hamilton–Jacobi theory|Hamilton–Jacobi theory]]). By separation of variables in suitable coordinates it is sometimes possible to find a complete integral of the latter equation, and according to Jacobi's theorem the Hamiltonian system is then relatively easily integrated. (The connection between the Hamiltonian system and the Hamilton–Jacobi equation is reversible: Solving the Hamilton–Jacobi equation is reduced to the integration of the corresponding Hamiltonian system. Historically, this relation, as well as the analogy between mechanics and geometrical optics [[#References|[1]]], [[#References|[2]]], [[#References|[3]]], favoured the discovery of Hamiltonian systems (the Huygens principle in optics immediately yields the [[Eikonal equation|eikonal equation]], which is an equation of Hamilton–Jacobi type). Recently one more method for integrating has been developed: the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627021.png" />-pair (cf. [[#References|[5]]], [[#References|[6]]]). (Although this method is not necessarily related to Hamiltonian systems, its main applications are precisely to Hamiltonian systems.)

Specific methods of approximate integration and qualitative study of the properties of solutions have been developed for Hamiltonian systems which are close to integrable. Similar methods are also used to study the behaviour of trajectories of Hamiltonian systems in a neighbourhood of an equilibrium position, and of periodic or quasi-periodic solutions. Methods not specifically connected with Hamiltonian systems may also be employed, but even then the specific nature of Hamiltonian systems may well simplify the computations or, on the contrary, complicate the problem (since, from the point of view of a general method, the Hamiltonian system may prove  "exceptional"  (as is the case, for example, with (structural) [[Stability|stability]]). See [[Adiabatic invariant|Adiabatic invariant]]; [[Small parameter, method of the|Small parameter, method of the]]; [[Small denominators|Small denominators]]; [[Averaging|Averaging]]).

Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627022.png" /> be the solution of the Hamiltonian system (1) that passes through the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627023.png" /> at the time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627024.png" />. The Hamiltonian system is unambiguously characterized by the fact that the (local) diffeomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627025.png" /> transform the exterior differential form

<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/h/h046/h046270/h04627026.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

(the so-called Poincaré integral invariant) to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627027.png" />; this fact was noted, albeit in different terms, by Ostrogradski and H. Helmholtz; the latter spoke of  "the property of mutuality"  [[#References|[3]]]. Diffeomorphisms which preserve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627028.png" /> are called canonical transformations or canonical changes of variables; not only do they naturally arise from Hamiltonian systems, but they convert any Hamiltonian system to a Hamiltonian system. (This property is also shared by generalized canonical transformations, the transition to which is not a very essential extension of the class of transformations under consideration.) The Hamiltonian of the new system is readily expressed in terms of the old Hamiltonian and the generating function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627029.png" /> of the canonical transformation (the latter is conveniently defined by means of this <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627030.png" />). Thus, if a Hamiltonian system is given, it is possible, by effecting a canonical change of variables, to conduct computations involving the two functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627031.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627032.png" /> only (whereas in the general case a change of variables in a system of differential equations would involve a much larger number of functions); this is what constitutes the so-called canonical formalism, which considerably simplifies computations carried out within its range of applicability. It is widely used in celestial mechanics and in theoretical physics.

The definition of a Hamiltonian system in terms of an integral invariant leads to a natural extension, when the form (2) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627033.png" /> is replaced by an exterior differential form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627034.png" /> of degree 2, defined on some manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627035.png" /> of even dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627036.png" />; here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627037.png" /> is closed (the exterior differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627038.png" />) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627039.png" /> everywhere (one then says that a symplectic structure is defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627040.png" />). Even more general is the treatment of a Hamiltonian system not as a dynamical system, but as a congruence, where the trajectory is considered simply as a family of lines with definite properties while disregarding the speed of motion along them. (System (1) may be included in this scheme by considering the graphs of the solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627042.png" /> in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627043.png" />; here, the important object is the Poincaré–Cartan integral invariant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627044.png" /> rather than (2).) Strictly speaking, if the order of the Hamiltonian system (1) is reduced with the aid of first integrals, the resulting Hamiltonian system has this generalized meaning [[#References|[2]]].

Little is known (except for the problems of the local behaviour of trajectories, discussed above) about the properties of Hamiltonian systems that are not integrable or not close to integrable. The preservation of the volume element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627045.png" /> follows from the preservation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627046.png" /> (the Liouville theorem; the converse is not true, except in low dimensions). Accordingly, Hamiltonian systems are systems with an invariant measure; such systems are studied in [[Ergodic theory|ergodic theory]].

For recent surveys see [[#References|[6]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.A. Pars,   "A treatise on analytical dynamics" , Heinemann , London  (1965)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  V.I. Arnol'd,   "Mathematical methods of classical mechanics" , Springer  (1978)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  T. Levi-Civita,   U. Amaldi,   "Lezioni di meccanica razionale" , '''2''' , Zanichelli  (1951)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E.T. Whittaker,   "Analytical dynamics of particles and rigid bodies" , Dover, reprint  (1944)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  J. Moser,   "Various aspects of integrable Hamiltonian systems"  J. Guckenheimer (ed.)  J. Moser (ed.)  Sh.E. Newhouse (ed.) , ''Dynamical Systems'' , Birkhäuser  (1980)  pp. 233–289</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  V.I. Arnol'd,   et al.,   "Dynamical Systems" , ''Encycl. Math. Sci.'' , '''3; 4; 7''' , Springer  (1988-)  (Translated from Russian)</TD></TR></table>



====Comments====
An <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627047.png" />-pair is also known as a Lax pair. It refers to a dynamical system which can be presented in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627048.png" /> for suitable operators or matrices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627049.png" />. A well-known example is the [[Korteweg–de Vries equation|Korteweg–de Vries equation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627050.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627051.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627052.png" />. Lax pairs are an important ingredient in the mathematical theory of [[Soliton|soliton]] equations and completely-integrable systems and in their solution methods known as the inverse scattering method or inverse spectral-transform method. A selection of books on this topic is [[#References|[a1]]]–[[#References|[a3]]].

Cyclic coordinates are also called angle coordinates. A finite-dimensional completely-integrable system can be transformed (by a canonical transformation) to the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627053.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627054.png" />; the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h046/h046270/h04627055.png" /> are then called action-angle variables.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A.T. Fomenko,   "Integrability and nonintegrability in geometry and mechanics" , Kluwer  (1988)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L.A. Takhtajan,   "Hamiltonian methods in the theory of solitons" , Springer  (1987)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  P.G. Drazin,   "Solitons" , Cambridge Univ. Press  (1983)</TD></TR></table>