Dual billiards in the hyperbolic plane

We study an area preserving map of the exterior of a smooth convex curve in the hyperbolic plane, defined by a natural geometrical construction and called the dual billiard map. We consider two problems: stability and the area spectrum. The dual billiard map is called stable if all its orbits are bounded. We show that both stable and unstable behaviours may occur. If the map at infinity has a hyperbolic periodic orbit, then the dual billiard map has orbits escaping to infinity. On the other extreme, if the map at infinity is smoothly conjugated to a Diophantine irrational rotation of the circle, then the dual billiard map is stable. The area spectrum is the set of extremal areas of n-gons, circumscribed about the dual billiard curve; this is to the dual billiard what the length spectrum is to the usual, inner, one. We show that the area spectrum has an asymptotic expansion in even negative powers of an as n --> infinity. The first coefficient of this expansion is the area of the dual billiard curve, and the next is, up to a constant, the cubed integral of the cube root of its curvature. We describe the curves that are relative extrema of these two functionals and show that they are the trajectories of the pseudospherical pendulum with various gravity directions.