Abstract:In this paper, we prove the quasi-compactness of the Frobenius-Perron operator for a piecewise convex map $\tau$ with a countably infinite number of branches on the interval $I=[0,1]$. We establish that for high enough $n$ iterates of $\tau$, $\tau^n$ are piecewise expanding. Using the Lasota-Yorke Inequality derived from references \cite{hofbauer1982} and \cite{keller1985}, adapted to meet the assumptions of the Ionescu-Tulcea and Marinescu ergodic theorem, we demonstrate the existence of absolutely continuous invariant measure (ACIM) $\mu$ for $\tau$, the exactness of the dynamical system $(I, \tau,\mu)$ and the quasi-compactness of Frobenius-Perron operator $P_\tau$ induced by $\tau$. The last fact implies a multitude of strong ergodic properties of $\tau$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the quasi - compactness of the Frobenius - Perron operator of piecewise convex mappings (with countably infinitely many branches). Specifically, the paper explores the behavior of the dynamical system of the piecewise convex mapping $\tau$ defined on the unit interval $[0,1]$, in particular the existence of the absolutely continuous invariant measure (ACIM) of these systems and the exactness of the dynamical system. By using the Lasota - Yorke inequality and the Ionescu - Tulcea and Marinescu ergodic theorem, the author proves that for a sufficiently high number of iterations $n$, $\tau^n$ is piecewise expanding and its Frobenius - Perron operator $P_{\tau}$ is quasi - compact. This result not only shows the spectral properties of $P_{\tau}$, but also implies that the dynamical system $(\tau,\mu)$ has a series of strong ergodic properties, such as exponential correlation decay, the central limit theorem, etc.
### Main problems and solutions:
1. **Existence of the absolutely continuous invariant measure (ACIM)**:
- The author proves that for high - order iterations $\tau^n$, these mappings are piecewise expanding.
- By using the Lasota - Yorke inequality and the Ionescu - Tulcea and Marinescu ergodic theorem, it is proved that there exists an absolutely continuous invariant measure $\mu$.
2. **Proof of quasi - compactness**:
- By proving the quasi - compactness of $P_{\tau}$ on the $BV$ space, the author shows the spectral properties of $P_{\tau}$.
- Specifically, it is proved that the only eigenvalue of $P_{\tau}$ on $L^1_m$ with modulus 1 is 1, and the corresponding eigenspace is one - dimensional.
3. **Exactness of the dynamical system**:
- It is proved that the dynamical system $(\tau,\mu)$ is exact, that is, the long - term behavior of the system can be completely described.
### Key conclusions:
- **Quasi - compactness**: The Frobenius - Perron operator $P_{\tau}$ is quasi - compact on the $BV$ space.
- **The only eigenvalue with modulus 1**: 1 is the only eigenvalue of $P_{\tau}$ with modulus 1, and the corresponding eigenspace is one - dimensional.
- **Exactness of the dynamical system**: The dynamical system $(\tau,\mu)$ is exact and has strong ergodic properties such as weak mixing, exponential correlation decay, and the central limit theorem.
### Mathematical tools and methods:
- **Lasota - Yorke inequality**: Used to control the variation of functions, thereby proving the quasi - compactness of $P_{\tau}$ on the $BV$ space.
- **Ionescu - Tulcea and Marinescu ergodic theorem**: Used to prove the spectral properties of quasi - compact operators.
- **Piecewise expanding mapping**: Prove that the high - order iteration $\tau^n$ is piecewise expanding, which is an important prerequisite for quasi - compactness.
Through these methods, the author successfully proves the quasi - compactness of the Frobenius - Perron operator of piecewise convex mappings, providing a solid theoretical basis for understanding the behavior of such dynamical systems.