Math 2.0

Operator theory Compact and Fredholm operators Theorem

Weyl's theorem on compact perturbations

Builds on Hilbert spaceHilbert space adjointCompact operatorEssential spectrumDiscrete spectrum

Statement

Let HH be a complex Hilbert space. Let AA be a bounded self-adjoint operator on HH, that is, A=A∗A = A^* with A∗A^* the adjoint of AA. Let KK be a compact operator on HH with K=K∗K = K^*. Then σess(A+K)=σess(A),\sigma_{\mathrm{ess}}(A + K) = \sigma_{\mathrm{ess}}(A), where σess\sigma_{\mathrm{ess}} denotes the essential spectrum.

Remarks

For a self-adjoint operator, λ\lambda lies in the essential spectrum if and only if there is a Weyl sequence: an orthonormal sequence (xn)(x_n) in HH with ∥(A−λ)xn∥→0\norm{(A - \lambda) x_n} \to 0. An orthonormal sequence tends to 00 weakly, and a compact operator maps weakly null sequences to norm null sequences, so ∥Kxn∥→0\norm{K x_n} \to 0. Hence a Weyl sequence for AA at λ\lambda is also one for A+KA + K, and the symmetric argument gives the reverse inclusion. The theorem also holds for unbounded self-adjoint AA, with A+KA + K defined on the domain of AA. In other words, a compact perturbation of a self-adjoint operator can only change its discrete spectrum, the isolated eigenvalues of finite multiplicity. With the definition of the essential spectrum through Fredholm operators, the equality holds for every bounded operator AA on a Banach space and every compact KK. Indeed, A+K−λIA + K - \lambda I is Fredholm exactly when A−λIA - \lambda I is. Example: on ℓ2\ell^2, the zero operator has essential spectrum {0}\set{0}, and so does every compact self-adjoint operator, such as the diagonal operator with entries 1/n1/n. Without compactness the conclusion fails: a self-adjoint projection PP of infinite rank and infinite corank has σess(0+P)={0,1}\sigma_{\mathrm{ess}}(0 + P) = \set{0, 1}, while σess(0)={0}\sigma_{\mathrm{ess}}(0) = \set{0}.

Going deeper

For a student

The theorem is a basic tool of mathematical physics. For a Schrödinger operator −Δ+V-\Delta + V with a potential VV that decays at infinity, one shows that VV is a relatively compact perturbation of −Δ-\Delta. A version of Weyl's theorem for relatively compact perturbations then gives σess(−Δ+V)=[0,∞)\sigma_{\mathrm{ess}}(-\Delta + V) = [0, \infty), so the negative spectrum consists of isolated eigenvalues, the bound states.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact operator concept
  2. Discrete spectrum concept
  3. Essential spectrum concept
  4. Hilbert space concept
  5. Hilbert space adjoint concept
  6. Weyl's theorem on compact perturbations statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Essential_spectrum
About this page
TagX9XRGMDCQZ
URIm2://X9XRGMDCQZ
Kindstatement, theorem
WritingW0 stub
MSC47A55, 47A10, 47B25
StatusThis copy of the site has no build data. Run m2 status X9XRGMDCQZ.
AboutEssential spectrum
UsesHilbert space, Hilbert space adjoint, Compact operator, Essential spectrum, Discrete spectrum
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.