|
|
Line 1: |
Line 1: |
| {{context|date=December 2010}}
| | Hi there, I am Alyson Pomerleau and I believe it sounds quite good when you say it. For a whilst I've been in Mississippi but now I'm considering other options. Office supervising is where her primary income arrives from. To perform lacross is one of the issues she enjoys most.<br><br>Feel free to visit my homepage :: real psychic, [http://www.article-galaxy.com/profile.php?a=143251 article-galaxy.com], |
| A '''Markov partition''' is a tool used in [[dynamical systems]] theory, allowing the methods of [[symbolic dynamics]] to be applied to the study of [[hyperbolic system]]s. By using a Markov partition, the system can be made to resemble a discrete-time [[Markov process]], with the long-term dynamical characteristics of the system represented as a [[Markov shift]]. The appellation 'Markov' is appropriate because the resulting dynamics of the system obeys the [[Markov property]]. The Markov partition thus allows standard techniques from [[symbolic dynamics]] to be applied, including the computation of [[expectation value]]s, [[correlation]]s, [[topological entropy]], [[topological zeta function]]s, [[Fredholm determinant]]s and the like.
| |
| | |
| == Motivation ==
| |
| | |
| Let (''M'',''φ'') be a discrete dynamical system. A basic method of studying its dynamics is to find a '''symbolic representation''': a faithful encoding of the points of ''M'' by sequences of symbols such that the map ''φ'' becomes the [[shift map]].
| |
| | |
| Suppose that ''M'' has been divided into a number of pieces ''E''<sub>1</sub>,''E''<sub>2</sub>,…,''E''<sub>''r''</sub>, which are thought to be as small and localized, with virtually no overlaps. The behavior of a point ''x'' under the iterates of ''φ'' can be tracked by recording, for each ''n'', the part ''E''<sub>''i''</sub> which contains ''φ''<sup>''n''</sup>(''x''). This results in an infinite sequence on the alphabet {1,2,…''r''} which encodes the point. In general, this encoding may be imprecise (the same sequence may represent many different points) and the set of sequences which arise in this way may be difficult to describe. Under certain conditions, which are made explicit in the rigorous definition of a Markov partition, the assignment of the sequence to a point of ''M'' becomes an almost one-to-one map whose image is a symbolic dynamical system of a special kind called a [[shift of finite type]]. In this case, the symbolic representation is a powerful tool for investigating the properties of the dynamical system (''M'',''φ'').
| |
| | |
| == Formal definition==
| |
| A Markov partition<ref>{{cite book | last=Gaspard | first=Pierre | title=Chaos, scattering and statistical mechanics | series=Cambridge Nonlinear Science Series | volume=9 | location=Cambridge | publisher=[[Cambridge University Press]] | year=1998 | isbn=0-521-39511-9 | zbl=0915.00011 }}</ref> is a [[finite cover]] of the [[invariant set]] of the manifold by a set of curvilinear rectangles <math>\{E_1, E_2, \cdots E_r\}</math> such that
| |
| | |
| * For any pair of points <math>x,y\in E_i</math>, that <math>W_s(x)\cap W_u(y) \in E_i</math>
| |
| | |
| * <math>\operatorname{Int} E_i \cap \operatorname{Int} E_j=\emptyset</math> for <math>i\ne j</math>
| |
| | |
| * If <math>x\in \operatorname{Int} E_i</math> and <math>\phi(x)\in \operatorname{Int} E_j</math>, then
| |
| | |
| ::<math>\phi\left[W_u(x)\cap E_i\right] \supset W_u(\phi x) \cap E_j </math>
| |
| | |
| ::<math>\phi\left[W_s(x)\cap E_i\right] \subset W_s(\phi x) \cap E_j </math> | |
| | |
| Here, <math>W_u(x)</math> and <math>W_s(x)</math> are the unstable and [[stable manifold]]s of ''x'', respectively, and <math>\operatorname{Int} E_i</math> simply denotes the interior of <math>E_i</math>.
| |
|
| |
| These last two conditions can be understood as a statement of the [[Markov property]] for the symbolic dynamics; that is, the movement of a trajectory from one open cover to the next is determined only by the most recent cover, and not the history of the system. It is this property of the covering that merits the 'Markov' appellation. The resulting dynamics is that of a [[Markov shift]]; that this is indeed the case is due to theorems by [[Yakov Sinai]] (1968){{citation needed|date=December 2010}} and [[Rufus Bowen]] (1975),<ref name=PF208>Pytheas Fogg (2002) p.208</ref> thus putting symbolic dynamics on a firm footing.
| |
| | |
| Variants of the definition are found, corresponding to conditions on the geometry of the pieces <math>E_i</math>.<ref name=PF206>Pytheas Fogg (2002) p.206</ref>
| |
| | |
| == Examples ==
| |
| Markov partitions have been constructed in several situations.
| |
| | |
| * [[Anosov diffeomorphism]]s of the [[torus]].{{citation needed|date=December 2010}}
| |
| * [[Dynamical billiards]], in which case the covering is countable.{{citation needed|date=December 2010}}
| |
| | |
| Markov partitions make [[homoclinic]] and [[heteroclinic orbit]]s particularly easy to describe.{{citation needed|date=December 2010}}
| |
| | |
| == References ==
| |
| {{reflist}}
| |
| * {{cite book | first1=Douglas | last1=Lind | first2=Brian | last2=Marcus | title=An introduction to symbolic dynamics and coding | publisher=[[Cambridge University Press]] | year=1995 | isbn=0-521-55124-2 | zbl=1106.37301 | url=http://www.math.washington.edu/SymbolicDynamics/ }}
| |
| * {{cite book | last=Pytheas Fogg | first=N. | others=Editors Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, A. | title=Substitutions in dynamics, arithmetics and combinatorics | series=Lecture Notes in Mathematics | volume=1794 | location=Berlin | publisher=[[Springer-Verlag]] | year=2002 | isbn=3-540-44141-7 | zbl=1014.11015 }}
| |
| | |
| {{DEFAULTSORT:Markov Partition}}
| |
| [[Category:Dynamical systems]]
| |
| [[Category:Symbolic dynamics]]
| |
| [[Category:Diffeomorphisms]]
| |
| [[Category:Markov models]]
| |
Hi there, I am Alyson Pomerleau and I believe it sounds quite good when you say it. For a whilst I've been in Mississippi but now I'm considering other options. Office supervising is where her primary income arrives from. To perform lacross is one of the issues she enjoys most.
Feel free to visit my homepage :: real psychic, article-galaxy.com,