Discrete spectrum (mathematics)

Normal eigenvalues

The set of points in the discrete spectrum is equal to the set of normal eigenvalues.

${\displaystyle {\sigma }_{\mathrm{d}}(A)=\{\text{normal eigenvalues of }A\}.}$

Root lineal

Let ${\displaystyle \mathfrak{B}}$ be a Banach space. Consider a partially defined linear operator ${\displaystyle A:\mathfrak{B}\to \mathfrak{B}}$ with domain ${\displaystyle \mathfrak{D}(A)}$. The root lineal ${\displaystyle {\mathfrak{L}}_{\lambda }(A)}$ corresponding to an eigenvalue ${\displaystyle \lambda \in {\sigma }_p(A)}$ is defined as the set of elements ${\displaystyle x}$ such that ${\displaystyle x,(A-\lambda I_{\mathfrak{B}})x,(A-\lambda I_{\mathfrak{B}}{)}^{2}x,\dots }$ all belong to ${\displaystyle \mathfrak{D}(A)}$, and that after finitely many steps, we end up with zero: ${\displaystyle (A-\lambda I_{\mathfrak{B}}{)}^{k}x=0}$.

This set is a linear manifold but is not necessarily closed. If it is closed (for example, when it is finite-dimensional), it is called the generalized eigenspace of ${\displaystyle A}$ corresponding to the eigenvalue ${\displaystyle \lambda }$.

Normal eigenvalue

An eigenvalue ${\displaystyle \lambda \in {\sigma }_p(A)}$ of a closed linear operator ${\displaystyle A:\mathfrak{B}\to \mathfrak{B}}$ in the Banach space ${\displaystyle \mathfrak{B}}$ with domain ${\displaystyle \mathfrak{D}(A)\subset \mathfrak{B}}$ is called normal (in the original terminology, ${\displaystyle \lambda }$ corresponds to a normally splitting finite-dimensional root subspace) if the following two conditions are satisfied:

1. The algebraic multiplicity of ${\displaystyle \lambda }$ is finite: ${\displaystyle \nu =\dim {\mathfrak{L}}_{\lambda }(A)<\mathrm{\infty }}$, where ${\displaystyle {\mathfrak{L}}_{\lambda }(A)}$ is the root lineal of ${\displaystyle A}$ corresponding to the eigenvalue ${\displaystyle \lambda }$;
2. The space ${\displaystyle \mathfrak{B}}$ can be decomposed into a direct sum ${\displaystyle \mathfrak{B}={\mathfrak{L}}_{\lambda }(A)\oplus {\mathfrak{N}}_{\lambda }}$, where ${\displaystyle {\mathfrak{N}}_{\lambda }}$ is an invariant subspace of ${\displaystyle A}$ in which ${\displaystyle A-\lambda I_{\mathfrak{B}}}$ has a bounded inverse.

Equivalent characterizations

Equivalent characterizations ()—Let ${\displaystyle A:\mathfrak{B}\to \mathfrak{B}}$ be a closed linear densely defined operator in the Banach space ${\displaystyle \mathfrak{B}}$, then the following are equivalent:

1. ${\displaystyle \lambda \in \sigma (A)}$ is a normal eigenvalue;
2. ${\displaystyle \lambda \in \sigma (A)}$ is an isolated point in ${\displaystyle \sigma (A)}$ and ${\displaystyle A-\lambda I_{\mathfrak{B}}}$ is semi-Fredholm;
3. ${\displaystyle \lambda \in \sigma (A)}$ is an isolated point in ${\displaystyle \sigma (A)}$ and ${\displaystyle A-\lambda I_{\mathfrak{B}}}$ is Fredholm;
4. ${\displaystyle \lambda \in \sigma (A)}$ is an isolated point in ${\displaystyle \sigma (A)}$ and ${\displaystyle A-\lambda I_{\mathfrak{B}}}$ is Fredholm of index zero;
5. ${\displaystyle \lambda \in \sigma (A)}$ is an isolated point in ${\displaystyle \sigma (A)}$ and the rank of the corresponding Riesz projector ${\displaystyle P_{\lambda }}$ is finite;
6. ${\displaystyle \lambda \in \sigma (A)}$ is an isolated point in ${\displaystyle \sigma (A)}$, its algebraic multiplicity ${\displaystyle \nu =\dim {\mathfrak{L}}_{\lambda }(A)}$ is finite, and the range of ${\displaystyle A-\lambda I_{\mathfrak{B}}}$ is closed.

