Dynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and

Similar documents
MARKOV PARTITIONS FOR HYPERBOLIC SETS

DYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,

4. Ergodicity and mixing

Dynamical Systems 2, MA 761

HYPERBOLIC SETS WITH NONEMPTY INTERIOR

The Structure of Hyperbolic Sets

April 13, We now extend the structure of the horseshoe to more general kinds of invariant. x (v) λ n v.

Lecture 4. Entropy and Markov Chains

1 Introduction Definitons Markov... 2

WHAT IS A CHAOTIC ATTRACTOR?

UNIVERSITY OF BRISTOL. Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3)

Three hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS

Solve EACH of the exercises 1-3

Rudiments of Ergodic Theory

PHY411 Lecture notes Part 5

Ergodic Theory and Topological Groups

Ergodic Theory. Constantine Caramanis. May 6, 1999

ORBITAL SHADOWING, INTERNAL CHAIN TRANSITIVITY

A Tourist s Guide to The General Topology of Dynamical Systems

Lecture Notes Introduction to Ergodic Theory

Lecture 16 Symbolic dynamics.

On fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems

MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing.

TRIVIAL CENTRALIZERS FOR AXIOM A DIFFEOMORPHISMS

An Introduction to Entropy and Subshifts of. Finite Type

The Existence of Chaos in the Lorenz System

Seminar In Topological Dynamics

DYNAMICAL PROPERTIES OF MONOTONE DENDRITE MAPS

THE SET OF RECURRENT POINTS OF A CONTINUOUS SELF-MAP ON AN INTERVAL AND STRONG CHAOS

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Proof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L

MTG 5316/4302 FALL 2018 REVIEW FINAL

25.1 Ergodicity and Metric Transitivity

Lecture 25 Markov Partitions

Li- Yorke Chaos in Product Dynamical Systems

10. The ergodic theory of hyperbolic dynamical systems

Entropy production for a class of inverse SRB measures

An Undergraduate s Guide to the Hartman-Grobman and Poincaré-Bendixon Theorems

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

van Rooij, Schikhof: A Second Course on Real Functions

Hyperbolic Dynamics. Todd Fisher. Department of Mathematics University of Maryland, College Park. Hyperbolic Dynamics p.

Robustly transitive diffeomorphisms

3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

Math 354 Transition graphs and subshifts November 26, 2014

Turbulence, representations, and trace-preserving actions

Probability and Measure

The Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France

Topological Properties of Invariant Sets for Anosov Maps with Holes

SHADOWING, ENTROPY AND MINIMAL SUBSYSTEMS

Spectral Measures, the Spectral Theorem, and Ergodic Theory

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

ADDING MACHINES, ENDPOINTS, AND INVERSE LIMIT SPACES. 1. Introduction

8 Further theory of function limits and continuity

RUTGERS UNIVERSITY GRADUATE PROGRAM IN MATHEMATICS Written Qualifying Examination August, Session 1. Algebra

Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;

Chaos induced by coupled-expanding maps

A short introduction with a view toward examples. Short presentation for the students of: Dynamical Systems and Complexity Summer School Volos, 2017

MAGIC010 Ergodic Theory Lecture Entropy

ẋ = f(x, y), ẏ = g(x, y), (x, y) D, can only have periodic solutions if (f,g) changes sign in D or if (f,g)=0in D.

THE MEASURE-THEORETIC ENTROPY OF LINEAR CELLULAR AUTOMATA WITH RESPECT TO A MARKOV MEASURE. 1. Introduction

THE CLASSIFICATION OF TILING SPACE FLOWS

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Immerse Metric Space Homework

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

SOME ASPECTS OF TOPOLOGICAL TRANSITIVITY A SURVEY

Exact Devaney Chaos and Entropy

CHAOTIC UNIMODAL AND BIMODAL MAPS

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

VERSION) STÉPHANE NONNENMACHER

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT

Differential equations: Dynamics and Chaos. Pierre Berger

A Note on the Generalized Shift Map

MEASURABLE DYNAMICS OF SIMPLE p-adic POLYNOMIALS JOHN BRYK AND CESAR E. SILVA

Hyperbolic Sets That are Not Locally Maximal

Analysis Qualifying Exam

TOPOLOGY TAKE-HOME CLAY SHONKWILER

M3A23/M4A23. Specimen Paper

7. Let X be a (general, abstract) metric space which is sequentially compact. Prove X must be complete.

Algebraic Topology Homework 4 Solutions

ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction

SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS

Mapping Class Groups MSRI, Fall 2007 Day 2, September 6

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Math 205C - Topology Midterm

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

Chapter 2 Metric Spaces

Practice Problems for Final Exam

Preliminary Exam 2018 Solutions to Morning Exam

