..+(x) Ul an interval [,81 ,/:12] and for any ,8 outside is empty (i.e., the spectrum is complete). this interval the set (3) For any ,8 E [,81 , ,82 ) there exists an equilibrium measure v corresponding to a Holder continuous function for which v(L13) = 1. Similar statements hold true for dimension spectrum for (negative) Lyapunov exponents off corresponding to negative values of the Lyapunov exponent >..-(x) at points x EA.
Lt
Appendix IV
A General Concept of Multifractal Spectra; Multifractal Rigidity
Multifractal Spectra In Sections 19, 21, and 24 we observed two dimension spectra- the dimension spectrum for pointwise dimensions and the dimension spectrum for Lyapunov exponents. The first one captures information about various dimensions associated with the dynamics (including the Hausdorff dimension, correlation dimension, and information dimension of invariant measures) while the second one yields integrated information on the instability of trajectories. These spectra are examples of so-called multifractal spectra which were introduced by Barreira, Pesin, and Schmeling in [BPS2] in an attempt to obtain a refined quantitative description of various multifractal structures generated by dynamical systems. The formal description follows. Let X be a set, Y c X a subset, and g: Y -7 [-oo, +oo] a function. The level sets
Kg= {x EX: g(x) =a},
-oo
~a~
+oo
are disjoint and produce a multifractal decomposition of X,
X=
u
Kgu.X,
where the set X = X \ Y is called the irregular part. If g is a smooth function on a Euclidean space then the non-empty sets Kg are smooth hypersurfaces except for some critical values a. We will be interested in the case when g is not even a continuous (but Borel) function on a metric space so that Kg may have a very complicated topological structure. Now, let G be a set function, i.e., a real function that is defined on subsets of X. Assume that G(Z1) ~ G(Z2) if Z1 C Z2. We introduce the multifractal spectrum specified by the pair of functions (g, G) (or simply the (g, G)multifractal spectrum) as the function :F· (-oo, +oo]-7IR defined by
F(a)
= G(K~)
The function g generates a special structure on X, called the multifractal structure, and the function :F captures inlportant information about this structure
259
Appendix IV
260
Given a, let
Va
be a probability measure on
Kg.
If
F(a) = inf{G(Z): Z c Kg, va(Z) = 1} then we call v"' a (g, G)-full measure. Constructing a one-parameter family of (g, G)-full probability measures Va seems an effective way of studying multifractal decompositions (see examples of Va-measures below). We consider the case when X is a complete separable metric space. Let f: X --*X be a continuous map. There are two natural set functions on X. The first one is generated by the metric structure on X: Gv(Z) :=: dimH Z,
and the second one is generated by the dynamics on X. GE(Z) :=: hz(f}
Multifractal spectrum generated by the function G v is called the dimension spectrum while multifractal spectrUlll generated by the function GE is called the entropy spectrum. There are also three natural ways to choose the function g. (1) Let J.l be a Borel finite measure on X. Consider the subset Y consisting of all points x E X for which the limit
c
X
d (x) :=:lim log~t(B(x,r)) IJ. r-+0 logr exists (i.e., the lower and upper pointwise dimensions coincide). We set g(x) = d,.(x) ~f gv(x),
X E
Y
This leads to two multifractal spectra Vv = vif> and VE = v~> specified respectively by the pairs of functions (gv,Gv) and (gv,GE)· We call them the multifractal spectra for (pointwise) dimensions (note that Vv is just the /p(a)-spectrum studied before). We stress that these spectra do not depend on the map f. (2) Assume that the measure p, is invariant with respect to f. Consider a finite measurable partition {of X. For every n > 0, we write {n = { V f- 1{ v · · V /-ne, and denote by qn (x) the element of the partition {n that contains the point x. Consider the set Y = Ye c X consisting of all points x E X for which the limit
exists. We call h,.(f,{,x) the local entropy off at the point x (with respect to e). Clearly, y is !-invariant and h,.(f,€,f(x)) = h,.(f,e,x) for every X E Y.
A General Concept of Multifractal Spectra
261
By the Shannon-McMillan -Breiman theorem, tt(Y) = 1. In addition, if generating partition and IL is ergodic then
eis a
for tt-almost all x E X. Set g(x) = h11 (f,e,x) ~t 9E(x),
x E Y.
e.
We emphasize that 9E may depend on We obtain two multifractal spectra t:v = t:ifl and t:E = t:~) specified respectively by the pairs of functions (gE, Gv) and (gE, GE)· These spectra are called multifractal spectra for (local) entropies (see similar approach and discussion in [V2]). These spectra provide integrated information on the deviation of local entropy in the ShannonMcMillan-Breiman theorem from its mean value that is the entropy of the map. (3) Let X be a differentiable manifold and f: X --+ X a C 1-map. Consider the subset Y C X consisting of all points x E X for which the limit .A(x)
= n-++oo lim .!.tog lld,J"II n
exists. The function .>..(x) is measurable and invariant under f. By Kingman's sub-additive ergodic theorem, if J1. is an /-invariant Borel probability measure, then J.t(Y) = 1. We set g(x) = .A(x) ~ gL(x),
xEY
This produces two multifractal spectra Cv and CE specified respectively by the pairs of functions (g L, GD) and (gL, G E). These spectra are called multifractal spectra for Lyapunov exponents. It is worth emphasizing that these spectra do,.not depend on the measure IL· If J1. is ergodic the function .>..(x) is constant almost everywhere. Let .>. 11 denote its value. Multifractal spectra for Lyapunov exponents provide integrated information on the deviation of Lyapunov exponent in Kingman's sub-additive ergodic theorem from its mean value Ap.. We consider some examples. First, we analyze four multifractal spectra Vv, VE, C:v, and t:E for a subshift of finite type (E~, u) Denote by 'P the class of finite partitions of E~ into disjoint cylinder sets (not necessarily all at the same level). Clearly, each E 'P is a generating partition. We use it to define the spectra for entropies cv and t:E.
e
The following theorem establishes the relations between the multifractal spectra for dimensions and entropies.
Theorem A4.1. [BPS2] For every a E IR, we have t:E(a)
= t:v(a) log.B = VE(Oi/log .B) = 'Dv(ajlog .B) log .B
(A4.1)
262
Appendix IV
{recall that {3 > 1 is the C()ejfic1ent in the dp metric on E1; see (A2.18} in Appendz:z: II). In particular, the common value is independent of the partition { E P. Moreover, the multifractal decompositions of the spectra CE, &v, DE, and Dv coincide, i.e., the families of level sets /or these four spectra are equal up to the parametenzations given by (A-/.1).
Proof. Notice that there exist constants C 1 > 0 and C2 > 0 such that Cta-n ::; diamf.n(x) ::; C2a-n
e
for every E P, X E E1, and n ~ 1. If the pointwise dimension dt<(x) or the local entropy hl'(f,t;,x) exists for some x E E~ then h,..(f,t;, x) = lim _.!_logp({n(x)) =log a lim n-+oo n n-+oo
l~~p({n~x~) !am{n X
=log a· dl'(x).
This shows that d,.. (x) exists at a point x if and only if h,.. (f, t;, x) exists. One can also see that hz(f) = dimH Z ·log a for any subset Z c The desired result follows. •
E!
One can now obtain the complete description of all four spectra using Theorem 19.1 (note that the map a is obviously a continuous weakly-conformal expanding map). We observe that these spectra are complete (see Section 21). We describe four multifractal spectra Dv, CE, Cv, and LE for equilibrium measures supported on conformal repellers of smooth expanding maps. Let J be a repeller of a conformal Ol+"'-expanding map f. Consider a Markov partition { of J It is clear that { is a generating partition. The same holds true for any partition of J by rectangles obtained from {(not necessarily all at the same level) and corresponding to disjoint cylinder sets in We denote the class of such partitions by Pt. It is easy to check that x; 1 € E P for every partition t; E P,. Let
E!.
'{JD,q = -Tv(q) log Ia I+ qlog'f/1,
'PE,p = -Ts(p)
+ plog'f/1,
(A4.2)
where the numbers Tv(q) and TE(p) are chosen such that
P(t.pD,q)
= P('PE,p) = 0.
Clearly, TE(p) = P(plog'f/1). As in Section 21 one can show that the functions Tv(q) and TE(P) are real analytic decreasing and convex. Set
The complete description of the spectra Dv and £v is given by Theorems 21.1 and 21 4 and the corresponding multifractal decompositions are (21.18) and (21.25) respectively. Since the coding map preserves the entropy the complete description of the ~pectrum eE follows immediately from Theorem A4.1. More precisely, the following statement holds.
263
A General Concept of Multifractal Spectra
Theorem A4.2. (1) There e:ruts a set S c X with p,(S) = 1 such that for every partition E 'PJ and every X E S, the local entropy of fl. at X exists, does not depend on X and and
e
e,
gs(x) = h,.(f,e,x) = -llog'ifJdft.
(2) The function TE is real analytic, and satisfies T[;(p) :s; 0 and T~(p) ;?: 0 for every p E R. We have TE(O) = hJ(f) and TE(l) = 0. (3) The domain of the function a >-t &s(o:) is a closed interval in [0, +oo) and coincides with the range of the function o:s(p). For every p E IR, we have &E(o:E(P)) = Ts(p)
+ po:E(p).
(4) If fl. is not the measure of maximal entropy then &E and TE are analytic strictly convex functions, and hence (&s, TE) form a Legendre transfer pair with respect to the vanables a., q. (5) If p, is the measure of max~mal entropy then &E is the delta function
( )-{ho
eE a -
ifa.=h if a. =1= h ·
We now give a complete description of the spectrum CE.
Theorem A4.3. [BPS2] For every a. E R we have
where m is the measure of full dimension {see Theorem 20.1}
Proof. Since m is the Gibbs measure corresponding to -slog ial (where s = - dimn J), by Proposition 20.2, for every x = x( i 0 i 1 .•. ) E J we have
Therefore, for every X E J n KgL and hm(f,e,x)
and hence
X
= n-+oo lim _.!.logm(R. n
0
eE 'P,, )
;
=slim _.!.logdiamR;,.
n
E K:f:. This implies that .CE(o:)
n-+oo
n
= e1m) (a.dimn J).
i
=so:
•
Appendix IV
264
Let us notice that the Gibbs measures corresponding to the functions 'PD,q 'PE,p (see (A4.2)) are (g, G)-full measures of the corresponding spectra. It is an open problem to obtain a complete description of the spectra 'DE and &v for equilibrium measures on conformal repellers of smooth expanding maps. and
Irregular Parts of Multifractal Decompositions Consider the set
I= {x E J: lim
n-+oo
.!.s .. g(x) n
does not exist for some g E G(J)}
= J\
U
G,.
I'E!m(J)
where S.. g = :E~:~ go fk (recall that G,. is the set of all forward generic points of the measure p,; see (A2.16); !m(J) is the bet of all Borel ergodic measures on J). This set is called metrically irregular. Note that I has zero measure with respect to any /-invariant measure. In [BS], Barreira and Schmeling demonstrated the surprising phenomenon that the metrically irregular set is observable, i.e., it has full Hausdorff dimension and carries full topological entropy. More precisely, they proved the following result. Theorem A4.4. Let J be a repeller for a Gl+" -conformal expanding map Then dimHI = dimH J and hi(!)= hJ(f).
f.
In the numerical study of dynamical systems one usually collects the data by observing typiCtLl trajectories, i e , trajectories that correspond to points in G" for some invariant measure p,. This is based on the common belief that a computer always picks points "randomly" and thus, reproduce8 only ·'typical" orbits. Theorem A4.4 demonstrates that some fundamental characteristics of dynamical systems can be in fact computed while dealing with non-typical trajectories. Although such trajectories cannot be observed by random scannmg of the phase space they can be obtained by "mixing up" two typical trajectories corresponding to two distinct invariant measures (in the case of the full shift on two symbols the procedure of "mixing up" two typical trajectories is explained in the proof of Proposition A2.1; for general subshifts a more sophisticated procedure is described in [BS]). Metrically irregular sets arc closely related to irregular parts of multifractal decompositions generated by the dimension spectrum for pointwise dimensions (i.e., the 8et J in (2118)) and the dimension spectrum for Lyapunov exponents (i.e., the set i in (21.25)). Barreira and Schmeling showed that these irregular parts are observable, i.e., they have full Hausdorff dimension and carry full topological entropy Theorem A4.5. Let J be a repeller for a Gl+"-conformal expanding map f. (1) Let p, be an equilibrium measure corresponding to a Holder continuous function. Assume that p, is not the measure of full dimenswn. Then dimH J = dimH J and hJCf) = hJ(f). (2) If the measure of full dimension and the measure of maximal entropy are distinct then dimH i = dimH J and hL (f) = hJ (f).
A General Concept of Multifractal Spectra
265
The fact that the set J has positive Hausdorff dimension was first observed by Shereshevsky (Sh]. The proofs of Theorems A4.4 and A4.5 exploit the notion of cp-dimension of invariant measures (see Appendix III). We sketch these proofs. Given a collection of sequences of continuous functions Q(i) =
{g~i): J --+ R+ }nEN
fori = 1, .. , m, we define the corresponding metrically irregular set
I(G< 1l, ... , a<ml) =
{x
E
J: lim g~l(x) < lim n-+oo
n~oo
g~l(x)
for i = 1, ... ,
m}.
We say that a collection of measures p.(i), i = 1, . , k, k ::; 2m distinguishes the collection {G< 1l, ... , a<ml} if for every 1 ::; i ::; m, there exist distinct integers h = it(i), i2 = h(i) E [1, k] and numbers =/=a~!) surh that
a;:>
lim g
n-+oo n
]1
p.3·1 -almost
every x,
lim g
n--+oo n
•
The main result in [BS] claims the following.
Lemma. (1) Let 'if;;, i = 1, ... , m be Holder continuous functions on J. Assume that each '1/Ji is cohomologous neither to the function t = -slog lal (where s = dimH J) nor to the junction t = const. Then for any e > 0 there exists a collection of measures p.(i), i = 1, ... , 2m which satisfies the following conditions: a) it distinguishes the collection of sequences of functions
G(i)-
{
9n(i)- -Sn"I/Ji}
8nt
, 1. -- 1,
.. ,
m,.
nEN
b) where cp is a stnctly positive Holder continuous function and BS'f'(v) (respectively, BS'f'(J)) is the Barreiro-Schmeling dimension of the measure v (respectively, of the repeller J ); see Append1X III. (2) Let p.(i), i = 1, .. . , k be a collection of measures which dtStinguishes a collection of sequences of Junctions {G< 1l, ... , G(mJ}, k ::; 2m; then for every Holder continuous function cp on J we have
Appendix IV
266
We proceed with the proof of Theorem A4.4. Fix e > 0. Since Holder continuous functions are dense in the space of continuous functions we obtain that the set I consists of all points x E J for which there exists a Holder continuous function 'f/1 satisfying
Therefore, I(lll) C I, where Ill= {Sn'f/l}nEN· One can choose a Holder continuous function 'f/1 which is not cohomologous either to the function t = -slog Ia I or to the function t = const. Applying Lemma with t = 1,
The result about the topological entropy follows since e is arbitrary. Set
Using Remark in Section 20 we also conclude that dimHI(Ill) = BS"'(I(w)). Applying Lemma again with t = 1, that
=log Ia!, m = 1, and 'f/1 1 = 'f/1 we conclude
Since e 1S arbitrary this yields the statement about the Hausdorff dimension and concludes the proof of Theorem A4.4. We leave the proof of Theorem A4.5 to the reader. Hint: to prove the first statement choose the function 'f/1 such that log 'f/1 = ~ - PJ( ~), where ~ is the potential of the measure 11-; then apply Lemma with t = -slog Ia I, m = 1, 'f/1 1 = 'f/1 and set
Multifractal Rigidity The dimension and entropy multifractal spectra capture important information about dynamics including information on the geometry of invariant sets and on invariant measures. Therefore, they can be used to identify main macrocharactenstics of the system (such as distributiollS of Lyapunov exponents and topological entropy, dimension of invariant sets, etc.) - the phenomenon called multifractal rigidity. In other words, one can view multifractal spectra as "generallzed degrees of freedom" to be used to "restore" the dynamics.
A General Concept of Multifractal Spectra
267
This leads to a new type of classification of dynamical systems which takes care of various aspects of the dynamics (chaotic behavior, instability, geometry, etc ) and fits better with the physical intuition of the equivalence of dynamical systems It is well-known that dynamical systems can be classified topologically (up to homeomorphisms) or measure-theoretically (up to measure-preserving automorphisms). From a physical point of view, these classifications trace separate "independent" characteristics of the dynamics. One can use multifractal spectra for multifractal classification of dynamical systems wluch combines features of each of the above classifications. The new classification has a strong physical content and identifies two systems up to a change of variables. It is much more rigid than the topological and measure-theoretic classifications and establishes the coincidence of dimension characteristics as well as the correspondence between invariant measures We illustrate the multifractal rigidity phenomenon by considering two onedimensional linear Markov maps of the unit interval, modeled by the full shift on two symbols. Recall that this means that there are linear maps fl and h defined respectively on two disjoint closed intervals I1, h c [0, 1) such that fl(lt) = h(I2) = [0, 1), and the map f: It U I2 --+ lR is given by f(x) = fi(x) whenever x E I;, fori= I, 2 (see Figure 15). Let J be the repeller for f. The partition { Jni1 , Jni2 } is a Markov partition of J and fiJ is topologically conjugate to the full shift cri2:t. with probabilities fJ1 and !32 = We consider the Bernoulli measure on 1- !31 (which is a Gibbs measure), and let c; = lf'IIil = iffii;I fori= 1, 2. We define the functions a and
Ei
a(x) =
c;
and r/>(x) =log /3;
if x E I;,
for i = 1, 2. For every p, q E R, the functions TE(p) and Tv(q) satisfy the identities and (A4.3)
One can explicitly compute the measures 11; 8 and 117i0 : they are the Bernoulli measures with probabilities e-TE(P) j3 1P, e-TE(P) f32P and c~Tv(q) (31q, c;To (q) ('12 q respectively Let f and be two one-dimensional linear Markov maps of the unit interval as above with conformal repellers J and J respectively. Let also x: r:t --+ J and Et --+ J be the corresponding coding maps. We consider two Bernoulli measures JL and Ji on Et with probabilities /31, /32 and /31, (h respectively, where /31 + /32 = jjl + fh = 1. We also consider the numbers c1, c2 and Ct, c2 wluch are the absolute values of the derivatives of the linear pieces of f and respectively Define the functions a and ¢> on J as well as the functions and '¢;on J as above Recall that an automorphism p of r:t is a homeomorphism p: Et --+ Ei which commutes with the shift map cr. The involution automorphism is defined
1
x:
a
1
268
Appendix IV
by p(i1i2 ... ) = (i\.i~ .. ), where i~ = 2 if in= 1 and i~ = 1 if in = 2 for each integer n :;:: 1. Since x and are invertible one can define a homeomorphism (} J -+ J by (} = xox- 1 . We note that (}of= jo(J on J and hence 8 is a topological conjugacy between fiJ and fJJ. If pis an automorphism of :Et, then the homeomorphism 8' = o p o x- 1 is also a topological conjugacy between fiJ and jjJ, and all topological conjugacies are of this form. We consider the spectrum Vv = v~> specified by the mell8ure p. ll8 wellll8 the spectrum i5v = vgi) specified by the measure 'ji.
x
x
Theorem A4.6. [BPS2] lfVv(a) = i5v(a) for every a and these spectra are not delta functions, then there is a homeomorphism (,· J -+ J such that: (1) (of=
fo(
on J, that is, ( is a topological conjugacy between
fiJ and
fJJ;
(2) the automorphism p of Et satisfying X o ( = p o X is either the identity or the involution automorphism; (3) a= 0 (, i.e., either cl = Ci. and C2 = C2 or cl = C2 and C2 = cl; (4) ¢ = "¢; o (, and p. = 11 o (,.
a
Proof. It is sufficient to prove that the spectrum Vv uniquely determines the numbers f3t. /32, c1, and cz up to a permutation of the indices 1 and 2. By the uniqueness of the Legendre transform the spectrum Vv uniquely determines Tv(q) for every q E JR. Therefore, it remams to show that one can determine the numbers /31 , /3z, c 1 , and c2 uniquely up to a permutation of the indices 1 and 2 from the equation (A4.3). One can verify that the numbers O:± = av(±oo} can be computed by
et± = - lim (Tv(q)fq). q->±oo
We observe that since the spectrum Vv is not a delta function, Tv(q) is not linear and is strictly convex. Hence, a+ < dimH J < tL. Therefore, raising both sides of the equation (A4.3) to the power 1/q and letting q-+ ±oo we obtain max{/31 c1 "'+, f32c2 "'+} = min {/31 c1 "'-, f32c2 "'- } = 1. We ll8sume that f3tct''+ = 1 (the case /32 c2 "'+ = 1 can be treated in a similar way; in this case, pis the involution automorphism). Since a+ < a_ we must have /32c2"'- = 1. Setting q = 0 and q = 1 in the equation (A4.3) we obtain respectively, Ct- dimH J
+ c2- dimn J = 1
Set x = c1- dimn 1 , 'Y =a+/ dimH J can easily derive the equation x"~
and
f3t
+ /32
= 1.
< 1, and b = a_f dimH J > 1. Then one
+ (1- x)b = 1.
We leave it ll8 an easy exercise to the reader to show that this equation has a unique solution x E (0, 1) which uniquely determines the numbers c 1 and c2 and hence also the numbers f3t and /32. •
269
A General Concept of Multifractal Spectra
Remarks. (1) We have shown that for a one-dimensional linear Markov map of the unit interval one can determine the four numbers /31> /32, c1, and c2 using the spectrum T>v. If instead the spectrum CE is used then only the numbers fJ1 and !32 can be recovered: one can show that if /31 ~ 132, then /31 = exp lim (TE(p)/p) p--t+oo
and
lim (TE(P)/p). 132 = exp p-+-oo
In a similar way, using one of the spectra Cv or CE one can determine only the numbers c1 and c2. (2) The multifractal rigidity for two-dimensional horseshoes is demonstrated in [BPS3].
Chapter 8
Relations between Dimension, Entropy, and Lyapunov Exponents
In the previous chapters of the book we have seen that the pointwise dimension is a useful tool in computing the Hausdorff dimension and box dimension of measures and sets. The key idea is to establish whether a measure is exact dimensional (i.e., its lower and upper pointwise dimensions coincide and are constant almost everywhere). If this is the case then by Theorem 7.1, the Hausdorff dimension and lower and upper box dimensions of the measure coincide. This also gives an effective lower bound of the Hausdorff dimension of the set which supports the measure. One can obtain an effective upper bound of the Hausdorff dimension of the set by estimating the lower pointwise dimension at every point of the set and applying Theorem 7.2. In the previous chapters of the book we described several classes of measures, invariant under dynamical systems, which are exact dimensional. We also obtained formulae for their pointwise dimension. These classes include Gibbs measures concentrated on limit sets of geometric constructions (CPW1-CPW4) (see Theorem 15.4), invariant ergodic measures supported on conformal repellcrs (see Theorem 21.3) or two-dimensional locally maximal hyperbolic sets (see Theorem 24.2). In [ER], Eckmann and Ruelle discussed dimension of hyperbolic measures (i.e , measures invariant under diffeomorphisms with non-zero Lyapunov exponents almost everywhere). This led to the problem of whether a hyperbolic ergodic measure is exact dimensional. This problem has later become known as the Eckmann-Ruelle conjecture and has been acknowledged as one of the main problems in the interface of dimension theory and dynamical systems. Its role in the dimension theory of dynamical systems is similar to the role of the Shannon-McMillan-Breiman theorem in ergodic theory. In [Y2], Young showed that hyperbolic measures invariant under surface diffeomorphisms are exact dimensional. Later Ledrappier [L] proved theis result for glc'neral Sinai-Ruelle-Bowen measures In [PYJ, Pesm and Yue extended his approach to hyperbolic measures satisfying the so-called semi-local product structure (see below; this class includes, for example, Gibbs measures on locally maximal hyperbolic sets). Barreira, Pesin, and Schmeling (BPSl] obtained the complete affirmative solution of the Eckmann-Ruelle conjecture which we present in this chapter. We also demonstrate that neither of the assumptions in the Eckmann-Ruelle conjecture can be omitted. Ledrappier and Misiurewicz (LM] constructed an ex270
Relations between Dimension, Entropy, and Lyapunov Exponents
271
ample of a smooth map of a circle preserving an ergodic measure with zero Lyapunov exponent which is not exact dimensional (see Example 25.3 below). In [PWl], Pesin and Weiss presented an example of a Holder homeomorphism whose measure of maximal entropy is not exact dimensional (see Example 25.1 below). Barreira and Schmeling [BS] showed that for "almost" any Gibbs measure on a two-dimensional hyperbolic set the set of points, where the lower and upper pointwise dimensions do not coincide, has full Hausdorff dimension (see Appendix IV). 25. Existence and Non-existence of Pointwise Dimension for Invariant Measures We begin with examples that illustrate some problems of the existence of pointwise dimension. Our first example shows that the pointwise dimension may not exist even for measures of maximal entropy invariant under a continuous map. Example 25.1. [PWI] There exists a geometnc construction with rectangles modeled by the full shift on two symbols (see Section 16} such that the corresponding induced map G on the limit set F of the construction is a Holder continuous endomorphism for which the unique measure of mllXImal entropy m satisfies 4m(x) < dm(x) for almost every x E F. Proof. We begin with the geometric construction presented in Example 16.2. Note that for this construction de£ S
-
=
S>,
-
log2 -logd
= ---1
log2 s = sx= ----· -log.\
_de£
Hence, the functions . = ll>. ~r p.; moreover, Jl. is the measure of maximal entropy for the full shift a (see Appendix II). Consider the induced map G. It is a Holder continuous endomorphism. Obviously, the measure m, which is the push forward of~ to F, is the invariant measure for G of maximal entropy We: describe its lower and upper pointwise dimensions. Lemma. For m-almost every x E F we have
log2
gm(x)=~=-1-''
-
og~
dm{x)
_
log2
= s = ---· -log.\
Proof of the lemma. The fact that dimH F = §. immediately implies that d.m(x) ~ §. for m-almost every x E F. Otherwise there would exist a set A of positive m-measure with 4m(x) ~ §. + E for any x E A. The non-uniform mass distribution principle would then imply that dimH F ~ dimH A ~ !!. + c. The first equality now follows from Statement 2 of Theorem 16.1.
272
Chapter 8
In order to prove the second statement consider rk = );"..+, and denote by .6.k(x) the unique cylinder set .6.; 1 .,. 3 k+l that contains x E F It is easy to see that B(x, rk) n F c .6.,.(x) n F. Since the measure IL is a Gibbs measure the inequalities (13.6) imply that for all x E F,
and hence -d ( ) m
x
> -11m . logm(B(x, rk) n F) _ > s. - k-+oo !ogrk -
The second equality now follows from Statement 2 of Theorem 16.1.
•
As we have mentioned the map G constructed above is a HOlder continuous endomorphism but not a one-to-one map. Using the map G we now construct a Holder continuous homeomorphism G for which the measure of maximal entropy is not exact dimensional. Example 25.1'. [PWl] There e:nsts a Holder continuous homeomorphism of a compact subset in IR4 with positive topolog1ca/ entropy for wh1ch the unique measure of maximal entropy has different lower and upper pointwise dimensions at almost every point; moreover, the homeomorphism is Holder continuously conjugate to the full shift on two symbols.
Proof. Consider the set F = F x F endowed with the metric
and the coding map x:~p--+ F defined by (x,y) = x( ... LJioiJ ... ) where ~P denotes the space of two-sided sequences ( ... i_ 1 i 0 i 1 ... ), ii = 1, ... ,p and 1. It is easy to see that G is a X= x( .. . Lt), y = x(ioi1 ... ). Set G = xoao Holder continuous homeomorphism and that for any (x,y) E F,
x-
where 1r1, 11"2 are the projections defined by 1r 1 (x, y) = x and 1r2(x, y) = y. Moreover, since G is expanding the map G is topologacally hyperbolic. Consider the measure m= jJ. where jJ. is the measure on ~t defined by
x·
~(A.
p,u,k
. )_
tn
,(n-k)§. _ \(n-k)s _
-,.:1
-A
-
2
-(n-k)
•
By virtue of Theorem 13.3 jJ. is invariant under a and hence m is invariant under It is easy to see that m = m x m. It follows that form-almost every (x, y)
G.
It is not difficult to check that the measure the measure of maximal entropy for G.
m (after a proper normalization) is •
Relations between Dimension, Entropy, and Lyapunov Exponents
273
We remark that the Holder exponent of the map G is log X/ log~ (see Example 16.2) and hence can be chosen arbitrarily close to 1 The following example illustrates that the pointWise dimension may exist almost everywhere but the measure, nevertheless, may not be exact-dimensional (see Section 7). We remark that this phenomenon may happen for measures invariant under continuous maps but never occurs for measures invariant under smooth maps (see Theorem 7.3). Example 25.2.
(1) There ex1sts a geometnc construction (CB1-CB3) on [0, 1] modeled by a subshift of finite type and detennined by a sequence of affine maps such that (a) the basic sets at each step of the construction are disjoint; (b) the induced map G on the limit set F is Holder continuous; (c) there exists a G-invartant ergodic measure on F of positive entropy whose pointwise dimension exists almost everywhere but u not constant. (2) There exzsts a Holder homeomorphism of a compact subset in R4 that possesses an invanant ergodic measure with positive entropy whose pointtmse dimension exists almost everywhere but is not constant.
Proof. Our approach follows Pesin and Weiss [PW1] and is a refined version of the approach by Cutler [Cu]. Consider a geometric construction (CB1-CB3) on [0, 1] with non-stationary ratio coefficients modeled by a subshift of finite type. We assume that p = 3 and the ratio coefficients ..\;,n, i = 1, 2, 3 and n = 1, 2, 3, ... depend only on the steps of the constructions and are given by ..\ l,n
-
-). 3,n -
>.2 n '
={
a { f3
-y,
t5,
if n is even ·r . dd , I n IS 0
ifn is even ifn is odd,
where 0 < a :::; {3 < ~. 0 < -y :::; t5 < ~ and at5 transfer matrix A is given by
=f -y/3. We also assume that the
We need the following lemma
= 1, ... ,p, n = 1, 2, ... be sequences of numbers satisfying: 0 < a :::; >.i,n :::; b < 1 and for any n
Lemma. Let {..\s,n}. i
p
L>.i,n =). < 1. i=l
Chapter 8
274
Then there enst a sequence of affine maps {h.,n} and a geometric construction (CB1-CB3} on [0, I] modeled by a given symbolic dynamical system (Q, u) such that (I) each basic set Ll; 0 • in = h; 0 ,n o · · · o h;n,n((O, I]); (2) 6."' inn l!..;o in = 0 if (io .. i,.) f. (jo .. . j,.); (3) the induced map G on the limit set F is Holder continuous.
Proof of the lemma. For each n
= 1,2, ... define affine maps h;,n(x) = >..,nx+
f,;
1]) are at least apart. The result • follows. It is easy to check that Conditions {15.3) and (15 5) hold. One can also see that the following limit exists: a;,n and choose a;,n such that the sets h;,n([O,
log >-•
. 1~ { = n-+oo bm - L..J log .>.; k = n k=l '
def
~ log(ao), )
1
if i = 1, 3 .
.
2 log(/h , 1f ~ = 2.
{25.1)
Let p, be a Gibbs measure on ~1 corresponding to a Holder continuous function and v = x• J.i· Consider the sets A:::; {x E F : x:::; x(i 0i 1 ... ) with i1 = I or 3} and
B = {x E F ; X= x(ioil ... ) with il = 2}. These sets are disjoint and comprise the space They are not invariant under G. Since J.1 is a Gibbs measure and the sets A and B are open we have that v(A) > 0 and v(B) > 0. One can check that for every x E A,
E1.
!
lim log l!!..n(x)l :::; lo ('Yf3) n-+oo n 2 g and for every x E B,
r
n~~
loglt!.n(x)l
n
11
( o)
= 2 og a
·
Since x- 1 (6.n(x)) is a cylinder set the Shannon-McMillan-Breiman theorem implies that for v-abnost every x E F,
_ lim log v(.!ln(x)) = h,_.(e1) > O. n-tOO n Thus, by Theorem 15.3 h (u) 2h,_.(CT) for abnost every x E A d(x) =d(x) = -liffin-+oo(logl~n!z!) = -log(f3'Y) and d( ) _ d( ) _
- x -
x --lim
h,.(u) _ 2h,.(C1) (Iogl6.ft(xl1) - -log(ao)
n-+oo
for abnost every x E B.
n
The first statement follows now from Theorem 15.3. Repeating the arguments in Section 25.1 one can define the HOlder homeomorphism G and show that it possesses an invariant Borel ergodic measure i/ with respect to which d;;(x, y) = 4;;(x, y) d;;(x, y) for i/-almost every (x, y); however, the function d;;(x, y) is not essentially constant. This implies the second statement and completes the construction of the example. •
=
Relations between Dimension, Entropy, and Lyapunov Exponents
275
Remark. The geometric construction described in Example 25.2 is called an asymptotic Moran-like geometric construction since its ratio coefficients admit asymptotic behavior (25.1) It is proved in (PWl] that S>..::; dimn F, where S>. is a unique root of Bowen's equation PE+(slog>.;,) = 0. Example 25.2 illustrates A that the strict inequality can occur. Indeed, one can easily check, using Statement 1 of Theorem 13.3, that s>.. = Jog 2/log(afry6). On the other hand, one can compute, using Theorem 15.2, that . { log 2 log 2 } dtmn F = max -log(}3-y), -log(a6) . The following example demonstrates non-existence of pointwise dimension for smooth maps. It was constructed by Ledrappier and Misiurewicz in [LM]. Example 25.3. For every integer r ~ 1 there exzst a C'" -map f of the interval [0, 1] and f-invanant ergodic measure 1-1. for which !t,.(x) < d11 (x) for almost all points x. Proof. We outline the proof in the case r = 1. Choose numbers A, B, and C such that A > 1 and 0 < B < C < A!t. Let On be a sequence of numbers satisfying 81 = 1 and B::; On+l/On ::; C. Since C < 1 the sequence On decreases towards 0. We define two sequences of points {an}, {bn} of the interval (0, 1] 0 = az <
b:l < a4 < b4 < as < bs < .. <~<~<~<~<~<~<~<~=!
such that
and IMn I
= lan+2- bnl =en- On+! - On+! A'
where L,. and Mn are the intervals with endpoints an, bn and bn, a,.+2 respectively. We have IM,.I >1-CA+l >0 On A and
00
00
n=l
n=l
Therefore, all points with even indices lie to the left of all points with odd indices and there exists a common limit c = lim a.. = llm bn. n--too n-+oo We now define the map f. First we set: f(c) = 1, f(an) = 1 --y,., where In= 9n/An-l, f(bn) = 1- 6n, where 6n =(On- On+t)/A"- 1 .
276
Chapter 8
Since 8,. - 8n+l
An-t
-
8n+l A"
IMnl
= An-t'
we have 6,. > 6,.+1 and thus, 1 = 'Yt > 61 > 62 > · · · -+ 0. Therefore, we can define f as a linear map on each interval L,. with the slope >.,. given as
Note that
ro, 11 = {c} u
(uL. ) (u u
n;:=:l
M .. )
n?;l
and it remains to define f on the intervals M,.. Denote
For n even we set
f (b,. + ~IMnl)
f'
= f(b,.) + ~IM,.i(>.,. +a,.),
(b.,+ ~IMnl) =a,..
One can now define f separately on [b,., b,. + ~IM,.I) and [b,. + ~IM,.I, a,.+2) to obtain a C00 -function on [b,., a,.+2] (see details in [Mi]). For n odd one can define f analogously. This gives a map f on (0,1]. The condition on f to be of classC 1 is We have !Ani= A2-n-+ 0 as n-+ oo. Furthermore,
Thus,
lwnl-+ 0 as n-+ oo and hence
as n-+ oo. Let K,. be the interval [a,.,a,.+ 1] or (an+t 1 a,.]. We need the following properties of sets K,. (see {Mi]).
Relations between Dimension, Entropy, and Lyapunov Exponents
277
Lemma 1. (1) The sequence of sets (Kn)~=l is decreasing; (2) f 2 n-l (Kn) = Kn, f 2n-l (Kn+d = L,.; (3) The sets J'(K,.), i = 1, ... , 2n-l are d'tBjoint; (4) p"-'+'(Kn+I) n J'(Kn+I) = 0 fori= I, ... , zn- 1 ; (5) The map j'- 1 1/(K,.) is linear fori= 1, ... , 2"- 1 . For each i
n-1
= 1, ... , 2n-l we write i = 1 + L: ek(i)2k-l
with ek(i)
= 0 or 1.
k=j
Let Lemma 2. For all n
~
1 and i = 1, ... , 2n-l we have n-1
lfi(Kn)l
= IT (k(ek(i)). k=l
Proof of the lemma. We use induction on n. For n = 1 the result is obvious. Assume that the statement holds for n = m. We shall prove it for n = m + 1. Observe that for i = 1, ... , 2m-l the set /'(Km) is a disjoint union (modulo endpoints) of sets J'(Km+l), t•(Lm) = / 2m-'+i(Km+I), and a remaining gap
Gi,m·
.
Observe also that the map /'- 1 is linear on /(Km) so that the lengths of these intervals are in the same proportions as
1/(Km+l)l IJ(Km)l
=
'Ym+l I'm
1 llm+l
IJ(Lm)l
=A 0::: ' lf(Km)l =
I'm -Om I'm
The induction follows clearly from the above two observations.
Om+l
= 9:;: . •
This lemma gives us information on the lengths of intervals building the at tractor for the map j. The following lemma provides estimates of the lengths of the gaps Gi,m· Denote
Clearly, /3 > 0.
Lemma 3. For all m
~
2 and i
= 1, ... , 2m-l
we have
Proof of the lemma. Note that by linearity of J'- 1 1/(Km) the above inequalities are equivalent to
Chapter 8
278 or
< {3 [1 - ( 1 + ~) Om+l] . Om A Om ity follows from the inequal second The The first inequality holds since A > 1.
~ Om+l <
Om+l
A Om
inequality {3_ 1 ~
which is clearly true since 1/C The attract or A for the map
< ~- A+1 A
- Om+l Om/Om+l·
f
•
is defined as 00 2"- 1
A=
nU
J'(Kn)-
n=t i=l
e. We define a By Lemmas I and 2 A is a Cantor-like set of zero Lebesgue measur ... , 2m-t the 1, = i , f'(Km) set every probab ility measur e J1. on A by assigning to 1-m. The measur e J1. is clearly non-ato mic and invaria nt. 1 =2 measure p.(/ (Km)) , where e,..(x) = Each point x E A admits a symbolic coding x 1-+ w = (en(x)) if i ~ 2"- 1 and 0 = e,(x) set we 2" ~ i ~ 1 t), 0 or 1. Namely, for x E /i(Kn+ 1 . Using this coding map one can show that the measur e J1. en(x) = 1 if i > 2"is ergodic and has zero measur e-theor etic entropy (see [CEJ).
Lemm a 4. For all x E A -n log2 . hm 2::"j=llog (j(e;(x )) ri"(x) = n-+oo
,
-d ( ) _ li-:-
I' X
Proof of the lemma . For x E f'(Kn+ t), i
"'n
-nlog2
( ( )) ·
m n-+ao '--i=llo g(; Ej X
= 1, . . , 2" we set n
1Jn(x)
= 1/'(Kn +l)l = TI<~o(e~;(x))
lo+l Clearly, the interval [x -1'/n(x), X+ c-no. < {3 (see Lemma 2). Fix no such that exists i(k) such that 1 ~ i(k) ~ there n < k each For t)f'(Kn+ s TJn(x)] contain have 2,. and x E f'(lol(Kn+I)- By Lemma 2 we IJ'
and hence if /c
~
n - no then lfi(k>(Kk+l)l ~ f3TJn(x).
By Lemma 3 we obtain that if k ~ n - no then IGi(k),kl ~ hn(x) from A the set Therefore, since the sets G;(k),lo are gaps and hence are disjoint that follows It +l)l(Kn-no fi(n-no [x -17n(x), X+ TJn(x)] n A is contain ed in
Tn ~ JJ.([x- TJ,.(x), x + TJn(x)]) ~ 2-(n-no ). the inequalities The desired result follows immediately from this relation and 0 < BA- 1 < '1/n+l(x) < C < 1. - 17n(x) The lemma is proved.
•
Relations between Dimension, Entropy, and Lyapunov Exponents
279
Note that log(j(O) =log
O·+z T -log A, J
Since ei(x) are independent stationary sequences for p-almost every x E A we have
-1~ -1 1 lim - L....-log(j(c3 (x)) = lim -logOn- -logA. . n-+oon 2
n-+oo n
J=l
Let us choose the sequence On such that B ~ ~ ~ C and lim
.!. log On = B ,
n-+oon
-1
lim -logOn= C. n-.oon
From Lemma 4 it follows that for JK-almost every x E A, log2 log2 -J.I(x) = log(VA/B) < log(VA/C) d
=
d '"'(x).
This completes the construction of the example.
•
26. Dimension of Meamres with Non-zero Lyapunov Exponents; The Eckmann--Ruelle Corijecture
We assume that M is a compact smooth Riemannian p-dimensional manifold and f. M -t M is a Cl+<>.diffeomorphism. We recall some basic notions of the theory of dynamical systems with non-zero Lyapunov exponents (see [KHJ, [M] for more details). Given x E M and v E T:zM, define the Lyapunov exponent of v at x by the formula '( ) -,--- log lldi:vll . (26.1) 1\ x,v = 1lm n-+oo n If x is fixed then the function ,\(x, ·) can take on only finitely many distinct values ,\( 1l(x) > · · · > ,\{ql(x), where q = q(x) and 1 ~ q ~ p. Let k;(x) be the multiplicity of the value ,\('l(x), i = 1, ... , q. The functions q(x), >.<;>(x), and k; (x), i = 1, ... , q are measurable and invariant under f. Let p be a Borel /-invariant measure on M. We will always assume that p is ergodic Then the function q(x) = q is constant JL-almost everywhere and so are the functions >.<•>(x) and k;(x), i = 1, . .. ,q. We denote the corresponding values by ,\~) and k~). A measure J1. is said to be hyperbolic if
Chapter 8
280
for some k, 1 ::; k < q. If J1- is such a measure then for Jl--almost every point x EM there exist stable and unstable subspaces E<•>(x), E("l(x) C T.,M such that
(1) E<•l(x) E11 E<">(x)
= T,M,
dj.,E<•l(x) = E<•>(!(x)), dj.,E<">(x)
=
E(u) (J(x) );
(2) for any n 2': 0, ildf~vii
::; Cl(xhnllvll ildf;nvll::; CI(xhnllvll
if v E E<•>(x), ifv E E<">(x),
where 0 < 1 < 1 is a. constant and Ct (x) > 0 is a measurable function;
{3) L(E<•>(x), E<">(x)) 2': C 2 {x) > 0, where C2 (x) is a measurable function and L denotes the angle between subspaces E<•>(x) and E<">(x); (4) C 1 (tn(x)) ::; C 1 (x)en6, C2 (tn(x)) ~ C2 (x)e-n.S for any n ~ 0, where 8 > 0 is a constant which is sufficiently small compare to 1- I· Denote by At, £ ~ I the set of points x for which C1 (x) ::; £, C 2 (x) ~ l· The sets At are closed, At c At+I• and the set A= Ut>l At is !-invariant and wincides with M up to a set of Jl--measure zero. For any x E A one can construct stable and unstable smooth local manifolds which we denote by W1~(x) and W1~"j(x) respectively. They have the following properties:
(5) x E<">(x);
E
W1~~(x) and x
(6) for any n
~
E
W1~~(x); T.,W1~~(x)
= E(•l(x)
and T.,W1~~(x)
=
0,
p(r(x),r(y))::; C3(x)lnp(x,y) p(J-n(x),rn(y))::; C3(x)'ynp(x,y)
if y E W1~J(x), if y E W1~(x),
where pis the distance in M generated by the Riemannian metric and C 3 (x) > 0 is a measurable function satisfying C3 (r(x))::; C3 (x)e 10n<5 for every n ~ 0;
(7) wi~J(x) and w.~~(x) depend continuously on X EAt in the C 1-topology and have size at least rt > 0; this means that they contain respectively balla B<•l(x,rt) and B<">(x,rt) centered at x of radius rein the intrinsic topology generated by the Riemannian metric;
(8) there exists a function £1 = '1/J(l) < oo, such that for any x, y E Ae, if the intersection B<•>(x,rt) n B("l(y,re) f. 0, then it consists of a single point
z E Ae,; (9) there exists K
> 0 such that for any
x E A1 ,
p<">(y,z) ~ Kp(y,z)
if
y,z E W1~"j(x),
p<•l(y,z) ~ Kp(y,z)
if
y,z E W1~~(x),
Relations between Dimension, Entropy, and Lyapunov Exponents
281
where and p(u) and p<•> arc the intrinsic distances in the local unstable and stable manifolds induced by the Riemannian metric. A closed set II c A is called a rectangle if : a) there exists l > 1 such that IInAe is an open subset of At l (with respect to the induced topology of Ae); moreover, for any x E II there exists y E II nAt such that x E B(s) (y, re) or x E B(u) (y, rt); b) for any x, y E II the intersection s<s>(x, rt) n B("l(y, re) is not empty and consists of a single point z E II (one can see that II c At,). Given a rectangle II and points x, y E II, define the u-holonomy map s<•>(x, rt) n II -+ s<•>(y, rt) n II by H~~J(z) = B<">(z, rt) n n<•>(y, rt). One can similarly define the s-holonomy map H~~~· For l'ach rectangle II such that ~t(II) > 0 let e and e<•> be the measurable partitions of II : e<">(x) = II n B<">(x,rt) and e<•>(x) = II n n<•l(x,rt) (see [KH]}. Let {IL~")}xen and {J.t~•l}.,en be the canonical families of conditional measures associated with the partitions e 0 and J,t-almost every x, y E II the associated holonomy map H~~~ is absolutely continuous with respect to the conditional measures J.'~u) and J4">, i.e., the measure (H~~~)•I-'~u) is absolutely continuous with respect to the measure J4"l (or if the same is true for the holonomy maps HJ~ and the conditional measures ~tf:>, for JL-almost every x, y E II). We say that a measure J.' has the local product structure if for any rectangle II with J.t(II) > 0 and J,t-almost every x, y E II the associated holonomy maps H~~J, H~~~ both are absolutely continuous with respect to the conditional measures 1-'~•), 1-'~•l and J.tf,"l, ~u), respectively. There are two special cases of measures which have local product structure. A hyperbolic measure 1-' is called a Sinai-Ruelle-Bowen measure (or SRB-measure) if for every rectangle II with J.t(II) > 0 and tL-almost every x E II th& conditional measure J.t~u) is absolutely continuous with respect to the Riemannian volume on W 1<;,>(x) SRB-measures have semi-local product structure. Let A be a locally maximal hyperbolic set for a Cl+"-diffeomorphism on a compact smooth manifold M (see definition in Section 22) and IL = /1-
0, define
ntJ:
4")
(26.2) (assuming that the limits exist). One can show that the functions d~>(x) and d~u)(x) are measurable and invariant under f. Since the measure 1-' is ergodic these functions are almost everywhere constant. We denote the corresponding values by d(u) and d(•).
Chapter 8
282
We first consider the cases k = 1 and k = q - 1. The following result is a slightly more general multidimensional version of the result obtained by Young in the two-dimensional case (see [Y2]). Proposition 26.1. For any ergodic hyperbolic measure /-L invariant under a Gl+"'.diffeomorphism the limits {26.2) exist almost everywhere and (1) if k
= 1 then d(u) = ~i
(2) if k
= q- 1 then d(•) = - k,.~:i(~~> . >.,.
k~ "~
The existence of the values d~l(x) and d~")(x) in the general case was established by Ledrappier and Young in [LY]. We recall that smce /-L is ergodic 4,..(x) = const = 4(!-L) and diL(x) = const = d(/-L) almost everywhere (see Section 7). Proposition 26.2. For any ergod1c hyperbolic measure /-L invar~ant under a Cl+<>.diffeomorphism the limits {26.2) eXISt almost everywhere and
(1) d(!-L) :$ d(u) + d(•) i (2) d(u) > hu(f) and d(•) > -~
hu(Jl. - >JJr
In [ER], Eckmann and Ruelle discussed the existence of pointwise dimension for hyperbolic mvariant measures. We summarize this discussion in the following statement, which was proved by Barreira, Pesin, and Schmeling in [BPSl] Theorem 26.1. Let f: M-+ M be a C 1 +0 -diffeomorphism of a compact smooth Riemannian manifold M and /-L a hyperbolic ergodic measure. Then for 1-L-almost anyx EM, Remark. In [Y2], Young proved this theorem in the two-dimensional case. Proposition 26.3. Let f be a C1+ 01 -diffeomorphism of a smooth compact surface M and JL a hyperbolic ergodic measure with Lyapunov exponents A~l) > 0 > ,\~2 ). Then
Proof of the theorem. For the sake of reader's convenience we first consider the special and simpler case of measures with local semi-product structure. The proof in the general case will be given later Since it is technically more complicated it can be omitted in the first reading. We follow [PY]. Without loss of generality we may assume that the holonomy maps H~:~ are absolutely continuous with respect to the measures 1-Li,"l, JL~u) for any rectangle II with !-L(II) > 0 and 1-L-almost every x, y E II We fix such a rectangle II. According to Proposition 26.2 it is sufficient to show that 4(1-') 2:: d(s) + d(u).
Relations between Dimension, Entropy, and Lyapunov Exponents
283
Proposition 26.2 (that states the existence of the limits in {26.2)) implies that there exist a closed set A 1 c II with !k(A1 ) > 0 and a number r 1 > 0 satisfying the following condition: (10) for any 0 < r ~ r1 and any x E A1, (26.3)
It follows from the Borel Density Lemma (see Appendix V) that one can find a closed set A2 c A1 with tt(A2) > 0 and r2 > 0 such that for any 0 < r :0:::: r 2 and any x E A2, tt(B(x, r)) ~ 2p,(B(x, r) n A 1 ). (26.4) Fix a point Xo E A2 for which J.l.~~) (WI~") (xo)
n A2) > 0 and
lim logJ.!.(B(xo,r)) = d(J.I.). log r -
;:::;a
We first study the factor measure ji. induced by the measurable partition e<•l. Denote by 1r(u} the projection of B(x 0 , r) n A 1 into W1~ (x 0 ) given by 71'(u) (y) =
wl~':!Cxo) n wl<,;2(y) For any X E B(xo,r) n Al we also have that 71'(u)IW(u)(x) loc
n Al
= H(•) Jw(u)(x) n AI a:o,x Joe
Without loss of generality we may assume that the holonomy map H~~~z is absolutely continuous with respect to the conditional measures J.l.~~) and J.l.~u). Therefore, the factor measure ji. = 1riu) J.1. is absolutely continuous with respect to J.l.~~>:
where cp(z) ;::: 0 is an L 1-function. Since J.l.~~l(W1~"j(x0 ) n A2 ) > 0, without loss of generality, we may assume that the Ra.don-Nikodym derivative djJ/ dJ.!.~~) is bounded. Therefore, we have for sufficiently small r > 0, (26.5) where C 4 > 0 is a constant. We now apply the Fubini theorem to the measurable partition e<•l and write p.(B(xo,r)) =
(26.6)
If the intersection w1<,;2(z) n B(xo, r) nAt contains a point X then by Condition (9),
284
Chapter 8
a.nd hence in view of (26.3) {26.7} We also have that
Conditions (26.5)- (26.8) imply that for sufficiently small r, IL(B(xo, r) n AI):::;
I
(2Kr)d<·>-•dp(z)
B(:to,r)nw,<;'j(:to)
= (2Kr)t:i<•>-e;J(B(xo,r}
n W1~j(xo))
:::; (2Kr)£1(•>-e;J(B(ul(xo, Kr)} :::; (2Kr}d<•>-•C4 ~t~~l(B(x 0 , Kr)) :::; (2Kr)d<•>-•c4(Kr)d_, = C5 rd''>+d<•>- 2•, where 0 5 > 0 is a constant. Consider a decreasing sequence of positive numbers Pk -+ 0 (k -+ oo) such that IL(B(xo, p~o;}) ~ Pk!l,.(p)-e for all k. We can also assume that Pl < min{r1,r2,r3 }. It follows now from (26.4) that
If k -+ oo this yields Since e is arbitrary this implies the desired result. We now proceed with measures which do not have local (semi-) product structure. We will first establish a crucial property of hyperbolic measures: they have nearly local product structure. This enables us to apply a slight modification of the above approach to obtain the desired result In order to highlight the main idea and avoid some complicated technical constructions in the theory of dynamical systems with non-zero Lyapunov exponents we assume that the map f possesses a locally maximal hyperbolic set A which supports the measure 1-'· Although the set A has direct product structure hyperbolic measures supported on it, in general, do not have local (semi-) product structure. For the general case see [BPS1]. Consider a Markov partition 'R. = {R 1 , ... ,Rp}. In order to simplify notations we set R~(x) = R,k ;1 (x) (the element of the partition vl=kfi'R. that contains x). We point out the followmg properties of the Markov partition. Given 0 < e < 1, there exists a set r c M of measure Jt(r) > 1-e/2, a.n integer
Relations between Dimension, Entropy, and Lyapunov Exponents
285
n 0 ;:: 1, and a number C > 1 such that for every x E r and any integer n ;:: no the following properties hold: (a) for all integers k, l ;:: 1 we have (26.9) JL~•>(R2(x))
c-Ie-k(h-e}
S
S ce-k(h+el,
(26.10)
c-le-l(h-e}
s JL~u)(~(x)} s ce-l(h+•)'
(26.11}
where h = h,_.(j) (the measure-theoretic entropy off with respect top,); (b) e-(d(•>+e}n
S p,~·>cs<•>(x, e-")) S e-(d(•> -•)n,
(26.12) (26.13)
(c) define a to be the integer part of 2{1 +e) max{1/ ..\ 1 , -1/ Ap, 1}; then R:~(x)
R~,.(x) nA<•>(x)
c B(x,e-") c R(x),
(26.14)
c s<•>(x,e-") c R(x) nA<•>(x),
(26.15)
Rg"(x) n A<"'>(x) c s<"'>(x, e-") c R(x) n A<"'>(x),
(26.16)
where the sets A<•l and A(u) are defined by (22.7); (d) define Q,.(x) to be the set of points y E M for which the intersections Rg"(y) n B<">(x, 2e-") and R~.. (y) n s<•>(x, 2e-") are not empty; then (26.17) and Jl!~(y) C Q,.(x) for each y E Q,.(x); (e) there exists a positive constant D = D(f) < 1 such that for every k ;:: 1 and X E r we have JL~(R~(x) n r);:: D,
p,~(R2(x) n r);:: D;
(f) for every x E rand n;:: no we have
Property {26.9) shows that the Shannon-McMillan-Breiman theorem holds with respect to the Markov partition 'R. while properties (26 10} and (26.11) show that "leaf-wise" versions of this theorem hold with respect to the partitions ng and Rh. The inequalities (26.12) and (26.13} are easy consequences of the existence of the stable and unstable pointwise dimensions d{•) and d(u) (see Proposition 26.2). Since the Lyapunov exponents at J.l·almost every point are constant the properties (26.14), (26.15), and (26.16) follow from the choice of the number a indicated above. The inclusions (26.17) are based upon the continuous dependence of stable
Chapter 8
286
and unstable manifolds in the CH"' topology on the base point on A. Property (f) follows from the Markov property. For an arbitrary Cl+"'-diffeomorphism preserving an ergodic hyperbolic measure Ledrappier and Young [LY] constructed a countable measurable partition of M of finite entropy which has properties (26.9)-(26.17). In [BPSl], the authors also showed that this partition satisfies Property (e) and simulates (in a sense) Property (f). They used this partition to obtain a proof in the general case. We follow their approach. It immediately follows from the Borel Density Lemma (see Appendix V) that one can choose an integer n1 ~ no and a set f' c r of measure J.!(f') > 1 - E such that for every n ~ n 1 and x E f', (26.18) 1
J.!~·l(B<•l(x, e-")
n r)
~ A•l(B<•l(x, e-"));
p.~"l(B<">(x, e-")
n r)
~
2 1
J.!i"'(B(u) (x, e-")).
2
(26.19) (26.20)
r
Fix X E and an integer n ~ nt. We consider the following two classes '!'(n) and ~( n) of elements of the partition 'R~~ (we call these elements "rectangles"): 'I(n) = {~~(y) c R(x) · R:~(y) n ~(n)
= {R:~(y) c
r # 0};
R(x): ~,.(y) n f # 0 and Rg"(y) n f' # 0}.
The rectangles in '!'(n) carry all the measure of the set R(x) n r Obviously, the rectangles in '!'(n) that intersect f' belong to ~(n). If these were the only ones in ~(n), the measure p.JR(x)nr would have the local direct product structure at the ~eve!" n and its pointwise dimension could be estimated as above. In the general case, the rectangles in the class ~(n) are obtained from the rectangles in '!'(n) (that intersect f') by "filling in" the gaps in the product structure. See Figure 21 where we show the rectangle R(x) which is partitioned by "small" rectangles R~~(y). The black rectangles comprise the collection 'I(n). By adding the gray rectangles one gets the direct product structure on the level n. We wish to compare the number of rectangles in 'I(n) and \V(n) intersecting a given set. This will allow us to evaluate the deviation of the measure JL from the direct product structure at each level n. Our main observation is that for "typical" points y E f' the number of rectangles from the class 'I(n) intersecting A< 8 l(y) (respectively A(u)(y)) is "asymptotically" the same up to a factor that grows at most subexponentially with n. However, in general, the distribution of these rectangles along A(•l(y) (respectively A(ul(y)) may "shift" when one moves from point to point. This causes a deviation from the direct product structure. We will use a simple combinatorial argument to show that this deviation grows at most subexponentially with n.
288
Chapter 8
Lemma 2. For each y E R(x) n f and integer n 2: n 1 we have
N(n, Qn(Y)) 2: p.(B(y, e-")) · 2Ce-Zan(h+e). Proof of the lemma. It follows from (26.17) and (26.18) that 1
2p.(B(y, e-n)) ::;'; p.(B(y, e-n) n r) ::;'; p.(Q.. (y) n r)
:::; N(n, Q,.(y)) max{p.(R): R E '!'(n) and R n Q.. (y) 1= 0}.
•
The desired inequality follows from (26.9).
Lemma 3. For p.-almost every y that for each n 2: n 2 (y) we have
E
R( x) n f' there is an integer n 2 (y) 2: n 1 such
N(n + 2, Qn+2(y)) ::; j{(•l(n, y, Q.. (y)). j{(u)(n, y, Q.. (y)). 2C2e4a(h+e)e4an"
Proof of the lemma. Since f' c r, by (26.17) and the Borel Density Lemma (applied to the set A= f', see Appendix V), for p.-almost every y E f there is an integer n 2 (y) 2: n 1 such that for all n 2: n 2 (y),
2p(Q,.(y) n r) 2: 2p.(B(y, e-n) n r) 2: p.(B(y, e-n))
2: t-t(B(y,4e-n-z)) 2: JL(Qn+2(Y)).
(26.21)
For any m 2: nz(y), by (26.9) and Property (d), we have
p.(Qm(Y)) =
L
IL(~:;!(z))
2: N(m, Qm(Y)). c-Ie-2am(h+e)_
R~:::(~)CQm(Y)
Similarly, for every n 2: n 2 (y) we obtain
where N .. is the nlliilber of rectangles R~~(z) E '!'(n) that have non-empty intersection with f. Set m = n + 2. The last two inequalities together with (26.21) imply that N(n+ 2,Qn+2(y)) ::;'; Nn · 2C 2e4 a(h+e)+4ane. {26.22} On the other hand, since y E f' the intersections R8n(y) n A(ul(y) n f and n A<•l(y) n f' are non-empty. Consider a rectangle R~~(v) C Qn(Y) that has non-empty intersection with f'. Then the rectangles R~n(v) n .ngn(y) and R~ .. (y) n Rgn(v) belong to ;j(n) and intersect respectively the stable and unstable local manifolds at y. Hence, one can associate to any rectangle R~~(v) c Qn(Y) in '!'(n), that has nonempty intersection with f the pair ofrectangles (R<•J = R~.. (v) nRgn(y),R(u) = R~n(Y) n R 0n(v)) such that R<•>, R(u) E ;j(n), R<•> n AC•l(y) n Q .. (y) 1= 0, and R(u) n AC"l(y) n Q,.(y) 1= 0. Clearly this correspondence is injective. Therefore, R~.. (y)
.N<•>(n, y, Q.. (y)) · fi<">(n, y, Q.. (y)) 2: N ... The desired inequality follows from (26.22).
•
Relations between Dimension, Entropy, and Lyapunov Exponents
Lemma 4. For each x
E
t
289
and integer n 2:; n 1 we have
Proof of the lemma. Since the partition n is countable one can find points y; such Lhat the union of the rectangles Rgn(yi) is the set R(x) and thebe rectangles are mutually disjoint. Without loss of generality we can assume that y; E t whenever Rgn(y;) n t # 0. We have
(26.23)
By Properties (e), (f), and (26.10) we obtain that N<•>(n
J.L~~)(Rgn(y,) nf) (•) () max{J.Lz (Rg~(z)) : z E A • (y;) n R(x) n r D
#
0}
- max{J.L~·>(R~n(z)): z E A<•>(y;) n R(x) n r
#
0}
. uan(y·)) > ,y.,uo ' -
(26.24)
;::: nc-lea.n(h-c).
Similarly, (26.9) implies that N(n R(x))
'
<
J.L(R(x)) < Ce2anh+2ane. - min{p.(R~~(z)): z E R(x) n r} -
(26.25)
We now observe that
(26.26)
Putting (26.23)-(26 26) together we conclude that
Ce 2an(h+e) 2:; N(n,R(x)) 2:; i Rgn (y;)nf';o!0"
2:: .JV(n,x,R(x)) · DC- 1e'm(h-e). This yields .JV(n,x,R(x)) :::; proved in a similar way.
v- 1C 2 ea.n(h+3
The other inequality can be •
Chapter 8
290
We emphasize that the procedure of "filling in" rectangles to obtain the class ~(n) may substantially increase the number of rectangles in neighborhoods of some points. However, the next lemma shows that this procedure does not add too many rectangles at almost every point. In other words the procedure is "locally homogeneous" on a set of "big" measure.
Lemma 5. For p.-almost every y E R(x) n f' we have
Proof of the lemma. By (26.20) for each n?: n1 andy E f',
Since R:~(z) that
C R~n(z)
N<•l(n, y, Qn(Y)) ?:
for every z we obtain by virtue of (26.10) and (26.12)
t4•>
(Qn(Y)) max{t-t~8 l(R~~(z)): z E A<•l(y) n R(x) n r
#
> ~ t4'\B<•l(y,e-")) - 2 max{t-t~')(R~n(z)): z E Al•l(y) n R(x) n r 1
0}
# 0}
e-(d('l+e)n
> - -20 ----,,..--, e-
F={yEf:
lim .N<•l(n,y,Qn(Y))e_7ane>1} N(•l(n,y,Qn(Y)) -
n-+oo
For each y E F there eXIsts an increasing sequence {mj}~ 1 positive integers such that
.N<•l(m;,y,Qm,(Y))?:
>
= {mj(y)}~ 1
of
~N(•l(mj,y,Qm/Y))e7am,e (26.27) _2__e-d(•lmi+amih+5am,e
- 4C
for all j (note that a> 1). We wish to show that p.(F) = 0. Assuming the contrary consider the set F' c F of points y E F for which the following limit exists lim logp.~·>cB<•>(y,r)) = d<•>. logr
r-+0
Relations between Drmension, Entropy, and Lyapunov Exponents
291
Clearly, JJ.(F') = JJ.(F) > 0. Then one can find y E F such that ~-t~•l(F) = p.~•l(F') = p.~•l(F'
n R(y) nA<•l(y)) > 0.
It follows from Frostman's lemma that dim 8 (F' n A(•l(y)) = d(•l.
(26.28)
Consider the collection of balls
8 = { B(z, e-m;(zl) : z E F' n A{•l(y), j = 1, 2, .. }. By the Bcsicovitch Covering Lemma (see Appendix V) one can find a countable subcover C C B of F'nA<•l(y) of arbitrarily small diameter and finite multiplicity p (which depends only on dimM). This means that for any L > 0 one can choose a sequence of points {z; E F' n A<•l(y)}~ 1 and a sequence of integers {ti}~ 1 , where t; E {m;(z;)}~ 1 and t; > L for each i, such that the collection of balls C = {B(z;,e-t'). i = 1, 2, ... } comprises a cover ofF' n A(•l(y) whose multiplicity does not exceed p. We write Q(i) = Qt, (z;). The Hausdorff sum corresponding to this cover is 00
l)diamB)a<•>_, BEC
= :~:::e-t;(a<•>-•J. i=I
By (26.27) we obtain 00
00
~::::e-t;(-e) i=l
: :; L
.zVC•l(t;, Z;, Q(i)). 4ce-at;h-4at;e
i=l 00
:::; 4CLe-aqh-4aqe L q=l
.zVC•l(q,z,,Q(i)).
i t;=q
Since the multiplicity of the subcover C is at most peach set Q(i) appears in the sum 2:::; t; =q .N< 8 l (q, z;, Q (i)) at most p times. Hence, L i
.N<•l(q,z;,Q(i)):::; pN(•l(q,y,R(y)).
t~.=q
It follows from Lemma 4 that 00
L(diamB)a<•>-< :-; 4CLe-aq(h+4elp.zV<•>(q,y,R(y)) BEC
q=l
Since the number L can be chosen arbitrarily large (and so are the numbers t;) it follows that dimH(F' n A(•l(y)) :::; d(s)- e < d(•l. This contradicts {26.28). Hence, ~-t(F) = 0. This yields the first inequality The proof of the second inequality is similar. •
292
Chapter 8
Lemmas 3, 4, and 5 show that the deviation of the distribution of rectangles in 'I' from direct product structure is subexponentially small. The rest of the proof simulates the case of measures which have local (semi-) product structure considered above. By Lemmas 2 and 3 for p-almost every y E R(x)nf' and n;::: n 2 (y) we obtain
p.(B(y, e-"- 2 ))
:s Jlr<•l(n, y, Q.. (y)) x N'<"l(n, y, Q,.(y)) x 4C3e4<>{h+•le-2<>nh+6<>n<.
By Lemma 5 for p-almost every y E R(x)nf' there exists an integer n3(y) ;::: n2(y) such that for all n 2:: n3(y),
N'<•>(n,y,Qn(Y)) < N<•>(n,y,Qn(y))e 7""", ]\r(u)(n,y,Q,.(y)) < N("l(n,y,Q,.(y))e7anc. This implies that p.(B(y, e-"- 2 )) :S N<•>(n, y, Q,.(y)) x X
Applying Lemma 1 we obtain p(B(y, e-"- 2 )) :5: p.~•) (B<•>(y, 4e-")) X
N(u) (n,
y, Q,.(y))
4c3e4a(h+•le-2anh+20an£. X
p.~u) (B{u) (y, 4e-"))
4 cse4a(h+£)e22anc.
This implies that lim log,Jl.(B(y, e-")) > d(•) + d(u)- 22ae: ..~ -n for p.-almost every yEt. Since p(f) > 1-£ and£> 0 is arbitrary we conclude that d= lim logp(B(y,r)) = lim log,Jl.(B(y,e-")) > d(s) +d(u) r-+0 logr ..~ -n for ~t-almost every y E M. This completes the proof. • Let A. be a hyperbolic set for a C1+ 0 -diffeomorphism f on a compact smooth "lllanifold M. Assume that /lA. is topologically transitive. The set A. is called a hyperbolic attractor if there exists an open set U such that A. C U and f(U) c U. Clearly, A. = nn>o r(U). One can show that if A. is a hyperbolic attractor then wl~u; (x) c A. fur every X E A. (see, for example, [KH]). Consider the unique equilibrium measure p = fl."' on A corresponding to the function cp = J(u) (x). It is known that Jl."' is the SRB-measure (see [Bo2]). Obviously, d(u) =dim wi<:JCx) ~f m for every X EA. By Proposition 26 2 and the entropy formula (see (LY]) we have that d(•)
> - hp.(/) -
= - 2:~=1
>.~q)
k~) >.~)
>.~q)
This implies that
. A> d lmH _ dimH J1. > _ m-
"~ L...J=l
k(j) >. (j) ~' 1-1 (q)
>.p.
Appendix V
Some Useful Information
1. Outer Measures (Fe]. Let (X,p) be a complete metric space and m a a-sub-additive outer measure on X, i.e., a set function which satisfies the following properties: (1) m(0) = 0; (2) m(Zl):::; m(Z2) if Z1 c Z2 c X; (3) m(.U Z;) :::; Em(Z;), where Z; C X, i = 0, 1, 2, .. •;:::o
;;:::o
A set E c X is called measurable (with respect tom or simply m-measurable) if for any A c X, m(A) = m(A n E) + m(A \E) The collection 2l of all m-measurable sets can be shown to be a a-field and the restriction of m to 2l to be a a-additive measure (which we will denote by the same symbol m). An outer measure m is called (I) Borel if all Borel sets are m-measurable; (2) metric if m(EUF) = m(E) +m(F) for any positively separated sets E and F (i.e., p(E, F)= inf{p(x, y): x E E, y E F} > 0); (3) regular if for any A C X there exists an m-measurable set E containing A for which m(A) = m(E). One can prove that any metric outer measure is Borel.
2. Borel Density Lemma (Gu]. We state the result known in the general measure theory as the Borel Density Lemma We present it in the form which best suits to our purposes.
Borel Density Lemma. Let A C X be a measurable set of positive measure. Then for p.-almost every x E A, lim p.(B(x, r) n A) = 1. p.(B(x, r))
r->0
Furthermore, tf J.t(A) > 0 then for each o> 0 there is a set t. c A with ~J-(t..) p.(A)- and a number ro > 0 such that for all x E t. and 0 < r < ro, 1 p.(B(x, r) n A) 2: /.L(B(x, r)).
o
2
293
>
Appendix V
294
3. Covering Results [F4], [Fe]. In the general measure theory there is a number of "covering statements" which describe how to obtain an "optimal" cover from a given one. We describe two of them which we use in the book. Consider the Euclidean space lRm endowed with a metric p which is equivalent to the standard metric.
Vitali Covering Lemma. Let A be a collection of balls contained in some bounded region oflRm. Then there is a (finite or countable) disjoint subcollection B = {B;} C A such that
UBcU.B;, BEA
i
where B; is the closed ball concentric with B; and of four times the radius. be a set and r: Z --+ JR+ a Besicovitch Covering Lemma. Let Z c r bounde.d function. Then the cover g = {B(x, r(x)) : x E Z} contains a finite or countable .mbcover of finite multiplicity which depends only on m. As an immediate consequence of the Besicovitch Covering Lemma we obtain that for any set Z c r and e > 0 there exists a cover of Z by balls of radius e of finite multiplicity which depends only on m.
4. Cohomologous Functions [Rl]. Two functions cp 1 and cp 2 on a compact metric space X are called cohomologous if there exist a Holder continuous function "1: X --+ lR and a constant C such that cpl - cp2 = "' - 1J 0 f + c. In this case we write cp 1 "' cp 2 • If the above equality holds with G = 0 the functions are called strictly cohomologous. We recall some well-known properties of cohomologous functions: (1) if cp 1 "'cp2 then for every x EX, I n-1 lim - L[cpt(x)- cp2(x)] = C;
n---too
n
k=O
(2) cp1 ,...., cp2 if and only if equilibrium measures of cp1 and cp2 on X coincide; (3) if the functions cp1 and cp 2 are strictly cohomologous then Px(cp1 ) = Px(cp2)· 5. Legendre Transform (Ar]. We remind the reader of the notion of a Legendre transform pair of functions. Let h be a strictly convex C 2-function on an interval I, i e., h"(x) > 0 for all x E 1. The Legendre transform of h is the differentiable function g of a new variable p defined by (A5.1) g(p) = max(px- h(x)). :tEl
One can show that: 1) g is strictly convex; 2) the Legendre transform is involutive; 3) strictly convex functions h and g form a Legendre transform pair if and only if g(a) = h(q) + qa, where a(q) = -h'(q) and q = g'(a).
Bibliography
[AKM] [AY] [Ar] [B] [Ba]
[Bar1]
[Bar2]
[BPS1]
[BPS2]
(BPS3]
(BSJ
(Bi] [BGHJ
[Bot] [Bo1]
R. L. Adler, A. G. Konheim, M. H. McAndrew: Topological entropy. Trans. Amer. Math. Soc. 114 (1965), 309-319. J. C. Alexander, J. A Yorke: Fat Baker's Transformations Ergod. Theory and Dyn. Syst. 4 (1984), 1-23. V. I. Arnold: Mathematical Methods of Classical Mechanics. SpringerVerlag, Berlin-New York, 1978. V. Bakhtin: Properties of Entropy and Hausdorff Measure. Vestnik. Moscow. Gos. Univ. Ser. I, Mat. Mekh. {in Russian), 5 {1982), 25-29. M. Barnsley. R. Devaney, 8. Mandelbrot, H. 0. Peitgen, D. Saupe, R. Voss: The Science of Fractal Images. Springer-Verlag, Berlin-New York, 1988. L. Barreira: Cantor Sets with Complicated Geometry and Modeled by General Symbolic Dynamics. Random and Computational Dynamics, 3 {1995), 213-239. L. Barreira: A Non-additive Thermodynamic Formalism and Applications to Dimension Theory of Hyperbolic Dynamical Systems. Ergod. Theory and Dyn. Syst. 16 (1996), 871-928 L Barreira, Ya Pesin, J. Schmeling: On the Pointwise Dimension of Hyperbolic Measures -A Proof of the Eckmann-Ruelle Conjecture. Electronic Research Announcements, 2:1 (1996), 69--72. L. Barreira, Ya. Pesin, J. Schmeling: On a General Concept of Multifractality: Multifractal Spectra for Dimensions, Entropies, and Lyapunov Exponents. Multifractal Rigidity. Chaos, 7:1 (1997), 27-38. L Barreira, Ya. Pesin, J Schmeling: Multifractal Spectra and Multifractal Rigidity for Horseshoes. J. of Dynamical and Control Systems, 3:1 {1997), 33-49. L Barreira, J. Schmeling: Sets of "Non-typical" Points Have Full Hausdorff Dimension and Full Topological Entropy Preprint, 1ST, Lisbon, Portugal; WIAS, Berlin, Germany. P. Billingsley: Probability and Measure. John Wiley & Sons, New York-London-Sydney, 1986. F. Blanchard, E. Glasner, D. Host: A Variation on the Variational Principle and Applications to Entropy Pairs. Ergod. Theory and Dyn. Syst. 17 {1997), 29-43 H. G. Bothe: The Hausdorff Dimension of Certam Solenoids. Ergod. Theory and Dyn. Syst. 15 {1995), 449-474. R. Bowen: Topological Entropy for Non-compact Sets. 1rans. Amer. Math. Soc. 49 {1973), 125-136. 295
296 (Bo2]
[Bo3] [BK]
[C) (CG] (CM] (CE] [CLP] (Cu] (EP] (ER] [EM] [Erl] [Er2] [F1] [F2] {F3] [F4] [F5] [Fe] [Fr]
[Fu]
R. Bowen: Equilibrium States and the Ergodic Theory of Anosov Dif-
feomorphisms Lecture Notes in Mathematics, Springer-Verlag, BerlinNew York. R. Bowen: Hausdorff Dimeill:!ion of Quasi-circles. Publ. Math. IHES, 50 (1979), 259-273. M. Brin, A. Katok: On Local Entropy. Lecture Notes in Mathematics, Springer-Verlag, Berlin-New York. C. Caratheodory: Uber das Lineare Mass. Giittingen Nachr (1914), 406-426. L. Carleson, T. Gamelin: Complex Dynamics. Springer-Verlag, BerlinNew York, 1993. R. Cawley, R. D. Mauldin: Multifractal DecompositiOill:! of Moran Fractals. Advances in Math. 92 (1992), 196-236. P. Collet, J.-P Eckmann: Iterated Maps on the Interval as Dynamical Systems. Progress in Physics. Birkhii.user, Boston, 1980. P. Collet, J. L. Lebowitz, A. Porzio: The Dimension Spectrum of Some Dynamical Systems. J. Stat. Phys. 47 (1987), 609-644. C. D. Cutler: Connecting Ergodicity and Dimension in Dynamical Systems Ergod. Theory and Dyn. Syst. 10 (1990), 451-462. J. P. Eckmann, I. Procaccia: Fluctuations of Dynamical Scaling Indices in Nonlinear Systems. Phys. Rev. A 34 (1986), 659-661. J. P. Eckmann, D. Ruelle. Ergodic Theory of Chaos and Strange Attractors. 3, Rev. Mod. Phys. 57 (1985), 617-656. G. A. Edgar, R. D Mauldin: Multifractal Decompositions of Digraph Recursive Fractals. Proc. London Math. Soc. 65:3 (1992), 604-628. P. Erd5s: On a Family of Symmetric Bernoulli Convolutions. Amer. J. Math. 61 (1939), 974-976. P. Erdos: On the Smoothness Properties of a Family of Symmetric Bernoulli Convolutions. Amer J. Math. 62 (1940), 18D-186. K. Falconer: Hausdorff Dimension of Some Fractals and Attractors of Overlapping Construction. J. Stat. Phys. 47 (1987), 123-132. K Falconer: The Hausdorff Dimension of Self-affine Fractals Math. Proc. Camb. Phil. Soc. 103 (1988), 339-350. K. Falconer: A subadditive thermodynarmc formalism for mixing repellers. J. Phys. A: Math. Gen. 21 (1988), L737-L742. K. Falconer: Dimension and Measures of Quru;i Self-similar Sets. Proc. Amer. Math. Soc 106 (1989), 543-554. K. Falconer: Fractal Geometry, Mathematical Foundations and Applications. John Wiley & Sons, New York-London-Sydney, 1990. H. Federer: Geometric Measure Theory. Springer-Verlag, Berlin-New York, 1969. 0. Frostman: Potential d'Equilibre et Capacite des Ensembles avec Quelques Applicatioill:! ala Theorie des Fonctions. Meddel. Lunds Univ. Math. Sem. 3 (1935), 1-118. H. Furstenberg: Disjointness in Ergodic Theory, Mirumal Sets, and a Problem in Diophantine Approximation. Mathematical Systems Theory, 1 (1967), 1-49.
297 D. Gatzouras, Y. Peres: Invariant Measures of Full Dimension for Some Expanding Maps. Preprint, Univ. of California, Berkeley CA, USA. (G] P. Grassberger: Generalized Dimension of Strange Attractors. Phys. Lett. A 97:6 (1983), 227-230. [GP] P. Grassberger, I. Procaccia: Characterization of Strange Attractors. Phys. Rev. Lett. 84 (1983), 346-349. [GHP) P. Grassberger, I. Procaccia, G. Hentschel· On the Characterization of Chaotic Motions. Lect. Notes Physics, 179 (1983), 212-221. [GOY) C. Grebogi, E. Ott, J. Yorke. Unstable Periodic Orbits and the Dimension of Multifractal Chaotic Attractors. Phys. Rev. A 37:5 (1988), 1711-1724. [GY] M. Guysinsky, S. Yaskolko: Coincidence of Various Dimensions Associated With Metrics and Measures on Metric Spaces. Discrete and Continuous Dynamical Systems, (1997) [Gu] M. de Guzman: Differentiation of Integrals in Rn. Lecture Notes in Mathematics, vol. 481. Springer-Verlag, Berlin-New York, 1975. [HJKPS) T. C Halsey, M. Jensen, L. Kadanoff, I. Procaccia, B. Shraiman: Fractal Measures and Their Singularities: The Characterization of Strange Sets. Phys. Rev. A 33:2 (1986), 1141-1151. [Ha) B Hasselblatt: Regularity of the Anosov Splitting and of Horospheric Fol!ations. Ergod. Theory and Dyn. Syst. 14 (1994), 645-666. [H] F. Hausdorff: Dimension und Ausseres Mass. Math. Ann. 79 (1919), 157-179. [HPJ H. G. E. Hentschel, I. Procaccia: The Infinite Number of Generalized Dimensions of Fractals and Strange Attractors. Physzca D, 8 (1983), 435-444. [II] Y. Il'yashenko: Weakly Contracting Systems and Attractors of Galerkin Approximations of Navier-Stokes Equations on the Two-Dimensional Torus. Selecta Math. Sov. 11:3 (1992), 203-239. [K] A. Katok: Bernoulli Diffeomorphisms on Surfaces. Ann. of Math. 110:3 (1979), 529-547. [JW) B. Jessen, A. Wintner: Distribution Functions and the Riemann Zeta Function. Trans. Amer. Math Soc 38 (1938), 48-88. [KH] A. Katok, B. Hasselblatt: Introduction to the Modem Theory of Dynamical Systems. Encyclopedia of Mathematics and its Applications, vol. 54. Cambridge University Press, London-New York, 1995. [Ki] Y. Kifer: Characteristic Exponents of Dynamical Systems in Metric Spaces. Ergod. Theory and Dyn. Syst. 3 (1983), 119-127. [Kr] S. N. Krllllhkal'. Quasi-confur·rnal Mapping~; and Riemann Su1faces. John Wiley & Sons, New York-London-Sydney, 1979. [LG) S P. Lalley, D. Gatzouras: Hausdorff and Box Dimensions of Certain Self-affine Fractals. Indiana Univ. Math. J. 41 (1992), 533-568. [LN] Ka-Sing Lau, Sze-Man Ngai: Multifractal Measures and a Weak Separation Condition. Preprint, Univ. of Pittsburgh, Pittsburgh PA, USA. [L) F. Lcdrappier: Dimension of Invariant Measures. Proceedings of the Conference on Ergodic Theory and Related Topics. vol. 11, pp. 116-124. Teubner, 1986. (GaP]
298
(LM]
[LP] (LY]
(Lo] [M1] (M2]
[M] [Mal]
[Ma2] [Mas] (MW]
[MM] [Mu]
[Mi] [Mo]
[0] (PV]
[Pa] [PaPo] [Pl]
[P2]
[P3]
F. Ledrappier, M. Misiurewicz: Dimension of Invariant Measures for Maps with Exponent Zero. Ergod. Theory and Dyn. Syst. 5 (1985), 595-610. F. Ledrappier, A. Porzio: Dimension Formula for bernoulli Convolutions J. Stat. Phys. 76 (1994), 1307-1327. F Ledrappier, L.-S. Young: The Metric Entropy of Diffeomorphisms. Part II Ann of Math. 122 (1985), 540-574 A Lopes: The Dimension Spectrum of the Maximal Measure. SIAM J. Math. Analysis, 20 (1989), 1243-1254. B. Mandelbrot: The fractal Geometry of Nature. W. H. Freeman & Company, New York, 1983 B. Mandelbrot: Fractals and Multifractals. Springer-Verlag, Berlin-New York, 1991. R. Maiie: Ergodic Theory and Differentiable Dynamics. Springer-Verlag, Berlin-New York, 1987. A. Manning: A Relation between Lyapunov Exponents, Hausdorff Dimension, and Entropy. Ergod. Theory and Dyn. Syst. 1 (1981), 451-459. A. Manning: The Dimension of the Maximal Measure for a Polynormal Map. Ann. of Math. 119 (1984), 425-430. B. Maskit: Kleinian Groups. Springer Verlag, Berlin-New York, 1988 R. Mauldin, S. Williams: Hausdorff Dimension in Graph Directed Constructions. 'lrans. Amer. Math. Soc. 309 (1988), 811-829. H. McCluskey, A. Manning: Hausdorff Dimension for Horseshoes. Ergod. Theory and Dyn. Syst 3 (1983), 251-260. C. McMullen: The Hausdorff Dimension of General Sierpinski Carpets Nagoya Math. J. 96 (1984), 1-9. M. Misiurewicz Attracting Cantor Set of Positive Measure for a C 00 -map of an Interval. Ergod. Theory and Dyn Syst. 2 (1982), 405-415 P. Moran: Additive Functions of Intervals and Hausdorff Dimension. Math. Proc Camb. Phil. Soc. 42 (1946), 15-23. L. Olsen: A Multifractal Formalism. Advances in Math. 116 (1995), 82-196. J. Palis, M. Viana: On the Continuity of Hausdorff Dimension and Limit Capacity of Horseshoes. Lecture Notes in Mathematics, SpringerVerlag, Berlin-New York. W. Parry· Symbolic Dynamics and Transformations of the Unit Interval. 1rans. Amer. Math. Soc. 122 (1966), 368-378 W. Parry, M. Pollicott: Zeta Functions and the Periodic Orbit Structures of Hyperbolic Dynamics. Astensque, 187-189 (1990). Ya. Pesin: Lyapunov Characteristic Exponents and Smooth Ergodic Theory. Russian Math Surveys, 32 (1977), 55-114 Ya. Pesin: Dimension Type Characteristics for Invariant Sets of Dynamical Systems. Russian Math. Surveys, 43:4 (1988), 111-151. Ya. Pesin: On Rigorous Mathematical Definition of Correlation Dimension and Generalized Spectrum for Dimensions. J Stat. Phys. 7:3-4 (1993), 529-547.
299 (PP)
[PT]
[PWl)
(PW2)
[PW3]
[PY]
(PoW] [PS]
[PU] [PUZ]
[RaJ (R)
[Ri] [Ro] [Rl] [R2] [S] [SY] [Sch]
Ya. Pesin, B. Pitskel': Topological Pressure and the Variational Principle for Non-compact Sets. Functional Anal. and Its Applications, 18:4 (1984), 5o-63. Ya. Pesin, A. Tempelman: Correlation Dimension of Measures Invariant Under Group Actions. Random and Computational Dynamics, 3:3 (1995), 137-156. Ya. Pesin, H. Weiss: On the Dimension of Determinib-tic and Random Cantor-like Sets, Symbolic Dynamics, and the Eckmann-Ruelle Conjecture. Comm. Math. Phys. 182:1 (1996), 105-153 Ya. Pesin, H. Weiss: A Multifractal Analysis of Equilibrium Measures for Conformal Expanding Maps and Markov Moran Geometric Constructions. J. Stat. Phys. 86:1-2 (1997), 233-275. Ya. Pesin, H. Weibl>: The Multifractal Analy::.is of Gibbs Mt>.asures: Motivation, Mathematical Foundation, and Examples Chaos, 7:1 (1997), 89-106. Ya. Pesin, Ch. Yue: Hausdorff Dimension of Measures with Non-zero Lyapunov Exponents and Local Product Structure. Preprint, Penn State Univ, University Park PA, USA. M. Pollicott, H. Weiss: The Dimensions of Some Self-affine Limit Sets in the Plane and Hyperbolic Sets J Stat. Phys. (1993), 841-866 L. Pontryagin, L. Shnirel'man: On a Metnc Property of Dimension. Appendix to the Russian translation of the book "Dimension Theory" by W. Hurewicz, H. Walhman, Princeton Univ. Press, Princeton, 1941. F Przytycki, M Urbanski: On Hausdorff Dimension of Some Fractal Sets. Studia Mathematzca, 93 (1989), 155-186. F. Przytycki, M. Urbanski, A. Zdunik: Harmonic, Gibbs, and Hausdorff Measures on Repellers for Holomorphic Maps, I. Ann. of Math. 130 (1989), 1-40. D. Rand: The Singularity Spectrum for Cookie-Cutters. Ergod. Theory and Dyn. Syst. 9 (1989), 527-541. A. R.enyi. Dimension, Entropy and Information. Trans. 2nd Prague Conf on Information Theory, Stat~tical Decision Functions, and Randone Processes, (1957), 545-556. R. Riedi: An Improved Multifractal Formalism and Self-similar Measures. J. Math. Anal. Appl. 189 2 (1995), 462-490. C. Rogers: Hausdorff Measures. Cambridge Univ. Press, London-New York, 1970 D. Ruelle. Thermodynamic Formalism. Addison-Wesley, Reading, MA, 1978. D. Ruelle: Repellers for Real Analytic Maps. Ergod. Theory and Dyn. Syst. 2 (1982), 99-107. R. Salem: Algebrruc Numbers and Fourier Transformations. Heath Math. Monographs 1962. T. Sauer, J Yorke: Are the Dimensions of a Set and Its Image Equal under Typical Smooth Functions?. Ergod. Theory and Dyn. Syst. (1997). J. Schmeling: On the Completeness of Multifractal Spectra Preprint, Free Univ., Berlin, Germany.
300 (Sc] [Sh]
(Shi] (Sim1] (Sim2] [Si] (Sm]
[So] [St] (T1] [T2]
(Tel] [Vl] (V2] [WJ [We]
[Y1] [Y2] [Z]
(W]
M. Schriieder: Fractals, Chaos, Power, Laws. W. H. Freeman & Company, New York, 1991. M. Shereshevsky: A Complement to Young's Theorem on Measure Dimension: The Difference between Lower and Upper Pointwise Dimensions. Nonlineanty, 4 (1991), 15-25. M. Shishikura: The Boundary of the Mandelbrot Set Has Hausdorff Dimension Two. Astensque, 7 (1994), 389--405. K. Simon: Hausdorff Dimension for Non-invertible Maps. Ergod. Theory and Dyn. Syst. 13 (1993), 199-212. K. Simon: The Hausdorff Dimension of the General Smale-Williams Solenoid. Proc. Amer. Math. Soc (1997) D. Simpelaere: Dimension Spectrum of Axiom A Diffeomorphisms. II. Gibbs Measures. J. Stat. Phys. 76 (1994), 1359--1375. S. Smale: Diffeomorphisms with Many Periodic Points. In In Differential and Combinatonal Topology, pp. 63-80. Princeton Univ. Press, Princeton, NJ, 1965. B. Solomyak: On the Random Series L +>.n (An Erdos Problem). Ann. of Math. 142 (1995), 1-15. S. Stella: On Hausdorff Dimension of Recurrent Net Fractals. Proc. Amer. Math. Soc. 116 (1992), 389--400. F. Takens: Detecting Strange Attractors in Turbulence. Lecture Notes in Mathematics, Springer-Verlag, Berlin-New York. F. Takens: Limit Capacity and Hausdorff Dimension of Dynamically Defined Cantor Sets. Lecture Notes in Mathematics, Springer-Verlag, Berlin-New York. T. Tel: Dynamical Spectrum and Thermodynamic Functions of Strange Sets From an Eigenvalue Problem. Phys. Rev. A 36:5 (1987), 2507-2510. S. Vaienti: Generalized Spectra for Dimensions of Strange Sets. J. Phys. A 21 (1988), 2313-2320. S. Vaienti: Dynamical Integral 'Ifansform on Fractal Sets and the Computation of Entropy. Physica D, 63 (1993), 282-298. P. Walters: A Variational Principle for the Pressure of Continuous 'Ifansformations. Amer. J. Math. 97 (1971), 937-971. H. Weiss: The Lyapunov and Dimension Spectra of Equilibrium Measures for Conformal Expanding Maps. Preprint, Penn State Univ., University Park PA, USA L.-S. Young: Capacity of Attractors Ergod. Theory and Dyn. Syst. 1 (1981), 381-388. L.-S. Young. Dimension, Entropy, and Lyapunov Exponents. Ergod. Theory and Dyn. Syst 2 (1982), 109--124. A. Zdunik: Harmonic Measure Versus Hausdorff Measures on Repellers for Holomorphic Maps. Trans. Amer. Math. Soc. 2 (1991), 633-652. A. Wintner: On Convergent Poisson Convolutions. Amer. J. Math. 57 (1935), 827-838
Index
Axiom A diffeomorphlsm, 228 u ( 8)-conformal, 230
coding map, 117, 229, 239 conformal map, 199 repeller, 199 toral endomorphism, 202 j-coordinate, 100 correlation sum, 174, 177, 181 cylinder (cylinder set), 100, 101
baker's transformation classical, 244 fat, 245 generalized, 244 skinny, 245 slanting, 246 basic set, 117, 190 Besicovitch cover, 31 Bowen's equation, 100 box dimension of a measure, 41, 61 of a set, 36, 61 BS-box dimension of a measure, 112 of a set, 111 q-box dimension of a measure, 58 of a set, 52, 62 (q, 1)-box dimension of a measure, 57, 63 of a set, 49, 62
0!-density, 45 dimension box of a measure, 61 of a set, 61 Caratheodory of a measure, 21, 67 of a set, 14, 66 pointwise, 24, 67 correlation at a point, 174, 178, 179 of a measure, 178 specified by the data, 181 Hausdorff of a measure, 41, 61 of a set, 36, 61 information, 186, 224, 256 pointwise, 42, 61, 143, 223, 254 BS-dimension of a measure, 112 of a set, 111 q-dimension of a measure, 58 of a set, 52, 62 (q, 1 )-dimension of a measure, 57, 63 of a set, 49, 62 pointwise, 58
CaratModory capacity of a measure, 22, 67 of a set, 16, 67 dimension of a measure, 21, 67 of a set, 14, 66 dimension spectrum, 32 dimension structure, 12, 66 measure, 13 outer measure, 13 pointwise dimension, 24, 67 chain topological Markov, 101 301
302 entropy capacity topological, 75 with respect to a cover, 77 measure-theoretic, 77 of a partition, 186 topological, 75 with respect to a cover, 77 equilibrium measure, 97 estimating vector, 134 expanding map, 146, 189, 197 expansive homeomorphism, 97 function stable, unstable, 105 geometric construction associated with Schottky group, 151 Markov, 118 Moran, 120 Moran-like asymptotic, 275 with non-stationary ratio coefficients, 121 with stationary (constant) ratio coefficients, 120, 152 regular, 122, 134 self-similar, 122, 133 simple, 118 sofic, 118 symbolic, 118 with contraction maps, 122, 150 with ellipsis, 138 with exponentially large gaps, 156 with quasi-conformal induced map, 145 with rectangles, 153 geometry of a <'onstruction, 118 Gibbs measure, 102, 103 grid, 184 group Kleinian, 151 reflection, 152 Schottky, 151 Hausdorff dimension of a measure, 41, 61 of a set, 36, 61
Index
measure, 36, 61 outer measure, 35, 61 holonomy map, 281 horseshoe,238 linear, 240 hyperbolic attractor, 292 measure, 279 set, 227 locally maximal, 227 induced map, 122, 145, 203 irregular part, 171, 188, 222, 225, 254, 256, 259, 264 Julia set, 201 Kleinian group, 151 length of string, 68 limit set, 118 local entropy, 260 Lyapunov exponent, 223, 279 Mandelbrot set, 207 manifold stable, unstable global, 228 local, 227 map coding, 117,229,239 conformal, 199 conformal affine, 133 expanding, 146, 189, 197 induced, 122, 145, 203 one-dimensional Markov, 201 quasi-conformal, 147, 191 weakly-conformal, 191 Markov partition, 189, 228 mass distribution principle non-uniform, 43 uniform, 43 matrix irreducible, 101 transfer, 101 transitive, 101 measure (g, G)-full, 260 a-Caratheodory outer, 13 a-Hausdorff, 36, 61
Index outer, 35, 61 Caratheodory, 13 diametrically regular, 55, 62, 212 doubling, 55 equilibrium, 97 exact dimensional, 44 Federer, 55 Gibbs, 102, 103 hyperbolic, 279 of full Caratheodory dimension, 33 of full dimension, 129 of maximal entropy, 99 Sinai-Ruelle-Bowen (SRB), 281 (q, /')-measure, 49 Moran cover, 120, 124, 141, 200, 231 multiplicity factor, 124, 141, 201, 232 multifractal analysis, 173, 213, 249 classification, 267 decomposition, 171, 222, 225, 253, 256, 259 rigidity, 266 spectrum, 259 structure, 171, 259 point irregular, 47 regular, 47 potential principle, 44 potential theoretic method, 44 pressure capacity topological, 70 non-additive, 84 topological, 70 non-additive, 84 pressure function, 106 ratio coefficients, 120, 123, 133 rectangle, 189, 228, 281 reflection group, 152 repeller, 197 conformal, 199 scaling exponents, 170 Schottky group, 151 separation condition, 117
303 sequence of functions additive, 85 sub-additive, 85 set basic, 117, 190 hyperbolic, 227 locally maximal, 227 invariant, 100 metrically irregular, 95, 264, 265 a-set, 47 shift one-sided, 100, 101 two-sided, 102 Sierpinski carpet, 157 similarity maps, 122 solenoid, 241 space isotropic, 62 metric Besicovitch, 62 of finite multiplicity, 61 spectrum complete, 189, 195, 221, 226, 258 dimension, 260 Caratheodory, 32 for Lyapunov exponents, 225,257, 258 for pointwise dimensions, 171, 188 entropy, 260 multifractal, 259 for local entropies, 261 for Lyapunov exponents, 261 for pointwise dimensions, 260 Renyi for dimensions, 172, 185 !,..(a)-spectrum, 171, 188 H P-spectrum for dimensions, 172, 182 modified, 183 string, 68 structure local product, 281 loeal semi-product, 281 multifractal, 171, 259 subordinated, 15 C-structure, 12, 66 subshift one-sided, 100
304
of finite type, 101 topologically mixing, 101 topologically transitive, 101 two-sided, 102 of finite type, 102 subspace stable, unstable, 227 symbolic dynamical system, 100 representation, 117 system even, 101 sofic, 101
Index
topological entropy, 75 with respect to a cover, 77 Markov chain, 101 pressure, 70 non-additive, 84 variational principle, 33 for topological entropy, 94 for topological entropy inverse, 83 for topological pressure, 88 non-additive, 99 for topological pressure inverse, 83