Divergence: —

Sinai 1970: proved this system
is ergodic and has positive
Lyapunov exponent.

The circle acts as a "defocusing"
scatterer — chaos is guaranteed
by the convex boundary.