Namespaces
Variants
Actions

Difference between revisions of "Spectrum of a dynamical system"

From Encyclopedia of Mathematics
Jump to: navigation, search
(refs format)
(TeX)
 
Line 1: Line 1:
''<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865701.png" /> with phase space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865702.png" /> and invariant measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865703.png" />
+
{{TEX|done}}
 +
''$\{T_t\}$ with phase space $X$ and invariant measure $\mu$
  
 
{{MSC|47A35}}
 
{{MSC|47A35}}
Line 5: Line 6:
 
A common name for various spectral invariants and spectral properties of the corresponding group (or semi-group) of unitary (isometric) shift operators:
 
A common name for various spectral invariants and spectral properties of the corresponding group (or semi-group) of unitary (isometric) shift operators:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865704.png" /></td> </tr></table>
+
$$(U_tf)(x)=f(T_tx)$$
  
in the Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865705.png" />. For a dynamical system in the narrow sense (a [[Measurable flow|measurable flow]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865706.png" /> or a [[Cascade|cascade]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865707.png" />), the spectral invariants of just one [[Normal operator|normal operator]] are meant: in the second case of the unitary operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865708.png" />, and in the first, of the generating self-adjoint operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s0865709.png" /> that is the infinitesimal generator of the one-parameter group of unitary operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657010.png" /> (here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657011.png" />, by Stone's theorem).
+
in the Hilbert space $L_2(X,\mu)$. For a dynamical system in the narrow sense (a [[Measurable flow|measurable flow]] $\{T_t\}$ or a [[Cascade|cascade]] $\{T^n\}$), the spectral invariants of just one [[Normal operator|normal operator]] are meant: in the second case of the unitary operator $(U_Tf)=f(Tx)$, and in the first, of the generating self-adjoint operator $A$ that is the infinitesimal generator of the one-parameter group of unitary operators $\{U_t\}$ (here $U_t=e^{itA}$, by Stone's theorem).
  
The "spectral" terminology in the theory of dynamical systems differs somewhat from the ordinary usage. For all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657013.png" /> of practical interest, the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657014.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657015.png" />) in the usual sense, that is, the set of those <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657016.png" /> for which the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657017.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657018.png" />) does not have a bounded inverse (cf. [[Spectrum of an operator|Spectrum of an operator]]), coincides with the circle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657019.png" /> or with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657020.png" /> (see {{Cite|T}}, {{Cite|G}}). Therefore: a) the spectrum in the usual sense does not contain information about the properties of a given dynamical system which distinguish it from others; b) in the spectrum in the normal sense of the word, there are hardly ever any isolated points, so that it is continuous (in the ordinary sense) and this again does not contain information about specific properties of a given system. For this reason, in the theory of dynamical systems one speaks of a continuous spectrum whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657021.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657022.png" /> have no eigenfunctions other than constants, of a discrete spectrum when the eigenfunctions form a complete system in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657023.png" /> and of a mixed spectrum in all other cases.
+
The "spectral" terminology in the theory of dynamical systems differs somewhat from the ordinary usage. For all $T$ and $\{T_t\}$ of practical interest, the spectrum of $U_T$ (or $A$) in the usual sense, that is, the set of those $\lambda$ for which the operator $U_T-\lambda E$ (or $A-\lambda E$) does not have a bounded inverse (cf. [[Spectrum of an operator|Spectrum of an operator]]), coincides with the circle $|\lambda|=1$ or with $\mathbf R$ (see {{Cite|T}}, {{Cite|G}}). Therefore: a) the spectrum in the usual sense does not contain information about the properties of a given dynamical system which distinguish it from others; b) in the spectrum in the normal sense of the word, there are hardly ever any isolated points, so that it is continuous (in the ordinary sense) and this again does not contain information about specific properties of a given system. For this reason, in the theory of dynamical systems one speaks of a continuous spectrum whenever $U_T$ or $A$ have no eigenfunctions other than constants, of a discrete spectrum when the eigenfunctions form a complete system in $L_2(X,\mu)$ and of a mixed spectrum in all other cases.
  
The properties of a dynamical system that are determined by its spectrum are called spectral properties. Examples are [[Ergodicity|ergodicity]] (which is equivalent with the eigenvalue 1 of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657024.png" />, respectively <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657025.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657026.png" />, being simple) and [[Mixing|mixing]]. There is a complete metric classification of ergodic dynamical systems with a discrete spectrum: such a system is determined by its spectrum up to a [[Metric isomorphism|metric isomorphism]] {{Cite|CFS}}. An analogous theory has also been developed for transformation groups more general than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657027.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657028.png" /> (see {{Cite|M}}). In the non-commutative case formulations becomes more complicated, and, moreover, the spectrum no longer completely determines the system. If the spectrum is not discrete, then the situation is much more complex.
+
The properties of a dynamical system that are determined by its spectrum are called spectral properties. Examples are [[Ergodicity|ergodicity]] (which is equivalent with the eigenvalue 1 of $U_T$, respectively $0$ of $A$, being simple) and [[Mixing|mixing]]. There is a complete metric classification of ergodic dynamical systems with a discrete spectrum: such a system is determined by its spectrum up to a [[Metric isomorphism|metric isomorphism]] {{Cite|CFS}}. An analogous theory has also been developed for transformation groups more general than $\mathbf R$ and $\mathbf Z$ (see {{Cite|M}}). In the non-commutative case formulations becomes more complicated, and, moreover, the spectrum no longer completely determines the system. If the spectrum is not discrete, then the situation is much more complex.
  
 
====References====
 
====References====
Line 25: Line 26:
  
 
====Comments====
 
