View source for Spectral theory of compact operators

In [[Functional analysis|functional analysis]], [[Compact operator|compact operator]]s are linear operators on Banach spaces that map bounded sets to relatively compact sets. In the case of a Hilbert space ''H'', the compact operators are the closure of the finite rank operators in the uniform operator topology. In general, operators on infinite-dimensional spaces feature properties that do not appear in the finite-dimensional case, i.e. for matrices. The compact operators are notable in that they share as much similarity with matrices as one can expect from a general operator. In particular, the spectral properties of compact operators resemble those of square matrices.

This article first summarizes the corresponding results from the matrix case before discussing the spectral properties of compact operators. The reader will see that most statements transfer verbatim from the matrix case.

The spectral theory of compact operators was first developed by F. Riesz.

== Spectral theory of matrices ==

The classical result for square matrices is the Jordan canonical form, which states the following:

'''Theorem.''' Let ''A'' be an ''n'' × ''n'' complex matrix, i.e. ''A'' a linear operator acting on '''C'''<sup>''n''</sup>. If ''λ''<sub>1</sub>...''λ<sub>k</sub>'' are the distinct eigenvalues of ''A'', then '''C'''<sup>''n''</sup> can be decomposed into the invariant subspaces of ''A''

:<math>\mathbf{C}^n = \bigoplus _{i = 1}^k Y_i.</math>

The subspace ''Y<sub>i</sub>'' = ''Ker''(''λ<sub>i</sub>'' − ''A'')<sup>''m''</sup> where ''Ker''(''λ<sub>i</sub>'' − ''A'')<sup>''m''</sup> = ''Ker''(''λ<sub>i</sub>'' − ''A'')<sup>''m''+1</sup>. Furthermore,  the poles of the resolvent function ''ζ'' → (''ζ'' − ''A'')<sup>−1</sup> coincide with the set of eigenvalues of ''A''.

== Compact operators ==

=== Statement ===


{{Math theorem|name=Theorem|math_statement=Let ''X'' be a Banach space, ''C'' be a compact operator acting on ''X'', and ''σ''(''C'') be the [[Spectrum (functional analysis)|spectrum]] of ''C''. 
<ol style="list-style-type: lower-roman;">
<li>Every nonzero ''λ'' ∈ ''σ''(''C'') is an eigenvalue of ''C''.</li>
<li>For all nonzero ''λ'' ∈ ''σ''(''C''), there exist ''m'' such that ''Ker''((''λ'' − ''C'')<sup>''m''</sup>) = ''Ker''((''λ'' − ''C'')<sup>''m''+1</sup>), and this subspace is finite-dimensional.</li>
<li>The eigenvalues can only accumulate at 0. If the dimension of ''X'' is not finite, then ''σ''(''C'') must contain 0.</li>
<li>''σ''(''C'') is at most countably infinite.</li>
<li>Every nonzero ''λ'' ∈ ''σ''(''C'') is a pole of the resolvent function ''ζ'' → (''ζ'' − ''C'')<sup>−1</sup>.</li>
</ol>
}}

=== Proof ===

;Preliminary Lemmas

The theorem claims several properties of the operator ''λ'' − ''C'' where ''λ'' ≠ 0. 
Without loss of generality, it can be assumed that ''λ'' = 1. 
Therefore we consider ''I'' − ''C'', ''I'' being the identity operator. The proof will require two lemmas.

