Dimensionsofaverageconformalrepeller.doc

dimensions of average conformal repellerjungchao bandepartment of mathematics national hualien university of education hualien 97003, taiwan .twyongluo caodepartment of mathematicssuzhou universitysuzhou 215006, jiangsu, p.r.china , abstract. in this paper, average conformal repeller is defined, which is generalization of conformal repeller. using thermodynamic formalism for sub-additive potential defined in 5, hausdorff dimension and box dimension of average conformal repellers are obtained. the map f is only needed c 1, without additional condition.key words and phrases hausdorff dimension, non-conformal repellers, topological pressure.1 introduction.in the dimension theory of dynamical systems, and in particular in the study of the hausdorff dimension of invariant sets of hyperbolic dynamics, the theory is only devel- oped to full satisfaction in the case of conformal dynamical systems (both invertible and non-invertible ). roughly speaking, these are dynamical systems for which at each point the rate of contraction and expansion are the same in every direction. bowen00 2000 mathematics subject classification: primary 37d35; secondary 37c45.133 was the first to express the hausdorff dimension of an invariant set as a solution of an equation involving topological pressure. ruelle 13 refined bowens method andobtained the following result. assume that f is a c 1+ conformal expanding map, isan isolated compact invariant set and f | is topologically mixing, then the hausdorff dimension of , dimh is given by the unique solution of the equationp (f | , log kdxf k) = 0(1.1)where p (f | , ) is the topological pressure functional. the smoothness c 1+ was re- cently relaxed to c 1 10.for non-conformal dynamical systems there exists only partial results. for example, the hausdorff dimension of hyperbolic invariant sets was only computed in some specialcases. hu 12 gave an estimate of dimension of non-conformal repeller for c 2 map.falconer 7, 8 computed the hausdorff dimension of a class of non-conformal repellers. related ideas were applied by simon and solomyak 15 to compute the hausdorffdimension of a class of non-conformal horseshoes in r3.for c 1 non-conformal repellers, in 17, the author uses singular values of the deriva-tive dxf n for all n z +, to define a new equation which involves the limit of a sequenceof topological pressure. then he shows that the unique solution of the equation is anupper bounds of hausdorff dimension of repeller. in 1, the same problem is con- sidered. the author bases on the non-additive thermodynamic formalism which wasintroduced in 2 and singular value of the derivative dxf n for all n z +, and givesan upper bounds of box dimension of repeller under the additional assumptions for which the map is c 1+ and -bunched. this automatically implies that for hausdorffdimension. in 9, the author defines topological pressure of sub-additive potential un- der the condition k(dxf )1k2kdxf k . for x xand r 0, definebn(x, r) = y x : f iy b(f ix, r), for all i = 0, , n 1.if is a real continuous function on x and n z +, letn1sn(x) = x (f i(x).i=0we definepn(, , ) = supx exp sn(x) : e is a (n, ) separated subset of x .xethen the topological pressure of is given by1p (f, ) = lim lim suplog pn(, ).0n nnext we give some properties of p (f, ) : c (m, r) r .proposition 1.1. let f : m m be a continuous transformation of a compact metrisable space m . if 1 , 2 c (x, r), then the followings are true:(1) p (f, 0) = htop(f ).(2) |p (f, 1) p (f, 2)| k1 2 k.(3) 1 2 implies that p (f, 1) p (f, 2).proof. see walters book 16.corollary 1. let f : m m be a continuous transformation of a compact metrisable space m . if c (m, r) and . a sub-additivevaluation on x is a sequence of functions n : m r such thatm+n(x) n(x) + m(f n(x),we denote it by f = n.in the following we will define the topological pressure of f = n with respect tof . we definepn(f , ) = sup xxeexp n(x) : e is a (n, ) separated subset of x .then the topological pressure of f is given by1p (f, f ) = lim lim suplog pn(f , ).0n nlet m(x ) be the space of all borel probability measures endowed with the weak* topology. let m(x, f ) denote the subspace of m(x ) consisting of all f -invariant measures. for m(x, f ), let h(f ) denote the entropy of f with respect to , and let f() denote the following limit1 zf() = limnd.n nthe existence of the above limit follows from a sub-additive argument. we call f() the lyapunov exponent of f with respect to since it describes the exponentially increasing speed of n with respect to .in 5, authors proved that the following variational principaltheorem 2.1. 5 under the above general setting, we havep (f, f ) = suph(t ) + f() : m(x, f ).3 average conformal repellerlet m be a c riemann manifold, dim m = m. let u be an open subset of m and let f : u m be a c 1 map. suppose u is a compact invariant set, that is, f = and there is k 1 such that for all x and v txm ,kdxf vk kkvk,where k.k is the norm induced by an adapted riemannian metric. let m(f | ), e (f ) denote the all f invariant measures and the all ergodic invariant measure supported on respectively. by the oseledec multiplicative ergodic theorem, for any e(f ), we can define lyapunov exponents 1() 2() n(), n = dimm .definition 3.1. an invariant repeller is called average conformal if for any e(f ),1() = 2() = = n() 0.it is obvious that a conformal repeller is an average conformal repeller, but reverse isnt true.next we will give main theorem.theorem 3.1. (main theorem) let f be c 1 dynamical system and be an average conformal repeller, then the hausdorff dimension of is zero t0 of t 7 p (tf ), wheref = log(m(dxf n), x , n n.(3.2)where m(a) = ka1k1the proof will be given in section 5.theorem 3.2. if be an average conformal repeller, then1uniformly on .limn n(log kdf n(x)k log m(df n(x) = 0proof. letfn(x) = log kdf n(x)k log m(df n(x), n n, x .it is obviously that the sequence fn(x) is a non-negative subadditive function se- quence. that is sayfn+m(x) fn(x) + fm(f n(x), x .suppose (3.2) is not true, then there exists 0 0, for any k n, there exits nk kand xnk such thatdefine measures1fnk (xnk ) 0.nknk 1n1nk =kxki=0f i (xn ).compactness of p (f ) implies there exists a subsequence of nk that converges to mea- sure . without loss of generality, we suppose that nk . it is well known that is f -invariant. therefore m(f ).for a fixed m, we havelimkz1fm(xnk )dnk =m mz1fm(xnk )d.m mit implieslimnk 1x1fm(f i(xnz) =1mjfm(x)d.1k nkkmi=0 mfor a fixed m, let nk = ms + l, 0 l 0.mthen ergodic decomposition theorem 16 implies that there exists e (f ) such that1 zlimfm(x)d 0 0.m m mon the other hand, from oseledec theorem and kingmans subadditive ergodic the-orem, we have lim 1 rlog kdf n(x)kd= n() and lim 1 rlog m(f n(x)d =m m m1(). thereforen() 1 () 0.m m mthis gives a contradiction to assumption of average conformal.4 sup-additive variational principalin this section, we first give the definition of sup-additive topological principal. then we prove the variational principal for special sup-additive potential.let f : x x be a continuous map. a set e x is called (n, ) separated set withiirespect to f if x, y e then dn(x, y) = max0in1 d(f x, f y) . a sup-additivevaluation on x is a sequence of functions n : m r such thatm+n(x) n(x) + m(f n(x),we denote it by f = n.in the following we will define the topological pressure of f = n with respectto f . we definep xn (f , ) = supxeexp n(x) : e is a (n, ) separated subset of x .then the topological pressure of f is given by1p (f, f ) = lim lim suplog pn(f , ).0n nfor every m(x, f ), let f() denote the following limit1 zf() = limn nnd.the existence of the above limit follows from a sup-additive argument. we call f()the lyapunov exponent of f with respect to since it describes the exponentiallyincreasing speed of n with respect to .theorem 4.1. let f be c 1 dynamical system and be an average conformal repeller, and f = n(x) = t log kdf n(x)k for t 0 be a sup-additive function sequence.then we havep (f, f ) = suph(t ) + f() : m(x, f ).proof. first we prove that for any m np (f, f ) p (f,m ). mfor a fixed m, let n = ms + l, 0 l 0, by the uniformly continuity of f , there exists 0 such that if e mis an (n, ) separated set of f 2k+1 , then e is an (2n, ) separated set of f 2k and 0when 0. using the subadditivity of n, the birkhoff sum sn2k+1 of 2k+1 with respect to f 2k+1 has the following property:2k+1sn2k+1 (x) =2k+1 (x) + 2k+1 (fk+12x) + + 2k+1 (f(n1)x)k 2k (x) + 2k (f 2x) + 2k (f 2k+1k+12k2x) + 2k (ffx)2k+1+ + 2k (f=s2n2k (x)(n1)x) + 2k (f 2k+1(n1) f 2k x)kwhere s2n2k (x) is the birkhoff sum of 2k with respect to f 2 .thushencek+12kpn(f, 2k+1 , ) p2n(f 2, 2k , ).2kp (f 2k+1 , 2k+1 ) 2p (f 2k , ).therefore if s2k+1 is the unique root of bowens equation p (t2k+1 ) = 0, then wehave0 = p (f 2k+1 , s2k+12k+1 ) 2p (f 2k , s2k+12k ).2kthe monotone decreasing of the function p (f 2k , t) implies that s2k s2k+1 .the arbitrariness of k implies that the sequence s2k monotone decreasing.next we prove thatkp (f, f ) 1 p (fk , k ) k n.for a fixed k n, let n = km + r, 0 r 0, by the uniformly continuity of f , there exists 0 such that if e m isan (n, ) separated set of f , then e is an (m, ) separated set of f k and 0 when 0. using the sup-additivity of n, we haven(x) k (x) + k (f k (x) + + k (f (m1)k (x) + r (f mk (x).thusp n (f, f , ) pm(fk , k , ) ec .henceit gives thatkp (f, f , ) 1 p (f 1k , k , ).kthereforep (f, f ) k p (fk1, k ).p (f, f ) 2k p (flet tf = tn(x). then we have2 , 2k ) k n.1p (f, s2k f ) 2k p (fk2 , s2k 2k ) = 0k n.the monotone decreasing of p (f, tf ) with respect to t implies that the unique roots of the equationsatisfiesthusp (f, tf ) = 0s s2kk n.next we want to prove thatfor a fixed m,s s = limk+s s.s2k .1m2m p (f2 , s2m 2m ) = 0mu