Complexity International      ISSN 1320-0682     
Volume 02 April 1995

Properties of Some Generalised Logistic Maps with Fractional Exponents

H. P. W. Gottlieb
School of Science, Griffith University
Nathan, Queensland 4111, Australia
Email: h.gottlieb@sct.gu.edu.au

Abstract:

In contra-distinction to the customary logistic map, for the case of generalised unimodal maps with derivative equal to zero at the origin, the attractor may depend on the initial x value, and the map iterates to zero if this x is too low or too high. Because x = 0 is always a stable fixed point for these maps, bistability is exhibited. The onset of the positive stable fixed point occurs as a positive jump up from zero. After chaos occurs, there is a cut-off value of the control parameter beyond which the attractor is again just zero. A case with near-origin exponent 3/2 is analysed in detail.

Introduction

The logistic map

  eqnarray14

with scaling parameter A has a number of interesting properties:

All these familiar features are gainsaid by the generalised logistic map

  equation22

with near-origin exponent a > 1 (and b > 0); that is, with .

In particular, the attractor may depend on the initial (or seed) value tex2html_wrap_inline618 . When the positive fixed point appears, it occurs as a finite jump up from zero. Finally, the attractor becomes zero at some cut-off value of the parameter less than its maximum value. Some general features, and details for the integer-exponent case a=2, b=1, have been presented in [1].

Some time ago, Stutzer [2], and, more recently, Tu [3], analysed the bifurcations and chaotic dynamics in a discrete time version of a simple continuous nonlinear macroeconomic growth model of the form of (2) above with exponents a=1 and b=1/2. This exhibited similar behaviour to the usual logistic map (a=b=1 in (2)). The range of A is tex2html_wrap_inline650 . There is a fixed point (period 1) for tex2html_wrap_inline652 with corresponding fixed point value tex2html_wrap_inline654 . The fixed point x=0 is unstable for tex2html_wrap_inline658 . Period doubling bifurcations appear, and chaos sets in at about tex2html_wrap_inline660 (not 6.75 as suggested by a cursory reading of [2] or [3]). A slightly differing behaviour is that for the logistic map the slope of the fixed point curve dx/dA at tex2html_wrap_inline664 is unity, whereas for the Stutzer map this slope is zero.

The simplest extension of this map to the case of both exponents fractional (with a > 1) is to have a=3/2 and b=1/2, and this will now be analysed in detail.


A map with fractional exponents


The example map

Consider the map

  equation43

which has tex2html_wrap_inline672 . Thus, at tex2html_wrap_inline676 where the maximum value is tex2html_wrap_inline678 . The maximum parameter value is tex2html_wrap_inline680 .


Iterations of the map

To find the value of the parameter tex2html_wrap_inline692 at which the positive fixed point appears for maps such as this one, it clearly suffices to solve the two simultaneous equations x=f(x); , since the line and curve will just be tangent. This gives x= 1/4 and tex2html_wrap_inline700 . The equation to a fixed point in the x,A plane, f(x;A)=x, is satisfied by x=0 or by tex2html_wrap_inline708 so the positive fixed points are given by

  equation62

As derived above, this means the fixed points open up at tex2html_wrap_inline700 , with tex2html_wrap_inline712 . There is a positive jump from zero up to the fixed point value .25 in the x,A attractor diagram, unlike the logistic map case.

The fixed point x=0 has tex2html_wrap_inline718 , so it is stable for all A, again unlike the logistic map case. (A good discussion of the logistic map may be found in Froyland [4].)

To determine the stability ranges of the other fixed points, we have

  equation76

Slope +1 gives tex2html_wrap_inline700 with tex2html_wrap_inline726 as above. Slope -1 for the larger fixed point tex2html_wrap_inline730 yields tex2html_wrap_inline732 , with corresponding tex2html_wrap_inline734 . At this point, a bifurcation takes place.

For the lower branch fixed point tex2html_wrap_inline736 , it is evident from the graphs of such curves that the slope is always greater than unity for tex2html_wrap_inline738 . Explicitly for (5), tex2html_wrap_inline740 where the second term is positive for tex2html_wrap_inline742 . Thus, the slope is greater than unity and the smaller fixed point is always unstable. From the curve for such maps, for fixed A, any value tex2html_wrap_inline746 iterates to x=0. Thus, between tex2html_wrap_inline692 and tex2html_wrap_inline752 there is bistablility, with a basin boundary tex2html_wrap_inline736 .