In all such cases, the root lineal ${\displaystyle {\mathfrak{L}}_{\lambda }(A)}$ is closed, and equals the range of the Riesz projector.

Relation to other spectra

Isolated eigenvalues of finite algebraic multiplicity

In general, the rank of the Riesz projector can be larger than the dimension of the root lineal ${\displaystyle {\mathfrak{L}}_{\lambda }}$ of the corresponding eigenvalue, and in particular it is possible to have ${\displaystyle \mathrm{d}\mathrm{i}\mathrm{m}{\mathfrak{L}}_{\lambda }<\mathrm{\infty }}$, ${\displaystyle \mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}{P}_{\lambda }=\mathrm{\infty }}$. So, there is the following inclusion:

${\displaystyle {\sigma }_{\mathrm{d}}(A)\subset \{\text{isolated points of the spectrum of }A\text{ with finite algebraic multiplicity}\}.}$

In particular, for a quasinilpotent operator

${\displaystyle Q:l^2(\mathbb{N})\to l^2(\mathbb{N}),Q:(a_1,a_2,a_3,\dots )\mapsto (0,a_1/2,a_2/2^2,a_3/2^3,\dots ),}$

one has ${\displaystyle {\mathfrak{L}}_{\lambda }(Q)=\{0\}}$, ${\displaystyle \mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}{P}_{\lambda }=\mathrm{\infty }}$. Therefore, ${\displaystyle \lambda =0}$ is an isolated eigenvalue of finite algebraic multiplicity, but it is not in the discrete spectrum: ${\displaystyle \sigma (Q)=\{0\}}$, ${\displaystyle {\sigma }_{\mathrm{d}}(Q)=\mathrm{\varnothing }}$.

Point spectrum

The discrete spectrum ${\displaystyle {\sigma }_{\mathrm{d}}(A)}$ of an operator ${\displaystyle A}$ is not to be confused with the point spectrum ${\displaystyle {\sigma }_{\mathrm{p}}(A)}$, which is defined as the set of eigenvalues of ${\displaystyle A}$. Each point of the discrete spectrum is an eigenvalue, so

${\displaystyle {\sigma }_{\mathrm{d}}(A)\subset {\sigma }_{\mathrm{p}}(A).}$

However, they may be unequal. An eigenvalue may not be an isolated point of the spectrum, or it may be isolated, but with an infinite-rank Riesz projector. For example, for the left shift operator, ${\displaystyle L:l^2(\mathbb{N})\to l^2(\mathbb{N}),L:(a_1,a_2,a_3,\dots )\mapsto (a_2,a_3,a_4,\dots ),}$ the point spectrum is the open unit disc ${\displaystyle {\mathbb{D}}_1}$ in the complex plane, the full spectrum is the closed unit disc ${\displaystyle \overline{{\mathbb{D}}_1}}$, and the discrete spectrum is empty:

${\displaystyle {\sigma }_{\mathrm{p}}(L)={\mathbb{D}}_1,\sigma (L)=\overline{{\mathbb{D}}_1},{\sigma }_{\mathrm{d}}(L)=\mathrm{\varnothing }.}$

This is because ${\displaystyle {\sigma }_{\mathrm{p}}(L)}$ has no isolated points.

Spectral decomposition

The spectrum of a closed operator ${\displaystyle A:\mathfrak{B}\to \mathfrak{B}}$ in a Banach space ${\displaystyle \mathfrak{B}}$ can be decomposed into the union of two disjoint sets: the discrete spectrum and the fifth type of the essential spectrum (see page for the definition of each type):

${\displaystyle \sigma (A)={\sigma }_{\mathrm{d}}(A)\cup {\sigma }_{\mathrm{e}\mathrm{s}\mathrm{s},5}(A).}$