arxiv: v1 [math.ds] 31 May 2017

Transcription

1 Interntionl Journl of Bifurction nd Chos c World Scientific Publishing Compny THE CHAOTIC SADDLE IN THE LOZI MAP, AUTONOMOUS AND NONAUTONOMOUS VERSIONS rxiv: v1 [mth.ds] 31 My 017 CARLOS LOPESINO * Instituto de Ciencis Mtemátics, CSIC-UAM-UC3M-UCM, C/ Nicolás Cbrer 15, Cmpus Cntoblnco UAM, 8049 Mdrid, Spin crlos.lopesino@icmt.es FRANCISCO BALIBREA-INIESTA Instituto de Ciencis Mtemátics, CSIC-UAM-UC3M-UCM, C/ Nicolás Cbrer 15, Cmpus Cntoblnco UAM, 8049 Mdrid, Spin frncisco.blibre@icmt.es STEPHEN WIGGINS School of Mthemtics, University of Bristol BS8 1TW Bristol, United Kingdom mxsw@bristol.c.uk ANA M. MANCHO Instituto de Ciencis Mtemátics, CSIC-UAM-UC3M-UCM, C/ Nicolás Cbrer 15, Cmpus Cntoblnco UAM, 8049 Mdrid, Spin.m.mncho@icmt.es Received (to be inserted by publisher) In this pper we prove the existence of chotic sddle for piecewise liner mp of the plne, referred to s the Lozi mp. We study the Lozi mp in its orienttion nd re preserving version. First, we consider the utonomous version of the Lozi mp to which we pply the Conley-Moser conditions to obtin the proof of chotic sddle. Then we generlize the Lozi mp on nonutonomous version nd we prove tht the first nd the third Conley-Moser conditions re stisfied, which imply the existence of chotic sddle. Finlly, we numericlly demonstrte how the structure of this nonutonomous chotic sddle vries s prmeters re vried. Keywords: Chotic Sddle, utonomous dynmics, nonutonomous dynmics, Lozi mp, Conley- Moser conditions. Instituto de Ciencis Mtemátics, CSIC-UAM-UC3M-UCM, Mdrid Spin, crlos.lopesino@icmt.es Instituto de Ciencis Mtemátics, CSIC-UAM-UC3M-UCM, Mdrid Spin, frncisco.blibre@icmt.es School of Mthemtics, University of Bristol, Bristol, United Kingdom, mxsw@bristol.c.uk Instituto de Ciencis Mtemátics, CSIC-UAM-UC3M-UCM, Mdrid Spin,.m.mncho@icmt.es 1

2 Lopesino et l. 1. Introduction In this pper we prove tht the Lozi mp ([Lozi, 1978]), s well s nonutonomous generliztion of the Lozi mp, possesses chotic sddle, i.e. hyperbolic invrint set on which the dynmics is topologiclly conjugte to Bernoulli shift. Our construction uses the Conley-Moser conditions for utonomous mps s developed in [Moser, 1973] (see lso [Wiggins, 003]) nd the nonutonomous Conley-Moser conditions s developed in [Wiggins, 1999] nd [Blibre-Iniest, et l., 015]. For erlier work in similr spirit s the Conley-Moser conditions see [Alekseev, 1968,b, 1969]. Previously, the utonomous Conley-Moser conditions hve been used by [Devney nd Nitecki, 1979] to show the existence of chotic invrint set for the Hénon mp nd by [Holmes, 198] nd [Chsting, et l., 014] to show the existence of chotic invrint set for the bouncing bll mp. While the development of the dynmicl systems pproch to nonutonomous dynmics is currently topic of much interest in the pure mthemtics community, it is not topic tht is widely known in the pplied dynmicl systems community (especilly the fundmentl work tht ws done in the 1960 s). An pplied motivtion for such work is n understnding from the dynmicl systems point of view of fluid trnsport for periodiclly time dependent flows. [Wiggins nd Mncho, 014] hve given survey of the history of nonutonomous dynmics s well s its ppliction to fluid trnsport. Erlier work on chos in nonutonomous systems is described in [Lermn nd Silnikov, 199; Stoffer, 1988,b]. This pper is outlined s follows. In section 1 we introduce the setup of the problem. The definitions nd theorems given in this section mke cler wht we men by the phrse chotic invrint set for both utonomous nd nonutonomous mps. In sections 3 nd 4 we construct chotic invrint sets (i.e., chotic sddles) for both the utonomous nd nonutonomous versions of the Lozi mp, respectively. In section 5 we show how these sets re detected using the Discrete Lgrngin Descriptor (see [Lopesino, et l., 015]) for different prmeter vlues, both in the utonomous or in the nonutonomous cse. Finlly, in section 6 we summrize our results.. Setup nd geometry of the problem In this section we recll the set-up for the utonomous Conley-Moser conditions tht were introduced by [Moser, 1973] nd the nonutonomous Conley-Moser conditions introduced in [Wiggins, 1999]. We follow the structure in [Wiggins, 003] for our exposition, but with n inverse nottion (tht is f L 1 in the utonomous cse nd f n L 1 n in the nonutonomous cse, where we use the nottion L in the utonomous cse nd L 1 n in the nonutonomous cse to denote the generl form for the mps under considertion, rther thn f nd f n, respectively, from the originl references, since L is trditionlly used to refer to the Lozi mp)..1. The Autonomous Conley-Moser Conditions We begin with the following two definitions. Definition.1. A µ v -verticl curve is the grph of function x = v(y) for which R v(y) R, v(y 1 ) v(y ) µ v y 1 y for R y 1, y R. Similrly, µ h -horizontl curve is the grph of function y = h(x) for which R h(x) R, h(x 1 ) h(x ) µ h x 1 x for R x 1, x R. Definition.. Given two nonintersecting µ v -verticl curves v 1 (y) < v (y), y [ R, R], we define µ v -verticl strip s V = (x, y) R x [v 1 (y), v (y)]; y [ R, R] }. Similrly, given two nonintersecting µ h -horizontl curves h 1 (x) < h (x), x [ R, R], we define µ h - horizontl strip s H = (x, y) R y [h 1 (x), h (x)]; x [ R, R] }.

