Approximation Properties on Invariant Measure and Oseledec Splitting in Non-Uniformly Hyperbolic Systems

Total Page:16

File Type:pdf, Size:1020Kb

Approximation Properties on Invariant Measure and Oseledec Splitting in Non-Uniformly Hyperbolic Systems TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 361, Number 3, March 2009, Pages 1543–1579 S 0002-9947(08)04630-8 Article electronically published on October 21, 2008 APPROXIMATION PROPERTIES ON INVARIANT MEASURE AND OSELEDEC SPLITTING IN NON-UNIFORMLY HYPERBOLIC SYSTEMS CHAO LIANG, GENG LIU, AND WENXIANG SUN Abstract. We prove that each invariant measure in a non-uniformly hyper- bolic system can be approximated by atomic measures on hyperbolic periodic orbits. This contributes to our main result that the mean angle (Definition 1.10), independence number (Definition 1.6) and Oseledec splitting for an er- godic hyperbolic measure with simple spectrum can be approximated by those for atomic measures on hyperbolic periodic orbits, respectively. Combining this result with the approximation property of Lyapunov exponents by Wang and Sun, 2005 (Theorem 1.9), we strengthen Katok’s closing lemma (1980) by presenting more extensive information not only about the state system but also its linearization. In the present paper, we also study an ergodic theorem and a variational principle for mean angle, independence number and Liao’s style number (Def- inition 1.3) which are bases for discussing the approximation properties in the main result. 1. Introduction Let f : M → M be a C1 diffeomorphism of a compact smooth Riemannian manifold M and let Df : TM → TM be the tangent map on the tangent bundle ≤ ≤ U # TM. For any integer ,1 dimM = d, we construct a bundle (M)= U # x∈M (x)of-frames, where the fiber over x is U # { ∈ × ×···× | (x)= α =(u1,u2,...,u) TxM TxM TxM ui =1,i=1, ..., , and u1,u2,...,u are linearly independent vectors}. V# V# Set (M)= x∈M (x), where the fiber over x is V# { ∈ × ×···× | (x)= α =(u1,u2,...,u) TxM TxM TxM ui =1,i=1, ..., , and u1,u2,...,u are linearly dependent vectors}. # U # ∪V# # Let L (M):= (M) (M); then L (M) forms a compact metric space. Let # → π : L (M) M be the natural bundle projection. The tangent map Df induces Received by the editors March 2, 2007. 2000 Mathematics Subject Classification. Primary 37C40, 37D25, 37H15, 37A35. Key words and phrases. Independence number, invariant measure, mean angle. The first and second authors were supported by NNSFC(# 10671006). The third author was supported by NNSFC (# 10231020, # 10671006), the National Ba- sic Research Program of China (973 Program)(# 2006CB805900) and the Doctoral Education Foundation of China. c 2008 American Mathematical Society Reverts to public domain 28 years from publication 1543 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1544 CHAO LIANG, GENG LIU, AND WENXIANG SUN # # amapD f on L (M): # # → # D f : L (M) L (M), # Df(u1) Df(u2) Df(u) D f(u1,u2,...,u)=( , ,..., ). Df(u1) Df(u2) Df(u) It is clear that π ◦ D#f = f ◦ π. − ∈U# ∈ For an frame α =(u1,u2, ..., u) (x)atapointx M, we define Vol(α)=Vol(u1,u2, ..., u) as the volume of the parallelepiped generated by the vectors u1,u2, ..., u. More precisely, we choose an orthonormal −frame β = (w1,w2, ..., w),wi ∈ TxM, i =1, ..., , which generates the same linear subspace of TxM as α does, and we take a unique × matrix A with α = βA. Then we define the volume of α by Vol(α):=|det A|. We remark that the volume Vol(α) does not depend on the choice of β,sincethe determinate of a transition matrix between two orthonormal frames is ±1. Hence, Vol(α) is well defined. ∈U# ∈ Definition 1.1 ([6]). Aframeα =(u1,u2, ..., u) (x),x M, is called positive mean linearly independent if there is >0 such that the characteristic function χα on the set {n ∈ Z+ | Vol(D#f n(α)) ≥ } has positive time mean; that is, 1 n−1 lim → ∞ Σ χ (i) > 0. n + n i=0 α If for any positive number , the above supper limit is zero, α is called positive mean # i linearly dependent. Sometimes we write χα(i)asχα(D f ) to emphasize the i−th iteration of D#f. Similarly, one can define negative mean linear independence and dependence by using the negative time mean 1 n−1 # i lim →−∞ Σ χ (D f ). n |n| i=0 α ∈U# · · Let α =(u1, ..., u) . Denote by A(α)thematrix(ui,uj )×, where , is the inner product induced by the Riemannian metric. Let σ(α)denotetheset of all eigenvalues of A(α)andletτ(α) be the smallest eigenvalue. Note that A(α) is a real positive-definite symmetric matrix, therefore, σ(α) ⊂ (0, +∞). Now we give an alternative description of mean linear independence considering the average change of τ(α) over time instead of that of Vol(α) (for the equivalence of these two definitions see Proposition 2.3). ∈U# Definition 1.2. Aframeα is positive mean linearly independent if and only if 1 n−1 # i lim → ∞ Σ τ(D f α) > 0. n + n i=0 It is negative mean linearly independent if and only if 1 n−1 # i lim →−∞ Σ τ(D f α) > 0. n |n| i=0 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use APPROXIMATION PROPERTIES ON INVARIANT MEASURE 1545 Let X be a metric space. We denote by Cb(X, R) the set of all bounded con- tinuous functions on X. Given a continuous map g : X → X,wedenoteby Merg(X, g)thesetofallg−invariant and ergodic measures. Then we define for m ∈Merg(X, g), { ∈ | 1 n−1 i 1 n−1 i Qm(X, g):= x X lim Σi=0 φ(g (x)) = lim Σi=0 φ(g (x)) n→+∞ n n→−∞ n = φdm, ∀φ ∈ Cb(X, R)}. X We call Qm(X, g) the basin of m. By the Birkhoff Ergodic Theorem Qm(X, g)is b an m−full measure set and g(Qm(X, g)) = Qm(X, g). We can replace C (X, R)by 0 C (X, R), the set of all continuous functions on X,inQm when X is compact. Definition 1.3. (1) Let x ∈ M and set ∗ { |∃ ∈U# } k+(x):=max α (x), s.t.α is positive mean linearly independent and ∗ { |∃ ∈U# } k−(x):=max α (x), s.t.α is negative mean linearly independent . ∗ ∗ We call k+(x)andk−(x) the positive and the negative style number of f at x, respectively. ⊂ − ∗ (2) Let F M be an f invariant subset. The positive style number k+(F )and ∗ thenegativestylenumberk−(F )ofF are defined as ∗ ∗ ∗ ∗ k+(F ):=supk+(x)andk−(F ):=supk−(x), x∈F x∈F respectively. The style number k∗(F )ofF is defined by ∗ { ∗ ∗ } k (F ):=max k+(F ),k−(F ) . (3) Let m ∈Merg(M,f). The positive style number, the negative style number and the style number of m are given by, respectively, ∗ ∗ ∗ ∗ k+(m):=k+(Qm(M,f)),k−(m):=k−(Qm(M,f)) and ∗ { ∗ ∗ } k (m):=max k+(m),k−(m) . Definition 1.3 (1)(2) are the diffeomorphism version of Liao’s style number in [6]. Definition 1.3 (3), adapted by Dai [2], is a special case of Definition 1.3 (2) with F = Qm(M,f). One may replace Qm(M,f) by any invariant subset of m−total measure, for instance, Qm(M,f) ∩ supp(m), where supp(m) denotes the support of m. The following is the diffeomorphism version of the main theorem concerning style number in [6]. Theorem 1.4 ([6]). Let f : M → M be a C1 diffeomorphism of a compact smooth Riemannian manifold and let F ⊂ M be a closed f−invariant set. Then ∗ ∗ ∗ (1) k−(F )=k+(F )=k (F ) k. ∈ ∈U# − (2) There is x M and α k (x) such that the orbit Orb(x) is f recurrent and 1 n−1 # i 1 n−1 # i lim limn→+∞ Σ χα(D f ) = lim limn→−∞ Σ χα(D f )=1. →0 n i=0 →0 |n| i=0 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1546 CHAO LIANG, GENG LIU, AND WENXIANG SUN One result in the present paper is an ergodic theorem (Theorem 1.5) about mean linear independence and style number. Note that the basin of a given ergodic measure is contained in the Birkhoff center ([8], [19] and [20]) and thus always contains recurrent orbits. Hence Theorem 1.5 is a generalization of Theorem 1.4. Moreover, the upper limit in Theorem 1.4 could be exactly the limit. Theorem 1.5. Let f : M → M be a C1 diffeomorphism of a compact smooth Riemannian manifold. Let m ∈Merg(M,f). Then (1) ∗ ∗ ∗ ∗ k−(x)=k−(m),k+(x)=k+(m), for m − a.e. x ∈ M and ∗ ∗ ∗ k−(m)=k+(m)=k (m) k. − ∈ − ∈U# (2) For m a.e. x M there is an orthonormal k frame α k (x) such that 1 n−1 # i 1 n−1 # i (1.1) lim lim Σ χα(D f ) = lim lim Σ χα(D f )=1. →0 n→+∞ n i=0 →0 n→−∞ |n| i=0 ∈M U # # ∈U# (3) There exists µ erg( k ,D f),π∗(µ)=m, such that the set of all α k satisfying (1.1) is µ−full measure. ∈U# Definition 1.6. (1) Let α . We call the supper limit 1 n−1 # i τ˜(α):=lim → ∞ Σ τ(D f α) n + n i=0 the independence number for α. M U # # ∅ ∈M U # # (2) If erg( ,D f) = , we define for µ erg( ,D f) { | ∈ U # # } τ˜(µ):=sup τ˜(α) α Qµ( ,D f) and callτ ˜(µ)theindependence number for µ.
Recommended publications
  • An Introduction to Random Walks on Groups
    An introduction to random walks on groups Jean-Fran¸coisQuint School on Information and Randomness, Puerto Varas, December 2014 Contents 1 Locally compact groups and Haar measure 2 2 Amenable groups 4 3 Invariant means 9 4 Almost invariant vectors 13 5 Random walks and amenable groups 15 6 Growth of groups 18 7 Speed of escape 21 8 Subgroups of SL2(R) 24 1 In these notes, we will study a basic question from the theory of random walks on groups: given a random walk e; g1; g2g1; : : : ; gn ··· g1;::: on a group G, we will give a criterion for the trajectories to go to infinity with linear speed (for a notion of speed which has to be defined). We will see that this property is related to the notion of amenability of groups: this is a fun- damental theorem which was proved by Kesten in the case of discrete groups and extended to the case of continuous groups by Berg and Christensen. We will give examples of this behaviour for random walks on SL2(R). 1 Locally compact groups and Haar measure In order to define random walks on groups, I need to consider probability measures on groups, which will be the distribution of the random walks. When the group is discrete, there is no technical difficulty: a probability measure is a function from the group to [0; 1], the sum of whose values is one. But I also want to consider non discrete groups, such as vector spaces, groups of matrices, groups of automorphisms of trees, etc.
    [Show full text]
  • Integral Geometry – Measure Theoretic Approach and Stochastic Applications
    Integral geometry – measure theoretic approach and stochastic applications Rolf Schneider Preface Integral geometry, as it is understood here, deals with the computation and application of geometric mean values with respect to invariant measures. In the following, I want to give an introduction to the integral geometry of polyconvex sets (i.e., finite unions of compact convex sets) in Euclidean spaces. The invariant or Haar measures that occur will therefore be those on the groups of translations, rotations, or rigid motions of Euclidean space, and on the affine Grassmannians of k-dimensional affine subspaces. How- ever, it is also in a different sense that invariant measures will play a central role, namely in the form of finitely additive functions on polyconvex sets. Such functions have been called additive functionals or valuations in the literature, and their motion invariant specializations, now called intrinsic volumes, have played an essential role in Hadwiger’s [2] and later work (e.g., [8]) on integral geometry. More recently, the importance of these functionals for integral geometry has been rediscovered by Rota [5] and Klain-Rota [4], who called them ‘measures’ and emphasized their role in certain parts of geometric probability. We will, more generally, deal with local versions of the intrinsic volumes, the curvature measures, and derive integral-geometric results for them. This is the third aspect of the measure theoretic approach mentioned in the title. A particular feature of this approach is the essential role that uniqueness results for invariant measures play in the proofs. As prerequisites, we assume some familiarity with basic facts from mea- sure and integration theory.
    [Show full text]
  • 3. Invariant Measures
    MAGIC010 Ergodic Theory Lecture 3 3. Invariant measures x3.1 Introduction In Lecture 1 we remarked that ergodic theory is the study of the qualitative distributional properties of typical orbits of a dynamical system and that these properties are expressed in terms of measure theory. Measure theory therefore lies at the heart of ergodic theory. However, we will not need to know the (many!) intricacies of measure theory. We will give a brief overview of the basics of measure theory, before studying invariant measures. In the next lecture we then go on to study ergodic measures. x3.2 Measure spaces We will need to recall some basic definitions and facts from measure theory. Definition. Let X be a set. A collection B of subsets of X is called a σ-algebra if: (i) ; 2 B, (ii) if A 2 B then X n A 2 B, (iii) if An 2 B, n = 1; 2; 3;:::, is a countable sequence of sets in B then S1 their union n=1 An 2 B. Remark Clearly, if B is a σ-algebra then X 2 B. It is easy to see that if B is a σ-algebra then B is also closed under taking countable intersections. Examples. 1. The trivial σ-algebra is given by B = f;;Xg. 2. The full σ-algebra is given by B = P(X), i.e. the collection of all subsets of X. 3. Let X be a compact metric space. The Borel σ-algebra is the small- est σ-algebra that contains every open subset of X.
    [Show full text]
  • Statistical Properties of Dynamical Systems - Simulation and Abstract Computation
    Statistical properties of dynamical systems - simulation and abstract computation. Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas To cite this version: Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas. Statistical properties of dynamical systems - simulation and abstract computation.. Chaos, Solitons and Fractals, Elsevier, 2012, 45 (1), pp.1-14. 10.1016/j.chaos.2011.09.011. hal-00644790 HAL Id: hal-00644790 https://hal.inria.fr/hal-00644790 Submitted on 25 Nov 2011 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Statistical properties of dynamical systems { simulation and abstract computation. Stefano Galatolo Mathieu Hoyrup Universita di Pisa LORIA - INRIA Crist´obalRojas Universidad Andres Bello October 11, 2011 Abstract We survey an area of recent development, relating dynamics to the- oretical computer science. We discuss some aspects of the theoretical simulation and computation of the long term behavior of dynamical sys- tems. We will focus on the statistical limiting behavior and invariant measures. We present a general method allowing the algorithmic approx- imation at any given accuracy of invariant measures. The method can be applied in many interesting cases, as we shall explain. On the other hand, we exhibit some examples where the algorithmic approximation of invariant measures is not possible.
    [Show full text]
  • Invariant Measures for Set-Valued Dynamical Systems
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 351, Number 3, March 1999, Pages 1203{1225 S 0002-9947(99)02424-1 INVARIANT MEASURES FOR SET-VALUED DYNAMICAL SYSTEMS WALTER MILLER AND ETHAN AKIN Abstract. A continuous map on a compact metric space, regarded as a dy- namical system by iteration, admits invariant measures. For a closed relation on such a space, or, equivalently, an upper semicontinuous set-valued map, there are several concepts which extend this idea of invariance for a measure. We prove that four such are equivalent. In particular, such relation invari- ant measures arise as projections from shift invariant measures on the space of sample paths. There is a similarly close relationship between the ideas of chain recurrence for the set-valued system and for the shift on the sample path space. 1. Introduction All our spaces will be nonempty, compact, metric spaces. For such a space X let P (X) denote the space of Borel probability measures on X with δ : X P (X) → the embedding associating to x X the point measure δx. The support µ of a measure µ in P (X) is the smallest∈ closed subset of measure 1. If f : X | |X is 1 → 2 Borel measurable then the induced map f : P (X1) P (X2) associates to µ the measure f (µ) defined by ∗ → ∗ 1 (1.1) f (µ)(B)=µ(f− (B)) ∗ for all B Borel in X2. We regard a continuous map f on X as a dynamical system by iterating. A measure µ P (X) is called an invariant measure when it is a fixed point for the map f : P (∈X) P (X), i.e.
    [Show full text]
  • Arxiv:1611.00621V1 [Math.DS] 2 Nov 2016
    PROPERTIES OF INVARIANT MEASURES IN DYNAMICAL SYSTEMS WITH THE SHADOWING PROPERTY JIAN LI AND PIOTR OPROCHA ABSTRACT. For dynamical systems with the shadowing property, we provide a method of approximation of invariant measures by ergodic measures supported on odometers and their almost 1-1 extensions. For a topologically transitive system with the shadowing prop- erty, we show that ergodic measures supported on odometers are dense in the space of in- variant measures, and then ergodic measures are generic in the space of invariant measures. We also show that for every c ≥ 0 and e > 0 the collection of ergodic measures (supported on almost 1-1 extensions of odometers) with entropy between c and c + e is dense in the space of invariant measures with entropy at least c. Moreover, if in addition the entropy function is upper semi-continuous, then for every c ≥ 0 ergodic measures with entropy c are generic in the space of invariant measures with entropy at least c. 1. INTRODUCTION The concepts of the specification and shadowing properties were born during studies on topological and measure-theoretic properties of Axiom A diffeomorphisms (see [3] and [4] by Rufus Bowen, who was motivated by some earlier works of Anosov and Sinai). Later it turned out that there are many very strong connections between specification properties and the structure of the space of invariant measures. For example in [32, 33], Sigmund showed that if a dynamical system has the periodic specification property, then: the set of measures supported on periodic points is dense in the space of invariant measures; the set of ergodic measures, the set of non-atomic measures, the set of measures positive on all open sets, and the set of measures vanishing on all proper closed invariant subsets are complements of sets of first category in the space of invariant measures; the set of strongly mixing measures is a set of first category in the space of invariant measures.
    [Show full text]
  • Dynamical Systems and Ergodic Theory
    MATH36206 - MATHM6206 Dynamical Systems and Ergodic Theory Teaching Block 1, 2017/18 Lecturer: Prof. Alexander Gorodnik PART III: LECTURES 16{30 course web site: people.maths.bris.ac.uk/∼mazag/ds17/ Copyright c University of Bristol 2010 & 2016. This material is copyright of the University. It is provided exclusively for educational purposes at the University and is to be downloaded or copied for your private study only. Chapter 3 Ergodic Theory In this last part of our course we will introduce the main ideas and concepts in ergodic theory. Ergodic theory is a branch of dynamical systems which has strict connections with analysis and probability theory. The discrete dynamical systems f : X X studied in topological dynamics were continuous maps f on metric spaces X (or more in general, topological→ spaces). In ergodic theory, f : X X will be a measure-preserving map on a measure space X (we will see the corresponding definitions below).→ While the focus in topological dynamics was to understand the qualitative behavior (for example, periodicity or density) of all orbits, in ergodic theory we will not study all orbits, but only typical1 orbits, but will investigate more quantitative dynamical properties, as frequencies of visits, equidistribution and mixing. An example of a basic question studied in ergodic theory is the following. Let A X be a subset of O+ ⊂ the space X. Consider the visits of an orbit f (x) to the set A. If we consider a finite orbit segment x, f(x),...,f n−1(x) , the number of visits to A up to time n is given by { } Card 0 k n 1, f k(x) A .
    [Show full text]
  • Entropy in Dynamical Systems, by Tomasz Downarowicz, New Mathematical Mono- Graphs, Vol
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 51, Number 4, October 2014, Pages 669–674 S 0273-0979(2014)01445-4 Article electronically published on May 13, 2014 Entropy in dynamical systems, by Tomasz Downarowicz, New Mathematical Mono- graphs, Vol. 18, Cambridge University Press, Cambridge, 2011, xii+391 pp., ISBN 978-0-521-88885-1, US $101.00 Since the introduction of dynamical entropy by Kolmogorov in 1958 [Ko58], entropy has played a central role in dynamics. Today there are many branches of active research in this area. The reader is encouraged to peruse [Ka07] for a more complete survey. 1. Measure entropy Let us begin with a brief review of measure-theoretic entropy. Imagine you are observing some dynamical system by making and recording observations at equal time intervals, say at integer times. Because your measuring instruments and recording devices have finite capacity, each individual observation can be encoded by a symbol from a fixed finite alphabet. So when you finish observing, a sequence of symbols from a finite alphabet is produced that represents all the information collected. This process is called digitalization. Now let us introduce some mathematical formalism. The set of all possible states of the dynamical system is represented by a probability space (X, μ). We assume that our system is deterministic, which implies the existence of a transformation T : X → X representing time (so if x is the present state, then Tx is the state one moment into the future). We also assume our system is in equilibrium, which means T preserves the measure μ.Anobservable is a measurable map φ from X to a finite alphabet A.
    [Show full text]
  • Invariant Measure of Duplicated Diffusions and Application to Richardson–Romberg Extrapolation
    Annales de l’Institut Henri Poincaré - Probabilités et Statistiques 2015, Vol. 51, No. 4, 1562–1596 DOI: 10.1214/13-AIHP591 © Association des Publications de l’Institut Henri Poincaré, 2015 www.imstat.org/aihp Invariant measure of duplicated diffusions and application to Richardson–Romberg extrapolation Vincent Lemairea, Gilles Pagèsa and Fabien Panloupb aLaboratoire de Probabilités et Modèles Aléatoires, UMR 7599, UPMC, Case 188, 4 pl. Jussieu, F-75252 Paris Cedex 5, France. E-mail: [email protected]; [email protected] bInstitut de Mathématiques de Toulouse, Université Paul Sabatier & INSA Toulouse, 135, av. de Rangueil, F-31077 Toulouse Cedex 4, France. E-mail: [email protected] Received 7 February 2013; revised 15 October 2013; accepted 22 October 2013 Abstract. With a view to numerical applications we address the following question: given an ergodic Brownian diffusion with a unique invariant distribution, what are the invariant distributions of the duplicated system consisting of two trajectories? We mainly focus on the interesting case where the two trajectories are driven by the same Brownian path. Under this assumption, we first show that uniqueness of the invariant distribution (weak confluence) of the duplicated system is essentially always true in the one-dimensional case. In the multidimensional case, we begin by exhibiting explicit counter-examples. Then, we provide a series of weak confluence criterions (of integral type) and also of a.s. pathwise confluence, depending on the drift and dif- fusion coefficients through a non-infinitesimal Lyapunov exponent. As examples, we apply our criterions to some non-trivially confluent settings such as classes of gradient systems with non-convex potentials or diffusions where the confluence is gener- ated by the diffusive component.
    [Show full text]
  • Local Entropy Averages and Projections of Fractal Measures
    Annals of Mathematics 175 (2012), 1001{1059 http://dx.doi.org/10.4007/annals.2012.175.3.1 Local entropy averages and projections of fractal measures By Michael Hochman and Pablo Shmerkin Abstract We show that for families of measures on Euclidean space which sat- isfy an ergodic-theoretic form of \self-similarity" under the operation of re-scaling, the dimension of linear images of the measure behaves in a semi-continuous way. We apply this to prove the following conjecture of Furstenberg: if X; Y ⊆ [0; 1] are closed and invariant, respectively, under ×m mod 1 and ×n mod 1, where m; n are not powers of the same integer, then, for any t 6= 0, dim(X + tY ) = minf1; dim X + dim Y g: A similar result holds for invariant measures and gives a simple proof of the Rudolph-Johnson theorem. Our methods also apply to many other classes of conformal fractals and measures. As another application, we extend and unify results of Peres, Shmerkin and Nazarov, and of Moreira, concerning projections of products of self-similar measures and Gibbs measures on reg- ular Cantor sets. We show that under natural irreducibility assumptions on the maps in the IFS, the image measure has the maximal possible di- mension under any linear projection other than the coordinate projections. We also present applications to Bernoulli convolutions and to the images of fractal measures under differentiable maps. 1. Introduction 1.1. Background and history. Let dim denote the Hausdorff dimension d of a set and let Πd;k denote the space of orthogonal projections from R to k-dimensional subspaces, with the natural measure.
    [Show full text]
  • 16. Ergodicity
    MATH41112/61112 Ergodic Theory Lecture 16 16. Ergodicity x16.1 Ergodicity In this lecture, we introduce what it means to say that a transformation is ergodic with respect to an invariant measure. Ergodicity is an important concept for many reasons, not least because Birkhoff's Ergodic Theorem holds: Theorem 16.1 Let T be an ergodic transformation of the probability space (X; B; µ) and let f 2 L1(X; B; µ). Then n−1 1 f(T jx) ! f dµ n Xj=0 Z for µ-almost every x 2 X. x16.2 The definition of ergodicity Definition. Let (X; B; µ) be a probability space and let T : X ! X be a measure-preserving transformation. We say that T is an ergodic transfor- mation (or µ is an ergodic measure) if, for B 2 B, T −1B = B ) µ(B) = 0 or 1: Remark. One can view ergodicity as an indecomposability condition. If ergodicity does not hold and we have T −1A = A with 0 < µ(A) < 1, then one can split T : X ! X into T : A ! A and T : X n A ! X n A 1 1 with invariant probability measures µ(A) µ(· \ A) and 1−µ(A) µ(· \ (X n A)), respectively. It will sometimes be convenient for us to weaken the condition T −1B = B to µ(T −1B4B) = 0, where 4 denotes the symmetric difference: A4B = (A n B) [ (B n A): The next lemma allows us to do this. Lemma 16.2 −1 −1 If B 2 B satisfies µ(T B4B) = 0 then there exists B1 2 B with T B1 = B1 and µ(B4B1) = 0.
    [Show full text]
  • Mathematical Physics © Springer-Verlag 1994
    Cθmmun. Math. Phys. ,66, 1 -26 (1994) Communications h Mathematical Physics © Springer-Verlag 1994 Periodic Nonlinear Schrδdinger Equation and Invariant Measures J. Bourgain I.H.E.S., 35, route de Chartres, F-911440 Bures-sur-Yvette, France Received: 27 October 1993/in revised form: 21 June 1994 Abstract: In this paper we continue some investigations on the periodic NLSE p 2 ίut + uxx + u\u\ ~ = 0 (p ^ 6) started in [LRS]. We prove that the equation is globally wellposed for a set of data φ of full normalized Gibbs measure 2 p 2 e-βff(Φ)Hdφ(x)9H(φ) = \ / \φ'\ - ± / \φ\ (after suitable L -truncation). The set and the measure are invariant under the flow. The proof of a similar result for the KdV and modified KdV equations is outlined. The main ingredients used are some estimates from [Bl] on periodic NLS and KdV type equations. 1. Introduction Consider the nonlinear Schrόdinger equation (NLSE) in the space periodic setting iut + KJCC + u\u\p~2 = 0, (1.1) where u is a function on π x IR on π x / (/ = an interval [0,τ]) with an initial condition φ,0) = φ(*), (1-2) where φ is a periodic function of x. Here π stands for the circle, i.e. IR/Z. In the nonperiodic case (replacing π by IR), the Cauchy problem for (1.1)- (1.2) is well understood (see for instance [G-V]). One has a local solution (in the generalized sense) for (1.1) if p - 2 <; ^ and data φ e Hs(l&),s ^ 0. The exponent y^ *s called #5-critical (in 1 space dimension).
    [Show full text]