arxiv: v6 [math.ds] 4 Oct 2014

Lyapunov optimizing measures for C 1 expanding maps of the circle

COBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS

Differential Topology Solution Set #2

On the Structure of Hyperbolic Sets

4 Countability axioms

MET Workshop: Exercises

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote

Transcription:

Dynamical Systems and Ergodic Theory PhD Exam Spring 2012 Introduction: This is the first year for the Dynamical Systems and Ergodic Theory PhD exam. As such the material on the exam will conform fairly closely to the topics in this year s MTG6401 and MTG6402. In future years a standard syllabus will be developed and the exam and courses will cover that material. As such, the sample problems listed below probably give you the best idea of what material to expect on the Spring, 2012 exam. Topics: Topological Dynamics Definitions and basic results about the following for maps and flows. periodic points and orbits alpha and omega limit sets recurrence, recurrent set nonwandering set transitivity (both forward orbit and full orbit) topologically mixing minimal sets sensitivity on initial data conjugacy and semicongugacy stability of fixed and periodic points Symbolic Dynamics Definitions and basic results about the following cylinder sets metrics subshifts of finite type The Perron-Fröbenius Theorem and its consequences. Differential Equations and flows Definitions and basic results about the following stability of rest points stability of periodic orbits and Floquet multipliers 1

Ergodic theory Definitions and basic results about the following von Neumann s L 2 ergodic theorem Birkhoffs pointwise ergodic theorem ergodicity and strong mixing Bernoulli and Markov measures on subshifts of finite type. Area preserving dynamics Definitions and basic results about the following Poincaré Recurrence Theorem Connections of ergodicity and topological dynamics existence of invariant measures The space of invariant measures Book sections: These sections give you some idea of the material. More will be added. But as noted above, for this year s exam the best guide is the course notes for MTG6401/2, the problems assigned in those courses, and the problem list below. Walters, P. An Introduction to Ergodic Theory, Springer-Verlag, 1982. Sections 1.1 1.6 and in Section 1.7, just Lemma 1.18, Theorem 1.19 and Definition 1.5(ii), Sections 5.1 5.4, Sections 6.1 6.4 Brin, M. and Stuck, G. Introduction to Dynamical Systems, Cambridge, 2002. Sections 2.1 2.3, 3.1 3.3, 4.1 4.6. Deavaney, R., An Introduction To Chaotic Dynamical Systems, Westview Press, 2003 (or older editions). Sections 2.1 2.4. Katok, A. and Hasselblatt, B., Introduction to the Modern Theory of Dynamical Systems, Cambridge University Press, 1997. Sctions 1.1-1.3, 1.8, 1.9, and 2.5. Notation: The statement that (X, B, µ, f) is a mpt (measure preserving transformation) means that X is a set with the probability measure µ defined on the σ-algebra B and f is a bijective, bi-measurable map f : X X which preserves the measure µ. The statement that (X, d, B, µ, f) is a mph (measure preserving homeomorphism) means that (X, B, µ, f) is a mpt and in addition, (X, d) is a compact metric space, f is a homeomorphism, and B is the Borel σ-algebra. The circle is S 1 = R/Z and the two-dimensional torus is T 2 = R 2 /Z 2. supp(µ) means the support of the measure µ 2

o(x, f) = {..., f 1 (x), x, f(x), f 2 (x),... } is the full orbit of x under the invertible map f. When f is perhaps non-invertible, the forward orbit of x is o + (x, f) = {x, f(x), f 2 (x),... } For a matrix A, its spectral radius is the magnitude of its largest eigenvalue and is denoted ρ(a). Problems: 1. For R ω : S 1 S 1 defined by R ω (θ) = θ + ω, show that R ω is ergodic with respect to Lebesgue measure if and only if ω Q (note you may assume that R ω preserves Lebesgue measure). 2. Let (X, d) be a compact metric space and f : X X a homeomorphism. (a) Define the recurrent set Λ(f) and the nonwandering set Ω(f) and show they are both compact, invariant sets. (b) Show that Λ(f) Ω(f) and give an example where the inclusion is proper. (c) Define the omega-limit set ω(x, f) of a point x X and show it is a compact, invariant sets. (d) Prove or disprove: For every x X, that ω(x, f) Λ(f). 3. Assume (X, d, B, µ, f) is a mph. (a) Define supp(µ) and show it is a compact, invariant set. (b) Show that almost every point in supp(µ) is recurrent. (c) Show that every point in supp(µ) is nonwandering. (d) Show that µ(ω(f)) = 1. (e) If (X, d, B, µ, f) is ergodic, show that f is transitive on supp(µ). (f) show that supp(µ) Λ(f), where Λ(f) is the recurrent set of f 4. Let (X, d) be a compact metric space and f : X X a homeomorphism. (a) Show that there is always an f-invariant subset Z X so that f restricted to Z is minimal. (b) Show that there is always a measure µ so that (X, d, B, µ, f) is a mph. 5. Define what it means for the mpt (X, B, µ, f) to be ergodic and to be strong mixing. Show that mixing always implies ergodic and give an example which shows the converse is false. 3

