Artin billiard explained

H /\Gamma, where H is the upper half-plane endowed with the Poincaré metric and \Gamma = PSL( 2 , Z ) is the modular group. It can be viewed as the motion on the fundamental domain of the modular group with the sides identified.

The system is notable in that it is an exactly solvable system that is strongly chaotic: it is not only ergodic, but is also strong mixing. As such, it is an example of an Anosov flow. Artin's paper used symbolic dynamics for analysis of the system.

The quantum mechanical version of Artin's billiard is also exactly solvable. The eigenvalue spectrum consists of a bound state and a continuous spectrum above the energy

E =1 / 4 . The wave functions are given by Bessel functions.

Exposition

H(p,q) = (1)/(2 m) 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} (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.

In the case of the Artin billiards, the metric is given by the canonical Poincaré metric

ds ^{2= (dy ^{2})/(y ^{2})}

on the upper half-plane. The non-compact Riemann surface

l{H}/\Gamma is a symmetric space, and is defined as the quotient of the upper half-plane modulo the action of the elements of PSL( 2 , Z ) acting as Möbius transformations. The set U = \left\{ z \in H: \left| z \right| > 1 , \left| Re (z) \right| < (1)/(2) \right\}

is a fundamental domain for this action.

The manifold has, of course, one cusp. This is the same manifold, when taken as the complex manifold, that is the space on which elliptic curves and modular functions are studied.

References

• E. Artin, "Ein mechanisches System mit quasi-ergodischen Bahnen", Abh. Math. Sem. d. Hamburgischen Universität, 3 (1924) pp170-175.