arxiv: v2 [math.ds] 6 Jun 2018

Transcription

1 STRANGE ATTRACTORS AND WANDERING DOMAINS NEAR A HOMOCLINIC CYCLE TO A BIFOCUS ALEXANDRE A. P. RODRIGUES CENTRO DE MATEMÁTICA DA UNIVERSIDADE DO PORTO AND FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DO PORTO RUA DO CAMPO ALEGRE 687, PORTO, PORTUGAL arxiv: v2 [math.ds] 6 Jn 2018 Abstract. In this paper, we explore the three-dimensional chaotic set near a homoclinic cycle to a hyperbolic bifocs at which the vector field has negative divergence. If the invariant manifolds of the bifocs satisfy a non-degeneracy condition, a seqence of hyperbolic sspended horseshoes arises near the cycle, with one expanding and two contracting directions. We extend previos reslts on the field and we show that, when the cycle is broken, there are parameters for which the first retrn map to a given cross section exhibits homoclinic tangencies associated to a dissipative saddle periodic point (bt not sectionally dissipative). These tangencies can be slightly modified in order to satisfy the Tatjer conditions for a generalized tangency of codimension two. This configration may be seen the organizing center, by which one can obtain Bogdanov-Takens bifrcations and therefore, strange attractors, infinitely many sinks and non-trivial contracting wandering domains. MSC 2010: 34C37, 37C29, 37G35, 37D45 Keywords: Bifocs, Homoclinic cycle, Tatjer condition, Bogdanov-Takens bifrcation, Strange attractors, Wandering domains. 1. Introdction The homoclinic cycle to a bifocs eqilibrim provides one of the main examples of the occrrence of chaotic dynamics in for-dimensional vector fields. Examples of dynamical systems from applications where these homoclinic cycles play a basic role can be fond in [13, 14, 56]. Reslts in [2] show that homoclinic orbits to bifoci arise generically in nfoldings of for-dimensional nilpotent singlarities of codimension 4. Family (1.2) in [2] has been widely stdied in the literatre becase of its relevance in many physical settings as, for instance, the stdy of travelling waves in the Korteweg-de Vries model. The striking complexity of the dynamics near homoclinic cycles has been discovered and investigated by Shilnikov [47, 48], who claimed the existence of a contable set of periodic soltions of saddletype. Itwas shownthat, forany N N andforany local transversesection to thehomoclinic cycle, there exists a compact invariant hyperbolic set on which the Poincaré map is topologically conjgate to the Bernolli shift on N symbols. A sketch of the proof has been presented in [55]. In the works [11, 32], the formation and bifrcations of periodic soltions were stdied. Motivated by [1, 44], the athors of [22] describe the hyperbolic sspended horseshoes that are contained in any small neighborhood of a doble homoclinic cycle to a bifocs and showed that switching and sspended horseshoes are strongly connected. The spiralling geometry of the non-wandering set near the homoclinic cycle associated to the bifocs has been partially described in [11], where the athors stdied generic nfoldings of the cycle. Breaking the cycle, and sing appropriate first retrn maps, the athors visalized the strctre of the spiralling invariant set that exists near the cycle. In the reversible setting, the athors of [18, 42] proved the existence of a family of non-trivial (non-hyperbolic) closed trajectories and sbsidiary connections near this type of cycle. See also the works by Lerman s team [26, 34] Date: Jne 7,

2 who stdied cycles to a bifocs in the hamiltonian context. In the general context, the complete nderstanding of the strctre of this spiralling set is a hard task. An important open qestion related to the homoclinic cycle to a bifocs is what type of dynamics typically occrs. In this paper, we stdy the dynamics near a homoclinic cycle to a bifocs at which the vector field has negative divergence, so that the flow near the eqilibrim contracts volme. We are particlarly interested in the occrrence of strange attractors and non-trivial wandering domains. We show that these phenomena occr for small C 1 -pertrbations of the vector field which, in principle, no longer have the original homoclinic cycle Strange attractors. Many aspects contribte to the richness and complexity of a dynamical system. One of them is the existence of strange attractors. According to [20, 53]: Definition 1.1. A (Hénon-type) strange attractor of a three-dimensional dissipative diffeomorphism R, defined in a compact and riemannian manifold, is a compact invariant set Λ with the following properties: Λ eqals the closre of the nstable manifold of a hyperbolic periodic point; the basin of attraction of Λ contains an open set (and ths has positive Lebesge measre); there is a dense orbit in Λ with a positive Lyaponov exponent (exponential growth of the derivative along its orbit); Λ is not hyperbolic. A vector field possesses a (Hénon-type) strange attractor if the first retrn map to a cross section does. In[54], there is another definition of strange atractor contemplating two expanding directions. The rigoros proof of the strange character of an invariant set is a great challenge and the proof of the existence of sch attractors in the nfolding of the homoclinic tangency is a very involving task (as discssed in [2]). Mora and Viana [37] proved the emergence of strange attractors in the process of creation or destrction of the Smale horseshoes that appear throgh a bifrcation of a tangential homoclinic point. In the nfolding of a non-contracting Shilnikov cycle associated to a saddle-focs in R 3 (details in [46]), horseshoes appear and disappear by means of generic homoclinic bifrcations, leading to persistent non hyperbolic strange attractors like those described in [37]. These tangencies give rise to sspended Hénon-like strange attractors. Withot breaking the cycle, Hombrg [20] proved the coexistence of strange attractors and attracting 2-periodic soltions near a homoclinic cycle to a saddle-focs in R 3, when moving the saddle-vale. He also proved that, despite the existence of strange attractors, a large proportion of points near the homoclinic cycle lies otside the basin of the attractor. Under a particlar configration of the spectrm of the vector field at the saddle, Pmariño and Rodrígez [41] proved that infinitely many of these strange attractors can coexist in non generic families of vector fields with a Shilnikov cycle, for a positive Lebesge measre set of parameters. The homoclinic cycle to a bifocs in R 4 seems to be the scenario for more complicated dynamics than those inherent to the saddle-focs in R 3, where the existence of sch strange attractors has been proved. As far as we know, no reslt has been established relating the existence of bifocal homoclinic bifrcations with the existence of (persistent) strange attractors. In Theorem A, we prove that the first retrn map to a given cross section of the a cycle associated to a bifocs can be C 1 -approximated by another map exhibiting strange attractors Non-trivial wandering domains. A wandering domain for a diffeomorphism is a non-empty connected open set whose forward orbit is a seqence of pairwise disjoint open sets. More precisely: Definition 1.2. A non-trivial wandering domain (or jst wandering domain) for a given map R on a Riemannian manifold M means a non-empty connected open set D M which satisfies the following conditions: 2

