Subspace hypercyclicity (Q711020)

Let \(T\) be bounded linear operator on a Hilbert space \(H\). \(T\) is said to be hypercyclic if there exists some element \(x\in H\) such that the orbit of \(x\) under the operator \(T\) is dense in \(H\). The authors present a new notion called subspace hypercyclicity: \(T\) is subspace hypercyclic for a subspace \(M\subset H\) if there exists some element \(x\in H\) such that its orbit under \(T\) intersects \(M\) in a relatively dense set. The notion of subspace transitivity is also introduced. One could think that subspace transitivity would be equivalent to subspace hypercyclicity, following what happens with transitivity and hypercyclicity. However, subspace transitivity is stronger than subspace hypercyclicity, as the authors illustrate. \textit{P.\,S.\thinspace Bourdon} and \textit{N.\,S.\thinspace Feldman} proved in [Indiana Univ.\ Math.\ J.\ 52, No.\,3, 811--819 (2003; Zbl 1049.47002)] that, if an operator has an element with a dense orbit in an open set (i.e., it is somewhere dense), then it is hypercylic, answering a question posed by \textit{A.\,Peris} [Math.\ Z.\ 236, No.\,4, 779--786 (2001; Zbl 0994.47011)]. Nevertheless, a similar result does not hold for subspace hypercyclicity. Among other results, the authors provide a subspace-hypercyclicity criterion, study spectral properties of these operators and their adjoints, and discuss the infinite-dimensional character of this new property.