On rank-one perturbations of normal operators (Q2466524)

Let \(H\) be a separable, infinite-dimensional, complex Hilbert space with an ordered orthonormal basis \(\{e_n\}_{n \in \mathbb N}\) and let \(L(H)\) denote the algebra of all bounded linear operators on \(H\). Given a bounded sequence \(\Lambda=\{\lambda_n\}_{n \in \mathbb N}\) in \(\mathbb C\), we write \(D_\Lambda\) for the normal operator in \(L(H)\) determined by \(D_\Lambda (e_n)=\lambda_n e_n\), \(n \in \mathbb N\). By definition, an operator \(T\in L(H)\) is a rank-one perturbation of a diagonal normal operator if there exist nonzero vectors \(u=\sum_{n \in \mathbb N} \alpha_n e_n\) and \(v=\sum_{n \in \mathbb N} \beta_n e_n\) in \(H\) and a bounded sequence \(\Lambda=\{\lambda_n\}_{n \in \mathbb N}\) in \(\mathbb C\) such that \(T\) is unitary equivalent to the operator \(D_\Lambda +u \otimes v\), where \((u \otimes v)(x)=\langle x,v\rangle u\), \(x \in H\). It is shown that if \(T \notin \mathbb C 1_H\) and the vectors \(u\) and \(v\) satisfy \(\sum_{n \in\mathbb N} (| \alpha_n| ^{2/3}+| \beta_n| ^{2/3})<\infty\), then \(T\) has a nontrivial hyperinvariant subspace. This partially answers a longstanding open question.