In functional analysis, the Krein–Rutman theorem is a generalisation of the Perron–Frobenius theorem to infinite-dimensional Banach spaces. It was proved by Krein and Rutman in 1948.
Statement Let X {\displaystyle X} be a Banach space, and let K ⊂ X {\displaystyle K\subset X} be a convex cone such that K ∩ − K = { 0 } {\displaystyle K\cap -K=\{0\}} , and K − K {\displaystyle K-K} is dense in X {\displaystyle X} , i.e. the closure of the set { u − v : u , v ∈ K } = X {\displaystyle \{u-v:u,\,v\in K\}=X} . K {\displaystyle K} is also known as a total cone. Let T : X → X {\displaystyle T:X\to X} be a non-zero compact operator, and assume that it is positive, meaning that T ( K ) ⊂ K {\displaystyle T(K)\subset K} , and that its spectral radius r ( T ) {\displaystyle r(T)} is strictly positive. Then r ( T ) {\displaystyle r(T)} is an eigenvalue of T {\displaystyle T} with positive eigenvector, meaning that there exists u ∈ K ∖ 0 {\displaystyle u\in K\setminus {0}} such that T ( u ) = r ( T ) u {\displaystyle T(u)=r(T)u} .
De Pagter's theorem If the positive operator T {\displaystyle T} is assumed to be ideal irreducible, namely, there is no ideal J ≠ 0 {\displaystyle J\neq 0} of X {\displaystyle X} such that T J ⊂ J {\displaystyle TJ\subset J} , then de Pagter's theorem asserts that r ( T ) > 0 {\displaystyle r(T)>0} . Therefore, for ideal irreducible operators the assumption r ( T ) > 0 {\displaystyle r(T)>0} is not needed.
References
