A generalized Jentzsch theorem (Q850573): Difference between revisions

The paper under review presents a generalization of a classical result of \textit{R.\,Jentzsch} in [J.~Reine Angew.\ Math.\ 141, 235--244 (1912; JFM 43.0429.01)] which states that an integral operator \(K\) on \(L^2([0,1])\) given by a strictly positive continuous kernel is compact, has spectral radius \(r(K)>0\), \(r(K)\) is an eigenvalue with a unique strictly positive eigenfunction, and the peripheral spectrum \(\sigma_{\text{per}}(K)=\{r(K)\}\). More precisely, the following theorem is proven: Let \(T\) be a positive, band-irreducible operator on a Banach lattice \(X\) such that \(r(T)\) is a pole of the resolvent \(R(\lambda,T)\), \(T\) is \(\sigma\)-order continuous, and \(\| x\| _L:=\inf\{\| x_n\| :x_n\uparrow| x| \}\) is a norm in \(X\). Then: \(r(T)>0\); any \(\beta\in\sigma_{\text{per}}(K)\) is a pole of order one of the resolvent and \(\dim\,\text{ker}(\beta I-T)=1\); and there is a complex number \(\alpha\) and a natural number \(n\) such that \(\alpha^n=1\) and \(\sigma_{\text{per}}(K)=\{1,\alpha,\alpha^2,\dots,\alpha{n-1}\}\).