3 The width of horizontl nd verticl strips is defined s The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 3 d(h) = d(v ) = mx h (x) h 1 (x), x [ R,R] mx v (y) v 1 (y). y [ R,R] Keeping these definitions in mind, we begin with the Conley Moser conditions for the utonomous cse. We consider mp where D is squre in R, i.e., L : D R, Let D = (x, y) R R x R, R y R }. be n index set, nd let I = 1,,..., N}, (N ), H i, i I be set of disjoint µ h -horizontl strips nd let V i, i I be set of disjoint µ v -verticl strips. Suppose tht L stisfies the following two conditions. Assumption 1: 0 µ v µ h < 1 nd L mps V i homeomorphiclly onto H i, (L(V i ) = H i ) for i I. Moreover, the horizontl boundries of V i mp to the horizontl boundries of H i nd the verticl boundries of V i mp to the verticl boundries of H i. Assumption : Suppose H is µ h -horizontl strip contined in i I H i. Then is µ h -horizontl strip for every i I. Moreover, L(H) H i H i d( H i ) ν h d(h) for some 0 < ν h < 1. Similrly, suppose V is µ v -verticl strip contined in i I V i. Then is µ v -verticl strip for every i I. Moreover, L 1 (V ) V i Ṽi Then we hve the following theorem. d(ṽi) ν v d(v ) for some 0 < ν v < 1.

4 4 Lopesino et l. Theorem 1. Suppose L stisfies Assumptions 1 nd. Then L hs n invrint Cntor set, Λ, on which it is topologiclly conjugte to full shift on N symbols, i.e., the following digrm commutes L Λ Λ φ φ σ Σ N Σ N where φ is homeomorphism mpping Λ onto Σ N nd σ denotes the shift mp cting on on spce of bi-infinite sequence of N symbols, denoted by Σ N. More detils on the mp σ nd the spce Σ N cn be found in [Wiggins, 003], s well s in comments following (10). (1).. The Nonutonomous Conley-Moser Conditions Next we describe the setting for the nonutonomous Conley-Moser conditions. These conditions were generlized by [Wiggins, 1999] but we re using the nottion used in [Blibre-Iniest, et l., 015],where more detiled discussion of the definitions is given. Definition.3. Let D R denote closed nd bounded set. We define its projections s D x = x R for which there exists y R with (x, y) D} D y = y R for which there exists x R with (x, y) D} D x nd D y represent the projections of D onto the x xis nd the y xis, respectively. Let I x be closed intervl contined in D x nd let I y be closed intervl contined in D y. Definition.4. Let 0 µ h <. A µ h -horizontl curve, H, is defined to be the grph of function h : I x R where h stisfies the following two conditions: (1) The set H = (x, h(x)) R R such tht x I x } is contined in D. () For every x 1, x I x, we hve h(x 1 ) h(x ) µ h x 1 x. () Similrly, let 0 µ v <. A µ v -verticl curve, V, is defined to be the grph of function v : I y R where v stisfies the following two conditions: (1) The set V = (v(y), y) R R such tht y I y } is contined in D. () For every y 1, y I y, we hve v(y 1 ) v(y ) µ v y 1 y. (3) Now we cn define two dimensionl strips by using these horizontl nd verticl curves. Definition.5. Given two nonintersecting µ v -verticl curves v 1 (y) < v (y), y I y, we define µ v verticl strip s V = (x, y) R such tht x [v 1 (y), v (y)]; y I y }.

5 The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 5 Similrly, given two nonintersecting µ h -horizontl curves h 1 (x) < h (x), x I x, we define µ h horizontl strip s H = (x, y) R such tht y [h 1 (x), h (x)]; x I x }. The width of horizontl nd verticl strips is defined s d(h) = mx x I x h (x) h 1 (x), d(v ) = mx y I y v (y) v 1 (y). Additionlly, we define horizontl nd verticl boundries of the strips. Definition.6. The verticl boundry 1 of µ h -horizontl strip H is denoted v H nd is defined s v H = (x, y) H such tht x I x }. The horizontl boundry of µ h -horizontl strip H is denoted h H nd is defined s h H H v H. We cn similrly the boundries of µ v -verticl strips. Now we need to define nother kind of strip which will pper in the nonutonomous Conley-Moser conditions. Definition.7. We sy tht H is µ h -horizontl strip contined in µ v -verticl strip V if the two µ h - horizontl curves defining the verticl boundry of H re contined in V, with the remining boundry components of H contined in v V. The two µ h -horizontl curves defining the horizontl boundry of H re referred to s the horizontl boundry of H, nd the remining boundry components re referred to s the verticl boundry of H. This is described in detil in the next definition. Definition.8. Let H be µ h -horizontl strip contined in µ v -verticl strip, V. We define the boundries of H s nd v H = (x, y) H such tht (x, y) v H} = H v H, h H = H v H. The boundries of Ṽ µ v-verticl strip contined in Hµ h -horizontl strip re defined nlogously. We will be interested in the behviour of µ v -verticl strips under mps. We wnt to focus in the cse when the imge of µ v -verticl strip intersects its preimge. Definition.9. Let V nd Ṽ be µ v-verticl strips. Ṽ is sid to intersect V fully if Ṽ V nd hṽ hv. Now we cn stte the min theorem for the nonuntonomous cse. Let L n, D n } + mps with n= sequence of L n : D n D n+1, n Z nd L 1 n : D n+1 D n (4) 1 The symbol is the usul nottion from topology denoting the boundry of set. In this pper we further refine this notion by referring to horizontl boundries, h, nd verticl boundries, v.

