next up previous contents
Next: Down the waterfall Up: Interval Self-mappings Previous: Population dynamics and iteration

Quadratic mappings of the unit interval

For the remainder of this chapter, we will consider the simplest nonlinear polynomials, the quadratics. Quadratic polynomials apparently have three parameters

displaymath9162

Two of these parameters are illusory from the point of view of dynamics. This comes about from the notion of conjugacy. Take a linear map L(x)= ax+b with tex2html_wrap_inline6836 . Then L(x) is one-to-one and onto, and has an inverse map tex2html_wrap_inline9170 . The function

displaymath9172

is also a quadratic polynomial, with the added property that

align2678

for all m. Thus, a description of the orbits of g would be equivalent to a description of the orbits of f. We may choose a conjugating linear map L to simplify f.

One standard choice of quadratic maps is

displaymath9184

This one is more commonly used in the discussion of complex quadratic polynomials. Another standard choice is

displaymath9186

There is a relation between c and tex2html_wrap_inline6624 under which these two quadratic polynomials are linearly conjugate. We leave this to the reader for a rainy day's algebra amusement.

In this chapter, we will suppose all our quadratics have the form

displaymath9192

This polynomial passes through the x-axis at x=0,1. Instead of working with the whole real line, we would like to work entirely within the unit interval I=[0,1]. If tex2html_wrap_inline9200 , then tex2html_wrap_inline9202 maps I onto negative numbers; therefore, we shall assume tex2html_wrap_inline9206 . The maximum of the parabola occurs at tex2html_wrap_inline9208 , with tex2html_wrap_inline9210 . Then tex2html_wrap_inline9212 . In order for the iterates to be confined to I, we need tex2html_wrap_inline9216 or tex2html_wrap_inline9218 . In that case, we call tex2html_wrap_inline9202 an interval self-mapping.

For small tex2html_wrap_inline6624 , the maximum is also small and the entire parabola lies below y=x. Then the web diagram looks like this figure. This happens precisely when the tangent line at x=0 has slope less than 1, i.e. when tex2html_wrap_inline9228 . In that case, x=0 is an attractive fixed point, and all starting points in I lead to 0 under iteration.

   figure2697
Figure 64: Web diagram for tex2html_wrap_inline4850 .

When tex2html_wrap_inline9238 , the curve initially exceeds y=x and then falls below it. A second point of intersection between tex2html_wrap_inline9242 and y=x occurs at tex2html_wrap_inline9246 . The web diagram for tex2html_wrap_inline9248 and tex2html_wrap_inline9250 is shown in this figure.

   figure2709
Figure 65: An attractive fixed point at tex2html_wrap_inline4852 .

The derivative of tex2html_wrap_inline9202 at the new fixed point is

displaymath9256

Thus, tex2html_wrap_inline9258 for tex2html_wrap_inline9260 , while tex2html_wrap_inline9262 for tex2html_wrap_inline9264 . tex2html_wrap_inline8012 is an attractive fixed point for tex2html_wrap_inline9268 , but in the range tex2html_wrap_inline4854 we see spiral approaches to the fixed point, as in this figure.

   figure2722
Figure 66: Spiral approach to the fixed point for tex2html_wrap_inline4854 .

At this point, we are at the brink of a waterfall. As we turn our knob tex2html_wrap_inline6624 beyond 3, we begin to set a cascade in motion. Both fixed points x=0 and tex2html_wrap_inline4852 are repelling. But could there be another type of long term behavior? Trepidaciously, let's turn the knob up to tex2html_wrap_inline4856 and see the result here. The web starts to approach the fixed point, but then it is pushed back out until it settles into a square orbit about the fixed point. What that means is that there are two points tex2html_wrap_inline4952 and tex2html_wrap_inline4954 such that tex2html_wrap_inline9286 and tex2html_wrap_inline9288 .

   figure2734
Figure 67: At tex2html_wrap_inline4856 a cycle of period two emerges. The second curve is the graph of tex2html_wrap_inline4858 . It intersects y=x at its fixed points, two of which form the stable 2-cycle.

These points are examples of periodic points of period 2.

In general, a periodic point of period n is a point p such that tex2html_wrap_inline9300 , that is, p is a fixed point of the n-th iterate tex2html_wrap_inline9306 . The forward orbit of p cycles forever through tex2html_wrap_inline9310 . The finite sequence tex2html_wrap_inline9312 is called an n-cycle for f. We say p is an attractive periodic point (or stable) of F if p is an attractive fixed point of tex2html_wrap_inline9306 . Observe that if tex2html_wrap_inline9300 , then tex2html_wrap_inline9328 for all tex2html_wrap_inline8792 . To specify the period, we say p has prime period n if n is the smallest number such that tex2html_wrap_inline9300 .

For tex2html_wrap_inline6624 just above 3, the fixed point of tex2html_wrap_inline9202 ``splits'' into an attractive 2-cycle tex2html_wrap_inline9344 . Let's solve precisely for these values:

align2750

This is a quartic equation; the roots are the 2-periodic points and the two fixed points tex2html_wrap_inline9346 . To find tex2html_wrap_inline9348 , divide this polynomial by x and tex2html_wrap_inline9352 . After thrashing with the algebra, we find

displaymath9354

Setting this polynomial equal to 0, we obtain a quadratic equation whose two solutions are:

displaymath9356

The stability of this 2-cycle depends on tex2html_wrap_inline9358 , j=1,2 (the value of the derivative is the same for all elements of the cycle). By the chain rule

align2766

Solving the inequality tex2html_wrap_inline9362 for tex2html_wrap_inline9364 , we find that

displaymath9366

For tex2html_wrap_inline6624 in this interval, the forward orbit of any point in I tends to the 2-cycle tex2html_wrap_inline9344 .


next up previous contents
Next: Down the waterfall Up: Interval Self-mappings Previous: Population dynamics and iteration

David J. Wright
Mon Aug 19 17:21:15 CDT 1996