Abstract:In this paper we study quantitative recurrence and the shrinking target problem for dynamical systems coming from overlapping iterated function systems. Such iterated function systems have the important property that a point often has several distinct choices of forward orbit. As is demonstrated in this paper, this non-uniqueness leads to different behaviour to that observed in the traditional setting where every point has a unique forward orbit.
We prove several almost sure results on the Lebesgue measure of the set of points satisfying a given recurrence rate, and on the Lebesgue measure of the set of points returning to a shrinking target infinitely often. In certain cases, when the Lebesgue measure is zero, we also obtain Hausdorff dimension bounds. One interesting aspect of our approach is that it allows us to handle targets that are not simply balls, but may have a more exotic geometry.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the performance of **quantitative recurrence** (quantitative recurrence) and the **shrinking target problem** (shrinking target problem) in **overlapping iterated function systems** (overlapping iterated function systems, IFSs). Specifically, the paper is concerned with how the extreme behaviors of these systems change when a point is allowed to have multiple different forward trajectories in the system.
### Background and Motivation of the Paper
1. **Selectivity of Dynamical Systems**:
- For many dynamical systems, from the perspectives of pure and applied mathematics, an element in the state space may have multiple choices to determine its forward trajectory. This phenomenon can be observed in random walks and also appears in models that describe real - world events with inherent randomness.
- The main motivation of this paper is to explore the following question: for these dynamical systems, if we consider not only a single forward trajectory but all possible forward trajectories, what extreme behaviors will be observed?
2. **Fractal Geometry**:
- Given a finite set of \(d\times d\) invertible matrices \(\{A_i\}_{i\in I}\) and a finite set of vectors \(\{t_i\}_{i\in I}\), a set of contraction mappings \(\{S_i:\mathbb{R}^d\rightarrow\mathbb{R}^d\}_{i\in I}\) can be defined, where each \(S_i\) is defined as \(S_i(x) = A_i x+t_i\).
- These mappings form an affine iterated function system (affine IFS), and there exists a unique non - empty compact set \(X\) such that \(X=\bigcup_{i\in I}S_i(X)\). This set \(X\) is called a self - affine set or an invariant set and usually exhibits fractal characteristics.
3. **Shrinking Target Problem**:
- The general framework of the shrinking target problem is to define a continuous mapping \(T:X\rightarrow X\) on a Borel set \(X\subset\mathbb{R}^d\), given a point sequence \((x_n)_{n = 1}^{\infty}\in X^{\mathbb{N}}\) and a Borel subset sequence \((E_n)_{n = 1}^{\infty}\), and study the set
\[
W(x,(E_n)):=\{x\in X:T^n(x)\in x_n + E_n\text{ for i.m. }n\in\mathbb{N}\}
\]
- where "i.m." stands for "infinitely many times". Usually, \(E_n\) are nested sets containing the origin, and \(x\) is a constant sequence. Studying the measure and dimension of these sets is the core of the shrinking target problem.
4. **Quantitative Recurrence**:
- Recurrence is a fundamental concept in dynamical systems. If \(T:X\rightarrow X\) is a measure - preserving transformation on a probability space \((X,\mathcal{B},\mu)\), the Poincaré recurrence theorem states that for any set \(A\in\mathcal{B}\) with \(\mu(A)>0\), almost all \(x\in A\) will return to \(A\) infinitely many times.
- Quantitative recurrence further explores the recurrence rate. Given a function \(\psi:\mathbb{N}\rightarrow[0,\infty)\), the recurrence set is defined as
\[
R(\psi):=\{x\in X:d(T^n(x),x)\leq\psi(n)\text{ for i.m. }n\in\mathbb{N}\}
\]
- Studying the measure and dimension of these sets.