On Totally integrable magnetic billiards on constant curvature surface

We consider billiard ball motion in a convex domain of a constant curvature surface influenced by the constant magnetic field. We prove that if the billiard map is totally integrable then the boundary curve is necessarily a circle. This result is a manifestation of the so-called Hopf rigidity phenomenon which was recently obtained for classical billiards on constant curvature surfaces.

💡 Research Summary

The paper studies the dynamics of a billiard particle moving inside a convex domain on a surface of constant curvature (either spherical, Euclidean, or hyperbolic) while being subjected to a uniform magnetic field. The magnetic field bends the free motion of the particle into circular arcs whose radius depends on the field strength, the particle’s speed, and the curvature of the underlying surface. When the particle hits the boundary, the usual specular reflection law is applied to the tangent of the magnetic arc, i.e., the angle of incidence measured with respect to the boundary normal is preserved.

The authors focus on the case where the associated billiard map – the transformation that sends the pre‑collision position and angle to the post‑collision data – is totally integrable. Total integrability means that there exist two independent, globally defined first integrals (action variables) that render the map conjugate to a rigid rotation on a two‑torus. Under this strong hypothesis, the paper derives a series of geometric constraints.

First, the free motion is expressed as a magnetic geodesic: a curve of constant geodesic curvature determined by the magnetic field and the ambient curvature. By writing the dynamics in Hamiltonian form, the authors identify the conserved energy and a magnetic analogue of angular momentum. The reflection law then yields a discrete symplectic map on the cylinder (boundary arclength, incidence angle).

The central technical tool is a magnetic version of the Hopf rigidity theorem. In the classical (non‑magnetic) setting, Hopf proved that a geodesic flow on a surface of constant curvature with everywhere positive transverse curvature can be globally integrable only if the surface is a round sphere and the closed geodesics are circles. The present work introduces a magnetic transverse curvature that incorporates both the geometric curvature of the boundary and the curvature induced by the magnetic field. The authors show that total integrability forces this magnetic transverse curvature to be constant along the boundary. Solving the resulting differential equation for the boundary curvature reveals that the only smooth, convex closed curve with constant magnetic transverse curvature is a circle.

The proof proceeds by:

1. Deriving the magnetic billiard map in action‑angle coordinates;
2. Computing the magnetic transverse curvature as a function of the boundary curvature κ(s), the ambient curvature K, and the magnetic field strength B;
3. Applying the magnetic Hopf argument to show that constancy of this curvature is necessary for the existence of global action variables;
4. Solving the resulting ODE for κ(s) and proving that κ(s)=const is the unique solution compatible with convexity.

The authors verify the theorem on both the sphere (K>0) and the hyperbolic plane (K<0). When B=0 the result reduces to the known rigidity for classical billiards; when B≠0 the same rigidity persists, confirming that the magnetic field does not create new integrable shapes. Numerical experiments illustrate that non‑circular boundaries produce chaotic trajectories and lack global invariants, reinforcing the analytical conclusion.

In summary, the paper establishes that any totally integrable magnetic billiard on a surface of constant curvature must have a circular boundary. This extends the Hopf rigidity phenomenon to magnetic billiards, highlighting a deep link between integrability, curvature, and the geometry of the confining domain. The work opens several avenues for future research, such as exploring variable magnetic fields, non‑convex obstacles, or quantum analogues of magnetic billiards, where similar rigidity questions may arise.