Professional Documents
Culture Documents
International Journal of Bifurcation and Chaos, Vol. 22, No. 6 (2012) 1230019 (14 pages)
c World Scientific Publishing Company
DOI: 10.1142/S0218127412300194
In experimental and theoretical studies of Dynamical Systems, there are usually several param-
eters that govern the models. Thus, a detailed study of the global parametric phase space is not
easy and normally unachievable. In this paper, we show that a careful selection of one straight
line (or other 1D manifold) permits us to obtain a global idea of the evolution of the system in
some circumstances. We illustrate this fact with the paradigmatic example of the Lorenz model,
based on a global study, changing all three parameters. Besides, searching in other regions, for
all the detected behavior patterns in one straight line, we have been able to see that missing
topological structures of the chaotic attractors may be found on the chaotic-saddles.
1230019-1
July 7, 2012 16:6 WSPC/S0218-1274 1230019
R. Barrio et al.
other ranges of parameter values. With this anal- where t is a dimensionless time, x is proportional
ysis, the study on other range of parameters will to the intensity of the convective motion, y is pro-
only need a light overview to link with the former portional to the temperature difference between
results. This is done here taking, as paradigmatic the ascending and descending currents, and z is
example, the Lorenz model. proportional to the distortion of the vertical tem-
The paper is organized as follows: Section 2 perature profile from linearity. In the equations,
presents the Lorenz model and a review of some there are also three dimensionless control param-
classic results. Section 3 presents a three paramet- eters [Dullin et al., 2007]: σ = ν/κ is the Prandtl
ric analysis of the model. Finally, in Sec. 4 we study number that describes the ratio of the two molecular
how the same behavior patterns are reproduced time scales τν = L2 /ν and τκ = L2 /κ for momen-
again and again, allowing reuse of the same anal- tum and energy transport in the system, ν and κ
ysis for different values. being the kinematic viscosity and thermal diffusion,
respectively; b is a positive constant originated from
the nonlinearity of the Boussinesq equation and it
2. Basic Results of the Lorenz is of order 1; and r is the ratio of the Rayleigh
Model
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
One of the apparently most simple nonlinear mod- (the value of Ra at which convection sets in). The
els is the classical Lorenz model [Lorenz, 1963]. This Rayleigh number is defined as Ra = gαH 3 ∆T /νκ
simple model has generated thousands of research where H is the distance between the plates, ∆T
papers and it continues to generate more [Viana, is the temperature difference between the plates,
2000] due to the fact that the system is not com- g is the gravity acceleration and α is the thermal
pletely understood. The Lorenz model is a sim- expansion coefficient. The parameter r is therefore
plification of a previous more complicated model positive and at small values 0 ≤ r < 1 the tem-
of Saltzman [1962] to describe buoyancy driven perature difference is insufficient to cause motion
convection patterns in the classical rectangular while for r ≥ 1 the fluid starts to move, first in
Rayleigh–Bénard problem applied to the thermal regular roll cells and for larger r becomes turbu-
convection between two plates perpendicular to the lent. Note that small Prandtl numbers character-
direction of the Earth’s gravitational force. The ize fast molecular exchange as occurs in mercury
final objective was to obtain a meteorological pre- σ ≈ 0.025, in air and other gases σ ≈ 0.7 (at room
diction. As described in [Doherty & Ottino, 1988] temperature) and in water σ ≈ 7 (at room tempera-
the physical problem consists of two flat plates, sep- ture). Large Prandtl numbers indicate a broad kine-
arated by a liquid layer. Both plates are maintained matic boundary layer containing a small thermal
at a uniform temperature when the lower plate is one, fast molecular momentum exchange and small
heated. In the model, the flow is assumed to be convective Reynolds numbers as occurring in typical
two-dimensional and incompressible. Therefore, to organic liquids (σ from 600 to 3000) and in glycerine
determine the motion of the fluid, different sets of σ ≈ 7250.
coupled nonlinear field equations, as the continuity, We begin our analysis by reviewing several
the energy and the Navier–Stokes equations, have to results (see [Afraimovic et al., 1977; Alligood et al.,
be solved. Saltzman and later Lorenz used Fourier 1997; Doherty & Ottino, 1988; Sparrow, 1982;
series approximations in field equations and a large Kaplan & Yorke, 1979; Marsden & McCracken,
set of ordinary differential equations for the Fourier 1976; Li et al., 2005; Shilnikov et al., 2001]):
coefficients appeared. After several simplifications,
Lorenz arrived at his famous equations: • The Lorenz equations present a symmetry, the
equations are invariant under (x, y) → (−x, −y).
dx • The system is dissipative with a value of the
= −σx + σy,
dt divergence −(σ + b + 1), and therefore the vol-
dy ume in phase-space always contracts under the
= −xz + rx − y, (1) flow.
dt
• The Lorenz system is bounded and in the litera-
dz ture there are several estimates of the bound [Li
= xy − bz,
dt et al., 2005].
1230019-2
July 7, 2012 16:6 WSPC/S0218-1274 1230019
• On equilibrium points: — For 1 < r < rhom ≈ 13.9162 all the trajecto-
ries tend to one of the rest points.
— For r < 1, C 0 = (0, 0, 0) is a globally attract- — r = rhom is a transition value where a global
ing equilibrium point. bifurcation occurs. At this value, two sym-
— In r = 1, there is a supercritical pitch- metric homoclinic orbits of C 0 appear (“the
fork bifurcation (due to the symmetry of the homoclinic explosion”).
system). — For rhom < r < rhet ≈ 24.0579 there are
— For 1 < r < rH = σ(σ + b + 3)/(σ − b − 1), C 0 unstable limit cycles, two stable equilibrium
is unstable (a saddle with one unstable and points and transient chaos. This is the pre-
two stable eigenvalues)and two stable
equilib- turbulence regime.
rium points C + = (+b(r − 1), +b(r − 1), — r = rhet is a transition value where a global
r − 1) and C − = (− b(r − 1), − b(r − 1), bifurcation occurs. At this value, two symmet-
r − 1) appear (that correspond to convection ric heteroclinic orbits from C 0 to C + or C −
dynamics). appear (“the heteroclinic explosion”), and the
— In r = rH there is a subcritical Hopf bifurca- chaotic attractor is created.
tion.
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
— For rH < r there are three unstable equilib- ble limit cycles, two stable equilibrium points
rium points, C 0 and C ± . and a chaotic stable attractor (there exists
• All the above results are analytic ones, with care- coexistence of attractors).
ful numerical simulations for the Saltzman values — For rH < r there is one symmetric or a pair of
(σ = 10 and b = 8/3), it was obtained: asymmetric chaotic attractors or stable limit
cycle.
|x| C -+
C0
rP rhom rhet rH
parameter r
1230019-3
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
R. Barrio et al.
Fig. 1.
July 7, 2012
16:6
(c)
(a)
(b)
1230019-4
WSPC/S0218-1274
chaotic region (in this case, it is mainly the region Moreover, this fact motivates the classical observed
with a chaotic attractor). evolution in r for the classical parameters [Kaplan &
In the plot (c) of Fig. 1, the parameter that Yorke, 1979] of alternation among chaotic and reg-
we have fixed is r. Therefore, we study the (σ, b) ular bands up to a high value of r. This value of r is
phase space, and this case is revealed to be the key precisely the value when we enter inside the “bub-
one [Barrio & Serrano, 2007]. The main reason is ble”. From this value on, the evolution is always
that on this plane the chaotic region is bounded regular because once inside the “bubble” we cannot
[Barrio & Serrano, 2009] in opposite to the previ- go out just by increasing r. Besides, if we fix the
ous cases (a) and (b) with some unbounded regions. parameters σ and b, then we will always enter the
Moreover, the chaotic pattern seems to be simi- “bubble” for a value of r. So, in this region, for large
lar for any constant value of r > 1, which pro- values of r the evolution is guided by this structure.
vides us with a model of the chaotic region. This Another interesting region is the bottom struc-
model is shown in Fig. 2, where there are several ture of the plot L1 of Fig. 2. There is a foliation
important points to remark. First, the nonchaotic of chaotic and regular bands making the numeri-
“bubble” on the bottom-left part of the plot L1 cal and analytical study quite difficult. Moreover, a
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
justifies the “horseshoe” pattern of the plot (b) of nonchaotic “cave” appears along all the base. This
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
Fig. 1 (σ = 10) because this is originated by cut- “cave” and the “bubble” form the hyperbolic bands
ting the “bubble” (with fixed value of σ). There- in the (r, σ) plane shown in the plot (a) of Fig. 1
fore, the upper bound tends to a horizontal line. [Dullin et al., 2007].
Fig. 2. Important nonchaotic structures (L1), and the three-parametric chaotic region model (L2 and L3).
1230019-5
July 7, 2012 16:6 WSPC/S0218-1274 1230019
R. Barrio et al.
From Fig. 1, we may ask ourselves if really some squared in red in Fig. 3, where we observe clearly
uniparametric sections will give us all the relevant these routes and also another boundary crisis, when
information as most of the bifurcation curves do not the unstable branch of the family of periodic orbits
cross each other. To answer this question, we see in (obtained by using continuation techniques) created
Fig. 2 at the bottom, a three-dimensional model at the fold bifurcation touches the chaotic attractor
[Barrio & Serrano, 2007, 2009] of the attracting created at the period-doubling chain. A merging cri-
chaotic region with the main structures “bubble” sis is originated and the chaotic attractor expands
and “cave”. The results obtained in [Barrio & Ser- abruptly. The same situation takes place for the
rano, 2007] suggest this region grows linearly with other values, we just draw two of them as illustra-
the parameter r. In this model, we have pointed tion. On the right part of the bifurcation diagrams
out the regions that bound the “bubble” structure of Fig. 3, we have a symmetric stable periodic orbit
as regions where we will see in the next section that inside the “bubble”, and after a pitchfork bifurca-
any cut will give us the same qualitative informa- tion, the orbit loses its symmetry and two asym-
tion, and in particular, the traditional straight line metric stable periodic orbits are generated (at lower
σ = 10 and b = 8/3. values of r).
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
1230019-6
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
July 7, 2012
Fig. 3.
16:6
1230019-7
WSPC/S0218-1274
R. Barrio et al.
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
Fig. 5. MLE plots for different sets of initial conditions on each plane of parameters.
1230019-8
July 7, 2012 16:6 WSPC/S0218-1274 1230019
Related is the notion of “basin of attraction of A”, initial conditions on the bullet, converges clearly to
that is defined as the region in the phase space that one equilibrium point, as they are inside a basin of
is the interior of the closure of the domain of attrac- attraction, and not in the mixed region. The region
tion of A. And finally, the basin boundary is the set of transient chaotic behavior grows, and in the mix-
of all points for which each open neighborhood has ing region we have very long transient times (we
a nonempty intersection with at least two differ- plot in black such points) before the creation of the
ent basins of attraction. The basin boundary in the chaotic attractor (plots A4 and B4). So, we will
cases where we are in a preturbulence regime, that now have orbits with very close initial conditions
is, we have chaotic behavior but we do not have a that fall in one of the two stable equilibrium points
chaotic attractor, forms some nonattracting chaotic or stay a long time in transient chaos (plot C3).
objects, the chaotic-saddles. Later, after the heteroclinic bifurcation, the chaotic
Thus, to study the basins of attraction we have attractor appears, first with coexistence of the two
integrated numerically the system with a grid of stable equilibria (plots A5 and B5). And finally, as
1000 × 1000 initial conditions, and in Fig. 6 we have the straight line b = 8/3 crosses the Andronov–Hopf
painted in gray the initial conditions that converge bifurcation curve, in that case, the only remaining
to C + , in white to C − and in black when slipping
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
into a chaotic attractor (or when they have a very for b = 10, the three attractors coexist.
long transient time). All the numerical integrations In all cases, the boundaries of the different
of the ODEs have been done by means of the soft- basins of attraction will be given by the stable man-
ware TIDES [Abad et al., 2010], with the modified ifold of the origin (as shown for the case b = 8/3 in
Taylor method developed in [Barrio, 2006], which [Aguirre et al., 2011]).
permits an easy formulation of the variational equa- With the previous study we have shown that
tions and a very stable and acute solution of the the only difference in the basins of attraction
ODEs. This method also provides directly a dense is given if the straight line crosses or not the
output used in the bifurcation diagrams. Andronov–Hopf bifurcation curve.
In Fig. 6, plots on the left are done with b = 8/3 Another question is if the topology of the
and plots on the right with b = 10 (two of the bifur- attractors and the periodic orbits remain the same
cation diagrams of Fig. 3). The qualitative evolu- at the different cuts. In Fig. 7, we can appreciate
tion is the same in both cases: initially the basins of that the chaotic attractors for different values of
attraction to the equilibrium points are well defined parameters have the same geometry when we follow
(plots A1 and B1). When r increases, the bound- different ways from outside to inside the “bubble”.
ary becomes more and more irregular and a mix- We see that for large values of r there are regions
ing region appears, where any range contains initial where there are two asymmetric chaotic attractors
conditions that converge to both equilibrium points (one the reverse of the other) created at the left
(plots A2 and B2). Here the chaotic behavior starts, of the pitchfork bifurcation via the classical period-
because the high dependence of the initial condi- doubling chain, and also the different periodic orbits
tions is one of the main characteristics of chaos. are found in both straight lines. The attractors on
However, there is no chaotic attractor yet. This is the pictures on the left have the same topological
the preturbulence regime that begins at the homo- template, the bottom case of Fig. 8, a template
clinic curve (the “homoclinic explosion”). A quite with three branches because the First Return Map
important fact is that, although there is no chaotic (FRM) (taking the successive maxima of the vari-
attractor, there is a chaotic-saddle, as we can see in able z) has two extrema. Thus, it is a bimodal map
Fig. 9. Increasing the value of r the chaotic region and we need three symbols to describe all orbits.
grows, and the basins of attraction of the stable For completion we give the Linking matrix (LM)
equilibria are mixed (plots A3 and B3). This behav- and the Insertion matrix (IM) of the different tem-
ior has been recently explained in detail by means plates [Letellier et al., 1994] at classical values (this
of the stable manifold of the equilibria C 0 [Aguirre is not a complete study of the Lorenz templates).
et al., 2011]. In plots C1 and C2, we illustrate some But, what about the classical template? That
orbits showing how they fall into different equilib- is, the template on the top of Fig. 8, for the case
rium points for b = 10 just by changing a little the where the FRM is a unimodal map, as given by
initial conditions (placed on the square point). The the classical Saltzman’s values. In this case, the
1230019-9
July 7, 2012 16:6 WSPC/S0218-1274 1230019
R. Barrio et al.
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
Fig. 6. Basins of attraction on the plane z = 10 and some orbits with different initial conditions.
1230019-10
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
July 7, 2012
16:6
Fig. 6.
1230019-11
(Continued)
WSPC/S0218-1274
1230019
R. Barrio et al.
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
topological template has just two branches. Making finally the orbit will fall to one of the equilibrium
a careful study on the straight line b = 10, we have points. This generates the preturbulence regime.
not found such a template on the chaotic attractors. There are a small number of methods for detect-
Now, the key point is the chaotic-saddle that is cre- ing chaotic-saddles. The first numerical method for
ated at the homoclinic bifurcation. At that point, detecting chaotic-saddles is the “Sprinkle method”
a nonattracting chaotic invariant structure is cre- [Kantz & Grassberger, 1985]. The Sprinkle method
ated. An orbit close to it remains for some time, but starts with N initial points x0 that are uniformly
distributed in the transient region. For each initial
point x0 , we discard some transient time and we
consider a short time after (and these are plotted).
This method is only useful in cases where the tran-
sient time is large. A much more advanced method
is the “PIM procedure” of Nusse and Yorke [1989].
As we just want to study a case where the transient
time is quite large, as we are close to the point of
creation of the chaotic attractor, we use the Sprin-
kle method.
In Fig. 9 we show the chaotic-saddle and its
FRM. To compare with, we also show the FRM
of the classical Lorenz attractor. Both cases are
unimodal maps and originate the same topological
template, the template at the top of Fig. 8. There-
fore, at both straight lines b = 8/3 and b = 10,
we have the same topological structures, in the
chaotic attractors or in the chaotic-saddles. This
Fig. 8. Topological template of the equivariant fundamental
is an important point, as the chaotic-saddles com-
domain (one wing) of the chaotic attractor for the Lorenz plete the attractor structures and information of the
model. chaotic region.
1230019-12
July 7, 2012 16:6 WSPC/S0218-1274 1230019
Fig. 9. Chaotic saddle at (r, b, σ) = (263, 10, 10) and its FRM, and
the FRM for the classical Lorenz attractor (r, b, σ) =
(28, 8/3, 10). The FRM are calculated computing z such that y = b(r − 1).
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
1230019-13
July 7, 2012 16:6 WSPC/S0218-1274 1230019
R. Barrio et al.
Li, D., Lu, J.-A., Wu, X. & Chen, G. [2005] “Estimating Shilnikov, L. P., Shilnikov, A. L., Turaev, D. & Chua,
the bounds for the Lorenz family of chaotic systems,” L. O. [2001] Methods of Qualitative Theory in Non-
Chaos Solit. Fract. 23, 529–534. linear Dynamics. Parts I and II, World Scientific
Lorenz, E. N. [1963] “Deterministic nonperiodic flow,” Series on Nonlinear Science. Series A: Monographs
J. Atmosph. Sci. 20, 130–141. and Treatises, Vol. 5 (World Scientific, Singapore).
Marsden, J. E. & McCracken, M. [1976] The Hopf Bifur- Sparrow, C. [1982] The Lorenz Equations: Bifurcations,
cation and Its Applications, Applied Mathematical Chaos, and Strange Attractors, Applied Mathematical
Sciences, Vol. 19 (Springer-Verlag, NY). Sciences, Vol. 41 (Springer-Verlag, NY).
Nusse, H. E. & Yorke, J. A. [1989] “A procedure for Viana, M. [2000] “What’s new on Lorenz strange attrac-
finding numerical trajectories on chaotic saddles,” tors?” Math. Intellig. 22, 6–19.
Physica D 36, 137–156.
Saltzman, B. [1962] “Finite amplitude free convection as
an initial value problem — 1,” J. Atmosph. Sci. 19,
329–341.
by PENNSYLVANIA STATE UNIVERSITY on 07/09/13. For personal use only.
Int. J. Bifurcation Chaos 2012.22. Downloaded from www.worldscientific.com
1230019-14