{{Math theorem|name=Lemma 1|note=[[Riesz's lemma]]|math_statement=Let ''X'' be a Banach space and ''Y'' ⊂ ''X'', ''Y'' ≠ ''X'', be a closed subspace. 
For all ''ε'' > 0, there exists ''x'' ∈ ''X'' such that <math>\|</math>''x''<math>\|</math> = 1 and

:<math>1 - \varepsilon \le d(x, Y) \le 1</math>

where ''d''(''x'', ''Y'') is the distance from ''x'' to ''Y''.
}}

This fact will be used repeatedly in the argument leading to the theorem. 
Notice that when ''X'' is a Hilbert space, the lemma is trivial.

{{Math theorem|name=Lemma 2|math_statement=If ''C'' is compact, then ''Ran''(''I'' − ''C'') is closed.}}

{{Math proof|drop=hidden|proof=Let (''I'' − ''C'')''x<sub>n</sub>'' → ''y'' in norm. 
If {''x<sub>n</sub>''} is bounded, then compactness of ''C'' implies that there exists a subsequence ''x<sub>nk</sub>'' such that ''C x<sub>nk</sub>'' is norm convergent. 
So ''x<sub>nk</sub>'' = (''I'' - ''C'')''x<sub>nk</sub>'' + ''C x<sub>nk</sub>'' is norm convergent, to some ''x''. 
This gives (''I'' − ''C'')''x<sub>nk</sub>'' → (''I'' − ''C'')''x'' = ''y''. 
The same argument goes through if the distances ''d''(''x<sub>n</sub>'', ''Ker''(''I'' − ''C'')) is bounded.

But ''d''(''x<sub>n</sub>'', ''Ker''(''I'' − ''C'')) must be bounded. Suppose this is not the case. 
Pass now to the quotient map of (''I'' − ''C''), still denoted by (''I'' − ''C''), on ''X''/''Ker''(''I'' − ''C''). 
The quotient norm on ''X''/''Ker''(''I'' − ''C'') is still denoted by <math>\|</math>·<math>\|</math>, and {''x<sub>n</sub>''} are now viewed as representatives of their equivalence classes in the quotient space. 
Take a subsequence {''x<sub>nk</sub>''} such that <math>\|</math>''x<sub>nk</sub>''<math>\|</math> > ''k'' and define a sequence of unit vectors by ''z<sub>nk</sub>'' = ''x<sub>nk</sub>''/<math>\|</math>''x<sub>nk</sub>''<math>\|</math>. 
Again we would have (''I'' − ''C'')''z<sub>nk</sub>'' → (''I'' − ''C'')''z'' for some ''z''. 
Since <math>\|</math>(''I'' − ''C'')''z<sub>nk</sub>''<math>\|</math> = <math>\|</math>(''I'' − ''C'')''x<sub>nk</sub>''<math>\|</math>/ <math>\|</math>''x<sub>nk</sub>''<math>\|</math> → 0, we have (''I'' − ''C'')''z'' = 0 i.e. ''z'' ∈ ''Ker''(''I'' − ''C''). 
Since we passed to the quotient map, ''z'' = 0. 
This is impossible because ''z'' is the norm limit of a sequence of unit vectors. 
Thus the lemma is proven.
}}

;Concluding the Proof
{{Math proof|drop=hidden|proof=
'''i''') Without loss of generality, assume ''λ'' = 1. ''λ'' ∈ ''σ''(''C'') not being an eigenvalue means (''I'' − ''C'') is injective but not surjective. 
By Lemma 2, ''Y''<sub>1</sub> = ''Ran''(''I'' − ''C'') is a closed proper subspace of ''X''. 
Since (''I'' − ''C'') is injective, ''Y''<sub>2</sub> = (''I'' − ''C'')''Y''<sub>1</sub> is again a closed proper subspace of ''Y''<sub>1</sub>. 
Define ''Y''<sub>n</sub> = ''Ran''(''I'' − ''C'')<sup>''n''</sup>. Consider the decreasing sequence of subspaces

:<math>Y_1 \supset \cdots \supset Y_n \cdots \supset Y_m \cdots </math>

where all inclusions are proper. By lemma 1, we can choose unit vectors ''y<sub>n</sub>'' ∈ ''Y<sub>n</sub>'' such that ''d''(''y<sub>n</sub>'', ''Y''<sub>''n''+1</sub>) > ½. 
Compactness of ''C'' means {''C y<sub>n</sub>''} must contain a norm convergent subsequence. But for ''n'' < ''m''

:<math> \left \| C y_n - C y_m \right \| = \left \| (C-I) y_n + y_n - (C-I) y_m - y_m \right \|</math>

and notice that

:<math>(C-I) y_n - (C-I) y_m - y_m  \in Y_{n+1},</math>

which implies <math>\|</math>''Cy<sub>n</sub> − Cy<sub>m</sub>''<math>\|</math> > ½. 
This is a contradiction, and so ''λ'' must be an eigenvalue.

'''ii''') The sequence { ''Y<sub>n</sub>'' = ''Ker''(''λ<sub>i</sub>'' − ''A'')<sup>''n''</sup>} is an increasing sequence of closed subspaces. 
The theorem claims it stops. Suppose it does not stop, i.e. the inclusion ''Ker''(''λ<sub>i</sub>'' − ''A'')<sup>''n''</sup> ⊂ ''Ker''(''λ<sub>i</sub>'' − ''A'')<sup>''n''+1</sup> is proper for all ''n''. 
By lemma 1, there exists a sequence {''y<sub>n</sub>''}<sub>''n'' ≥ 2</sub> of unit vectors such that ''y<sub>n</sub>'' ∈ ''Y''<sub>''n''</sub> and ''d''(''y<sub>n</sub>'', ''Y''<sub>''n'' − 1</sub>) > ½. 
As before, compactness of ''C'' means {''C y<sub>n</sub>''} must contain a norm convergent subsequence. But for ''n'' < ''m''

:<math>\| C y_n - C y_m \| = \| (C-I) y_n + y_n - (C-I) y_m - y_m \|</math>

and notice that

:<math>(C-I) y_n + y_n - (C-I) y_m  \in Y_{m-1},</math>

which implies <math>\|</math>''Cy<sub>n</sub> − Cy<sub>m</sub>''<math>\|</math> > ½. 
This is a contradiction, and so the sequence { ''Y<sub>n</sub>'' = ''Ker''(''λ<sub>i</sub>'' − ''A'')<sup>''n''</sup>} must terminate at some finite ''m''.

Using the definition of the Kernel, we can show that the unit sphere of ''Ker''(''λ<sub>i</sub>'' − ''C'') is compact, so that ''Ker''(''λ<sub>i</sub>'' − ''C'') is finite-dimensional. 
''Ker''(''λ<sub>i</sub>'' − ''C'')<sup>''n''</sup> is finite-dimensional for the same reason.

'''iii''') Suppose there exist infinite (at least countable) distinct eigenvalues {''λ<sub>n</sub>''}, with corresponding eigenvectors {''x<sub>n</sub>''}, such that <math>|</math>''λ<sub>n</sub>''<math>|</math> > ''ε'' for all ''n''. 
Define ''Y<sub>n</sub>'' = ''span''{''x''<sub>1</sub>...''x<sub>n</sub>''}. 
The sequence {''Y<sub>n</sub>''} is a strictly increasing sequence. 
Choose unit vectors such that ''y<sub>n</sub>'' ∈ ''Y''<sup>''n''</sup> and ''d''(''y<sub>n</sub>'', ''Y''<sup>''n'' − 1</sup>) > ½. Then for ''n'' < ''m''

:<math> \left \| C y_n - C y_m \right \| = \left \| (C- \lambda_n) y_n + \lambda_n y_n - (C- \lambda_m) y_m - \lambda_m y_m \right \|. </math>

But

:<math>(C- \lambda_n) y_n + \lambda_n y_n - (C- \lambda_m) y_m \in Y_{m-1},</math>

therefore <math>\|</math>''Cy<sub>n</sub> − Cy<sub>m</sub>''<math>\|</math> > ''ε''/2, a contradiction.

So we have that there are only finite distinct eigenvalues outside any ball centered at zero. 
This immediately gives us that zero is the only possible limit point of eigenvalues and there are at most countable distinct eigenvalues (see iv).

'''iv''') This is an immediate consequence of iii). The set of eigenvalues {''λ''} is the union

