Difference between revisions of "Spectrum of a dynamical system"
(MSC|47A35 Category:General theory of linear operators) |
(refs format) |
||
Line 9: | Line 9: | ||
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 <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). | ||
− | 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 | + | 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 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]] | + | 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. |
====References==== | ====References==== | ||
− | + | {| | |
− | + | |valign="top"|{{Ref|T}}|| A. Ionescu Tulcea, "Random series and spectra of measure-preserving transformations" , ''Ergodic Theory (Tulane Univ. 1961)'' , Acad. Press (1963) pp. 273–292 {{MR|}} {{ZBL|0132.10703}} | |
− | + | |- | |
+ | |valign="top"|{{Ref|G}}|| S. Goldstein, "Spectrum of measurable flows" ''Astérisque'' , '''40 (Internat. Conf. Dynam. Systems in Math. Physics)''' (1976) pp. 5–10 {{MR|0450511}} {{ZBL|0342.47006}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|CFS}}|| I.P. Cornfel'd, S.V. Fomin, Ya.G. Sinai, "Ergodic theory" , Springer (1982) (Translated from Russian) {{MR|832433}} {{ZBL|}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|M}}|| G.W. Mackey, "Ergodic transformation groups with a pure point spectrum" ''Illinois J. Math.'' , '''8''' (1964) pp. 593–600 {{MR|0172961}} {{ZBL|0255.22014}} | ||
+ | |} | ||
====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 | + | 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}}. |
− | The next to simplest dynamical systems are those with a generalized discrete spectrum and those with a quasi-discrete spectrum. See | + | 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}}. |
====References==== | ====References==== | ||
− | + | {| | |
+ | |valign="top"|{{Ref|Z}}|| R. Zimmer, "Extensions of ergodic group actions" ''Illinois J. Math.'' , '''20''' (1976) pp. 373–409 {{MR|0409770}} {{ZBL|0334.28015}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|Z2}}|| R. Zimmer, "Ergodic actions with generalized discrete spectrum" ''Illinois J. Math'' , '''20''' (1976) pp. 555–588 {{MR|0414832}} {{ZBL|0349.28011}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|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 {{MR|0143040}} {{ZBL|0154.15704}} | ||
+ | |- | ||
+ | |valign="top"|{{Ref|P}}|| W. Parry, "Compact abelian group extensions of discrete dynamical systems" ''Z. Wahrsch. verw. Geb.'' , '''13''' (1969) pp. 95–113 {{MR|0260976}} {{ZBL|0184.26901}} | ||
+ | |} |
Revision as of 09:08, 28 May 2012
with phase space and invariant measure
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:
in the Hilbert space . For a dynamical system in the narrow sense (a measurable flow or a cascade ), the spectral invariants of just one normal operator are meant: in the second case of the unitary operator , and in the first, of the generating self-adjoint operator that is the infinitesimal generator of the one-parameter group of unitary operators (here , by Stone's theorem).
The "spectral" terminology in the theory of dynamical systems differs somewhat from the ordinary usage. For all and of practical interest, the spectrum of (or ) in the usual sense, that is, the set of those for which the operator (or ) does not have a bounded inverse (cf. Spectrum of an operator), coincides with the circle or with (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 or have no eigenfunctions other than constants, of a discrete spectrum when the eigenfunctions form a complete system in 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 , respectively of , 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 and (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 and 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 |
Spectrum of a dynamical system. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spectrum_of_a_dynamical_system&oldid=24276