MATH 415, WEEKS 14 & 15: 1 Recurrence Relations / Difference Equations

Similar documents
Chaos and Liapunov exponents

COSMOS: Making Robots and Making Robots Intelligent Lecture 3: Introduction to discrete-time dynamics

Fundamentals of Dynamical Systems / Discrete-Time Models. Dr. Dylan McNamara people.uncw.edu/ mcnamarad

TAYLOR POLYNOMIALS DARYL DEFORD

2 Discrete Dynamical Systems (DDS)

MATH 415, WEEK 11: Bifurcations in Multiple Dimensions, Hopf Bifurcation

2 Problem Set 2 Graphical Analysis

8.5 Taylor Polynomials and Taylor Series

Dynamical Systems and Chaos Part I: Theoretical Techniques. Lecture 4: Discrete systems + Chaos. Ilya Potapov Mathematics Department, TUT Room TD325

MATH 415, WEEKS 7 & 8: Conservative and Hamiltonian Systems, Non-linear Pendulum

MATH 118, LECTURES 27 & 28: TAYLOR SERIES

Nonlinear dynamics & chaos BECS

Limits and Continuity

DYNAMICAL SYSTEMS

Lecture 10: Powers of Matrices, Difference Equations

3 The language of proof

SCHOOL OF MATHEMATICS MATHEMATICS FOR PART I ENGINEERING. Self-paced Course

Math 473: Practice Problems for Test 1, Fall 2011, SOLUTIONS

Dynamical Systems. August 13, 2013

Substitutions and by Parts, Area Between Curves. Goals: The Method of Substitution Areas Integration by Parts

MATHEMATICAL INDUCTION

Sequences and infinite series

Math 12: Discrete Dynamical Systems Homework

The Liapunov Method for Determining Stability (DRAFT)

LECTURE 11 - PARTIAL DIFFERENTIATION

MATH 320, WEEK 6: Linear Systems, Gaussian Elimination, Coefficient Matrices

MATH 320, WEEK 11: Eigenvalues and Eigenvectors

Unit Ten Summary Introduction to Dynamical Systems and Chaos

3.3 Accumulation Sequences

... it may happen that small differences in the initial conditions produce very great ones in the final phenomena. Henri Poincaré

DR.RUPNATHJI( DR.RUPAK NATH )

Slope Fields: Graphing Solutions Without the Solutions

Sequences and Series

MATH 116, LECTURE 13, 14 & 15: Derivatives

MATH 320, WEEK 4: Exact Differential Equations, Applications

Math 115 Spring 11 Written Homework 10 Solutions

Ex. Here's another one. We want to prove that the sum of the cubes of the first n natural numbers is. n = n 2 (n+1) 2 /4.

Chapter 11 - Sequences and Series

2 = = 0 Thus, the number which is largest in magnitude is equal to the number which is smallest in magnitude.

(Infinite) Series Series a n = a 1 + a 2 + a a n +...

Why are Discrete Maps Sufficient?

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.