6 6 Lopesino et l. in cse the corresponding inverse function exists. We require tht on ech domin D n there exists finite collection of verticl strips Vi n D n ( n Z nd i I = 1,,..., N}) which mp into finite collection of horizontl strips locted in D n+1 : We lso need to define H n+1 i D n+1 with L n (V n i ) = H n+1 i, n Z, i I (5) H n+1 ij H n+1 i V n+1 j V n ji L 1 n (Vj n+1 ) V n i Following this ide we introduce the definition of trnsition mtrix ssocited to sequence of mps L n, D n } + n=, A A n } + n= is sequence of mtrices of dimension N N such tht (6) A n ij = A n ij = 1 if L n (Vi n) V j n+1 0 otherwise 1 if Hi n+1 Vj n+1 = Hij n+1 0 otherwise or equivlently i, j I (7) which will be needed for pplying the Conley-Moser conditions to given sequence of mps L n, D n } + n= nd then proving the existence of chotic invrint set. Assumption 1: For ll i, j I such tht A n ij with 0 µ v µ h < 1. Moreover, L n mps Vji n = 1, Hn+1 ij is µ h -horizontl strip contined in Vj n+1 with L 1 n ( h H n+1 homeomorphiclly onto Hn+1 ij ij ) h V n i. Remrk.1. The fct tht every non empty Hij n+1 D n+1 is µ h -horizontl strip contined in Vj n+1 shows tht the two µ h -horizontl curves which form the boundry ( h L n (Vi n) = hhi n+1 ) cut the horizontl boundry of Vi n+1 in exctly four points. Furthermore, since L n is one-to-one on DV n L n (DV n ) = N i=1 L n(vi n) N i=1 Hn+1 i. And since L n mps V n ji homeomorphiclly onto V n ji N i=1 V n i homeomorphiclly onto Hn+1 ij ( i, j I) with then we cn define n inverse function L 1 n with L 1 n ( h H n+1 ij ) h V n i on then L 1 n mps H n+1 ij ( ) L n L 1 n ( h Hij n+1 ) = h Hij n+1 L n ( h Vi n ) (8) Assumption : Let V n+1 be µ v -verticl strip which intersects Vj n+1 fully. Then L 1 n (V n+1 ) Vi n is µ v -verticl strip intersecting Vi n fully for ll i I such tht A n ij = 1. Moreover, Ṽ n i d(ṽ n i ) ν v d(v n+1 ) for some 0 < ν v < 1 (9) Similrly, let H n be µ h -horizontl strip contined in V n i such tht lso H n Hji n for some i, j I with

7 The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 7 A n 1 A n ik ji = 1. Then L n (H n ) V n+1 = 1. Moreover, k n+1 H k is µ h -horizontl strip contined in V n+1 k for ll k I such tht n+1 d( H k ) ν h d(h n ) for some 0 < ν h < 1. (10) We lso need to dpt some definitions from symbolic dynmics. Let s = ( s n k s n s n 1.s n s n+1 s n+k ) (11) denote bi-infinite sequence with s l I ( l Z) where djcent elements of the sequence stisfy the rule A n s ns n+1 = 1, n Z. We denote the set of ll such symbol sequences by Σ N A n }. If σ denotes the shift mp σ(s) = σ( s n s n 1.s n s n+1 ) = ( s n s n 1 s n.s n+1 ) (1) on Σ N A n }, we define the extended shift mp σ on Σ Σ N A n } Z by σ(s, n) = (σ(s), n + 1). It is lso defined f(x, y; n) = (L n (x, y), n + 1). (13) We now cn stte the min theorem. Theorem. Suppose L n, D n } + n= stisfies A1 nd A. There exists sequence of sets Λ n D n, with L n (Λ n ) = Λ n+1, such tht the following digrm commutes Λ n Z f Λ n+1 Z φ φ σ Σ N A n } Z ΣN A n } Z where φ(x, y; n) (φ n (x, y), n) with φ n (x, y) homeomorphism mpping Λ n onto Σ N A n }. Remrk.. We re referring to Λ n } s n infinite sequence of chotic invrint sets. Defining Λ n Z Λ n, then Λ contins n uncontble infinity of orbits where ech orbit is unstble (of sddle type), nd the dynmics on the invrint set exhibits sensitive dependence on initil conditions. As we will see, it cn be difficult to verify Assumption in specific exmples. For tht reson we will define the third condition known s the cone condition. Before stting this condition, we define the following H n+1 = i,j I V n = H n+1 ji i,j I V n ij i,j I i,j I V n+1 j V n i (14) L 1 n (V n+1 j ), (15) L n (V n i ), L n (V n ) = H n+1 (16) S s K = (ξ z, η z ) R η z µ v ξ z, z K} (17) S u K = (ξ z, η z ) R ξ z µ h η z, z K}, (18)

