integrable problem
In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first in ...
. There are however three (or four) famous cases that are integrable, the Euler, the Lagrange, and the Kovalevskaya top.. In addition to the energy, each of these tops involves three additional
constants of motion In mechanics, a constant of motion is a quantity that is conserved throughout the motion, imposing in effect a constraint on the motion. However, it is a ''mathematical'' constraint, the natural consequence of the equations of motion, rather than ...
that give rise to the integrability.
The Euler top describes a free top without any particular symmetry, moving in the absence of any external torque in which the fixed point is the center of gravity. The Lagrange top is a symmetric top, in which two moments of inertia are the same and the center of gravity lies on the symmetry axis. The Kovalevskaya topPerelemov, A. M. (2002). ''Teoret. Mat. Fiz.'', Volume 131, Number 2, pp. 197–205. is a special symmetric top with a unique ratio of the moments of inertia which satisfy the relation
:
That is, two moments of inertia are equal, the third is half as large, and the center of gravity is located in the plane perpendicular to the symmetry axis (parallel to the plane of the two equal points). The
nonholonomic
A nonholonomic system in physics and mathematics is a physical system whose state depends on the path taken in order to achieve it. Such a system is described by a set of parameters subject to differential constraints and non-linear constraints, s ...
Goryachev–Chaplygin top (introduced by D. Goryachev in 1900 and integrated by Sergey Chaplygin in 1948) is also integrable (). Its center of gravity lies in the equatorial plane. It has been proven that no other holonomic integrable tops exist.
Hamiltonian formulation of classical tops
A classical topHerbert Goldstein,
Charles P. Poole, and John L. Safko (2002). ''Classical Mechanics'' (3rd Edition), Addison-Wesley. . is defined by three principal axes, defined by the three orthogonal vectors , and with corresponding moments of inertia , and . In a Hamiltonian formulation of classical tops, the conjugate dynamical variables are the components of the angular momentum vector along the principal axes
:
and the ''z''-components of the three principal axes,
:
The Poisson algebra of these variables is given by
:
If the position of the center of mass is given by , then the Hamiltonian of a top is given by
:
The equations of motion are then determined by
:
Euler top
The Euler top, named after Leonhard Euler, is an untorqued top, with Hamiltonian
:
The four constants of motion are the energy and the three components of angular momentum in the lab frame,
:
Lagrange top
The Lagrange top,. named after
Joseph-Louis Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi Lagrangia is a symmetric top in which , and the center of mass lies in the plane perpendicular to the symmetry axis . It was discovered by Sofia Kovalevskaya in 1888 and presented in her paper "Sur le problème de la rotation d'un corps solide autour d'un point fixe", which won the Prix Bordin from the
French Academy of Sciences
The French Academy of Sciences (French: ''Académie des sciences'') is a learned society, founded in 1666 by Louis XIV of France, Louis XIV at the suggestion of Jean-Baptiste Colbert, to encourage and protect the spirit of French Scientific me ...
in 1888. The Hamiltonian is
:
The four constants of motion are the energy , the Kovalevskaya invariant
:
where the variables are defined by
:
the angular momentum component in the ''z''-direction,
:
and the magnitude of the ''n''-vector
:
See also
*
Cardan suspension
A gimbal is a pivoted support that permits rotation of an object about an axis. A set of three gimbals, one mounted on the other with orthogonal pivot axes, may be used to allow an object mounted on the innermost gimbal to remain independent of ...