On operators \(T\) such that \(f(T)\) is hypercyclic (Q1583710)

Let \(X\) be a complex separable infinite-dimensional Banach space and let \(T\in L(X)\) be a (continuous and linear) operator on \(X\). The operator \(T\) is called hypercyclic if there is \(x\in X\) such that its orbit \(O(T,x):= \{x,Tx,T^2x,\dots\}\) is dense in \(X\), and \(T\) is called supercyclic if the set of scalar multiples of the orbit is dense in \(X\). This article studies conditions on \(T\) and on an analytic function \(f\) on a neighbourhood of the spectrum \(\sigma(T)\) of \(T\) under which \(f(T)\) is hypercycle or supercyclic. The question has been treated several times in the literature in the 90's, e.g. by Godefroy and Shapiro and by Herzog and Schmoeger. The authors present a simpler proof of a result due to \textit{T. L. Miller} and \textit{V. G. Miller} [Proc. Am. Math. Soc. 127, No. 4, 1029-1037 (1999; Zbl 0911.47012)]. The main result of this article is the following: Let \(f\) be an analytic function on a neighbourhood of \(\sigma(T)\) which is non-constant on each component of \(\sigma(T)\). Suppose that the linear span of the union of the generalized kernels \(\bigcup_{n\in\mathbb{N}} \text{Ker}((z- T)^n)\) as \(z\) varies in the union of the components \(G\) of the complement of the surjective spectrum of \(T\) such that \(f(G)\) does not meet the boundary of the unit disc is dense in \(X\). Then \(f(T)\) is hypercyclic. The corresponding result for supercyclic operators is also proved. As an application two non-trivial examples are given: the first one is a non-diagonal operator on \(\ell_2(N)\times\ell_2(N)\), and the second one is a diagonal operator on the \(\ell_1\)-sum of copies of \(\ell_2(N)\).