functions as above. There is a unique non-empty compact set, i=1
|
|
- Martin Jefferson
- 5 years ago
- Views:
Transcription
1 1 Iterated function systems Many of the well known examples of fractals, including the middle third Cantor sets, the Siepiński gasket and certain Julia sets, can be defined as attractors of iterated function systems In the standard case these are iterations of a finite family of contracting functions More precisely let T 1,, T k : d d be Lipschitz maps with Lipschitz constants 0 < r 1,, r k < 1 That is T i (x) T i (y) r i x y Theorem 1 (Hutchinson 1984) Let {T 1,, T k } be a family of contracting functions as above There is a unique non-empty compact set, Λ such that k T i(λ) = λ For each probability vector (p 1,, p k ) there is a unique probability measure, µ supported on Λ such that for any Borel set A d, µ(a) = k p i µ(ti 1 (A)) A sketch of the proof It is possible to fine a complete metric on the space of compact subsets of d, K( d ) For A K( d ) and δ > 0 let A δ = {x d : dist(x, A) δ} For A, B K( d ) let d(a, B) = inf{δ : A δ B and B δ A} d is referred to as the Hausdorff metric and forms a complete metric on K( d ) The map A k T i(k) is a contraction with respect to this metric and thus by the contraction mapping theorem there is a unique non-empty compact set such that A = k T i(a) For the second part we note that the map µ k p i T i (µ) is a contraction with respect to the weak-*-topology and once again apply the Contraction Mapping Theorem 1
2 2 2 Shift Spaces A convenient method of coding iterated function systems is via shift spaces Let Σ k = {1,, k} We define σ : Σ k Σ k by σ(x 1, x 2, x 3, ) = (x 2, x 3, ) If {T 1,, T k } is an iterated function systems on d with attractor Λ then we can define a natural projection Π : Σ Λ by Π(i) = T i1 T in (0) Let ν be (p 1,, p k )-Bernoulli measure on Σ k and note that it is ergodic and invariant with respect to the shift map, σ The projection of ν by Π gives the stationary measure associated to the IFS {T 1,, T k } and the probability vector (p 1,, p n ) If we restrict our attentions to an IFS of the form T i (x) = r x + a i where 0 < r i < 1 and a i d then the associated stationary measures are called self-similar measures We will use the following result Lemma 1 For ν almost all i Σ k 1 (1) log µ([i n 1,, i n ]) = p i log p i 1 (2) log diam(π([i n 1,, i n ])) = Λ π i Proof The first part follows from applying the Birkhoff Ergodic Theorem to the function g 1 : Σ k given by g 2 (i) = log p i1 For the second part note that T i1 T in (Λ) = r i1 r in Λ The result then follows by applying the Birkhoff Ergodic Theorem to the function g 2 : Σ k given by g 2 (i) = i1 The first part of this result is a special case of the Shannon-Macmillan- Brieman Theorem (we will see a more general case later) The second part is also a general case of a special scheme When the functions are not similarities we can often use the function log T i 1 (Π(σ(i))) 3 Dimension of self-similar measures In this situation we use Lemma 1 to compute the dimension of self similar measures Let {T 1,, T k } : d d be an iterated function system defined by T i (x) = r i x + a i where 0 < r i < 1 We will denote the attractor by Λ and for simplicity assume that diam(λ) = Λ = 1 Additionally we will assume that T i (Λ) T j (Λ) = for all distinct i, j
3 (we will refer to this as the strong separation condition) Note that the results stated would still be true if we made the weaker assumption that there exists an open set V such that T i (V ) V for all i and T i (V ) T j (V ) = for all distinct i, j (this is known as the open set condition) We will now compute the dimension of the self-similar measure defined by (p 1,, p k )-Bernoulli measure Recall that the Hausdorff dimension of a probability measure, µ on d is defined by dim µ = inf{dim A : µ(a) = 1 and A is Borel } For the definition of Hausdorff dimension see David Preiss s lectures In practise the mass distribution principle (strongly related to Frostman s Lemma in David Preiss s notes) is often the best way to calculate the Hausdorff dimension of a measure This means that if for µ almost all x, = s r 0 then dim µ = s Theorem 2 Let µ be an self-similar measure satisfying the above condition We have that 3 dim µ = i = 1 k p i log p i r i log p i Proof We choose a sequence i in Σ k such that both parts of Lemma 1 hold Let x = Πi Note that the µ measure of points x which can be found in this way is 1 Fix r > 0 and choose n such that r i1 r in r < r i1 r in 1 We will denote i 1,, i n for diam(π([i 1,, i n ]) We have where C = max k Thus inf r 0 log ν([i 1,, i n ] log ν([i 1,, i n ]) log i 1,, i n 1 log ν([i 1,, i n ]) log i 1,, i n in log ν([i 1,, i n ]) log i 1,, i n C inf log ν([i 1,, i n ]) log i 1,, i n
4 4 By Lemma 1 it follows immediately that inf log ν([i 1,, i n ]) log i 1,, i n p i log p i r i log p i For the other direction we let ɛ = min{dist(t i (Λ), T j (Λ) : i j and 1 i, j k} and note that it is strictly positive We now fix r and choose n such that r i1 r in ɛ r > r i1 r in+1 ɛ Thus since the nth level cylinders are separated by r i1 r in ɛ the ball B(x, r) can intersect at most 1 nth level cylinder which has to be [i 1,, i n ] Hence log(µ(b(x, r))) where K = min i = 1 k i Thus sup r 0 log ν([i 1,, i n ]) log ν([i 1,, i n ]) log i 1,, i n+1 log ν([i 1,, i n ]) log i 1,, i n + K sup Again by Lemma 1 it follows immediately that sup log ν([i 1,, i n ]) log i 1,, i n Putting all of this together we have that r 0 = log ν([i 1,, i n ]) log i 1,, i n p i log p i r i log p i p i log p i r i log p i This holds for any similarly chosen x thus for mu-almost all x k = p i log p i r 0 k r i log p i and hence dim µ = i = 1 k p i log p i r i log p i This is the simplest example of the results where the dimension of a measure is given by the entropy divided by the Lyapunov exponent Here the entropy of the measure is given as p i log p i and the Lyapunov exponent can be thought of as p i i
5 4 Multifractal analysis The term multifractal analysis first came into use in the mid 1980 s It was first introduced in physical settings However since the mid 1990 s there have been a string of papers on multifractal analysis in settings relating to iterated function systems and hyperbolic dynamical systems This includes Mauldin-Cawley, several papers by Olsen and coauthors, papers by Pesin-Weiss and papers by Barreira and Saussol Multifractal analysis looks at sets when some locally defined quantity is the same for all points A good example was first studied by Besicovitch in the 1930 s (50 years before the term multifractal was first used!) Consider a point x [0, 1] such that x = a 0 + a a where each a i {0, 1} In other words a 0 + a gives the binary expansion of x Let A n (x) = #{k : 1 k n and a k = 0} A and P (x) = n(x) when the it exists P (x) can be said to n be the frequency of 0 in the binary expansion of x This is a local quantity (arbitrary close points may have completely different frequencies) Lebesgue almost all points will have frequency 1 but large sets 2 of points will have different its between 0 and 1 and for some the it will not exist Theorem 3 (Besicovitch) dim{x [0, 1] : P n (x) = p} = p log p + (1 p) log(1 p) log 2 This is an example of a multifractal result In the setting of iterated function systems a quantity which often has multifractal phenomenon is the local dimension For a measure, µ on d the local dimension at a point x is defined by loc µ (x) = r 0 log(µ(b(x, r))) when the it exists We can then examine the dimension of sets of point where this quantity is the same The rest of these notes concentrate on this problem Before remove on other quantities that can be looked at are Birkhoff averages, local Lyapunov expoonents and local entropies Also we can look at the packing dimension rather than the Hausdorff dimension of the set or indeed the topological entropy However it usually does not make sense to look at the box dimension as 5
6 6 the multifractal sets are often dense and have the same box dimension as the whole set The analogue of box dimension in multifractal analysis comes from what is often called the L q spectrum and will not be covered in these notes 5 Multifractal analysis for self-similar measures Let T 1,, T m : be of the form T i (x) = r i x + a i We assume the system satisfies the open set condition and let µ be the self-similar measure associated to the probability vector, (p 1,, p m ) Π : Σ k will be the natural projection and ν is (p 1,, p m )-Bernoulli measure on Σ m Note that µ = ν Π 1 We wish to consider the level sets log(µ(b(x, r))) X α = {x : = α} r 0 To do this we will first consider a related subset on Σ n log(µ([i 1,, i n ])) Σ α = {i Σ m : log Π([i 1,, i n ]) = α} The reason for doing this is that the dimension of Π(X α ) is much easier to calculate than X α In fact the function f s : α dim Π(X α ) is often referred to as the symbolic multifractal spectrum for the measure (X α ) However once dim Π(Σ α ) is calculated the question is whether it is equal to dim(x α ) (this question is not necessarily trivial) To compute the symbolic multifractal spectrum of µ we introduce the function β This is defined implicitly by the formula m p q i rβ(q) i = 1 Theorem 4 [Cawley-Mauldin] 1 For α 2 For α / ( ) min m log p i we have that dim(π(σ α )) = inf{β(q) + αq} q [ ] min m log p i we have that Σ α = It is straightforward to see that part 2 of the Theorem is true so we will just concentrate on part 1 In the case that p i = ri s where s is the dimension of the attractor part 1 gives no information since min m log p i i = max m log p i i In fact in this case log(µ([i 1,, i n ])) log Π([i 1,, i n ]) = s
7 for all i Σ Proof of the upper bound To show that inf q+αq is an upper bound note that for ɛ > 0 and N the set Σ α (N, ɛ) = {x Σ m : α ɛ log(µ([i 1,, i n ])) α+ɛ for all n N} log Π([i 1,, i n ]) It is easily seen that for any ɛ we have Σ α n Σ α (N, ɛ) We now fix q 0 For simplicity we will assume that Λ = 1 Note that for i Σ α (N, ɛ) we have for n N, Letting r = min m r i we have H β(q)+q(α+ɛ) r n (Π(Σ α(n, ɛ))) i 1,, i n q(α+ɛ) µ(i 1,, i n ) α+ɛ = i Σ α(n,ɛ) i Σ α(n,ɛ) i 1,, i n (β(q)+q(α+ɛ) µ([i 1,, i n ]) q i 1,, i n β(q) (p i1 p in ) q (r i1 r in ) B(q) i Σ m p q i r(β(q) i = 1 It then follows that H β(q)+q(α+ɛ) (Π(Σ α (N, ɛ))) 1 and thus dim(π(σ α (N, ɛ)) β(q) + q(α + ɛ) This is true for all ɛ > 0 and q 0 thus dim(π(σ α )) β(q) + q for q 0 By using the same methods for q < 0 we get that dim(π(σ α (N, ɛ)) β(q) + q(α ɛ) for all ɛ > 0 and q < 0 which gives dim(π(σ α )) inf{β(q) + q} q Proof of the Lower Bound For the lower bound we need to look at the derivatives of β(q) (1) β (q) = P m (2) β 0 pq i rβ(q) i log p i P m pq i rβ(q) i i Note that β (q) attains all values in ( Hence for α min m log p i 7 ( min m log p i, max m log p i ) i ) we can find q such that β (q) = α and so αq + β(q) will be at a unique minimum From now on we will use this value of q Let ν q be the Bernoulli measure defined by the probability vector (p q 1r β(q) 1,, p q mr β(q) m ) and let µ q = ν q Π 1
8 8 We now apply the Birkhoff Ergodic Theorem with respect to the functions i log p i1 and i i and the measure ν q This gives that for ν q almost all i Σ, log(µ([i 1,, i n ])) = log [i 1,, i n ] pq i rβ(q) i log p i = β (q) = α pq i rβ(q) i i Thus ν q (Σ α ) = 1 and so µ q (Π(Σ α )) = 1 Since µ q is simply a self-similar measure we can calculate its dimension Finally dim µ q = pq i rβ(q) i pq i rβ(q) i log(p q i rβ(q) i i = q pq i rβ(q) i log(p i ) pq i rβ(q) i = β(q) + αq log(r i ) + β(q) pq i rβ(q) i pq i rβ(q) i dim(π(σ α )) dim µ q = β(q) + αq i i Symbolic local dimension and standard local dimension It remains to show that looking at the symbolic local dimension is the same thing as looking at the standard local dimension In the case when the images of the similarities applied to the attractor are pairwise disjoint this is the case (in fact it is also the case for the weaker open set condition) Lemma 2 Let x Λ and i Σ k such that Π(i) = x We have that if the iterated function system satisfies that for all 1 i j k T i (Λ) T j (Λ) = then x X α if and only if i Σ α Proof This can be proved using the methods from the prove of Theorem 2 Finally we have that Theorem 5 (Cawley-Mauldin) Let µ be a self-similar measure satisfying the strong separation condition with associated contraction ratios {r 1,, r k } and probabilities {p 1,, p k } Let We then have X α = {x : r 0 log(µ(b(x, r))) = α}
9 1 For α 2 For α / ( ) min m log p i we have that dim(x α ) = inf{β(q) + αq} q [ ] min m log p i we have that X α = The proof follows immediately from Theorem 4 and Lemma 2 9
A non-uniform Bowen s equation and connections to multifractal analysis
A non-uniform Bowen s equation and connections to multifractal analysis Vaughn Climenhaga Penn State November 1, 2009 1 Introduction and classical results Hausdorff dimension via local dimensional characteristics
More informationTHE HAUSDORFF DIMENSION OF MEASURES FOR. Thomas Jordan. Mark Pollicott. (Communicated by the associate editor name)
Manuscript submitted to Website: http://aimsciences.org AIMS Journals Volume 00, Number 0, Xxxx XXXX pp. 000 000 THE HAUSDORFF DIMENSION OF MEASURES FOR ITERATED FUNCTION SYSTEMS WHICH CONTRACT ON AVERAGE
More informationVARIATIONAL PRINCIPLES AND MIXED MULTIFRACTAL SPECTRA
To appear in Transactions of the American Mathematical Society. VARIATIONAL PRINCIPLES AND MIED MULTIFRACTAL SPECTRA L. BARREIRA AND B. SAUSSOL Abstract. We establish a conditional variational principle,
More informationThe dimensional theory of continued fractions
Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Topics, Hong Kong, Dec. 10-14, 2012 Continued fraction : x [0, 1), 1 x = 1 a 1 (x) + 1 a 2 (x) + a 3 (x) + = [a 1 (x),
More informationLectures on fractal geometry and dynamics
Lectures on fractal geometry and dynamics Michael Hochman June 27, 2012 Contents 1 Introduction 2 2 Preliminaries 3 3 Dimension 4 3.1 A family of examples: Middle-α Cantor sets................ 4 3.2 Minkowski
More informationCorrelation dimension for self-similar Cantor sets with overlaps
F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider
More informationMultifractal Analysis. A selected survey. Lars Olsen
Multifractal Analysis. A selected survey Lars Olsen Multifractal Analysis: The beginning 1974 Frontispiece of: Mandelbrot, Intermittent turbulence in self-similar cascades: divergence of high moments and
More informationChapter 2: Introduction to Fractals. Topics
ME597B/Math597G/Phy597C Spring 2015 Chapter 2: Introduction to Fractals Topics Fundamentals of Fractals Hausdorff Dimension Box Dimension Various Measures on Fractals Advanced Concepts of Fractals 1 C
More informationA NOTE ON CORRELATION AND LOCAL DIMENSIONS
A NOTE ON CORRELATION AND LOCAL DIMENSIONS JIAOJIAO YANG, ANTTI KÄENMÄKI, AND MIN WU Abstract Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit
More informationPOINTWISE DIMENSION AND ERGODIC DECOMPOSITIONS
POINTWISE DIMENSION AND ERGODIC DECOMPOSITIONS LUIS BARREIRA AND CHRISTIAN WOLF Abstract. We study the Hausdorff dimension and the pointwise dimension of measures that are not necessarily ergodic. In particular,
More informationNOTIONS OF DIMENSION
NOTIONS OF DIENSION BENJAIN A. STEINHURST A quick overview of some basic notions of dimension for a summer REU program run at UConn in 200 with a view towards using dimension as a tool in attempting to
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 informationInvariant measures for iterated function systems
ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution
More informationDYNAMICAL SYSTEMS PROBLEMS. asgor/ (1) Which of the following maps are topologically transitive (minimal,
DYNAMICAL SYSTEMS PROBLEMS http://www.math.uci.edu/ asgor/ (1) Which of the following maps are topologically transitive (minimal, topologically mixing)? identity map on a circle; irrational rotation of
More informationThree hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00
Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the
More informationMultifractal analysis of Bernoulli convolutions associated with Salem numbers
Multifractal analysis of Bernoulli convolutions associated with Salem numbers De-Jun Feng The Chinese University of Hong Kong Fractals and Related Fields II, Porquerolles - France, June 13th-17th 2011
More informationDiophantine approximation of beta expansion in parameter space
Diophantine approximation of beta expansion in parameter space Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Fields, France 19-25, September 2015 Outline 1 Background
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More informationSETS OF NON-TYPICAL POINTS HAVE FULL TOPOLOGICAL ENTROPY AND FULL HAUSDORFF DIMENSION
Israel J. Math. 116 (2000), 29 70. SETS OF NON-TYPICAL POINTS HAVE FULL TOPOLOGICAL ENTROPY AND FULL HAUSDORFF DIMENSION LUIS BARREIRA AND JÖRG SCHMELING Abstract. For subshifts of finite type, conformal
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
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 informationMULTIFRACTAL ANALYSIS OF NON-UNIFORMLY HYPERBOLIC SYSTEMS
MULTIFRACTAL ANALYSIS OF NON-UNIFORMLY HYPERBOLIC SYSTEMS A. JOHANSSON, T.M. JORDAN, A. ÖBERG AND M. POLLICOTT Abstract. We prove a multifractal formalism for Birkhoff averages of continuous functions
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 informationSelf-similar Fractals: Projections, Sections and Percolation
Self-similar Fractals: Projections, Sections and Percolation University of St Andrews, Scotland, UK Summary Self-similar sets Hausdorff dimension Projections Fractal percolation Sections or slices Projections
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationdynamical Diophantine approximation
Dioph. Appro. Dynamical Dioph. Appro. in dynamical Diophantine approximation WANG Bao-Wei Huazhong University of Science and Technology Joint with Zhang Guo-Hua Central China Normal University 24-28 July
More informationNonadditive Measure-theoretic Pressure and Applications to Dimensions of an Ergodic Measure
Nonadditive Measure-theoretic Pressure and Applications to Dimensions of an Ergodic Measure Yongluo Cao, Huyi Hu and Yun Zhao, Department of Mathematics, Soochow University, Suzhou 25006, Jiangsu, P.R.China
More informationRigorous approximation of invariant measures for IFS Joint work April 8, with 2016 S. 1 Galat / 21
Rigorous approximation of invariant measures for IFS Joint work with S. Galatolo e I. Nisoli Maurizio Monge maurizio.monge@im.ufrj.br Universidade Federal do Rio de Janeiro April 8, 2016 Rigorous approximation
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 informationMoreover, µ is monotone, that is for any A B which are both elements of A we have
FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from
More informationA topological semigroup structure on the space of actions modulo weak equivalence.
A topological semigroup structure on the space of actions modulo wea equivalence. Peter Burton January 8, 08 Abstract We introduce a topology on the space of actions modulo wea equivalence finer than the
More informationA DIMENSION RESULT ARISING FROM THE L q -SPECTRUM OF A MEASURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 10, October 1997, Pages 2943 2951 S 0002-9939(97)03974-9 A DIMENSION RESULT ARISING FROM THE L q -SPECTRUM OF A MEASURE SZE-MAN NGAI
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 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 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 informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationLINEAR CHAOS? Nathan S. Feldman
LINEAR CHAOS? Nathan S. Feldman In this article we hope to convience the reader that the dynamics of linear operators can be fantastically complex and that linear dynamics exhibits the same beauty and
More informationarxiv: v1 [math.ds] 31 Jul 2018
arxiv:1807.11801v1 [math.ds] 31 Jul 2018 On the interior of projections of planar self-similar sets YUKI TAKAHASHI Abstract. We consider projections of planar self-similar sets, and show that one can create
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
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 informationUniversity of York. Extremality and dynamically defined measures. David Simmons. Diophantine preliminaries. First results. Main results.
University of York 1 2 3 4 Quasi-decaying References T. Das, L. Fishman, D. S., M. Urbański,, I: properties of quasi-decaying, http://arxiv.org/abs/1504.04778, preprint 2015.,, II: Measures from conformal
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationFilters in Analysis and Topology
Filters in Analysis and Topology David MacIver July 1, 2004 Abstract The study of filters is a very natural way to talk about convergence in an arbitrary topological space, and carries over nicely into
More informationSYMBOLIC DYNAMICS FOR HYPERBOLIC SYSTEMS. 1. Introduction (30min) We want to find simple models for uniformly hyperbolic systems, such as for:
SYMBOLIC DYNAMICS FOR HYPERBOLIC SYSTEMS YURI LIMA 1. Introduction (30min) We want to find simple models for uniformly hyperbolic systems, such as for: [ ] 2 1 Hyperbolic toral automorphisms, e.g. f A
More informationDIMENSION OF NON-CONFORMAL REPELLERS: A SURVEY
DIMENSION OF NON-CONFORMAL REPELLERS: A SURVEY JIANYU CHEN AND YAKOV PESIN Abstract. This article is a survey of recent results on dimension of repellers for expanding maps and limit sets for iterated
More informationQuantitative recurrence for beta expansion. Wang BaoWei
Introduction Further study Quantitative recurrence for beta expansion Huazhong University of Science and Technology July 8 2010 Introduction Further study Contents 1 Introduction Background Beta expansion
More informationMULTIFRACTAL ANALYSIS OF CONFORMAL AXIOM A FLOWS
MULTIFRACTAL ANALYSIS OF CONFORMAL AXIOM A FLOWS YA. B. PESIN, V. SADOVSKAYA Abstract. We develop the multifractal analysis of conformal axiom A flows. This includes the study of the Hausdorff dimension
More informationWeak Mean Stability in Random Holomorphic Dynamical Systems Hiroki Sumi Graduate School of Human and Environmental Studies Kyoto University Japan
Weak Mean Stability in Random Holomorphic Dynamical Systems Hiroki Sumi Graduate School of Human and Environmental Studies Kyoto University Japan E-mail: sumi@math.h.kyoto-u.ac.jp http://www.math.h.kyoto-u.ac.jp/
More informationVARIATIONAL PRINCIPLE FOR THE ENTROPY
VARIATIONAL PRINCIPLE FOR THE ENTROPY LUCIAN RADU. Metric entropy Let (X, B, µ a measure space and I a countable family of indices. Definition. We say that ξ = {C i : i I} B is a measurable partition if:
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationQUASI-LIPSCHITZ EQUIVALENCE OF SUBSETS OF AHLFORS DAVID REGULAR SETS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 39, 2014, 759 769 QUASI-LIPSCHITZ EQUIVALENCE OF SUBSETS OF AHLFORS DAVID REGULAR SETS Qiuli Guo, Hao Li and Qin Wang Zhejiang Wanli University,
More informationDigit Frequencies and Bernoulli Convolutions
Digit Frequencies and Bernoulli Convolutions Tom Kempton November 22, 202 arxiv:2.5023v [math.ds] 2 Nov 202 Abstract It is well known that the Bernoulli convolution ν associated to the golden mean has
More informationHAUSDORFF DIMENSION OF MEASURES VIA POINCARÉ RECURRENCE
HAUSDORFF DIMENSION OF MEASURES VIA POINCARÉ RECURRENCE L. BARREIRA AND B. SAUSSOL Abstract. We study the quantitative behavior of Poincaré recurrence. In particular, for an equilibrium measure on a locally
More informationAN EXPLORATION OF FRACTAL DIMENSION. Dolav Cohen. B.S., California State University, Chico, 2010 A REPORT
AN EXPLORATION OF FRACTAL DIMENSION by Dolav Cohen B.S., California State University, Chico, 2010 A REPORT submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE Department
More informationON NATURAL INVARIANT MEASURES ON GENERALISED ITERATED FUNCTION SYSTEMS
ON NATURAL INVARIANT MEASURES ON GENERALISED ITERATED FUNCTION SYSTEMS ANTTI KÄENMÄKI Abstract. We consider the limit set of generalised iterated function systems. Under the assumption of a natural potential,
More informationIndependent random variables
CHAPTER 2 Independent random variables 2.1. Product measures Definition 2.1. Let µ i be measures on (Ω i,f i ), 1 i n. Let F F 1... F n be the sigma algebra of subsets of Ω : Ω 1... Ω n generated by all
More informationABSOLUTE CONTINUITY FOR RANDOM ITERATED FUNCTION SYSTEMS WITH OVERLAPS
ABSOLUTE CONTINUITY FOR RANDOM ITERATED FUNCTION SYSTEMS WITH OVERLAPS YUVAL PERES, KÁROLY SIMON, AND BORIS SOLOMYAK Abstract. We consider linear iterated function systems with a random multiplicative
More informationAppendix B Convex analysis
This version: 28/02/2014 Appendix B Convex analysis In this appendix we review a few basic notions of convexity and related notions that will be important for us at various times. B.1 The Hausdorff distance
More informationINTRODUCTION TO FRACTAL GEOMETRY
Every mathematical theory, however abstract, is inspired by some idea coming in our mind from the observation of nature, and has some application to our world, even if very unexpected ones and lying centuries
More informationMeasures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.
Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation
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 informationThe Hausdorff Measure of the Attractor of an Iterated Function System with Parameter
ISSN 1479-3889 (print), 1479-3897 (online) International Journal of Nonlinear Science Vol. 3 (2007) No. 2, pp. 150-154 The Hausdorff Measure of the Attractor of an Iterated Function System with Parameter
More informationl(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 informationINTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE
INTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE BEN CALL Abstract. In this paper, we introduce the rudiments of ergodic theory and entropy necessary to study Rudolph s partial solution to the 2 3 problem
More informationProof: The coding of T (x) is the left shift of the coding of x. φ(t x) n = L if T n+1 (x) L
Lecture 24: Defn: Topological conjugacy: Given Z + d (resp, Zd ), actions T, S a topological conjugacy from T to S is a homeomorphism φ : M N s.t. φ T = S φ i.e., φ T n = S n φ for all n Z + d (resp, Zd
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 informationA Tourist s Guide to The General Topology of Dynamical Systems
A Tourist s Guide to The General Topology of Dynamical Systems Graduate Studies in Mathematics, V. 1, American Mathematical Society Providence, R.I. Ethan Akin Mathematics Department The City College 137
More information10. The ergodic theory of hyperbolic dynamical systems
10. The ergodic theory of hyperbolic dynamical systems 10.1 Introduction In Lecture 8 we studied thermodynamic formalism for shifts of finite type by defining a suitable transfer operator acting on a certain
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 informationCONTINUITY OF SUBADDITIVE PRESSURE FOR SELF-AFFINE SETS
RESEARCH Real Analysis Exchange Vol. 34(2), 2008/2009, pp. 1 16 Kenneth Falconer, Mathematical Institute, University of St Andrews, North Haugh, St Andrews KY16 9SS, Scotland. email: kjf@st-and.ac.uk Arron
More informationEFFECTIVE FRACTAL DIMENSIONS
EFFECTIVE FRACTAL DIMENSIONS Jack H. Lutz Iowa State University Copyright c Jack H. Lutz, 2011. All rights reserved. Lectures 1. Classical and Constructive Fractal Dimensions 2. Dimensions of Points in
More informationUPPER AND LOWER HENSTOCK INTEGRALS
RESEARCH Real Analysis Exchange Vol. 22(2), 1996-97, pp. 734 739 Lee Peng Yee and Zhao ongsheng, ivision of Mathematics, School of Science, National Institute of Education, Singapore 259756 e-mail: zhaod@am.nie.ac.sg
More informationHausdorff Measures and Perfect Subsets How random are sequences of positive dimension?
Hausdorff Measures and Perfect Subsets How random are sequences of positive dimension? Jan Reimann Institut für Informatik, Universität Heidelberg Hausdorff Measures and Perfect Subsets p.1/18 Hausdorff
More informationNonarchimedean Cantor set and string
J fixed point theory appl Online First c 2008 Birkhäuser Verlag Basel/Switzerland DOI 101007/s11784-008-0062-9 Journal of Fixed Point Theory and Applications Nonarchimedean Cantor set and string Michel
More informationHomework 1 Real Analysis
Homework 1 Real Analysis Joshua Ruiter March 23, 2018 Note on notation: When I use the symbol, it does not imply that the subset is proper. In writing A X, I mean only that a A = a X, leaving open the
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationOn some non-conformal fractals
On some non-conformal fractals arxiv:1004.3510v1 [math.ds] 20 Apr 2010 Micha l Rams Institute of Mathematics, Polish Academy of Sciences ul. Śniadeckich 8, 00-950 Warszawa, Poland e-mail: rams@impan.gov.pl
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 informationWavelets and Fractals
Wavelets and Fractals Bikramjit Singh Walia Samir Kagadkar Shreyash Gupta 1 Self-similar sets The best way to study any physical problem with known symmetry is to build a functional basis with symmetry
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
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 information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationMath212a1411 Lebesgue measure.
Math212a1411 Lebesgue measure. October 14, 2014 Reminder No class this Thursday Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous
More informationNOTES ON BARNSLEY FERN
NOTES ON BARNSLEY FERN ERIC MARTIN 1. Affine transformations An affine transformation on the plane is a mapping T that preserves collinearity and ratios of distances: given two points A and B, if C is
More informationOn the Hausdorff Dimension of Fat Generalised Hyperbolic Attractors
On the Hausdorff Dimension of Fat Generalised Hyperbolic Attractors Persson, Tomas Published in: Preprints in Mathematical Sciences 2008 Link to publication Citation for published version (APA): Persson,
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More information(2) E M = E C = X\E M
10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to
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 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 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 informationCones of measures. Tatiana Toro. University of Washington. Quantitative and Computational Aspects of Metric Geometry
Cones of measures Tatiana Toro University of Washington Quantitative and Computational Aspects of Metric Geometry Based on joint work with C. Kenig and D. Preiss Tatiana Toro (University of Washington)
More informationMULTIFRACTAL FORMALISM DERIVED FROM THERMODYNAMICS
MULTIFRACTAL FORMALISM DERIVED FROM THERMODYNAMICS VAUGHN CLIMENHAGA Abstract. We show that under quite general conditions, various multifractal spectra may be obtained as Legendre transforms of functions
More informationLyapunov optimizing measures for C 1 expanding maps of the circle
Lyapunov optimizing measures for C 1 expanding maps of the circle Oliver Jenkinson and Ian D. Morris Abstract. For a generic C 1 expanding map of the circle, the Lyapunov maximizing measure is unique,
More informationKolmogorov Complexity and Diophantine Approximation
Kolmogorov Complexity and Diophantine Approximation Jan Reimann Institut für Informatik Universität Heidelberg Kolmogorov Complexity and Diophantine Approximation p. 1/24 Algorithmic Information Theory
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationApril 13, We now extend the structure of the horseshoe to more general kinds of invariant. x (v) λ n v.
April 3, 005 - Hyperbolic Sets We now extend the structure of the horseshoe to more general kinds of invariant sets. Let r, and let f D r (M) where M is a Riemannian manifold. A compact f invariant set
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More information