Abstract:We obtain a trichotomy for the orbits of a hypercyclic operator $T$ on a separable Banach space $X$: (1) every vector is mean asymptotic to zero; (2) generic vectors are absolutely mean irregular; (3) every hypercyclic vector is mean divergent to infinity. Examples of weighted backward shifts on $\ell^p$ show that all three cases can happen.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the classification of the behavior of orbits of hypercyclic operators on separable Banach spaces. Specifically, the author aims to explore three possible behaviors of the orbits of a hypercyclic operator \(T\) on a Banach space \(X\) in the average sense and prove that one of these three cases must occur:
1. **Every vector has a mean asymptotically approaching zero**: For every \(x\in X\), we have
\[
\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k = 1}^{n}\|T^{k}x\|= 0.
\]
2. **Generic vectors are absolutely mean - irregular**: There exists a residual subset \(X_{0}\subset X\) such that for every \(x\in X_{0}\), we have
\[
\liminf_{n\rightarrow\infty}\frac{1}{n}\sum_{k = 1}^{n}\|T^{k}x\|= 0\quad\text{and}\quad\limsup_{n\rightarrow\infty}\frac{1}{n}\sum_{k = 1}^{n}\|T^{k}x\|=\infty.
\]
3. **Every hypercyclic vector has a mean diverging to infinity**: For every hypercyclic vector \(x\in X\), we have
\[
\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k = 1}^{n}\|T^{k}x\|=\infty.
\]
To prove this trichotomy, the author first utilizes the dichotomy results of equicontinuity and mean - sensitivity of linear dynamical systems and combines some key lemmas and technical means to prove that one of these three cases must hold. In addition, the author also provides specific examples of weighted backward shift operators, showing that all three cases can actually occur.
Through these studies, the author not only deepens the understanding of the behavior of orbits of hypercyclic operators but also provides an important theoretical basis for further research in related fields.