====Comments====
Instead of "discrete spectrum" also the term "pure point spectrum of a dynamical systempure point spectrum" is used in the literature. For transformation groups more general than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086570/s08657030.png" /> and not necessarily commutative, also consult {{Cite|Z}} and {{Cite|Z2}}.
+
Instead of "discrete spectrum" also the term "pure point spectrum of a dynamical systempure point spectrum" is used in the literature. For transformation groups more general than $\mathbf R$ and $\mathbf Z$ and not necessarily commutative, also consult {{Cite|Z}} and {{Cite|Z2}}.
  
 
The next to simplest dynamical systems are those with a generalized discrete spectrum and those with a quasi-discrete spectrum. See {{Cite|P}}, {{Cite|A}}.
 
The next to simplest dynamical systems are those with a generalized discrete spectrum and those with a quasi-discrete spectrum. See {{Cite|P}}, {{Cite|A}}.

Latest revision as of 12:58, 16 July 2014

$\{T_t\}$ with phase space $X$ and invariant measure $\mu$

2020 Mathematics Subject Classification: Primary: 47A35 [MSN][ZBL]

A common name for various spectral invariants and spectral properties of the corresponding group (or semi-group) of unitary (isometric) shift operators:

$$(U_tf)(x)=f(T_tx)$$

in the Hilbert space $L_2(X,\mu)$. For a dynamical system in the narrow sense (a measurable flow $\{T_t\}$ or a cascade $\{T^n\}$), the spectral invariants of just one normal operator are meant: in the second case of the unitary operator $(U_Tf)=f(Tx)$, and in the first, of the generating self-adjoint operator $A$ that is the infinitesimal generator of the one-parameter group of unitary operators $\{U_t\}$ (here $U_t=e^{itA}$, by Stone's theorem).

The "spectral" terminology in the theory of dynamical systems differs somewhat from the ordinary usage. For all $T$ and $\{T_t\}$ of practical interest, the spectrum of $U_T$ (or $A$) in the usual sense, that is, the set of those $\lambda$ for which the operator $U_T-\lambda E$ (or $A-\lambda E$) does not have a bounded inverse (cf. Spectrum of an operator), coincides with the circle $|\lambda|=1$ or with $\mathbf R$ (see [T], [G]). Therefore: a) the spectrum in the usual sense does not contain information about the properties of a given dynamical system which distinguish it from others; b) in the spectrum in the normal sense of the word, there are hardly ever any isolated points, so that it is continuous (in the ordinary sense) and this again does not contain information about specific properties of a given system. For this reason, in the theory of dynamical systems one speaks of a continuous spectrum whenever $U_T$ or $A$ have no eigenfunctions other than constants, of a discrete spectrum when the eigenfunctions form a complete system in $L_2(X,\mu)$ and of a mixed spectrum in all other cases.

The properties of a dynamical system that are determined by its spectrum are called spectral properties. Examples are ergodicity (which is equivalent with the eigenvalue 1 of $U_T$, respectively $0$ of $A$, being simple) and mixing. There is a complete metric classification of ergodic dynamical systems with a discrete spectrum: such a system is determined by its spectrum up to a metric isomorphism [CFS]. An analogous theory has also been developed for transformation groups more general than $\mathbf R$ and $\mathbf Z$ (see [M]). In the non-commutative case formulations becomes more complicated, and, moreover, the spectrum no longer completely determines the system. If the spectrum is not discrete, then the situation is much more complex.

References

[T] A. Ionescu Tulcea, "Random series and spectra of measure-preserving transformations" , Ergodic Theory (Tulane Univ. 1961) , Acad. Press (1963) pp. 273–292 Zbl 0132.10703
[G] S. Goldstein, "Spectrum of measurable flows" Astérisque , 40 (Internat. Conf. Dynam. Systems in Math. Physics) (1976) pp. 5–10 MR0450511 Zbl 0342.47006
[CFS] I.P. Cornfel'd, S.V. Fomin, Ya.G. Sinai, "Ergodic theory" , Springer (1982) (Translated from Russian) MR832433
[M] G.W. Mackey, "Ergodic transformation groups with a pure point spectrum" Illinois J. Math. , 8 (1964) pp. 593–600 MR0172961 Zbl 0255.22014

Comments

Instead of "discrete spectrum" also the term "pure point spectrum of a dynamical systempure point spectrum" is used in the literature. For transformation groups more general than $\mathbf R$ and $\mathbf Z$ and not necessarily commutative, also consult [Z] and [Z2].

The next to simplest dynamical systems are those with a generalized discrete spectrum and those with a quasi-discrete spectrum. See [P], [A].

References

[Z] R. Zimmer, "Extensions of ergodic group actions" Illinois J. Math. , 20 (1976) pp. 373–409 MR0409770 Zbl 0334.28015
[Z2] R. Zimmer, "Ergodic actions with generalized discrete spectrum" Illinois J. Math , 20 (1976) pp. 555–588 MR0414832 Zbl 0349.28011
[A] L.M. Abramov, "Metric automorphisms with quasi-discrete spectrum" Transl. Amer. Math. Soc. , 39 (1964) pp. 37–56 Izv. Akad. Nauk. SSSR Ser. Mat. , 26 (1962) pp. 513–530 MR0143040 Zbl 0154.15704
[P] W. Parry, "Compact abelian group extensions of discrete dynamical systems" Z. Wahrsch. verw. Geb. , 13 (1969) pp. 95–113 MR0260976 Zbl 0184.26901
How to Cite This Entry:
Spectrum of a dynamical system. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spectrum_of_a_dynamical_system&oldid=26935
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article