Definition: A sequence is a function from a subset of the integers (usually either the set

Introduction to Dynamical Systems Basic Concepts of Dynamics

EN Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015

CDS 101 Precourse Phase Plane Analysis and Stability

UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS

Nonlinear Autonomous Systems of Differential

Mathematics 102 Fall 1999 The formal rules of calculus The three basic rules The sum rule. The product rule. The composition rule.

MATH 320, WEEK 2: Slope Fields, Uniqueness of Solutions, Initial Value Problems, Separable Equations

MS 3011 Exercises. December 11, 2013

Interior-Point Methods for Linear Optimization

Main topics for the First Midterm

Graphs of Antiderivatives, Substitution Integrals

Math 651 Introduction to Numerical Analysis I Fall SOLUTIONS: Homework Set 1

e x = 1 + x + x2 2! + x3 If the function f(x) can be written as a power series on an interval I, then the power series is of the form

Writing proofs for MATH 51H Section 2: Set theory, proofs of existential statements, proofs of uniqueness statements, proof by cases

B5.6 Nonlinear Systems

Intermediate Math Circles February 26, 2014 Diophantine Equations I

Lecture2 The implicit function theorem. Bifurcations.

Solutions to homework Assignment #6 Math 119B UC Davis, Spring 2012

The Relation between the Integral and the Derivative Graphs. Unit #10 : Graphs of Antiderivatives, Substitution Integrals

LECTURE 10: REVIEW OF POWER SERIES. 1. Motivation

1 Functions, Graphs and Limits

Chapter #4 EEE8086-EEE8115. Robust and Adaptive Control Systems

Infinite series, improper integrals, and Taylor series

Conceptual Explanations: Simultaneous Equations Distance, rate, and time

3 Polynomial and Rational Functions

Math 4329: Numerical Analysis Chapter 03: Fixed Point Iteration and Ill behaving problems. Natasha S. Sharma, PhD

Countability. 1 Motivation. 2 Counting

Interpreting Derivatives, Local Linearity, Newton s

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

, p 1 < p 2 < < p l primes.

FIRST-ORDER SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS III: Autonomous Planar Systems David Levermore Department of Mathematics University of Maryland

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers

(x + 3)(x 1) lim(x + 3) = 4. lim. (x 2)( x ) = (x 2)(x + 2) x + 2 x = 4. dt (t2 + 1) = 1 2 (t2 + 1) 1 t. f(x) = lim 3x = 6,

Queens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane.

Resonance and response

Lecture 15: Exploding and Vanishing Gradients

Seunghee Ye Ma 8: Week 2 Oct 6

Discrete Mathematics and Probability Theory Summer 2014 James Cook Note 5

TWO DIMENSIONAL FLOWS. Lecture 5: Limit Cycles and Bifurcations

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Contents. 1 Introduction to Dynamics. 1.1 Examples of Dynamical Systems

Computer Problems for Fourier Series and Transforms

Lesson 8: Why Stay with Whole Numbers?

MAT335H1F Lec0101 Burbulla

Taylor series. Chapter Introduction From geometric series to Taylor polynomials

Solutions for B8b (Nonlinear Systems) Fake Past Exam (TT 10)

INFINITE SEQUENCES AND SERIES

Connectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).

The Derivative of a Function

Limits and Infinite Series Lecture Notes for Math 226. Department of Mathematics Western Washington University

Chapter 6 Nonlinear Systems and Phenomena. Friday, November 2, 12

CDM. Recurrences and Fibonacci

Math 1270 Honors ODE I Fall, 2008 Class notes # 14. x 0 = F (x; y) y 0 = G (x; y) u 0 = au + bv = cu + dv

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

(Refer Slide Time: 00:32)

EXAMPLES OF PROOFS BY INDUCTION

CDM. Recurrences and Fibonacci. 20-fibonacci 2017/12/15 23:16. Terminology 4. Recurrence Equations 3. Solution and Asymptotics 6.

Transcription:

MATH 415, WEEKS 14 & 15: Recurrence Relations / Difference Equations 1 Recurrence Relations / Difference Equations In many applications, the systems are updated in discrete jumps rather than continuous through time. For instance, a financial market may be updated on an hourly or daily basis (at least prior to widespread computer use), or a population model may be tracked annually or even generation by generation. If the next state depends upon m previous states, we may model this with the recurrence relations (or difference equation) x n+1 = f(x n, x n 1,..., x n m+1 ) where x n is the value of the state variable at the n th time step. We will begin by considering the following modified population growth model. Assume there is a species X which reproduces the following way: There is an annual mating season, which produces offspring in time for the next mating season; and Offspring reach sexual maturing during their second mating season (i.e. they are unable to mate during their first season). This type of model is different than our previous population growth models because we only need to track the population once a year at the mating season no mating happens at any other time. The second assumption produces a generational gap. The newest generation does not mate and therefore does not influence the population growth. With some uniform scaling, this gives rise to the recurrence relation x n+1 = x n + x n 1, x 0 = 0, x 1 = 1 (1) where the state variable x indicates the (scaled) population size and n is the generation number. What this relation say is that the size of the next generation (x n+1 ) is given by the previous generation size (x n ) plus the size of the two-times previous generation size (x n 1 ) (since these are the members who are sexually mature and may therefore reproduce). 1

