On invariant subspaces for power-bounded operators of class \(C_1\). (Q1811446): Difference between revisions

This paper investigates the problem whether every power-bounded operator of class \(C_*\) has a nontrivial invariant subspace. As is known, a linear operator \(T\) on a Hilbert space \(H\) is called power-bounded if \(\sup_{n\geq 0}\| T^n\|< \infty\). Also, a power-bounded operator \(T\) is said to be of class \(C_*\) if there exists a nonzero vector \(x\in H\) such that the sequence \(\{\| T^n x\|\}_n\) does not converge to \(0\), and \(T\) is of class \(C_1\) if \(\{\| T^n x\|\}_n\) does not converge to \(0\) for every nonzero vector \(x\). In this paper, the authors prove that if \(T\) is a power-bounded operator of class \(C_1\) on a Hilbert space such that \(T\) commutes with a nonzero quasinilpotent operator, then \(T\) is not cyclic. This implies that if \(T\) is a power-bounded operator of class \(C_*\) on a Hilbert space which commutes with a nonzero quasinilpotent operator, then \(T\) has a nontrivial invariant subspace.