Bifurcations of Liouville Tori in Elliptical Billiards

A detailed description of topology of integrable billiard systems is given. For elliptical billiards and geodesic billiards on ellipsoid, the corresponding Fomenko graphs are constructed.

💡 Research Summary

The paper provides a comprehensive topological classification of several integrable billiard systems, focusing on planar elliptical billiards, billiards bounded by confocal conics, and billiards on and inside ellipsoids in three‑dimensional Euclidean space. The authors employ the machinery of Liouville integrability and Fomenko’s theory of atoms and graphs to describe how the invariant Liouville tori in the iso‑energy manifolds bifurcate as the parameters of the confocal caustics vary.

First, the authors recall that a billiard inside a smooth domain Ω ⊂ M (M a Riemannian manifold) can be reduced to a smooth iso‑energy manifold B by fixing the kinetic energy (speed = 1) and identifying incoming and outgoing velocity vectors at boundary points. This construction yields a compact smooth manifold even when the boundary consists of several smooth pieces, provided the reflection law is well defined at the junctions (the authors treat the orthogonal intersection of confocal conics as such a case).

For the planar elliptical billiard defined by x²/a + y²/b = 1 (a > b > 0), the family of confocal caustics C_μ : x²/(a−μ) + y²/(b−μ) = 1 is introduced. The parameter μ determines the type of caustic: elliptic (0 < μ < b), the degenerate case μ = b (segments passing through the foci), hyperbolic (b < μ < a), and the limiting cases μ = 0, μ = a. The authors analyze the Liouville foliation of B for each interval of μ:

• For 0 < μ < b there are two regular Liouville tori for each μ, corresponding to clockwise and counter‑clockwise motion around the inner ellipse.
• At μ = b the tori collapse onto two separatrix families S₁ and S₂ (trajectories that alternately pass through the left and right focus) together with a single periodic orbit along the x‑axis. This configuration is represented by a B‑atom in the Fomenko graph.
• For b < μ < a a single torus persists (hyperbolic caustic).
• The limiting values μ = 0 and μ = a correspond to periodic motions along the x‑ and y‑axes respectively and are depicted by A‑atoms.

These bifurcations are encoded in a Fomenko graph (Figure 1 in the paper) whose vertices are atoms (A, B, C) and edges correspond to families of regular tori. The rotation functions ρ on the edges are given explicitly as integrals of the form ρ(α)=∫… and their limits at the atoms are described.

The paper then treats more complicated planar domains formed by unions of confocal ellipses and hyperbolas. For each configuration (two nested ellipses, an ellipse with a confocal hyperbola, etc.) a specific Fomenko graph is constructed (Figures 3–8). Special attention is paid to the points where the boundary pieces intersect orthogonally; the authors adopt the convention that the velocity vector is reflected by reversing its direction, which yields well‑defined dynamics and leads to the appearance of an A*‑atom (a degenerate periodic orbit together with its homoclinic separatrices).

In three dimensions the authors consider the ellipsoid E³ : x²/a + y²/b + z²/c = 1 (0 < c < b < a) and its confocal quadrics Q_λ : x²/(a−λ) + y²/(b−λ) + z²/(c−λ) = 1. Using Jacobi elliptic coordinates (λ₁ > λ₂ > λ₃) they describe the intersection of the ellipsoid with a one‑sheeted hyperboloid (c < β < b) and a two‑sheeted hyperboloid (b < γ < a). Each hyperboloid cuts the ellipsoid into three regions: two simply‑connected caps symmetric with respect to a coordinate plane and a middle “ring” region. The billiard flow restricted to any of these regions is shown to have the same Liouville foliation as the planar elliptical billiard; consequently the same Fomenko graph (Figure 1) describes all of them. Explicit rotation functions for the lower and upper edges of the graph are derived in terms of the standard elliptic integral Φ(λ,α).

Finally, the authors prove that any billiard inside an arbitrary Liouville surface bounded by a confocal ellipse (or hyperbola) is Liouville‑equivalent to the planar elliptical billiard. Hence all such systems share the same Fomenko graph, regardless of the underlying metric.

The paper concludes that Fomenko graphs provide a powerful, unifying language for describing the topology of integrable billiard systems. By cataloguing the bifurcations of Liouville tori across a wide variety of geometric configurations, the authors lay a solid foundation for future studies of near‑integrable perturbations, bifurcation analysis, and the exploration of more exotic confocal families.