How roundoff errors help to compute the rotation set of torus homeomorphisms
The goals of this paper are to obtain theoretical models of what happens when a computer calculates the rotation set of a homeomorphism, and to find a good algorithm to perform simulations of this rotation set. To do that we introduce the notion of observable rotation set, which takes into account the fact that we can only detect phenomenon appearing on positive Lebesgue measure sets; we also define the asymptotic discretized rotation set which in addition takes into account the fact that the computer calculates with a finite number of digits
It appears that both theoretical results and simulations suggest that the asymptotic discretized rotation set is a much better approximation of the rotation set than the observable rotation set, in other words we need to do coarse roundoff errors to obtain numerically the rotation set.
Key words and phrases:Rotation set, computation, generic homeomorphism
2010 Mathematics Subject Classification:37M05, 37M25, 37E45, 37A05
In 1885 in [Poi85], H. Poincaré introduced one of the first dynamical invariants, the rotation number for orientation preserving homeomorphisms of the circle. This definition led him to the theorem of classification: every orientation-preserving homeomorphism of the circle of irrational rotation number is semi-conjugate to the rigid rotation of angle . Ever since, considerations about the rotation number have helped us to improve our knowledge about the dynamical behaviour of circle homeomorphisms (see for example [Her79]).
About a century after was introduced a generalisation to dimension 2 of this rotation number, the rotation set for homeomorphisms of the torus. Due to the loss of natural order on the phase space, there is no longer a single speed of rotation for orbits; informally the rotation set is then the set of all possible rotation speeds of all possible orbits. Like in dimension 1 this topological invariant gives precious informations about the dynamics of the homeomorphism. For example, depending of the shape of this set we can ensure the existence of periodic points ([Fra88], [Fra89]). Moreover, the size of this convex set gives lower bounds on the topological entropy of the homeomorphism ([LM91], [Kwa93] for an explicit estimation)…
The aim of this paper is to tackle the question of numerical approximation of the rotation set: given a homeomorphism of the torus homotopic to the identity, is it possible to compute numerically its rotation set? In particular, is it possible to detect its dimension? Is it possible to approximate it in Hausdorff topology?
First of all, we build a theoretical model of what happens when we try to calculate the rotation set of an homeomorphism with a computer. To do that, we first have to take into account the fact that the computer can calculate only a finite number of orbits; in particular it will detect only phenomenon that occur on positive Lebesgue measure sets. This leads to the notion of observable rotation set: a rotation vector is called observable if it is the rotation vector of an observable measure in the sense given by E. Catsigeras and H. Enrich in [CE11]; more precisely a measure is observable if for every , the set of points which have a Birkhoff limit whose distance to is smaller than has positive Lebesgue measure (see Definition 5).
But this notion of observable measure does not take into account the fact that the computer uses finite precision numbers and can calculate only finite length orbits; it leads to the definition of the asymptotic discretized rotation set in the following way. We fix a sequence of finite grids on the torus with precision going to 0; the discretized rotation set on one of these grids is the collection of rotation vectors of periodic orbits of the discretization of the homeomorphism on this grid (see Section 4); the asymptotic discretized rotation set is then the upper limit of these discretized rotation sets on the grids.
We focused mainly on the generic behaviour
For a generic dissipative homeomorphism, the observable rotation set is the closure of the set of rotation vectors corresponding to Lyapunov stable periodic points (Lemma 18). Then, the convex hull of the observable rotation set, the convex hull of the asymptotic discretized rotation set and the rotation set are equal. Moreover if the rotation set has nonempty interior there is no need to take convex hulls, i.e. the observable rotation set coincides with the asymptotic discretized rotation set and the rotation set (Propositions 17 and 22).
Thus, it is possible to obtain the rotation set of a generic dissipative homeomorphism from the observable or the asymptotic discretized rotation set. In other words, from the theoretical point of view, it is possible to recover numerically the rotation set of a generic homeomorphism. We now present the results in the conservative setting.
For a generic conservative homeomorphism (i.e. which preserves Lebesgue measure), we give a proof that the rotation set has nonempty interior (Proposition 3). Then, for a generic conservative homeomorphism, the observable rotation set consists in a single point: the mean rotation vector (Proposition 20). On the other hand the asymptotic discretized rotation set coincides with the rotation set (Corollary 24).
These results suggest the quite surprising moral that to recover the rotation set of a conservative homeomorphisms it is better to do coarse roundoff errors at each iteration. More precisely, if we compute a finite number of orbits with arbitrarily good precision and long length we will find only the mean rotation vector of the homeomorphism, but if we make roundoff errors while computing we will be able to retrieve the whole rotation set.
We have performed numerical simulations to see whether these behaviours can be observed in practice or not. To obtain numerically an approximation of the observable rotation set, we have calculated rotation vectors of long segments of orbits for a lot of starting points, these points being chosen randomly fore some simulations and being all the points of a grid on the torus for other simulations. For the numerical approximation of the asymptotic discretized rotation set we have chosen a fine enough grid on the torus and have calculated the rotation vectors of periodic orbits of the discretization of the homeomorphism on this grid.
We have chosen to make these simulations on an example where the rotation set is known to be the square . It makes us sure of the shape of the rotation set we should obtain numerically, however it limits a bit the “genericity” of the examples we can produce.
In the dissipative case we made attractive the periodic points which realize the vertex of the rotation set . It is obvious that these rotation vectors, which are realized by attractive periodic points with basin of attraction of reasonable size, will be detected by the simulations of both observable and asymptotic discretized rotation sets; that is we observe in practice: we can recover quickly the rotation set in both cases.
In the conservative setting we observe more or less the surprising behaviour predicted by the theory: when we compute the rotation vectors of long segments of orbits we obtain mainly rotation vectors which are quite close to the mean rotation vector, in particular we do not recover the initial rotation set. More precisely, when we perform simulations with less than one hour of calculus we only obtain rotation vectors close to the mean rotation vector, and when we let three hours to the computer we only recover one vertex of the rotation set . On the other hand, the rotation set is detected very quickly by the convex hulls of discretized rotation sets (less than one second of calculus). Moreover, when we calculate the union of the discretized rotation sets over several grids to obtain a simulation of the asymptotic discretized rotation set, we obtain a set which is quite close to for Hausdorff distance. As for theoretical results, this suggests the following lesson:
When we compute segments of orbits with very good precision it is very difficult to recover the rotation set. However, when we decrease the number of digits used in computations we can obtain quickly a very good approximation of the rotation set. In fact, we have to adapt the precision of the calculus to the number of orbits we can obtain numerically.
This phenomenon can be explained by the fact that each grid of the torus is stabilized by the corresponding discretization of the homeomorphism. Thus, there exists an infinite number of grids such that every periodic point of the homeomorphism is shadowed by some periodic orbits of the discretizations on these grids.
In this paper we do not study the approximation of homeomorphisms by multivalued maps (see for instance [LP11]); this point of view can maybe detect better the rotation set for examples that we do not have studied here, in particular when the vertices of the rotation set are obtained as hyperbolic periodic points of a diffeomorphism.
2. Notations and preliminaries
The set of homeomorphisms of will be denoted by and the subset of consisting in homeomorphisms preserving Lebesgue measure will be denoted by . Elements of will be called dissipative and elements of will be called conservative. As usual, these two spaces are equipped with the metric of uniform convergence.
We denote by the set of probability measures on , equipped with a distance compatible with the weak-* topology; by Banach-Alaoglu-Bourbaki theorem is compact. Let be a homeomorphism of the torus homotopic to the identity
It is a compact subset of the set of -invariant Borel probability measures.
For we will denote by the diameter of the biggest euclidean ball included in . By we mean that there exists an open set such that . In the sequel the set will be called strictly periodic if there exists an integer such that .
2.2. Generic properties
The topological spaces and are Baire spaces (see [Gui12]), i.e. in these spaces the intersection of every countable collection of dense open sets is dense. We call a countable intersection of open sets; a property satisfied on at least a dense set is called generic. Note that in a Baire space generic properties are stable under intersection. Sometimes we will use the phrase “for a generic homeomorphism (resp. ), we have the property ”. By that we will mean that “there exists a dense subset of (resp. ), such that every satisfy the property ”.
2.3. Rotation sets
The definition of the rotation set is made to mimic the rotation number for homeomorphisms of the circle. At first sight the natural generalisation to dimension 2 of this notion is the point rotation set, defined as follows. For every homeomorphism of the torus homotopic to the identity we take a lift of to the universal cover of . The difference with the one dimensional case is that as we lose the existence of a total order on our space, the sequence no longer need to converge. Thus, we have to consider all the possible limits of such sequences, called rotation vectors; the set of rotation vectors associated to will be denoted by .
Then, the point rotation set is defined as . Unfortunately this definition is not very convenient and it turns out that when we interchange the limits in the previous definition, we obtain the rotation set
which has much better properties and is easier to manipulate. In particular, it is compact and convex (see [MZ89]), and it is the convex hull of . Moreover, it coincides with the measure rotation set: if we denote by the displacement function, defined on by , where is a lift of to (one easily checks that this quantity does not depend of the lift), then (recall that is the set of invariant probability measures)
Finally, for a homeomorphism preserving Lebesgue measure, we denote by the mean rotation vector of :
The geometry of the rotation set of a generic dissipative homeomorphism is given by a theorem of A. Passeggi:
Theorem 2 (Passeggi, [Pas12]).
On an open and dense set of homeomorphisms , the rotation set is locally constant around and is equal to a rational polygon.
We end this paragraph by giving a proof that if is a generic conservative homeomorphism of the torus then has nonempty interior.
If is generic
We do not know the shape of the boundary of the rotation set of a generic conservative homeomorphism. In particular we do not know if it is a polygon or not.
Proof of Proposition 3.
We use an argument due to S. Crovisier. If consists in a single point, we use classical perturbation techniques for conservative homeomorphisms (see [Gui12] or [DF00]) to create a persistent periodic point for . Then by composing by a small rotation of the torus we can move a little the mean rotation vector; in particular as the rotation set still contains the rotation vector of the periodic point , it is not reduced to a single point. Now if the rotation set is a segment, by a ergodic closing lemma we can create a persistent periodic point whose rotation vector is close to the mean rotation vector in the following way. A small perturbation allows us to suppose that the homeomorphism we obtained, still denoted by , is ergodic (see [OU41]). We then choose a recurrent point which verifies the conclusion of Birkhoff’s theorem: for large enough, the measure is close to Lebesgue measure. As this point is recurrent, by making a little perturbation, we can make it periodic and even persistent; by construction is close to the mean rotation vector. We now have two persistent periodic points, say and , whose rotation vectors are different. It then suffices to compose by an appropriate rotation such that the mean rotation vector goes outside of the line generated by these two rotation vectors, and to repeat the construction to find a persistent periodic point whose rotation vector is close to this new mean rotation vector. ∎
2.4. Observable measures
From the ergodic point of view, we could be tempted to define the observable rotation set to be the set of rotation vectors associated to physical measures (or SRB measures, see [You02]), which are defined to state which measures can be observed in practice. However, such measures do not need to exist for every dynamical system, in this case the associated observable rotation set would be empty. To solve this problem of non existence of physical measures, E. Catsigeras and H. Enrich have defined in [CE11] the weaker notion of observable measure:
A probability measure is observable for if, for every , the set
has positive Lebesgue measure. The set of observable measures is denoted by .
The very interesting property of these measures is that, unlike physical measures, they always exist. More precisely, the set is a nonempty compact subset of the set of invariant measures of containing the set of physical measures (see [CE11]).
The behaviour of observable measures is compatible with topological conjugacy (whereas for physical measures the conjugacy needs to preserve null sets): if is observable for and is a homeomorphism, then is observable for .
If , then , but has no physical measure.
If is generic among , then
where denotes the closure.
Thus, has a lot of observable measures
Proof of Proposition 8.
For the easy inclusion it suffices to remark that every stable measure supported by a Lyapunov stable periodic orbit is observable. For the other inclusion we need the following lemma:
Let be a generic dissipative homeomorphism of . Then for every strictly periodic topological ball (i.e. there exists such that ) there exist a Lyapunov stable periodic point (i.e. for every there exists such that if then for every we have ).
Proof of Lemma 9.
We begin by choosing a countable basis of closed sets of the torus: for example we can take the set of unions of closed squares whose vertices are multiples of . We also denote by the set of all topological balls of . We can now define as the set of homeomorphisms such that each large enough strictly periodic ball contains a smaller strictly periodic ball with the same period:
Then for every , it is straightforward that the set is an open subset of . To show that it is dense it suffices to apply Brouwer’s theorem to each such that and to make the periodic point attractive.
First of all, remark that for every topological ball with nonempty interior which is strictly -periodic, there exits and a smaller topological ball which is strictly periodic such that . It implies that if belongs to the dense set , then for every topological ball with nonempty interior which is strictly -periodic, there exits and a twice smaller topological ball which is strictly periodic. Taking the intersection of such balls, we obtain a periodic point with period which is Lyapunov stable by construction. ∎
We now return to the proof of Proposition 8. Let be a generic dissipative homeomorphism, and . By hypothesis (see Equation (1)), then . As is generic it satisfies the conclusions of the shredding lemma of F. Abdenur and M. Andersson (see [AA13]) applied to and , in particular there exists and such that:
is a periodic open set: ,
every orbit of every point of belongs to eventually.
By Lemma 9, contains a Lyapunov stable periodic point whose orbit is denoted by ; thus for every and every one has . But by hypothesis , then , with a Lyapunov stable periodic orbit. ∎
If is generic among , then coincide with the set of physical measures.
3. Observable rotation sets
As said before, from the notion of observable measure it is easy to define a notion of observable ergodic rotation set. Another definition, more topologic, seemed reasonable to us for observable rotation sets:
These two sets are nonempty compact subsets of the classical rotation set, and the first one is even a subset of . The next lemma states that these two definitions coincide:
Proof of Lemma 12.
We first prove that . Let and . Then there exists such that , in particular . But if , then there exists a strictly increasing sequence of integers such that for every ,
in other words the inequality
holds for every and on a Lebesgue positive measure set of points .
For the other inclusion, let and set
By hypothesis, for every . To each we associate the set of limit points of the sequence of measures
where is a strictly increasing sequence such that
By compactness of , the set is nonempty and compact. In the sequel we will use the following easy remark: if and , then .
By contradiction, suppose that for every , there exists such that
By compactness, is covered by a finite number of balls . Taking , for every one has
thus, as balls cover ,
which is a contradiction.
Therefore, there exists such that for every ,
in particular . Furthermore, for , there exists and such that . As , there exists a sequence such that
Integrating this estimation according to the function , we obtain:
for every , in other words,
3.2. Properties of the observable rotation set
We begin by giving two lemmas which state the dynamical behaviour of the observable rotation sets.
For every , .
Proof of Lemma 13.
It suffices to remark that (one inclusion is trivial and the other is easily obtained by Euclidean division). ∎
If is a homeomorphism of commuting with integral translations, then .
Proof of Lemma 15.
It follows easily from the fact that the notion of observable measure is stable by conjugacy (see Remark 6). ∎
We now give a few simple examples of calculation of observable rotation sets.
If , then .
then , but and .
Let be a convex polygon with rational vertices. In [Kwa92], J. Kwapisz has constructed an axiom A diffeomorphism of whose rotation set is the polygon . It is possible to modify slightly Kwapisz’s construction so that all the sinks of are fixed points, and so that the union of the basins of these sinks have full Lebesgue measure. Hence, the observable rotation set of is reduced to .
We now give the results about the relationship between the rotation set and the observable rotation set in the generic setting. We begin by the dissipative case:
If is generic among , then . If moreover is generic with a nonempty interior rotation set, then .
If is generic among (more precisely, on an open dense subset of ), then
Proof of Lemma 18.
is straightforward. For the other inclusion we need to prove that every observable rotation vector of can be approximated by rotation vectors of Lyapunov stable periodic points. Let be a generic homeomorphism (thus satisfying the conclusions of the shredding lemma of F. Abdenur and M. Anderson for every , see [AA13]), be an observable rotation vector and . Then ; in particular by the shredding lemma there exists such that and that belongs to a strictly periodic closed set (i.e. there exists such that ) with nonempty interior whose diameter is smaller than . By Lemma 9, this set contains a Lyapunov stable periodic point which -shadows the orbit of eventually. Thus the rotation vectors and the rotation vector of are close each other. ∎
Proof of Proposition 17.
Theorem 2 states that for an open dense set of homeomorphisms, the rotation set is a polygon. Then, a theorem of realization of J. Franks [Fra88, Theorem 3.5] implies that every vertex of this polygon is realized by a periodic point of the homeomorphism, which can be made attractive by a little perturbation of the homeomorphism. Then generically we can find a Lyapunov stable periodic point which shadows the previous periodic point (by Lemma 9), in particular it has the same rotation vector. Thus every vertex of belongs to and .
For the second part of the proposition, another theorem of realization of J. Franks [Fra89, Theorem 3.2] states that every rational interior point of the polygon is realized as a periodic point of the homeomorphism. For , one can then find a finite -dense subset of made of rational points and make the corresponding periodic points of the homeomorphism attractive. Thus, for every , the set made of the homeomorphisms such that every vector of is realized by a strictly periodic open subset of is open and dense in the set of homeomorphisms with nonempty interior rotation set. Applying Lemma 9 we find a dense subset of on which every strictly periodic open subset of contains a Lyapunov stable periodic point; on this set the Hausdorff distance between is smaller than . The conclusion of the proposition then easily follows from Baire theorem. ∎
For the conservative case, we recall the result of Proposition 3: the rotation set of a generic conservative homeomorphism has nonempty interior. The following result states that in this case the observable rotation set is much more smaller, more precisely it consists in a single vector, namely the mean rotation vector.
If is generic among , then , where is the mean rotation vector with respect to Lebesgue measure.
4. Discretized rotation sets
We now define the alternative notion of discretized rotation set. For , we equip the torus with a grid of discretization
We then define the projection by: for , is (one of) point of which is the nearest to . The discretization of a homeomorphism with respect to the grid is defined as the map . For each the map is finite, thus it has a finite number of periodic orbits. To each of these periodic orbits we can associate a rotation vector by applying the same discretization process to the lift of . The union of these rotation vectors over the periodic points of is denoted by and called the discretized rotation set on . Then the asymptotic discretized rotation set is the upper limit of the sets :
The first result is that for every homeomorphism , the discretized rotation set is almost included in the rotation set when is large enough:
For every homeomorphism and every , it exists such that for every , one has , where denotes the set of points whose distance to is smaller than . In particular .
Proof of Proposition 21.
By definition of the rotation set, for there exists such that
Then there exists such that for every ,
This allows us to handle the case of long periodic orbits of the discretizations: by euclidean division, each periodic orbit of of length bigger than will be in the neighbourhood of the convex hull of the set
so in the -neighbourhood of the rotation set .
For the small orbits we argue by contradiction: suppose that there exist such that for every there exists and which is periodic under with period smaller than and whose associated rotation vector is not in . Then up to take subsequences these periodic points have the same period and converge to a periodic point whose associated rotation vector (for ) is not in , which is impossible. ∎
It remains to study the other inclusion. We begin by the dissipative case.
If is generic among , then tends to for the Hausdorff topology. In particular .
Proof of Proposition 22.
The fact that the upper limit of is included in follows directly from Lemma 21.
It remains to prove that the lower limit of contains . First of all the rotation set is the closure of rotation vectors of Lyapunov stable periodic points (Proposition 8). To each one of these points we can associate a periodic closed set with nonempty interior and with period which has the same rotation vector. Then there exists an open set such that for large enough and we also have . Thus there exists such that and has the same rotation vector as , thus the same rotation vector as the initial Lyapunov stable periodic point. ∎
For the conservative case, with the same techniques as in [Gui13] we can prove the following result:
If is generic among , then for every finite collection of rotation vectors , each one realized by a periodic orbit, there exists a subsequence of discretizations such that for every , .
Proof of Lemma 23.
We denote by the set of subsets of made of elements whose coordinates are of the type , with and . Consider the set
To prove the lemma it suffices to prove that this set contains a dense. It is obtained in combining the arguments of Proposition 27 and Proposition 39 of [Gui13]. We present the main arguments. Given , and we take a large and divide the grid in similar smaller grids such that . We want to create a finite map on whose rotation set is , the perturbation of the homeomorphism is then easily obtained by finite map extension (Proposition 18 of [Gui13]). To create such a finite map, on each of the subgrids we apply Lax-Alpern Theorem (see [Lax71] and [Alp76], see also Theorem 20 of [Gui13]) to obtain a cyclic permutation of the grid which is close to . Then for every we can choose one of these subgrids and modify this cyclic permutation by following the associated periodic orbit of in order to obtain a periodic orbit on whose rotation vector is (see Figure 3 of [Gui13]). This creates a finite map on whose rotation set is exactly and which is as close as possible to . ∎
The combination of the realisation theorem of J. Franks [Fra89, Theorem 3.2] and the fact that for a generic conservative homeomorphism the rotation set has nonempty interior (Proposition 3) leads to the corollary:
If is generic among , then for every compact subset of the rotation set of there exists a subsequence of discretizations such that tends to for the Hausdorff topology. In particular .
5. Numerical simulations
We have conducted numerical simulations of the rotation sets associated to both conservative and dissipative homeomorphisms. We have made the deliberate choice to choose homeomorphisms whose rotation set is known to be the square . Of course these homeomorphisms are not the best candidates for “generic” homeomorphisms, but at least we are sure of what is the shape of the rotation set we want to obtain.
As an example of conservative homeomorphism we have taken , and for the dissipative homeomorphism we have chosen the very similar expression , where
with and .
The homeomorphisms and are close to the homeomorphisms
it can easily be seen that the rotation set of the homeomorphism is the square , whose vertices are realized by the points , , and . The perturbations and of and are small enough (in topology) to ensure that the rotation set remains the square ; these perturbations are made in order to make “more generic”. The key property of the homeomorphism is that is has the fixed points of which realize the vertices of as fixed attractive points; this creates fixed attractive points which realize the vertices of the rotation set.
We have chosen to be very close to the identity in -topology to ensure that the basins of the sinks and sources are large enough. Indeed, J.-M. Gambaudo and C. Tresser have shown in [GT83] that, even for dissipative diffeomorphisms defined by very simple formulas, sinks and sources are often undetectable in practice because the size of the their basins are too small.
We have made two kinds of simulations of the rotation set.
In the first one we have computed the rotation vector of segments of orbits of length with good precision (52 binary digits), in other words for a starting point we have computed . This is maybe the most simple process that can be used to find numerically the rotation set. It should lead to a good approximation of the observable rotation set. In particular, Proposition 17 suggests that, for the dissipative homeomorphism , we should obtain a set which is close (for Hausdorff distance) to the square , and if not at least a set whose convex hull is this square. On the other hand, for the conservative homeomorphism , Proposition 20 suggests that we should only obtain the mean rotation vector, which is close to . We have made simulations both with random starting points and with starting points on grids .
In the second kind of simulations we have computed the rotation vectors of the periodic orbits of the discretization on a grid ; these simulations calculate the discretized rotation sets. We have also computed the union of the discretized rotation sets for , which represents the asymptotic discretized rotation set. The theory tells us that in both conservative and dissipative cases, for some , the discretized rotation set should be close (for Hausdorff distance) to the square ; a weaker property would be that its convex hull should be close to this square. Moreover this should also be true for the asymptotic discretized rotation sets.
We shall notice that these two methods are formally the same: making simulations on a grid is equivalent to calculate with binary digits (for example about 10 for ). The only difference is that for the second method we use deliberately a very bad numerical precision.
Moreover, in practice, for a given calculation time, the calculation of the rotation set by discretization (i.e. by the second method) allows to compute much more orbits than the other method. More precisely, the algorithm we have used to compute the asymptotic discretized rotation set visits each point of the grid once. Thus, for starting points we only have to compute images of the discretization of the homeomorphism on the grid; the number of rotation vectors we obtain is simply the number of periodic orbits of the discretization. So in a certain sense this second algorithm is much more faster than the naive algorithm consisting in computing long segments of orbits. All the simulations have been performed on a computer equipped with a processor Intel Core I5 2.40GHz.
In the conservative case, the rotation vectors of the observable rotation set are mainly quite close to the mean rotation vector of , as predicted by Proposition 20. In particular in Figure 4, all the 1000 rotation vectors of the computed observable rotation set are in the neighbourhood of . Thus, the behaviour of these vectors is governed by Birkhoff’s ergodic theorem with respect to the ergodic measure ; a priori this behaviour is quite chaotic and converges slowly: a typical orbit will visit every measurable subset with a frequency proportional to the measure of this set, so the rotation vectors will take time to converge. In Figures 4, 4 and 4, we observe a few rotation vectors which are not close to the mean rotation vector; in particular in Figures 4 and 4 we detect the vertex of the rotation set (notice that it takes a lot of calculation time to observe this). This phenomenon appears for others sizes of grids, we do not have any explanation for it. We also notice that the shape of the obtained observable rotation set does depend a lot on the size of the grid. Anyway, even with 3 hours of calculus we are unable to recover the initial rotation set of the homeomorphism.
On the other hand, the convex hull of the discretized rotation set gives quickly a very good approximation of the rotation set. For example on a grid (Figure 6), with 0.4s of calculus we obtain a rotation set which is already very close to . The same phenomenon occurs for a grid (Figure 6). However, for a single size of grid, we do not obtain exactly the conclusions of Corollary 24 which states that for some integers the discretized rotation set should be close to the rotation set for Hausdorff distance; here for each we only have a few points in the interior of . That is why we represented the union of the discretized rotation sets on grids with (Figure 7). In this case we recover almost all the rotation set of , except from the points which are close to one edge of the square but far from its vertices. The fact that we can obtain very easily the vertices of the rotation set can be due to the fact that in our example these vertices are realized by elliptic fixed points of the homeomorphism (in fact the derivative on this points is the identity). It is possible that if the vertices of the rotation set of a diffeomorphism were realized by hyperbolic periodic points, or elliptic periodic points with bigger period, it would be much more difficult to detect them by looking at the asymptotic discretized rotation set. In short,
When we calculate with 2 decimal places we find a very good approximation of the rotation set in 0.4s, but when we calculate with 16 decimal places we find a set which does not have much to do with the actual rotation set, even after 3 hours of computation.
In the dissipative case, the observable rotation set is very different from the one in the conservative case, even if the homeomorphism is very close to (approximately close). Indeed, a lot of the obtained rotation vectors are close to one of the vertices of the real rotation set of , the others being located around (see Figure 9). This is what was predicted by the theory, in particular Lemma 18: we detect rotation vectors realized by Lyapunov stable periodic points. The fact that the rotation vectors are not located exactly on the vertices of can be explained by the slow convergence of the orbits to the attractive points: it may take a while until the orbit become close to one of the Lyapunov stable periodic points.
The behaviour of the discretized rotation set for is quite similar to which we observed for : the vertices of are detected and we only have a few points in the interior of the square (see Figure 9). The small difference with the conservative case is that we have less points in the interior of this square, it can be explained by the fact that a lot of points are attracted by the periodic orbits whose rotation vectors are vertices of or the centre of the square.
I warmly thank François Béguin for his uncountable advices and suggestions about this work. I also thank Sylvain Crovisier for the trick he indicated to me to shorten the proof of Proposition 3. Finally, the ideas of this paper were born during the workshop “Surfaces in Sao Paulo”, I would like to thank the organizers for inviting me as well as all the participants with whom I could have had many fruitful discussions during this week in Brazil.
- A property will be called generic if it is true on at least a countable intersection of dense open sets.
- Namely it can be a segment or a singleton.
- However there are open sets of homeomorphisms where the rotation set has nonempty interior.
- From now every homeomorphism will be supposed homotopic to the identity.
- In fact on a open dense subset of .
- The set of Lyapunov stable periodic orbits is a Cantor set.
- Flavio Abdenur and Martin Andersson, Ergodic theory of generic continuous maps, Comm. Math. Phys. 318 (2013), no. 3, 831–855. MR 3027586
- Steve Alpern, New proofs that weak mixing is generic, Invent. Math. 32 (1976), no. 3, 263–278.
- Eleonora Catsigeras and Heber Enrich, SRB-like measures for dynamics, Bull. Pol. Acad. Sci. Math. 59 (2011), no. 2, 151–164.
- Fons Daalderop and Robbert Fokkink, Chaotic homeomorphisms are generic, Topology Appl. 102 (2000), no. 3, 297–302.
- John Franks, Recurrence and fixed points of surface homeomorphisms, Ergodic Theory Dynam. Systems 8 (1988), no. Charles Conley Memorial Issue, 99–107.
- by same author, Realizing rotation vectors for torus homeomorphisms, Trans. Amer. Math. Soc. 311 (1989), no. 1, 107–115.
- Jean-Marc Gambaudo and Charles Tresser, Some difficulties generated by small sinks in the numerical study of dynamical systems: two examples, Phys. Lett. A 94 (1983), no. 9, 412–414.
- Pierre-Antoine Guihéneuf, Propriétés dynamiques génériques des homéomorphismes conservatifs, Ensaios Matemáticos [Mathematical Surveys], vol. 22, Sociedade Brasileira de Matemática, Rio de Janeiro, 2012.
- by same author, Dynamical properties of spatial discretizations of a generic homeomorphism, To appear in Ergodic Theory and Dynamical Systems, 2013.
- Michael-Robert Herman, Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations, Inst. Hautes Études Sci. Publ. Math. (1979), no. 49, 5–233. MR 538680 (81h:58039)
- Jaroslaw Kwapisz, Every convex polygon with rational vertices is a rotation set, Ergodic Theory Dynam. Systems 12 (1992), no. 2, 333–339.
- by same author, An estimate of entropy for toroidal chaos, Ergodic Theory Dynam. Systems 13 (1993), no. 1, 123–129.
- Peter Lax, Approximation of measure preserving transformations, Comm. Pure Appl. Math. 24 (1971), 133–135.
- Jaume Llibre and Robert S. MacKay, Rotation vectors and entropy for homeomorphisms of the torus isotopic to the identity, Ergodic Theory Dynam. Systems 11 (1991), no. 1, 115–128.
- Stefano Luzzatto and Paweł Pilarczyk, Finite resolution dynamics, Found. Comput. Math. 11 (2011), no. 2, 211–239. MR 2776399 (2012b:37210)
- Michał Misiurewicz and Krystyna Ziemian, Rotation sets for maps of tori, J. London Math. Soc. (2) 40 (1989), no. 3, 490–506. MR 1053617 (91f:58052)
- John Oxtoby and Stanislaw Ulam, Measure-preserving homeomorphisms and metrical transitivity, Ann. of Math. 42 (1941), no. 2, 874–920.
- Alejandro Passeggi, Rational polygons as rotation sets of generic homeomorphisms of the two-torus, 2012.
- Henri Poincaré, Mémoire sur les courbes définies par une équation différentielle, J. de Math Pures Appl (1885), no. 1, 167–244.
- Lai-Sang Young, What are SRB measures, and which dynamical systems have them?, J. Statist. Phys. 108 (2002), no. 5-6, 733–754, Dedicated to David Ruelle and Yasha Sinai on the occasion of their 65th birthdays.