Namespaces
Variants
Actions

Spectral decomposition of a linear operator

From Encyclopedia of Mathematics
Revision as of 17:29, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 [2]), 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 [2]).

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.

References

[1] N. Dunford, J.T. Schwartz, "Linear operators. Spectral theory" , 2 , Interscience (1963)
[2] N.I. Akhiezer, I.M. Glazman, "Theory of linear operators in Hilbert space" , 1–2 , Pitman (1981) (Translated from Russian)
How to Cite This Entry:
Spectral decomposition of a linear operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spectral_decomposition_of_a_linear_operator&oldid=19240
This article was adapted from an original article by V.S. Shul'man (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article