Exponential mixing for skew products with discontinuities (Q2832998)

Let \(\{\mathbb{I}_k\}_k\) be a finite set of disjoint open intervals. Let \(f\) be a function defined from \(\bigcup_k\mathbb{I}_k\) to \(\mathbb{T}^1=\mathbb{R}/\mathbb{Z}\). Let \(\tau\) be the fiber map defined from \(\bigcup_k\mathbb{I}_k\) to \(\mathbb{R}.\) In this paper, the authors deal with the 2D skew product \(F : (x, u)\rightarrow(f(x), u + \tau(x))\), where the base map \(f\) is piecewise \(\mathcal{C}^2\), covering and uniformly expanding the map of the circle, and the fiber map \(\tau\) is piecewise \(\mathcal{C}^2\). One of the main purposes of the authors is to prove the following theorem:NEWLINENEWLINETheorem 1. Let \(F : \mathbb{T}^{2} \rightarrow \mathbb{T}^{2}\) be a piecewise \(\mathcal{C}^2\) skew product over an expanding map as described above. If \(\tau\) is not cohomologous to a piecewise constant, then \(F\) mixes exponentially.NEWLINENEWLINEHere, the authors also show that the given dynamical system mixes exponentially when \(\tau\) is not cohomologous (via a Lipschitz function) to a piecewise constant map. The authors study the estimate of the norm of twisted transfer operators reducing the problem to a single key estimate. In order to produce an estimate of the exponential mixing the authors use the estimate on the twisted transfer operators.