Compact Operators
5.1 Definition
Section titled “5.1 Definition”A linear operator is compact if the image of the closed unit ball, , is relatively compact (its closure is compact) in .
Proposition 5.1. Every compact operator is bounded. Every finite-rank operator is compact.
Proposition 5.2. If is compact and is bounded, then and are compact.
Proposition 5.3. If are compact and in operator norm, then is compact.
5.2 Spectral Theory for Compact Operators
Section titled “5.2 Spectral Theory for Compact Operators”Theorem 5.4 (Spectral Theorem for Compact Self-Adjoint Operators). Let be a compact self-adjoint operator on a Hilbert space . Then:
- All eigenvalues of are real.
- Eigenvectors corresponding to distinct eigenvalues are orthogonal.
- There exists an orthonormal basis of consisting of eigenvectors of .
- If are the nonzero eigenvalues with orthonormal eigenvectors , then .
Corollary 5.5. A compact self-adjoint operator on an infinite-dimensional Hilbert space has at most countably many nonzero eigenvalues, and is the only possible accumulation point.
5.3 Spectral Theorem for Normal Operators
Section titled “5.3 Spectral Theorem for Normal Operators”A bounded operator on a Hilbert space is normal if , and unitary if .
Proposition 5.6. If is normal, then for all .
Proposition 5.7. If is normal, then and eigenvectors corresponding to distinct eigenvalues are orthogonal.
Theorem 5.8 (Spectral Theorem for Normal Compact Operators). Let be a compact normal operator on a Hilbert space . Then there exists an orthonormal basis of consisting of eigenvectors of , and the eigenvalues satisfy .
This generalises Theorem 5.4: self-adjoint operators are normal, and unitary operators are normal (with eigenvalues on the unit circle in ).
Theorem 5.9 (Spectral Theorem for Bounded Normal Operators). Let be a bounded normal operator on . There exists a unique projection-valued measure on the Borel subsets of such that
This integral representation implies: if is a bounded Borel function on , then defines a bounded normal operator satisfying the functional calculus relations.
5.4 Fredholm Alternative
Section titled “5.4 Fredholm Alternative”Theorem 5.6 (Fredholm Alternative). Let be a compact operator on a Banach space and . Then exactly one of the following holds:
- is bijective (hence invertible by the bounded inverse theorem).
- has a nontrivial solution (i.e., is an eigenvalue of ).
5.5 Key Relationships
Section titled “5.5 Key Relationships”| Operator type | Definition | Spectrum | Example |
|---|---|---|---|
| Bounded | Any compact set in | Identity on | |
| Compact | is relatively compact | , | Integral operator |
| Finite-rank | Finite set | Matrix | |
| Self-adjoint | Real | Schrodinger operator | |
| Normal | Any compact set | Unitary, self-adjoint |
5.6 Common Pitfalls
Section titled “5.6 Common Pitfalls”- Assuming all bounded operators are compact. The identity operator on an infinite-dimensional Hilbert space is bounded but not compact: is closed but not compact (since the unit ball is not compact in infinite dimensions).
- Thinking finite-rank operators are the only compact operators. The limit of finite-rank operators is compact, and on Hilbert spaces every compact operator is the norm limit of finite-rank operators. But there exist compact operators that are not themselves finite-rank.
- Forgetting that is always in the spectrum of a compact operator on an infinite-dimensional space. Even if is not an eigenvalue, it belongs to the spectrum (as an accumulation point of eigenvalues or as essential spectrum).
- Confusing the Fredholm alternative with the Fredholm index. The alternative deals with solvability of for compact . The Fredholm index applies to Fredholm operators more generally.
5.7 Worked Examples
Section titled “5.7 Worked Examples”Problem 1. Show that the Volterra operator on is compact.
Solution. is bounded: . The image is equicontinuous (by the fundamental theorem of calculus, derivatives are bounded by ), and uniformly bounded. By the Arzela-Ascoli theorem, it is relatively compact in . Therefore is compact.
Problem 2. Let be a compact self-adjoint operator on with eigenvalues . Show that has a maximum eigenvalue (in absolute value).
Solution. Since , the set has a maximum (attained at some finite index) if there are finitely many nonzero eigenvalues; otherwise, the maximum of is attained at the first eigenvalue (since they converge to ). In either case, by the spectral radius formula for self-adjoint operators.
5.8 Applications
Section titled “5.8 Applications”- Integral equations: Fredholm integral equations of the second kind are solved using the Fredholm alternative. Compact integral operators arise naturally in potential theory and scattering.
- Quantum mechanics: Position and momentum operators are unbounded, but their resolvents are often compact. The spectral theorem for compact operators underlies the solution of the Schrodinger equation for bound states.
- Differential equations: The inverse of a differential operator with compact resolvent (e.g., on a bounded domain) is compact, ensuring discrete spectrum — the basis for Sturm-Liouville theory.
- Signal processing: The Karhunen-Loeve transform uses the spectral decomposition of compact covariance operators to find optimal bases for signal representation and compression (PCA).