In mathematics, the essential spectrum of a bounded operator (or, more generally, of a densely defined closed linear operator) is a certain subset of its spectrum, defined by a condition of the type that says, roughly speaking, "fails badly to be invertible".
In formal terms, let be a Hilbert space and let be a self-adjoint operator on .
The essential spectrum of , usually denoted , is the set of all real numbers such that
is not a Fredholm operator, where denotes the identity operator on , so that , for all . (An operator is Fredholm if it is bounded, and its kernel and cokernel are finite-dimensional.)
The definition of essential spectrum will remain unchanged if we allow it to consist of all those complex numbers (instead of just real numbers) such that the above condition holds. This is due to the fact that the spectrum of a self-adjoint operator is real.
The essential spectrum is always closed, and it is a subset of the spectrum . As mentioned above, since is self-adjoint, the spectrum is contained on the real axis.
The spectrum can be partitioned into two parts. One part is the essential spectrum. The other part is the discrete spectrum, which is the set of points such that it is an isolated point, and is a finite dimensional subspace. That is, it is an isolated eigenvalue of finite algebraic multiplicity (normal eigenvalues).
The essential spectrum is invariant under compact perturbations. That is, if is a compact self-adjoint operator on , then the essential spectra of and that of coincide, i.e. . This explains why it is called the essential spectrum: Weyl (1910) originally defined the essential spectrum of a certain differential operator to be the spectrum independent of boundary conditions.
The essential spectrum is a subset of the spectrum and its complement is called the discrete spectrum, so
If is self-adjoint, then, by definition, a number is in the discrete spectrum of if it is an isolated eigenvalue of finite multiplicity, meaning that the dimension of the space
has finite but non-zero dimension and that there is an such that and imply that and are equal. (For general, non-self-adjoint operators on Banach spaces, by definition, a complex number is in the discrete spectrum if it is a normal eigenvalue; or, equivalently, if it is an isolated point of the spectrum and the rank of the corresponding Riesz projector is finite.)
Define the following:
Under these definitions, we have the following characterization of the spectrum of the operator :
A number is in if and only if there exists a sequence of unit vectors with .
If is on the discrete spectrum, then since is isolated in , any sequence of unit vectors with must converge to , and since is finite-dimensional, must have a convergent subsequence by compactness of the unit sphere of . Therefore, . Weyl's criterion states that the converse is true as well: [1]
A number is in if and only if there exists a sequence of unit vectors with , and .
Such a sequence is called a singular sequence or Weyl sequence. By sparsifying the sequence and applying Gram–Schmidt process, the sequence can be made orthonormal.
Let be the multiplication operator (or the position operator) defined by . The essential range of is , so the spectrum is . For any , we can explicitly construct a singular sequence as a sequence of increasingly narrow and sharp rectangular functions that are supported on disjoint sets. For example, let , then we can construct to be the rectangular function on of height . They are orthonormal, with . Note that the sequence increasingly resembles the Dirac delta "function" at 0, even though it does not converge.
Let be the momentum operator defined by extending for compactly supported smooth functions. Its essential spectrum is the entire real line. Physicists say that each is an eigenvalue of with eigenfunction . However, this is not technically correct, since has infinite L2-norm. Nevertheless, it is possible to make a similar rigorous statement. While is not in , it can be approached by a Weyl sequence in . The construction is essentially the same, by constructing a sequence approaching the Dirac delta at in momentum space, then performing a Fourier transform to position space.
Let be the Laplace operator , where is the Sobolev space. Its essential spectrum is . For each , and any unit vector , the construction of the Weyl sequence for the "eigenfunction" is similar. [1]
Let be a Banach space, and let be a densely defined operator on . That is, it is of type , where is a dense subspace of . Let the spectrum of be , defined byThe complement of is the resolvent set of .
There are several definitions of the essential spectrum of , which are not necessarily the same. Each of these definitions is of the formThere are at least 5 different levels of niceness, increasing in strength. Each increase in strength shrinks the set of nice , thus expands the essential domain. [2]
Let denote an operator of type . Let be its kernel, be its cokernel, be its range. We say that is:
Now, set . Then conditions 1 to 5 defines 5 essential spectra , , and condition 6 defines the spectrum . It is clear that conditions 1 to 5 increases in strength. One can also show that condition 6 is stronger than condition 5. Thus,Any of these inclusions may be strict.
Different authors defined the essential spectra differently, resulting in different terminologies. For example, Kato used , Wolf used , Schechter used , Browder used . Thus, is also called the Browder essential spectrum, etc. [3]
There are even more definitions of the essential spectrum. [2]
The following definition states that the essential spectrum is the part of the spectrum that is stable under compact perturbation:Another definition states that:Given , it is an isolated eigenvalue of with finite multiplicity if and only if has positive finite dimension, and is an isolated point of .
The definition of the set is equivalent to Weyl's criterion: is the set of all for which there exists a singular sequence.
If is a Hilbert space, and is self-adjoint, then all the above definitions of the essential spectrum coincide, except . Concretely, we have [2] The issue is that does not include isolated eigenvalues of infinite multiplicity. For example, if and is infinite-dimensional, then is empty, whereas . This is because 1 is an eigenvalue of the identity operator with infinite multiplicity.
If is a Hilbert space, then for all .
The self-adjoint case is discussed in
A discussion of the spectrum for general operators can be found in
The original definition of the essential spectrum goes back to