We may construct a Seed Plot as follows. For fixed A, choose a seed value tex2html_wrap_inline618 and iterate, say several hundred times. If the result is non-zero, record a dot at the corresponding pixel in the tex2html_wrap_inline760 plane; if zero, leave a blank. This is repeated for the ranges tex2html_wrap_inline762 and tex2html_wrap_inline764 . By the above, such a plot cuts on at tex2html_wrap_inline766 , and the lower bound there is tex2html_wrap_inline768 .

Consideration of iterative paths on the map of such f(x) vis-a-vis the straight line f(x) = x shows that, to find the upper bound of the seed plot at cut-on, we need the other pre- image of tex2html_wrap_inline774 there; that is, tex2html_wrap_inline776 satisfying tex2html_wrap_inline778 . For our map (3), this gives tex2html_wrap_inline780 and thence, factorising out the known unwanted factor (X- 1/4 ) and setting Y=4X, we obtain the cubic tex2html_wrap_inline786 , whose real solution gives

  equation134

Any tex2html_wrap_inline788 then iterates to x=0. Thus, to construct a comprehensive orbit plot or attractor diagram, it is necessary to choose a seed between tex2html_wrap_inline792 and tex2html_wrap_inline776 : that is, for the present map, tex2html_wrap_inline796 . For our attractor diagram we chose tex2html_wrap_inline798 .

The locus of the positive stable fixed point in the Orbit Plot (or Attractor Diagram) is the curve tex2html_wrap_inline800 given by Equation (4) above, over the range tex2html_wrap_inline802 . The slope at cut-on is tex2html_wrap_inline804 ; that is, the tangent is vertical. The locus of the positive unstable (smaller) fixed point tex2html_wrap_inline806 , Equation (4), is the lower boundary curve of the Seed Plot over the range tex2html_wrap_inline808 , where tex2html_wrap_inline810 is a cut-off value, to be determined later. (Recall that tex2html_wrap_inline746 iterates to zero.) Thus, this fixed point locus will not normally appear in the attractor diagram. Since

displaymath682

is (for A > 4) positive or negative respectively, the locus of the positive stable fixed point in the Attractor Diagram is an increasing curve, and the lower boundary of the seed plot is a decreasing curve.

The upper boundary curve of the Seed Plot is given by tex2html_wrap_inline816 which is the other pre-image of tex2html_wrap_inline736 ; that is,

  eqnarray175

This gives

displaymath683

Factorising out the known unwanted factor tex2html_wrap_inline820 by synthetic long division eventually yields

  equation194

A real analytical solution for tex2html_wrap_inline816 could in principle be obtained from this by the formula for solution of a cubic, but this is very long and unilluminating. Values of tex2html_wrap_inline816 can be found by numerical solution, or obtained graphically from the seed plot's upper boundary curve.

For tex2html_wrap_inline826 , the attractor diagram undergoes a sequence of period-doubling bifurcations, until chaos is reached at about

displaymath684

The straight line

  equation209

is seen to be the upper bound of the whole Orbit Plot, in the following sense:

  1. For the largest stable periodic points, it is the tangent to their curves.
  2. For A values where the orbit is chaotic, between tex2html_wrap_inline830 and tex2html_wrap_inline832 , it is the least upper bound of the iterated values.

For instance, for the period 1 curve (stable fixed point locus) tex2html_wrap_inline800 , one solves tex2html_wrap_inline836 (equal slopes). With A = (16/3)B, this gives

displaymath685

Clearly, B=1 is a solution; that is, A=16/3. To show that there are no other real solutions, factorise out (B-1) and complete a square to get

displaymath686

Since the left hand side is positive for B > 0, there are no other real solutions for A > 0. For the solution A=16/3, tex2html_wrap_inline852 are also satisfied, so tex2html_wrap_inline854 is indeed tangent to tex2html_wrap_inline800 at tex2html_wrap_inline858 .