:<math>\bigcup_n \left \{ |\lambda| > \tfrac{1}{n} \right \} = \bigcup_n S_n .</math>

Because ''σ''(''C'') is a bounded set and the eigenvalues can only accumulate at 0, each ''S<sub>n</sub>'' is finite, which gives the desired result.

'''v''') As in the matrix case, this is a direct application of the [[Holomorphic functional calculus|holomorphic functional calculus]].
}}

=== Invariant subspaces ===
As in the matrix case, the above spectral properties lead to a decomposition of ''X'' into invariant subspaces of a compact operator ''C''. Let ''λ'' ≠ 0 be an eigenvalue of ''C''; so ''λ'' is an isolated point of ''σ''(''C''). Using the holomorphic functional calculus, define the '''Riesz projection''' ''E''(''λ'') by

:<math>E(\lambda) = {1\over 2\pi i}\int _{\gamma} (\xi - C)^{-1} d \xi</math>

where ''γ'' is a Jordan contour that encloses only ''λ'' from ''σ''(''C''). Let ''Y'' be the subspace ''Y'' = ''E''(''λ'')''X''. ''C'' restricted to ''Y'' is a compact invertible operator with spectrum {''λ''}, therefore ''Y'' is finite-dimensional. Let ''&nu;'' be such that ''Ker''(''λ'' − ''C'')<sup>''&nu;''</sup> = ''Ker''(''λ'' − ''C'')<sup>''&nu;'' + 1</sup>. By inspecting the Jordan form, we see that (''λ'' − ''C'')<sup>''&nu;''</sup> = 0 while (''λ'' − ''C'')<sup>''&nu;'' − 1</sup> ≠ 0. The Laurent series of the resolvent mapping centered at ''λ'' shows that

:<math>E(\lambda) (\lambda - C)^{\nu} = (\lambda - C)^{\nu}E(\lambda) = 0.</math>

So ''Y'' = ''Ker''(''λ'' − ''C'')<sup>''&nu;''</sup>.

The ''E''(''λ'') satisfy ''E''(''λ'')<sup>2</sup> = ''E''(''λ''), so that they are indeed projection operators or '''spectral projections'''. By definition they commute with ''C''. Moreover ''E''(''λ'')''E''(''μ'') = 0 if λ ≠ μ.

* Let ''X''(''λ'') = ''E''(''λ'')''X'' if λ is a non-zero eigenvalue. Thus ''X''(''λ'') is a finite-dimensional invariant subspace, the generalised eigenspace of λ.
* Let ''X''(0) be the intersection of the kernels of the ''E''(''λ''). Thus ''X''(0) is a closed subspace invariant under ''C'' and the restriction of ''C'' to ''X''(0) is a compact operator with spectrum {0}.

=== Operators with compact power ===
If ''B'' is an operator on a Banach space ''X'' such that ''B<sup>n</sup>'' is compact for some ''n'', then the theorem proven above also holds for ''B''.

== See also ==
* [[Spectral theorem]]
* [[Spectral theory of normal C*-algebras]]

==References==

{{Reflist}}

* John B. Conway, A course in functional analysis, Graduate Texts in Mathematics ''96'', Springer 1990. {{ISBN|0-387-97245-5}}

{{Functional analysis}}

[[Category:Functional analysis]]
[[Category:Spectral theory]]
[[Category:Linear operators]]

{{Sourceattribution|Spectral theory of compact operators}}