The spectrum of linear operators

1 minute read

Published:

Essentially, spectral theory seeks to further the study of eigenvalues for the case of linear operators T:XX 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)nN 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)nN to Dom(T), and normalizing the vectors, construct a sequence

˜x_n=Rλ(T)xnRλ(T)xn,nN

in the unit ball of X such that (Tλ)xn0.

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 λ.

Credit: https://math.stackexchange.com/questions/2087926/meaning-of-the-continuous-spectrum-and-the-residual-spectrum.