Spectral decomposition of a linear operator
The representation of a linear operator in the form of an integral with respect to the spectral measure (the spectral resolution). For any self-adjoint operator on a Hilbert space there is a spectral resolution such that
This means that
for all , . The spectral resolution of a self-adjoint operator can be calculated from its resolvent (at points of continuity) by the formulas
It follows from the spectral decomposition theorem for self-adjoint operators that operators can be realized by multiplication operators, and that there is a functional calculus on Borel functions.
Using the spectral decomposition of a self-adjoint operator and the theory of extensions to a larger space (see ), one can obtain an integral representation of a symmetric operator by a generalized spectral resolution. Integral representations of isometric operators (cf. Isometric operator) are constructed in a similar way. The analogy between spectral decompositions of self-adjoint and unitary operators on the one hand, and integral representations of symmetric and isometric operators on the other, is far from complete (due to the lack of uniqueness of the generalized spectral resolutions, the lack of strong convergence of the integrals, the comparative narrowness of the functional calculus, etc.).
For any bounded normal operator on a Hilbert space there is a self-adjoint spectral measure , countably-additive in the strong operator topology on the -algebra of Borel subsets of the complex plane, such that
where , the spectrum of (cf. Spectrum of an operator), , and . It is convenient to reformulate this theorem as follows: Every bounded normal operator is unitarily equivalent to the operator of multiplication by some essentially-bounded function in the space , where can be chosen to be a finite measure if the space is separable.
It follows from the spectral decomposition theorem that there is a functional calculus for normal operators, that is, there is a homomorphism from the algebra of essentially-bounded Borel functions on into the algebra of bounded operators that satisfies the condition and that maps every bounded pointwise-convergent sequence of functions into a strongly-converging sequence of operators. The image of this homomorphism (that is, the set of all functions of the operator ) coincides with the set of all operators commuting with every operator that commutes with . Since the existence of a functional calculus in turn implies the spectral decomposition theorem, this result can be regarded as a form of the spectral theorem. The spectral decomposition theorem can also be generalized to unbounded normal operators (see ).
In the case of spectral decomposition of a unitary operator, which is a special case of a normal operator, the spectral measure is given on the unit circle. The spectral decomposition of a unitary operator is sometimes written in the form
where is a spectral resolution concentrated on the interval . Thus, a spectral decomposition enables one to represent a unitary operator in the form , where is a self-adjoint operator. This result is generalized by Stone's theorem: Every strongly-continuous one-parameter group of unitary operators can be written in the form
where is a self-adjoint (possibly unbounded) operator.
|||N. Dunford, J.T. Schwartz, "Linear operators. Spectral theory" , 2 , Interscience (1963)|
|||N.I. Akhiezer, I.M. Glazman, "Theory of linear operators in Hilbert space" , 1–2 , Pitman (1981) (Translated from Russian)|
Spectral decomposition of a linear operator. V.S. Shul'man (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Spectral_decomposition_of_a_linear_operator&oldid=19240