6. Assume (X, B, µ 0, f) and (X, B, µ 1, f) are both ergodic mpt. (a) Show there exist sets X 0 and X 1 which are both f-invariant and µ 0 (X 0 ) = 1, µ 0 (X 1 ) = 0, µ 1 (X 0 ) = 0 and µ 1 (X 1 ) = 1. (b) If 0 < r < 1 and µ r := (1 r)µ 0 + rµ 1, show that (X, B, µ r, f) is a mpt that is not ergodic. 7. If f : X X is a homeomorphism of a compact metric space which is full orbit transitive and α : X R is a continuous invariant function, α f = α, prove that α is a constant function. 8. Assume that f : X X is a homeomorphism of a compact metric space, prove that the following are equivalent. (a) For every x X, its full orbit o(x, f) is a dense subset of X, (b) If Z is a nonempty, compact subset of X with F (Z) = Z, then Z = X. (c) for every nonempty open subset U X, f k (U) = X. k Z 9. Assume (X, B, µ, f) is a mpt and A B is such that f(a) A, define a set A A and prove that f(a ) = A and µ(a ) = µ(a). 10. Let A be an n n-matrix with all entries equal to zero or one, and A does not have a row of all zeros. (a) Define the one-sided subshift of finite type Σ + A determined by A and the shift map σ : Σ + A Σ+ A. (b) Define one of the standard metrics on Σ + A. (c) Show that periodic points of σ are dense in Σ + A. (d) Show that (Σ + A, σ) is forward orbit transitive if and only if for all 1 i, j b there is a k 0 so that (A k ) i,j > 0. (e) Now assume there is some m 0 so that A m > 0 and for each k > 0 let N k be the number of fixed points of fixed points of σ k in Σ + A. Prove that log(n k ) lim k k where ρ(a) is the spectral radius of A. = log(ρ(a)), 4

11. Show that the mpt (X, B, µ, f) is ergodic if and only if for all A B with µ(a) > 0, µ({x X : there exists n Z withf n (x) A}) = 1. 12. Let A be a 2 2-matrix with integer entries and determinant one. (a) Describe the construction of the linear toral automorphism φ A : T 2 T 2 derived from A. (b) Show that the set of periodic points of φ A are dense in T 2. (c) Now let A = Prove that φ A is full orbit transitive. (d) Now let A = Prove that φ A is not full orbit transitive. ( ) 2 1. 1 1 ( ) 1 1. 1 1 13. Let f be a homeomorphism of the compact metric space X. Show the following are equivalent. (a) f is full orbit transitive (b) If U is a non-empty open set with f(u) = U, then U is dense. (c) For all nonempty, open U and V there is an n Z with f n (U) V. (d) There exists a dense, G δ set Z X so that z Z implies o(z, f) is dense in X. 14. The Contraction Mapping Theorem: If (X, d) is a complete metric space and f : X X satisfies for some 0 < k < 1 and for all x, y X d(f(x), f(y)) k d(x, y), then f has a unique fixed point P, and for any point x X, f n (x) P as n. 15. (a) Define sensitive dependence on initial data. (b) If (Σ + A, σ) is the one-sided subshift of finite type defined by the transition matrix A with A k > 0 for some k > 0, show that (Σ + A, σ) has sensitive dependence on initial data everywhere. 16. Find the fixed points of this differential equation and classify their stability type ẋ = x 2 y 1 ẏ = y 2 3y(x + 1). 5