We can quickly compute a few future states directly: x 2 = x 1 + x 0 = (0) + (1) = 1 x 3 = x 2 + x 1 = (1) + (1) = 2 x 4 = x 3 + x 2 = (2) + (1) = 3. That is, if we assume the size of the population consists of only young animals during the first season, the population size in the second season will be 1 (all the animals mature), then in the third season will be 2, and so on. We should not be surprised to find that the population grows over time as we have no factored in any population-limiting forces. The sequence {x n } n=0 = {0, 1, 1, 2, 3, 5, 8, 13,...} is familiar as the classic Fibonacci sequence. Analogously with differential equations, this sequence of points is the solution to the initial value difference equation (1). This is what tells us where we are going as a result of the governing system. It should be noted, however, that this notion of a solution is most analogous to a numerical solution, and that the analytic solutions will take a different form. Just as with one-dimensional differential equations, we can one-dimensional recurrence relations as occurring on the one-dimensional real number line. Rather than occurring continuously, however, the evolution of the solutions occurs in discrete jumps. 0 1 2 3 4 5 6 2 Conversion to System Form We have seen that the recurrence relation x n+1 = x n + x n 1, x 0 = 1, x 1 = 1 has many features in common with differential equations. One significant difference with the type of differential equations we have studied is that the next state (x n+1 ) does not depend solely on the current state (x n ), but also upon the preceding state (x n 1 ). It turns out that, just as with differential equations, it will be convenient to have recurrence relations in a form where the future step depends only upon the current state. 2

The recurrence relation (1) is most similar to a second-order differential equation of the form x = f(x, x ), x(0) = x 0, x (0) = v 0 since the evolution depends upon two pieces of state information (x and x ) and we also require two initial conditions (x 0 and v 0 ). In analogy with second-order differential equations, we will use a variable substitution to rewrite such difference equations in a way where the future state depends only on the current state. As with differential equations, this will require introducing new variables so that, instead of consider a one-dimensional system which depends upon two previous states, we will have a two-dimensional system which depends on one previous state. We have the following result. Proposition 2.1. Every difference equation of the form can be written as a system of the form x n+1 = f(x n, x n 1,..., x n m+1 ) (2) (x 1 ) n+1 = f 1 ((x 1 ) n,..., (x m ) n ) (x 2 ) n+1 = f 2 ((x 1 ) n,..., (x m ) n ).. (x m ) n+1 = f m ((x 1 ) n,..., (x m ) n ) (3) with m state variables (x 1 ) n, (x 2 ) n,..., (x m ) n. Remark 2.1. The important thing to note about (3) is that the state can now be represented as a vector x n = ((x 1 ) n, (x 2 ) n,, (x m ) n ) R m so that, in vector form, we have the recurrence relation x n+1 = f(x n ). (4) where f(x n ) = (f 1 (x n ),..., f m (x n )). It is clear that, in vector form, the future state (x n+1 ) depends only upon the current state (x n ). Proof. The proof is constructive. We start by making the substitutions: (x 1 ) n = x n, (x 2 ) n = x n 1,..., (x m ) n 1 = x n m, (x m ) n = x n m+1. 3

