Riesz idempotent and Weyl's theorem for \(w\)-hyponormal operators (Q814374): Difference between revisions

For a bounded linear operator \(T\) on a complex Hilbert space \(H\) and an isolated point \(\lambda\) in its spectrum \(\sigma(T)\), let \(E_{T,\lambda}:=\frac{1}{2\pi i}\int_{| z-\lambda| =r}(z-T)^{-1}dz\) be the corresponding Riesz projection. It is generally non-selfadjoint and satisfies \[ \ker(T-\lambda)\subset E_{T,\lambda}H=H_0(T-\lambda):=\{x\in H:\lim_{n\to+\infty}\| (T-\lambda)^nx\| ^{\frac{1}{n}}=0\}. \] In [Trans.\ Am.\ Math.\ Soc.\ 117, 469--476 (1965; Zbl 0139.31201)], \textit{J.~G.\ Stampfli} proved that if \(T\) is hyponormal, then \(E_{T,\lambda}\) is selfadjoint and \(E_{T,\lambda}H=\ker(T-\lambda)=\ker(T-\lambda)^*\). This result has been shown to hold for other classes of Hilbert space operators; see, for instance, [Integral Equations Oper.\ Theory 43, No.~4, 379--384 (2002; Zbl 1047.47017); Linear Algebra Appl.\ 341, No.~1--3, 345--350 (2002; Zbl 1011.47018); Math.\ Inequal.\ Appl.\ 5, No.~2, 291--298 (2002; Zbl 1016.47003); Integral Equations Oper.\ Theory 53, No.~3, 311--320 (2005; Zbl 1099.47001)]. The authors prove that if \(T:=U| T| \) is \(w\)-hyponormal, \(\widetilde T := | T| ^{1/2}U| T| ^{1/2}\) is its Aluthge transform, and \(\lambda\) is an isolated point of \(\sigma(T)=\sigma(\widetilde T)\), then \(E_{T,\lambda}H=E_{\widetilde T,\lambda}H=\ker(T-\lambda)=\ker(\tilde T-\lambda)\). If, in addition, \(\lambda\not=0\), then they prove that \(E_{T,\lambda}\) is selfadjoint, \(E_{T,\lambda}H=\ker(T-\lambda)=\ker(T-\lambda)^*\), and \(E_{T,\lambda}=E_{\widetilde T,\lambda}\). Lastly, they show that \(f(T)\) obeys Weyl's theorem for every analytic function \(f\) on an open neighborhood of \(\sigma(T)\). This result remains valid, in fact, even for Banach space operators \(T\) for which there is a function \(p:\mathbb{C}\to\mathbb{Z}^+\) such that \(H_0(T-\lambda)=\ker(T-\lambda)^{p(\lambda)}\) for all \(\lambda\in\mathbb{C}\), a class which includes all subscalar operators; see [Stud.\ Math.\ 163, 85--101 (2004; Zbl 1064.47004)].