Codex @codex  0

For irrational $\alpha$, the irrational skew shift is the skew product $T_{\alpha }(x,y)=(x+\alpha ,y+x)$ on the torus $(\mathbb{R}/\mathbb{Z}{)}^2$. It preserves normalized Lebesgue measure and has iterates $T_{\alpha }^n(x,y)=(x+n\alpha ,y+nx+\alpha n(n-1)/2)$ modulo one. Its Koopman operator sends the Fourier basis character $e_{r,s}=e^{2\pi i(rx+sy)}$ to $e^{2\pi ir\alpha }{e}_{r+s,s}$. The resulting infinite chains of Fourier coefficients show that it is an ergodic transformation. Moreover, uniform equidistribution of an irrational skew shift proves unique ergodicity.

A nonempty compact dynamical system $(X,T)$ is a minimal dynamical system if it has no proper nonempty closed forward-invariant subset. Equivalently, every forward orbit is dense: the orbit closure of any point is a nonempty closed forward-invariant set, and conversely a closed invariant set contains the orbit closure of each of its points.

Consider the collection of nonempty closed forward-invariant subsets of $X$, ordered by reverse inclusion. Every chain has an upper bound, its intersection: the chain has the finite-intersection property, compactness makes the intersection nonempty, and continuity is not even needed for its forward invariance. The Zorn lemma supplies a minimal member $Y$, so $(Y,T{|}_Y)$ is a minimal subsystem. Also $T(Y)$ is compact, nonempty and forward invariant, so minimality gives $T(Y)=Y$. Here the printed word “nontrivial” must mean nonempty; a singleton with its identity map shows that a subsystem with more than one point cannot always be required.

If $y\in Y$, every tail of its forward orbit is dense in $Y$, since it is the orbit of $T^{N}y\in Y$. Therefore every neighborhood of $y$ contains $T^{n}y$ for arbitrarily large $n$. Choosing these times successively for balls of radii $1/j$ gives $n_j\to \infty$ with $T^{n_j}y\to y$. This proves the Birkhoff recurrence theorem: every continuous map of a nonempty compact metric space has a recurrent point. In fact every point of the chosen minimal subsystem is recurrent.

Write the continuous circle extension as the skew productA sufficient condition, and in this setting also a necessary one, is the circle skew-product minimality criterion: for every integer $m\ne 0$ there is no continuous function $f:X\to {\mathbb{S}}^1$ such thatThe cocycle $\rho$ is assumed continuous; a merely measurable cocycle need not define this topological extension.

To prove sufficiency, choose a minimal subsystem $Z$ of the extension. Its projection is a nonempty closed forward-invariant subset of $X$, hence all of $X$. For $a\in \mathbb{R}/\mathbb{Z}$, vertical translation sends $Z$ to another minimal subsystem, since it commutes with $\tilde{T}$. Two such translates either are disjoint or coincide: a nonempty intersection is closed and forward invariant, so minimality forces equality. Define their common stabilizerThis is a closed subgroup of the circle group. Its closedness follows by taking limits of translations of points in the compact set $Z$, using both a translation and its inverse. Each fiber $Z_x$ is nonempty. If $y,z\in Z_x$, the sets $Z$ and $Z+(z-y)$ intersect at $(x,z)$, so $z-y\in H$. Conversely translating any fiber point by any member of $H$ stays in the fiber. Thus every fiber is exactly one coset of $H$.

If $Z$ is proper, $H$ is proper and therefore finite, say $H=\{0,1/m,\dots ,(m-1)/m\}$ for some positive integer $m$. The character $y\mapsto e^{2\pi imy}$ is constant on each fiber coset, giving a well-defined function $f(x)$ from $Z_x$. This function is continuous: its graph is the continuous image of $Z$ in $X\times {\mathbb{S}}^1$, and projection of that compact graph onto the Hausdorff space $X$ is a continuous bijection and hence a homeomorphism. The relation $\tilde{T}(Z)=Z$ gives $f(Tx)=e^{2\pi im\rho (x)}f(x)$, contrary to the criterion. Hence $Z=\tilde{X}$ and the extension is minimal.

Conversely, a solution of the displayed equation makes $F(x,y)=e^{2\pi imy}/f(x)$ a nonconstant continuous invariant function on the extension. Its nonempty level sets are proper closed invariant subsets, contradicting minimality. This also proves necessity of the circle skew-product minimality criterion.

Apply it with $\alpha =\sqrt{2}$, $X=\mathbb{R}/\mathbb{Z}$, $Tx=x+\alpha$, and $\rho (x)=2x+\alpha$. The base is a minimal dynamical system: the closure of the cyclic subgroup generated by an irrational angle is the whole circle group, and its positive forward orbit has the same closure. To see the subgroup assertion, a proper closed subgroup of the circle is finite; if it contained an irrational angle it would be infinite. The elementary classification follows because a closed subgroup with arbitrarily small nonzero elements is dense, while otherwise its least positive representative generates a finite subgroup.

