Operator theory Particular families of operators Theorem
Krein–Rutman theorem
Builds on Banach spaceCompact operatorSpectral radiusEigenvector
Statement
Let be a real Banach space and let be a closed convex cone with . Assume that is total, that is, the set is dense in . Let be a compact operator with and with spectral radius . Then is an eigenvalue of with an eigenvector in : there is , , with .
Remarks
Proof idea: for the resolvent maps into . Using totality of the cone one shows that lies in the spectrum and that the resolvent blows up along vectors of as decreases to . Normalizing for suitable and using compactness of to pass to a limit gives a nonzero eigenvector in .
Example: let , let be the vectors with nonnegative entries, and let be a matrix with nonnegative entries and . The theorem gives the weak form of the Perron–Frobenius theorem: is an eigenvalue with a nonnegative eigenvector.
The hypothesis is needed: the Volterra operator on is compact and maps nonnegative functions to nonnegative functions, but and has no eigenvalue at all.
A stronger form holds when has nonempty interior and maps into the interior of . Then , it is a simple eigenvalue with an eigenvector in the interior of , and every other eigenvalue satisfies .
Going deeper
For a student
The theorem is a main tool for principal eigenvalues of elliptic operators. The inverse of such an operator, with suitable boundary conditions, is compact and positive on a space of continuous functions, so it has a positive eigenfunction. This gives the existence of a positive first eigenfunction of the Dirichlet Laplacian and similar results in population dynamics and bifurcation theory.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Banach space concept
- Compact operator concept
- Eigenvector concept
- Spectral radius concept
- Krein–Rutman theorem statement
Further reading
About this page
| Tag | VADXDK3TKM |
|---|---|
| URI | m2://VADXDK3TKM |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 47B65, 47A10, 46A40 |
| Status | This copy of the site has no build data. Run m2 status VADXDK3TKM. |
| About | Compact operator, Spectral radius |
| Uses | Banach space, Compact operator, Spectral radius, Eigenvector |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.