Hadamard's dynamical system

In physics and mathematics, the Hadamard dynamical system or Hadamard's billiard is a chaotic dynamical system, a type of dynamical billiards. Introduced by Jacques Hadamard in 1898, it is the first dynamical system to be proven chaotic.

The system considers the motion of a free (frictionless) particle on a surface of constant negative curvature, the simplest compact Riemann surface, which is the surface of genus two: a donut with two holes. Hadamard was able to show that every particle trajectory moves away from every other: that all trajectories have a positive Lyapunov exponent.

Frank Steiner argues that Hadamard's study should be considered to be the first-ever examination of a chaotic dynamical system, and that Hadamard should be considered the first discoverer of chaos. He points out that the study was widely disseminated, and considers the impact of the ideas on the thinking of Albert Einstein and Ernst Mach.

The system is particularly important in that in 1963, Yakov Sinai, in studying Sinai's billiards as a model of the classical ensemble of a Boltzmann–Gibbs gas, was able to show that the motion of the atoms in the gas follow the trajectories in the Hadamard dynamical system.

Exposition

The motion studied is that of a free particle sliding frictionlessly on the surface, namely, one having the Hamiltonian

$H(p,q)=\frac{1}{2m} p_i p_j g^{ij}(q)$

where m is the mass of the particle, $q^i$, $i=1,2$ are the coordinates on the manifold, $p_i$ are the conjugate momenta:

$p_i=mg_{ij} \frac{dq^j}{dt}$

and

$ds^2 = g_{ij}(q) dq^i dq^j\,$

is the metric tensor on the manifold. Because this is the free-particle Hamiltonian, the solution to the Hamilton–Jacobi equations of motion are simply given by the geodesics on the manifold.

Hadamard was able to show that all geodesics are unstable, in that they all diverge exponentially from one another, as $e^{\lambda t}$ with positive Lyapunov exponent

$\lambda = \sqrt{\frac{2E}{mR^2}}$

with E the energy of a trajectory, and $K=-1/R^2$ being the constant negative curvature of the surface.