Difference between revisions of "Lebesgue spectrum"
(Importing text file) |
m (fixing subscript) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | <!-- | |
| + | l0579201.png | ||
| + | $#A+1 = 28 n = 0 | ||
| + | $#C+1 = 28 : ~/encyclopedia/old_files/data/L057/L.0507920 Lebesgue spectrum | ||
| + | Automatically converted into TeX, above some diagnostics. | ||
| + | Please remove this comment and the {{TEX|auto}} line below, | ||
| + | if TeX found to be correct. | ||
| + | --> | ||
| − | + | {{TEX|auto}} | |
| + | {{TEX|done}} | ||
| − | and | + | A term in [[Spectral theory|spectral theory]]. Let $ A $ |
| + | be a self-adjoint and $ U $ | ||
| + | a unitary operator acting in a Hilbert space $ H $. | ||
| + | The operator $ A $, | ||
| + | respectively $ U $, | ||
| + | has a simple Lebesgue spectrum if it is unitarily equivalent to the operator of multiplication by $ \lambda $ | ||
| + | in a space of complex-valued functions $ f ( \lambda ) $ | ||
| + | that are defined on the real axis $ \mathbf R $, | ||
| + | respectively on the circle | ||
| − | + | $$ | |
| + | S ^ {1} = \{ \lambda : {\lambda \in \mathbf C , | \lambda | = 1 } \} | ||
| + | , | ||
| + | $$ | ||
| − | + | and for which | |
| + | $$ | ||
| + | \| f \| ^ {2} = \int\limits | f ( \lambda ) | ^ {2} \ | ||
| + | d \lambda < \infty , | ||
| + | $$ | ||
| + | where the integration is carried out with respect to the ordinary [[Lebesgue measure|Lebesgue measure]] on $ \mathbf R $, | ||
| + | respectively on $ S ^ {1} $; | ||
| + | hence the name Lebesgue spectrum (see [[Unitarily-equivalent operators|Unitarily-equivalent operators]]). For $ U $ | ||
| + | this definition is equivalent to the following: In $ H $ | ||
| + | there is an orthonormal basis $ e _ {j} $, | ||
| + | $ j = 0 , \pm 1 , \pm 2, \dots $ | ||
| + | such that $ U e _ {j} = e _ {j+1} $. | ||
| + | Also, an operator has a Lebesgue spectrum if $ H $ | ||
| + | can be decomposed into an orthogonal direct sum of invariant subspaces in each of which the operator has a simple Lebesgue spectrum. Although for a given operator there can be many such decompositions, the number of "summands" in each of them is the same (it may be an infinite [[Cardinal number|cardinal number]]). This number is called the multiplicity of the Lebesgue spectrum. Finally, similar concepts can be introduced for one-parameter groups of unitary operators $ U ( t) $, | ||
| + | continuous in the weak (or strong, which is the same in the given case) operator topology. By Stone's theorem, $ U ( t) = e ^ {iAt} $, | ||
| + | where $ A $ | ||
| + | is a self-adjoint operator (cf. [[Semi-group of operators|Semi-group of operators]]; [[Generating operator of a semi-group|Generating operator of a semi-group]]). If $ A $ | ||
| + | has a Lebesgue spectrum of a certain multiplicity, one says that $ U ( t) $ | ||
| + | has the same properties. For example, the group $ U ( t) $ | ||
| + | has a simple Lebesgue spectrum if it is unitarily equivalent to the group $ f ( \lambda ) \rightarrow e ^ {i \lambda t } f ( \lambda ) $ | ||
| + | in $ L _ {2} ( \mathbf R ) $, | ||
| + | and this group, in turn, is equivalent to the group of shifts $ f ( \lambda ) \rightarrow f( \lambda + t ) $ | ||
| + | in the same space $ L _ {2} ( \mathbf R ) $. | ||
====Comments==== | ====Comments==== | ||
| − | |||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Helson, "The spectral theorem" , Springer (1986)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> H. Helson, "The spectral theorem" , Springer (1986)</TD></TR></table> | ||
Latest revision as of 15:28, 28 February 2022
A term in spectral theory. Let $ A $
be a self-adjoint and $ U $
a unitary operator acting in a Hilbert space $ H $.
The operator $ A $,
respectively $ U $,
has a simple Lebesgue spectrum if it is unitarily equivalent to the operator of multiplication by $ \lambda $
in a space of complex-valued functions $ f ( \lambda ) $
that are defined on the real axis $ \mathbf R $,
respectively on the circle
$$ S ^ {1} = \{ \lambda : {\lambda \in \mathbf C , | \lambda | = 1 } \} , $$
and for which
$$ \| f \| ^ {2} = \int\limits | f ( \lambda ) | ^ {2} \ d \lambda < \infty , $$
where the integration is carried out with respect to the ordinary Lebesgue measure on $ \mathbf R $, respectively on $ S ^ {1} $; hence the name Lebesgue spectrum (see Unitarily-equivalent operators). For $ U $ this definition is equivalent to the following: In $ H $ there is an orthonormal basis $ e _ {j} $, $ j = 0 , \pm 1 , \pm 2, \dots $ such that $ U e _ {j} = e _ {j+1} $. Also, an operator has a Lebesgue spectrum if $ H $ can be decomposed into an orthogonal direct sum of invariant subspaces in each of which the operator has a simple Lebesgue spectrum. Although for a given operator there can be many such decompositions, the number of "summands" in each of them is the same (it may be an infinite cardinal number). This number is called the multiplicity of the Lebesgue spectrum. Finally, similar concepts can be introduced for one-parameter groups of unitary operators $ U ( t) $, continuous in the weak (or strong, which is the same in the given case) operator topology. By Stone's theorem, $ U ( t) = e ^ {iAt} $, where $ A $ is a self-adjoint operator (cf. Semi-group of operators; Generating operator of a semi-group). If $ A $ has a Lebesgue spectrum of a certain multiplicity, one says that $ U ( t) $ has the same properties. For example, the group $ U ( t) $ has a simple Lebesgue spectrum if it is unitarily equivalent to the group $ f ( \lambda ) \rightarrow e ^ {i \lambda t } f ( \lambda ) $ in $ L _ {2} ( \mathbf R ) $, and this group, in turn, is equivalent to the group of shifts $ f ( \lambda ) \rightarrow f( \lambda + t ) $ in the same space $ L _ {2} ( \mathbf R ) $.
Comments
References
| [a1] | H. Helson, "The spectral theorem" , Springer (1986) |
Lebesgue spectrum. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lebesgue_spectrum&oldid=14137