The role of the angle in supercyclic behavior. (Q1410553)

A (bounded) operator \(T\) on a complex infinite dimensional separable Hilbert space \(H\) is said to be supercyclic if there is a (supercyclic) vector \(x \in X\) such that its projective orbit \(\{\lambda T^n(x) : n \in \mathbb{N}\), \(\lambda \in \mathbb{C} \}\) is dense in \(H\). One of the ideas of \textit{A. Montes-Rodríguez} and \textit{H. N. Salas} [Adv. Math. 163, 74--134 (2001; Zbl 1008.47010)] in connection with supercyclicity was the angle criterion: \(x \in H\) is a supercyclic vector of \(T\) if and only if \(\sup (\frac{| \langle T^n x,y\rangle |}{\| T^nx\| \| y\|}) =1\) for every \(y \in H, y \neq 0\). As a first application, the authors give a different proof of a result of Herrero about the spectrum of supercyclic operators. Clancey-Rogers' theorem provides sufficient conditions for an operator to be cyclic. In section 3 of the present article, extra assumptions permit the authors to obtain sufficient conditions for an operator to be supercyclic. The main result of the article asserts that if \(\varphi\) is a linear fractional self-map on the unit disc which is a parabolic non-automorphism, then the composition operator \(C_{\varphi}\) with symbol \(\varphi\) is not supercyclic on the Hardy space \(H^2\). The proof uses the angle criterion, and the result completes the work on cyclicity of \(C_{\varphi}\) by Bourdon and Shapiro and Ansari and Bourdon.