8 8 Lopesino et l. with K being either V n or H n+1. Now we cn stte ssumption 3. Assumption 3: The cone condition. Df n (SV u n) Su H, Df 1 n+1 n (SH s ) S s n+1 V n. Moreover, if (ξ Ln(z 0 n), η Ln(z 0 n) ) DL n (z0 n) (ξ z0 n, η z0 n) Su H then n+1 If (ξ L 1 n (z n+1 0 ), η L 1 n (z n+1 0 ) ) DL 1 n (z n+1 We hve the following theorem. 0 ) (ξ z n+1 η Ln(z n 0 ) ξ L 1 n (z n+1 0 ) ( 1 µ 0 ( ) 1 η z n µ 0 (19), η z n+1) S s 0 V n then ) ξ z n+1 for µ > 0 (0) 0 Theorem 3. If nonutonomous A1 nd A3 re stisfied for 0 < µ < 1 µ h µ v then A is stisfied nd so the Theorem holds. Proof. The proof cn be found in [Blibre-Iniest, et l., 015]. 3. The utonomous Lozi mp In this section we show tht ssumptions 1 nd of the Conley-Moser conditions hold for the utonomous Lozi mp. Typiclly, it hs been difficult to show tht ssumption holds for specific mps. However, the reltively simple form of the Lozi mp llows us to demonstrte ssumption explicitly. The (utonomous) Lozi mp is defined s L(x, y) = (1 + y x, bx), where, b R: This mp is invertible with inverse L(x, y) = (1 + y x, x) (1) L 1 (x, y) = ( y, x + y 1). () For our purposes we will consider the sitution where the Lozi mp is orienttion nd re preserving, which occurs when b = 1. Henceforth, b will be fixed t this vlue nd we will view s prmeter. The setup for the utonomous problem is s follows. We consider the mp L : S R, where the squre S = (x, y) R : x R, y R } nd the boundries of the squre re L 1 = (x, y) R y = R }, L = (x, y) R y = R }, L 3 = (x, y) R x = R }, L 4 = (x, y) R x = R }. Furthermore, we need to define the subsets of the boundries of the squre S s follows: L + 1 = (x, y) R x 0, y = R }, L 1 = (x, y) R x < 0, y = R }, L + = (x, y) R x 0, y = R }, L = (x, y) R x < 0, y = R }, L + 3 = (x, y) R x = R, y 0 }, L 3 = (x, y) R x = R, y < 0 }, L + 4 = (x, y) R x = R, y 0 }, L 4 = (x, y) R x = R, y < 0 },

9 s shown in Figure 1. The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 9 L 1 L + 1 L + 4 L + 3 L 4 L 3 L L + Fig. 1. Geometricl setting: Boundries nd subsets of the boundries of the squre S. At this moment, we cn stte the min result of this section; the existence of the chotic sddle for the Lozi utonomous mp. Theorem 4. For > 4 ssumptions 1 nd hold for the utonomous Lozi mp, nd therefore it possesses chotic sddle inside the squre S. The proof of this theorem is crried out in the following subsections Verifiction of Assumption 1 of the Autonomous Conley-Moser Conditions In this section we will show how the mp L cts on the squre S. In order to do tht, we wnt to see how the boundries of the squre S re trnsformed. This ction cn be seen in figure. First, we begin with the mp L cting on the upper boundry, L 1. L(L 1 ) = L(x, R) = (1 + R x, x) X = 1 + R x Y = x y = 1 + R x We do the sme but for the lower boundry, L. y = 1+R x, x < 0 (L 1 ) y = x 1+R, x 0 (L+ 1 ) (3) For nottionl convenience henceforth we will denote the imge of point (x, y) under L by (X, Y ).

10 10 Lopesino et l. L(L ) = L(x, R) = (1 R x, x) y = 1 R x X = 1 R x Y = x Now we see the mp L cting on the right side, L 3. y = 1 R x, x < 0 (L ) y = x 1 R, x 0 (L+ ) (4) L(L 3 ) = L(R, y) = (1 + y R, R) nd the left side, L 4. X = 1 + y R Y = R (5) L(L 4 ) = L( R, y) = (1 + y R, R) X = 1 + y R Y = R From these computtions we cn set tht the horizontl boundries L 1 nd L re mpped by L to ffine lines with slopes m = 1/ pssing through the points q = (1 + R, 0) nd p = (1 R, 0) respectively tht must be outside the domin S s we will see lter. Moreover, verticl lines re mpped to horizontl lines. From figure we cn observe how the strips re formed. In this cse the set L(S) S is the union of the two horizontl strips H 1 nd H. (6) L(L 4 ) r L(L ) L(L 1 ) p q L(L+ ) L(L + 1 ) L(L 3 ) Fig.. L mpping S. On the other hnd, we wnt to show L 1 cting on S, s is shown in figure 3. As we did before, we strt with L 1 cting on the upper side L 1. L 1 (L 1 ) = L 1 (x, R) = ( R, x + R 1) X = R Y = x + R 1 (7) nd L 1 cting on the lower side, L.

11 The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 11 L 1 (L ) = L 1 (x, R) = (R, x + R 1) X = R Y = x + R 1 (8) Now we focus on L 1 cting on the right side, L 3. nd L 1 cting on the left side, L 4. L 1 (L 3 ) = L 1 (R, y) = ( y, R + y 1) X = y Y = R + y 1 y = R + x 1, y < 0 (L 3 ) y = R + x 1 (9) y = R x 1, y 0 (L + 3 ) L 1 (L 4 ) = L 1 ( R, y) = ( y, R + y 1) X = y Y = R + y 1 y = x (1 + R), y < 0 (L 4 ) y = x (1 + R) (30) y = x (1 + R), y 0 (L + 4 ) From this we cn observe tht the verticl boundries L 3 nd L 4 re mpped by L 1 to ffine lines with slopes m = pssing through the points p = (0, R 1) nd q = (0, (1 + R)) respectively, which re outside the squre, nd horizontl lines re mpped to verticl lines. As we show in figure 3, the union of the verticl strips V 1 nd V is the set L 1 (S) S. Now tht we know how the squre S is mpped under L nd L 1 we hve to set some conditions on the size of S, tht is the vlue R. We hve to keep in mind two conditions. The first one is tht we need the two horizontl strips nd the two verticl strips to cross ech other. (We illustrte this ide in figure ). For tht reson, we need the point p to hve first coordinte greter thn R nd the point p to hve second coordinte lower thn R. Becuse of the symmetry of the problem, we reflect only the condition for p in the next inequlity 1 R R 1 R (31) On the other hnd, the second issue is tht we need the re of intersection between the strips, represented for instnce in figure 4, to be inside the domin S. This is chieved when the point r = L(L 1 ) y = R} hs first coordinte lower thn R, s we cn see in figure. r = L(L 1 ) y = R} = (1 + R x, x) x=r = (1 + R R, R) (3) So this lst ssumption is trnslted into nd this holds when 1 + R R < R (33)

