Common hypercyclic vectors and the hypercyclicity criterion (Q733646)

Let \(X\) be a separable, infinite-dimensional Banach space over the scalar field \(\mathbb C\), and let \(B(X)\) denote the algebra of all bounded linear operators on \(X\). An operator \(T\) in \(B(X)\) is called hypercyclic if there exists a vector \(x\in X\) such that its orbit Orb\,\((T,x)=\{T^nx: n\geq 0\}\) is dense in \(X\). Such a vector \(x\) is called a hypercyclic vector for \(T\). The set \({\mathcal HC}(T)\) of all hypercyclic vectors for \(T\) is always a dense \(G_\delta\) subset of \(X\) whenever \(T\) is hypercyclic. By the Baire Category Theorem, all the operators in a countable family \(\{T_n:\;n\geq 1\}\) are hypercyclic if and only if the intersection \(\bigcap_{n=1}^\infty{\mathcal {HC}}(T_n)\) is a dense \(G_\delta\) subset of \(X\). On the other hand, the above argument fails to apply when the family of hypercyclic operators is uncountable. This motivated the study of the existence of vectors that are hypercyclic for each operator in an uncountable family. In the paper under review, the author studies the existence of vectors that are hypercyclic for each operator in an uncountable family, with continuity maintained inside the family. To be precise, we recall some other definitions. A family of operators \(\{F_t\in B(X): t\in I\}\), where \(I\) is an interval of real numbers, is a path of operators if the map \(F_t: I\to B(X)\), given by \(F(t)=F_t\), is continuous with respect to the usual topology on the interval \(I\) and the operator norm topology on \(B(X)\). The intersection \(\bigcap_{t\in I}{\mathcal {HC}}(F_t)\) is the set of common hypercyclic vectors for the path, and any vector \(x\) in the set \(\bigcap_{t\in I}{\mathcal {HC}}(F_t)\) is a common hypercyclic vector. By examining paths of operators, where each operator along the path satisfies the Hypercyclicity Criterion, the author provides necessary and sufficient conditions for a path of left multiplication operators to have a set of common hypercyclic vectors which is dense with respect to the strong operator topology in \(B(X)\). As a consequence, she also establishes a natural sufficient condition for a path of operators to have a common hypercyclic subspace.