Existence and nonexistence of invariant curves of coin billiards

In this paper we consider the coin billiard introduced by M. Bialy. It is a modification of the classical billiard, obtained as the return map of a nonsmooth geodesic flow on a cylinder that has homeomorphic copies of a classical billiard on the top and on the bottom (a coin). The return dynamics is described by a map T of the annulus
. We prove the following three main theorems: in two different scenarios (when the height of the coin is small, or when the coin is near-circular) there is a family of KAM curves close to, but not accumulating on, the boundary
; for any noncircular coin, if the height of the coin is sufficiently large, there is a neighbourhood of
through which there passes no invariant essential curve; and the only coin billiard for which the phase space
is foliated by essential invariant curves is the circular one. These results provide partial answers to questions of Bialy. Finally, we describe the results of some numerical experiments on the elliptical coin billiard.