Symbolic dynamics (nonfiction): Difference between revisions
(Created page with "== Nonfiction == In mathematics, '''symbolic dynamics''' is the practice of modeling a topological or smooth dynamical system by a discrete space...") |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
In [[Mathematics (nonfiction)|mathematics]], '''symbolic dynamics''' is the practice of modeling a topological or smooth dynamical system by a discrete space consisting of infinite sequences of abstract symbols, each of which corresponds to a state of the system, with the dynamics (evolution) given by the shift operator. Formally, a Markov partition is used to provide a finite cover for the smooth system; each set of the cover is associated with a single symbol, and the sequences of symbols result as a trajectory of the system moves from one covering set to another. | In [[Mathematics (nonfiction)|mathematics]], '''symbolic dynamics''' is the practice of modeling a topological or smooth dynamical system by a discrete space consisting of infinite sequences of abstract symbols, each of which corresponds to a state of the system, with the dynamics (evolution) given by the shift operator. Formally, a Markov partition is used to provide a finite cover for the smooth system; each set of the cover is associated with a single symbol, and the sequences of symbols result as a trajectory of the system moves from one covering set to another. | ||
== History == | == History == | ||
The idea goes back to [[Jacques Hadamard (nonfiction)|Jacques Hadamard]]'s 1898 paper on the geodesics on surfaces of negative curvature. It was applied by Marston Morse in 1921 to the construction of a nonperiodic recurrent geodesic. Related work was done by Emil Artin in 1924 (for the system now called Artin billiard), Pekka Myrberg, Paul Koebe, Jakob Nielsen, G. A. Hedlund. | The idea goes back to [[Jacques Hadamard (nonfiction)|Jacques Hadamard]]'s 1898 paper on the geodesics on surfaces of negative curvature. It was applied by [[Marston Morse (nonfiction)|Marston Morse]] in 1921 to the construction of a nonperiodic recurrent geodesic. Related work was done by [[Emil Artin (nonfiction)|Emil Artin]] in 1924 (for the system now called Artin billiard), [[Pekka Myrberg (nonfiction)|Pekka Myrberg]], [[Paul Koebe (nonfiction)|Paul Koebe]], [[Jakob Nielsen (nonfiction)|Jakob Nielsen]], and [[Gustav A. Hedlund (nonfiction)|G. A. Hedlund]]. | ||
The first formal treatment was developed by Morse and Hedlund in their 1938 paper.[ | The first formal treatment was developed by Morse and Hedlund in their 1938 paper. [[George Birkhoff (nonfiction)|George Birkhoff]], [[Norman Levinson (nonfiction)|Norman Levinson]], and the pair [[Mary Cartwright (nonfiction)|Mary Cartwright]] and [[John Edensor Littlewood (nonfiction)|J. E. Littlewood]] have applied similar methods to qualitative analysis of nonautonomous second order differential equations. | ||
Claude Shannon used symbolic sequences and shifts of finite type in his 1948 paper A mathematical theory of communication that gave birth to information theory. | [[Claude Shannon (nonfiction)|Claude Shannon]] used symbolic sequences and shifts of finite type in his 1948 paper A mathematical theory of communication that gave birth to information theory. | ||
During the late 1960s the method of symbolic dynamics was developed to hyperbolic toral automorphisms by Roy Adler and Benjamin Weiss, and to Anosov diffeomorphisms by Yakov Sinai who used the symbolic model to construct Gibbs measures. | During the late 1960s the method of symbolic dynamics was developed to hyperbolic toral automorphisms by [[Roy Adler (nonfiction)|Roy Adler]] and Benjamin Weiss, and to Anosov diffeomorphisms by Yakov Sinai who used the symbolic model to construct Gibbs measures. In the early 1970s the theory was extended to Anosov flows by [[Marina Ratner (nonfiction)|Marina Ratner]], and to Axiom A diffeomorphisms and flows by [[Rufus Bowen (nonfiction)|Rufus Bowen]]. | ||
A spectacular application of the methods of symbolic dynamics is Sharkovskii's theorem about periodic orbits of a continuous map of an interval into itself (1964). | A spectacular application of the methods of symbolic dynamics is Sharkovskii's theorem about periodic orbits of a continuous map of an interval into itself (1964). | ||
Line 18: | Line 16: | ||
=== Itinerary === | === Itinerary === | ||
Itinerary of point with respect to the paritition is a sequence of symbols. It describes dynamic of the point. | Itinerary of point with respect to the paritition is a sequence of symbols. It describes dynamic of the point. | ||
== Applications == | == Applications == | ||
Line 24: | Line 22: | ||
== See also == | == See also == | ||
* Measure-preserving dynamical system | * Measure-preserving dynamical system | ||
* Shift space | * Shift space - in symbolic dynamics and related branches of mathematics, a shift space or subshift is a set of infinite words that represent the evolution of a discrete system. In fact, shift spaces and symbolic dynamical systems are often considered synonyms. | ||
* Shift of finite type | * Shift of finite type | ||
* Complex dynamics | * Complex dynamics | ||
* Arithmetic dynamics | * Arithmetic dynamics | ||
== In the News == | |||
<gallery> | |||
</gallery> | |||
== Fiction cross-reference == | |||
* [[Crimes against mathematical constants]] | |||
* [[Gnomon algorithm]] | |||
* [[Gnomon Chronicles]] | |||
* [[Mathematician]] | |||
* [[Mathematics]] | |||
== Nonfiction cross-reference == | |||
* [[Mathematician (nonfiction)]] | |||
* [[Mathematics (nonfiction)]] | |||
External links: | |||
* [https://en.wikipedia.org/wiki/Symbolic_dynamics Symbolic dynamics] @ Wikipedia | |||
[[Category:Nonfiction (nonfiction)]] | |||
[[Category:Mathematics (nonfiction)]] |
Latest revision as of 17:11, 30 August 2018
In mathematics, symbolic dynamics is the practice of modeling a topological or smooth dynamical system by a discrete space consisting of infinite sequences of abstract symbols, each of which corresponds to a state of the system, with the dynamics (evolution) given by the shift operator. Formally, a Markov partition is used to provide a finite cover for the smooth system; each set of the cover is associated with a single symbol, and the sequences of symbols result as a trajectory of the system moves from one covering set to another.
History
The idea goes back to Jacques Hadamard's 1898 paper on the geodesics on surfaces of negative curvature. It was applied by Marston Morse in 1921 to the construction of a nonperiodic recurrent geodesic. Related work was done by Emil Artin in 1924 (for the system now called Artin billiard), Pekka Myrberg, Paul Koebe, Jakob Nielsen, and G. A. Hedlund.
The first formal treatment was developed by Morse and Hedlund in their 1938 paper. George Birkhoff, Norman Levinson, and the pair Mary Cartwright and J. E. Littlewood have applied similar methods to qualitative analysis of nonautonomous second order differential equations.
Claude Shannon used symbolic sequences and shifts of finite type in his 1948 paper A mathematical theory of communication that gave birth to information theory.
During the late 1960s the method of symbolic dynamics was developed to hyperbolic toral automorphisms by Roy Adler and Benjamin Weiss, and to Anosov diffeomorphisms by Yakov Sinai who used the symbolic model to construct Gibbs measures. In the early 1970s the theory was extended to Anosov flows by Marina Ratner, and to Axiom A diffeomorphisms and flows by Rufus Bowen.
A spectacular application of the methods of symbolic dynamics is Sharkovskii's theorem about periodic orbits of a continuous map of an interval into itself (1964).
Examples
Concepts such as heteroclinic orbits and homoclinic orbits have a particularly simple representation in symbolic dynamics.
Itinerary
Itinerary of point with respect to the paritition is a sequence of symbols. It describes dynamic of the point.
Applications
Symbolic dynamics originated as a method to study general dynamical systems; now its techniques and ideas have found significant applications in data storage and transmission, linear algebra, the motions of the planets and many other areas. The distinct feature in symbolic dynamics is that time is measured in discrete intervals. So at each time interval the system is in a particular state. Each state is associated with a symbol and the evolution of the system is described by an infinite sequence of symbols—represented effectively as strings. If the system states are not inherently discrete, then the state vector must be discretized, so as to get a coarse-grained description of the system.
See also
- Measure-preserving dynamical system
- Shift space - in symbolic dynamics and related branches of mathematics, a shift space or subshift is a set of infinite words that represent the evolution of a discrete system. In fact, shift spaces and symbolic dynamical systems are often considered synonyms.
- Shift of finite type
- Complex dynamics
- Arithmetic dynamics
In the News
Fiction cross-reference
Nonfiction cross-reference
External links:
- Symbolic dynamics @ Wikipedia