Dynamical Borel–Cantelli lemma for recurrence theory

Abstract

AbstractWe study the dynamical Borel–Cantelli lemma for recurrence sets in a measure-preserving dynamical system $(X, \mu , T)$ with a compatible metric d. We prove that under some regularity conditions, the $\mu $ -measure of the following set $$\begin{align*}R(\psi)= \{x\in X : d(T^n x, x) < \psi(n)\ \text{for infinitely many}\ n\in\mathbb{N} \} \end{align*}$$ obeys a zero–full law according to the convergence or divergence of a certain series, where $\psi :\mathbb {N}\to \mathbb {R}^+$ . The applications of our main theorem include the Gauss map, $\beta $ -transformation and homogeneous self-similar sets.