Expansive systems
| Jorge Lewowicz and Marcelo Cerminara (2008), Scholarpedia, 3(12):2927. | doi:10.4249/scholarpedia.2927 | revision #91247 [link to/cite this article] |
A discrete invertible (the case we shall mainly refer to) expansive system is a
dynamical system such that every point of the underlying space has a distinctive behaviour. A homeomorphism \(f\)
from the compact metric space \(M\) onto \(M\) is expansive if there exists \(\alpha >0\ ,\) (called expansivity constant of
\(f\)) such that if \(x,y\in M\) and \(dist(f^{n}(x),f^{n}(y))\leq \alpha\) for every \(n\in Z\) then, \(x=y\ .\)
Thus, if \(x\neq y\ ,\) then for some \(n,\) \(dist(f^{n}(x),f^{n}(y))>\alpha .\)
Expansive systems are then wholly sensitive to initial conditions and therefore, in this sense, chaotic.
Assume the dynamics of \(f\) is observed with a precision that permits to distinguish points at a distance larger than \(\alpha ,\) meanwhile, points at a distance less than \(\delta >0,\) \(\delta <<\alpha,\) are not distinguished. Then, a \(\delta\)-small neighbourhood of, say, \(x\in M\) with infinite points, will be seen -at present- as only one point. However, for some \(n\in Z\ ,\) the \(n\)-iterate through \(f\) of this point, will show many of them, since points at a distance larger than \(\alpha\) are distinguished by the observer (see [B]).
Since \(M\) is compact, on account of the expansiveness of \(f,\) it is not difficult to show that given a \(\delta\) like in the preceding paragraph, \(\delta <\alpha /2\ ,\) there is a \(C^{0}-\)neighbourhood \(N\) of \(f\ ,\) such that if \(g\in N\ ,\) and \(dist(g^{n}(x),g^{n}(y))\leq \alpha \) for every \(n\in Z,\) then \(dist(g^{n}(x),g^{n}(y))\leq \delta\) for all \(n\in Z.\) Therefore the relation \(\mathcal{R}_{\delta }=\{(x,y)\in M\times M:dist(g^{n}(x),g^{n}(y))\leq \delta ,\;\;n\in Z\} \) is an equivalence relation on \(M,\ .\) The canonical projection \(\pi:M\to M/\mathcal{R}_{\delta }\) is closed and consequently \(M/\mathcal{R}_{\delta }\) is a Hausdorff compact topological space and therefore the \(M/\mathcal{R}_{\delta }\) is a compact metrizable space, and \(g^{\ast }: M /\mathcal{R}_{\delta }\rightarrow M /\mathcal{R}_{\delta }\) defined by \(g^{\ast }(\pi (x))=\pi (g(x))\ ,\) is an expansive homeomorphism of \(M/ \mathcal{R}_{\delta }.\)
Again, an observer that can not distinguish points at a distance less than \(\delta \) will see the motion as taking place in \(M/ \mathcal{R}_{\delta }\) (instead of \(M\)) under the action of \(g^{\ast }\ .\)
Clearly, homeomorphisms conjugate to an expansive one, are also expansive.
Contents |
Examples
The shift
Consider \(\ 2^{Z}=\left\{ \left( a_{n}\right) :a_{n}=0\text{ or }1,n\in Z\right\}\) and the distance\[dist(( a_{n}) ,( b_{n}) )=\sum_{-\infty }^{\infty }| a_{n}-b_{n}| 2^{-| n| }\]
With this metric, which induces the product toplogy, \(2^{Z}\) is compact. Let \(\sigma :2^{Z}\rightarrow 2^{Z}\) be defined by \(\sigma (a_{n})=(b_{n}),\) where \(b_{n}=a_{n-1}\ .\) \(\sigma\) is the usual shift homeomorphism. If \((a_{n}) \neq ( b_{n})\) then, for some \(K\in Z,a_{K}\neq b_{K}\ ,\) and , therefore
\(dist(\sigma ^{K}(( a_{n})) ,\sigma ^{K} ((b_{n})) )\geq 1,\)
showing that the shift is an expansive homeomorphism.
The Denjoy map
Take a rotation of \(S^{1}\) by an angle \(2\pi \alpha\ ,\)
where \(\alpha\) is irrational, and replace the points of a dense orbit, say \(\left\{ x_{n},n\in Z\right\}\ ,\)with arcs of diameter decreasing with \(| n|\) in order to get a new space also homeomorphic to \(S^{1}\ .\) The Denjoy map, \(f\ ,\) may be defined by assigning to each point not
on the added arcs, the former image under the rotation, and mapping (length) linearly the arc replacing \(x_{n}\) onto the one replacing \(x_{n+1},n\in Z\ .\) It is easy to see that this map is a homeomorphism of \(S^{1}\ ,\) and that the set \(D\) of points not lying in the interior of the added arcs is compact and invariant under the Denjoy map (in fact this set is homeomorphic to the Cantor set). A non-trivial arc whose end points lie on this set contains some of the added arcs, and, consequently, some iterate of this arc will include the one replacing \(x_{0}\) of diameter, say \(d\ .\) Thus, \(d\) will be an expansivity constant for the restriction of \(f\) to \(D\ .\)
Anosov and quasi-Anosov diffeomophisms.
Let \(f\) be a diffeomorphism of a compact, Riemannian, smooth manifold \(M\) onto itself; \(f\) is Anosov if there exitsts \(L>0,0<\lambda <1\ ,\) and continuous non trivial \(Tf\) invariant sub-bundles \(S,U\) of \(TM,\ ,\) such that \(S\oplus U=TM\ ,\) \(\left\| Tf^{n}(s)\right\| \leq L\lambda ^{n}\) for \(s\in S,n\geq 0\ ,\) and \(\| Tf^{-n}(u)\| \leq L\lambda ^{n}\) and \(u\in U,n\geq 0\ .\)
If \(A\) is a compact \(f\)-invariant subset of \(M\) and the above decomposition holds on \(A\ ,\) \(A\) is called a hyperbolic set. The restriction \(f|A\ ,\) of \(f\) to a hyperbolic set \(A\) is also expansive. Anosov difeeomorphisms may also be characterized in a different way (see [L1]). Let \(B:TM\rightarrow R\) be a continuous quadratic form, i.e, \(B_{x}=B|T_{x}M\) is a quadratic form on the vector space \(T_{x}M\) that depends continuously on \(x\in M\ .\) A diffeomorphism \(f:M\rightarrow M\) is quasi-Anosov if there exists such a \(B\) with the property \(B_{f(x)}((Tf)_{x}(v))-B_{x}(v)>0,\) for every \(x\in M\ ,\) and each \(v\in T_{x}M,\| v\| \neq 0\ .\) A diffeomorphism \(f\) is Anosov if and only if it is quasi-Anosov and \(B_{x}\) is non-degenerate for all \(x\in M\ .\) There are quasi-Anosov diffeomorphisms that fail to be Anosov (see [FR], the examples in this paper have a strange attractor and a strange repeller [M] and the motion of most points evolves to the attractor and comes from the reppeller). This characterization of quasi-Anosov (Anosov) diffeomorphisms permits to conclude the existence of a \(C^{1}\) neighbourhood of \(f\) such that any finite composition of diffeomorphisms in that neighbourhhod is also quasi-Anosov (Anosov). We shall see below that Anosov and quasi-Anosov diffeomorphisms (and hyperbolic sets) are expansive.
Pseudo-Anosov homeomorphisms.
Let \(f\) be a homeomorphism of an oriented
compact surface \(M\) of genus larger than 1 onto itself. The map \(f\) is pseudo-Anosov if there exist two \(f\)-invariant, transversal foliations with singularities
(see figure 1) \(W^{S},W^{U},\) and also two transversal measures \(\mu _{S},\mu _{U}\) (defined on the space of (stable, unstable) leaves of \(W^{S},\) respectively \(W^{U}\)) and \(\lambda >1\) such that \(f^{\ast }(\mu
_{U})=\lambda \mu _{U}\) and \(f^{\ast }(\mu _{S})=\lambda ^{-1}\mu _{S}\ .\)
The existence and expansivity of these homeomorphisms is proved in [T], [FLP].
Another example.
Let \(f:T^{2}\rightarrow T^{2}\) be defined by
\(\tag{1} f(x,y)=(2x+y-\frac 12\pi c\sin (2\pi x),\;x+y-\frac 12\pi c\sin (2\pi x)).\)
For \(0\leq c<1,\) \(f\) is Anosov (for \(c=0\) \(f\) is linear), but for \(c=1\ ,\) \(f\)
is expansive but is neither Anosov nor quasi-Anosov since \(Tf_{0}\) has no non-trivial invariant subspaces.
General Properties.
Question: Why not to define expansivity only for the future?
Answer:
Theorem [U]. Let \(M\) be a compact metric space and \(f:M\rightarrow M\) be an homeomorphism such that there is \(\alpha >0\) with the property that for \(x,y\in M,x\neq y,\) \(dist(f^{n}(x),f^{n}(y))>\alpha \) for some \(n\geq 0\ .\) Then, \(M\) is finite.
Stable (unstable) sets
Let \(f:M\rightarrow M\) be a homeomorphism; for \(x\in M\ ,\) the stable set of \(x\) is
\(W^{S}(x)=\{ y\in M:dist(f^{n}(x),f^{n}(y))\rightarrow 0 \mbox{ if } n\rightarrow +\infty \} ,\) and the unstable set is
\(W^{U}(x)=\{ y\in M:dist(f^{n}(x),f^{n}(y))\rightarrow 0 \mbox{ if } n\rightarrow -\infty \} .\)
The local stable (unstable) sets of \(x,\) are defined as follows: given \(\varepsilon >0,\) \(W_{\varepsilon }^{S}(x)=\left\{ y\in M:dist(f^{n}(x),f^{n}(y))\leq\varepsilon ,n\geq 0\right\}\) \(W_{\varepsilon }^{U}(x)=\left\{ y\in M:dist(f^{n}(x),f^{n}(y))\leq \varepsilon ,n\leq 0\right\}\)
Let now \(f\) be expansive. May the stable set contain a neighbourhood of \(x\) for every \(\varepsilon >0\ ?\) In other words : may \(x\) be Lyapunov stable in the future? The answer is yes; it is easy to find a shift invariant subset of \(2^{Z}\) for which \(0\) is Lyapunov stable in the future. Nevertheless,
Theorem [L2 ]. If \(M\) is locally connected there are no stable points (either in the future or in the past).
Corollary. If \(M\) is locally connected, for every \(\varepsilon >0,\) there is \(r>0\ ,\) such that for every \(x\in M\ ,\) \(W_{\varepsilon }^{S}(x)\) and \(W_{\varepsilon }^{U}(x)\) contain a compact connected set of diameter larger than \(r\ .\)
(Compare with the Denjoy map \(f|D\ ;\) for points not lying on the added arcs the local stable (unstable) sets are trivial.)
Application. There are no expansive homeomorphisms of \(S^{1}.\)
Proof: Assume by contradiction that there exist an expansive homoemorphism on \(S^1\ .\) Then by the previous Corollary there are non-trivial stable open sets (a connected set of \(S^1\) contains an open arc) and every point of it is a stable point, in contradiction with the above Theorem.
Expansiveness and Lyapunov Functions.
Theorem [L1]. Let \(f\) be a homeomophism of \(M\ ,\) then \(f\) is expansive if and only if there exist a neighbourhood \(N\) of the diagonal in \(M\times M\) and a real continuous function \(V\) (Lyapunov) defined on \(N\ ,\) vanishing on the diagonal and such that for \((x,y)\in N,x\neq y,\) \(V(f(x),f(y))-V(x,y)>0.\)
In order to proof expansivity for Anosov and quasi-Anosov diffeomorphisms, the quadratic form \(B\) mentioned in the section Anosov and quasi-Anosov diffeomorphisms, can be used to construct a Lyapunov function. In fact, for \(y\) close to \(x\ ,\) the Lyapunov function is \(V(x,y)=B_{x}(u)\ ,\) where \(\exp _{x}(u)=y\ .\) The expansivity of pseudo-Anosov maps may be shown also using Lyapunov functions [L2]. For the examples in (Figure 3), choose
\(V(x,y)=V((x_{1},x_{2}),(y_{1},y_{2}))=(y_{1}-y_{2})((x_{1}-y_{1})-(x_{2}-y_{2})).\)
On Surfaces.
Classification Theorem ([Hi], [L3]). Let \(f\) be an expansive homeomorphism of a compact connected oriented boundaryless surface \(M\ .\) Then,
- \(S^{2}\) does not support such a homeomorphism,
- if \(M=T^{2},\) \(f\) is conjugate to an Anosov diffeomorphism
- if the genus of \(M\) is larger than 1, then \(f\) is conjugate to a pseudo-Anosov homeomorphism.
(\(T^{2}\) is the unique surface that supports Anosov diffeomorphisms.)
Those properties are consequences of the description of the local stable (unstable) sets of \(f\ .\)
Usually, the study of local stable (unstable) sets are made on the basis of strong assumptions on the dynamics of \(Tf\ ,\) as for Anosov diffeomorphisms, hyperbolic sets, etc. In our case, even for expansive diffeomorphims, we only have the dialogue between the topology of \(M\) and the dynamics of \(f\ .\) Nevertheless, after showing the local connectedness of the connected component containing \(x\) of \(W_{\varepsilon}^{S}(x)(W_{\varepsilon }^{U}(x))\) the following theorem is proved.
Theorem. For \(x\in M,\; W_{\varepsilon }^{S}(x)(W_{\varepsilon }^{U}(x))\) is the union of a finite number \(r\) of arcs, \((r\geq 2)\) that meet only at \(x\ .\) Stable (unstable) sectors (the sets limited by two consecutive stable (unstable) arcs) are separated by unstable (resp. stable) arcs. If at \(x \in M\ ,\) \(r\geq 3\ ,\) \(x\) is called a singular point; the set of singular points is finite.
When \(r=2\ ,\) as it is always the case for Anosov diffeomorphisms, \(x\) has a neighbourhood \(N\) such that if \(y\) and \(z\) belong to \(N\ ,\) \(W_{\varepsilon }^{S}(y)\cap W_{\varepsilon }^{U}(z)\) is not void. This is not the case for singular points (see figure 2).
Now a very brief mention of some steps of the proof of the Classification Theorem is given. For \(r\geq2\ ,\) if \(y\) and \(z\) lie in a sector then \(W_{\varepsilon }^{S}(y)\) and \(W_{\varepsilon }^{U}(z)\) meet only once. The set of these intersections includes, by the Theorem of invariance of domain, a neighbourhood of \(x\) in the sector (local product structure). This implies that singular points can not accumulate and then, their number is finite. Let now \(M^{\ast }\) be the universal cover of \(M\ .\) It is not difficult to show that the lifting to \(M^{\ast }\) of a stable or an unstable set is closed and that the union of the lifting of a stable arc and an unstable one can not be homeomorphic to \(S^{1}\ .\)
If \(S^{2}\) supported an expansive homemorphism, and \(W^{S}(x)\) does not contain singular points, it is homeomorphic to \(S^{1}\ ,\) and this in turn, implies the existence of stable points; a contradiction.
That expansive homeomorphisms \(f\) of surfaces of genus \(\geq 1\ ,\) are conjugate to Anosov or to pseudo-Anosov maps follows from the following two Lemmas.
Lemma An expansive homeomorphism \(f\) on a surface \(M\) of genus \(\geq 1\) is isotopic to an Anosov (if \(M=T^2\)) or to a pseudo-Anosov map (genus \(\geq 1\)).
Proof. It follws from [L3] on account of Thurston's results [T].
Definition. Let \(f,g\) be homeomorphisms of the compact metric space \(M\ ;\) \(f\) is semi-conjugate to g if there exists \(h:M\rightarrow M\) continuous and surjective, such that \(h\circ f=g\circ h\ .\)
Lemma If the expansive homeomorphism \(f\) of the surface \(M\) is isotopic to an Anosov diffeomorphism, or to a pseudo-Anosov homeomorphism \(g\ ,\) then \(f\) is semi-conjugate to \(g\)
Proof. See [F], [L3].
In both cases, \(h^*:M^*\to M^*\ ,\) a lifting of the semi-conjugacy \(h\) is a proper map, and this fact is an essential tool to prove that the semi-conjugacy is, actually, a conjugacy.
Higher Dimension.
Consider now expansive homeomorphisms \(f\) defined on compact boundaryless manifolds \(M\) of dimension larger than 2. In the case of surfaces, it follows from the Classification theorem that periodic points are dense on the surface, and , moreover, that on an open and dense set, \(r=2\ .\) Thus for points \(x\) in that set, \(W_{\varepsilon }^{S}(x)\) includes a topological 1-dimensional manifold and \(W_{\varepsilon }^{U}(x)\) another such manifold, topologically transversal to the first one at \(x\ .\) The results concerning \(dim M\geq 3\) assume the existence of a dense set of periodic points \(p\) such that \(W_{\varepsilon }^{S}(p)\) contains a topological manifold of dimension \( d,\;1\leq d<\dim M\ ,\) and \(W_{\varepsilon }^{U}(p)\) a manifold of complementary dimension, topologically transversal to \(W_{\varepsilon }^{S}(p)\) at \(p\ .\) Points \(x\) with such a behaviour of \(W_{\varepsilon }^{S}(x)\) and \(W_{\varepsilon }^{U}(x)\) are called topologically hyperbolic.(This is the case for Anosov diffeomorphisms at every \(x\in M\)).
Theorem([ABP], [V1], [V2]). Let \(f\) be an expansive homeomorphism of \(M\) with a dense set of topologically hyperbolic periodic points. Then there is an open and dense set with local product structure. Furthermore if \(\dim M\geq 3,\) and for some topologically hyperbolic periodic point \(p\ ,\) either \(W_{\varepsilon }^{S}(p)\) or \(W_{\varepsilon }^{U}(p)\) is one-dimensional, \(M\) is a torus and \(f\) is conjugate to a linear Anosov diffeomorphism.
Therefore, in this case, in contrast with what happens for surfaces, there are no singularities. This is, essentially, a consequence of the fact that if \(\dim M\geq 3\ ,\) say, \(W_{\varepsilon }^{S}(p)\) separates small balls centered at \(p\ ,\) meanwhile \(W_{\varepsilon }^{U}(p)\) does not. Of course, if we do not assume that one of this dimensions is one, the result is false: take the product of two pseudo-Anosov maps.
\(C^{0}\)-perturbations of expansive systems.
Let \(f\) be a homeomorphism of a compact metric space \(M\) onto itself.
a) Persistence.
\(f\) is persistent if for any \(\varepsilon >0\) there exists a \(C^{0}\)-neighbourhood \(N\) of \(f\) such that for \(g\in N\) and \(x\in M\ ,\) there exists \(y\in M\) with the following property. \(dist(f^{n}(x),g^{n}(y))\leq \varepsilon ,\;\;n\in Z\)
b) Topological Stability
\(f\) is topologically stable if for \(\varepsilon >0\ ,\) there exists,\(N\ ,\) a \(C^{0}-\)neighbourhood of \(f\ ,\) such that any \(g\in N\) is semi-conjugate to \(f\) (see 4)) and \(dist(x,h(x))<\varepsilon\ .\)
c) Shadowing Property
A \(\delta\) pseudo-orbit for \(f\) is a sequence \(\{ x_{n}:n\in Z\}\) such that \(dist(f(x_{n}),x_{n+1})<\delta\ ,\) \(n\in Z\ .\) Such a pseudo-orbit is \(\varepsilon\) shadowed if there is \(y\in M\) such that \(dist(x_{n},f^{n}(y))\leq \varepsilon ,n\in Z.\)
Clearly b) implies a) since the semi-conjugacy \(h\) is surjective, but a) does not imply b). All three properties are invariant under conjugacy. Anosov diffeomorphisms satisfy b) ([W1]) and, since because of the classification theorem, every expansive homeomorphism of \(T^{2}\) is conjugate to an Anosov, then all expansive homeomorphisms of \(T^{2}\) sastisfy b). A pseudo-Anosov homeomorphism \(f\) satisfies a) (see [H]) but not b); because, according to [W2], for expansive systems b) is equivalent to c) and figure 3 shows an \(f\) pseudo-orbit shadowed by no \(f\)-trajectory; thus \(f\) does not satisfy c).
The quasi-Anosov diffeomorphisms are not even persistent. However each semi-trajectory is persistent : given \(x\in M\ ,\) and \(\varepsilon >0\) there is, \(N_{x}\ ,\) a \(C^{0}\)-neighbourhood of \(f\) such that for any \(g\in N_x,\) there is \(y\in M\ ,\) with the property \(dist(f^{n}(x),g^{n}(y))\leq \varepsilon,\;\;n\geq 0.\)
This is the \(f\) persistence of \(x\) in the future. We define similarly persistence in the past. A point \(x\) could be \(f\) persistent in the future and in the past without being persistent on both sides. This is the case of many points in a quasi-Anosov diffeomorphism. An open question is: are all the semi-trajectories of an expansive system persistent?
Links with the tangent map.
Let \(M\) be a compact boundaryless smooth manifold, and let \(E\) be the set of all expansive diffeomorphisms of \(M\ .\)
Theorem [Ma]. The \(C^{1}\)-interior of \(E\) is the set of quasi-Anosov diffeomorphisms of \(M\ .\)
On surfaces , quasi- Anosov diffeomorphisms are Anosov, and since in case \(M\) has genus larger than 1, \(M\) does not support Anosov diffeomorphisms, the interior mentioned in the theorem, is, in this case, void. Thus, there are expansive diffeomorphisms which are not approximated by Anosov . Consider now the case \(M=T^{2}\ ,\) where we do have Anosov diffeomorphisms. Since every expansive homeomorphism \(f\)is conjugate to a linear Anosov diffeomorphism \(l\ ;\) \(f=hlh^{-1}\) and according to [Mu] \(h\) may be \(C^{0}\)-approximated by a diffeomorphism \(g\) it follows easily, as \(glg^{-1}\) is Anosov, that \(f\) has arbitrarily \(C^{0}\)-close Anosov diffeomorphisms. However, it is not known, whether the \(C^{1}\)-closure of the \(C^{1}\)-interior of the expansive diffeomorphisms of \(T^{2}\) includes all the expansive diffeomorphisms of the 2-torus. In other words: Is every expansive diffeomorphism the \(C^{1}\)-limit of Anosov diffeomorphisms? On the other hand , according to the results in [K], it is possible to conclude that such an expansive diffeomorphism has a dense set of periodic hyperbolic points.
Expansive flows
We consider flows with no equilibrium points. Such a flow \(\varphi _{t}:M\rightarrow M,t\in R,\) is expansive if there exist \(\alpha ,\sigma >0,\) such that if \(x,y\in M,\) and \(dist(\varphi _{t}(x),\varphi _{\tau (t)}(y))\leq \alpha\) for every \(t\in R,\) then \(y=\varphi _{t_{0}}(x)\) for some \(t_{0},0\leq \left| t_{0}\right| \leq \sigma\ .\) Here \(\tau :R\rightarrow R\) is a re-parametrization of the flow through \(y\ ,\) i.e, a surjective homeomorphism with \(\tau (0)=0\ .\) This definition is somewhat more complicated than the one for discrete expansive systems as a consequence of the fact that we ask for geometric (instead of kinematic) separation. Important examples of expansive flows are geodesic flows on compact smooth Riemannian manifolds of negative curvature.
We mention below a short list of papers concerning expansive flows:
- R. Bowen, P. Walters. On expansive one-parameter flows. J. Diff Eq. 12(1972) 180-193
- M. Brunella. Expansive flows on Seifert manifolds and on Torus bundles.Bol. Soc. Brasil. Mat. (N.S.) 24(1993),89-104
- M. Brunella. Surfaces of section for expansive flows on three-manifolds.J.Math.Soc.Japan 47(1995), 491-501
- K. Moriyasu, K. Sakai, W. Sun. \(C^{1}-\)stably expansive flows. J. Differential Equations 213(2005) 352-367.
- J. Lewowicz. Lyapunov functions and Stability of Geodesic Flows. Springer Lecture Notes in Math. 1007(1981),463-480.
- M. Paternain. Expansive flows and the fundamental group. Bol.Soc.Brasil. Mat.(N.S.)24(1993), 179-199
- M. Paternain. Expansive geodesic flows on surfaces. Ergodic Theory Dynam. Systems 13(1993),153-165
- R. Ruggiero, V. Rosas. On the Pesin set of expansive geodesic flows in manifolds with no conjugate points Bol.Soc. Brasil. Mat. (N.S.)34(2003), 263-274
- R. Ruggiero. The accessibility property of expansive geodesic flows without conjugate points. Ergodic Theory Dynam. Systems 28(2008), 229-244.
Non-invertible expansive maps
This section refers to continuous maps \(f\) of a compact metric space \(M\) to itself that are not necessarily one-to-one. For those maps, a natural analogue to the notion of expansiveness is positive expansiveness.
A map \(f\) is positively expansive if \(dist(f^{n}(x),f^{n}(y))\leq \alpha \; ;n\geq 0\ ,\) implies \(x=y\ .\) A simple example of such a map is \(f:S^{1}\rightarrow S^{1};\ ,\) \(f(z)=z^{n},\) \(n>1,\) where \(S^{1}\) is the set of complex numbers \(z\) of modulus 1.
As in the preceding section we mention a short list of papers concerning, mainly, positively expansive maps.
- E.Coven and W. Reddy. Positively expansive maps on compact manifolds. Lecture notes in Math 819, Springer Verlag, 1980, 96-110
- K. Hiraide. Positively expansive open maps of Peano spaces, Topology and its Appl. 37 (1990), 213-220
- K. Hiraide. Nonexistence of positively expansive maps on compact connected manifolds with boundary, Proc. Amer. Math.Soc. 110 (1990), 565-568
- M.Nasu. Endomorphisms of Expansive systems on compact metric spaces and the pseudo-orbit tracing property. Trans. of the Am. Math Soc. 352(2000),10, 4731-4757
- W. Reddy. Expanding maps on compact metric spaces. Toplogy and its Appl. 13 (1982) 327-334
- D. Richeson and J. Wiseman. Positively expansive dynamical systems. Topology and its Appl. 154(3), (2007), 604-613
- M.Shub. Endomorphisms of compact differentiable manifolds. Amer. J. Math 91 (1969), 175-199.
References
[ABP] A. Artigue, J. Brum, R. Potrie. Local product structure for expansive homeomorphisms. Toplogy and its Applications, (2008) (To appear).
[B] J.L. Borges. Tigres azules. Obras Completas (3). Emece Editores (1989), 381-388
[FLP}] A. Fathi, F. Laudenbach, V. Poenaru. Travaux de Thurston sur les surfaces. Asterisque (1979)66-67
[F] J. Franks. Anosov Diffeomorphisms.Proceedings of the Symposium in pure mathematics. 14(1970), 61-94
[F,R}] J. Franks, C. Robinson. A quasi-Anosov diffeomorphism that is not Anosov. Trans. Am. Math.Soc. 283(1976), 267-278.
[H] M. Handel. Global Shadowing of pseudo-Anosov diffeomorphisms. Ergodic Theory Dynam. Systems 5(1985)373.377
[Hi] K. Hiraide. Expansive diffeomorphisms of surfaces are pseudo-Anosov. OsakaJ. Math.27(1990), 117-162.
[K] A. Katok. Lyapunov exponents, entropy and periodic orbits of diffeomorphisms. Publ. Marh. IHES 51 (1980).
[L1] J. Lewowicz. Lyapunov functions and Topological Stability. Journal of Diff. Equations. 38(1980) 192-209.
[L2] J. Lewowicz. Persistence in expansive systems. Ergodic Theory Dynam. Systems 3(1983), 567-578.
[L3] J. Lewowicz. Expansive Homeomorphisms of surfaces.Bol. Soc. Bras. Math. 20(1989), 113-133.
[Ma] R. Mañe. Expansive Diffeomorphisms. Lecture Notes in Math.468 (1975), 162-174
[Mu] J. Munkres. Obstructions to the smoothing of piece-wise differentiable homeomorphisms. Ann. of Math. 72(3)(1960), 521-554
[T] W. Thurston. On the geometry and dynamics of diffeomorphisms of surfaces. Bull. Am. Math. Soc. 19 (1988), 417-431
[U] W. Utz. Unstable homeomorphisms. Proc. Am. Math. Soc. 1(1950), 769-774
[V1] J. Vieitez.Three Dimensional expansive homeomorphisms. Pitman Research Notes in Math.285(1993),299-323.
[V2] J. Vieitez. Expansive homeomorphisms and hyperbolic diffeomorphisms on three manifolds. Ergodic Theory Dynam. Systems 16(1996), 591-622.
[W1] P. Walters. Anosov diffeomorphisms are topologically stable.Topology 9(1970), 71-78
[W2] P. Walters. On the pseudo-orbit tracing property and its relation to stability. Lecture Notes in Math. 668 (1978), 231-244.
Internal references
- John W. Milnor (2006) Attractor. Scholarpedia, 1(11):1815.
- Yuri A. Kuznetsov (2007) Conjugate maps. Scholarpedia, 2(12):5420.
- James Meiss (2007) Dynamical systems. Scholarpedia, 2(2):1629.
- Eugene M. Izhikevich (2007) Equilibrium. Scholarpedia, 2(10):2014.
- Boris Hasselblatt and Yakov Pesin (2008) Hyperbolic dynamics. Scholarpedia, 3(6):2208.
- Philip Holmes and Eric T. Shea-Brown (2006) Stability. Scholarpedia, 1(10):1838.
Internal Reference
[M] J. Milnor. Attractor. Scholarpedia 1(11):1815 (2006),1-9.
Recommended reading
- A. Katok, B. Hasselblatt. Introduction to the Modern theory of Dynamical Systems. Encyclopedia of Mathematics and its Applications, 54. Cambridge University Press, Cambridge, 1995. ISBN: 0-521-34187-6
- J. Milnor. Dynamical Lectures. (These are not finished notes)