12 1 Lopesino et l. L 1 (L + 3 ) L 1 (L 3 ) L 1 (L 1 ) L 1 (L ) p L 1 (L + 4 ) L 1 (L 4 ) q Fig. 3. L 1 mpping S. Combining these two conditions we hve, R 1 (34) This lst inequlity only mkes sense when 4. Once we hve set these conditions, we cn tke 1 R 1 (35) R() = 1 which is the midpoint of the intervl ( ) =, for every 4, (36) 4( ) [ ] 1, 1 Now we strt proving the first ssumption, A 1, for the utonomous Conley-Moser conditions. For this purpose we need to define the verticl (V 1 nd V ) nd the horizontl (H 1 nd H ) strips. To obtin the horizontl strips we will mp forwrd by L the squre S nd mke the intersection with the sme squre. To get the verticl strips we will mp bckwrd by L 1 the squre S nd intersect it with S, tht is H 1 H := L(S) S V 1 V := L 1 (S) S (37) where H 1 is the upper hlf prt of L(S) S nd H is the lower hlf prt of L(S) S, V 1 is the left hlf prt of L 1 (S) S nd V is the right hlf prt of L 1 (S) S. We will use the following nottion

13 The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 13 H 1 := (L(S) S) +, where y > 0, H := (L(S) S), where y < 0, V 1 := (L 1 (S) S), where x < 0, (38) These strips cn be seen in figure 4. V := (L 1 (S) S) +, where x > 0, H 1 V 1 V H Fig. 4. Verticl nd horizontl strips. H 1 H := L(S) S nd V 1 V := L 1 (S) S. It is esy to see from expressions in (38) tht L mps V i homeomorphiclly onto H i, (L(V i ) = H i ) for i = 1,. Furthermore, the horizontl boundries of V i mp to the horizontl boundries of H i nd the verticl boundries of V i mp to the verticl boundries of H i. Moreover, V i re µ v -verticl strips becuse its verticl boundries re µ v -verticl curves where µ v = 1/. And H i re µ h -horizontl strips becuse its horizontl boundries re µ h -horizontl curves where µ h = 1/. Remrk 3.1. We hve to tke cre bout µ v = 1/. The slope of the verticl lines is but seen s horizontl curves. We must see this slope rte s if the verticl lines were µ v -verticl curves nd so µ v = 1/. We hve to keep in mind tht the product of the slopes of the strips hs to be less thn 1 s it is required in the Conley-Moser conditions. In our cse µ h = µ v = 1/ Therefore nd the condition of the slopes of A 1 is stisfied. µ h µ v = 1 1 = 1, (39) 3.. Verifiction of Assumption of the Autonomous Conley-Moser Conditions. The second ssumption describes how the mp L bends nd mkes thinner strips on ech itertion. Moreover we obtin this rte which in our ssumption is clled ν v. Lets tke V µ v -verticl strip contined, for instnce, in V (V V ). As we cn see in figure 5, we nme the vertices of V s v 1 = (v 1x, R), v = (v x, R),

14 14 Lopesino et l. v 3 = (v 3x, R) nd v 4 = (v 4x, R) nd the vertices which delimit V re q 1 = (q 1x, R), q = (q x, R), q 3 = (q 3x, R) nd q 4 = (q 4x, R). We ssume tht nd v 1x < q 1x < q x < v x v 3x < q 3x < q 4x < v 4x (40) d(v ) = q x q 1x = q 4x q 3x The verticl boundries of V re the stright lines with slope rte (becuse V is µ v -verticl strip) nd pss through the points q 1 nd q respectively: y q1 = x + R q 1x y q = x + R q x (41) v 1 q 1 q v V V q 1 q L(Ṽ) H q 3 q 4 v 3 q 3 q 4 v 4 Fig. 5. V V strip nd L(Ṽ) V H. We need to determine Ṽ L 1 (V ) V. Since we do not know how L 1 cts on V, first we obtin L(Ṽ) V L(V ) = V H nd fter tht, we will recover Ṽ by iterting L(Ṽ) bckwrd. V cuts H t four points: q 1, q, q 3 nd q 4 nd we cn describe them s follows: q 1 : y q1 y = } x (1 R) Solving these two equtions gives the coordintes of q 1 : q 1x = q 1x R 1+R 1 q 1y = q 1x +R R 1 We continue the sme procedure for the rest of the points q : y q y = } x (1 R) y = x (1 R) (4) y = x + R q 1x (43) y = x (1 R) (44) y = x + R q x

15 nd the coordintes for q re The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 15 In the cse of q 3 we solve q x = q x R 1+R 1 q y = q x +R R 1 (45) with coordintes q 3 : y q1 y = } x (1 + R) y = x (1+R) (46) y = x + R q 1x Finlly, to obtin q 4 we solve the system q 3x = q 1x R 1 R 1 q 3y = q 1x R R 1 (47) therefore its coordintes re q 4 : y q y = } x (1 + R) q 4x = q x R 1 R 1 q 4y = q x R R 1 y = x (1+R) (48) y = x + R q x At this moment, we hve given precise description of L(Ṽ); it is strip delimited by the four vertices from bove nd the stright lines y q1, y q, y = x (1 R) nd y = x (1+R). In order to recover Ṽ we should mp it bckwrd by L 1. By continuity, nd since L is orienttion preserving, the points which re leding to y = R re L 1 ( q 4 ) nd L 1 ( q 3 ) nd the points tht re mpped to y = R re L 1 ( q ) nd L 1 ( q 1 ), nd therefore (49) For instnce we compute L 1 ( q 4x ) nd L 1 ( q 3x ) d(ṽ) = L 1 ( q 4x ) L 1 ( q 3x ) = L 1 ( q x ) L 1 ( q 1x ) (50) L 1 ( q 4x ) = L 1 ( q x R 1 R, q x R R ) 1 1 = ( R++R q x, q x R 1 R + q x R R 1) ( ) = ( R++R q x 1, q x R 1 R q x + R+ +R +1 1 ) (51) = ( R++R q x 1, R) In ( ) we hve use the fct tht q x R R < 0 s q x < R nd > 0. The computtions for L 1 ( q ) re nlogous, so