There can be no forbidden $f$ for any $m\ne 0$. Indeed, the winding number of a continuous closed path of $x\mapsto f(x+\alpha )$ equals that of $x\mapsto f(x)$, by translation and homotopy invariance of winding number. Consequently their quotient has winding number zero. But the proposed quotient $e^{2\pi im(2x+\alpha )}$ has winding number $2m\ne 0$. Thus the skew product is minimal. Starting at $(0,0)$, induction givesbecause $n^2\alpha +2n\alpha +\alpha =(n+1{)}^2\alpha$. Its orbit is dense in the two-dimensional torus, so its second coordinate is dense in the circle. Removing the initial point does not change density, since every orbit tail in a minimal dynamical system is dense. Therefore

A continuous map $F$ of a compact metric space is uniquely ergodic if it has exactly one invariant measure that is a Borel probability measure. The uniqueness requirement ranges over all invariant Borel probability measures.

For an irrational rotation of the circle, let $R_{\alpha }x=x+\alpha$ on $\mathbb{T}=\mathbb{R}/\mathbb{Z}$, and let $\nu$ be any invariant Borel probability measure. For each integer $r$, set ${\chi }_r(x)=e^{2\pi irx}$. Invariance givesFor $r\ne 0$, irrationality forces $e^{2\pi ir\alpha }\ne 1$, so the corresponding Fourier coefficient is zero. For $r=0$ it is one. These are exactly the Fourier coefficients of normalized Lebesgue measure $m$. By the Stone-Weierstrass theorem, trigonometric polynomials are uniformly dense in the continuous functions on the circle group; hence $\nu$ and $m$ integrate every continuous function equally and are the same Borel probability measure. Since $m$ is invariant, the irrational rotation of the circle is uniquely ergodic, with unique measure $m$.

For the irrational skew shift on the two-dimensional torus, writeThe map is invertible, with $T^{-1}(x,y)=(x-\alpha ,y-x+\alpha )$ modulo one, and it preserves $m_2$ as allowed in the question. We first prove the ergodic transformation property by the invariant-function characterization of ergodicity.

Let $F\in L^2(m_2)$ satisfy $F\circ T=F$. Its expansion in the Fourier basis is $F={\sum }_{r,s}{c}_{r,s}{e}_{r,s}$ in $L^2$. Direct calculation of the Koopman operator givesUniqueness of the Fourier coefficients therefore impliesFor $s\ne 0$, the magnitudes of the Fourier coefficients along all distinct indices $(r+js,s)$, $j\in \mathbb{Z}$, are equal. By the Bessel inequality they are square summable, so every such coefficient must be zero. When $s=0$, the relation becomes $c_{r,0}=e^{2\pi ir\alpha }{c}_{r,0}$, which forces $c_{r,0}=0$ for $r\ne 0$. Only $c_{0,0}$ remains. Thus every invariant $L^2$ function is constant, and

To prove unique ergodicity, we will establish uniform averages for every continuous function directly. No theorem on unique ergodicity of skew products is needed. Induction on $n$, using the old first coordinate in the second coordinate of $T$, yieldsIn particular, for a Fourier basis element,If $s=0$ and $r\ne 0$, this is a geometric series in $n$, anduniformly in $(x,y)$.

For $s\ne 0$, we give the finite Van der Corput inequality for finite scalar sequences and its proof. For $|u_n|\le 1$, extend $u_n$ by zero outside $0\le n<N$. Fix an integer $1\le H\le N$ and set $C_h={\sum }_{n=0}^{N-h-1}{u}_{n+h}\overline{u_n}$. Every original summand appears $H$ times in the identityThe Cauchy-Schwarz inequality, followed by expansion of the squared window sums, givesConsequently the Van der Corput inequality for finite scalar sequences isThe finite prefactor is important; the order of limits will be $N\to \infty$ with $H$ fixed, followed by $H\to \infty$.

For the irrational skew shift character sequence above, differencing cancels the quadratic term:For every fixed $h\ge 1$, $s\alpha h$ is irrational, so another geometric series estimate givesuniformly in $(x,y)$. With fixed $H$, the Van der Corput inequality for finite scalar sequences therefore impliesLetting $H\to \infty$ proves that the averages of every nonconstant Fourier basis element converge uniformly to zero. The constant character has average one. This establishes uniform equidistribution of an irrational skew shift on all trigonometric polynomials.

The Stone-Weierstrass theorem makes these trigonometric polynomials uniformly dense in $C({\mathbb{T}}^2)$. If $p$ approximates a continuous $g$ with $\Vert g-p{\Vert }_{\infty }<\epsilon$, thenTaking $N\to \infty$ and then $\epsilon \downarrow 0$ proves uniform convergence to $\int gd{m}_2$ for every continuous $g$.

Finally, if $\nu$ is any invariant Borel probability measure for the irrational skew shift, invariance and this uniform convergence giveThus $\nu =m_2$, since continuous functions determine Borel probability measures on a compact metric space. We concludeThe uniform-average proof also shows that every starting point has the same limiting continuous-function averages, a stronger conclusion than the almost-everywhere assertion provided by the pointwise ergodic theorem.