It follows very quickly that (x 2 ) n+1 = x n = (x 1 ) n, which works all the way up to (x m ) n+1 = x n m = (x m 1 ) n. The only remaining variable which is not updated is (x 1 ) n. For this variable, we use the original difference equation (x 1 ) n+1 = f(x n, x n 1,..., x n m+1 ) = f((x 1 ) n, (x 2 ) n,..., (x m ) n ). The next step for each variable can be determined by the current state of the system, so that we are done. Example 1: Convert the difference equation (1) into system form (3). Solution: We make the substitutions (x 1 ) n = x n and (x 2 ) n = x n 1. The initial conditions become (x 1 ) 1 = x 1 = 1, (x 2 ) 1 = x 0 = 0. This gives the system form (x 1 ) n+1 = (x 1 ) n + (x 2 ) n (x 1 ) 1 = 1 (x 2 ) n+1 = (x 1 ) n (x 2 ) 1 = 0. Because the right-hand side is linear in the state variables (x 1 ) n and (x 2 ) n, we can write the system in matrix form as x n+1 = Ax n where x n = ((x 1 ) n, (x 2 ) n ) and A = [ 1 1 1 0 Example 2: Consider the difference equation x n+1 = x n 1, x 0 = 0, x 1 = 1 into the system form (3). Solution: We make the substitutions (x 1 ) n = x n and (x 2 ) n = x n 1. The initial conditions become (x 1 ) 1 = 1 and (x 2 ) 1 = 0. This gives the system form ]. (x 1 ) n+1 = (x 2 ) n (x 1 ) 1 = 1 (x 2 ) n+1 = (x 1 ) n (x 2 ) 1 = 0. In matrix form, we have x n+1 = Ax n with [ ] 0 1. A = 1 0 The list of similarities between (3) and systems of differential equations does not stop there. We will quickly adapt the following familiar notions from our study of differential equations to this new setting: (i) solutions for linear recurrence relations, (ii) determination of fixed points, (iii) linear stability analysis, (iv) periodic orbits and limit cycles, and (v) chaotic behavior. 4

3 Solutions We saw that the recurrence relation (1) has the solution {0, 1, 1, 2, 3, 5, 8,...}. Now suppose we want to consider the question of determining the 200 th term in the solution. To do so, we must iterate the relation many times, as if we were numerically integrating a differential equation. This is not impossible but it would take us a long time. There is no reason, however, to stop there. We could ask for the two thousandth term or the two millionth. Eventually even our computer would give up. An alternative form of the solution is to have x n = x(n). That is, a direct relation where we can plug in the desired iterate n and immediately obtain the population value. This is directly analogous to the explicit solution x(t) for a differential equation. Our first hope was to find a function of t which satisfied the differential equation. If we could do that, then we could determine the state directly as a function of the time. It seems like a lot to ask to have solutions in this form x n = x(n) but, in fact, we already know several examples and have known then since grade school. Consider the following examples. Example 1: Consider x n+1 = x n + n + 1 with x 0 = 0. This is slightly different than the form we have allowed to this point in particular, we allow here explicit dependence on n but it will be familiar enough after a little analysis that we will allow it. The relationship generates the sequence solution { } n 0, 1, 3, 6, 10,..., i,.... That is, we are just summing the first n integer values. This is called the arithmetic series. Most importantly, we known that we can compute the general form for the n th term with the formula i=1 n i = i=1 n(n + 1). 2 It follows that n(n + 1) x n =. 2 Computing terms with this formula is much simpler than successively plugging values into the recurrence relation. 5

