Discrete spectrum (mathematics)

From Quire, the open reference·Set of isolated points in the spectrum of an operator with finite-rank Riesz projectors·3 min read

Redirected from Normal eigenvalue

In mathematics, specifically in spectral theory, a discrete spectrum of a closed linear operator is defined as the set of isolated points of its spectrum such that the rank of the corresponding Riesz projector is finite.

The discrete spectrum can also be defined as the set of normal eigenvalues.

Definition#edit

A point ${\displaystyle \lambda \in \mathbb {C} }$ in the spectrum ${\displaystyle \sigma (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 said to belong to the discrete spectrum ${\displaystyle \sigma _{\mathrm {d} }(A)}$ of ${\displaystyle A}$ if the following two conditions are satisfied:^[1]

${\displaystyle \lambda }$ is an isolated point in ${\displaystyle \sigma (A)}$ ;
The rank of the corresponding Riesz projector ${\displaystyle P_{\lambda }={\frac {1}{2\pi \mathrm {i} \oint _{\Gamma }(zI_{\mathfrak {B-A)^{-1}\,dz}$ is finite.

Here, ${\displaystyle I_{\mathfrak {B$ is the identity operator in the Banach space ${\displaystyle {\mathfrak {B$ , and ${\displaystyle \Gamma \subset \mathbb {C} }$ is a simple closed counterclockwise-oriented curve bounding an open region ${\displaystyle \Omega \subset \mathbb {C} }$ such that ${\displaystyle \lambda }$ is the only point of the spectrum of ${\displaystyle A}$ in the closure of ${\displaystyle \Omega }$ ; that is, ${\displaystyle \sigma (A)\cap {\overline {\Omega =\{\lambda \}.}$

Normal eigenvalues#edit

The set of points in the discrete spectrum is equal to the set of normal eigenvalues.^[2]^[3]^[4]

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

Root lineal#edit

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#edit

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:^[5]^[2]^[3]

The algebraic multiplicity of ${\displaystyle \lambda }$ is finite: ${\displaystyle \nu =\dim {\mathfrak {L_{\lambda }(A)<\infty }$ , where ${\displaystyle {\mathfrak {L_{\lambda }(A)}$ is the root lineal of ${\displaystyle A}$ corresponding to the eigenvalue ${\displaystyle \lambda }$ ;
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#edit

Equivalent characterizations (^[4])—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:

${\displaystyle \lambda \in \sigma (A)}$ is a normal eigenvalue;
${\displaystyle \lambda \in \sigma (A)}$ is an isolated point in ${\displaystyle \sigma (A)}$ and ${\displaystyle A-\lambda I_{\mathfrak {B$ is semi-Fredholm;
${\displaystyle \lambda \in \sigma (A)}$ is an isolated point in ${\displaystyle \sigma (A)}$ and ${\displaystyle A-\lambda I_{\mathfrak {B$ is Fredholm;
${\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;
${\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;
${\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.^[5]^[2]^[3]

In all such cases, the root lineal ${\displaystyle {\mathfrak {L_{\lambda }(A)}$ is closed, and equals the range of the Riesz projector.^[3]

Relation to other spectra#edit

Isolated eigenvalues of finite algebraic multiplicity#edit

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 {dim} \,{\mathfrak {L_{\lambda }<\infty }$ , ${\displaystyle \mathrm {rank} \,P_{\lambda }=\infty }$ . So, there is the following inclusion:

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

In particular, for a quasinilpotent operator

${\displaystyle Q:\,l^{2}(\mathbb {N} )\to l^{2}(\mathbb {N} ),\qquad 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 {rank} \,P_{\lambda }=\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)=\emptyset }$ .

Point spectrum#edit

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} ),\quad 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},\qquad \sigma (L)={\overline {\mathbb {D} _{1,\qquad \sigma _{\mathrm {d} }(L)=\emptyset .}$

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

Spectral decomposition#edit

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 {ess} ,5}(A).}$

References#edit

^ Reed, M.; Simon, B. (1978). Methods of modern mathematical physics, vol. IV. Analysis of operators. Academic Press [Harcourt Brace Jovanovich Publishers], New York.
^ a b c Gohberg, I. C; Kreĭn, M. G. (1960). "Fundamental aspects of defect numbers, root numbers and indexes of linear operators". American Mathematical Society Translations. 13: 185–264. doi:10.1090/trans2/013/08.
^ a b c d Gohberg, I. C; Kreĭn, M. G. (1969). Introduction to the theory of linear nonselfadjoint operators. American Mathematical Society, Providence, R.I.
^ a b Boussaid, N.; Comech, A. (2019). Nonlinear Dirac equation. Spectral stability of solitary waves. American Mathematical Society, Providence, R.I. ISBN 978-1-4704-4395-5.
^ a b Gohberg, I. C; Kreĭn, M. G. (1957). "Основные положения о дефектных числах, корневых числах и индексах линейных операторов" [Fundamental aspects of defect numbers, root numbers and indexes of linear operators]. Uspekhi Mat. Nauk [Amer. Math. Soc. Transl. (2)]. New Series. 12 (2(74)): 43–118.