In the same sense as above (replacing "largest" and "least upper" by "smallest" and "greatest lower" respectively), the lower bound of the whole Orbit Plot, for tex2html_wrap_inline860 , is the iterate of the upper bound; namely, the decreasing, concave down, curve

  equation241

 

  figure255
Figure 1: (a) Attractor diagram for map tex2html_wrap_inline588 (seed value 0.8) tex2html_wrap_inline592 Omit first 400 iterates; plot next 400 points. (b) Attractor diagram, tex2html_wrap_inline598 , zoomed for A near cut-off tex2html_wrap_inline602 . (c) Seed plot for map tex2html_wrap_inline604 . 401st iterate. tex2html_wrap_inline608 .


The cut-off


The cut-off as a boundary crisis

The chaotic region of the attractor diagram for maps such as these does not extend all the way up to the maximum value tex2html_wrap_inline890 of the map, and the extent of the seed plot is similarly curtailed. This contrasts with the more familiar behaviour of the logistic map.

Inspection of such maps and the straight line f(x) = x, and consideration of the orbit paths, shows that the attractor collapses to the point x=0 at a cut-off parameter value tex2html_wrap_inline832 which satisfies

  equation277

By the definition (7) of tex2html_wrap_inline898 , tex2html_wrap_inline900 at tex2html_wrap_inline832 . Thus,

  equation291

This may be clearly interpreted as a boundary crisis as defined by Grebogi et al. [5]: an unstable fixed point, here tex2html_wrap_inline806 , collides with the lower bound curve of the orbit plot, here tex2html_wrap_inline906 .


Algorithms for finding the cut-off parameter

The cut-off parameter tex2html_wrap_inline832 must be found by numerical solution of a suitable equation. Some possibilities depending on the nature of the mathematical analysis are as follows:

For our map (3), methods (ii) (Equation (12)), (iii) (Equation (13) as well as the Equation (14)) and (iv) (Equations (17)) were all utilised. The values computed numerically for these parameters are found to be:

eqnarray392


Conclusion

The generalised map (2) with a > 1 exhibits many features which are quite different from the standard logistic map (1) (a=b=1). The finite jump up of the Attractor Diagram at the onset of the non-zero stable fixed point might be seen as a definite switching mechanism. The collapse of the chaotic attractor to zero at the computable cut-off value tex2html_wrap_inline832 might be viewed as a "fuzzy off" switch from a chaotic range of positive values back to zero. To achieve these phenomena comfortably, a relatively large value of the exponent a may be required (compare with [1] with a = 2).

On the other hand, in terms of a population model, the zero slope of the map at origin which results in attractor zero - that is, extinction, for tex2html_wrap_inline948 - could correspond to a situation where a substantial initial population was required (perhaps to utilise some co-operative behaviour) before the species could persist. Favourable conditions for survival, namely smaller tex2html_wrap_inline950 (and larger tex2html_wrap_inline952 ), therefore would require exponent a smaller than 2; that is, necessarily non-integer. The fractional case a = 3/2 , considered above, is the simplest such value for which substantial analytical progress may be made.


Acknowledgements

I am grateful to the Department of Mathematics at the University of Queensland for the hospitality extended to me during my visit on an Outside Studies Program, and should like to thank members of the Mathematics and Physics Departments for some interesting discussions.


References

1
Gottlieb H. P. W. (1994), "Survival and extinction: Bistability and premature crisis in a class of iterative maps", Preprint.

2
Stutzer M. J. (1980), "Chaotic dynamics and bifurcation in a macro model", Journal of Economic Dynamics and Control, 2, pp. 353-376.

3
Tu P. N. V. (1992), Dynamical Systems, Berlin: Springer-Verlag. See also Second Revised and Enlarged Edition, second printing, April 1995.

4
Froyland J. (1992), Introduction to Chaos and Coherence, Institute of Physics, Bristol.

5
Grebogi C., Ott E. & Yorke J. A. (1983), "Crises, sudden changes in chaotic attractors, and transient chaos", Physica, 7D, pp. 181-200.

About this document ...

Properties of Some Generalised Logistic Maps with Fractional Exponents

This document was generated using the LaTeX2HTML translator Version 96.1 (Feb 5, 1996) Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html gottlieb.tex.

The translation was initiated by Pam Milliken on Mon Nov 11 15:18:20 EST 1996


Complexity International (1995) 2