next up previous contents
Next: Web diagrams and fixed Up: Interval Self-mappings Previous: Interval Self-mappings

Iteration of a function f(x)

In earlier parts of this course, fractal behavior and chaotic dynamics originated in our consideration of collections of more than one linear mapping. Linear mappings by themselves generally have fairly simple dynamics; the exception to that rule has been rotations by an irrational multiple of tex2html_wrap_inline7250 . The fragmentation of our dynamical system into more than one linear mapping is the key to their complicated dynamics. That fragmentation is also exhibited by a single nonlinear function. In this part of the course, we will consider iteration of a single function f(x) of a real variable, that is, tex2html_wrap_inline8790 , tex2html_wrap_inline8792 , just as described before. (We also set tex2html_wrap_inline8794 .) The novelty will be that f(x) can be almost any function, for instance, tex2html_wrap_inline4842 or even

displaymath8800

It is important here that the function be continuous and act as a mapping of some interval (possibly tex2html_wrap_inline8802 ) back into itself, so that we can consider the dynamics.

Many of the concepts we have developed earlier are still valid. For any starting point tex2html_wrap_inline4950 , the forward orbit of tex2html_wrap_inline4950 under f is the set tex2html_wrap_inline8810 (we borrow a lot of notation from [Dev89b]) of all iterates tex2html_wrap_inline8812 . On the other hand, the backwards orbit tex2html_wrap_inline8814 is the set of all y such that tex2html_wrap_inline8818 for some tex2html_wrap_inline8820 . In the case of a polynomial f(x) of degree n, there could be as many as n solutions y to tex2html_wrap_inline8830 . Thus, in general the backwards orbit gets very numerous very quickly as tex2html_wrap_inline8832 . We are again interested in the long-term behavior of the forward orbit.

There is an extremely nice graphical method for viewing the iteration of a function. An example is shown here. In this picture, two graphs are drawn: the graph of y=f(x)=3.7x(1-x) and the graph of y=x. Then a sequence of of line segments is drawn starting from tex2html_wrap_inline8838 . The first iterate is tex2html_wrap_inline8840 . It is the height of the graph of f at tex2html_wrap_inline8844 . We draw a vertical line from tex2html_wrap_inline8846 to tex2html_wrap_inline8848 . To calculate tex2html_wrap_inline4954 , we must move to the location of tex2html_wrap_inline4952 on the horizontal axis. This is tantamount to drawing a horizontal line segment from tex2html_wrap_inline8848 to tex2html_wrap_inline8856 on the line y=x (point number 3). Again tex2html_wrap_inline8860 is the height of y=f(x) at that location. Thus, a vertical line segment connects tex2html_wrap_inline8856 to point number 4 which is tex2html_wrap_inline8866 . This continues, passing through tex2html_wrap_inline8868 , tex2html_wrap_inline8870 , tex2html_wrap_inline8872 , tex2html_wrap_inline8874 , tex2html_wrap_inline8876 , etc. The beautiful trail of segments resembles the craft of a spider spinning its web from branch to branch. This picture is commonly called a web diagram.

   figure2572
Figure 56: A web diagram

It is fairly easy to program web diagrams in MAPLE, and we include a worksheet that does just this. Before proceeding with our theoretical study, the reader might enjoy obtaining this worksheet

webpic.ms: MAPLE worksheet for drawing web diagrams for arbitrary functions, with lots of examples, some of which are discussed in this chapter.

next up previous contents
Next: Web diagrams and fixed Up: Interval Self-mappings Previous: Interval Self-mappings

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