Example 2: Consider the geometric series x n+1 = rx n, x 0 = 1 where r R. This generates the sequence {1, r, r 2, r 3,..., r n,...} so that we have the general solution x n = r n. This is a good first step toward understanding what it means to be a solution to a recurrence relation, but we should wonder how far we can go. It is certainly not obvious that x n+1 = x n + x n 1, x 0 = 1, x 1 = 1 has a closed-form solution x n = x(n). In fact, we will see that it does but that the form of the solution is significantly more complicated than that of the two relations considered above (homework!). The reason we are able to explicitly solve the Fibonacci relation is that it is a linear recurrence relation (i.e. a recurrence relations where all terms x n are modified by at most a constant). As with differential equations, the method for solving these relations in general involves writing them as linear systems and determining the eigenvalues and eigenvectors of a corresponding matrix. We will not have time to go through the general solution method in the course, but we will spend some time quickly verifying solutions. That is, we will see how to check whether a particular form x n = x(n) is actually a solution to the given relation. The general method will be mathematical induction. Example 3: Verify that x n+1 = 2x n x n 1, has solution x n = x 0 + n(x 1 x 0 ) where x 0, x 1 R. Solution: We will prove that the formula works for a base case (in this case n = 2) and then show that the formula working for any arbitrary step is enough to imply that it works for the next step. Base case n = 2: From the recurrence relation, we have x 2 = 2x 1 x 0. By the proposed solution form x n = x(n), we have x 2 = x 0 + 2(x 1 x 0 ) = 2x 1 x 0. It follows that the formula works for n = 3, and we are done with the base case. 6

Inductive case: Now assume that the formula works up to index n (i.e. we assume that x n = x 0 + n(x 1 x 0 ) and x n 1 = x 0 + (n 1)(x 1 + x 0 )). We seek to prove that the formula satisfies the recurrence relation for n + 1 (i.e. show x n+1 = x 1 + (n + 1)(x 2 x 1 )). We have 2x n x n 1 = 2(x 0 + n(x 1 x 0 )) (x 0 + (n 1)(x 1 x 0 )) = (2 1)x 0 + (2n (n 1))(x 1 x 0 ) = x 0 + (n + 1)(x 1 x 0 ) = x n+1 It follows by mathematical induction that x n = x 0 + n(x 1 x 0 ) is the solution for all n Z. Exercises: Use mathematical induction to show the following are solutions to the given recurrence relation: Arithmetic Series: Relation: x n+1 = x n + n + 1, x 0 = 0, Solution: n(n + 1) x n = 2 Geometric Series: Relation: x n+1 = rx n, x 0 R, Solution: x n = r n x 0. Fibonacci Sequence: Relation: x n+1 = x n + x n 1, x 0 = 0, x 1 = 1, Solution: (( ) n ( ) n ) x n = 1 5 1 + 5 2 1 5 2 4 Fixed Points and Linear Stability Analysis Consider the following example x n+1 = sin(x n ) + x n (5) This example is different than the previous examples we have seen because of the nonlinear term sin(x n ). Just as with differential equations, even small nonlinearities are enough to destroy our ability to determine an explicit solution x n = x(n). For the remainder of our discussion of recurrence relations, we will not be interested in explicit solutions. For nonlinear relations will instead rely on qualitative methods. Our first attempt at understanding the behavior of (5) is to generate a few sample solutions analogously to computing a few numerical solutions. 7

of a differential equation. We will attempt this with a few different initial conditions: (i) x 0 = 1; (ii) x 0 = 0; and (iii) x 0 = 1. We obtain the sequences: (i): { 1, 1.841470985, 2.805061709, 3.135276, 3.141592612,...} (ii): {0, 0, 0, 0,...} (iii): {1, 1.841470985, 2.805061709, 3.135276, 3.141592612,...}. Even an untrained eye can get some sense about what is happening here. It appears as though trajectories starting to the left of zero approach π, trajectories starting to the right of zero approach π, and there is an unstable but unmoving point at x = 0. π 0 π We have seen this kind of dynamics before when we considered differential equations. We just need to update our definitions of a fixed point and stability. Definition 4.1. Consider a one-dimensional recurrence relation x n+1 = f(x n ). (6) A point x R is called a fixed point if f( x) = x. A fixed point x is called stable if solutions nearby stay nearby, asymptotically stable if solutions nearby converge to x, and unstable if it is not stable. Remark 4.1. The definition of a fixed point is different than for differential equations. For differential equations, the idea of staying in the same place was captured in the idea of not moving, so that we needed x = f( x) = 0. Recurrence relations, however, define the next state explicitly as a function of the current state. The notion of staying in the same place means mapping oneself to the same place. This is what is captured with f( x) = x. We can see for the previous example that we want x = f( x) = sin( x)+ x, which implies sin( x) = 0. This gives the solutions x = kπ, k Z. As expected, π, 0, and π are fixed points of the system. So far, however, we have no notion of stability of these points. We will once again take a page from differential equations. Consider a small 8

