Spectral decompositions arising from Atzmon's hyperinvariant subspace theorem (Q829794)

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.