Birkhoff Measures, Birkhoff Sums, and Discrepancies

Abstract

We study the distribution of a sequence of points in the circle generated by rotations by a fixed irrational number $\ddot{I}$ with initial condition $x_0$, that is: $\{x_0+i\ddot{I}{\}}_{i=1}^n$. The \emph{discrepancy} as defined by Pisot and Van Der Corput \cite{VdCP}, quantifies how evenly distributed such a sequence is. Consider the ergodic or Birkhoff sum of mean zero $S(\ddot{I},n,x):={\sum }_{i=1}^n(\{x+i\ddot{I}\}-1/2)$, where $\{\cdot \}$ denotes the fractional part. This is a piecewise-linear map in the variable $x$ with $n$ branches, each with slope $n$. For fixed $n$ and $\ddot{I}$, let $\hat{I}½(\ddot{I},n,z)$ be the number of pre-images of $S(\ddot{I},n,x)=z$ divided by $n$. Then $\hat{I}½(\ddot{I},n,z)$ is a probability density. We call the associated measures Birkhoff measures. We investigate how the graph of $\hat{I}½(\ddot{I},n,z)$ varies with $n$. We prove that the length of the support of the Birkhoff measure $\hat{I}½(\ddot{I},n,z)dz$ can be expressed in terms of the discrepancy. We also show that if $n$ is a continued fraction denominator of $\ddot{I}$, then the graph of $\hat{I}½(\ddot{I},n,z)$ an approximate isosceles trapezoid. We also give new, brief, proofs of two classical results, one by Ramshaw \cite{Ramshaw} and one found by Kuipers-Niederreiter \cite{KN}. These results allow efficient computation of both Birkhoff sums and discrepancies.

18 pages, 28 figures