perturbation about a fixed point x and call it η n = x n x. We now ask the question of how η n grows as we successively apply the recurrence relation to it. We have x n+1 = f( x + η n ) = f( x) + f ( x)η n + O(η 2 n) where O(η 2 n) mean order η 2 n. Since x is a fixed point and x n+1 = x + η n+1, we have x + η n+1 = x + f ( x)η n + O(η 2 n) which implies η n+1 = f ( x)η n + O(η 2 n). If we are close enough to x (i.e. η small), we can drop the O(η 2 n) terms so that the system behaves locally like η n+1 = f ( x)η n. (7) We have to be careful to not dwell too much on the correspondence with differential equations. Our analysis will deviate at this point. What we have obtained in (7) is a linear recurrence relation which depends the value of f ( x). Consider making the substitution r = f ( x) to get η n+1 = rη n. This is the geometric series which we know has the general solution η n = r n η 0. (8) It is only now that we can see which conditions we need on f ( x) in order to obtain stability or instability. We have the following result, which follows immediately from (8). Theorem 4.1. A fixed point x of the recurrence relation x n+1 = f(x n ) is: 1. stable if f ( x) < 1; and 2. unstable if f ( x) > 1. Remark 4.2. We should note that, analogously with the case Re(λ) = 0 for differential equations, f ( x) = 1 is a borderline case for which no information is provided by linearization. The fixed point x may be attracting or repelling. 9