16 16 Lopesino et l. Using (50), we cn compute d(ṽ) L 1 ( q 3x ) = ( + R + R q 1 x, R) (5) 1 d(ṽ) = + R + R q 1 x R R + q x 1 = 1 q x q 1x = ν v d(v ) Therefore we only need the rte ν v to be less thn 1 nd tht holds when > 1+ 5 : (53) 1 < 1 1 > 0 > = Φ (54) The lst issue of ssumption tht remins to be proved is tht Ṽi is µ v -verticl strip. In order to prove this we relize tht L(Ṽi) = V L(V i ) = V H i is µ h -horizontl strip since its boundries re µ h -horizontl curves. As we know by ssumption 1, by F 1 horizontl boundries of horizontl strips mp to horizontl boundries of verticl strips nd verticl boundries of verticl strips mp to verticl boundries of horizontl strips nd it is cler tht this verticl boundries of Ṽi re µ v -horizontl curves. Therefore the second ssumption is lredy proven nd hence, using Theorem 4, the existence of the chotic sddle inside S is proven. 4. Non-utonomous Lozi mp In this section we prove tht Assumptions 1 nd 3 of the nonutonomous Conley-Moser conditions hold for the nonutonomous Lozi mp. We begin by developing the set-up for the problem. We define the mps L n nd the domins S n s follows: nd L n (x, y) = (1 + y (n) x, x) (55) L 1 n (x, y) = ( y, x + (n) y 1) (56) where (n) = + ɛ(1 + cos(n)), > 4. The domins cn be set s S n = [ R(n), R(n)] [ R(n), R(n)] where R(n) = (n) 4((n) ) Although the domin my chnge with ech itertion, in this exmple we cn consider fixed domin in order to simplify the proof of Theorem 5. Therefore we define the domin s: (57) where S = sup([ R(n), R(n)] [ R(n), R(n)]) = [ R, R] [ R, R] (58) n Z To find this vlue we exmine the monotonicity of the function (n) R = sup n Z 4((n) ). (59)

17 The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 17 f((n)) = (n) 4((n) ) for (n). This function lwys decreses since its derivte is negtive when (n). Therefore the supreme of this vlue is determined from the following reltions: (60) nd inf (n) = + ɛ(1 1) =. (61) n Z R = sup R(n) = n Z inf n Z (n) 4(inf n Z (n) ) = 4( ) (6) As we did in the utonomous cse, we must check conditions similr to inequlities (31) nd (33) in order to obtin strips of four vertices totlly included in the mximl domin S. By the symmetry of the problem, s it is shown in figure 4, the first condition, (31), is stisfied since the point p does not depend on the itertion n. So this condition holds when R < 1. (63) The second condition is nlogous to (33), nd is lso holds. We wnt the point r to cut the horizontl line y = R out from the domin S nd it must hve first coordinte lower thn R. r = L n (L 1 ) y = R} = (1 + R (n) x, x) x=r = (1 + R (n)r, R) (64) therefore we must determine if the following inequlity holds nd it does hold since 1 + R (n)r < R 1 < ((n) )R for ll n Z (65) ((n) )R > ( ) 4( ) = 4 > 1 (66) when > 4 for ll n Z. Henceforth, we set S = S n for ll n Z nd we cn stte the min nonutonomous theorem. Theorem 5. For (n) = + ɛ(1 + cos(n)) where > 4 nd ɛ smll, Assumptions 1 nd 3 of the nonutonomous Conley-Moser conditions hold for the nonutonomous Lozi mp L n. nd therefore it possesses chotic sddle, Λ n, inside the squre S. In other words, Λ n, L n } + n= is infinite sequence of chotic invrint sets where Λ n Z Λ n, contins n uncountble infinity or orbits, ech of them unstble (of sddle type) nd the dynmics on the invrint set exhibits sensitive dependence on initil conditions. From now to on, we see how these two ssumptions re held. First of ll, we construct the horizontl nd verticl strips s in the utonomous cse. Then, we check the third ssumption, the cone condition, to quntify the folding nd stretching of the strips.

18 18 Lopesino et l Verifiction of Assumption 1 for the nonutonomous Conley-Moser Conditions We hve defined the bi-infinite sequence of mps nd domins stisfying L n, S} + n=, L n : S R (67) L n (S) S, n Z. Now we define the min geometricl structures of this problem, the horizontl nd the verticl strips. In this context we will proceed s in the utonomous cse dding the itertion vrible H n+1 1 H n+1 := L n (S) S V1 n V n := L 1 n (S) S where H1 n+1 is the upper hlf prt of L n (S) S nd H n+1 is the lower hlf prt of L n (S) S, V1 n is the left hlf prt of L 1 n (S) S nd V n is the right hlf prt of L 1 n (S) S. We will use the following nottion H n+1 1 := (L n (S) S) +, where y > 0, (68) H n+1 := (L n (S) S), where y < 0, V n 1 := (L 1 n (S) S), where x < 0, V n := (L 1 n (S) S) +, where x > 0. We re giving only the vertices of H1 n+1 nd V1 n. The vertices of Hn+1 nd V n respect to y = 0 nd x = 0 respectively. We show Hi n+1 nd Vi n in figure 6. nd the computtions for the vertices of V n 1 h 11 : x = R} y = 1 + R x } (n) h 1 : x = R} y = 1 + R x } (n) h 13 : x = R} y = 1 R x } (n) h 14 : x = R} y = 1 R x } (n) re similr h 11x = R h 11y = 1+R (n) h 1x = R h 1y = 1 (n) h 13x = R h 13y = 1 R (n) h 14x = R h 14y = 1 (n) v 11x = R 1 (n) v 11 : y = R} y = R (n)x 1} v 11y = R (69) re symmetric with (70) (71) (7) (73) (74)

