A note on the semiclassical measure at singular points of the boundary of the Bunimovich stadium

Abstract

An argument by Hassell proving the existence of a Bunimovich stadium for which there are semiclassical measures giving positive mass to the submanifold of bouncing ball trajectories uses a notion of non-gliding points. However, this notion is defined only for domains with $C^2$-boundaries. The purpose of this note is to clarify the argument.