Example 1: Use linear stability analysis to determine the stability of the fixed points of x n+1 = sin(x n ) + x n. Solution: We can easily compute that f (x) = cos(x) + 1. We have { cos(kπ) + 1 = 2, for even k Z cos( x) + 1 = cos(kπ) + 1 = 0, for odd k Z. Since 2 is greater in magnitude than one, and 0 is less, it follows that the fixed points alternate between stable and unstable, starting with x = 0 being unstable. In particular, we have that π and π are stable, and 0 is unstable. 5 Cobweb Diagrams For one-dimensional differential equations, the behavior near fixed points was enough to completely determine the behavior along the entire line even in the areas where there were significantly nonlinear effects. This will not be true for recurrence relations. The reason is that, because solutions are allowed to jump along the line, they may mix in complicated ways. Our first approach to analyzing how recurrence relations behave far from fixed points will be to construct a particular type of picture known as a cobweb diagram. In this approach, rather than constructing a numerical sequence, we begin by plotting two functions: 1. the function f(x); and 2. the function y = x. An example is given in Figure 1. Two things are worth noting: 1. The fixed points can be easily identified as the intersections of the two curves, since these points satisfy f(x) = x. 2. There is a short-hand method for approximating how the solution behaves, which is called cobwebbing: (a) Start at the point x 0 on x-axis. (b) Determine the point x 1 by drawing a vertical line up to the curve f(x). (c) Now draw a horizontal line to y = x and then a vertical line to f(x). This gives x 2. 10

x 0 Figure 1: A cobweb diagram with the function f(x) in red. Intersections of f(x) and y = x correspond to fixed points. If the cobweb moves toward to a fixed point, it is stable; it if moves away, it is unstable. (d) Draw horizontal lines to y = x and vertical lines to f(x) is order to further values of the sequence. (If you are not convinced the process in step (c) actually determines x 2, try finding x 1 on the x-axis and convince yourself that you end up at the same place. The advantage of this alternative method is that you do not have to take your pencil/pen off of the paper.) 6 Periodicity So far we know that solutions of recurrence relations may approach or divert from fixed points. To see what else can happen, we will consider the example x n+1 = 2 x n. We check first of all for fixed points. We see immediately that we have x = 2 x = 2 x = 2 = x = 1. So there is a fixed point at x = 1 (i.e. the sequence {1, 1, 1,...} is a solution). We now check for linear stability. We have that f (x) = x, which implies f ( x) = f (1) = 1. Since f( x) = 1, we may not conclude anything about the stability based on linear stability analysis. To further understand the behavior, we will take a few initial conditions close to x = 1. For the initial conditions x 0 = 0 and x 0 = 1 2 we have the 11

sequences {0, 2, 0, 2,...} and { 1 2, 3 2, 1 2, 3 } 2,.... It is clear that the trajectories repeated periodically (every second index is the same). Perhaps we should have expected this, perhaps not. There are a few ways to see how this result makes sense. The first is to explicitly compute the term x n+2 through functional composition. We have that x n+2 = f(x n+1 ) = f(f(x n )) = f(2 x n ) = 2 (2 x n ) = x n. It follows that, regardless of the initial value, we are guaranteed that every second term in the sequence has the same value. A second method for seeing this periodicity is through cobwebbing. f(x)=2-x y=x This is our first taste of periodicity, which we will now formally define. Definition 6.1. A recurrence relation is said to have a cycle of period n if x n = x 0 but x i x 0 for all i = 1,..., n 1. Proposition 6.1. A recurrence relation has a cycle of period n if and only if there is a x such that f n ( x) = x but f i ( x) x for all i = 1,..., n 1. We should make a few notes here, in particular as how cycles for recurrence relations relate to cycles for differential equations. 12

1. We will use f n (x) to denote n successive compositions of a function f(x). That is to say f n (x) = f(f(f( (f(x)) = f f f f(x) where the composition operation is carried out n times. 2. For differential equations, it was almost always impossible to determine periodic solutions explicitly. For recurrence relations, however, periodic solutions are characterized completely as the fixed points of a composition mapping. This is extremely powerful! We will be able to use all of the tools typically reserved for fixed points (e.g. linearization) to analyze periodic solutions. Example: Show that the recurrence relation x n+1 = x 3 n has a cycle of period 2. Find all such periodic points and determine their linear stabilities. Solution: We now has a rigorous test by which to determine periodicity! The initial point x for any cycle of period 2 must satisfy f 2 (x) = x but f(x) x. In other words, it is sufficient to check the fixed points of f(x) and f 2 (x). We have f(x) = x 3 = x = x 3 + x = x(x 2 + 1) = 0. It follows that the only fixed point is x = 0. Now we check the composition. We have f 2 (x) = ( x 3 ) 3 = x 9 = x = x 9 x = 0 = x(x 8 1) = x(x 4 + 1)(x 2 + 1)(x + 1)(x 1) = 0. This has solutions x = 0, x = 1 and x = 1. We may disregard x = 0 because this corresponds to the fixed point of the original mapping. That leaves x = 1 and x = 1 as periodic points. We can check that {1, 1, 1, 1,...} is a trajectory of the relation (see Figure 2). We now want to determine the stability of these points. To do this we will consider the linear stability of the map f 2 (x). If we make the substitution g(x) = f 2 (x) = x 9, we have g (x) = 9x 8 = g (±1) = 9. Since the magnitude is significantly larger than 1, we conclude that the cycle is unstable. Indeed, we can check that {1.1, 1.331, 2.358, 13.11, 2253,...} 13

and {0.9, 0.729, 0.387, 0.0581, 0.000197,...} satisfy the relation and are moving away from the cycle. (a) f(x)=-x 3 y=x f(f(x))=x 9 (b) y=x Figure 2: In (a), we see that x n+1 = x 3 n has only the fixed point at x = 0. In (b), we see that the composition mapping x n+2 = x 9 n has three fixed points, at x = 0, and x = ±1, corresponding to the original fixed point and two cycle-2 orbits. 7 Logistic Map and Chaos Time permitting (see Strogatz). 14