FAMILIES OF TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES
|
|
- Bertha O’Brien’
- 5 years ago
- Views:
Transcription
1 REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 59, No. 2, 2018, Pages Published online: May 28, 2018 FAMILIES OF TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES BLADISMIR LEAL, GUELVIS MATA, AND SERGIO MUÑOZ Abstract. We will prove the existence of a class of transitive maps on the real line R, with a discontinuity and horizontal asymptotes, whose set of periodic orbits is dense in R; that is, a class of chaotic families. In addition, we will show a rare phenomenon: the existence of periodic orbits of period three prevents the existence of transitivity. 1. Introduction The notion of transitivity is a fundamental tool in the study of maps with chaotic dynamics; see [19, 5, 3]. On boundaryless compact manifolds there is a well established theory about transitive diffeomorphisms; see [1, 15, 17, 18]. On compact intervals of R there exists a large class of examples and characterizations leading to such dynamic property; see [14, 16, 7] and references therein. In the non-compact cases the situation is very different, since there is no nown notion of hyperbolicity producing persistently chaotic dynamics and, regarding characterizations of transitivity, there are not many references. For example, in [9] it is proved that any Anosov diffeomorphism defined in the plane R 2 onto R 2 R 2 R 2 ) cannot be transitive; on the other hand, there are transitive diffeomorphisms of the plane R 2 minus a line of discontinuities see [4, 10]). In the case of non-bounded intervals the situation is similar to the case of non-compact manifolds; in this direction, in [12] it is shown that continuous transitive maps from R to R R R) must have infinite critical points; also in [13] there is a large class of examples of transitive maps on R. In any case, a characterization for transitivity is not shown and, in the context of such articles, small perturbations of those maps lose the transitive property. Recently, [11] shows the existence of a class of maps, leading to a geometric model of the well nown Boole transformation T x) = x 1 x see [2]), where a characterization for transitivity is possible; also, it is shown that, in the space of continuously differentiable maps from R \ {0} to R) the maps belonging to such geometric model are persistently transitive, with respect to the C 1 uniform topology. Such geometric model consists of maps with 2010 Mathematics Subject Classification. 37E99, 37D20. Key words and phrases. Increasing alternating systems, Horizontal asymptotes, Transitivity, Expansive alternating systems, Periodic orbit of period
2 376 B. LEAL, G. MATA, AND S. MUÑOZ domain R \ {0} onto R, increasing on each connected component of R \ {0} and non-bounded on R \ K, where K is a compact interval with 0 / K. In the attempt to extend the study of this type of maps and expand the space of transitive maps over unbounded intervals, we as ourselves: What is the dynamics of the maps bounded in R \ K, where K is a compact interval? Have these maps a non-empty intersection with the world of chaotic dynamics? The purpose of this article is to answer such questions positively, in addition to expanding the geometric model of the Boole maps, treated in [11], to a class with horizontal asymptotes; also to show a couple of characterizations of transitivity. Specifically, let f : R \ {0} R be a continuous map; we say that f is transitive if there is a point x R \ {0} such that its positive orbit with respect to f), that is O + f x) = {x, fx), f 2 x),... }, is dense in R. Definition 1. A continuous function f : R\{0} R is an increasing alternating system with asimptotes relative to its first pre-image if: 1a) f is strictly increasing in, 0) and 0, + ). 1b) lim fx) = and lim fx) = +. x 0 + x 0 1c) There exist x 0 < 0 and x 1 > 0 such that f 1 0) = {x 0, x 1 }, x 1 and lim fx) = x 0. x 1d) fx) x for all x R \ {0}. If f : R\{0} R is as in Definition 1, we say that f is a SACAH. lim fx) = x + Theorem 2 Main Theorem). Let f : R\{0} R be a SACAH. Then f is transitive if and only if n 0 f n 0) is dense in R. Corollary 3. Let f : R\{0} R be a SACAH. If n 0 f n 0) is dense in R, then the set of periodic orbits of f is dense in R \ {0}. In contrast to Corollary 3, it is important to mention that in this wor we will show a particularity of this ind of family: The existence of a periodic period 3 orbit prevents the existence of transitivity. Corollary 4. The map B : R\{0} R defined by Bx) = x 1 is a transitive x SACAH. Curiously, n 0 B n 0) = Q. It is important to mention that the geometric model of the Boole transformation, called expansive increasing alternating systems, forms a set of transitive maps with non-empty interior see [11]); the alternating systems with asymptotes at the diagonal line y = x and those with horizontal asymptotes lie the models shown in this paper) are border elements of the set of transitive maps of R maps with a discontinuity). Another important point is that the type of maps shown in this article and those studied in [11] appear naturally as projections along invariant foliations or leaves) in the study of transitive diffeomorphisms of the plane R 2 minus a curve of discontinuities, and there is a relation between the plane dynamics and the projected one see [10] and recently [8]). These two latest wors are inspired Rev. Un. Mat. Argentina, Vol. 59, No )
3 TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES 377 by the wor of Devaney [4], who shows an example of a transitive diffeomorphism of the plane R 2 minus a line of discontinuity. Devaney s example was introduced by Hénon in [6] as a system associated with the movement of the three restricted bodies of classical mechanics. The article is organized in the following manner: In the first section, of notations and basic results, we grouped the points of the pre-images from zero to generate a partition, which will be very useful in proving our Main Theorem. In addition, we will show some properties with respect to the generated partition. Then, in the next section we will concentrate on the proof of the Main Theorem, together with the two corollaries enunciated above. 2. Notations and basic results In this section f denotes a SACAH. Let x 0 < 0 and x 1 > 0 as in Definition 1. On the other hand, R\{0} is the union of two connected components which we will denote by R 0 =, 0) and R 1 = 0, + ). Denote by f 0 = f R0 and f 1 = f R1, where f 0 x) = fx) for x R 0 and f 1 x) = fx) for x R 1. Since f 1 0), consider the following notation: n A n = f n 0) {0}. j=1 f j 0) {0}, for all n 1 and A f = n 1 From Definition 1 we obtain: Remar 1. a) f0, x 1 ) = R 0 and fx 0, 0) = R 1 ; b) fr 0 ) = x 0, + ) and fr 1 ) =, x 1 ); c) f 2 x 1, + ) = R 0 and f 2, x 0 ) = R 1. This remar tells us that for every point x R\A f, the orbit of x with respect to f visits each connected component R 0 and R 1 infinitely many times. The following definition is of great importance in the characterization of transitivity. Definition 5. Let f : R\{0} R be a SACAH. f is expansive if for each x, y R\A f, there exists N > 1 such that f N x).f N y) < 0. Next we show that the existence of a periodic orbit of period 3, for this type of transformations, prevents the existence of transitivity and expansiveness. Lemma 6. Let f : R\{0} R be a SACAH. If there exists x a periodic point of period 3, then f is neither expansive nor transitive. Proof. Let x be a periodic point of period 3. Denote the orbit of x by x = x 0, fx) = x 1 and f 2 x) = x 2. From Remar 1 x i, x 0 ) or x i x 1, + ), for some i {0, 1, 2}. If x i, x 0 ), then B =, x i ] x 0, fx i )] 0, f 2 x i )] is f-invariant, that is, fb) B. On the other hand, if x i x 1, + ), then we have that B = [x i, + ) [fx i ), x 1 ) [f 2 x i, 0) is f-invariant. In any case f is neither expansive nor transitive. Rev. Un. Mat. Argentina, Vol. 59, No )
4 378 B. LEAL, G. MATA, AND S. MUÑOZ In the proof of the Main Theorem we will need to mae use of the symbolic dynamics. For it, consider the following space of sequences: Σ 2 = {a = a 0, a 1,... ) : a j {0, 1} and j 0}, with the usual topology induced by the metric d 2 a, b) = Σ 2. Let us consider the subset + n=0 Σ2, 2) = {a Σ 2 : 1, 1, 1) a and 0, 0, 0) a}, a n b n 2 n, for a, b where 1, 1, 1) a and 0, 0, 0) a mean that 1, 1, 1) a j, a j+1, a j+2 ) and 0, 0, 0) a j, a j+1, a j+2 ), for all j 0, respectively. It is well nown that Σ 2 and Σ2, 2) are compact and the shift σ : Σ 2 Σ 2 defined by σa 0, a 1, a 2,...) = a 1, a 2, a 3,...) is continuous and transitive. Also, Σ2, 2) is invariant with respect to σ and σ is transitive restricted to Σ2, 2). Let us denote by Perσ, 3) the set of all periodic orbits of period 3 belonging to σ. With this notation in mind consider the set Σ 2, 2) = {a Σ2, 2) : σ j a) Perσ, 3), for all j 0}. Observe that Σ 2, 2) is not compact and Σ 2, 2) is invariant with respect to σ. Also, σ restricted to Σ 2, 2) is a transitive function; denote this restriction by σ. Definition 7. Let K be a finite set of R. P K shall denote a partition of R generated by K, if its elements are intervals of R satisfying: a) I K and I K = for all I P K. b) I = R \ K; I P K c) If I, J P K with I J, then I J =. P K is the set of all the connected components of R \ K. Consider the following lemma of set theory. Lemma 8. Let {K n }, n 1, be a sequence of finite sets of R such that K n K n+1 and n 1 K n is dense in R. If for each sequence I n of bounded atoms of P Kn, I n P Kn, I n+1 I n, then diami n ) 0. Observe that if A B, then for each J P B there is a single I P A such that J I. Lemma 9. Let n > 1 and P An be the partition generated by A n. If I is an atom of P An, then f n I) {R 0, x 0, 0), 0, x 1 ), R 1 }. Proof. By induction. The case n = 1 is clear from Remar 1 and the fact that P A1 = {R 0, x 0, 0), 0, x 1 ), R 1 }. Let us suppose that the lemma is true for n 1. Let J P An+1 ; since A n A n+1, there exists I P An such that J I. By the inductive hypothesis we have four options. The first: If f n I) = R 0, then from Remar 1, f n+1 I) = x 0, + ); this means that there exists y I such that f n+1 y) = 0, that is, Rev. Un. Mat. Argentina, Vol. 59, No )
5 TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES 379 from Definition 7, there exist J 1 and J 2 in P An+1 such that J 1 J 2 {y} = I, {y} = J 1 J 2, f n+1 J 1 ) = x 0, 0) and f n+1 J 2 ) = R 1. From this together with Definition 7 it follows that J = I 1 or J = J 2 ; in any case we have that f n+1 J) {R 0, x 0, 0), 0, x 1 ), R 1 }. The second option: If f n I) = x 0, 0), then f n+1 I) = R 1, therefore I A n+1 =, so by Definition 7, I P An+1 and consequently J = I. This shows that f n+1 J) = x 0, 0). The other two options are similar. So f n+1 J) {R 0, x 0, 0), 0, x 1 ), R 1 }. Lemma 10. For each n > 0, we have that f n R 0 ) f n R 1 ) = I P An I. Proof. By induction. For n = 1 the equality is clear from Remar 1. Let us suppose that the lemma is true for n 1. First, using the inductive hypothesis, note that f n 1 R 0 ) f n 1 R 1 ) = f n 1 R \ {0}) = f 1 I). I P An Let x f n 1 R 0 ) f n 1 R 1 ); then x I P An f 1 I), that is, there exists I P An such that x f 1 I); since I A n =, it follows that x R \ A n+1 ; therefore, x I P An+1 I and consequently f n 1 R 0 ) f n 1 R 1 ) I P An+1 I. Let y I P An+1 I, then there exists J P An+1 such that y J. So, fy) A n =, and therefore there exists I P Aa such that fy) I. Consequently y I P An f 1 I), which completes the proof. Lemma 11. Let f be a SACAH. f is expansive if and only if A f = is dense in R \ {0}. A n {0} Proof. ) Suppose that f is expansive, and that A f = n=1 A n {0} is not dense in R \ {0}. Then, there is an interval J such that J f n 0) = for all n 0; thus, f n J) R 0 or f n J) R 1 for all n 0. Let x y be in J, then since f is expansive there exists N > 0 such that f N x) f N y) < 0; from this, f N J) R 0 and f N J) R 1. This is a contradiction. ) Suppose that A f = n=1 A n {0} is dense in R \ {0}. Let a b be in R f and consider, without loss of generality, that a < b. Since A f is dense there exists x A f such that x a, b). Let N 1 be the minimum such that f N 0) a, b). Then, f N a) f N b) < Proof of the main results Main Theorem. ) Suppose that f is expansive. Then, from Lemma 11, R f is totally disconnected and fr f ) = R f. Consider the function h : R f Σ 2, 2) n=1 Rev. Un. Mat. Argentina, Vol. 59, No )
6 380 B. LEAL, G. MATA, AND S. MUÑOZ defined by hx) = a, where a n = { 0 if f n x) < 0, 1 if f n x) > 0. Note that from Remar 1, h is well defined. Our objective is to show that h is a homeomorphism and that σ h = h f, that is, h is a topological conjugation between f and σ. That means f is transitive since σ is, so the proof follows. h is one to one. Indeed, let x y in R f and let us denote a = hx) and b = hy). Since f is expansive, there exists N > 1 such that f N x) f N y) < 0, therefore a N b N and so a b. h is continuous. Indeed, let x R f and let us denote a = hx). Let ɛ > 0, then there exists M > 1 such that, if b Σ 2, 2) with a j = b j for all 0 j M, then d 2 a, b) < ɛ. On the other hand, there exists I P AM+1 such that x I. From this follows that f j I) {0} = for all 0 j M +1, then from definition of h, f j I) R aj for all 0 j M. Now, let δ = dx, I); then for y x δ, x + δ) R f I it follows that f j y) R aj for all 0 j M. Then, calling b = hy) we conclude that d 2 hx), hy)) < ɛ. h is onto. Indeed, let a = a 0, a 1, a 2,... ) Σ 2, 2) and remember that R 0 =, 0), R 1 = 0, + ). Consider the sets H 0 = R a0 ; H 1 = R a0 f 1 R a1 );. H n = R a0 f 1 R a1 ) f n R an ), for all n 1. Observe that if x H n, then f j x) R aj for all 0 j n. To continue with the proof, we need to prove the following claims. Claim 1: H n and H n P An, for all n 1. Proof. By induction. Let us show that for n = 1 the result is true. Note that H 0 = R 0 or R 1 and f 1 0) = {x 0, x 1 }. Also, f 1 R 0 ) =, x 0 ) 0, x 1 ) and f 1 R 1 ) = x 0, 0) x 1, + ). Then, intersecting it follows that H 1 and H 1 P A1. Suppose that H n and H n P An for n 1. Suppose that H n+1 =, that is, H n f n 1 R 0 ) =, and suppose also that a n+1 = 0. From the inductive hypothesis and Lemma 9 it follows that f n H n ) {R 0, x 0, 0), 0, x 1 ), R 1 } and since H n+1 = then f n H n ) = x 0, 0). So, a n = 0. Now, since H n 1 and from Lemma 9, f n 1 H n 1 ) {R 0, x 0, 0), 0, x 1 ), R 1 }. From Remar 1 it follows that f n 1 H n 1 ) = R 0 or f n 1 H n 1 ) = x 0, 0). This proves that a n 1 = 0. Thus, a n 1, a n, a n+1 ) = 0, 0, 0) but this is a contradiction with the fact a Σ 2, 2). In the case a n+1 = 1 the proof is similar obtaining a n 1, a n, a n+1 ) = 1, 1, 1), which is a contradiction for the same reason as before. Consequently, H n+1. It remains to prove that H n+1 P An+1, indeed if f n 1 0) H n =, then H n P An+1. From Lemma 10 and the fact that H n+1 there exists I P An+1 Rev. Un. Mat. Argentina, Vol. 59, No )
7 TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES 381 such that H n+1 = H n I. Then, from Definition 7, H n = I, from where it follows that H n+1 P An+1. Now, if f n 1 0) H n from Lemma 9 there is a single y H n such that f n+1 y) = 0. Then, from Definition 7 and the fact that A n A n+1, there exist I 1 and I 2 in P An+1 disjoint with I 1 I 2 = H n \ {y}. From this and Lemma 9, if f n+1 I 1 ) R 1 then f n+1 I 2 ) R 0 or conversely. It means that I 1 or I 2 is contained in f n 1 R an+1 ). So from Lemma 10 H n+1 = H n I 1 or H n+1 = H n I 2 ; in any case, H n+1 P An+1. This completes the proof of Claim 1. Claim 2: There exists N 1 such that H N is a bounded atom of P AN. Proof. Suppose that H N is not bounded for all N 1. Case 1. If a 0 = 0, then a 3 = 0, a 3+1 = 0 and a 3+2 = 1, for all 0. By induction. Since H 0 = R 0 and H 1 is not bounded it follows that H 1 =, x 0 ). From Remar 1 fh 1 ) = x 0, 0) and f 2 H 1 ) = R 1, then a 1 = 0 and a 2 = 1. So, this proves the case = 0. Suppose that a 3 = 0, a 3+1 = 0 and a 3+2 = 1. Then, from this and Lemma 9, it follows that f 3 H 3 ) = R 0 and f 3+1 H 3+1 ) = x 0, 0); therefore, f 3+2 H 3+2 ) = R 1. Since f 3+3 H 3+2 ) =, x 1 ), there exists y H 3+2 such that f 3+3 y) = 0. Since H 3+3 is not bounded, we have that H 3+3 =, y) and f 3+3 H 3+3 ) = R 0, and consequently a 3+3 = 0. Then, f 3+1)+1 H 3+3 ) = x 0, + ). So there exists y 1 H 3+3 such that f 3+1)+1 y 1 ) = 0. From Lemma 9 and the fact that H 3+1)+1 H 3+3 is not bounded, H 3+1)+1 =, y 1 ). Therefore f 3+1)+1 H 3+1)+1 ) = x 0, 0) and f 3+1)+2 H 3+1)+1 = R 1, so this shows that a 3+1)+1 = 0 and a 3+1)+2 = 1. Case 2. If a 0 = 1, then a 3 = 1, a 3+1 = 1 and a 3+2 = 0, for all 0. The proof follows similarly. Note that in both cases 1 and 2 it is shown that a Σ 2, 2) is a periodic orbit of period 3 with respect to the shift σ, but this is a contradiction from the supposition that H N is not bounded for all N 1. Claim 3: If x n 1 H n, then x R f. Proof. Suppose that x A f. From Claim 2, there exists N > 1 such that H n is bounded for n N and from Claim 1 there exists y A N such that H = x, y) or H = y, x). We have the following possible cases. A1) Suppose that H N = x, y) and a N = 1. Then a N+3 = 1, a N+3+1 = 0, and a N+3+2 = 0, for all 0. We will prove the claim A1) by induction on. For = 0 the claim is valid. Indeed, from our hypothesis and Lemma 9, f N+1 H N+1 ) = R 0 ; consequently, a N+1 = 0. Then, f N+2 H N+1 ) = x 0, + ). From this there exists y 1 H N+1 such that f N+2 y 1 ) = 0. So, from Claim 1 and the fact that x H N+2 and H N+2 x, y), it follows that f N+2 H N+2 ) = x 0, 0). Therefore a N+2 = 0. Rev. Un. Mat. Argentina, Vol. 59, No )
8 382 B. LEAL, G. MATA, AND S. MUÑOZ Suppose that the claim is valid for some 0. Since x H N+3+2 [x, y] and H N+3+2 H N+3+1 x, y), it follows that f N+3+2 H N+3+2 ) = R 1. Denote by m = N Then, applying f, f m+1 H m ) =, x 1 ) and we obtain that there exists y 1 H m such that f m+1 y 1 ) = 0. Then, from Claim 1 and the fact that x H m+1, it follows that H m+1 = x, y 1 ) and f m+1 H m+1 ) = R 0 ; consequently, a m+1 = 0. Applying f we have that f m+2 H m+1 ) = x 0, + ). Since x H m+2 and using the same last argument, f m+2 H m+2 ) = x 0, 0) and f m+3 H m+2 ) = R 1. So a m+2 = 0 and a m+3 = 1. Replacing m we have that a N+3+1) = 0, a N+3+1)+1 = 0, and a N+3+1)+2 = 1, and that is what we wanted to prove. The demonstrations of the following claims follow similarly as in the case A1). In each case we indicate the components of the sequence a. A2) Suppose that H N = x, y) and a N = 0. Then, 2.1) if f N H N ) = x 0, 0), then a N+3 = 0, a N+3+1 = 1 and a N+3+2 = 0 for all 0; 2.2) if f N H N ) = R 0, then a N+3 = 0, a N+3+1 = 0 and a N+3+2 = 1 for all 0. A3) Suppose that H N = y, x) and a N = 0. Then a N+3 = 0, a N+3+1 = 1, and a N+3+2 = 1 for all 0. A4) Suppose that H N = y, x) and a N = 1. Then, 4.1) if f N H N ) = 0, x 1 ), then a N+3 = 1, a N+3+1 = 0, and a N+3+2 = 1 for all 0; 4.2) if f N H N ) = R 1, then a N+3 = 1, a N+3+1 = 1, and a N+3+2 = 0 for all 0. In all cases we proved that the point σ ) N a) is periodic of period 3 and this is a contradiction. Consequently, x R f. Let a Σ 2, 2). From Claim 2, n 1 H n ; from the injectivity of h and Claim 2, there exists a single x n 1 H n, and from Claim 3, x R f. So, from definitions of h and the sets H n it follows that hx) = a. This proves that h is onto Σ 2, 2). h 1 is continuous. Let a Σ 2, 2) and ɛ > 0. Let us denote x = h 1 a). In the same way of constructing the H n s in the proof that h is onto, we have that x H n for all n 1. Then, from Lemma 8, diamh n ) 0 when n +. Therefore, there exists N > 1 such that H N x ɛ, x + ɛ). On the other hand, there exists δ > 0 such that if b Σ 2, 2) with d 2 a, b) < δ then a j = b j for all 0 j N. Then, y = h 1 b) H j for 0 j N, that is, y = h 1 b) H N x ɛ, x + ɛ). This proves the continuity of h 1. Finally, it remains to prove that h f = σ h. Indeed, given x R f and denoting a = hfx)) we have that a n = 0 if f n+1 x) < 0, or a n = 1 if f n+1 x) > 0 for all n 0. On the other hand, if b = hx) we have that σ hx)) = b 1, b 2, b 3,...). Rev. Un. Mat. Argentina, Vol. 59, No )
9 TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES 383 Note that b 1, b 2, b 3,..., ) = a 0, a 1, a 2,...). This shows that h fx) = σ hx), for all x R f. ) Suppose that f is transitive and suppose by contradiction) that f is not expansive. Then, there exists x y such that f j x).f j y) > 0, for all j 0. Suppose, without loss of generality, that x < y. That means f j [x, y]) A f = for all j 0; from this we conclude that f j [x, y]) does not have points of the set n 0 f n 0). Denote by I = [x, y]. Since f is transitive there exists 1 such that f I) I. Since f is continuous, increasing in each connected component of R\{0} and f j I) R aj, j 0, it follows that f I) I is an interval. Note that f 2 I) f I) I), so f 2 I) f I) or I is an interval and also contained in R 0 or R 1. Given J = n 1 f n I), then J is invariant by f, but this is a contradiction since f is transitive. Proof of Corollary 3. In the proof of the Main Theorem, it is shown that f is topologically conjugated with σ : Σ 2, 2) Σ 2, 2) and the set of periodic points of σ is dense in Σ 2, 2); from this the result follows. Corollary 12. All maps f : R\{0} R which are SACAH and transitive are topologically conjugated with each other. Proof. Let f and g be SACAH maps. Then, from the Main Theorem there exist homeomorphisms h 1 : R f Σ 2, 2) and h 2 : R g Σ 2, 2) such that h 1 f = σ h 1 and h 2 g = σ h 2. Taing h = h 1 2 h 1 : R f R g we have that h f = g h. Let us now consider an interesting example of this ind of maps. Let B : R\{0} R be defined by Bx) = x x, x > 0, = x 1 1 x, x < 0. Lemma 13. B n 0) = Q. n 0 Proof of Corollary 4. The proof follows from Lemma 13 and the Main Theorem. Proof of Lemma 13. Observe that if a Q, then B 1 a) Q. From this we conclude that n 0 B n 0) Q. Now, we will show the other inclusion, that is, Q n 0 B n 0). First observe that: Also, note that for all x > 1, it follows that Bx) < 1. 1) if B x) A B, then B j x) A B, for 0 j. 2) Also note that B x) = Bx), for all x 0. In general, for all n 1 and x R B it follows that B n x) = B n x), 3) Rev. Un. Mat. Argentina, Vol. 59, No )
10 384 B. LEAL, G. MATA, AND S. MUÑOZ where R B = R \ A B and A B = n 1 B n 0) {0}. Case 1. For all n Z, we have that n A B. From 2) it is sufficient to show that n A B for all n 1. The proof is by induction. For n = 1 it is clear since B 1 0) = { 1, 1}. Suppose that j A B for 1 j n. Then, Bn + 1) = n 1 n and applying B we have B 2 n + 1) = 1 n. Applying B again we obtain B 3 n + 1) = n 1. Therefore, by our inductive hypothesis n 1 A B ; from this and 2) it follows that n + 1) A B. This proves Case 1. From the proof of Case 1, from 1) and 2), we have 1 n A B for all n Z \ {0}. 4) Case 2. Consider > 0, n > such that n = q +r, where r {0, 1,..., 1} with q 3. Then, for t 1 and 2t + 1 q we have B 3t 1 ) n 2t = n n 2t 1) B 3t ) = n n 2t B 3t+1 ) n 2t + 1) =. n We will do the proof of Case 2 by finite induction. Let us see that the equations are valid for t = 1: B 2 ) = 1 n n = n 2 n since q 2, n 2 > 0, it follows that n 2 > 0. Therefore, n B 3 ) = < 0 and B4 ) = n 3. n n 2 n Suppose that the equations are valid for t and suppose that 2t + 1) + 1 q. Let us see that the equations are valid for t + 1. Note that 3t + 2 = 3t + 1) 1 and n 2t + 1) 3t+3 = 3t+1). On the other hand, since 2t+1)+1 q, then > 0. So applying B to B 3t+1 ) we obtain n B 3t+2 ) = 1 n n 2t + 2) = n 2t + 1) n 2t + 1), where n 2t + 2) > 0 because 2t + 1) + 1 q. Applying B again, B 3t+3 ) = n n 2t + 2) < 0 and ) n B 3t+1)+1 n 2t + 1) + 1) =, Rev. Un. Mat. Argentina, Vol. 59, No )
11 TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES 385 which is what we wanted to prove. n Case 3. For each n 1, m A B, m n. Let us show this by induction on n. For n = 1 it is valid from 4). Suppose j that it is valid for n, that is, m A B, for all m j and for 1 j n. Denote = n + 1. If m =, then the proof follows since 1 A B. Suppose that m >, then there exists q 1 such that m = q. + r, where r {0, 1,..., n}. Observe that B ) = 1 + m m = m. If q = 1, we have that m = + r. Then, B ) = + r = r m. Since 0 r 1, by the inductive hypothesis we have r A B. Then, from 2) and 3) it follows that m A B, m {,..., 2 1}. Now, suppose that q = 2, then m = 2 + r. Therefore m > 0 and B 2 ) m = m 2 m = r + r. r By the inductive hypothesis, + r A B. Then, from 2) and 3), m A B for all m {2, 2 + 1,..., 3 1}. Finally, suppose that q 3, then from Case 2, for t 1, 2t + 1 q and m = q. + r, B 3t 1 ) m 2t = m m 2t 1) B 3t ) = m m 2t B 3t+1 ) m 2t + 1) =. m Tae t 0 1 such that 2t = q 1 or 2t = q. If 2t = q 1, then m 2t + 1) = q. + r q 1) = + r. B 3t0+1 ) = + r and remember that = n + 1, m B 3t0+2 n + 1 ) = B 3t0+2 ) = 1 m m + r = r = r n + 1 A B, by our inductive hypothesis since r {0, 1,..., n}. From 2) and 3) it follows that n + 1 m A B, for all m 3n + 1). Now, if 2t = q, B 3t0+1 n + 1 ) q. + r q. = = r m n + 1 n + 1 A B Rev. Un. Mat. Argentina, Vol. 59, No )
12 386 B. LEAL, G. MATA, AND S. MUÑOZ by the inductive hypothesis since r {0, 1,..., n}. Therefore, from 2) and 3) it follows that n + 1 m A B, for all m 3n + 1). The proof of Case 3 is complete. To finish the proof of Lemma 13, let p Q \ {0}. If 0 < p 1, from Case 3 we have p A B. If p > 1, then from 1) Bp) 0, 1) and Bp) Q; consequently, there exist integers n 1 and m > n such that Bp) = n m. From Case 3 and 2), p A B. Finally, if p < 0, by 1) and 2) we have that p A B. This completes the proof of Lemma 13. Acnowledgments The authors express their gratitude to the Vice-Rector for Postgraduate Studies and Research and the Research Group Clean Energy and Enviroment Research of the National University of Chimborazo UNACH) for the support received during the development of this research. The author Bladismir Leal is grateful to Neptalí Romero for his good suggestions and conversations. References [1] D. V. Anosov. Geodesic flows on closed Riemann manifolds with negative curvature. Proceedings of the Stelov Institute of Mathematics, no ). American Mathematical Society, MR [2] G. Boole. On the comparison of transcendents, with certain applications to the theory of definite integrals. Phil. Trans. R. Soc. Lond ), [3] A. Crannell. The role of transitivity in Devaney s definition of chaos. Amer. Math. Monthly ), no. 9, MR [4] R. L. Devaney. The baer transformation and a mapping associated to the restricted threebody problem. Comm. Math. Phys ), no. 4, MR [5] R. L. Devaney. An introduction to chaotic dynamical systems. Second edition. Addison- Wesley, MR [6] M. Hénon. Generating families in the restricted three-body problem, II: Quantitative study of bifurcations. Lecture Notes in Physics, New Series m: Monographs, 65. Springer, Berlin, MR [7] S. Kolyada and L. Snoha. Some aspects of topological transitivity a survey. In: Iteration theory ECIT 94) Opava), Grazer Math. Ber., 334, Karl-Franzens-Univ. Graz, Graz, MR [8] F. Lenarduzzi. Generalized Hénon-Devaney maps of the plane. Doctoral thesis, IMPA, [9] P Mendes. On Anosov diffeomorphisms on the plane. Proc. Amer. Math. Soc ), no. 2, MR [10] S. Muñoz. Robust transitivity and ergodicity of transformations of the real line and real plane. Doctoral thesis, IMPA, [11] S. Muñoz. Robust transitivity of maps of the real line. Discrete Contin. Dyn. Syst ), no. 3, MR [12] A. Nagar and S. P. Sesha Sai. Some classes of transitive maps on R. J. Anal ), MR [13] A. Nagar, V. Kannan and S. P. Sesha Sai. Properties of topologically transitive maps on the real line. Real Anal. Exchange /02), no. 1, MR [14] W. Parry. Symbolic dynamics and transformations of the unit interval. Trans. Amer. Math. Soc ), MR [15] E. Pujals. From hyperbolicity to dominated splitting. In: Partially hyperbolic dynamics, laminations, and Teichmüller flow, , Fields Inst. Commun., 51, Amer. Math. Soc., Providence, RI, MR Rev. Un. Mat. Argentina, Vol. 59, No )
13 TRANSITIVE MAPS ON R WITH HORIZONTAL ASYMPTOTES 387 [16] W. Reddy. Expanding maps on compact metric spaces. Topology Appl ), no. 3, MR [17] M. Shub. Topologically transitive diffeomorphisms of T 4. In: Symposium on Differential Equations and Dynamical Systems University of Warwic, ), 39 40, Lecture Notes in Mathematics, 206, Springer-Verlag, Berlin, New Yor, [18] S. Smale. Differentiable dynamical systems. Bull. Amer. Math. Soc ), MR [19] M. Velleoop and R. Berglund. On intervals, transitivity = chaos. Amer. Math. Monthly ), no. 4, MR B. Leal Facultad de Ingeniería, Universidad Nacional de Chimborazo, Riobamba, Ecuador and Departamento de Matemática, Facultad de Ciencias, La Hechicera, Universidad de los Andes, Mérida 5101, Venezuela bladismir@ula.ve G. Mata Facultad de Ingeniería, Universidad Nacional de Chimborazo, Riobamba, Ecuador and Departamento de Matemática, Facultad de Ciencias, La Hechicera, Universidad de los Andes, Mérida 5101, Venezuela gmata@ula.ve S. Muñoz Faculdade de Tecnologia, Universidade do Estado do Rio de Janeiro UERJ), Resende, RJ, Brasil sergiomunoz056@gmail.com Received: December 9, 2017 Accepted: May 3, 2018 Rev. Un. Mat. Argentina, Vol. 59, No )
CHAOTIC BEHAVIOR IN A FORECAST MODEL
CHAOTIC BEHAVIOR IN A FORECAST MODEL MICHAEL BOYLE AND MARK TOMFORDE Abstract. We examine a certain interval map, called the weather map, that has been used by previous authors as a toy model for weather
More informationCHAOTIC UNIMODAL AND BIMODAL MAPS
CHAOTIC UNIMODAL AND BIMODAL MAPS FRED SHULTZ Abstract. We describe up to conjugacy all unimodal and bimodal maps that are chaotic, by giving necessary and sufficient conditions for unimodal and bimodal
More informationTECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS
TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS ANDY HAMMERLINDL ABSTRACT. We give theorems which establish the existence of a dominated splitting and further properties, such as partial hyperbolicity.
More informationMARKOV PARTITIONS FOR HYPERBOLIC SETS
MARKOV PARTITIONS FOR HYPERBOLIC SETS TODD FISHER, HIMAL RATHNAKUMARA Abstract. We show that if f is a diffeomorphism of a manifold to itself, Λ is a mixing (or transitive) hyperbolic set, and V is a neighborhood
More informationLINEAR CHAOS? Nathan S. Feldman
LINEAR CHAOS? Nathan S. Feldman In this article we hope to convience the reader that the dynamics of linear operators can be fantastically complex and that linear dynamics exhibits the same beauty and
More informationEXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 172, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS
More informationOn Devaney Chaos and Dense Periodic Points: Period 3 and Higher Implies Chaos
On Devaney Chaos and Dense Periodic Points: Period 3 and Higher Implies Chaos Syahida Che Dzul-Kifli and Chris Good Abstract. We look at density of periodic points and Devaney Chaos. We prove that if f
More informationHYPERBOLIC SETS WITH NONEMPTY INTERIOR
HYPERBOLIC SETS WITH NONEMPTY INTERIOR TODD FISHER, UNIVERSITY OF MARYLAND Abstract. In this paper we study hyperbolic sets with nonempty interior. We prove the folklore theorem that every transitive hyperbolic
More informationA Note on the Generalized Shift Map
Gen. Math. Notes, Vol. 1, No. 2, December 2010, pp. 159-165 ISSN 2219-7184; Copyright c ICSRS Publication, 2010 www.i-csrs.org Available free online at http://www.geman.in A Note on the Generalized Shift
More informationSENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS
SENSITIVITY AND REGIONALLY PROXIMAL RELATION IN MINIMAL SYSTEMS SONG SHAO, XIANGDONG YE AND RUIFENG ZHANG Abstract. A topological dynamical system is n-sensitive, if there is a positive constant such that
More informationON DEVANEY S DEFINITION OF CHAOS AND DENSE PERIODIC POINTS
ON DEVANEY S DEFINITION OF CHAOS AND DENSE PERIODIC POINTS SYAHIDA CHE DZUL-KIFLI AND CHRIS GOOD Abstract. We look again at density of periodic points and Devaney Chaos. We prove that if f is Devaney Chaotic
More informationLipschitz shadowing implies structural stability
Lipschitz shadowing implies structural stability Sergei Yu. Pilyugin Sergei B. Tihomirov Abstract We show that the Lipschitz shadowing property of a diffeomorphism is equivalent to structural stability.
More informationLi- Yorke Chaos in Product Dynamical Systems
Advances in Dynamical Systems and Applications. ISSN 0973-5321, Volume 12, Number 1, (2017) pp. 81-88 Research India Publications http://www.ripublication.com Li- Yorke Chaos in Product Dynamical Systems
More informationDYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS
DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS Issam Naghmouchi To cite this version: Issam Naghmouchi. DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS. 2010. HAL Id: hal-00593321 https://hal.archives-ouvertes.fr/hal-00593321v2
More informationTHE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM
Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More information1 The Local-to-Global Lemma
Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.
More informationGENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES
Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February
More informationTurbulence and Devaney s Chaos in Interval
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 13, Number 2 (2017), pp. 713-717 Research India Publications http://www.ripublication.com Turbulence and Devaney s Chaos in Interval
More informationSHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS
Dynamic Systems and Applications 19 (2010) 405-414 SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS YUHU WU 1,2 AND XIAOPING XUE 1 1 Department of Mathematics, Harbin
More informationPERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA
PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS A. M. Blokh Department of Mathematics, Wesleyan University Middletown, CT 06459-0128, USA August 1991, revised May 1992 Abstract. Let X be a compact tree,
More informationELEMENTARY PROOF OF THE CONTINUITY OF THE TOPOLOGICAL ENTROPY AT θ = 1001 IN THE MILNOR THURSTON WORLD
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 58, No., 207, Pages 63 88 Published online: June 3, 207 ELEMENTARY PROOF OF THE CONTINUITY OF THE TOPOLOGICAL ENTROPY AT θ = 00 IN THE MILNOR THURSTON WORLD
More informationOn Periodic points of area preserving torus homeomorphisms
On Periodic points of area preserving torus homeomorphisms Fábio Armando Tal and Salvador Addas-Zanata Instituto de Matemática e Estatística Universidade de São Paulo Rua do Matão 11, Cidade Universitária,
More informationPERIODIC POINTS OF THE FAMILY OF TENT MAPS
PERIODIC POINTS OF THE FAMILY OF TENT MAPS ROBERTO HASFURA-B. AND PHILLIP LYNCH 1. INTRODUCTION. Of interest in this article is the dynamical behavior of the one-parameter family of maps T (x) = (1/2 x
More informationApril 13, We now extend the structure of the horseshoe to more general kinds of invariant. x (v) λ n v.
April 3, 005 - Hyperbolic Sets We now extend the structure of the horseshoe to more general kinds of invariant sets. Let r, and let f D r (M) where M is a Riemannian manifold. A compact f invariant set
More informationChaos induced by coupled-expanding maps
First Prev Next Last Seminar on CCCN, Jan. 26, 2006 Chaos induced by coupled-expanding maps Page 1 of 35 Yuming Shi Department of Mathematics Shandong University, China ymshi@sdu.edu.cn Collaborators:
More informationExtension of continuous functions in digital spaces with the Khalimsky topology
Extension of continuous functions in digital spaces with the Khalimsky topology Erik Melin Uppsala University, Department of Mathematics Box 480, SE-751 06 Uppsala, Sweden melin@math.uu.se http://www.math.uu.se/~melin
More informationINVESTIGATION OF CHAOTICITY OF THE GENERALIZED SHIFT MAP UNDER A NEW DEFINITION OF CHAOS AND COMPARE WITH SHIFT MAP
ISSN 2411-247X INVESTIGATION OF CHAOTICITY OF THE GENERALIZED SHIFT MAP UNDER A NEW DEFINITION OF CHAOS AND COMPARE WITH SHIFT MAP Hena Rani Biswas * Department of Mathematics, University of Barisal, Barisal
More informationHAMILTONIAN ELLIPTIC DYNAMICS ON SYMPLECTIC 4-MANIFOLDS
HAMILTONIAN ELLIPTIC DYNAMICS ON SYMPLECTIC 4-MANIFOLDS MÁRIO BESSA AND JOÃO LOPES DIAS Abstract. We consider C 2 Hamiltonian functions on compact 4-dimensional symplectic manifolds to study elliptic dynamics
More informationAN EXTENSION OF MARKOV PARTITIONS FOR A CERTAIN TORAL ENDOMORPHISM
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XXXIX 2001 AN EXTENSION OF MARKOV PARTITIONS FOR A CERTAIN TORAL ENDOMORPHISM by Kinga Stolot Abstract. We define and construct Markov partition
More informationp(r)=hmsup sup (r»),!! 1^ n >oo zeb
INVARIANT MANIFOLDS BY M. W. HIRSCH, C. C. PUGH AND M. SHUB Communicated by Stephen Smale, April 29, 1970 0. Introduction. Let M be a finite dimensional Riemann manifold without boundary. Kupka [5], Sacker
More informationEssential hyperbolicity versus homoclinic bifurcations. Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals
Essential hyperbolicity versus homoclinic bifurcations Global dynamics beyond uniform hyperbolicity, Beijing 2009 Sylvain Crovisier - Enrique Pujals Generic dynamics Consider: M: compact boundaryless manifold,
More informationABSOLUTE CONTINUITY OF FOLIATIONS
ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationCompact Sets with Dense Orbit in 2 X
Volume 40, 2012 Pages 319 330 http://topology.auburn.edu/tp/ Compact Sets with Dense Orbit in 2 X by Paloma Hernández, Jefferson King, and Héctor Méndez Electronically published on March 12, 2012 Topology
More informationPRIME-REPRESENTING FUNCTIONS
Acta Math. Hungar., 128 (4) (2010), 307 314. DOI: 10.1007/s10474-010-9191-x First published online March 18, 2010 PRIME-REPRESENTING FUNCTIONS K. MATOMÄKI Department of Mathematics, University of Turu,
More informationSYMBOLIC DYNAMICS FOR HYPERBOLIC SYSTEMS. 1. Introduction (30min) We want to find simple models for uniformly hyperbolic systems, such as for:
SYMBOLIC DYNAMICS FOR HYPERBOLIC SYSTEMS YURI LIMA 1. Introduction (30min) We want to find simple models for uniformly hyperbolic systems, such as for: [ ] 2 1 Hyperbolic toral automorphisms, e.g. f A
More informationA note on Devaney's definition of chaos
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part A Faculty of Engineering and Information Sciences 2004 A note on Devaney's definition of chaos Joseph
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationDIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS
DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS CLARK ROBINSON 0. Introduction In this paper 1, we show how the differentiable linearization of a diffeomorphism near a hyperbolic fixed point
More informationARTICLE IN PRESS. J. Math. Anal. Appl. ( ) Note. On pairwise sensitivity. Benoît Cadre, Pierre Jacob
S0022-27X0500087-9/SCO AID:9973 Vol. [DTD5] P.1 1-8 YJMAA:m1 v 1.35 Prn:15/02/2005; 16:33 yjmaa9973 by:jk p. 1 J. Math. Anal. Appl. www.elsevier.com/locate/jmaa Note On pairwise sensitivity Benoît Cadre,
More informationMEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE
MEAN DIMENSION AND AN EMBEDDING PROBLEM: AN EXAMPLE ELON LINDENSTRAUSS, MASAKI TSUKAMOTO Abstract. For any positive integer D, we construct a minimal dynamical system with mean dimension equal to D/2 that
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationSPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationHyperbolic homeomorphisms and bishadowing
ANNALES POLONICI MATHEMATICI LXV.2 (1997) Hyperbolic homeomorphisms and bishadowing by P. E. Kloeden (Geelong, Victoria) and J. Ombach (Kraków) Abstract. Hyperbolic homeomorphisms on compact manifolds
More informationEQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES
EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space
More informationA classification of explosions in dimension one
Ergod. Th. & Dynam. Sys. (29), 29, 715 731 doi:1.117/s143385788486 c 28 Cambridge University Press Printed in the United Kingdom A classification of explosions in dimension one E. SANDER and J. A. YORKE
More informationQ & A in General Topology, Vol. 16 (1998)
Q & A in General Topology, Vol. 16 (1998) QUESTIONS ON INDUCED UNIVERSAL MAPPINGS JANUSZ J. CHARATONIK AND WLODZIMIERZ J. CHARATONIK University of Wroclaw (Wroclaw, Poland) Universidad Nacional Aut6noma
More informationIterated Function Systems: Transitivity and Minimality
Bol. Soc. Paran. Mat. (3s.) v. 00 0 (0000):????. c SPM ISSN-2175-1188 on line ISSN-00378712 in press SPM: www.spm.uem.br/bspm doi:10.5269/bspm.v38i3.38220 Iterated Function Systems: Transitivity and Minimality
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationTHE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS
J. Appl. Math. & Computing Vol. 4(2004), No. - 2, pp. 277-288 THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS LIDONG WANG, GONGFU LIAO, ZHENYAN CHU AND XIAODONG DUAN
More informationA fixed point theorem for weakly Zamfirescu mappings
A fixed point theorem for weakly Zamfirescu mappings David Ariza-Ruiz Dept. Análisis Matemático, Fac. Matemáticas, Universidad de Sevilla, Apdo. 1160, 41080-Sevilla, Spain Antonio Jiménez-Melado Dept.
More informationA Note on the Distribution of Numbers with a Maximum (Minimum) Fixed Prime Factor
International Mathematical Forum, Vol. 7, 2012, no. 13, 615-620 A Note on the Distribution of Numbers with a Maximum Minimum) Fixed Prime Factor Rafael Jakimczuk División Matemática, Universidad Nacional
More informationThe Greatest Common Divisor of k Positive Integers
International Mathematical Forum, Vol. 3, 208, no. 5, 25-223 HIKARI Ltd, www.m-hiari.com https://doi.org/0.2988/imf.208.822 The Greatest Common Divisor of Positive Integers Rafael Jaimczu División Matemática,
More informationA Note on the Distribution of Numbers with a Minimum Fixed Prime Factor with Exponent Greater than 1
International Mathematical Forum, Vol. 7, 2012, no. 13, 609-614 A Note on the Distribution of Numbers with a Minimum Fixed Prime Factor with Exponent Greater than 1 Rafael Jakimczuk División Matemática,
More informationRemoving the Noise from Chaos Plus Noise
Removing the Noise from Chaos Plus Noise Steven P. Lalley Department of Statistics University of Chicago November 5, 2 Abstract The problem of extracting a signal x n generated by a dynamical system from
More informationRobustly transitive diffeomorphisms
Robustly transitive diffeomorphisms Todd Fisher tfisher@math.byu.edu Department of Mathematics, Brigham Young University Summer School, Chengdu, China 2009 Dynamical systems The setting for a dynamical
More informationUniform Convergence, Mixing and Chaos
Studies in Mathematical Sciences Vol. 2, No. 1, 2011, pp. 73-79 www.cscanada.org ISSN 1923-8444 [Print] ISSN 1923-8452 [Online] www.cscanada.net Uniform Convergence, Mixing and Chaos Lidong WANG 1,2 Lingling
More informationTHE CLASSIFICATION OF TILING SPACE FLOWS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 THE CLASSIFICATION OF TILING SPACE FLOWS by Alex Clark Abstract. We consider the conjugacy of the natural flows on one-dimensional tiling
More informationDiscrete dynamics on the real line
Chapter 2 Discrete dynamics on the real line We consider the discrete time dynamical system x n+1 = f(x n ) for a continuous map f : R R. Definitions The forward orbit of x 0 is: O + (x 0 ) = {x 0, f(x
More informationORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY
ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY AND ω-limit SETS CHRIS GOOD AND JONATHAN MEDDAUGH Abstract. Let f : X X be a continuous map on a compact metric space, let ω f be the collection of ω-limit
More informationWHAT IS A CHAOTIC ATTRACTOR?
WHAT IS A CHAOTIC ATTRACTOR? CLARK ROBINSON Abstract. Devaney gave a mathematical definition of the term chaos, which had earlier been introduced by Yorke. We discuss issues involved in choosing the properties
More informationA LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS
A LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS SLOBODAN N. SIMIĆ Abstract. Whereas subriemannian geometry usually deals with smooth horizontal distributions, partially hyperbolic
More informationSingular Perturbations in the McMullen Domain
Singular Perturbations in the McMullen Domain Robert L. Devaney Sebastian M. Marotta Department of Mathematics Boston University January 5, 2008 Abstract In this paper we study the dynamics of the family
More informationC 1 DENSITY OF AXIOM A FOR 1D DYNAMICS
C 1 DENSITY OF AXIOM A FOR 1D DYNAMICS DAVID DIICA Abstract. We outline a proof of the C 1 unimodal maps of the interval. density of Axiom A systems among the set of 1. Introduction The amazing theory
More informationarxiv: v2 [math.ca] 10 Apr 2010
CLASSIFYING CANTOR SETS BY THEIR FRACTAL DIMENSIONS arxiv:0905.1980v2 [math.ca] 10 Apr 2010 CARLOS A. CABRELLI, KATHRYN E. HARE, AND URSULA M. MOLTER Abstract. In this article we study Cantor sets defined
More informationTransitive sensitive subsystems for interval maps
STUDIA MATHEMATICA 69 () (2005) Transitive sensitive subsystems for interval maps by Sylvie Ruette (Paris) Abstract. We prove that for continuous interval maps the existence of a non-empty closed invariant
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationTopologic Conjugation and Asymptotic Stability in Impulsive Semidynamical Systems
CADERNOS DE MATEMÁTICA 06, 45 60 May (2005) ARTIGO NÚMERO SMA#211 Topologic Conjugation and Asymptotic Stability in Impulsive Semidynamical Systems Everaldo de Mello Bonotto * Departamento de Matemática,
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationTHE IMPLICIT FUNCTION THEOREM FOR CONTINUOUS FUNCTIONS. Carlos Biasi Carlos Gutierrez Edivaldo L. dos Santos. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 32, 2008, 177 185 THE IMPLICIT FUNCTION THEOREM FOR CONTINUOUS FUNCTIONS Carlos Biasi Carlos Gutierrez Edivaldo L.
More informationLyapunov exponents of Teichmüller flows
Lyapunov exponents ofteichmüller flows p 1/6 Lyapunov exponents of Teichmüller flows Marcelo Viana IMPA - Rio de Janeiro Lyapunov exponents ofteichmüller flows p 2/6 Lecture # 1 Geodesic flows on translation
More informationarxiv:math/ v2 [math.gt] 5 Sep 2006
arxiv:math/0609099v2 [math.gt] 5 Sep 2006 PROPERLY EMBEDDED LEAST AREA PLANES IN GROMOV HYPERBOLIC 3-SPACES BARIS COSKUNUZER ABSTRACT. Let X be a Gromov hyperbolic 3-space with cocompact metric, and S
More informationarxiv: v1 [math.ds] 25 Nov 2016
Observing Expansive Maps arxiv:1611.08488v1 [math.ds] 25 Nov 2016 M. Achigar, A. Artigue and I. Monteverde November, 2018 Abstract We consider the problem of the observability of positively expansive maps
More informationThe Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania
The Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania AMS Subject Classification: Primary: 37F10 Secondary: 51N05, 54D70 Key Words: Julia Set, Complex Dynamics,
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
More informationPREVALENCE OF SOME KNOWN TYPICAL PROPERTIES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXX, 2(2001), pp. 185 192 185 PREVALENCE OF SOME KNOWN TYPICAL PROPERTIES H. SHI Abstract. In this paper, some known typical properties of function spaces are shown to
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationMAT 544 Problem Set 2 Solutions
MAT 544 Problem Set 2 Solutions Problems. Problem 1 A metric space is separable if it contains a dense subset which is finite or countably infinite. Prove that every totally bounded metric space X is separable.
More informationLecture 16 Symbolic dynamics.
Lecture 16 Symbolic dynamics. 1 Symbolic dynamics. The full shift on two letters and the Baker s transformation. 2 Shifts of finite type. 3 Directed multigraphs. 4 The zeta function. 5 Topological entropy.
More informationarxiv:math/ v1 [math.gr] 24 Oct 2005
arxiv:math/0510511v1 [math.gr] 24 Oct 2005 DENSE SUBSETS OF BOUNDARIES OF CAT(0) GROUPS TETSUYA HOSAKA Abstract. In this paper, we study dense subsets of boundaries of CAT(0) groups. Suppose that a group
More informationON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS
ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition
More informationROBUST MINIMALITY OF ITERATED FUNCTION SYSTEMS WITH TWO GENERATORS
ROBUST MINIMALITY OF ITERATED FUNCTION SYSTEMS WITH TWO GENERATORS ALE JAN HOMBURG AND MEYSAM NASSIRI Abstract. We prove that any compact manifold without boundary admits a pair of diffeomorphisms that
More informationTHE SEMICONTINUITY LEMMA
THE SEMICONTINUITY LEMMA BRUNO SANTIAGO Abstract. In this note we present a proof of the well-know semicontinuity lemma in the separable case. 1. Introduction There exists two basic topological results,
More informationREVERSALS ON SFT S. 1. Introduction and preliminaries
Trends in Mathematics Information Center for Mathematical Sciences Volume 7, Number 2, December, 2004, Pages 119 125 REVERSALS ON SFT S JUNGSEOB LEE Abstract. Reversals of topological dynamical systems
More informationOn the K-category of 3-manifolds for K a wedge of spheres or projective planes
On the K-category of 3-manifolds for K a wedge of spheres or projective planes J. C. Gómez-Larrañaga F. González-Acuña Wolfgang Heil July 27, 2012 Abstract For a complex K, a closed 3-manifold M is of
More informationGelfand Semirings, m-semirings and the Zariski Topology
International Journal of Algebra, Vol. 3, 2009, no. 20, 981-991 Gelfand Semirings, m-semirings and the Zariski Topology L. M. Ruza Departamento de Matemáticas, Facultad de Ciencias Universidad de los Andes,
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationTRIVIAL CENTRALIZERS FOR AXIOM A DIFFEOMORPHISMS
TRIVIAL CENTRALIZERS FOR AXIOM A DIFFEOMORPHISMS TODD FISHER Abstract. We show there is a residual set of non-anosov C Axiom A diffeomorphisms with the no cycles property whose elements have trivial centralizer.
More informationarxiv: v2 [math.ca] 4 Jun 2017
EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known
More informationAbundance of stable ergodicity
Abundance of stable ergodicity Christian Bonatti, Carlos Matheus, Marcelo Viana, Amie Wilkinson October 5, 2004 Abstract We consider the set PH ω (M) of volume preserving partially hyperbolic diffeomorphisms
More informationWhitney topology and spaces of preference relations. Abstract
Whitney topology and spaces of preference relations Oleksandra Hubal Lviv National University Michael Zarichnyi University of Rzeszow, Lviv National University Abstract The strong Whitney topology on the
More informationNON-DIVERGENT INFINITELY DISCRETE TEICHMÜLLER MODULAR TRANSFORMATION
NON-DIVERGENT INFINITELY DISCRETE TEICHMÜLLER MODULAR TRANSFORMATION EGE FUJIKAWA AND KATSUHIKO MATSUZAKI Abstract. We consider a classification of Teichmüller modular transformations of an analytically
More informationSINGULAR HYPERBOLIC SYSTEMS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 11, Pages 3393 3401 S 0002-9939(99)04936-9 Article electronically published on May 4, 1999 SINGULAR HYPERBOLIC SYSTEMS C. A. MORALES,
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationUncountable γ-sets under axiom CPA game
F U N D A M E N T A MATHEMATICAE 176 (2003) Uncountable γ-sets under axiom CPA game by Krzysztof Ciesielski (Morgantown, WV), Andrés Millán (Morgantown, WV) and Janusz Pawlikowski (Wrocław) Abstract. We
More informationComplexity and Simplicity in the dynamics of Totally Transitive graph maps
Complexity and Simplicity in the dynamics of Totally Transitive graph maps Lluís Alsedà in collaboration with Liane Bordignon and Jorge Groisman Centre de Recerca Matemàtica Departament de Matemàtiques
More information