Substitutions and symbolic dynamical systems, Lecture 7: The Rudin-Shapiro, Fibonacci and Chacon sequences
|
|
- Jean Warner
- 5 years ago
- Views:
Transcription
1 Substitutions and symbolic dynamical systems, Lecture 7: The Rudin-Shapiro, Fibonacci and Chacon sequences 18 mars 2015
2 The Rudin-Shapiro sequence The Rudin-Shapiro sequence is the fixed point u beginning by a of the substitution a ab,,b ac, c db, d dc We have u n = a or b if and only if there is an even number of 11 in the expansion of n in base 2. Let v be the sequence defined from u replacing a,b by 1 and c,d by 1. It is the limit of the sequence A n defined by A n+1 = A n B n and B n+1 = A n ( B n ). (set A n = φ(σ n (a)) and B n = φ(σ n (b)). It is a 2 automatic sequence (see Lecture 3).
3 The complexity of u is 8n 8 for n 2 and v has asymptotically the same complexity. The systems X u and X v are topologically conjugate. The system (X u,s) has rank at most four and is a four-point extension of the dyadic rotation. One has S(w,e) = (Sw,φ(w)e) for a map φ of Y (the dyadic rotation) into the symmetric group on four points.
4 The Fibonacci sequence The Fibonacci sequence is the fixed point u of the substitution a ab, b a. The system (X u,s) is uniquely ergodic as a consequence of the following result. Proposition If u is a fixed point of a primitive substitution, then (X u,s) is uniquely ergodic. We use, as for the Morse sequence, the fact that if (X u,s) has uniform frequencies, i.e. if N(W,u k u k+n 1 )/n tends to a limit uniformly in k, then it is uniformly ergodic (see Lecture 6).
5 Te Fibonacci sequence has complexity n+1 (it is Sturmian). More generally, one has Proposition The fixed points of a primitive substitution have at most linear complexity. For every n there is p such that inf a A σp 1 (a) n inf a A σp (a) Every word of length n can then be included in σ p (ab). Since there are at most K = Card(A) 2 possible choices for a,b, p u (n) 2Kdα p < 2K d c αn where (by Perron-Frobenius), c, d are such that cα p < inf a A σ p (a) < sup σ p (a) < dα p a A
6 The ternary Chacon sequence The Chacon substitution O 0012, 1 12, is primitive. Thus the system (X 0,S) associated with the fixed point v beginning with 0 is uniquely ergodic. Note that v begins with the word w n defined by w 0 = 0 and w n+1 = w n w n 1w n where w n is obtained from w n by changing the first letter from 0 to 2.
7 The binary Chacon sequence Let u be the sequence beginning with b n, where b 0 = 0 and b n+1 = b n b n 1b n. The system (X,S) is called the Chacon map. Note that u is the fixed point of the non-primitive morphism , 1 1. We send X 0 onto X by replacing every 2 by 0. To come back, we replace 0 by 2 whenever there is a 1 just before. The two systems are conjugate and thus (X,S) also is uniquely ergodic. Let µ be its invariant measure.
8 The system (X,S) is of rank 1, with the following constuction. We cut the interval [0,1[ into two intervals P 0,P 1 of lengths 2/3 and 1/3 and we take F 0 = P 0. We cut F 0 into three intervals of equal length. The transformation sends the fist one to the second one, the second one to a subinterval a 1 of P 1 beginnning at the left end of P 1 with the corresponding length 2/9 and this interval is send to the third piece of P 0. At step n, we cut the n-th stack into three equal columns and send the top of the first one to the bottom of the second one, the top of the second one to a subinterval a n+1 of P 1 of corresponding length and this subinterval to the bottom of the last column.
9 4/9 2/3 F 0 = P 0 a 1 2/9 4/9 0 2/3 1 P 0 P 1 0 2/9 a 1 F 1
10 The P-name of a point w X is the sequence P(w) such that P(w) n = i whenever S n w P i. By associating to a point its P-name, we send the basis F n of the n-th stack to the cylinder [u 0,...,u hn 1] where h 0 = 1 and h n+1 = 3h n +1, and thus h n = 3n Note that n = 1 a n = P 0 and that the Lebesgue measure of the n-th stack hn 1 i=0 Si F n tends to 1.
11 The word b n = u 0 u hn 1 is called the n-block. The symbols 1 are called spacers. Proposition The Chacon system is weakly mixing : there are no eigenfunctions in L 2 (X,µ) except the constants, which are simple. Let f be an eigenfuction for the eigenvalue λ, of norm 1. We approximate f in L 2 (X,µ) by a sequence of functions f n of norm 1 constant on the levels of the n-stack. Let C 1, C 2 be the first and second column of the n-stack. Their measure is close to 1/3, larger than 1/4 and f n (S hn ) λf n 2 2( f n (S hn ) f(s hn ) 2 + λ hn f λ hn f n 2 ) C 1 C 1 C 1 < 4ε for n large enough. But as f n is constant on the levels of the n-stack, S hn f n = f n on C 1 and so λ hn 1 2 < 8ε if n is large enough.
12 But since f n is constant on the levels of the levels of the n-stack, S hn f n = f n on C 1 and so λ hn 1 2 < 16ε if n is large enough. In the same way, S h n+1 f n = f n on C 2 implies that λ hn < 16ε if n is large enough. We conclude that λ = 1 and it is a simple value because unique ergodicity implies ergodicity.
13 Ergodicity and mixing A transformation T is ergodic if and only if for every pair of measurable sets A and B lim n k=0 n 1 µ(a T k B) = µ(a)µ(b). The transformation T is weakly mixing if and only if for every pair of measurable sets A and B 1 n 1 lim µ(a T k B) µ(a)µ(b) = 0. n n k=0 The transformation T is strongly mixing if and only if for every pair of measurable sets A and B lim n µ(a Tn B) = µ(a)µ(b).
14 Proposition The Chacon map is not strongly mixing. Indeed, µ(s hp F n F n ) > 1/4µ(F n ) if p n while µ(f n ) < 1/4 if n 2.
15 Proposition The complexity of u is p n (u) = 2n 1 if n 2 and the complexity of v is p v (n) = 2n+1 for n 0. Two pairs of factors of length n of v give the same factor of u : the left extensions of the two left special factors of length n 1. For n = 4 : the pair (0012,2012) gives 0010 and the pair (0120, 2102) gives The proof that v has complexity 2n+1 can follow the path below (distinct from the P. Fogg).
16 Special and neutral words For a word x is the set S of factors of v, let l(x) = Card{a A ax S}, e(x) = Card{(a,b) A A axb S}, r(x) = Card{a A xa S}, m(x) = e(x) l(x) r(x)+1. A word is left-special if l(x) 2, right-special if r(x) 2, bispecial if it is left and right special. A word is neutral if m(x) = 0. Note that m(x) 1 is the number of edges minus the number of vertices of the graph E(x) = {(a,b) A axb S}.
17 We set s n = p n+1 p n, b n = s n+1 s n. Proposition One has b n = x S A n m(x). This is easy since m(x) = (e(x) l(x) r(x)+1) x S A n x S A n = p n+2 p n+1 p n+1 p n = s n+1 s n = b n.
18 Proposition For each length n 0, we have either 1 No bispecial factor, 2 One bispecial factor which is neutral, 3 Two bispecial factors of multiplicity 1 and 1. The neutral bispecial factors are the words τ n (0) where τ(x) = 012σ(0). Their length is a multiple of 3. The pairs of bispecial factors of opposite mutiplicity are the (τ n (012),τ n (120)). The first one has multiplicity 1, the second one 1.
19 The right-special words
20 Proposition The induced map of Chacon s transformation on the cylinder w 0 = 0 is semitopologically conjugate to the triadic rotation. We consider the substitution τ : a aab,b bab. Its fixed point beginning with a is deduced from the binary Chacon sequence by 0 a,10 b. Let T be the induced map of S on the cylinder Y = [0]. We have Tw = Sw if w 0 = w 1 = 0 and Tw = S 2 w if w 0 = w 1 = 1. Call Q a,q b these cylinders. Code the trajectory of a point w under T by w n = a if T n w Q a and w n = b if T n w Q b. The dynamical system ossociated with τ is topologically conjugate with (Y,T). The structure of the system associated with τ can be analysed in the same way as for the Morse system, showing that it is a coding of the triadic rotation.
21 Representation by Rokhlin stacks A sequence of partitions P n = {P n 1,...,Pn k n } generates a measure-theoretic dynamical system (X,T,µ) if there is a set E with µ(e) = 0 such that for every pair (x,x ) (X \E) 2 if x,x are in the same set of the partition P n for all n 0, then x = x.
22 A system (X,T,µ) has rank one if 1 there exits sequences of positive integers (q n ) n 0 and (a n,i ) n 0,1 i qn 1 such that the sequence of integers h n defined by h 0 = 1 and h n+1 = q n h n + q n 1 j=1 a n,i satisfies n=0 h n+1 q n h n h n+1 < 2 There exist subsets of X denoted by (F n ) n 0, by (F n,i ) n 0,1 i qn and by (C n,i,j ) n 0,2 i qn,1 j a n,i such that for every n,
23 1 (F n,i ) 1 i qn is a partition of F n, 2 The sets (T k F n ) 0 k hn 1 are disjoint, 3 T hn F n,i = Cn,i,1 if a n,i 0 and i < q n, 4 T hn F n,i = F n,i+1 if a n,i = 0 if i < q n. 5 TC n,i,j = C n,i,j+1 if j < a n,i, 6 TC n,i,an,i = F n,i+1 if i < q n 7 F n+1 = F n,1.
24 3 the sequence of partitions P n = {F n,tf n,...,t hn 1 F n,x \ hn 1 k=0 Tk F n } generates the system (X,T,µ). The union of the (T k F n ) 1 k hn 1 is called a Rokhlin stack of base F n. We say that the system is generated by the sequence of Rokhlin stacks with base F n. If we replace the sequence of partitions P n by {F n,0,tf n,0,...,t hn,0 1 F n,0,...,f n,1,tf n,1,...,t hn,1 1 F n,1,x \ p=0,1 hn,p 1 k=0 T k F n,p }, we have a system of rank two. The sets C n,i,j correspond to letters called the spacers in the associated symbolic sequence. We will show that the Morse system has rank two with F n,e = σ n [e], h n = 2 n and q n = 2 (and thus q n = 2 and a n,i = 0).
25 Proposition We have for all n 0 X u = e=0,1 2n 1 k=0 Sk σ n [e] Proposition We have for all n 0 and e = 0 or 1, σ n [e] = [σ n (e)σ n (0)] [σ n (e)σ n (1)] and σ n [e] = σ n+1 [e] S 2n σ n+1 [e ]
26 We set F n,e = σ n [e] and at stage n, we have two Rokhlin stacks 2n 1 k=0 Sk F n,e with bases F n,0 and F n,1, with height 2 n whose levels S k F n,e are disjoint sets of measure 2 n 1. The shift map sends each level of each stack, except the top ones, onto the level immediately above. We cut F n,e into two subsets of equal measure F n+1,e = σ n+1 [e] and H n+1,e = S 2n σ n+1 [e]. The shift map sends S 2n 1 F n+1,0 onto H n+1,1. This defines the (n+1)-stacks, which will have height 2 n+1.
27 F n,0 F n,1 F n+1,0 F n+1,1 F n+1,0 F n+1,1
l(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationMATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing.
MATH 614 Dynamical Systems and Chaos Lecture 38: Ergodicity (continued). Mixing. Ergodic theorems Let (X,B,µ) be a measured space and T : X X be a measure-preserving transformation. Birkhoff s Ergodic
More informationA Short Introduction to Ergodic Theory of Numbers. Karma Dajani
A Short Introduction to Ergodic Theory of Numbers Karma Dajani June 3, 203 2 Contents Motivation and Examples 5 What is Ergodic Theory? 5 2 Number Theoretic Examples 6 2 Measure Preserving, Ergodicity
More informationWaiting times, recurrence times, ergodicity and quasiperiodic dynamics
Waiting times, recurrence times, ergodicity and quasiperiodic dynamics Dong Han Kim Department of Mathematics, The University of Suwon, Korea Scuola Normale Superiore, 22 Jan. 2009 Outline Dynamical Systems
More informationS-adic sequences A bridge between dynamics, arithmetic, and geometry
S-adic sequences A bridge between dynamics, arithmetic, and geometry J. M. Thuswaldner (joint work with P. Arnoux, V. Berthé, M. Minervino, and W. Steiner) Marseille, November 2017 REVIEW OF PART 1 Sturmian
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationReal Variables: Solutions to Homework 3
Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.
More informationERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism
More informationFACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN. systems which cannot be achieved by working within a nite window. By. 1.
FACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN Abstract. We show that there is no Curtis-Hedlund-Lyndon Theorem for factor maps between tiling dynamical systems: there are codes between such
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationINITIAL POWERS OF STURMIAN SEQUENCES
INITIAL POWERS OF STURMIAN SEQUENCES VALÉRIE BERTHÉ, CHARLES HOLTON, AND LUCA Q. ZAMBONI Abstract. We investigate powers of prefixes in Sturmian sequences. We obtain an explicit formula for ice(ω), the
More informationLecture 16 Symbolic dynamics.
Lecture 16 Symbolic dynamics. 1 Symbolic dynamics. The full shift on two letters and the Baker s transformation. 2 Shifts of finite type. 3 Directed multigraphs. 4 The zeta function. 5 Topological entropy.
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More information4. Ergodicity and mixing
4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation
More informationSARNAK S CONJECTURE FOR SOME AUTOMATIC SEQUENCES. S. Ferenczi, J. Ku laga-przymus, M. Lemańczyk, C. Mauduit
SARNAK S CONJECTURE FOR SOME AUTOMATIC SEQUENCES S. Ferenczi, J. Ku laga-przymus, M. Lemańczyk, C. Mauduit 1 ARITHMETICAL NOTIONS Möbius function µp1q 1,µpp 1...p s q p 1q s if p 1,...,p s are distinct
More informationReal Analysis Chapter 1 Solutions Jonathan Conder
3. (a) Let M be an infinite σ-algebra of subsets of some set X. There exists a countably infinite subcollection C M, and we may choose C to be closed under taking complements (adding in missing complements
More information+ = x. ± if x > 0. if x < 0, x
2 Set Functions Notation Let R R {, + } and R + {x R : x 0} {+ }. Here + and are symbols satisfying obvious conditions: for any real number x R : < x < +, (± + (± x + (± (± + x ±, (± (± + and (± (, ± if
More informationWeak disjointness of measure preserving dynamical systems
Weak disjointness of measure preserving dynamical systems Emmanuel Lesigne, Benoît Rittaud, Thierry De La Rue To cite this version: Emmanuel Lesigne, Benoît Rittaud, Thierry De La Rue. Weak disjointness
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationNotes for Junior Seminar
Notes for Junior Seminar Princeton Math Members Spring 2014 Abstract These are a compilation of lecture notes from MAT983 - Ergodic and Dynamic Properties of Shift Spaces. They are based on Chapters 1,
More informationErgodic Theory. Constantine Caramanis. May 6, 1999
Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density
More informationCOBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS
COBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS FABIEN DURAND Abstract. This lecture intends to propose a first contact with subshift dynamical systems through the study of a well known family: the substitution
More informationLecture 4. Entropy and Markov Chains
preliminary version : Not for diffusion Lecture 4. Entropy and Markov Chains The most important numerical invariant related to the orbit growth in topological dynamical systems is topological entropy.
More informationarxiv: v3 [math.ds] 23 May 2017
INVARIANT MEASURES FOR CARTESIAN POWERS OF CHACON INFINITE TRANSFORMATION arxiv:1505.08033v3 [math.ds] 23 May 2017 ÉLISE JANVRESSE, EMMANUEL ROY AND THIERRY DE LA RUE Abstract. We describe all boundedly
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationEntropy dimensions and a class of constructive examples
Entropy dimensions and a class of constructive examples Sébastien Ferenczi Institut de Mathématiques de Luminy CNRS - UMR 6206 Case 907, 63 av. de Luminy F3288 Marseille Cedex 9 (France) and Fédération
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: Rule of Inference Mathematical Induction: Conjecturing and Proving Mathematical Induction:
More informationAn Introduction to Entropy and Subshifts of. Finite Type
An Introduction to Entropy and Subshifts of Finite Type Abby Pekoske Department of Mathematics Oregon State University pekoskea@math.oregonstate.edu August 4, 2015 Abstract This work gives an overview
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationThe theory of Bernoulli Shifts
The theory of Bernoulli Shifts by Paul C. Shields Professor Emeritus of Mathematics University of Toledo, Toledo, OH 4366 Send corrections to bshifts@earthlink.net Web Edition 1.1 Reprint of 1973 University
More informationEntropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type
Entropy for zero-temperature limits of Gibbs-equilibrium states for countable-alphabet subshifts of finite type I. D. Morris August 22, 2006 Abstract Let Σ A be a finitely primitive subshift of finite
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
More informationOn fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems
On fuzzy entropy and topological entropy of fuzzy extensions of dynamical systems Jose Cánovas, Jiří Kupka* *) Institute for Research and Applications of Fuzzy Modeling University of Ostrava Ostrava, Czech
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationGenerating Functions
Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More information1 Measurable Functions
36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationHOMEWORK ASSIGNMENT 6
HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More information1. Is the set {f a,b (x) = ax + b a Q and b Q} of all linear functions with rational coefficients countable or uncountable?
Name: Instructions. Show all work in the space provided. Indicate clearly if you continue on the back side, and write your name at the top of the scratch sheet if you will turn it in for grading. No books
More informationMATH5011 Real Analysis I. Exercise 1 Suggested Solution
MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:
More informationAN ABSTRACT OF THE DISSERTATION OF
AN ABSTRACT OF THE DISSERTATION OF David Josiah Wing for the degree of Doctor of Philosophy in Mathematics presented on March 3, 20 Title: Notions of Complexity in Substitution Dynamical Systems Abstract
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationIntroduction to Functional Analysis
Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture
More informationNotes on Rauzy Fractals
Notes on Rauzy Fractals It is a tradition to associate symbolic codings to dynamical systems arising from geometry or mechanics. Here we introduce a classical result to give geometric representations to
More informationUNIVERSITY OF BRISTOL. Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3)
UNIVERSITY OF BRISTOL Mock exam paper for examination for the Degrees of B.Sc. and M.Sci. (Level 3) DYNAMICAL SYSTEMS and ERGODIC THEORY MATH 36206 (Paper Code MATH-36206) 2 hours and 30 minutes This paper
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationCONSTRUCTIVE SYMBOLIC PRESENTATIONS OF RANK ONE MEASURE-PRESERVING SYSTEMS TERRENCE ADAMS. U.S. Government, 9800 Savage Rd, Ft. Meade, MD USA
CONSTRUCTIVE SYMBOLIC PRESENTATIONS OF RANK ONE MEASURE-PRESERVING SYSTEMS TERRENCE ADAMS U.S. Government, 9800 Savage Rd, Ft. Meade, MD 20755 USA SÉBASTIEN FERENCZI Aix Marseille Université, CNRS, Centrale
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationLinear ODEs. Existence of solutions to linear IVPs. Resolvent matrix. Autonomous linear systems
Linear ODEs p. 1 Linear ODEs Existence of solutions to linear IVPs Resolvent matrix Autonomous linear systems Linear ODEs Definition (Linear ODE) A linear ODE is a differential equation taking the form
More informationSYSTEMS OF FINITE RANK
C O L L O Q U I U M M A T H E M A T I C U M VOL. 73 1997 NO. 1 SYSTEMS OF FINITE RANK BY SÉBASTIEN F E R E N C Z I (MARSEILLE) Ergodic theory, and particularly its measure-theoretic part, was developed
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationMATH642. COMPLEMENTS TO INTRODUCTION TO DYNAMICAL SYSTEMS BY M. BRIN AND G. STUCK
MATH642 COMPLEMENTS TO INTRODUCTION TO DYNAMICAL SYSTEMS BY M BRIN AND G STUCK DMITRY DOLGOPYAT 13 Expanding Endomorphisms of the circle Let E 10 : S 1 S 1 be given by E 10 (x) = 10x mod 1 Exercise 1 Show
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationCourse Notes. Part IV. Probabilistic Combinatorics. Algorithms
Course Notes Part IV Probabilistic Combinatorics and Algorithms J. A. Verstraete Department of Mathematics University of California San Diego 9500 Gilman Drive La Jolla California 92037-0112 jacques@ucsd.edu
More information18 The analytic class number formula
18.785 Number theory I Lecture #18 Fall 2015 11/12/2015 18 The analytic class number formula The following theorem is usually attributed to Dirichlet, although he originally proved it only for quadratic
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationAperiodic correlation and the merit factor
Aperiodic correlation and the merit factor Aina Johansen 02.11.2009 Correlation The periodic correlation between two binary sequences {x t } and {y t } of length n at shift τ is defined as n 1 θ x,y (τ)
More informationBases in Banach spaces
Chapter 3 Bases in Banach spaces Like every vector space a Banach space X admits an algebraic or Hamel basis, i.e. a subset B X, so that every x X is in a unique way the (finite) linear combination of
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationThe Frobenius{Perron Operator
(p.75) CHPTER 4 The Frobenius{Perron Operator The hero of this book is the Frobenius{Perron operator. With this powerful tool we shall study absolutely continuous invariant measures, their existence and
More informationDynamical Systems and Ergodic Theory PhD Exam Spring Topics: Topological Dynamics Definitions and basic results about the following for maps and
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
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationJOININGS, FACTORS, AND BAIRE CATEGORY
JOININGS, FACTORS, AND BAIRE CATEGORY Abstract. We discuss the Burton-Rothstein approach to Ornstein theory. 1. Weak convergence Let (X, B) be a metric space and B be the Borel sigma-algebra generated
More informationSome improvments of the S-adic Conjecture
Some improvments of the S-adic Conjecture Julien Leroy Laboratoire Amiénois de Mathématiques Fondamentales et Appliquées CNRS-UMR 6140, Université de Picardie Jules Verne, 33 rue Saint Leu, 80039 Amiens
More informationAnalysis and geometry on groups
Analysis and geometry on groups Andrzej Zuk Paris Contents 1 Introduction 1 2 Amenability 2 2.1 Amenable groups............................. 2 2.2 Automata groups............................. 5 2.3 Random
More informationLecture Notes 3 Convergence (Chapter 5)
Lecture Notes 3 Convergence (Chapter 5) 1 Convergence of Random Variables Let X 1, X 2,... be a sequence of random variables and let X be another random variable. Let F n denote the cdf of X n and let
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationA FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S
A FAMILY OF PIECEWISE EXPANDING MAPS HAVING SINGULAR MEASURE AS A LIMIT OF ACIM S ZHENYANG LI, PAWE L GÓ, ABRAHAM BOYARSKY, HARALD PROPPE, AND PEYMAN ESLAMI Abstract Keller [9] introduced families of W
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
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 informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n
ANALYSIS QUALIFYING EXAM FALL 206: SOLUTIONS Problem. Let m be Lebesgue measure on R. For a subset E R and r (0, ), define E r = { x R: dist(x, E) < r}. Let E R be compact. Prove that m(e) = lim m(e /n).
More informationGiovanni Gallavotti. , where x i = 1, 2,..., k. We ask the question of which is the probability that the machine produces a particular
BERNOULLI SCHEMES AND THEIR ISOMORPHISMS Giovanni Gallavotti Lecture I In these lectures I shall present some of the ideas and methods used in the proof of the celebrated theorem stating that two Bernoulli
More informationFinal Exam Practice Problems Math 428, Spring 2017
Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work
More informationUsing Spectral Analysis in the Study of Sarnak s Conjecture
Using Spectral Analysis in the Study of Sarnak s Conjecture Thierry de la Rue based on joint works with E.H. El Abdalaoui (Rouen) and Mariusz Lemańczyk (Toruń) Laboratoire de Mathématiques Raphaël Salem
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More informationInformation Dimension
Information Dimension Mina Karzand Massachusetts Institute of Technology November 16, 2011 1 / 26 2 / 26 Let X would be a real-valued random variable. For m N, the m point uniform quantized version of
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More information