Single-particle billiards systems in a domain with corners, or multi-particle billiards in a domain with smooth boundary, can exhibit singularities in finite time. (The former phenomenon is well known; for an example of the latter, see e.g. section 1 of Charles Radin's article "Dynamics of Limit Models", available at <http://www.ma.utexas.edu/users/radin/papers/limitmodels.pdf>.)


Can single-particle billiards exhibit such catastrophes in a domain with smooth boundary? 


(If the answer depends on the degree of smoothness, e.g. if the answer is different for $C^1$ vs $C^\infty$, then interpret my question as "For what forms of smoothness is it the case that ..., and for what forms of smoothness is it not the case that ...?")


Note that this is not the same as asking the corresponding question about the discrete billiards map. The discrete map can be iterated unboundedly many times, but if the return-time to the boundary shrinks quickly, "time infinity" under discrete (return-map) dynamics could correspond to a finite-time catastrophe in the flow.


Note also that I am not asking whether billiards flow is well-defined for a set of initial conditions of full measure; I am asking whether it is well-defined for ALL initial conditions. (So please don't add an ergodic-theory tag to my post!)


Note also that the catastrophe phenomenon is not the same as the ill-definedness of the velocity at the moment of rebound. This ill-definedness does indeed make it slightly tricky to define billiard flow, but this is merely a technical problem that is easily surmountable. Extending the dynamics beyond a catastrophe is more problematic; it entails breaking symmetry and/or introducing discontinuities.


Hopefully I have anticipated all misunderstandings of my question that are likely to arise.



Well-definedness of single-particle smooth billiards flow
I think the paper you want is [B. Halpern, "Strange Billiard Tables." *Transactions of the AMS* Vol 232, 1977.](http://www.ams.org/journals/tran/1977-232-00/S0002-9947-1977-0451308-7/S0002-9947-1977-0451308-7.pdf)


Thanks to Carl for pointing out that Halpern considers tables with the additional condition of nonvanishing curvature. He constructs a $C^2$ catastrophe (with collision points on the unit circle, but an irregularly shaped table passing through those points) and rules out a $C^3$ catastrophe.


I believe that without the condition of nonvanishing curvature, Halpern's construction can be adapted to produce a smooth catastrophe with infinitely many collision points on $\exp(-1/x^2)$ approaching the origin. However, I haven't verified that the result can be made smooth.


