A note on \(J\)-sets of linear operators (Q692334)

One of the most powerful results in the theory of dynamics of bounded linear operators on infinite-dimensional complex Banach spaces is the following theorem due to \textit{P. S. Bourdon} and \textit{N. S. Feldman} [Indiana Univ. Math. J. 52, No. 3, 811--819 (2003; Zbl 1049.47002)]. Theorem. Let \(X\) be an infinite-dimensional Banach space and \(T:X\to X\) be a bounded linear operator. If the closure of the orbit \(\text{Orb}(T,x)=\{ T^n(x): n\geq 0 \}\) of a vector \(x\in X\) has nonempty interior, then the orbit is dense in \(X\). \textit{G. Costakis} and \textit{A. Manoussos} in [J. Oper. Theory 67, No. 1, 101--119 (2012; Zbl 1243.47021)] generalized this result in the following sense. Let \(J_T(x)\) be the set of all vectors \(y\in X\) such that there exist a strictly increasing sequence \((k_n)\subset \mathbb{N}\) and a sequence \((x_n)\subset X\) with \(x_n\to x\) and \(T^{k_n}x_n\to y\) as \(n\to\infty\). If there exists a cyclic vector \(x\in X\) for the operator \(T\) such that the set \(J_T(x)\) has nonempty interior, then \(T\) is hypercyclic, i.e., it has a dense orbit (not necessarily the orbit of the vector \(x\)). In the same paper, they asked whether there is an analogue of Bourdon-Feldman theorem in the case of \(J\)-sets, i.e., if the set \(J_T(x)\) has nonempty interior, does it imply that \(J_T(x)=X\)? In the paper under review, the authors answer this question in the negative. They construct a bounded linear operator \(T:l_1\to l_1\) such that the interior of \(J_T(0)\) is nonempty and \(J_T(0)\neq X\). Using this result, they construct furthermore a bounded linear operator \(V\) on a Banach space \(X\) such that there exists a nonzero vector \(x\in X\) with \(J_V(x)\neq X\) and such that \(J_V(x)\) has nonempty interior.