Spectral decompositions arising from Atzmon's hyperinvariant subspace theorem

Invariant subspaces of linear operators (47A15) Linear operators on special spaces (weighted shifts, operators on sequence spaces, etc.) (47B37) Linear operators on function spaces (general) (47B38)

Review text

Let \(X\) denote an infinite-dimensional separable complex Banach space, \(\mathcal{L}(X)\) the family of linear operators on \(X\) and \(\mathcal{B}(X)\) the algebra of bounded linear operators on \(X\). Given \(T \in \mathcal{B}(X)\), a closed subspace \(M\subseteq X\) is called invariant if \(T(M)\subseteq M\), and hyperinvariant if \(S(M)\subseteq M\) for every \(S \in \mathcal{B}(X)\) in the commutant of \(T\). Given any subset \(\Omega \subseteq \mathbb{C}\), the local spectral manifold is defined by \(X_{T}(\Omega):=\{x \in X: \sigma_{T}(x) \subseteq \Omega \}\) (see [\textit{I. Colojoară} and \textit{C. Foiaş}, Theory of generalized spectral operators. New York-London-Paris: Gordon and Breach Science Publishers (1968; Zbl 0189.44201); \textit{K. B. Laursen} and \textit{M. M. Neumann}, An introduction to local spectral theory. Oxford: Clarendon Press (2000; Zbl 0957.47004)] for more details). Given an irrational number \(\alpha \in (0,1)\), the Bishop operator \(T_{\alpha}\) is defined on \(L^{p}[0,1)\), \(1\leq p\leq \infty\), by \(T_{\alpha}f(t)=tf(\{t+\alpha\})\), \(t\in [0,1)\), where \(\{\cdot\}\) denotes the fractional part. \textit{A. Atzmon} [J. Oper. Theory 11, 3--40 (1984; Zbl 0583.47009)] proved the following. Let \(T \in \mathcal{B}(X)\). Suppose that there exist \((x_{n})_{n\in \mathbb{Z}}\) in \(X\) and \((y_{n})_{n\in\mathbb{Z}}\) in \(X^{\ast}\) with \(x_{0}\neq 0\), \(y_{0}\neq 0\) such that \(Tx_{n}=x_{n+1}\) and \(T^{\ast}y_{n}=y_{n+1}\) for all \(n \in\mathbb{Z}\). Suppose further that both \((\|x_{n}\|)_{n\in\mathbb{Z}}\) and \((\|y_{n}\|)_{n\in\mathbb{Z}}\) are dominated by Beurling sequences, and there are at least \(\lambda \in\mathbb{T}\) at which the following vector-valued functions \(G_{x}\) and \(G_{y}\) defined on \(\mathbb{C}\backslash\mathbb{T}\) do not both possess analytic continuation into a neighborhood of \(\lambda\): \[ G_{x}(z)= \begin{cases} \sum_{n=1}^{\infty}x_{-n}z^{n-1}\ \ \ \mbox{if \(|z| <1\)}, \\ -\sum_{n=-\infty}^{0}x_{-n}z^{n-1}\ \ \ \mbox{if \(|z| >1\)}, \end{cases} \] \[ G_{y}(z)= \begin{cases} \sum_{n=1}^{\infty}y_{-n}z^{n-1}\ \ \ \mbox{if \(|z| <1\)}, \\ -\sum_{n=-\infty}^{0}y_{-n}z^{n-1}\ \ \ \mbox{if \(|z| >1\)}. \end{cases} \] Then either \(T\) is a multiple of the identity or it has a non-trivial hyperinvariant subspace. In this paper, the authors prove the existence of non-trivial hyperinvariant subspaces for linear bounded operators, generalizing the theorem of Atzmon [loc.\,cit.]. As some applications, they show that certain Bishop's operators on \(L^{p}[0,1)\) have non-trivial local spectral subspaces and the local spectral decomposition property.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Spectral decompositions arising from Atzmon's hyperinvariant subspace theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q829794)