x + 1/2 ; 0 x 1/2 f(x) = 2 2x ; 1/2 < x 1
|
|
- Vivian Beasley
- 5 years ago
- Views:
Transcription
1 Lecture 3: Invariant Measures Finding the attracting set of a dynamical system tells us asymptotically what parts of the phase space are visited, but that is not the only thing of interest about the long-time behavior of a dynamical system. For instance, a typical trajectory of the system may spend a lot of time in one part of the attracting set, and very little in another part. An invariant measure on the attractor tells us how much time on average, a trajectory spends in a given region. Example 3. Consider the dynamical system defined by the one-dimensional map { x + /2 ; 0 x /2 f(x) = 2 2x ; /2 < x If we compute the Lyapunov exponent of the dynamical numerically, we find that after 000 iterations one has the following approximation to the Lyapunov exponents for three choices of initial point x 0. x 0 = γ x 0 = γ x 0 = 0.7 γ Clearly, there seems to be a well defined value for the Lyapunov exponent (in fact, we new that must be true by Oseledec s theorem). However, it is not so clear how to compute it. There is no tendency for nearby trajectories to separate when they are in the interval between 0 and /2, while in the interval from /2 to, the separation between two nearby trajectories doubles with each iteration. Thus to determine the Lyapunov exponent theoretically, we need to now how much of an orbit is spent in the interval [0, /2] and how much in the interval from [/2, ]. Intuitively, this means that we want to define a measure ρ on the phase space, so that ρ(o) = {fraction of points in an orbit that lie in O} Note that such a measure will be concentrated on the attractor, since asymptotically an arbitrarily large fraction of the points in the orbit lie in an arbitrarily small neighborhood of the attractor. These lecture notes are for the course MA 574, and are being prepared for the instructor s personal use. They are not for public distribution. c 999, C.E. Wayne
2 Let {x 0, x, x 2,...} be the orbits of a discrete dynamical system with initial condition x 0. We define the invariant measure associated with this orbit to be ρ = lim δ xj () if this limit exists. Here δ x is the Dirac δ measure concentrated at the point x j. Note that if O is any (measurable) set, ρ(o) = lim δ xj (ξ)dξ O = lim number of points in {x 0,..., x j } Thus, if the limit in () exists, this measure accords exactly with our intuitive idea what the measure should be. Above, I referred to this measure as an invariant measure. Let me now explain what I mean by that. Suppose that φ is any (measureable) function. Then assuming as always that the limit in () maes sense, the integral of φ with respect to the measure ρ is defined as φ(ξ)dρ(ξ) = lim φ(ξ)δ xj (ξ)dξ = lim φ(x j ). (2) We say that the measure ρ is invariant for the discrete dynamical system defined by the function f if for every continuous function φ, φ f(ξ)dρ(ξ) = φ(ξ)dρ(ξ) (3) That is, composing the integrand with the function f that defines the dynamical system doesn t change the integral. Lemma 3.2 The measure defined by () is invariant. Proof:By (), φ f(ξ)dρ(ξ) = lim φ f(x j ) = lim φ(x j+ ) = lim { φ(x j ) + φ(x ) φ(x 0 )} = lim φ(x j ) + lim (φ(x ) φ(x 0 )) = lim = φ(ξ)dξ φ(x j ) 2
3 Remar 3.3 It is often common to define an invariant measure in terms of the measure of a set O rather than the integral of a function φ. In this approach, one says that ρ is invariant if for every measurable set O, ρ(o) = ρ(f (O)). (4) Although the appearance of the inverse of f rather than f itself may be surprising, this definition is equivalent to the definition in (3). To see why, tae the function φ in (3) to be the characteristic function of the set O. (Strictly speaing, we defined (3) to hold only for continuous functions and the characteristic function of O is not continuous, however, it can be arbitrarily well approximated by continuous functions, and this suffices to show that (3) also holds for such functions.) Then φ(ξ)dρ(ξ) = dρ(ξ) = ρ(o). On the other hand, φ f(ξ)dρ(ξ) = f(ξ) O ξ O dρ(ξ) = ξ f (O) dρ(ξ) = ρ(f (O)). Since these two expressions are equal by (3), we see that (4) follows. By a similar argument, one can show that (3) follows from (4) Remar 3.4 Note that the measure defined by () has the property that dρ(ξ) =. We will require this of all the measures we consider, and hence refer to them as invariant probability measures. This normalization is quite natural in light of our interpretation of these measures as the fraction of the total time that an orbit spends in some part of the phase space. Thus far, we have begged the question of whether such invariant probability measures actually exist we have simply assumed that the limit in () was well defined. We now show that there are in fact, lots of such measures in a typical dynamical system. Example 3.5 Let {x 0, x,..., x } be a periodic orbit of length for a dynamical system defined by the function f. Define ρ = δ x j. Note that since there is no limit here, the measure is well defined. Furthermore, it is clearly normalized so that dρ =. All that remains is to chec that it is invariant. Given any set O, ρ(o) = ξ O δ xj (ξ)dξ = #{{x 0, x,..., x } O} (5) while ρ(f (O)) = f(ξ) O δ xj (ξ)dξ = #{{f(x 0), f(x ),..., f(x )} O} But {f(x 0 ), f(x ),..., f(x )} = {x, x 2,..., x 0 }, because {x 0, x,..., x } is a periodic orbit, so (5) and (6) are equal, and the measure is invariant. Thus, we see that at the very least, every dynamical system which has a periodic orbit has an invariant probability measure. In fact, one has in general (6) 3
4 Theorem 3.6 If the function f defining the dynamical system maps some closed, bounded subset of R n to itself, then f has at least one invariant probability measure. Indeed, the problem in general is not that there are too few invariant measures, but rather too many! Example 3.5 showed that there is an invariant probability measure for every periodic orbit in the system. The tent map, for example, has infinitely many periodic orbits and hence infinitely many invariant measures. This is typical of chaotic attractors. What s worse (or better, depending on your point of view) is that given any two distinct, invariant probability measures, ρ and ρ 2, one can combine them to get a third by taing ρ = ρ + ρ 2. In order to restrict the class of invariant measures we must study, we will rule out combinations of this type by focusing on ergodic measures. These are measures that are indecomposable. Definition 3.7 An invariant probability measure ρ is ergodic if it cannot be written as ρ = 2 (ρ + ρ 2 ), for ρ and ρ 2 two distinct, invariant, probability measures. Remar 3.8 Concentrating our attention to ergodic measures is not such a great restriction since (subject to mild technical restrictions), any invariant probability measure can be decomposed into a sum (or integral) of ergodic, invariant probability measures. As an exercise, show that if {x 0, x,..., x } is a periodic orbit, the measure ρ = δ x j is an ergodic measure. An alternative (but equivalent) definition of ergodicity which is frequently useful is that ρ is an ergodic invariant probability measure for the dynamical system defined by f if all invariant sets of f have measure either zero or one. Symbolically, we mean that if f (O) = O, then ρ(o) is either zero or one. It s a very good exercise to show why this definition is equivalent to our previous one. Aside from being the basic building blocs for invariant probability measures, ergodic measures have another extremely important property they allow one to introduce averages over time and space. Many of the quantities that one measures in a dynamical system require one to evaluate something at each point along an orbit of the dynamical system, and then average the result over time. This is difficult for (at least) two reasons. First, it may tae a long time in order to collect enough data to insure a good estimate of the average. Secondly, one would have to wonder whether or not one would get the same answer if one averaged over another orbit with different initial conditions. For a dynamical system with an ergodic, invariant probability measure, such questions are answered by the ergodic theorem. Theorem 3.9 (Ergodic Theorem) Suppose that ρ is an ergodic, invariant probability measure for x m+ = f(x m ). Let φ be an integrable function. Then lim φ(x j ) = φ(ξ)dρ(ξ), (7) for almost every choice of initial condition x 0. Remar 3.0 The qualification almost ever x 0 means that if B = {x 0 (7) fails to hold} then ρ(b) = 0. 4
5 Remar 3. Note that two things are being asserted here. First that the time-average of φ exists for almost every orbit, and secondly that this time average equals the space average, i.e. the integral of φ with respect to ρ. Remar 3.2 In fact, the ergodic theorem is considerably more general than I have stated here. It actually shows that for any invariant measure ρ, the time averages exist on almost all orbits. However, for non-ergodic measures we can t expect that these time averages will equal the spatial averages. Proof:The hard part of this theorem is showing that the time averages actually exist. However, this seems intuitively reasonable (I thin!) so I will assume they exist and show that they equal the spatial average given on on the right-hand-side of (7). Let T (x 0 ) = lim φ(x j ), and assume that this limit exists, at least for almost every x 0. Define M = {x 0 (7) holds}. That is, M is the set of points at which the space and time averages are equal. Note that because ρ is an invariant measure, M is also invariant i.e. M = f (M). Therefore, since ρ is ergodic, ρ(m) is either zero or one. If M has measure one, the theorem is true, so we assume that ρ(m) = 0 and show that this leads to a contradiction. Define M > = {x 0 T (x 0 ) > φdρ}, and M < = {x 0 T (x 0 ) < φdρ}. Both M > and M < are invariant sets, and hence each has measure either zero or one. If the measure of M is zero, either M > or M < must have measure one. Assume that ρ(m > ) =. Then T dρ = M T dρ(ξ) > φdρ. > But T dρ = lim φ(f () (ξ)dρ(ξ) = φdρ, using the fact that ρ is an invariant measure. This is a contradiction, and hence ρ(m) =. Example 3.3 Let s now return to the Example 3. with which we started this lecture. Note that for a one dimensional map, the Lyapunov exponent is γ = lim (log Df(x ) + log Df(x ) log Df(x 0 ) ) Thus, it is the time-average of log Df(x). We will try to compute it by finding the physically relevant invariant measure. There will be lots of invariant measures concentrated on periodic orbits, but those are atypical because typical orbits for this dynamical system don t fall on a periodic orbit, but wander around all over the interval from [0, ]. Since the behavior of the function has constant slope on the interval [0, /2], we mae the guess that the invariant measure has a constant density w on the interval [0, /2], and similarly that it has some other density w 2 on the interval [/2, ]. To figure out what w and w 2 are we use the fact that the measure is invariant, so that ρ(i) = ρ(f (I)) for any interval I. If I is a subinterval of [0, /2], it s preimage is an interval of half the length in [/2, ]. Thus, we expect that w = (/2)w 2. On the other hand, since this is a probability measure, the total measure of the interval [0, ] must be. Thus, (/2)w + (/2)w 2 =. These two equations together imply that w = 2/3, and w 2 = 4/3. I leave it as an exercise to show that this measure is ergodic, but assuming that it is, we see that by the ergodic theorem, the Lyapunov exponent (for almost all choices of the initial condition x 0 should be γ = log Df(x) dρ(x) = (/2)w log() + (/2)w 2 log(2) = (2/3) log 2 = which is in good agreement with our numerical calculations. 5
25.1 Ergodicity and Metric Transitivity
Chapter 25 Ergodicity This lecture explains what it means for a process to be ergodic or metrically transitive, gives a few characterizes of these properties (especially for AMS processes), and deduces
More informationExample Chaotic Maps (that you can analyze)
Example Chaotic Maps (that you can analyze) Reading for this lecture: NDAC, Sections.5-.7. Lecture 7: Natural Computation & Self-Organization, Physics 256A (Winter 24); Jim Crutchfield Monday, January
More informationDynamical Systems and Chaos Part I: Theoretical Techniques. Lecture 4: Discrete systems + Chaos. Ilya Potapov Mathematics Department, TUT Room TD325
Dynamical Systems and Chaos Part I: Theoretical Techniques Lecture 4: Discrete systems + Chaos Ilya Potapov Mathematics Department, TUT Room TD325 Discrete maps x n+1 = f(x n ) Discrete time steps. x 0
More informationThe Almost-Sure Ergodic Theorem
Chapter 24 The Almost-Sure Ergodic Theorem This chapter proves Birkhoff s ergodic theorem, on the almostsure convergence of time averages to expectations, under the assumption that the dynamics are asymptotically
More informationPHY411 Lecture notes Part 5
PHY411 Lecture notes Part 5 Alice Quillen January 27, 2016 Contents 0.1 Introduction.................................... 1 1 Symbolic Dynamics 2 1.1 The Shift map.................................. 3 1.2
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More information11 Chaos in Continuous Dynamical Systems.
11 CHAOS IN CONTINUOUS DYNAMICAL SYSTEMS. 47 11 Chaos in Continuous Dynamical Systems. Let s consider a system of differential equations given by where x(t) : R R and f : R R. ẋ = f(x), The linearization
More informationAnd, even if it is square, we may not be able to use EROs to get to the identity matrix. Consider
.2. Echelon Form and Reduced Row Echelon Form In this section, we address what we are trying to achieve by doing EROs. We are trying to turn any linear system into a simpler one. But what does simpler
More information1.7. Stability and attractors. Consider the autonomous differential equation. (7.1) ẋ = f(x),
1.7. Stability and attractors. Consider the autonomous differential equation (7.1) ẋ = f(x), where f C r (lr d, lr d ), r 1. For notation, for any x lr d, c lr, we let B(x, c) = { ξ lr d : ξ x < c }. Suppose
More informationProblem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat.
À È Ê ÇÄÁ Ë ËÌ ÅË Problem: A class of dynamical systems characterized by a fast divergence of the orbits A paradigmatic example: the Arnold cat. The closure of a homoclinic orbit. The shadowing lemma.
More informationOne dimensional Maps
Chapter 4 One dimensional Maps The ordinary differential equation studied in chapters 1-3 provide a close link to actual physical systems it is easy to believe these equations provide at least an approximate
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationChaos and Liapunov exponents
PHYS347 INTRODUCTION TO NONLINEAR PHYSICS - 2/22 Chaos and Liapunov exponents Definition of chaos In the lectures we followed Strogatz and defined chaos as aperiodic long-term behaviour in a deterministic
More informationCHAOTIC UNIMODAL AND BIMODAL MAPS
CHAOTIC UNIMODAL AND BIMODAL MAPS FRED SHULTZ Abstract. We describe up to conjugacy all unimodal and bimodal maps that are chaotic, by giving necessary and sufficient conditions for unimodal and bimodal
More informationhere, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional
15. Perturbations by compact operators In this chapter, we study the stability (or lack thereof) of various spectral properties under small perturbations. Here s the type of situation we have in mind:
More informationLecture 6 Random walks - advanced methods
Lecture 6: Random wals - advanced methods 1 of 11 Course: M362K Intro to Stochastic Processes Term: Fall 2014 Instructor: Gordan Zitovic Lecture 6 Random wals - advanced methods STOPPING TIMES Our last
More informationFundamentals of Dynamical Systems / Discrete-Time Models. Dr. Dylan McNamara people.uncw.edu/ mcnamarad
Fundamentals of Dynamical Systems / Discrete-Time Models Dr. Dylan McNamara people.uncw.edu/ mcnamarad Dynamical systems theory Considers how systems autonomously change along time Ranges from Newtonian
More information1 Lecture 25: Extreme values
1 Lecture 25: Extreme values 1.1 Outline Absolute maximum and minimum. Existence on closed, bounded intervals. Local extrema, critical points, Fermat s theorem Extreme values on a closed interval Rolle
More informationLecture 3 - Tuesday July 5th
Lecture 3 - Tuesday July 5th jacques@ucsd.edu Key words: Identities, geometric series, arithmetic series, difference of powers, binomial series Key concepts: Induction, proofs of identities 3. Identities
More informationLECTURE 10: REVIEW OF POWER SERIES. 1. Motivation
LECTURE 10: REVIEW OF POWER SERIES By definition, a power series centered at x 0 is a series of the form where a 0, a 1,... and x 0 are constants. For convenience, we shall mostly be concerned with the
More informationLecture 9: Taylor Series
Math 8 Instructor: Padraic Bartlett Lecture 9: Taylor Series Week 9 Caltech 212 1 Taylor Polynomials and Series When we first introduced the idea of the derivative, one of the motivations we offered was
More informationLECTURE 8: DYNAMICAL SYSTEMS 7
15-382 COLLECTIVE INTELLIGENCE S18 LECTURE 8: DYNAMICAL SYSTEMS 7 INSTRUCTOR: GIANNI A. DI CARO GEOMETRIES IN THE PHASE SPACE Damped pendulum One cp in the region between two separatrix Separatrix Basin
More informationter. on Can we get a still better result? Yes, by making the rectangles still smaller. As we make the rectangles smaller and smaller, the
Area and Tangent Problem Calculus is motivated by two main problems. The first is the area problem. It is a well known result that the area of a rectangle with length l and width w is given by A = wl.
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
More informationStability Analysis and Synthesis for Scalar Linear Systems With a Quantized Feedback
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL 48, NO 9, SEPTEMBER 2003 1569 Stability Analysis and Synthesis for Scalar Linear Systems With a Quantized Feedback Fabio Fagnani and Sandro Zampieri Abstract
More informationZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n
ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never
More informationF (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous
7: /4/ TOPIC Distribution functions their inverses This section develops properties of probability distribution functions their inverses Two main topics are the so-called probability integral transformation
More informationDYNAMICAL SYSTEMS
0.42 DYNAMICAL SYSTEMS Week Lecture Notes. What is a dynamical system? Probably the best way to begin this discussion is with arguably a most general and yet least helpful statement: Definition. A dynamical
More informationLecture 3 (Limits and Derivatives)
Lecture 3 (Limits and Derivatives) Continuity In the previous lecture we saw that very often the limit of a function as is just. When this is the case we say that is continuous at a. Definition: A function
More informationSimple Iteration, cont d
Jim Lambers MAT 772 Fall Semester 2010-11 Lecture 2 Notes These notes correspond to Section 1.2 in the text. Simple Iteration, cont d In general, nonlinear equations cannot be solved in a finite sequence
More informationPseudorandom Generators
CS276: Cryptography September 8, 2015 Pseudorandom Generators Instructor: Alessandro Chiesa Scribe: Tobias Boelter Context and Summary In the last lecture we have had a loo at the universal one-way function,
More informationProving languages to be nonregular
Proving languages to be nonregular We already know that there exist languages A Σ that are nonregular, for any choice of an alphabet Σ. This is because there are uncountably many languages in total and
More informationChaos and Cryptography
Chaos and Cryptography Vishaal Kapoor December 4, 2003 In his paper on chaos and cryptography, Baptista says It is possible to encrypt a message (a text composed by some alphabet) using the ergodic property
More informationRANDOMNESS AND NON-ERGODIC SYSTEMS
RANDOMNESS AND NON-ERGODIC SYSTEMS JOHANNA N.Y. FRANKLIN AND HENRY TOWSNER Abstract. We characterize the points that satisfy Birhoff s ergodic theorem under certain computability conditions in terms of
More information6c Lecture 14: May 14, 2014
6c Lecture 14: May 14, 2014 11 Compactness We begin with a consequence of the completeness theorem. Suppose T is a theory. Recall that T is satisfiable if there is a model M T of T. Recall that T is consistent
More informationMathematics for Game Theory
Mathematics for Game Theory Christoph Schottmüller August 9, 6. Continuity of real functions You might recall that a real function is continuous if you can draw it without lifting the pen. That gives a
More informationLIMITS AND DERIVATIVES
2 LIMITS AND DERIVATIVES LIMITS AND DERIVATIVES 2.2 The Limit of a Function In this section, we will learn: About limits in general and about numerical and graphical methods for computing them. THE LIMIT
More informationDS-GA 1002 Lecture notes 2 Fall Random variables
DS-GA 12 Lecture notes 2 Fall 216 1 Introduction Random variables Random variables are a fundamental tool in probabilistic modeling. They allow us to model numerical quantities that are uncertain: the
More informationLecture 1 Monday, January 14
LECTURE NOTES FOR MATH 7394 ERGODIC THEORY AND THERMODYNAMIC FORMALISM INSTRUCTOR: VAUGHN CLIMENHAGA Lecture 1 Monday, January 14 Scribe: Vaughn Climenhaga 1.1. From deterministic physics to stochastic
More informationSchwarzian Derivatives and Cylinder Maps
Schwarzian Derivatives and Cylinder Maps Araceli Bonifant and John Milnor Abstract We describe the way in which the sign of the Schwarzian derivative for a family of diffeomorphisms of the interval I affects
More information(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);
STABILITY OF EQUILIBRIA AND LIAPUNOV FUNCTIONS. By topological properties in general we mean qualitative geometric properties (of subsets of R n or of functions in R n ), that is, those that don t depend
More informationPart 2 Continuous functions and their properties
Part 2 Continuous functions and their properties 2.1 Definition Definition A function f is continuous at a R if, and only if, that is lim f (x) = f (a), x a ε > 0, δ > 0, x, x a < δ f (x) f (a) < ε. Notice
More information3/1/2016. Intermediate Microeconomics W3211. Lecture 3: Preferences and Choice. Today s Aims. The Story So Far. A Short Diversion: Proofs
1 Intermediate Microeconomics W3211 Lecture 3: Preferences and Choice Introduction Columbia University, Spring 2016 Mark Dean: mark.dean@columbia.edu 2 The Story So Far. 3 Today s Aims 4 So far, we have
More informationB553 Lecture 1: Calculus Review
B553 Lecture 1: Calculus Review Kris Hauser January 10, 2012 This course requires a familiarity with basic calculus, some multivariate calculus, linear algebra, and some basic notions of metric topology.
More informationReview: Limits of Functions - 10/7/16
Review: Limits of Functions - 10/7/16 1 Right and Left Hand Limits Definition 1.0.1 We write lim a f() = L to mean that the function f() approaches L as approaches a from the left. We call this the left
More informationChaos induced by coupled-expanding maps
First Prev Next Last Seminar on CCCN, Jan. 26, 2006 Chaos induced by coupled-expanding maps Page 1 of 35 Yuming Shi Department of Mathematics Shandong University, China ymshi@sdu.edu.cn Collaborators:
More informationdynamical zeta functions: what, why and what are the good for?
dynamical zeta functions: what, why and what are the good for? Predrag Cvitanović Georgia Institute of Technology November 2 2011 life is intractable in physics, no problem is tractable I accept chaos
More informationAdvanced Calculus I Chapter 2 & 3 Homework Solutions October 30, Prove that f has a limit at 2 and x + 2 find it. f(x) = 2x2 + 3x 2 x + 2
Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, 2009 2. Define f : ( 2, 0) R by f(x) = 2x2 + 3x 2. Prove that f has a limit at 2 and x + 2 find it. Note that when x 2 we have f(x) = 2x2
More informationRelevant section from Encounters with Chaos and Fractals, by D. Gulick: 2.3 "Conjugacy"
Lecture 8 Topological conjugacy Relevant section from Encounters with Chaos and Fractals, by D. Gulick: 2.3 "Conjugacy" The main goal of this section: Suppose that we have a mapping f : I I and we wish
More informationDifferential Analysis II Lectures 22-24
Lecture : 3 April 015 18.156 Differential Analysis II Lectures - Instructor: Larry Guth Trans.: Kevin Sacel.1 Precursor to Schrödinger Equation Suppose we are trying to find u(, t) with u(, 0) = f() satisfying
More informationPeriodic Sinks and Observable Chaos
Periodic Sinks and Observable Chaos Systems of Study: Let M = S 1 R. T a,b,l : M M is a three-parameter family of maps defined by where θ S 1, r R. θ 1 = a+θ +Lsin2πθ +r r 1 = br +blsin2πθ Outline of Contents:
More informationPersistent Chaos in High-Dimensional Neural Networks
Persistent Chaos in High-Dimensional Neural Networks D. J. Albers with J. C. Sprott and James P. Crutchfield February 20, 2005 1 Outline: Introduction and motivation Mathematical versus computational dynamics
More informationMath WW08 Solutions November 19, 2008
Math 352- WW08 Solutions November 9, 2008 Assigned problems 8.3 ww ; 8.4 ww 2; 8.5 4, 6, 26, 44; 8.6 ww 7, ww 8, 34, ww 0, 50 Always read through the solution sets even if your answer was correct. Note
More informationI know this time s homework is hard... So I ll do as much detail as I can.
I know this time s homework is hard... So I ll do as much detail as I can. Theorem (Corollary 7). If f () g () in (a, b), then f g is a constant function on (a, b). Proof. Call h() f() g(). Then, we try
More informationON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM
ON SPACE-FILLING CURVES AND THE HAHN-MAZURKIEWICZ THEOREM ALEXANDER KUPERS Abstract. These are notes on space-filling curves, looking at a few examples and proving the Hahn-Mazurkiewicz theorem. This theorem
More informationFunctions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014
Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some
More informationMath Lecture 3 Notes
Math 1010 - Lecture 3 Notes Dylan Zwick Fall 2009 1 Operations with Real Numbers In our last lecture we covered some basic operations with real numbers like addition, subtraction and multiplication. This
More informationMCE/EEC 647/747: Robot Dynamics and Control. Lecture 8: Basic Lyapunov Stability Theory
MCE/EEC 647/747: Robot Dynamics and Control Lecture 8: Basic Lyapunov Stability Theory Reading: SHV Appendix Mechanical Engineering Hanz Richter, PhD MCE503 p.1/17 Stability in the sense of Lyapunov A
More information3 Stability and Lyapunov Functions
CDS140a Nonlinear Systems: Local Theory 02/01/2011 3 Stability and Lyapunov Functions 3.1 Lyapunov Stability Denition: An equilibrium point x 0 of (1) is stable if for all ɛ > 0, there exists a δ > 0 such
More informationSymbolic dynamics and chaos in plane Couette flow
Dynamics of PDE, Vol.14, No.1, 79-85, 2017 Symbolic dynamics and chaos in plane Couette flow Y. Charles Li Communicated by Y. Charles Li, received December 25, 2016. Abstract. According to a recent theory
More informationNOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES
NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs
More informationLecture for Week 2 (Secs. 1.3 and ) Functions and Limits
Lecture for Week 2 (Secs. 1.3 and 2.2 2.3) Functions and Limits 1 First let s review what a function is. (See Sec. 1 of Review and Preview.) The best way to think of a function is as an imaginary machine,
More informationPreliminary draft only: please check for final version
ARE211, Fall2012 ANALYSIS6: TUE, SEP 11, 2012 PRINTED: AUGUST 22, 2012 (LEC# 6) Contents 1. Analysis (cont) 1 1.9. Continuous Functions 1 1.9.1. Weierstrass (extreme value) theorem 3 1.10. An inverse image
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationDevil s Staircase Rotation Number of Outer Billiard with Polygonal Invariant Curves
Devil s Staircase Rotation Number of Outer Billiard with Polygonal Invariant Curves Zijian Yao February 10, 2014 Abstract In this paper, we discuss rotation number on the invariant curve of a one parameter
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More informationHandout 2: Invariant Sets and Stability
Engineering Tripos Part IIB Nonlinear Systems and Control Module 4F2 1 Invariant Sets Handout 2: Invariant Sets and Stability Consider again the autonomous dynamical system ẋ = f(x), x() = x (1) with state
More informationME 680- Spring Representation and Stability Concepts
ME 680- Spring 014 Representation and Stability Concepts 1 3. Representation and stability concepts 3.1 Continuous time systems: Consider systems of the form x F(x), x n (1) where F : U Vis a mapping U,V
More informationSTA205 Probability: Week 8 R. Wolpert
INFINITE COIN-TOSS AND THE LAWS OF LARGE NUMBERS The traditional interpretation of the probability of an event E is its asymptotic frequency: the limit as n of the fraction of n repeated, similar, and
More informationChaos, Complexity, and Inference (36-462)
Chaos, Complexity, and Inference (36-462) Lecture 5: Symbolic Dynamics; Making Discrete Stochastic Processes from Continuous Deterministic Dynamics Cosma Shalizi 27 January 2009 Symbolic dynamics Reducing
More information1 The Local-to-Global Lemma
Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.
More informationWe consider the problem of finding a polynomial that interpolates a given set of values:
Chapter 5 Interpolation 5. Polynomial Interpolation We consider the problem of finding a polynomial that interpolates a given set of values: x x 0 x... x n y y 0 y... y n where the x i are all distinct.
More informationMathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers
Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur Lecture 1 Real Numbers In these lectures, we are going to study a branch of mathematics called
More informationMath 354 Transition graphs and subshifts November 26, 2014
Math 54 Transition graphs and subshifts November 6, 04. Transition graphs Let I be a closed interval in the real line. Suppose F : I I is function. Let I 0, I,..., I N be N closed subintervals in I with
More informationRobustly transitive diffeomorphisms
Robustly transitive diffeomorphisms Todd Fisher tfisher@math.byu.edu Department of Mathematics, Brigham Young University Summer School, Chengdu, China 2009 Dynamical systems The setting for a dynamical
More informationORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY
ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY AND ω-limit SETS CHRIS GOOD AND JONATHAN MEDDAUGH Abstract. Let f : X X be a continuous map on a compact metric space, let ω f be the collection of ω-limit
More informationMAT 585: Johnson-Lindenstrauss, Group testing, and Compressed Sensing
MAT 585: Johnson-Lindenstrauss, Group testing, and Compressed Sensing Afonso S. Bandeira April 9, 2015 1 The Johnson-Lindenstrauss Lemma Suppose one has n points, X = {x 1,..., x n }, in R d with d very
More informationIs the Hénon map chaotic
Is the Hénon map chaotic Zbigniew Galias Department of Electrical Engineering AGH University of Science and Technology, Poland, galias@agh.edu.pl International Workshop on Complex Networks and Applications
More informationarxiv: v1 [math.co] 29 Apr 2013
Cyclic permutations realized by signed shifts Kassie Archer and Sergi Elizalde arxiv:1304.7790v1 [math.co] 9 Apr 013 Abstract The periodic (ordinal) patterns of a map are the permutations realized by the
More informationv( x) u( y) dy for any r > 0, B r ( x) Ω, or equivalently u( w) ds for any r > 0, B r ( x) Ω, or ( not really) equivalently if v exists, v 0.
Sep. 26 The Perron Method In this lecture we show that one can show existence of solutions using maximum principle alone.. The Perron method. Recall in the last lecture we have shown the existence of solutions
More informationSynchronization, Chaos, and the Dynamics of Coupled Oscillators. Supplemental 1. Winter Zachary Adams Undergraduate in Mathematics and Biology
Synchronization, Chaos, and the Dynamics of Coupled Oscillators Supplemental 1 Winter 2017 Zachary Adams Undergraduate in Mathematics and Biology Outline: The shift map is discussed, and a rigorous proof
More informationConnor Ahlbach Math 308 Notes
Connor Ahlbach Math 308 Notes. Echelon Form and educed ow Echelon Form In this section, we address what we are trying to acheive by doing EOs. We are trying to turn a complicated linear system into s simpler
More informationSolutions to Problem Set 5 for , Fall 2007
Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically
More informationA PROOF THAT S-UNIMODAL MAPS ARE COLLET-ECKMANN MAPS IN A SPECIFIC RANGE OF THEIR BIFURCATION PARAMETERS. Zeraoulia Elhadj and J. C.
Acta Universitatis Apulensis ISSN: 1582-5329 No. 34/2013 pp. 51-55 A PROOF THAT S-UNIMODAL MAPS ARE COLLET-ECKMANN MAPS IN A SPECIFIC RANGE OF THEIR BIFURCATION PARAMETERS Zeraoulia Elhadj and J. C. Sprott
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationLecture 6: Finite Fields
CCS Discrete Math I Professor: Padraic Bartlett Lecture 6: Finite Fields Week 6 UCSB 2014 It ain t what they call you, it s what you answer to. W. C. Fields 1 Fields In the next two weeks, we re going
More informationAn Alternative Proof of Primitivity of Indecomposable Nonnegative Matrices with a Positive Trace
An Alternative Proof of Primitivity of Indecomposable Nonnegative Matrices with a Positive Trace Takao Fujimoto Abstract. This research memorandum is aimed at presenting an alternative proof to a well
More informationIntroduction to Numerical Analysis
Introduction to Numerical Analysis S. Baskar and S. Sivaji Ganesh Department of Mathematics Indian Institute of Technology Bombay Powai, Mumbai 400 076. Introduction to Numerical Analysis Lecture Notes
More informationDynamical Systems 2, MA 761
Dynamical Systems 2, MA 761 Topological Dynamics This material is based upon work supported by the National Science Foundation under Grant No. 9970363 1 Periodic Points 1 The main objects studied in the
More informationTheorem (Special Case of Ramsey s Theorem) R(k, l) is finite. Furthermore, it satisfies,
Math 16A Notes, Wee 6 Scribe: Jesse Benavides Disclaimer: These notes are not nearly as polished (and quite possibly not nearly as correct) as a published paper. Please use them at your own ris. 1. Ramsey
More information2 = = 0 Thus, the number which is largest in magnitude is equal to the number which is smallest in magnitude.
Limits at Infinity Two additional topics of interest with its are its as x ± and its where f(x) ±. Before we can properly discuss the notion of infinite its, we will need to begin with a discussion on
More informationModels of Computation,
Models of Computation, 2010 1 Induction We use a lot of inductive techniques in this course, both to give definitions and to prove facts about our semantics So, it s worth taking a little while to set
More informationSRB measures for non-uniformly hyperbolic systems
SRB measures for non-uniformly hyperbolic systems Vaughn Climenhaga University of Maryland October 21, 2010 Joint work with Dmitry Dolgopyat and Yakov Pesin 1 and classical results Definition of SRB measure
More informationRichard S. Palais Department of Mathematics Brandeis University Waltham, MA The Magic of Iteration
Richard S. Palais Department of Mathematics Brandeis University Waltham, MA 02254-9110 The Magic of Iteration Section 1 The subject of these notes is one of my favorites in all mathematics, and it s not
More informationLecture 10: Powers of Matrices, Difference Equations
Lecture 10: Powers of Matrices, Difference Equations Difference Equations A difference equation, also sometimes called a recurrence equation is an equation that defines a sequence recursively, i.e. each
More informationDifferentiation of Measures and Functions
Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationIntroduction to Classical Chaos
Introduction to Classical Chaos WeiHan Hsiao a a Department of Physics, The University of Chicago E-mail: weihanhsiao@uchicago.edu ABSTRACT: This note is a contribution to Kadanoff Center for Theoretical
More information