On the peripheral spectrum of monic operator polynomials with positive coefficients (Q1194225)

It is customary to study the spectral structure of a monic operator polynomial \(L(\lambda)=I_ E-(A_ 0+\lambda A_ 1+\dots+\lambda^{\ell-1}A_{\ell-1})\), where \(E\) is a Banach space and \(A_ j\in {\mathcal L}(E)\), by means of the companion operator \({\mathcal C}\in{\mathcal L}(E^ \ell)\), defined by the operator matrix \({\mathcal C}=(C_{ij})_{i,j=1}^ \ell\) with \(C_{ij}=\delta_{i,j-1}I_ E\), \(C_{\ell j}=A_{j-1}\), which provides a global linearization of \(L(\lambda)\). However, if \(E\) is assumed to be a complex Banach lattice and \(A_ 0,\dots,A_{\ell-1}\) are assumed to be positive operators on \(E\) and if the spectral radius \(r=\rho({\mathcal C})\) of \({\mathcal C}\) is nonzero, then much information can be obtained from the operator \(S:=r^{1-\ell}A_ 0+\dots+{1\over r}A_{\ell-2}+A_{\ell-1}\), which also has the spectral radius \(\rho(S)=r\). Using some results from the book ``Banach lattices and positive operators'' of \textit{H. H. Schaefer} (1974; Zbl 0296.47023) the following is proved: (i) If \(r>0\) is a pole of the resolvent \((\lambda I_ E-S)^{-1}\) of \(S\), then the peripheral spectrum of \(L\) is cyclic, that is, if \(\alpha=\gamma r\in\Sigma(L)= \sigma({\mathcal C})\), \(|\gamma|=1\), then \(\gamma^ k r\in\Sigma(L)\) for each \(k\in\mathbb{Z}\); (ii) Equivalent are: (a) \(r>0\) is a pole of \((\lambda I_ E-S)^{-1}\) of order \(k\) and the residuum has finite rank \(m\); (b) \(r>0\) is a pole of \((\lambda I_{E^ \ell}-{\mathcal C})^{-1}\) of order \(k\) and the residuum has finite rank \(m\); (c) \(r>0\) is a pole of \(L(\lambda)^{-1}\) of order \(k\) and the so-called chain space of \(L\) corresponding to \(r\) has finite dimension \(m\).