Bounded gain of energy on the breathing circle billiard

The breathing circle is a two-dimensional generalization of the Fermi accelerator. It is shown that the billiard map associated to this model has invariant curves in phase space, implying that any particle will have bounded gain of energy.