arXiv2022
For $i = 0, 1, 2, \dots, k$, let $μ_i$ be a Borel probability measure on $[0,1]$ which is equivalent to Lebesgue measure $λ$ and let $T_i:[0,1] \rightarrow [0,1]$ be $μ_i$-preserving ergodic transformations. We say that transformations $T_0, T_1, \dots, T_k$ are uniformly jointly ergodic with respect to $(λ; μ_0, μ_1, \dots, μ_k)$ if for any $f_0, f_1, \dots, f_k \in L^{\infty}$, \[ \lim\limits_{N -M \rightarrow \infty} \frac{1}{N-M } \sum\limits_{n=M}^{N-1} f_0 ( T_0^{n} x) \cdot f_1 (T_1^n x) \cdots f_k (T_k^n x) = \prod_{i=0}^k \int f_i \, d μ_i \quad \text{ in } L^2(λ). \] We establish convenient criteria for uniform joint ergodicity and obtain numerous applications, most of which deal with interval maps. Here is a description of one such application. Let $T_G$ denote the Gauss map, $T_G(x) = \frac{1}{x} \, (\bmod \, 1)$, and, for $β>1$, let $T_β$ denote the $β$-transformation defined by $T_β x = βx \, (\bmod \,1)$. Let $T_0$ be an ergodic interval exchange transformation. Let $β_1 , \cdots , β_k$ be distinct real numbers with $β_i >1$ and assume that $\log β_i \ne \frac{π^2}{6 \log 2}$ for all $i = 1, 2, \dots, k$. Then for any $f_{0}, f_1, f_{2}, \dots, f_{k+1} \in L^{\infty} (λ)$, \begin{equation*} \begin{split} \lim\limits_{N -M \rightarrow \infty} \frac{1}{N -M } \sum\limits_{n=M}^{N-1} & f_{0} (T_0^n x) \cdot f_{1} (T_{β_1}^n x) \cdots f_{k} (T_{β_k}^n x) \cdot f_{k+1} (T_G^n x) &= \int f_{0} \, d λ\cdot \prod_{i=1}^k \int f_{i} \, d μ_{β_i} \cdot \int f_{k+1} \, d μ_G \quad \text{in } L^{2}(λ). \end{split} \end{equation*} We also study the phenomenon of joint mixing. Among other things we establish joint mixing for skew tent maps and for restrictions of finite Blaschke products to the unit circle.