A route to chaos in the Boros-Moll map
Gardini, Laura;Mañosa, Víctor;Sushko, Iryna
2018-04-18 00:00:00
The Boros-Moll map appears as a subsystem of a Landen transformation associated to certain rational integrals and its dynamics is related to the convergence of them. In the paper, we study the dynamics of a one-parameter family of maps which unfolds the Boros-Moll one, showing that the existence of an unbounded invariant chaotic region in the Boros-Moll map is a peculiar feature within the family. We relate this singularity with a speci c property of the critical lines that occurs only for this special case. In particular, we explain how the unbounded chaotic region in the Boros-Moll map appears. Special attention is devoted to explain the main contact/homoclinic bifurcations that occur in the family. We also report some other bifurcation phenomena that appear in the considered unfolding. 1 Introduction 2 2 In this paper we study some dynamical properties of the one-parameter family of planar maps G : R ! R given by h(x + y) + xy + 9 x + y + 6 G (x; y) := ; : (1) 4=3 2=3 (x + y + 2) (x + y + 2) For h = 5, the map G appears as a subsystem on an uncoupled Landen transformation de ned in R introduced by Boros and Moll in [3], see also [4]. Roughly speaking, given a de nite integral depending on several parameters, a Landen transformation is a map on these parameters that leaves invariant the integral, see [20, p. 412] for a more precise de nition, and [1] for a historical account of Landen transformations. Indeed, in the above references it is shown that the dynamical system de ned by 5a + 5b + a b + 9 a + b + 6 n n n n n n > a = ; b = ; n+1 n+1 4=3 2=3 (a + b + 2) (a + b + 2) > n n n n d + e + c (b + 3)c + (a + 3)e + 2d n n n n n n n n (2) c = ; d = ; n+1 n+1 2=3 (a + b + 2) a + b + 2 n n n n > c + e n n e = ; n+1 1=3 (a + b + 2) n n is a Landen transformation of the integral 1 4 2 cx + dx + e I (a; b; c; d; e) = dx; 6 4 2 x + ax + bx + 1 which means that I (a ; b ; c ; d ; e ) = I (a ; b ; c ; d ; e ). The map G is, therefore, the n+1 n+1 n+1 n+1 n+1 n n n n n 5 one associated with the subsystem of the denominator's parameters of the integral. This map has been arXiv:1804.06587v1 [nlin.CD] 18 Apr 2018 investigated from a dynamical view point by Chamberland and Moll in [5], proving that the set of values of the parameters for which the integral associated to the 5-dimensional Landen transformation converges, coincides with the basin of attraction of one of the xed points of the map G . The study of the global dynamics of map G is a challenging task. The known facts can be summarized as follows: There is a connected open set which is the basin of attraction of the xed point (x; y) = (3; 3). Coexisting with this basin, it appears an invariant set with chaotic dynamics. The boundary between these sets is given by one of the two connected components of an algebraic curve (given in Eq. (6), below) that is part, together with its preimages, of the stable set of a saddle point that is also contained in the curve. In this work we consider the unfolding of G given by the one-parameter family (1) and we describe the route that leads to the appearance of the chaotic set for h = 5. In particular we analyze the maps G for h 5, say h 2 [5; 6], pursuing the appearance of areas with chaotic dynamics and their bifurcations, and showing that there is a repelling chaotic set for h & 5. We relate the existence of the chaotic set for h = 5 with the merging of a part of the critical line with the mentioned algebraic curve. The paper is structured as follows. Section 2 is devoted to study the two main nal bifurcations that appear in the family: the one that leads to the appearance of an unbounded chaotic repellor that exists for e e all the values of the parameter h 2 (5; h], where h ' 5:032; and the nal creation of the invariant unbounded chaotic set of G . These bifurcations are studied in Sections 2.4 and 2.5, respectively. The previous subsections are devoted to explain some general issues of the family of maps G . In Section 2.1 we introduce the notation concerning the so called critical lines, which is one of the main tools in our analysis, and we recall some of the main features of the phase portrait of the Boros-Moll map. In Section 2.2 we prove the existence of three xed points for all the values of the parameter h, and we determine the value h at which a Neimark-Sacker bifurcation of one of the xed points occurs, that starts the sequence NS of bifurcations studied in the paper (see Fig.2 and Fig.9). In Section 2.3 we show that the dynamics of the family of maps for values of h greater than h is regular. NS Section 3 is devoted to describe some sequences of bifurcations, the main ones that appear in the selected route to chaos in the Boros-Moll map, with special emphasis in the creation and contact bifurcations of chaotic areas, and homoclinic bifurcations related to snap-back repellors. An Appendix is included with some considerations regarding the partition of the phase space in zones related to the number of rank-1 preimages of the family of maps. 2 General properties of map G and main nal bifurcations 2.1 Structure of the phase space of G As mentioned in the Introduction, our aim is to describe how the chaotic set existing for the map G is created. In Fig.1 we recall the structure in the phase space. The determinant of the Jacobian matrix of any map G is 1 (x + y 6) (x y) det(J (G )) = (3) (x + y + 2) and therefore, for any xed h 2 R the critical curve LC of a map G , is given by the two straight lines 1 h LC : y = x; and (4) jj LC : x + y 6 = 0: Since LC intersects the line (d) (d) : x + y + 2 = 0; (5) where the denominator of the components of the map vanishes, at the point (x; y) = ( 1; 1), the image j j j j of LC consists of two unbounded arcs LC = G (LC ) = LC [ LC which, in the case h = 5, are the 1 1 r It cannot be called a chaotic attractor, since the closure of a generic trajectory looks like the full invariant set, and attracts no other point. See [2] for details related to some properties of maps with a vanishing denominator. 2 Figure 1: Chaotic set (in black) and basin of attraction of P = (3; 3) (in red) for the Boros-Moll map G . 1 5 In (a) in the phase plane (x; y). In (b) in the plane scaled as (arctan(x); arctan(y)): two connected components of the resolvent curve given by 2 2 3 3 R(x; y) = x y + 4 x + 4 y 18 xy + 27 = 0: (6) For h = 5, the image of the portion of straight line LC from in nity ( 1) to (x; y) = ( 1; 1) gives LC ; the arc bounding the chaotic area in Fig.1, and belongs to the stable set of the saddle xed point P ' ( 4:20557; 3:95774), [12, Proposition 8]. The second branch of G (LC ), which is LC ; is the image 2 5 of the half line of LC taken from ( 1; 1) to in nity (+1), and it is also shown in Fig.1a. It includes the xed point P = (3; 3) which is an attracting node whose basin is also bounded by LC . The third xed point P ' ( 5:30914; 0:83118) is an unstable focus belonging to the chaotic area. As noticed in [5], the fact that (x y) R(G (x; y)) = R(x; y); (7) (x + y + 2) n j implies that the curve LC is invariant, i.e. G (LC ) = LC for any n > 0. By using the fact that LC is part of the stable set of the saddle point P we also have that the arc LC is invariant. From this fact, and from the characterization of the basin of attraction of P given in [5], the (seemingly chaotic) area bounded by the curve LC is also invariant. In fact, in [19] and [20, p. 442{444] it seems suggested that such invariant area is exactly a true chaotic area (with dense periodic points, which are all homoclinic), but this is still to be proved rigorously. In order to understand the appearance of the chaotic area we consider the 2-parametric family of maps 2 2 G : R ! R given by g;h gx + hy + xy + 9 x + y + 6 G (x; y) := ; ; g;h 4=3 2=3 (x + y + 2) (x + y + 2) for which a numerical exploration evidences that unfolding the Boros-Moll map there are maps with dierent qualitative behavior. Indeed, one can check that in the parameter plane (g; h) depicted in Fig. 2 there appear several regions indicating qualitative dierences. The dierent colors in this gure represent regions in the parameter space related to the existence of attracting cycles of dierent periods. The yellow region in Fig. 2 represents the values of the parameters at which the dynamics is regular, namely there exist two attracting xed points, P in the positive side and P in the negative side, whose basins of attraction are separated 1 3 by the stable set of a saddle xed point P . Dierently, the brown region represents the values of the parameters at which the only attracting set is the positive xed point P : The existence of these xed points, as a function of the parameters, is commented below. The white points denote either existence of a cycle 3 Figure 2: In (a) two-dimensional bifurcation diagram related to an i.c. close to the xed point P : In (b) enlargement of the rectangle marked in (a). of period higher than 45 or the existence of a chaotic attractor. Since the positive xed point P is always attracting, in all these regions the attractor P coexists with some other attracting set. To simplify our analysis, which is oriented to understand the dynamics of the Boros-Moll map, we consider g = h, which gives the one-parametric family (1), and we will focus mainly in the interval h 2 [5; 6] of the parameter values. Thus, in the two-dimensional bifurcation diagram the straight line of equation g = h represents the path that we shall follow in order to describe some of the bifurcations occurring from a regular regime existing for h = 6 to the chaotic one existing for h = 5. In fact, changing the parameter h along the path in Fig.2(b), decreasing h, the xed point P becomes an attracting focus and then it becomes a repelling focus via a Neimark-Sacker (NS from now on, for short) bifurcation, as commented below, giving rise to a sequence of bifurcations that we will summarize in its main features. Decreasing h we can comment the appearance/disappearance of attracting k-cycles for k > 1 of dierent periods or attracting closed invariant curves as well as the existence of chaotic attractors/repellors. 2.2 Fixed points of G and rst Neimark-Sacker bifurcation We notice that for any h 2 R, map G has exactly three dierent xed points. In order to characterize the xed points of map G , and following [5], we introduce the auxiliary variable m = x + y + 2, so that the xed points are characterized by < c (x; y; m) := m x y 2 = 0; c (x; y; m) := xm + xy + hx + hy + 9 = 0; (8) c (x; y; m) := ym + x + y + 6 = 0: Isolating x and y from the rst and third equations we get: 5 3 2 3 m m 2 m 4 m + 4 x = and y = : (9) 2 2 m m Substituting these expressions in the second equation we obtain that the variable m must satisfy 11 9 8 7 6 5 4 3 2 c (m) = m m 3m hm 3m 2m + (2h 9) m + 8m + 8m + 16 = 0: 4 Observe that the term with highest degree in m of c (m; h) does not vanish for any h 2 R, hence no root enters from in nity. On the other hand, the discriminant of c is given by 14 13 12 (c (m; h)) = 927712935936 h 29686813949952 h + 211982405861376 h m 4 11 10 9 + 2739735613145088 h + 118044964423729152 h 1417849672260648960 h 8 7 6 3159536320125075456 h 89793115515877588992 h + 2232890826264743510016 h 5 4 8668279665625562873856 h + 39121043805342246371328 h 3 2 958082327734127689728000 h + 8262772575788649550970880 h 28385116733510952733900800 h + 35844037650190215269056512: By using the Sturm method we obtain that (c (m)) > 0 for all h 2 R, hence c (m) has no multiple roots, m 4 4 so that no roots of c (m) appear from C and there is no value of h such that the roots collide. Finally, using again the Sturm method we have that for h = 5, c (m) has only three distinct real roots. Hence for all h 2 R the polynomial c (m) has three dierent real roots, which give rise to three dierent xed points via Eq. (9). As already noticed in [5] and recalled above, G has the xed points P , P and P . Since the location 5 1 2 3 of the xed points vary continuously with the parameter h, we will denote the xed points of the maps G as P (h); P (h), and P (h), not indicating the dependence on h when it is not necessary. 1 2 3 Since the xed points P and P persist for h 2 [5; 6] as an attracting node and a saddle, respectively, 1 2 we are interested in the xed point P which may be attracting or repelling, as we have seen in Fig. 2. So we restrict the scope of our analysis to the proof of a NS bifurcation that occurs at h ' 5:6105116077. To nd the parameter value where the NS bifurcation takes place we consider the equation det(DG (x; y)) = 1, obtaining c (x; y; m) := 3 (x + y + 2) + (x + y 6) (x y) = 0: Using the polynomials c ; c and c that characterize the xed points, and taking successive resultants we 1 2 3 get that if a NS bifurcation takes place then the parameter h must be a root of the polynomial 11 10 9 P (h) = 582371795533824h 7007247733358592h + 41393275596177408h NS 8 7 6 557755817005154304h + 10296285821493313536h 129039497006709473280h 5 4 3 + 970090676944581427200h 4072496100968654438400h + 8531720267711624773632h 7149146865159609778176h + 6956611779457796014080h 20284715289100324700160 By using the Sturm method we get that this polynomial has a unique real root in 808559935549815353 404279967774907677 ; : 144115188075855872 72057594037927936 Hence h ' 5:6105116077302352. Now we check that the point P (h) is a hyperbolic stable focus for NS 3 h & h , a hyperbolic unstable one for h . h and non-hyperbolic for h = h . In the next subsection NS NS NS we show that for h > h there is coexistence of the two attracting xed points P and P and their basins NS 1 3 of attraction are separated by the stable set of the saddle P . 2.3 Regular regime of the map G As remarked above, for large values of h the dynamics of a map G is quite regular. In fact, the map has two attracting xed points, P and P . An example of the phase plane in such a situation is shown in Fig.3, 1 3 for h = 6, where P ' (3:37349; 3:00069); P ' ( 5:47727; 0:48573). In that gure the basin of attraction of 1 3 the xed point P is shown in red, B(P ); while that of P is shown in yellow, B(P ): The related basins of 1 1 3 3 attraction are separated by the stable set of the saddle xed point P : The main dierence with respect to the case h = 5 is that the main branch of the stable set of the saddle P is not a critical curve and that the basin of the xed point P is not connected (for example, there are 2 1 open sets of points with both negative coordinates that have a trajectory convergent to P ). In Fig.3 it 5 Figure 3: Basins of attraction of map G at h = 6. is shown the straight line LC up to the point ( 1; 1) and its image is the curve LC ; shown in black, which intersects the line (d) (see (5)) in one point and also intersects the stable set W (P ) in one point Q (see the enlargement in Fig.3) . The region denoted by H in Fig.3, which is the portion of phase plane j s bounded above by the critical curve LC and below by the stable set W (P ) on the right side of the point Q; belonging to B(P ); is responsible of further preimages belonging to the basin B(P ). 1 1 In the Appendix, it is reported how the critical lines split the plane in dierent zones named Z where the sub-index i denotes the number of dierent rank-1 preimages. In what follows, we will use this notation. In fact, the arc of LC on the boundary of H has two merging rank-1 preimages in the half line LC up to the point Q ; while the arc of stable set W (P ) on the right side of the point Q has two distinct rank-1 1 2 preimages issuing from the point Q 2 LC ; one at the right side of LC (on the boundary of the set 1 1 H ) and the other at the left side (on the boundary of the set H ), forming the boundary of the set 1;1 1;2 H = H [ H . Since H belongs to the zone Z whose points have two distinct rank-1 preimages, 1 1;1 1;2 1 2 we have two more preimages of H and so on, ad in nitum. Thus, the basin B(P ) includes also the in nite 1 1 sequence of preimages [ G (H ) which consists of in nitely many portions of the plane (in fact, due to n1 1 the properties of the regions Z described in Appendix, even if a preimage may happen to belong to Z (so k 0 having no further preimages), another one above the diagonal exists, and thus it belongs to Z with k 2: 2.4 Homoclinic bifurcation of P The existence of non-connected regions of the phase plane belonging to the basin B(P ) are relevant to prove that close to the value h = 5 a chaotic attractor becomes a chaotic repellor which persists for h 2 (5; h) for a certain value h, although almost all the points of the phase plane have a trajectory convergent to the xed point P : Similarly, a chaotic repellor exists for h 2 (5 "; 5) with " & 0, and almost all the points of the plane have a trajectory convergent to the xed point P : Thus, the occurrence of an invariant set of positive measure (which seems chaotic) for h = 5 as shown in Fig.1 is a very peculiar phenomenon in the framework of dynamical systems theory. The peculiarity may be related to the basin B(P ) which is an open simply connected set only for h = 5; and thus related to a peculiar behavior of the critical curves. In fact, e e for h 2 (5 "; h)nf5g the basin B(P ) is an open set but not simply connected (while for h h it is non connected). e e We show that there exists a particular value h ' 5:032 such that for h > h, there exists an invariant unbounded absorbing region A, which is bounded by segments of images of nite rank of a generating segment g belonging to the critical curve LC for x < 1 , that is, below the line (d) of vanishing denominator. For 3 j To simplify the notation, in the gures we write only LC in place of LC , since these are the only arcs of interest for the dynamics of the map, so there cannot be any confusion. 6 4 e e e h < h such an invariant region does not exist . Moreover, for h > h (resp. h < h) the saddle xed point P is not homoclinic (resp. is homoclinic). 2.4.1 Situation before the contact and qualitative description of the contact bifurcation For h > h (when the unbounded absorbing region A exists) the stable set of the saddle separates two basins of attraction: the basin B(P ) of the attracting xed point P and the basin B(A) of the absorbing area A 1 1 (inside which several attracting sets may exist). That is, the frontier of these two basins is that stable set: W (P ) = @B(P ) = @B(A): 2 1 Figure 4: Phase portrait of map G . The white area belongs to the basin of the invariant chaotic area. 5:032 The red area belongs to the basin B(P ): In green, the images of the generating segment g of the critical line LC . The region H , which is part of the basin B(P ), is close to contact with the chaotic area bounded 1 1 the arcs given by the images of the generating segment. In Fig.4 we illustrate the unbounded chaotic area at h = 5:032, whose boundary consists of a nite number of images of the generating segment g which is the arc of LC belonging to the invariant area itself (see [18]). It can be seen that the boundary is very close to contact the point Q 2 LC on the boundary of the set H which belongs to the basin B(P ): Recall that this boundary belongs to the stable set of the 1 1 s u;l saddle, W (P ); while the left branch of the unstable set of the saddle, W (P ); entering the chaotic area, is 2 2 u;r dense in that area (dierently, the other branch W (P ) issuing from the saddle P is a branch connecting 2 2 the saddle with the attracting xed point P ). When such a contact occurs, say at h = h; that is, when the boundary of H has a contact with the critical curve bounding the chaotic area, then this contact leads (for h < h) to the destruction of the invariant chaotic area and simultaneously to the appearance of homoclinic points of the saddle P (but on the left side only). The role played by contact bifurcations of this kind have been described in several works (see e.g. [7] and [18]), see also the bifurcations called \crisis" in [13, 14]). The contact bifurcation occurring at h = h is qualitatively shown in Fig.5. The contact point between the region H (whose boundary belongs to the stable set W (P )) and the chaotic area bounded by arcs of 1 2 j j critical curves, is denoted by p 2 LC for a suitable integer k, and it is the image of a point p 2 g LC : k 1 k 1 u;l If the area is truly chaotic then the closure of the unstable set W (P ) is exactly the chaotic area (i.e. u;l W (P ) is dense in the area), which means that the arcs of critical curves are limit sets of the unstable set (arcs shown in blue in Fig.5). The image of p is the point p 2 LC belonging to the boundary k k+1 k+1 of H on the arc of the stable set W (P ), so that the same property holds for the forward images which 0 2 For h = 5 there exist an invariant area, but it is not absorbing. 7 e Figure 5: Qualitative description of the contact bifurcation occurring at h = h: are converging to the saddle xed point P : that is, they are contact points between critical arcs on the boundary of the invariant area A and the main branch of the stable set W (P ). 2.4.2 Situation after the contact bifurcation u;l For h < h when the critical curves intersect the regions H and H also the unstable set W (P ) is crossing 1 0 2 these regions, and thus is crossing the stable set W (P ) leading to homoclinic points of the saddle, and since an invariant absorbing area no longer exists the generic trajectory converges to the attracting xed point P . Recall that for noninvertible maps we cannot refer to a general theorem stating that when a homoclinic orbit of a saddle cycle exists then close to the homoclinic orbit we can nd an invariant set which is chaotic (in the sense of Devaney [6] and of Li and Yorke [15]), because the standard theorem holds for dieomorphisms. However, also for endomorphisms (having not a unique inverse) it is possible to prove that following the homoclinic orbit in the proper way, with the suitable inverses applied to the homoclinic points, it is possible to show that a horseshoe can be rigorously de ned, leading to the result. Examples can be found in [10] and [16]. Thus, for 5 < h < h the chaotic attractor becomes a chaotic repellor, the only attracting set is the xed point P ; and its basin B(P ) is almost the whole plane. The points of the plane on the left side of the main 1 1 branch of the stable set of the saddle P that are leaving that side converging to the attracting xed point P are doing so ultimately crossing through the regions called H and H , where H is always de ned as 1 1 0 0 above: it is the strip between the main branch of the stable set of P and the arc of critical curve LC above it, which exists as long as h > 5 (as shown below). Notice that also the unstable set of the saddle P for u;l 5 < h < h has points crossing through these regions. That is: arcs belonging to the unstable set W (P ) as well as arcs belonging to the critical lines LC for some n > 1 have points which cross through H and H and then converge to the attracting xed point P : 0 1 2.5 Final bifurcation for h = 5. Role of the critical lines At h = 5, the scene described in Section 2.4 is no longer possible because the strip H reduces to the arc LC which merges with the main branch of the stable set of the saddle P , and thus the portion H reduces 2 1 to an arc of LC : The portion of plane bounded by the arc of curve LC (belonging to the resolvent curve given in Eq.(6)) is invariant: it is the situation shown in Fig.1. Notice that the saddle P is homoclinic, since the whole segment LC and all its preimages belong to the stable set of P and intersections between the stable and unstable sets are in nitely many, but only on the left side of the arc LC : This means that, 8 e dierently from the case for 5 < h < h, even if the saddle P is homoclinic no one point belonging to the u;l unstable set W (P ) can have a trajectory convergent to P (since no one point can be mapped to the right 2 1 side of LC ) and similarly no point on the images of the critical line LC , of any rank, can converge to P : So we have seen that for 5 h < h the saddle P is homoclinic only on the left side. The characteristic Figure 6: Images of an arc of LC for x 1 at h = 5:01, h = 5 and h = 4:99. commented above associated with the Boros-Moll map at h = 5 may be related to the critical curves as follows. For 5 < h < h the image of the critical curve LC for x 1 is an unbounded branch LC which intersects the line of vanishing denominator (d) in two points, so that LC consists in three unbounded components. In Fig.6 we show a portion of phase plane, an enlargement close to ( 1; 1) at h = 5:01, at this value of the parameter almost all the points have a trajectory converging to P ' (3:00375; 3:00000): At h = 5 the image of LC for x 1 is the branch LC which merges with the main arc of the stable set j j of P ; which is tangent (from above) to (d) in the point ( 1; 1), and it is invariant, so that LC = LC for any n 1: For h < 5 the image of LC for x 1 is the branch LC completely above (d), and thus its points converge to the attracting xed point P : Clearly, all the points in the strip H between the main 1 0 arc of the stable set of P and the arc LC are also converging to the attracting xed point P , and so do 2 1 the points of its preimage belonging to a strip including LC as well all the further preimages of any rank. For instance, at h = 4:99, a chaotic repellor still exists (since the xed points P and P are homoclinic, as 2 3 well as in nitely many repelling cycles exist and are homoclinic), and almost all the points are converging to P ' (2:99625; 3:00000): For h < 5 not only the critical curves are on the right side of the main branch of the stable set of P , but u;l also the unstable set W (P ) has again arcs going to the right side and converging to P : 2 1 In Fig.7 we illustrate an arc of LC for x 1; LC in red and its rst images, at h = 5:01, which j j are all on the left side of the curve LC ; while at h = 4:99 the images are all on the right side to the LC (clearly for h = 5 this branch of LC is invariant). j s The above study evidences that the arc LC is intersecting the main arc of the stable set W (P ) in one point Q as long as h > 5, they are merging when h = 5, and LC is above that stable set for h < 5: 3 Route to chaos In order to describe the dynamics of map G (leading to the unbounded chaotic set shown in Fig.4) we account some of the phenomena that appear when the parameter h is decreased to h = 5 after the NS bifurcation of the xed point P ; that is, decreasing h from h ' 5:6105: The NS bifurcation is of supercritical type, 3 NS as can be seen from the attracting closed curve which appears surrounding the repelling focus P , an example is illustrated in Fig.8a. The restriction of the map to the invariant curve in general leads either to an attracting cycle (when the rotation number is rational and the closed curve consists of a saddle-node connection) or to quasiperiodic orbits, dense in the closed curve (when the rotation number is irrational). 9 j Figure 7: Critical curves LC for 1 k 4 at h = 5:01 in (a), at h = 4:99 in (b). It is worth noting that as long as the curve is in a region without intersections with the critical curve LC then all the points inside the area bounded by cannot be mapped outside the area (i.e. the area bounded by is invariant). At the same time, the points external to that area which are attracted from have the trajectory completely outside (i.e. the points are approaching the closed curve from outside). The dynamics in the phase plane change, as well as the global shape of the curve ; after a crossing of the critical curve LC : Figure 8: Bifurcation of the closed curve . In (a) h = 5:6; smooth curve not intersecting LC : In (b) h = 5:44; intersects LC : Decreasing h a contact between and LC occurs at h ' 5:506, after which there is a portion of which is below the critical curve and thus the portion of area bounded by and crossing LC is folded j j on LC so that becomes tangent to LC in two points (the rank-1 images of the two intersection points \ LC ). And clearly the contacts between and the critical curves LC persist for any n. In Fig.8b it 1 n is well evident the tangency between and the critical curve LC : This mechanism is a peculiar phenomenon related to noninvertibility (i.e. it cannot occur in maps with a unique inverse). It is related to the folding of the phase plane due to the critical curves, and breaks the invariance of the area bounded by the closed curve : In fact, all the points in the area bounded by and j j LC are mapped outside ; between and LC , and its further images between and LC , and so on (see 1 1 10 Figure 9: One-dimensional bifurcations diagrams. Figure 10: One-dimensional bifurcations diagrams. Enlargements of the rectangles shown in color in Fig.9a. the related properties in [8] and [18]). In particular, this fact allows the existence of cycles of the map with periodic points both inside and outside the area bounded by the closed curve. We shall see an example in the next subsection. Let us rst illustrate a sequence of attractors and their bifurcations via one-dimensional bifurcation diagrams as a function of the parameter h. Since we know that unbounded attracting sets exist, in Fig.9 we show the scaled variable (as we have done in Fig.1b) to better emphasize when an attractor is unbounded. In Fig.9 it is evident the range in which decreasing h from h the closed invariant curve increases in NS size, since approaching the straight line (d) the shape becomes wider. In the same gure we see that there are two large windows associated with cycles and interesting dynamics, which are enlarged in Fig.10 and commented in the next subsections. 3.1 Bifurcations occurring in the rst enlargement. As noticed above, the oscillations on the closed curve become pronounced as h is decreased. Moreover, other attracting sets appear by saddle-node bifurcation. An example is shown in Fig.11. At h =5:4379 besides P only the closed curve is attracting, while at h =5:4378 we can see that a pair of 11-cycles have 11 appeared. One of them is attracting, while the other is a 11-cycle saddle whose stable set bounds the basin Figure 11: Coexistence of the closed curve and an attracting 11-cycle at h =5:4378: of attraction of the attracting 11-cycle, separating its basin from the basin of . In Fig.11a we show in red (resp. yellow) the basin of P (resp. the closed curve ) and we show with dierent colors the basins of the 11 xed points of the 11-th iterate of the map G , to emphasize the shape of the basin of the attracting 11-cycle. In Fig.11b and related enlargement it can be seen that some points of the attracting 11-cycle are outside the closed curve and part are inside. One more peculiarity related to the immediate basins of the 11 xed points of map G is that the stable set of the 11 saddles (related to the 11-cycle saddle) leads to a closed curve, which is possible only in noninvertible maps, due to the crossing of the critical curves of the map (other examples and explanation of the mechanism can be found in [18]). From the same Fig.11 we can Figure 12: In (a) h =5:437; attracting 11-cycle and its basin of attraction for the 11-th iterate of the map. In (b) h =5:412; coexistence between the attracting 11-cycle and the attracting 4-cycle (in yellow and azure their respective basin of attraction). see that the curve is quite close to the stable set of the saddle 11-cycle on the boundary of the basin of attraction. A contact between these two invariant sets may lead to the disappearance of the closed curve ; and its transition to some repelling set. In any case, at h =5:437 besides P only the 11-cycle is attracting, and the stable set of the saddle 11-cycle has now a quite dierent shape, con rming the disappearance of the 12 j closed invariant curve, as shown in Fig.12a, where the crossing of LC of the stable set of the saddle leads to the disconnected components evidenced in Fig.12a for the 11-th iterate of the map. Decreasing h, one more saddle-node bifurcation occurs, now giving rise to a 4-cycle. As can be seen in Fig.10b this occurs at h ' 5:4125 leading to another coexistence of attracting sets on the left side of the main branch of the stable set of P . In Fig.12b at h =5:412 besides P (with basin in red) the basins of 2 1 attraction of the 11-cycle (in yellow) and of the 4-cycle (in azure) are shown. The basins' structure of the two coexisting attractors is clearly fractal, which means that the saddle 11-cycle on the immediate basin of the 11-cycle is now homoclinic on one side (that external to the immediate basin which is clearly visible in yellow via bounded closed pieces). As evidenced in Fig.10b the attracting 4-cycle undergoes a supercritical NS Figure 13: In (a) h = 5:41; NS bifurcation of the 4-cycle. In (b) h = 5:40676; chaotic piece showing that the 4-cycle is a snap-back repellor. bifurcation at h ' 5:411 which leads to 4-cyclic closed invariant curves (see an example in the enlargement of Fig.13a at h = 5:41). The closed curves undergo bifurcations to annular chaotic regions and to 4-cyclic chaotic pieces (see the portion of phase plane in Fig.13b at h = 5:40676). This sequence, as described in [9] (see also [18]), leads to the homoclinic bifurcation of the expanding 4-cycle, repelling focus, which becomes a snap-back repellor (following Marotto [17]). The chaotic piece of the 4-cyclic set shown in Fig.13b is very close to the boundary of its basin of attraction, and a contact with the basin leads to the disappearance of the 4-cyclic chaotic pieces, which become a chaotic repellor. Already at h = 5:40675 a chaotic transient can be observed and the only attractor left on the left side of the main arc of the stable set W (P ) is the 11-cycle (with a chaotic repellor on its basin boundary). The attracting 11-cycle disappears with the companion saddle cycle in a (reversed) saddle-node bifurca- tion. After this saddle-node bifurcation we cannot observe a simple attracting cycle, but a closed invariant absorbing area exists, inside which the dynamics seem chaotic. At h = 5:4 the area shown in Fig.14a in- tersects the critical line LC in two segments, forming together the generating segments whose images bound the absorbing area via segments of critical curves. The area is unbounded as in fact the image of the shortest segment (evidenced in dark green in Fig.14a) is mapped in an arc of LC which crosses the line (d) of vanishing denominator (evidenced with a dark green arrow in Fig.14a), thus its image consists in two unbounded arcs of LC on the boundary of the area. In Fig.14b it is shown a wider portion of phase space and in green the arcs of critical curves on the boundary of the invariant area, while in Fig.14c it is represented the unbounded attracting area in the whole plane, related to the scaled variables. 3.2 Bifurcations occurring in the second enlargement. In the previous subsection we have described a few bifurcations which occur decreasing h and evidenced in Fig.10b, leading to an unbounded invariant absorbing area, with complex dynamics. Clearly, inside this invariant area it is possible that stable cycles of high period exist, not detectable in our numerical simulations. 13 Figure 14: Unbounded absorbing area, with chaotic dynamics, at h = 5:4: In (a) the generating segments on LC are evidenced. In (b) the attracting set is shown in a larger portion of the phase plane. In (c) the attracting set is shown the plane scaled as (arctan(x); arctan(y)): However, cycles with homoclinic orbits also exist, both saddles and expanding cycles, as the 4-cycle described above which is a snap-back repellor (in fact, although an invariant 4-cyclic attracting chaotic area no longer exists, as evidenced by the complex dynamics, the homoclinic 4-cycle still exists). From Fig.9 we can see that the unbounded invariant absorbing area persists for a wide interval of values for the parameter h, and the appearance of an attracting 4-cycle leads to another window with interesting dynamics, enlarged in Fig.10a. The pair of 4-cycles appears by saddle-node bifurcation inside the invariant absorbing area. In Fig.15a (at h = 5:128) we show the unbounded invariant area con ned by portions of critical curves, and the generating segment is now a wider connected segment of LC ; in red are indicated the points where a pair of 4-cycles is going to appear. In Fig.15b (at h = 5:127) an attracting 4-cycle exists inside the invariant area, and its basin of attraction is evidenced with respect to the 4 points (in black) which are xed for the 4-th iterate of the map G . The complex structure of the basins evidences a chaotic repellor on the basin boundary, while the immediate basins are (as in previous examples) bounded by the stable set of the saddle 4-cycle forming closed curves, denoting intersection with the critical curves. From Fig.10a we can see that Figure 15: Appearance of an attracting 4-cycle. In (a) at h = 5:128 the cycles do not exsist. In (b) at h = 5:127 a pair of 4-cycles exist inside the unbounded invariant area. the 4-cycle undergoes a NS bifurcation (at h ' 5:11), leading to 4-cyclic closed invariant curves which, from 14 j smooth (for h close to the NS bifurcation) become nonsmooth after the crossing of the critical line LC . We also see in Fig.10a that an attracting 12-cycle appears, which is related to the closed curves. In fact, at h ' 5:10299 the attracting set is no longer a smooth curve, since it is an invariant set with self intersections, as reported in Fig.16 (for the mechanism leading to the formation of loops and self intersections in closed curves see [8] and [18]). Figure 16: Enlargement showing one piece of the 4-cyclic invariant set at h = 5:10299 and appearance of the 12-cycle at h = 5:10298 represented by the red point in the further enlargement. From Fig.10a we also see that, in its turn, the attracting 12-cycle undergoes a NS bifurcation, and after a sequence of bifurcations 12-cyclic chaotic pieces are created (see Fig.17a at h = 5:097): Other bifurcations are illustrated in Fig.17b at h = 5:096 (enlarged portion of phase plane, evidencing one piece of the 12-cyclic set). This, in its turn, is followed by a contact bifurcation at h = 5:095; leading to an expansion of the invariant absorbing area with chaotic dynamics which has now 4-cyclic chaotic pieces, one of them shown in Fig.17c. This also denotes that the repelling 4-cycle inside that area is now homoclinic, i.e. a snap-back repellor. It is worth noting that all these attracting sets belong to the unbounded invariant absorbing area, gener- ated by the segment as shown in Fig.15a. However, inside this region, we can nd other invariant absorbing areas as the 4-cyclic areas which are all bounded by few images of the generating segment intersecting LC and shown in Fig.17c. The 4-cyclic chaotic areas are shown at a lower value of h in Fig.18a, together with Figure 17: Enlargements showing a part of a chaotic attractor. Three pieces of an attractor of 12 connected components for h = 5:097 in (a); six pieces belonging to an invariant set of 24 connected components for h = 5:096 in (b); and one of 4 connected components for h = 5:095 in (c). 15 the related four basins of attraction for the 4-th iterate of the map. Besides a fractal structure with a chaotic repellor on the boundary, this gure shows that the areas are very close to the boundary of their immediate basins, denoting that the parameter is very close to a contact bifurcation value, leading to the disappearance of the 4-cyclic areas, and the appearance of a unique unbounded absorbing area inside which the dynamics seem chaotic, see Fig.18b. Figure 18: Contact bifurcation leading to expansion of the invariant area. In (a) h = 5:09397 4-cyclic absorbing areas exist. In (b) h = 5:09396 the attracting set is an unbounded absorbing area. The unbounded absorbing area previously obtained, persists for lower values of h, as shown in Fig.9, up to the bifurcation described in Sec.2.4.1 occurring at h = h: Decreasing h up to the nal bifurcation, it seems that the dynamics inside the unbounded absorbing area become more complex. That is, more cycles appear and undergo homoclinic bifurcations. For example the xed point P which is a repelling focus may become a snap-back repellor. From Fig.18b it is not clear whether it is homoclinic or not. However, we have evidence of this, at the same value h = 5:09396 used in Fig.18b. Figure 19: Images G (
) at h = 5:09396 of dierent arcs
close to P corresponding to dierent values of the radius s. In (a) two dierent arcs are shown. In (b) a third arc is added to the two shown in (a). The values of s are given in the text. In fact, let us consider the xed point P and its rank-1 preimage dierent from itself, P ; which is the point symmetric to P with respect to the main diagonal. In order to show that P is a snap-back repellor 3 3 16 it is enough to show that there is a point q in a neighborhood of P which is mapped into P in a nite 0 3 3 number of iterations, say G (q ) = P ; and such that the local inverse which satis es G (P ) = P (which 0 3 3 3 h h is a contraction), leads to lim G (q ) = P : n!1 0 3 Let us consider an arc
in such a neighborhood of P (i.e. such that the preimages of its points by the local inverse G converge to P ), given by a half circle of equation 2 2 2 (x x(P )) + (y y(P )) = s 3 3 with the radius s suciently small. In Fig.19a we show such an arc
in black corresponding to the radius s = 0:3, and the image G (
) (with h = 5:09396 as used in Fig.18b) in black which is close to the preimage 1 21 P ; below it. Dierently an arc
in red corresponding to the radius s = 0:25, has the image G (
) in red 3 h which is close to the preimage P ; but above it. This means that there exists a value s 2 (0:25; 0:3) such 21 1 that the related arc
has the image G (
) which crosses through P . This implies the existence of a h 3 point q 2
such that G (q ) = P : 0 0 3 As an example, considering s = 0:29 in Fig.19b we show in pink the related arc
and, also in pink, the 21 1 image G (
) which is above the black arc and closer to P : A similar construction can be used also at any smaller value of h (in particular also at h = 5 or smaller), showing that P persists in being a snap-back repellor. 4 Conclusions We have considered a one-parameter family of maps which unfolds a Landen-type map obtained by Boros and Moll, and we have described the main bifurcations that appear in the route towards the parameter value that corresponds to this map. We have focused on those homoclinic and contact bifurcations that can give information about the unbounded invariant chaotic region that appear in the Boros-Moll map. Our study con rms that the dynamics of this map is singular in the considered family, and we give evidences that this singularity is related with a speci c property of the critical lines: the fact that one of the critical lines merges with one separatrix of the saddle point only for the parameter value corresponding with the map introduced by Boros and Moll. Acknowledgements V.M. is supported by Ministry of Economy, Industry and Competitiveness{State Research Agency of the Spanish Government through grant DPI2016-77407-P (MINECO/AEI/FEDER, UE) and acknowledges the group research recognition 2017-SGR-388 from AGAUR, Generalitat de Catalunya. He also acknowledges Prof. A. Gasull for helpful discussions. V.M. and I.S. as visiting professor are grateful to the University of Urbino Carlo Bo for the hospitality during a stage at the University in February 2018. References [1] G. Almkvist, B. Gert. Gauss, Landen, Ramanujan, the arithmetic-geometric mean, ellipses, , and the Ladies diary. Amer. Math. Monthly 95 (1988), 585{608. [2] G.I. Bischi, L. Gardini, C. Mira. Maps with denominator. Part 1: some generic properties. Int. J. Bifurcation & Chaos 9 (1999), 119{153. [3] G. Boros, V. H. Moll. A rational Landen transformation. The case of degree six. In M. Knopp et al. eds, \Analysis, Geometry, Number Theory: The Mathematics of Leon Ehrenpreis", Contemporary Mathematics 251. AMS, Providence RI 2000, 83{91. [4] G. Boros, V. H. Moll. Landen transformations and the integration of rational functions. Mathematics of Computation 71 (2001), 649{668. 17 [5] M. Chamberland, V. H. Moll. Dynamics of the degree six Landen transformation. Discrete and Contin- uous Dynamical Systems A 15 (2006), 905{919. [6] R. Devaney. \An introduction to chaotic dynamical systems", 2nd ed. Westview Press, Boulder CO [7] D. Fournier-Prunaret, C. Mira, L. Gardini. Some contact bifurcations in two-dimensional examples. In \Grazer Mathematishe Berichte" (special issue Proceedings ECIT94) (1997), 77{96. [8] C.F. Frouzakis, L. Gardini, Y.G. Kevrekidis, G. Millerioux, C. Mira. On some properties of invariant sets of two-dimensional noninvertible maps. Int. J. Bifurcation & Chaos 7 (1997), 1167{1194. [9] L. Gardini. Homoclinic bifurcations in n-dimensional endomorphisms, due to expanding periodic points Nonlinear Analysis: Theory, Methods & Applications 23 (1994), 1039{1089. [10] L. Gardini. Homoclinic orbits of saddles in two-dimensional endomorphisms In W. F org-Rob et al. (editors) \Iteration Theory. Proceedings of the European Conference". World Scienti c, Singapore 1996. [11] L. Gardini, I. Sushko, V. Avrutin, M. Schanz. Critical homoclinic orbits lead to snap-back repellers. Chaos, Solitons & Fractals 44 (2011), 433{449. [12] A. Gasull, M. Llorens, V. Manosa. ~ Periodic points of a Landen transformation. Preprint, arXiv:1801.04195 [math.DS] [13] C. Grebogi, E. Ott, J. A. Yorke. Crisis: sudden changes in chaotic attractors and transient chaos. Physica D 7 (1983), 181{200 [14] C. Grebogi, E. Ott, F. Romeiras, J. A. Yorke. Critical exponents for crisis-induced intermittency. Physical Review A 36, 11 (1987), 5365{5380. [15] T. Li, J.A. Yorke. Period three implies chaos. Amer. Math. Month. 82 (1975) 985{992. [16] Y. Maistrenko, I. Sushko, L. Gardini. About two mechanisms of reunion of chaotic attractors. Chaos, Solitons & Fractals 9 (1998), 1373{1390. [17] F. R. Marotto. Snap-back repellers imply chaos in R . J. Math. Anal. Appl. 63 (1978) 199{223. [18] C. Mira, L. Gardini, A. Barugola, J.C. Cathala. \Chaotic Dynamics in Two-Dimensional Noninvertible Maps", World Scienti c, Nonlinear Sciences, Series A, Singapore 1996. [19] V. H. Moll. The evaluation of integrals: a personal story. Notices Amer. Math. Soc. 49 (2002), 311{317 [20] V. H. Moll. \Numbers and functions. From a classical-experimental mathematician's point of view". Student Mathematical Library, 65. American Mathematical Society, Providence RI 2012. 5 Appendix The map G has a non unique inverse, and the number of distinct rank-1 preimages of a point (x; y) diers depending on the region of the phase plane which the point (x; y) belongs to. These regions, or zones Z (related to i distinct preimages of rank-1) following the notation introduced in [18], are usually bounded by critical curves LC of the map, which are the images of curves of merging preimages, denoted LC , which belong to the set where the Jacobian determinant of the map vanishes. In our case, the Jacobian determinant vanishes either at the points LC (de ned by y = x) or the points jj in LC (de ned by x + y 6 = 0), see Eqs. (3) and (4). j j j Since LC intersects (d), its image LC consists of two unbounded curves of the plane, LC [LC (notice 1 r that if an arc
crosses the line (d), where the denominator vanishes in a point in which the numerators of the components of the map do not vanish, which is always the case for the considered map, then its image G (
) consists of two unbounded arcs). 18 Figure 20: Critical curves for the map G at h = 5:5: In (a) LC ; in (b) LC . h 1 jj jj jj The curve LC does not intersects (d), its image LC = G (LC ) consists of a single arc, and it is 1 1 easy to see that it is a segment of straight line y = 3 (up to x = 3). Indeed, by setting x = t and y = t + 6 n n jj (a point on LC ), and taking (x ; y ) = G (x ; y ) we get x = (6t t + 39)=16 (which takes its n+1 n+1 h n n n+1 jj maximum value in x = 3) and y = 3, that is, the image of the line LC is folded on the half-line y = 3, n+1 as t increases from 1 to +1 and x = t = 3 is the folding point. In Fig.20 the critical curves for h = 5:5 are displayed. j j jj In summary, the components of the critical curve LC = LC [ LC [ LC split the plane in 5 distinct open regions. We can gure out the number of preimages by considering a sort of \folding of the plane", as qualitatively shown in Fig.21. By computing how many preimages have a particular point in each of these regions, we obtain the dierent zones Z . In Fig.21 they are displayed for the particular case h = 5:5. Notice also that a point belonging to LC has two merging rank-1 preimages in a point belonging to LC : For each point in a zone Z it is also possible to show where the preimages are located (on opposite side with respect to the related branch of LC ). We report how to obtain the number of preimages in each of the zones limited by the curves LC . We x a point (u; v) and we set G (x; y) = (u; v). By introducing the notation z = x +y + 2 and from the equation 2=3 of the second component of the map, we have that vz = z + 4, hence 3 3 2 v = (z + 4) =z : (10) 3 2 By studying the function f (z) = (z + 4) =z we easily get that for v > 3 there are three solutions of Eq. (10) (one negative and two positive); for v = 3 there is one negative solution and two merging solutions given by z = 8; and for 1 < v < 3 there is only one negative solution. Introducing the notation P = xy and S = x + y, and by using the equation of the rst component, we obtain that given (u; v) and a value of z satisfying Eq. (10), there is a unique value for P and S given by 4 1=3 P = u(z ) h(z 2) 9 and S = z 2 : Since any preimage (x; y) associated to (u; v) satis es y Sy + P = 0 and x = S y, we have p p 2 2 S S 4P S S 4P x = and y = : 2 2 The nal number of preimages depends on the sign of S 4P . j 2 2 For the original Boros-Moll map, the case h = 5, the curve LC belongs to the curve R(x; y) = x y + 3 3 4 x + 4 y 18 xy + 27 = 0, it is part of the stable set of the saddle P , and the zones Z are displayed in 2 i Figure 22. 19 Figure 21: Qualitative shape of the foliation of the plane. Critical curves and Zones Z for the map G at i h h = 5:5: Figure 22: Critical curves and Zones for the Boros-Moll map (h = 5).
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pngNonlinear SciencesarXiv (Cornell University)http://www.deepdyve.com/lp/arxiv-cornell-university/a-route-to-chaos-in-the-boros-moll-map-jkXFYy01i8