3 R i (D) R j (D) = for every i,j 0 (i j) the nion of the ω-limit sets of points in D for R, denoted by ω(d,r), is not eqal to a single periodic orbit. A wanderingdomaind is called contracting if the diameter of R n (D) converges tozero as n +. In the early 20 th centry, the athors of [4, 10] constrcted examples of C 1 diffeomorphisms on a circle which have contracting wandering domains where the nion of the ω limit sets of points is a Cantor set. See also [36] and references therein. Similar behaviors in different contexts may be fond in [5, 28, 29, 38]. The existence of non-trivial wandering domains in nonhyperbolic dynamics has been stdied by Colli and Vargas [8], throgh a contable nmber of pertrbations on the gaps of an affine thick horseshoe with persistent tangencies. The conjectre abot the existence of contracting wandering sets near Newhose regions was recently proved in [24] for diffeomorphisms, and in [31] for flows, when the athors were exploring persistent historic behavior realised by a set with positive Lebesge measre. In the context of diffeomorphisms of the circle, if sfficient differentiability exists, Denjoy [10] proved that non-trivial wandering domains wold not exist. The absence of wandering domains is the key for the classification of one-dimensional nimodal and mltimodal maps, in real analytic category, a sbject which has been discssed in [9, 35, 52]. For rational maps of the Riemannian sphere, see [36]. For diffeomorphisms of a compact srface there are also reslts that ensre that, nder sfficient differentiability, wandering domains do not exist [8]. Very recently, Kiriki et al [25] presented a sfficient condition for three-dimensional diffeomorphisms having heterodimensional cycles (and ths non-transverse eqidimensional cycles C 1 -close) which can bec 1 -approximated by diffeomorphismswith non-trivial contracting wanderingdomains and strange attractors. A natral qestion arises: is there a configration for a flow having a first retrn map with eqidimensional cycles similar to those described in 3 of [25]? In other words, cold we describe a general configration (for a flow) giving a criterion for the existence of non-trivial wandering domains? Theorem B of the present paper gives an affirmative answer to this qestion Strctre of the paper. The goal of this paper is to show that a homoclinic cycle associated to a bifocs may be considered as a criterion for for-dimensional flows to be C 1 -approximated by other flows exhibiting strange attractors and contracting non-trivial wandering domains. The main reslts are stated and discssed in 3, after collecting relevant notions in 2. Normal form techniqes are sed in 4 to constrct local and retrn maps. Section 5 deals with the geometrical strctres which allow to get an nderstanding of the dynamics. After reviving the proof of the existence of hyperbolic horseshoes whose sspension accmlates on the cycle (see 6), in 7, owing the reslts of [7, 25, 51], we C 1 -approximate the first retrn map to the cycle by another diffeomorphism exhibiting a Tatjer tangency. This codimension-two bifrcation leads to Bogdanov-Takens bifrcations and sbsidiary homoclinic connections associated to a sectionally dissipative saddle; the itinerary of the proof is smmarised in Table 1. In 8, we prove the main reslts of this paper. The last step of the proof of Theorem B is similar to [25]. For the sake of completeness, we revisit the proof, addressing the reader to the original paper where the proof has been done. Throghot this paper, we have endeavored to make a self contained exposition bringing together all topics related to the proofs. We have stated short reslts and we have drawn illstrative figres to make the paper easily readable. 2. Preliminaries For k 6, consider a C k vector field f : R 4 R 4 defining a differential eqation: ẋ = f(x) (2.1) 3

4 and denote by ϕ(t,x), with t R, the associated flow. In this section, we introdce some essential topics that will be sed in the seqel ω-limit set. For a soltion of (2.1) passing throgh x R 4, the set of its accmlation points as t goes to + is the ω-limit set of x and will be denoted by ω(x). More formally, ( ) + ω(x) = ϕ(t, x). T=0 It is well known that ω(x) is closed and flow-invariant, and if the ϕ-trajectory of x is contained in a compact set, then ω(x) is non-empty Homoclinic cycle. In this paper, we will be focsed on an eqilibrim O of (2.1) sch that its spectrm (i.e. the eigenvales of df(o)) consists of for non-real complex nmbers whose real parts have different signs. It is what one calls a bifocs. A homoclinic connection associated to O is a trajectory biasymptotic to O in forward and backward times Terminology. In this sbsection, we recall the terminology given in [51] for diffeomorphisms. We begin with some definitions concerning fixed points of a diffeomorphism R on a three-dimensional Riemannian manifold M, which may be considered as a compact sbset of R 3. Let R : M M be a diffeomorphism, P M is a hyperbolic fixed point of R (i.e. R(P) = P) and denote by µ 1,µ 2,µ 3 C the eigenvales of DR(P). t>t Definition 2.1. Let P be a fixed point of R. We say that: P is dissipative if the prodct of the absolte vale of the eigenvales of DR(P) is less than 1 (i.e. µ 1 µ 2 µ 3 < 1). P is sectionally dissipative if the prodct of the absolte vale of any pair of eigenvales of DR(P) is less than 1 (i.e. µ 1 µ 2 < 1, µ 2 µ 3 < 1 and µ 1 µ 3 < 1 ). By thestablemanifold Theorem[39], given asaddlefixedpoint P (for themap R) thereexistthe stable and nstable invariant manifolds that we denote by W s (R,P), and W (R,P) respectively, and are defined by W s (R,P) = { Q M : lim n + Rn (Q) = P } and W (R,P) = { } Q M : lim n + R n (Q) = P. As sal, if it is not necessary, we shall not write explicitly the dependence of the invariant manifolds on the map R. Definition 2.2. The index of stability of a hyperbolic fixed point is the dimension of its stable manifold. Definition 2.3. Sppose that R is as above and P is a saddle fixed point. If µ 1 < µ 2 < 1 < µ 3, the foliation F ss (P) indced by W s (P,E ss ) is called the strong stable foliation of P. The center-nstable invariant tangent bndle of P is the vector bndle W (P,E c ), where E ss (resp E c ) is the invariant linear sbspace of T P M associated to the eigenvale µ 1 (resp µ 2,µ 3 ). If µ 1 < 1 < µ 2 < µ 3, the strong nstable foliation of P, denoted by F (P) is the strong stable foliation of P with respect R 1 and the stable invariant tangent bndle of P is the nstable invariant tangent bndle of P with respect to R 1. More details abot foliations and tangent bndles may be fond in [17, 19]. 4

