Math 4/5027 - Nonlinear Dynamics and Chaos
Solution Set #1 - Spring 1999

Problems are worth 5 points each. Undergraduate total = 35. Graduate total = 55.

Problem T1.5. The fixed points of tex2html_wrap_inline105 satisfy f(x)=x and are x=0 and x=3. You can show that tex2html_wrap_inline113 . The fixed points of tex2html_wrap_inline115 satisfy tex2html_wrap_inline117 which is a quartic polynomial. It is essential to note that the fixed points of tex2html_wrap_inline115 are also fixed points of f. Therefore, it is possible to factor x(x-3) out of tex2html_wrap_inline115 , leaving a quadratic polynomial for the genuine period-2 points. This polynomial is tex2html_wrap_inline127 , which has roots, tex2html_wrap_inline129 . Thus tex2html_wrap_inline131 is the period-2 orbit.

Problem T1.6. This problem was done in class, so I'll be brief. The fixed points of g(x) = ax(1-x) are x=0 and x= (a-1)/a. We showed in class that x=0 is stable for 0<a<1 and x= (a-1)/a is stable for 1<a<3. To find the period-2 points, the trick is to factor these first two fixed points out of the quartic polynomial tex2html_wrap_inline147 . This leaves a quadratic,

displaymath85

to be solved for the period-2 points. The roots are

displaymath86

The stability of the period-2 points is determined by

displaymath87

Note this means that tex2html_wrap_inline149 has the same value at both fixed points. The condition for stability is

displaymath88

For the values of a of interest, this stability condition reduces to tex2html_wrap_inline153 .

Problem T1.8. We argued rather rigorously in class that the map G(x)=4x(1-x) has the property that tex2html_wrap_inline157 has tex2html_wrap_inline159 points at which tex2html_wrap_inline161 (maximum points) and tex2html_wrap_inline163 points at which tex2html_wrap_inline165 (zeros). Therefore tex2html_wrap_inline157 has tex2html_wrap_inline169 fixed points, some of which are of lower period. Assume for the moment that among the tex2html_wrap_inline169 fixed points are points of all lower periods (which could never happen because k cannot be divisible by all integers less than k). If we subtract out all of the periodic points with periods tex2html_wrap_inline177 , we subtract out

displaymath89

lower order periodic points, which is (two) less that the total number of period-k points. So there must be points whose minimum period is k. Thus there is a period-k orbit. (This argument can be made tighter by noting that if k is even the largest lower order period is k/2 and if k is odd the largest lower order period is k/3.)

Problem T1.9. (a) The fixed points of G(x)=4x(1-x) are x=0 and x=3/4. It is easily shown that G'(0)=4 and G'(3/4)=-2, so both fixed points are sources. The period-2 points of G are tex2html_wrap_inline205 . Recall the important calculation for the derivative of tex2html_wrap_inline207 :

displaymath90

Clearly, tex2html_wrap_inline209 , so the period-2 points are also sources.

(b) Here is Table 1.3 through k=10.

tabular29

tex2html_wrap415

Problem 1.2a. Given that tex2html_wrap_inline265 , we see that x=0 is the only fixed point. However f'(0)=1, which means the usual stabilty test is inconclusive. Therefore, it helps to graph f carefully near x=0. You will see that f is concave down at x=0 and lies below the identity line y=x. A few graphical iterations shows that the fixed point x=0 attracts points with x>0 and repels points with x<0. Such a point is often called semi-stable.

Problem 1.4. This problem was meant to be done analytically and is most easily done this way! With the graphs of G and tex2html_wrap_inline289 in front of you (page 22), it is evident that tex2html_wrap_inline291 and tex2html_wrap_inline293 . The remaining six points must be grouped into two period-3 orbits.Note that tex2html_wrap_inline295 for k=2,4,8 and tex2html_wrap_inline299 for k=3,5,7. Recall that the points of a period k orbit must have the same value of tex2html_wrap_inline157 . Therefore, tex2html_wrap_inline307 must be a period-3 orbit and tex2html_wrap_inline309 must be the other period-3 orbit.

CORRECTION: All references to G^3 or G^k in the previous solution should be to their derivatives.

Problem 1.8. This counting exercise was (accidentally!) done in class. Briefly, there are no asymptotically periodic points because all periodic points are sources. There is a countable number of periodic points and each periodic points has a countable number of preimages. Therefore (using an argument analogous to the Cantor diagonalization idea), the number of periodic or eventually periodic points is countable. Because the number of points on [0,1] is uncountable, there are points that neither periodic nor eventually periodic.

tex2html_wrap417

Problem 1.15. Remember that this is a verification exercise: show that the given explicit formula works for all tex2html_wrap_inline339 . Just to warm up, for n=0, we see that

displaymath91

For the remaining cases, it helps to let tex2html_wrap_inline343 or tex2html_wrap_inline345 . Therefore for n=1, we have

eqnarray56

which is the definition of tex2html_wrap_inline349 according to the map. We now assume that the formula is true at the nth step. It's easiest to note that tex2html_wrap_inline353 and do a direct verification:

eqnarray61

which confirms the formula for the n+1 step.

Sleep Model. The second order difference equation that follows from the assumptions is

displaymath92

Notice that if tex2html_wrap_inline357 (you get less sleep on night n than on night n-1), then your sleep time goes up on night n+1 compared to night n, and vice versa. As described in class, trial solutions of the form tex2html_wrap_inline367 lead to the characteristic poynomial tex2html_wrap_inline369 . The roots are p=1 and p=-a. Using tex2html_wrap_inline375 and tex2html_wrap_inline377 as arbitrary constants, the general solution is

displaymath93

Given two initial values for tex2html_wrap_inline379 and tex2html_wrap_inline349 , the arbitrary constants can be found to be

displaymath94

Here are the cases of interest:



Tue Feb 16 09:02:56 MST 1999