ART

In mathematics, specifically in spectral theory, an eigenvalue of a closed linear operator is called normal if the space admits a decomposition into a direct sum of a finite-dimensional generalized eigenspace and an invariant subspace where A − λ I {\displaystyle A-\lambda I} A-\lambda I has a bounded inverse. The set of normal eigenvalues coincides with the discrete spectrum.

Root lineal

Let \( {\mathfrak {B}} \) be a Banach space. The root lineal \( {\displaystyle {\mathfrak {L}}_{\lambda }(A)} \) of a linear operator \( {\displaystyle A:\,{\mathfrak {B}}\to {\mathfrak {B}}} \) with domain \( {\displaystyle {\mathfrak {D}}(A)} \) corresponding to the eigenvalue \( {\displaystyle \lambda \in \sigma _{p}(A)} \) is defined as

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

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

Definition

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

The algebraic multiplicity of \( \lambda \) is finite: \( {\displaystyle \nu =\dim {\mathfrak {L}}_{\lambda }(A)<\infty } \), where \( {\displaystyle {\mathfrak {L}}_{\lambda }(A)} \) is the root lineal of A corresponding to the eigenvalue\( \lambda \) ;
The space \( {\mathfrak {B}} \) could 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 A in which \( {\displaystyle A-\lambda I_{\mathfrak {B}}} \) has a bounded inverse.

That is, the restriction \( A_{2} \) of 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][3]
Equivalent definitions of normal eigenvalues

Let \( {\displaystyle A:\,{\mathfrak {B}}\to {\mathfrak {B}}} \) be a closed linear densely defined operator in the Banach space \( {\mathfrak {B}} \). The following statements are equivalent[4](Theorem III.88):

\( {\displaystyle \lambda \in \sigma (A)} \) is a normal eigenvalue;
\( {\displaystyle \lambda \in \sigma (A)} \) is an isolated point in \( \sigma (A) \) and \( {\displaystyle A-\lambda I_{\mathfrak {B}}} \) is semi-Fredholm;
\( {\displaystyle \lambda \in \sigma (A)} \) is an isolated point in \( \sigma (A) \) and \( {\displaystyle A-\lambda I_{\mathfrak {B}}} \) is Fredholm;
\( {\displaystyle \lambda \in \sigma (A)} \) is an isolated point in \( \sigma (A) \) and \( {\displaystyle A-\lambda I_{\mathfrak {B}}} \) is Fredholm of index zero;
\( {\displaystyle \lambda \in \sigma (A)} \) is an isolated point in \( \sigma (A) \) and the rank of the corresponding Riesz projector P λ {\displaystyle P_{\lambda }} P_{\lambda } is finite;
\( {\displaystyle \lambda \in \sigma (A)} \) is an isolated point in \( \sigma (A) \) , its algebraic multiplicity \( {\displaystyle \nu =\dim {\mathfrak {L}}_{\lambda }} \) is finite, and the range of \( {\displaystyle A-\lambda I_{\mathfrak {B}}} \) is closed. (Gohberg–Krein 1957, 1960, 1969).

If\( \lambda \) is a normal eigenvalue, then \( {\displaystyle {\mathfrak {L}}_{\lambda }} \) coincides with the range of the Riesz projector, \( {\displaystyle {\mathfrak {R}}(P_{\lambda })} \) (Gohberg–Krein 1969).

Relation to the discrete spectrum

The above equivalence shows that the set of normal eigenvalues coincides with the discrete spectrum, defined as the set of isolated points of the spectrum with finite rank of the corresponding Riesz projector.[5]
Decomposition of the spectrum of nonselfadjoint operators

The spectrum of a closed operator \( {\displaystyle A:\,{\mathfrak {B}}\to {\mathfrak {B}}} \) in the Banach space \( {\mathfrak {B}} \) 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)=\{{\text{normal eigenvalues of}}\ A\}\cup \sigma _{\mathrm {ess} ,5}(A).} \)

See also

Spectrum (functional analysis)
Decomposition of spectrum (functional analysis)
Discrete spectrum (Mathematics)
Essential spectrum
Spectrum of an operator
Resolvent formalism
Riesz projector
Fredholm operator
Operator theory

References

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.
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.
Gohberg, I. C; Kreĭn, M. G. (1969). Introduction to the theory of linear nonselfadjoint operators. American Mathematical Society, Providence, R.I.
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.

Reed, M.; Simon, B. (1978). Methods of modern mathematical physics, vol. IV. Analysis of operators. Academic Press [Harcourt Brace Jovanovich Publishers], New York.


vte

Functional analysis (topics – glossary)
Spaces

Hilbert space Banach space Fréchet space topological vector space

Theorems

Hahn–Banach theorem closed graph theorem uniform boundedness principle Kakutani fixed-point theorem Krein–Milman theorem min-max theorem Gelfand–Naimark theorem Banach–Alaoglu theorem

Operators

bounded operator compact operator adjoint operator unitary operator Hilbert–Schmidt operator trace class unbounded operator

Algebras

Banach algebra C*-algebra spectrum of a C*-algebra operator algebra group algebra of a locally compact group von Neumann algebra

Open problems

invariant subspace problem Mahler's conjecture

Applications

Besov space Hardy space spectral theory of ordinary differential equations heat kernel index theorem calculus of variation functional calculus integral operator Jones polynomial topological quantum field theory noncommutative geometry Riemann hypothesis

Advanced topics

locally convex space approximation property balanced set Schwartz space weak topology barrelled space Banach–Mazur distance Tomita–Takesaki theory

vte

Spectral theory and *-algebras
Basic concepts

Involution/*-algebra Banach algebra B*-algebra C*-algebra Noncommutative topology Projection-valued measure Spectrum Spectrum of a C*-algebra Spectral radius Operator space

Main results

Gelfand–Mazur theorem Gelfand–Naimark theorem Gelfand representation Polar decomposition Singular value decomposition Spectral theorem Spectral theory of normal C*-algebras

Special Elements/Operators

Isospectral Normal operator Hermitian/Self-adjoint operator Unitary operator Unit

Spectrum

Krein–Rutman theorem Normal eigenvalue Spectrum of a C*-algebra Spectral radius Spectral asymmetry Spectral gap

Decomposition of a spectrum

(Continuous Point Residual) Approximate point Compression Discrete Spectral abscissa

Spectral Theorem

Borel functional calculus Min-max theorem Projection-valued measure Riesz projector Rigged Hilbert space Spectral theorem Spectral theory of compact operators Spectral theory of normal C*-algebras

Special algebras

Amenable Banach algebra With an Approximate identity Banach function algebra Disk algebra Uniform algebra

Finite-Dimensional

Alon–Boppana bound Bauer–Fike theorem Numerical range Schur–Horn theorem

Generalizations

Dirac spectrum Essential spectrum Pseudospectrum Structure space (Shilov boundary)

Miscellaneous

Abstract index group Banach algebra cohomology Cohen–Hewitt factorization theorem Extensions of symmetric operators Limiting absorption principle Unbounded operator

Examples

Wiener algebra

Applications

Almost Mathieu operator Corona theorem Hearing the shape of a drum (Dirichlet eigenvalue) Heat kernel Kuznetsov trace formula Lax pair Proto-value function Ramanujan graph Rayleigh–Faber–Krahn inequality Spectral geometry Spectral method Spectral theory of ordinary differential equations Sturm–Liouville theory Superstrong approximation Transfer operator Transform theory Weyl law

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

World

Index

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License