5 Now, we introdce the concept of signatre (adapted to or prposes) of a periodic point; more details in [5]. Definition 2.4. Let R be a diffeomorphism as above and let P be a hyperbolic periodic point of period ξ 1 with dimw (P) = 2. Given the finest DR ξ (P) invariant dominated splitting E p = E 1 E 2, we define the nstable signatre of P to be the pair (dime 1,dimE 2 ) Generalized homoclinic tangency. Let R be a diffeomorphism on M which has a homoclinic tangency of a fixed point P. Sppose the derivative for R at P has real eigenvales µ 1, µ 2 and µ 3 satisfying µ 1 < µ 2 < 1 < µ 3. In addition, assme that there are C 1 linearizing local coordinates (x,y,z) for R on a small neighborhood U of P (see Remark 2.5 below) sch that: P = (0,0,0) and R(x,y,z) = (µ 1 x,µ 2 y,µ 3 z) for any (x,y,z) U see Figre 1(a). In U, the local stable and nstable manifolds of P are given respectively as: Wloc s (P) = {(x,y,0) : x, y < ε}, W loc (P) = {(0,0,z); z < ε} for some small ε > 0. Moreover, as illstrated in Figre 1(a), one has the local strong stable C 1 foliation F ss (P) in W s (P) sch that, for any point x 0 = (x,y,0) W s (P), the leaf l ss (x 0 ) of F ss (P) containing x 0 is given as: l ss (x 0 ) = {(x,y,0) : x x < ε}. Remark 2.5. The linearisation assmption is a Baire-generic assmption for families of diffeomorphisms having saddle fixed points. Gonchenko et al [17] generalized the reslts of [51] withot this assmption. Sppose that the invariant manifolds of P have a qadratic tangency at x 0. We introdce the definition of a new type of codimension two homoclinic bifrcation, which may be seen as a collision of a qadratic homoclinic tangency and a generalized homoclinic transversality (see 2.3 of [51]). Definition 2.6. We say that a homoclinic tangency to P satisfies the Tatjer condition (type I of Case A of [51]) if the following conditions hold (see Figre 1(b)): [T1]: the point P is dissipative bt not sectionally dissipative for R. [T2]: the manifolds W (P) and W s (P) have a qadratic tangency at x 0 which does not belong to the strong stable manifold of P, W ss (P). [T3]: the manifold W (P) is tangent to the leaf l ss (x 0 ) of F ss (P) at x 0. [T4]: the fiber of the center nstable bndle of P is transverse to the srface defined by W s (P) at x 0. Remark 2.7. For the qadratic tangency x 0 M, we consider the forward image x 0 = f n 0 (x 0 ) for a large n 0 0. Let U(x 0 ) be the plane containing x 0 and sch that T x0 U(x 0 ) is generated by ( ) ( ), T x0 M y x 0 z x 0 (in local coordinates of P). Figre 5 of [25] and Figre 1(b) of the present paper illstrate the positions of U(x 0 ) and W s (P) in different parts of the phase space. Using the terminology of [25], condition [T4] may be stated as: the sets U(x 0 ) and W s (P) are transverse at x 0. This terminology is valid if we replace a fixed point of R by a periodic orbit of R. 5

6 z x y W c (P) l ss (x 0) W c(p) W s (P) P x 0 P x 0 Figre 1. Generalized tangency: (a) coordinates near P and (b) global geometry near the homoclinic orbit described in [51] Denjoy srgery. In this sbsection, we review the Denjoy constrction [10] to obtain wandering domains on the circle. For ω R\Q, define the map τ ω on S 1 = R (mod 2π) as τ ω (θ) = θ+2πω where θ S 1. Now take a point θ 0 S 1. Now, for each n N, we remove from S 1 the point τ n ω(θ 0 ) and we replace it by a small enogh interval I n satisfying the following properties: for each n N, l(i n ) > 0, where l denotes the the 1-dimensional Lebesge measre; j=0 l(i n) < + The reslt of this srgery is still a simple closed crve. For each n N, extend the map τ ω by choosing a orientation-preserving diffeomorphism h n : I n I n+1. It is easy to see that this extends τ ω to a homeomorphism of the new closed crve with no periodic points. Denjoy [10] proved that the rotation nmber of the new map is irrational and no point in the interval I n ever retrns to I n. This is an example of a wandering domain for a map of the circle. This constrction cannot be performed in the C 2 category. 3. Main reslts: overview 3.1. Description of the problem. The object of or stdy is the dynamics arond a homoclinic cycle Γ to a bifocs, defined on R 4 for which we give a rigoros description here. Let X 6 (R 4 ) the Banach space of C 3 vector fields on R 4 endowed with the C 6 -Whitney topology. Or object of stdy is a one-parameter family of C 6 vector fields f : R 4 R 4 with a flow given by the niqe soltion x(t) = ϕ(t,x) R 4 of satisfying the following hypotheses for λ = 0: ẋ = f(x,λ) x(0) = x 0 R 4 λ R (3.1) (P1): The point O = (0,0,0,0) is an eqilibrim point. (P2): The spectrm of df O is { α 1 ±iω 1,α 2 ±iω 2 } where 0 < α 2 < α 1 and ω 1,ω 2 > 0. (P3): There is (at least) one trajectory γ biasymptotic to O. The homoclinic cycle is given by Γ = {O} γ. (P4): For all t R, one has dim ( T γ(t) W (O) T γ(t) W s (O) ) = 1. In addition, we state a non-degeneracy condition: (P5): For λ > 0 small, the cycle Γ is broken in a generic way. 6

7 Remark 3.1. Property (P4) is eqivalent to: t R, codim ( span{t γ(t) W (O),T γ(t) W s (O)} ) = 1. This property defines an open and dense condition in the C r -topology, r 2. ThroghotthepresentpaperweconfineorselvestoR 4 whichmayseemrestrictive. Aredction from a higher-dimensional system to the for-dimensional case can be achieved by a center manifold redction near the cycle [45]. Let T be a small tblar neighborhood of Γ and let Σ be a transverse section which cts γ at a niqe point q Γ. For λ = 0, it has been proved in [22] that there exists an invertible first retrn map R 0 : S Σ defined on a set S Σ whose closre contains {q}. The next reslt smmarises what is known abot the dynamics of (3.1) inside T (adapted to the case α 2 < α 1 ). Theorem 3.2 ([22, 48], adapted). Under hypotheses (P1) (P4), for any tblar neighborhood T of Γ and every cross-section to the flow Σ T at a point q Γ, there exists a Cantor set of initial conditions S Σ sch that: (a) R 0 is C r and is well defined, r 5. (b) The first retrn map to Σ has a contable family of niformly hyperbolic compact invariant sets (Λ M ) M N:M M0 in each of which the dynamics is conjgate to a fll shift over a finite nmber of symbols. (c) The set Λ := M=M 0 Λ M accmlates in Γ and the nmber of symbols coding the first retrn map to S tends to infinity as we approach the cycle Γ. (d) The map R 0 Λ indces on the tangent bndle TΛ one expanding and two contracting directions. In 6, we review the main steps of the proof of Theorem 3.2(a c) and we clarify the role of both the stable and nstable manifolds of the periodic soltions of (Λ M ) M N, in the overall strctre of the maximal invariant set in T. We reconstrct the proof of the existence of horseshoes (Λ M ) M N in order to nderstand the geometry of the problem and the dynamics emerging when the cycle Γ is broken (sed in 7). In the spirit of [43], the proof of Theorem 3.2 allows s to conclde that the shift dynamics does not trap most soltions in the neighborhood of Γ. In particlar, we prove the conjectre of Glendinning and Tresser [15]: most trajectories eventally leave the original cbe if the mapping is smooth enogh. More precisely: Corollary 3.3. Let T be a tblar neighborhood of Γ as defined before. Then, for any cross section S T sfficiently small, the set of initial conditions starting at S that do not leave T for all time, has zero Lebesge measre. The proof of Corollary 3.3 may be fond in 6.3. For λ 0, let R λ : S Σ be the retrn map associated to S after the addition of a pertrbing term that breaks Γ see (P5). Of corse, among the infinity of horseshoes that occr for λ = 0, a finite nmber (bt arbitrarily large) of them persists nder small smooth pertrbations Main reslts and strategy. For λ = 0, the nion of horseshoes accmlates on Γ as well as the invariant manifolds of its periodic orbits. This implies that there are diffeomorphisms arbitrarily close to R 0 for which me can find a heteroclinic tangency associated to hyperbolic periodic points of Λ N,Λ M, for large N,M N, with different signatres. A small local pertrbation may be performed and the previos configration may be approximated by another satisfying the condition described in Definition 2.6, ensring important dynamical properties nearby. One of them is or first main reslt: 7