17. Prove the one-dimensional Brouwer fixed point theorem: If f : [0, 1] [0, 1] is continuous, then it has a fixed point. 18. If f : S 1 S 1 is an orientation reversing homeomorphism, show that f has at least two fixed points. 19. A homeomorphism between two metric spaces h : (X, d X ) (Y, d Y ) is called bi- Lipschitz if there is a constant K so that for all x 1, x 2 X and y 1, y 2 Y, d Y (h(x 1 ), h(x 2 )) K d X (x 1, x 2 ) and d X (h 1 (y 1 ), h 1 (y 2 )) K d Y (y 1, y 2 ). Prove that if f : X X and g : Y Y are conjugate by a bi-lipschitz homeomorphism h : (X, d X ) (Y, d Y ) (i.e. h f = g h) and f has sensitive dependence on initial data everywhere, then so does g. 20. If f : R R is a C 2 -map with f(0) = 0 and f (0) < 1, prove directly (i.e. without quoting a general stability theorem) that there is a neighborhood B ɛ (0) for some ɛ > 0 so that x B ɛ (0) implies that lim n f n (x) = 0. 21. Given f : X X and g : Y Y, define what it means for f to be semiconjugate to g. For each of the following dynamical propertes, show that if f is semiconjugate to g and f has the property, then g does also. You may assume that X and Y are compact metric spaces. Also, in each case give an example where g has the property, but f does not. (a) Full orbit transitive. (b) Minimal. (c) The collection of periodic orbits is a dense set. (d) Every point is non-wandering. (e) Every point is recurrent. 22. Let f : R 2 R 2 be defined by f(x, y) = (x + 1, y). Show that f does not have any invariant, Borel probability measures. 23. (a) For a map f : R n R n with f(0) = 0 define what it means for the origin to be a Lyapunov stable fixed pointy, an asymptotcially stable fixed point, and an unstable fixed point. (b) Let A be a (2 2)-matrix and define f : R 2 R 2 as ( ) x f(x, y) = A y Show that the origin is asymptotcally stable if and only of ρ(a) < 1. You must prove this directly and not just quote a stability theorem. 6

24. Assume 0 < p < 1. (a) Define the Bernoulli measure µ p on the two-sided shift on two symbols Σ 2. (b) Show that (Σ 2, B, σ, µ p ) is mixing (you don t have to prove it is a mpt, you may assume that is true). (c) Define α : Σ 2 R by α(... s 1 s 0 s 1 s 2 ) = s 0 + 2s 1 + s 2 2. Compute the following limit for µ p -almost every sequence in s Σ 2 : lim N N 1 1 N i=0 α(σ i (s)). 25. A continuous function of a compact metric space f : X X is called locally eventually onto (leo) if for any open set U there is a k 0 with f k (U) = X. (a) Show that if f is leo it is forward orbit transitive. (b) Show that if f is leo it has sensitive dependence on initial data everywhere. (c) Show that the full tent map T is leo where T : [0, 1] [0, 1] is defined by T (x) = 2x for 0 x 1/2 and T (x) = 2x 2 for 1/2 x 1. 26. Define f : S 1 S 1 by f(θ) = 3θ. Show that (a) f is forward orbit transitive. (b) f has sensitive dependence on initial conditions everywhere (c) The collection of periodic orbits of f are dense in S 1. (d) Every point is nonwandering under f. (e) Let Z = {x S 1 : there exists n 0 with f n (x) = 0}. Show Z is dense in S 1. 27. Assume that X is compact metric and is connected. (a) Give the definition of a flow φ t on X. (b) Define the omega limit set ω(x, φ t ) for x X. (c) Show that for all x, ω(x, φ t ) is connected. 28. Let f : X X be a continuous function where X is a compact metric space. Show that for al x X, ω(x, f) = n N Cl{f k (x) : k n}. 29. Suppose that f : X X is continuous, where X is a compact metric space. Suppose that for some point x X, ω(x) = {p, q} where p and q are distinct points of X. Prove that f(p) = q and f(q) = p. 7

30. Suppose that X is a compact metric space. Suppose that f : X X is a homeomorphism and d(f(x), f(y)) = d(x, y) for each pair of points x and y is X. (a) Prove that each point x X is recurrent. (b) Prove that each point x X is almost periodic. 31. Find all homeomorphisms of the interval [0, 1] which preserve Lebesgue measure. Are any of these ergodic? Prove your answer. 32. Let (X, B, µ, f)be a mpt. Let N be a positive integer, and let A B have µ(a) > 0. Prove that there there exists an integer n > N with µ(f n (A) A) > 0. 33. Let (X, B, µ) be the particular probability space where X is the circle in the plane with center at the origin and radius 1, B is the collection of Borel sets, and µ is Lebesgue measure. Let T : X X denote rotation by 2π radians. Recall that T is measure 3 preserving. Let B denote the set of points (x, y) X with x > 0 and y > 0, and let f denote the characteristic function of B. Give an explicit description of the function f in the Birkhoff Ergodic Theorem. Problems for Spring 2013 Exam: 1. Let f : X X be a continuous map of a compact metric space to itself. Suppose that for any points x, y X we have d(f(x), f(y)) d(x, y). Prove that the topological entropy of f is zero. 2. Let f : X X be a continuous map of a compact metric space to itself. Suppose that there exist disjoint closed subsets, V and W of X such that f(v ) = X = f(w ). Prove that the topological entropy of f is at least log(2). 3. Let X denote the Morse Minimal Set, and let f : X X denote the restriction of the full one-sided shift on two symbols to X. We know that X is a minimal set for f. Is X also a minimal set for f 2? Prove your answer. 8