19 The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 19 v 1x = 1 (n) v 1 : y = R} y = R (n)x 1} v 1y = R v 13x = R 1 (n) v 13 : y = R} y = R (n)x 1} v 13y = R v 14x = 1 (n) v 14 : y = R} y = R (n)x 1} v 14y = R (75) (76) (77) v 11 v 1 h 11 H n 1 h 14 H n+1 1 h 1 V1 n V n V n+1 1 V n+1 h 13 H n H n+1 v 14 v 13 () n 0 = n (b) n 0 = n + 1 Fig. 6. Verticl nd horizontl strips. L n(v n i ) = Hn+1 i, i = 1,. As it is defined bove, Vi n nd Hi n+1 re µ n v -verticl strips nd µ n+1 h -horizontl strips respectively with µ n v = 1/(n) nd µ n+1 h = 1/(n + 1). Tking into ccount Remrk 4.1 nd due to resons explined fterwrds, by convenience, we cn choose for ll n Z nd > 4. µ v = µ h = 4 > 1/(n), (78) Remrk 4.1. Note tht if V is µ v -verticl strip nd µ v µ v, therefore V is µ v-verticl strip: x 1 x µ v y 1 y µ v y 1 y. The sme rgument could be done for horizontl strips. L n is homeomorphism on the whole plne nd so on S. Therefore We should lso define L n (V n i ) = H n+1 i, i = 1,. (79)

20 0 Lopesino et l. L n (V n i ) V n+1 j H n+1 ij V n i L 1 n (Vj n+1 ) L 1 n (Hij n+1 Let A n } + n= denote sequence of mtrices such tht In our cse, we cn ensure tht A n ij = ) V n ji 0 if L n (Vi n) V j n+1 = Hi n+1 Vj n+1 = 1 if L n (Vi n) V j n+1 = Hi n+1 Vj n+1 A n = ( ) We know tht Hi n+1 re horizontl strips formed by two µ h -horizontl curves tht rest on the lines x = R nd x = R nd Vj n+1 re verticl strips formed by two µ v -verticl curves tht led from y = R to y = R. So pplying the Fixed Point Theorem, these stright lines get cut in four vertices tht together with the two horizontl nd the two verticl lines form Hij n+1. These sets re µ h -horizontl strips becuse its boundries re contined in Vj n+1 due to its construction (Hi n+1 Vj n+1 ). Furthermore, due to the fct tht L n is homeomorphism nd the construction of the strips, L n mps Vji n onto Hij n+1. It is cler from (80) tht (80) (81) (8) so L 1 n (Hij n+1 ) = V n ji = L 1 n (Vj n+1 ) V n i = L 1 n (Hij n+1 ) V n i (83) L 1 n ( h H n+1 Finlly we need to prove µ v µ h < 1. We know tht µ v = µ h = 4 nd so Assumption 1 is proven. µ v µ h = ( ij ) h V n i. (84) ) 4 < 1 (85) 4.. The Cone Condition. Assumption A3 of the Nonutonomous Conley-Moser Conditions As we stted erlier, the second ssumption of the Conley-Moser conditions cn be replced by nother condition nmed the cone condition. Given ny point z 0 = (x 0, y 0 ) H n+1 nd ny (ξ z0, η z0 ) S s H n+1 (which by definition, ξ z0 µ v η z0 ) we hve tht nd (86) belongs to S s V n ( ) ( ) ( ) DLn ξz0 η (z 0 ) (ξ z0, η z0 ) = = z0 1 (n)sign(y) η z0 ξ z0 + (n)sign(y)η z0 if nd only if the inequlity (86) holds nd this is true since η z0 = η z0 µ v ξ z0 + (n)sign(y)η z0 (87)

21 The Chotic Sddle in the Lozi mp, utonomous nd non-utonomous versions. 1 µ v ξ z0 + (n)sign(y)η z0 µ v ((n) η z0 ξ z0 ) µ v ((n) η z0 µ v η z0 ) = µ v ((n) µ v ) η z0 ( ) η z0 Lst prt of the inequlity, (*), holds when µ v ((n) µ v ) 1 nd tht is stisfied when µ v [ (n) (n) 4, We need to prove tht µ v I n for every n Z, or, equivlently µ v n Z I n = = (88) (n) + ] (n) 4 = I n (89) [ ] (n) (n) sup 4 (n)+ (n) n Z, inf 4 n Z [ 4, + ] (90) 4 Finlly we cn set generl vlue for µ h nd µ v tht hold for the lst inequlities nd we cn observe tht µ h = µ v = 4 (91) µ h µ v = ( ) 4 < 1 (9) Since z 0 H n+1 is n rbitrry point, the inclusion DL 1 n (SH s ) S s n+1 Vn is proven. To finish the proof of Assumption 3, we only need to prove the inequlity η f 1 n (z 0 ) 1 µ η z 0 (93) for 0 < µ < 1 µ h µ v nd z 0 H n+1, (ξ z0, η z0 ) S s H n+1 becuse is proved by using similr rgument. so it follows tht ξ fn(z 0 ) 1 µ ξ z 0, z 0 V n, (ξ z0, η z0 ) S u V n (94) η f 1 n (z 0 ) ξ z 0 + (n)sign(y)η z0 (n) η z0 ξ z0 (n) η z0 µ v η z0 = ((n) µ v ) η z0 1 µ η z 0 µ (95) 1 (n) µ v. (96) Tking into ccount this lst inequlity nd the condition 0 < µ < 1 µ h µ v, we hve the following chin of inequlities 1 (n) µ v µ 1 µ h µ v (97)