8 Theorem A. If f satisfies hypotheses (P1) (P5), Σ is a sfficiently small cross section to γ and R 0 is the Poincaré map associated Σ, then there exists a diffeomorphism G A arbitrarily C 1 -close to R 0, exhibiting (Hénon-type) strange attractors and/or infinitely many sinks. The proof of Theorem A may be fond in 8.1. The strange attractors fond in Theorem A have at least one positive Lyapnov exponent. It is the closre of an invariant nstable manifold of a hyperbolic periodic orbit, and ths its shape might be very complicated. Tatjer s strategy allows s to conclde that they are contained in the center manifold associated to the Takens-Bogdanov bifrcation. Using [2], one immediate conseqence of Theorem A is: Corollary 3.4. A vector field in a generic nfolding of a for-dimensional nilpotent singlarity of codimension for may be C 1 -approximated by a vector field containing a strange attractor. The athors of[3] proved that sspended robst heterodimensional cycles can be fond arbitrarily close to any non-degenerate bifocal homoclinic orbit of a Hamiltonian vector field. Pertrbing the cycle in a special manner, it is possible to obtain a sectionally dissipative homoclinic point and the existence of strange attractors near the original vector field may also be obtained. Starting with a Tatjer homoclinic tangency, it is possible to find a two-parameter family of diffeomorphisms G (a,b) and a seqence of parameters (a n,b n ) converging to (0,0) for which for large n N, the diffeomorphism G (an,b n) has a n-periodic smooth attracting circle generated by the Neimark-Sacker-Hopf bifrcation. Therefore, in the C 1 -category, we may perform a Denjoy constrction (as done in [10]) for a tblar neighborhood of the attracting invariant circle of any diffeomorphism to detect non-trivial wandering sets. Or second main reslt is the following: Theorem B. If f satisfies hypotheses (P1) (P5), Σ is a sfficiently small cross section to γ and R 0 is the Poincaré map associated Σ, then there exists a diffeomorphism G B arbitrarily C 1 -close to R 0, exhibiting a contracting non-trivial wandering domain D and sch that ω(d,g B ) is a nonhyperbolic transitive Cantor set withot periodic points. The proof of Theorem B may be fond in 8.2. Using the Lifting Principle [40], the diffeomorphisms G A and G B (given in Theorems A and B) may be realized and then we conclde the existenceofaflowc 1 -closetothatoff forwhichstrangeattractors /non-trivialwanderingdomains may be observable. Remark 3.5. The athors of[8, 24] fond non-trivial wandering domains near a homoclinic tangency of a planar diffeomorphism by adding a series of pertrbations spported in specific open sets which are contained in disjoint gaps on the complement of persistent tangencies. Or strategy to prove Theorem B is different. Remark 3.6. Following the ideas of [8, 24, 31], we might think of sing Theorem 2 to exhibit historic behavior near Γ for a set with positive Lebesge measre. However, from Weyl Theorem, one knows that the orbit of each point on S 1 by the irrational rotation is eqi-distribted for the Lebesge measre, meaning that this is not the right approach to find historic behavior for a set with positive Lebesge measre. Open Qestions. Althogh we are not able to prove, for the moment, the existence of twodimensionalstrangeattractors C 1 -close toγ, thisscenarioisthenatral settinginwhichtopological two-dimensional strange attractors mst occr. This configration gives rise to what the athors of [15] call hyperchaos. Another property which is worth considering is the Hassdorf dimension of the attractor. We defer these tasks for ftre work. 8

9 Description Notation Property Main Strategy Section of / based in Original map R 0 Infinitely many horseshoes Ibáñez and 6.2 accmlating on Γ Rodriges [22] 6.4 1st Pertrbation R 1 R 1 λ 1 Heteroclinic tangency Yorke and 7.1 (within the family) (orbits with the same signatre) Alligood [57] 2nd Pertrbation R 2 Heteroclinic tangency Franks [12] 7.3 (orbits with the different signatres) Gormelon et al [6] 3rd Pertrbation R 3 Periodic point with complex angle 7.4 (if necessary) (in the Eler notation) 4th Pertrbation R 4 Homoclinic tangency to a saddle Kiriki et al [25] 7.5 satisfying Tatjer conditions 5th Pertrbation G A (Hénon-like) strange attractors Leal [33] and 8.1 Theorem A Viana [53] 5th Pertrbation G B Contracting non-trivial Broer [7], 8.2 Theorem B Wandering domains Denjoy [10] Kiriki et al [25] Table 1. Strctre of the paper and itinerary of the proof. 9

