A finite dimensional approach to Bramham's approximation theorem

TL;DR

This paper provides a finite dimensional proof of Bramham's approximation theorem for smooth irrational pseudo-rotations, extending the result to $C^1$ pseudo-rotations using gradient flow analysis.

Contribution

It introduces a finite dimensional approach to Bramham's theorem, applicable to pseudo-rotations conjugate to boundary rotations and extending to $C^1$ cases.

Findings

Finite dimensional proof of Bramham's theorem.

Extension to $C^1$ pseudo-rotations.

Use of gradient flow and generating families.

Abstract

Using pseudoholomorphic curves techniques from symplectic geometry, Barney Bramham proved recently that every smooth irrational pseudo-rotation of the unit disk is the limit, for the $C^0$ topology, of a sequence of smooth periodic diffeomorphisms. We give here a finite dimensional proof of this result that works in the case where the pseudo-rotation is smoothly conjugate to a rotation on the boundary circle. The proof extends to $C^1$ pseudo rotations and is based on the dynamical study of the gradient flow associated to a generating family of functions given by Chaperon's broken geodesics method.