Several essential spectra distinguish failure of upper and lower semi-Fredholm properties. For , these failures are detected at zero by the positive self-adjoint operators and .
For a bounded linear operator on an infinite-dimensional complex Hilbert space, define the essential spectrum by failure of the Fredholm property for . The Atkinson theorem identifies it with the spectrum in the Calkin algebra, hence it is compact and nonempty. On a finite-dimensional Hilbert space it is empty. For a bounded real diagonal operator on a separable infinite-dimensional space it equals the subsequential cluster set of the diagonal entries, including values of infinite multiplicity.
Let be a closed operator and let be compact when the domain carries its graph norm. If is closed on the same domain, compact perturbation invariance of Fredholm operators applied to the maps proves invariance of the Fredholm essential spectrum. For self-adjoint operators this is also the essential spectrum obtained by deleting isolated finite-multiplicity eigenvalues. A bounded potential tending to zero at spatial infinity is relatively compact with respect to a second-order constant-coefficient operator: local Rellich-Kondrachov compactness theorem gives compactness on bounded intervals and the small tails give compactness globally.
For bounded and compact , use the Fredholm convention . Applying compact perturbation invariance of Fredholm operators to every shift proves the equality. This general theorem needs no self-adjointness; other definitions of essential spectrum for nonnormal operators must be distinguished.
For a bounded self-adjoint operator on a complex Hilbert space, define
This equals the spectrum of a bounded operator after removing its isolated eigenvalues of finite multiplicity. To see isolation when the kernel is finite and the shifted range is closed, restrict the shifted operator to its kernel complement: it is invertible there by image-kernel orthogonality for an adjoint. A Neumann-series perturbation leaves nearby nonzero shifts invertible on that complement and on the finite kernel. The closed range must concern the shifted operator, not the original one.
If is bounded and self-adjoint on a complex Hilbert space and is compact and self-adjoint, then
A singular Weyl sequence for stays singular for , because compact operators send weak convergence to norm convergence and therefore . Applying the same argument with proves the reverse inclusion. Finite-multiplicity isolated eigenvalues can move under such perturbations; the essential spectrum of a bounded self-adjoint operator is unchanged.
The discrete spectrum consists of isolated eigenvalues of finite algebraic multiplicity.

Articles by others on the same topic (0)

There are currently no matching articles.