The spectrum of linear operators
Published:
Essentially, spectral theory seeks to further the study of eigenvalues for the case of linear operators T:X→X on infinite dimensional spaces X.
For that purpose, while the standard definition of an eigenvalue still works (that is, λ∈C such that Ker(T−λI)≠0), it needs to be complemented to take care of “infinite dimensional artifacts” that these perturbations λI can employ which could cause troubles when inverting or handling the inversion of T−λ.
We call the set of these “disturbing perturbations” λ the spectrum of 𝑇 and it consists of 3 disjoint parts:
- The discrete spectrum, where λ are such that T−λI “can’t be reversed”, that is, Ker(T−λI)≠0 (which accounts for the eigenvalues).
- The continuous spectrum, where (T−λI) is invertible on a dense subset of the domain, but it’s inverse is unbounded.
- The residual spectrum, which accounts for perturbations λ whose inversion is bounded but isn’t valid for a “sufficiently large” domain (¯Dom(Rλ)≠X).
While the discrete spectrum inherits the geometric intuition of it’s finite dimensional counterpart, the reasoning behind the two remaining spectra isn’t immediate. To that end I share one interesting way I saw (in a StackExchange thread linked bellow) to interpret the continuous spectrum:
If the resolvent operator Rλ=(T−λI)−1 is unbounded, we have a sequence (xn)n∈N in the unit sphere whose image under Rλ diverges to infinity. As Rλ represents a way to reverse the transformation T−λ, we may use it to translate the sequence (xn)n∈N to Dom(T), and normalizing the vectors, construct a sequence
˜x_n=Rλ(T)xn‖Rλ(T)xn‖,∀n∈Nin the unit ball of X such that (T−λ)xn→0.
That is, the continuous spectrum represents the set of scalars whose corresponding “perturbed transformation” have a sequence on the unit sphere along which it’s behavior approximates that of an eigenvector for λ.