Difference between revisions of "Weyl theorem"
(Importing text file) |
m (AUTOMATIC EDIT (latexlist): Replaced 22 formulas out of 22 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.) |
||
Line 1: | Line 1: | ||
+ | <!--This article has been texified automatically. Since there was no Nroff source code for this article, | ||
+ | the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist | ||
+ | was used. | ||
+ | If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category. | ||
+ | |||
+ | Out of 22 formulas, 22 were replaced by TEX code.--> | ||
+ | |||
+ | {{TEX|semi-auto}}{{TEX|done}} | ||
''on operator perturbation'' | ''on operator perturbation'' | ||
− | The spectrum | + | The spectrum $\sigma ( T )$ of a (possibly unbounded) [[Self-adjoint operator|self-adjoint operator]] $T$ is naturally divided into a point spectrum $\sigma _ { p } ( T )$ (i.e., the set of eigenvalues) and a continuous spectrum $\sigma _ { c } ( T )$, both subsets of the real axis (cf. also [[Spectrum of an operator|Spectrum of an operator]]). The continuous spectrum is very sensitive against perturbations. The Weyl–von Neumann theorem [[#References|[a2]]], Sect. X.2.2, states that for any self-adjoint operator $T$ in a separable [[Hilbert space|Hilbert space]] there exists a (compact) self-adjoint operator $S$ in the Hilbert–Schmidt class (cf. also [[Hilbert–Schmidt operator|Hilbert–Schmidt operator]]) such that $T + S$ has a pure point spectrum. Moreover, $S$ can be chosen arbitrarily small in the Hilbert–Schmidt norm. The set of eigenvalues obtained by perturbation of a continuous spectrum is dense in any interval covered by the continuous spectrum of the unperturbed operator. In [[Spectral theory|spectral theory]] one introduces therefore another subset of $\sigma ( T )$ which is more stable under perturbations. The essential spectrum $\sigma _ { \text{ess} } ( T )$ is defined as $\sigma ( T ) \backslash \sigma _ { d } ( T )$, where $\sigma _ { d } ( T )$ is the set of all isolated eigenvalues with finite multiplicity. H. Weyl proved (in a special case) the following result [[#References|[a4]]], which is now commonly known as Weyl's theorem: Let $T$ be self-adjoint and $S$ symmetric and compact. Then |
− | + | \begin{equation*} \sigma _ { \text{ess} } ( T ) = \sigma _ { \text{ess} } ( T + S ). \end{equation*} | |
− | In fact, it is even sufficient to require the relative compactness of | + | In fact, it is even sufficient to require the relative compactness of $S$, which means that the operator $S ( T + i ) ^ { - 1 }$ is compact. Another variant of the Weyl theorem states that two self-adjoint operators $A$ and $B$ have the same essential spectrum if the difference of the resolvents $( A + i ) ^ { - 1 } - ( B + i ) ^ { - 1 }$ is compact [[#References|[a3]]] (cf. also [[Resolvent|Resolvent]]). The Weyl theorem is very important in mathematical quantum mechanics, where it serves to prove that $\sigma _ { ess } ( - \Delta + V ) = [ 0 , \infty )$ for a large class of two-body potentials. (A generalization to the $N$-body problem is the HVZ theorem by W. Hunziker, C. van Winter, and G. Zhislin, see [[#References|[a3]]].) The situation is considerably more complicated for non-self-adjoint operators, where there are several possible definitions of the essential spectrum [[#References|[a1]]]. In general, one defines the Weyl spectrum as the largest subset of the spectrum that is invariant under compact perturbations. |
====References==== | ====References==== | ||
− | <table>< | + | <table><tr><td valign="top">[a1]</td> <td valign="top"> K. Gustafson, "Necessary and sufficient conditions for Weyl's theorem" ''Michigan Math. J.'' , '''19''' (1972) pp. 71–81</td></tr><tr><td valign="top">[a2]</td> <td valign="top"> T. Kato, "Perturbation theory for linear operators" , Springer (1976)</td></tr><tr><td valign="top">[a3]</td> <td valign="top"> M. Reed, B. Simon, "Methods in modern mathematical physics IV. Analysis of operators" , Acad. Press (1978)</td></tr><tr><td valign="top">[a4]</td> <td valign="top"> H. Weyl, "Über quadratische Formen, deren Differenz vollstetig ist" ''Rend. Circ. Mat. Palermo'' , '''27''' (1909) pp. 373–392</td></tr></table> |
Latest revision as of 17:00, 1 July 2020
on operator perturbation
The spectrum $\sigma ( T )$ of a (possibly unbounded) self-adjoint operator $T$ is naturally divided into a point spectrum $\sigma _ { p } ( T )$ (i.e., the set of eigenvalues) and a continuous spectrum $\sigma _ { c } ( T )$, both subsets of the real axis (cf. also Spectrum of an operator). The continuous spectrum is very sensitive against perturbations. The Weyl–von Neumann theorem [a2], Sect. X.2.2, states that for any self-adjoint operator $T$ in a separable Hilbert space there exists a (compact) self-adjoint operator $S$ in the Hilbert–Schmidt class (cf. also Hilbert–Schmidt operator) such that $T + S$ has a pure point spectrum. Moreover, $S$ can be chosen arbitrarily small in the Hilbert–Schmidt norm. The set of eigenvalues obtained by perturbation of a continuous spectrum is dense in any interval covered by the continuous spectrum of the unperturbed operator. In spectral theory one introduces therefore another subset of $\sigma ( T )$ which is more stable under perturbations. The essential spectrum $\sigma _ { \text{ess} } ( T )$ is defined as $\sigma ( T ) \backslash \sigma _ { d } ( T )$, where $\sigma _ { d } ( T )$ is the set of all isolated eigenvalues with finite multiplicity. H. Weyl proved (in a special case) the following result [a4], which is now commonly known as Weyl's theorem: Let $T$ be self-adjoint and $S$ symmetric and compact. Then
\begin{equation*} \sigma _ { \text{ess} } ( T ) = \sigma _ { \text{ess} } ( T + S ). \end{equation*}
In fact, it is even sufficient to require the relative compactness of $S$, which means that the operator $S ( T + i ) ^ { - 1 }$ is compact. Another variant of the Weyl theorem states that two self-adjoint operators $A$ and $B$ have the same essential spectrum if the difference of the resolvents $( A + i ) ^ { - 1 } - ( B + i ) ^ { - 1 }$ is compact [a3] (cf. also Resolvent). The Weyl theorem is very important in mathematical quantum mechanics, where it serves to prove that $\sigma _ { ess } ( - \Delta + V ) = [ 0 , \infty )$ for a large class of two-body potentials. (A generalization to the $N$-body problem is the HVZ theorem by W. Hunziker, C. van Winter, and G. Zhislin, see [a3].) The situation is considerably more complicated for non-self-adjoint operators, where there are several possible definitions of the essential spectrum [a1]. In general, one defines the Weyl spectrum as the largest subset of the spectrum that is invariant under compact perturbations.
References
[a1] | K. Gustafson, "Necessary and sufficient conditions for Weyl's theorem" Michigan Math. J. , 19 (1972) pp. 71–81 |
[a2] | T. Kato, "Perturbation theory for linear operators" , Springer (1976) |
[a3] | M. Reed, B. Simon, "Methods in modern mathematical physics IV. Analysis of operators" , Acad. Press (1978) |
[a4] | H. Weyl, "Über quadratische Formen, deren Differenz vollstetig ist" Rend. Circ. Mat. Palermo , 27 (1909) pp. 373–392 |
Weyl theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Weyl_theorem&oldid=50382