10 4. Retrn maps Using local coordinates near the bifocs we will provide a constrction of local and global transition maps. In the end, a retrn map arond the homoclinic cycle will be defined Normal form near the bifocs. One needs the normal form that is sed when stdying the general saddle-focs case. This normal form has been constrcted in Appendix A of [49]. Let f(x,λ) as in (3.1) and let A and B the (2 2)-matrices as in [49] that depend on the parameter λ. It is clear that A(0) = ( ) α1 ω 1 ω 1 α 1 and B(0) = The generalization of Brno s theorem may be stated as: ( ) α2 ω 2. ω 2 α 2 Theorem 4.1 (Shilnikov et al [49, 50], adapted). There is a local C 5 transformation near O sch that in the new coordinates (x,y) = (x 1,x 2,x 3,x 4 ), the system casts as follows { ẋ = A(λ)x+f(x,y,λ)x, (4.1) ẏ = B(λ)y +g(x,y,λ)y where: A(λ) and B(λ) are (2 2)-matrices fnctions; f,g are C 5 -smooth with respect to (x,y), their first derivatives are C 4 -smooth with respect to (x,y,λ) and the following identities are valid for every x = (x 1,x 2 ), y = (y 1,y 2 ) and λ 0: and f(0,0,λ) = 0, g(0,0,λ) = 0, f(x,0,λ) = 0, g(0,y,λ) = 0 f(0,y,λ) = 0, g(x,0,λ) = 0. Withot loss of generality, we are assming that the neighborhood V O in which the flow can be C 5 -linearized near O is a solid hypertors. Rescaling the local coordinates, the solid hypertors can be considered as the prodct of two nitary disks Local coordinates near O. Let s consider bipolar coordinates (r s,φ s,r,φ ) [0,1] R (mod 2π) [0,1] R (mod 2π) on V O sch that x 1 = r s cos(φ s ), x 2 = r s sin(φ s ), x 3 = r cos(φ ) and x 4 = r sin(φ ). In these coordinates the local invariant manifolds are given by W s loc (O) {r = 0} and W loc (O) {r s = 0} and, p to high order terms, we can rearrange system (4.1) as ṙ s = α 1 r s, φs = ω 1, ṙ = α 2 r and φ = ω 2. (4.2) Solving the above system explicitly we get r s (t) = r s (0)e α 1t φ s (t) = φ s (0)+ω 1 t r (t) = r (0)e α 2t φ (t) = φ (0)+ω 2 t Cross sections near O. In order to constrct a first retrn map arond the homoclinic cycle Γ we consider two solid tori Σ in O and Σot O defined by (a) Σ in O {r s = 1} with coordinates (φ in s,r in,φ in ), (b) Σ ot O {r = 1} with coordinates (r ot s,φ ot s,φ ot ). These sets, depicted in Figre 2, are transverse to the flow. 10

11 in Σ O ot Σ O W s (O) W (O) (a) (b) r φ q in φ s r s φs q ot φ 0 0 W s (O) W (O) Figre 2. Coordinates and cross sections near O: (a) Σ in O and (b) Σ ot O. Sperscripts in and ot are omitted. By constrction, trajectories starting at interior points of Σ in O go inside the hypertors V O in positive time. Trajectories starting at interior points of Σ ot O go otside V O in positive time. Intersections between local invariant manifolds at O and cross sections are circles parametrized as and Wloc s (O) Σin O = {rin = 0 and 0 φin s < 2π} (4.3) Wloc (O) Σot O = {rs ot = 0 and 0 φ ot < 2π}. (4.4) 4.4. Local transition maps near O. The time of flight from Σ in O to Σot O of a trajectory with initial condition (φ in s,rin,φin ) Σin O \Ws loc (O) only depends on the coordinate rin > 0 and is given by Since r in is given by T(φ in s,rin,φin ) ) = ln(rin > 0. α 2 > 0, T is well defined and non-negative. Hence the local map φ in s r in φ in Π O : Σ in O\Wloc s (O) Σot O r ot s φ ot s φ ot = ( r in ) α 1 α 2 φ in s ω 1 α 2 ln(r in ) (mod 2π) φ in ω 2 α 2 ln(r in ) (mod 2π) Since δ := α 1 α 2 > 1 (see (P2)), the flow is volme-contracting near O.. (4.5) 4.5. The inverse of Π O. It follows from (4.5) that the inverse of the local transition map Π 1 O : Σot O \W loc (O) Σin O 11

12 can be written as r ot s φ ot s φ ot φ in s r in φ in = φ ot s + ω 1 α 1 ln(r ot s ) (mod 2π) ( ) r ot α 2 α s 1 φ ot + ω 2 α 1 ln(r ot s ) (mod 2π). (4.6) 4.6. Global transition the retrn map. Here, we define the global map from Σ ot O to Σin O corresponding to a flow-box arond the homoclinic connection γ. By taking V O small enogh, we can assme that γ intersects each one of the cross sections Σ in O and Σ ot O at exactly one point, qin and q ot, defined by: {q in } = γ Σ in O and {q ot } = γ Σ ot O (see Figre 2). Withot loss of generality, we may assme that the φ in s, φ ot coordinates of q in and q ot are zero. Therefore, thereexists T 1 > 0 schthat ϕ(t 1,q ot ) = q in and ϕ([0,t 1 [,q ot ) Σ in O =. Usingthe reglarity of the flow and the Tblar Flow Theorem [39], it follows that, given any neighborhood C in Σ in O of qin, there exist a neighborhood C ot Σ ot O of qot and τ 1 : C ot R sch that: τ 1 is a C r map, r 5; τ 1 (q ot ) = T 1 ; ϕ(τ 1 (q),q) C in for all q C ot. Now, we define the global map Ψ 1 : C ot C in as Ψ 1 (q) = ϕ(τ 1 (q),q), with q C ot. The map Ψ 1 represents the global reinjection from Σ ot O to Σin O following Γ. Then we consider the set S = Π 1 O (Cot \Wloc (O)) Σin O and define the first retrn map R 0 : S C in as R 0 S = Ψ 1 Π O. (4.7) A sketch of S is given in Figre 3. Note that R 0 is of class C r, with r 5, and is well defined. See also [11, 22]. in Σ O ot R ( ) 0 Σ O S Figre 3. Global geometry arond the bifocs. 12

13 4.7. Technical notation. Withot loss of generality, we assme that the neighborhoodsc in and C ot introdced above, may be parameterised as: C in = { (φ in s,rin,φin ) : φin s [ εin,ε in ],r in [0,cin ],φ in [0,2π]} Σ in O, for some small constants 0 < ε in,c in 1, and C ot = { (r ot s,φ ot s,φ ot ) : r ot s [0,c ot ],φ ot s [0,2π],φ ot [ ε ot,ε ot ] } Σ ot O (4.8) for some small enogh constants 0 < ε ot,c ot A model for the transition. Up to high order terms, the global map Ψ 1 : C ot C in may be given by: X rs ot cos(φ ot s ) Y A rs ot sin(φ ot s ) +... Z where A is a linear map sch that deta 0 and where the dots represent the high order terms effectsofλ(see(2.6) of[11]). AsimplechoiceofAcompatiblewithhypothesis(P4) is and ths the retrn map R 0 to C in Σ in O may be written as: X Y rs ot cos(φ ot ) rs ot sin(φ ot ) +... (4.9) Z φ ot Taking into accont (4.5), the previos map is eqivalent to: X Y Z φ ot ( r in ) δcos(φ in s ω 2 α 2 ln(r in )) ( r in ) δsin(φ in s ω 1 α 2 ln(r in )) φ in ω 1 α 2 ln(r in ) Since (r s,φ s,r,φ ) are bipolar coordinates in Σ in O = {r s = 1}, we get: ( ) Y (r in ) 2 = X 2 +Y 2, φ in = arctan +kπ,k Z and φ in s = arctan(z)+..., X and ths we may write an explicit expression for R 0 : X Y Z a model similar to eqations (2.6) and (3.6) of [11]. ( X 2 +Y 2)δ 2 sin( Z ω 2 2α 2 ln ( X 2 +Y 2)) arctan ( ) Y X ω 1 2α 2 ln(x 2 +Y 2 ) ( X 2 +Y 2)δ 2 cos( Z ω 2 2α 2 ln ( X 2 +Y 2)). +..., (4.10) Remark 4.2. Or constrction holds if the global map considered in (4.9) is another model compatible with hypotesis (P4). 13

14 5. Local geometry near the cycle 5.1. Notions related with spiralling behavior. In this section, we introdce the notions of segment, spiral, helix, spiralling sheet and scroll. These definitions are adapted from [18, 22]. Definition 5.1. A segment s in Σ in O is a smooth reglar crve s : [0,1] Σin O parametrized by t that meets Wloc s (O) transversely and only at a point s(0) and sch that writing s(t) = (φ in s (t),r in (t),φ in (t)), then: the components are monotonic fnctions of t and φ in s (t) and φin (t) are bonded. Similarly, we define a segment in Σ ot O. Definition 5.2. Let a R, D be a disc centered at p R 2. A spiral on D arond the point p is a smooth crve α : [a,+ [ D, satisfying lim s + α(s) = p and sch that if α(s) = (r(s),θ(s)) is its expression in polar coordinates arond p then: (1) the map r is bondedby two monotonically decreasing maps converging to zero as s + ; (2) the map θ is monotonic for some nbonded sbinterval of [a,+ [ and (3) lim s + θ(s) = +. The notion of spiral may be natrally extended to any set diffeomorphic to a disk. Definition 5.3. An helix H Σ in O accmlating on Ws loc (O) is a crve (parametrized by t) H : [0,1] Σ in O withot self-intersections sch that if H(t) = (φ in s (t),r in (t),φ in (t)), then: the components are qasi-monotonic fnctions of t; lim t 0 + φ in s (t) = lim t 0 + φin (t) = + and lim t 0 + rin (t) = 0. Similarly, we define helix in Σ ot O accmlating on W loc (O). Definition 5.4. A two-dimensional manifold H embedded in R 3 is called a spiralling sheet accmlating on a crve C if there exist a spiral S arond (0,0), a neighborhood V R 3 of C, a neighborhood W 0 R 2 of the origin, a non-degenerated closed interval I and a diffeomorphism η : V I W 0 sch that: η(h V) = I (S W 0 ) and γ = η 1 (I {0}). The crve C can be called the basis of the spiralling sheet. According to Definition 5.4, p to a diffeomorphism, we may think on a spiralling sheet accmlating on a crve as the cartesian prodct of a spiral and a crve. In the present paper, the crve C lies on the invariant manifolds of O. Each transverse cross section to C intersects the spiralling sheet into a spiral. Note also that the diffeomorphic image of a spiralling sheet is again a spiralling sheet. Definition 5.5. Given two spiralling sheets H 1 and H 2 accmlating on the same crve C R 3, any region limited by H 1 and H 2 inside a tblar neighborhood of C is said a scroll accmlating on C. 14

15 5.2. Local geometry. The following reslt will be essential in the seqel. It gives a general characterization of the geometry near the bifocs. See Figre 4. Proposition 5.6 ([18, 22], adapted). For υ > 0 arbitrarily small, let Ξ : D R 2 R be a C 1 map defined on the disk D = {(,v) R 2 : 0 2 +v 2 υ < 1} and let and F in = {(φ in s,rin,φin ) Σin O : φin s = Ξ(rin cosφin,rin sinφin ), 0 rin υ, 0 φin < 2π} F ot = {(rs ot,φ ot s,φ ot ) Σ ot O : φ ot = Ξ(rs ot cosφ ot,rs ot sinφ ot ), 0 rs ot υ, 0 φ ot s < 2π} Then the following assertions are valid: (1) Any segment in F in \W s loc (O) is mapped by Π O into a helix accmlating on W loc (O). (2) The set Π O (F in \Wloc s (O)) is a spiralling sheet accmlating on W loc (O) Σot O. (3) The set Π 1 O (Fot \Wloc (O)) is a spiralling sheet accmlating on Ws loc (O) Σin O. (4) The set S introdced in 4.6 is a scroll contained in Σ in O accmlating on Ws loc (O) Σin O. Π O W (O) Figre 4. Any segment in F in \Wloc(O) s is mapped by Π O into a helix accmlating on Wloc(O). Any closed crve in Σ in O is mapped by Π O into a closed crve in Σ ot O. The red crve in this Figre is spposed to be the same as the red crve of Figre Three-dimensional whiskered horseshoes revisited The existence of a homoclinic cycle Γ is considered as a mechanism to create three-dimensional chaos in the spirit of Shilnikov [46, 47] and Lerman [34]. In this section, we recall the main steps of the constrction of the invariant horseshoe given in [22], adapted to or prposes. We address the reader to [55] for more details in the definitions Geometric preliminaries for the constrction. Let D R 3 be a compact and connected 3-dimensional set of R 3. Define D X and D y the projection of D onto R 2 and R as: and D X = {X R 2 : for which there exists y R with (X,y) D} R 2 D y = {y R : for which there exists x R 2 with (X,y) D} R. In or case, as illstrated in Figre 5, R X is a closed and connected two-dimensional sqare contained in R 2 and D y is a bonded interval of R. 15

16 L D y D h (X) α h (X) β α H β H D X X Figre 5. Illstration of the sets D, D X, D y and Property (P). Definition 6.1. A µ h -horizontal slice H is defined to be the graph of a fnction h : D X R satisfying: H = {(X,h(X)) R 3 : X D X } D and for all X 1,X 2 D X, there exists µ h R + 0 sch that h(x 1) h(x 2 ) µ h X 1 X 2. A µ v -vertical slice V is defined to be the graph of a fnction v : D y R 2 satisfying: H = {(v(y),y) R 3 : y I y } D and for all y 1,y 2 D y, there exists µ v R + 0 sch that v(y 1) v(y 2 ) µ v y 1 y 2. Let µ h > 0 fixed, let H D be a µ h -horizontal slice and let D y D be an interval intersecting H at one point. Let H α, α D y be the set of all µ h -horizontal slices that intersect the bondary of D y and have the same domain as H. Now, consider the following set: where: S H = {(X,y) R 2 R : X D X and y has the Property (P) } Property (P): for each X D X, given any line L throgh (X,y) with L parallel to the plane X = 0, then L intersects the points (X,h α (X)) and (X,h β (X)) for some α,β D y with (X,y) between these two points along L. Definition 6.2. A µ h -horizontal slab is defined to be the topological closre of S H. See Figre 5. The vertical bondary of a µ h -horizontal slab S H, denoted by v S H, is defined as v S H = {(X,y) S H : X D X }. The horizontal bondary of a µ h -horizontal slab S H, denoted by h S H, is defined by h H = S H v S H. Vertical slabs and their bondaries may be defined similarly. Definition 6.3. Let SH 1 and S2 H be two µ h-horizontal slabs. We say that SH 1 intersects S2 H SH 1 S2 H and vsh 1 vsh 2. flly if 16

17 Definition 6.4. The width of a µ h -horizontal slab S H, denoted by d(s H ), is defined as: d(s H ) = sp h α (X) h β (X) (6.1) X D X,α,β I Similarly, we define width of a µ v -vertical slab. More details in 2.3 of [55] The constrction. In this section we focs or attention on the dynamics of S = Π 1 O (Cot \W loc (O)) Cin Σ in O (6.2) defined in Sbsection 4.6. To simplify the readers task we revisit few reslts, inclding their proofs, whose argments will be reqired in the seqel. We also discss the existence of invariant sets in S, accmlating on Wloc s (O) Σin O, where R 0 is topologically conjgate to a shift nder (at least) two symbols. The constrction is based on the generalized Conley-Moser conditions [27, 55], which provide sfficient conditions for the existence of invariant sets where the dynamics is conjgated to a fll shift. Let C ot Σ ot O be the solid cylinder ( of radis cot ) given by (4.8). Given η [0,2π] and ε ot > 0, for each N N sch that N 1 ω2 2π α 2 ln(c ot )+η, we define the hollow cylinder where M ot N = { (r ot s,φ ot s,φ ot ) : rot s [a N+1,a N ],φ ot s [0,2π],φ ot [ ε ot,ε ot ] } C ot, As depicted in Figre 6, the border of M ot N ( ) α1 (η +2πN) a N = exp. (6.3) ω 2, denoted by Mot, can be written as M ot N = E L N E R N T I N T O N, (the letters L, R, I, O mean Left, Right, Inner and Oter, respectively) with: EN L = { (rs ot,φ ot s,φ ot ) : rot s [a N+1,a N ],φ ot s [0,2π],φ ot = ε ot}, EN R = { (rs ot,φ ot s,φ ot ) : rot s [a N+1,a N ],φ ot s [0,2π],φ ot = ε ot}, TN I = { (rs ot,φ ot s,φ ot ) : rot s = a N+1,φ ot s [0,2π],φ ot [ ε ot,ε ot ] } and TN O = { (rs ot,φ ot s,φ ot ) : rot s = a N,φ ot s [0,2π],φ ot [ ε ot,ε ot ] }. N E L N T I N T O N E R N W (O) Figre 6. The border of M ot N, denoted by M ot N, can be written as M ot N = E L N E R N T I N T O N. 17

18 Accordingtothedefinitionsgiven insbsection6.1, it iseasy tocheck theset MN ot isahorizontal slab across Σ ot O. The vertical (resp. horizontal) bondaries of Mot N are defined by EL N and ER N (resp. TN I andto N ). ThesrfacesTI N andto N may bedefinedasgraphsof fnctionsrin = h(φin s,φin ) where h is approximately a constant map. Define now: S N = Π 1 O (Mot N ) Σin O. (6.4) Using the coordinates of the different components of MN ot, the athors of [22] proved that: ( Π 1 O (EL N) = {(φ in s,r in,φ in ) : r in α2 (φ in = exp ( Π 1 O (ER N) = {(φ in s,r in,φ in ) : r in α2 (φ in = exp +ε ot ) ω 2 ), φ in [ ε ot η 2π(N +1), ε ot η 2πN], φ in s [0,2π]} Σin O }, εot ) ω 2 ), φ in [ε ot η 2π(N +1),ε ot η 2πN], φ in s [0,2π]} Σin O }, ( Π 1 O (TI N ) = {(φin s,rin,φin ) : rin = exp α ) 2(γ +2π(N +1)), ω 2 φ in [ εot η 2π(N +1),ε ot η 2π(N +1)], φ in s [0,2π]} Σ in O} and ( Π 1 O (TO N) = {(φ in s,r in,φ in ) : r in = exp α ) 2(γ +2πN), ω 2 φ in [ ε ot η 2πN,ε ot η 2πN], φ in s [0,2π]} Σin O }. By Proposition 5.6, the set S = Π 1 O (Cot ) Σ in O becase each of the two disks is a scroll accmlating on Ws loc (O) Σin O { (r ot s,φ ot s,φ ot ) : rot s [0,c ot ], φ ot s [0,2π], φ ot = ±ε ot} limiting C ot is sent by Π 1 O into a spiralling sheet accmlating on Ws loc (O) Σin O. Therefore S is limited by two spiralling sheets accmlating on Wloc s (O) Σin O. -1 Π O Figre 7. Each of the two disks limiting MN ot accmlating on Wloc(O) Σ s in O. C ot is sent by Π 1 O into a spiralling sheet 18

19 The family of sets S N (see (6.4)) provides an infinite collection of pieces inside the scroll S accmlating on Wloc s (O) Σin O. Note that S N is limited by two tori contained in Σ in O. More precisely S N { ( (φ in s,rin,φin ) Σin O : b N+1 r in b } N where b N = exp α ) 2(η +2πN). ω 2 For i,j N large enogh, let s consider the set V ij := R 0 (S i ) S j, where R 0 is the retrn map introdced in 4.6. To nderstand the shape of sch intersection we first mst notice that for n N sfficiently large, we have b N < ε ot and: Lemma 6.5. Under conditions (P1) (P4), there exists N 0 N sch that b N+1 > a N for all N > N 0. Proof. In this proof we make se of the fact that α 2 < α 1 ( δ > 1). Defining the seqence: ξ N = η +2π(N +1) η +2πN, N N, it is easy to see that (ξ N ) N is decreasing and lim N + ξ N = 1. Therefore, there exists N 0 N sch that: η +2π(N +1) N > N 0, < α 1, η +2πN α 2 which is eqivalent to the existence of N 0 N sch that: N > N 0, α 1 (η +2πN) > α 2 (η +2π(N +1)). Mltiplying both sides of the prevos ineqality by 1 and composing with the exponential map, we conclde that there exists N 0 N sch that ( N > N 0, exp α ) ( 1 (η +2πN) < exp α ) 2 (η +2π(N +1)), ω 2 ω 2 completing the proof. The geometrical interpretation of Lemma 6.5 is given in Figre 8. Let V ji = R 0 (S i ) S j. From the above estimations, for all i,j N large enogh, we get V ij. Each V ij consists of two connected components Vij k, with k = 1,2 see Figre 8. These sets are flly intersecting vertical slabs across S j. Defining Hij k = R 1 0 (V ij k ), the next lemma claims that Hij k bilds a flly intersecting horizontal slab across S N. Lemma 6.6 (Slab Condition [22]). For each k = 1,2 and i,j N large enogh, the set H k ij is a flly intersecting horizontal slab in S i. By constrction, the image nder R 0 of the two horizontal bondaries of each Hij k is a horizontal bondary of Vij k. Moreover, the image nder Π O of each vertical bondary of Hij k is a horizontal bondary of Π O (Hij k) and then a vertical bondary of R 0(Hij k ). Now we need to obtain estimations of the rates of contraction and expansion of Hij k nder R 0 along the horizontal and vertical directions. The map d is defined in the expression (6.1). Lemma 6.7 (Hyperbolicity condition [22]). The following assertions hold: If H is a µ h -horizontal slab intersecting H j flly, then R 1 0 (H) H j =: H j is a µ h -horizontal slab intersecting H j flly and d( H j ) ν h d(h), for some ν h ]0,1[. 19

20 (a) in r (b) r = b in N in r = a N+1 (c) 1 V ij V ij 2 φ in in φ s r in Figre 8. The horseshoe with two contracting and one expanding directions. (a): global view, (b): pper view and (c): side view. If V is a µ v -vertical slab contained in S j sch that V V ij, then R 0 (V) S j is a µ v -vertical slab contained in S j and d(r 0 (V) S j ) < ν v d(v), for some ν v ]0,1[. Disregarding, if necessary, a finite nmber of horizontal slabs (which is eqivalent to shrink the initial cross section), we have: Proposition 6.8. There exists an R 0 -invariant set of initial conditions Λ N S Σ in O on which the map R 0 is topologically conjgate to a fll shift over a finite nmber of symbols. The maximal invariant set Λ := N N Λ N is a Cantor set. We will briefly review the proof to recollect the strategy for the constrction of the Cantor set, which will be needed in the seqel. Proof. Consider the set of points that remain in E = N N S N (see (6.4)) nder all backward and forward iterations of R 0. It may be encoded by a seqence of integers greater or eqal to n 0 N as follows. Given a seqence of integers greater or eqal to N 0, say (s N ) N Z, define and Λ (s N ) N Z = { p E : (R 0 ) i (p) S s i, i N {0} Λ = Λ (s N ) N Z. (s N ) N Z } 20

21 More generally, sing the Slab Condition stated in Lemma 6.6, for k N, set Λ 1 ( ) = R0 (V s 1 ) S s0 Λ 2 = (s N ) N Z ( R0 (V s 1 s 2 ) S s0 ) (s N ) N Z V s0 s 1 =. Λ k = (s N ) N Z (s N ) N Z ( R 2 0 (S s 2 ) R 0 (S s 1 ) S s0 ) ( R0 (V s 1 s 2...s k ) S s 0 ) (s N ) N Z V s0 s 1 s 2 = (s N ) N Z (R0 k (S s k ) R0 k 1 (S s k+1 )... R 0 (S s 1 ) S s0 ) (s N ) N Z V s0 s 1...s k. (s N ) N Z Observe that, de to the Hyperbolicity Condition established in Lemma 6.7, for every k N {0} the set Λ k is a disjoint nion of vertical slabs V s0 s 1...s k contained in S s0, where the width of V s0 s 1 s 2...s k is (ν v ) k 1 times smaller than the width of V s0 s 1 and, moreover, lim k + (ν v ) k = 0 and V s0 s 1 s 2...s k V s0 s 1 s 2...s (k 1). Conseqently, the set Λ, which is k N Λ k, consists of infinitely many vertical slices whose bondaries lie on v S s0 see Figre 9. The constrction of Λ + = { } p E : (R 0 ) i (p) S s i, i N {0} (s N ) N Z is similar. Finally, the set trapped in S (see (6.2)) by all the iterations, forward and backward, of R 0 S is precisely Λ = Λ Λ + (6.5) and is the intersection of an ncontable set of vertical slices with an ncontable set of horizontal transverse slices. Therefore, by constrction, the set Λ = N N Λ N := N N (Λ S N) is a Cantor set which is in a one-to-one correspondence with the family of bi-infinite seqences of a contable set of symbols (the itineraries of the R 0 orbits inside a partition defined by a family of disjoint vertical slabs) and where the dynamics of R 0 is conjgate to a Bernolli shift with contably many symbols. P Figre 9. Any point P in Λ is niqely identified with two spiralling sheets. 21

22 Remark 6.9 (Whiskers). The previos constrction allows s to conclde that when λ = 0 and N,M N large enogh, the hyperbolic horseshoes Λ N, Λ M are heteroclinically related. More precisely, the nstable manifolds of the periodic orbits in Λ N, are long enogh to intersect the stable manifolds of the periodic points of Λ M. That is, given two horizontal slabs, there exist periodic soltions jmping from one slab to another, and so the homoclinic classes associated to the infinitely many horseshoes are not disjoint. For λ 0 small, this property persists for a finite (arbitrarily large) nmber of horseshoes. Regarding this sbject, the chapter abot the whiskers of the horseshoes in Gonchenko et al [16] is worthwhile reading Proof of Corollary 3.3. The constrction performed in Sbsection 6.2 allows s to prove Corollary 3.3: at a sfficiently small cross section Σ C in T, the set of initial conditions that do not leave T, for all ftre and past times, is precisely Λ and has zero Lesbesge measre. If necessary, we may neglect a finite nmber of slabs Hyperbolicity of Λ: Using the expression (4.10), in the local coordinates (X,Y,Z), the eigenvales of DR 0 are real nmbers. The eigenvales of DR 0, when evalated at points of C in Σ in O with X2 +Y 2 > 0 and Z 0 small enogh, lie in different connected components of R 2 \S 1. More precisely, sing software Maple, it is easy to check that the eigenvales µ 1,µ 2 and µ 3 of DR 0 satisfy: µ 1 µ 2 µ 3 δ(x2 +Y 2 ) δ Z 2 ) ( ) µ 3 O( 1 1 = O r in X << 1 and 2 +Y 2 µ 1 = O(r in ) = O( X 2 +Y 2 ) 0. Note that these approximations are performed for δ > 1 and X 2 +Y 2 > 0 small enogh (near Λ). Their eigendirections are sch that: lines parallel to W s loc (O) are contracted nder DR 0 and lines connecting T I n and T O n (see Figre 6) are stretched nder DR 0. This agrees well with 3.2 of [55] and with Figre 8(a). These properties allows s to apply the constrction of appropriate family of cones and so one concldes that the map R 0 indces on the tangent bndle T Λ one expanding direction and two contracting directions [23, 6]. Hence, the map R 0 Λ is hyperbolic (niformly hyperbolic in compact sets). Remark Corollary 3.3 is consistent with the Bowen theory, which states that, in the C 2 - category, any invariant flow-invariant and hyperbolic set shold have either zero Lebesge measre or fll Lebesge measre. 7. Generalized homoclinic tangency The goal of this section is to prove that, in the C 1 -topology, the map R 1 0 may be approximated by a C r diffeomorphism with a homoclinic tangency satisfying [T2] [T4], for r 5. Once this is proved, by definition, the map R 0 may be approximated by a C r diffeomorphism with a Tatjer homoclinic tangency satisfying [T1] [T4] see page 257 of [51]. Remark 7.1. We sggest the reader to think on the geometry of R0 1 as it was the first retrn map for a cycle to a bifocs at which the vector field has positive divergence (δ < 1). In particlar, for R0 1, thelocal nstablemanifold ofp M may beseenasatwo-dimensional diskcrossingtransversally Wloc s (O) Σin O. Therefore, Proposition 5.6 may be applied to this disk. 22