22 REFERENCES nd this lst inequlity is stisfied providing tht > 4 so the proof of the Assumption 3 is complete. The proof of the second inclusion DL n (SV u n) Su H is similr. n+1 5. The visuliztion of the Chotic Sddle. In this section the chotic sddle for the utonomous nd for the non-utonomous cses re displyed by using the discrete Lgrnge descriptors (DLD). This tool explined in [Lopesino, et l., 015] consists of evluting the p-norm of n orbit generted by two dimensionl mp, in our cse the Lozi mp. For instnce, let denote n orbit of point. The DLD is defined s follows: MD p = N 1 i= N x n, y n } n=n n= N, N N, (98) x i+1 x i p + y i+1 y i p, p 1. (99) We re interested on showing the phse spce where the chotic sddle exists, therefore our study region is the squre S. We prepre set of initil conditions by fixing sptil grid nd then expression (99) is pplied to the initil conditions belonging to this grid. The Chotic Sddle for the utonomous cse. Figure 7 shows the chotic sddle of the Lozi mp for different vlues of. It is confirmed tht only when 4, the set is wholly contined in the squre S. The Chotic Sddle for the non utonomous cse. Figure 8 shows by mens of the DLD tool, how the chotic sddle evolves with the itertions when the utonomous system is perturbed. 6. Summry nd Conclusions In this pper we hve considered the Lozi mp, both in its utonomous nd nonutonomous versions, nd provided necessry conditions for the mp to possess chotic invrint set. This is ccomplished by using utonomous nd nonutonomous versions of the Conley-Moser conditions, in prticulr we used the shrpened conditions for nonutonomous mps given in [Blibre-Iniest, et l., 015] to show tht the nonutonomous chotic invrint set is hyperbolic. In the course of the proof we provide precise chrcteriztion of wht is ment by the phrse hyperbolic chotic invrint set for nonutonmous dynmicl systems. At the end of this pper we hve used the DLD to visulize the chotic sddle for different prmeters. Acknowledgments. The reserch of CL, FB-I nd AMM is supported by the MINECO under grnt MTM R. The reserch of SW is supported by ONR Grnt No. N We cknowledge support from MINECO: ICMAT Severo Ocho project SEV References Alekseev, V.M. (1968). Qusirndom dynmicl systems, I. Mth. USSR-Sb, 5, Alekseev, V.M. (1968b). Qusirndom dynmicl systems, II. Mth. USSR-Sb, 6, Alekseev, V.M. (1969). Qusirndom dynmicl systems, III. Mth. USSR-Sb, 6, Blibre-Iniest, F., Lopesino, C., Wiggins S., Mncho A.M. (015). Chotic dynmics in nonutonomous mps: Appliction to the nonutonomous Hénon mp. Interntionl Journl of Bifurction nd Chos (in press). Chsting J. -Y., Bertin E. nd Géminrd J. -C. (014). Dynmics of the bouncing bll. Devney, R. nd Nitecki, Z. (1979). Shift utomorphisms in the hénon mpping. Comm. Mth. Phys., 67,

23 REFERENCES 3 () Chotic S with =3 (b) Chotic S with =3.5 (c) Chotic S with =4 (d) Chotic S with =4.5 Fig. 7. Chotic sddle for different vlues of. These pnels show contours of MD p for p = 0.5 nd N = 0, with grid point spcing of Holmes P. J. (198). The dynmics of repeted impcts with sinusoidlly vibrting tble. Journl of Sound nd Vibrtion, 84(), Lermn, L. nd Silnikov, L. (199). Homoclinicl structures in nonutonomous systems: Nonutonomous chos. Chos,, Lopesino C., Blibre F., Wiggins S., Mncho A. (015). Lgrngin Descriptors for Two Dimensionl, Are Preserving, Autonomous nd Nonutonomous Mps. Communictions in Nonliner Science nd Numericl Simultion 7 (1-3)

24 4 REFERENCES () Chotic S. with n 0 = 3 (b) Chotic S. with n 0 = 1 (c) Chotic S. with n 0 = 1 (d) Chotic S. with n 0 = 3 Fig. 8. Chotic sddle for different strting time itertion. These pnels show contours of MD p for p = 0.5, A = ɛ(1 + cos(n)) nd N = 100, with grid point spcing of Lozi, R. (1978). Un ttrcteur etrnge (?) du type ttrcteur de Henon. Journl de Physique Colloques, 39, pp.c5-9-c5-10. Moser, J. (1973). Stble nd Rndom Motions in Dynmicl Systems. Annls of mthemticl studies, 77. Princeton University Press. Stoffer, D. (1988). Trnsversl homoclinic points nd hyperbolic sets for non-utonomous mps I. J. Appl. Mth. nd Phys. (ZAMP), 39, Stoffer, D. (1988b). Trnsversl homoclinic points nd hyperbolic sets for non-utonomous mps II. J.

25 REFERENCES 5 Appl. Mth. nd Phys. (ZAMP), 39, Wiggins S. (1999). Chos in the dynmics generted by sequences of mps, with pplictions to chotic dvection in flows with periodic time dependence. Z. ngew. Mth. Phys. (ZAMP), 50, Wiggins S. (003). Introduction to Applied Nonliner Dynmicl Systems nd Chos. Springer Second Edition. Wiggins, S nd Mncho, A. M. (014). Brriers to trnsport in periodiclly time-dependent twodimensionl velocity fields: Nekhoroshev s theorem nd nerly invrint tori. Nonliner Processes in Geophysics, 1,