Normal eigenvalue

In Spectral theory, for closed linear operators which are not necessarily self-adjoint, the set of normal eigenvalues is defined as a subset of the point spectrum ${\displaystyle \sigma _{p}(A)}$ of ${\displaystyle A}$ such that the space admits a decomposition into a direct sum of a finite-dimensional generalized eigenspace and an invariant subspace where ${\displaystyle A-\lambda I}$ has a bounded inverse.

Root lineal

Let ${\displaystyle \mathbf {X} }$  be a Banach space. We recall that the root lineal ${\displaystyle {\mathfrak {L}}_{\lambda }(A)}$  of a linear operator ${\displaystyle A:\,\mathbf {X} \to \mathbf {X} }$  with ___domain ${\displaystyle {\mathfrak {D}}(A)}$  corresponding to the eigenvalue ${\displaystyle \lambda \in \sigma _{p}(A)}$  is defined as

${\displaystyle {\mathfrak {L}}_{\lambda }(A)=\cup _{k\in \mathbb {N} }\{x\in {\mathfrak {D}}(A):\,(A-\lambda I_{\mathbf {X} })^{j}x\in {\mathfrak {D}}(A)\,\forall j\in \mathbb {N} ,\,j\leq k;\,(A-\lambda I_{\mathbf {X} })^{k}x=0\}\subset \mathbf {X} }$ .

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

Definition

An eigenvalue ${\displaystyle \lambda \in \sigma _{p}(A)}$  of a closed linear operator ${\displaystyle A:\,\mathbf {X} \to \mathbf {X} }$  in the Banach space ${\displaystyle \mathbf {X} }$  with ___domain ${\displaystyle {\mathfrak {D}}(A)\subset \mathbf {X} }$  is called normal if the following two conditions are satisfied:

1. 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 }$ ;
2. The space ${\displaystyle \mathbf {X} }$  could be decomposed into a direct sum ${\displaystyle \mathbf {X} ={\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_{\mathbf {X} }}$  has a bounded inverse.

That is, the restriction ${\displaystyle A_{2}}$  of ${\displaystyle A}$  onto ${\displaystyle {\mathfrak {N}}_{\lambda }}$  is an operator with ___domain ${\displaystyle {\mathfrak {D}}(A_{2})={\mathfrak {N}}_{\lambda }\cap {\mathfrak {D}}(A)}$  and with the range ${\displaystyle {\mathfrak {R}}(A_{2}-\lambda I)\subset {\mathfrak {N}}_{\lambda }}$  which has a bounded inverse.^[1][2]

Equivalent definitions of normal eigenvalues

Let ${\displaystyle A:\,\mathbf {X} \to \mathbf {X} }$  be a closed linear densely defined operator in the Banach space ${\displaystyle \mathbf {X} }$ . The following statements 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_{\mathbf {X} }}$  is semi-Fredholm;
3. ${\displaystyle \lambda \in \sigma (A)}$  is an isolated point in ${\displaystyle \sigma (A)}$  and ${\displaystyle A-\lambda I_{\mathbf {X} }}$  is Fredholm of index zero;
4. ${\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;
5. ${\displaystyle \lambda \in \sigma (A)}$  is an isolated point in ${\displaystyle \sigma (A)}$ , its algebraic multiplicity ${\displaystyle \nu =\dim {\mathfrak {L}}_{\lambda }}$ is finite, and the range of ${\displaystyle A-\lambda I_{\mathbf {X} }}$  is closed.

Decomposition of the spectrum of nonselfadjoint operators

One can show that the spectrum of a closed operator ${\displaystyle A:\,\mathbf {X} \to \mathbf {X} }$  in the Banach space ${\displaystyle \mathbf {X} }$  can be decomposed into the union of two disjoint sets, the set of normal eigenvalues and the fifth type of the essential spectrum:

${\displaystyle \sigma (A)=\{\mathrm {normal\ eigenvalues\ of} \ A\}\cup \sigma _{\mathrm {ess} ,5}(A).}$ 

See also

• Spectrum (functional analysis)
• Decomposition of spectrum (functional analysis)
• Essential spectrum
• Spectrum of an operator
• Resolvent formalism
• Operator theory
• Fredholm theory

References

1. Gohberg, I. C; Kreĭn, M. G. (1957). "Основные положения о дефектных числах, корневых числах и индексах линейных операторов" [Fundamental aspects of defect numbers, root numbers and indexes of linear operators]. Uspehi Mat. Nauk (N.S.) [Amer. Math. Soc. Transl. (2)]. 12 (2(74)): 43–118.
2. Gohberg, I. C; Kreĭn, M. G. (1969). Introduction to the theory of linear nonselfadjoint operators. American Mathematical Society, Providence, R.I.