Lyapunov exponents and rigidity in random billiards and standard maps

We study random dynamical systems generated by measure-preserving maps, possibly with singularities.

For this class of systems, we establish an invariance principle: if all Lyapunov exponents coincide almost everywhere, then there exists an invariant measurable family of probability measures on the projective tangent bundle for the projective cocycle induced by the derivative.

We apply this principle to random additive perturbations of two classes of maps: billiard maps for strictly convex tables on surfaces of constant curvature and generalized standard maps.

In both settings, we obtain rigidity results: the Lyapunov exponents vanish almost everywhere precisely for billiards in geodesic disks and generalized standard maps with constant potential; in all other cases, they are nonzero almost everywhere.