How smooth can convex chaotic billiard tables be?

Abstract

We solve the longstanding problem of smoothing a stadium billiard. Besides our results demonstrate why there were no clear conjectures how much the stadium's boundary must be smoothened to destroy chaotic dynamics. To do that we needed to extend standard KAM theory to analyze stability of periodic orbits, because of the low smoothness of the system. In fact, the stadium has a $C^1$ boundary, and we show that $C^2$ smoothing results in appearance of elliptic periodic orbits.