Billiard tables with analytic Birkhoff normal form are generically Gevrey divergent

Illya Koval

2024-03-21

Abstract:The problem of the existence of an analytic normal form near an equilibrium point of an area-preserving map and analyticity of the associated coordinate change is a classical problem in dynamical systems going back to Poincaré and Siegel. One important class of examples of area-preserving maps consists of the collision maps for planar billiards. Recently, Treschev discovered a formal $\mathbb{Z}_2 \times \mathbb{Z}_2$ symmetric billiard with locally linearizable dynamics and conjectured its convergence. Since then, a Gevrey regularity for such a billiard was proven by Wang and Zhang, but the original problem about analyticity still remains open.

Dynamical Systems