《Dimensions of average conformal repeller.doc》由会员分享，可在线阅读，更多相关《Dimensions of average conformal repeller.doc（18页珍藏版）》请在三一办公上搜索。
1、Dimensions of average conformal repellerJungchao BanDepartment of mathematics National Hualien University of Education Hualien 97003, Taiwan jcbanmail.nhlue.edu.twYongluo CaoDepartment of mathematicsSuzhou UniversitySuzhou 215006, Jiangsu, P.R.China ylcao, yongluocaoAbstract. In this paper, average
2、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
3、 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
4、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
5、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 topologi
6、cally 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
7、 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 appli
8、ed 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 pre
9、ssure. 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 +,
10、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
11、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(, ).
12、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.
13、 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 press
14、ure 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 ) deno
15、te 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 wi
16、th 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 manifol
17、d, 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 measu
18、res 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 obv
19、ious 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 ,
20、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 func
21、tion 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- sur
22、e . 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 im
23、plies 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 confor
24、mal.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
25、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, ) separ
26、ated 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 t
27、o 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 p
28、rove that for any m NP (f, F ) P (f,m ). mFor a fixed m, let n = ms + l, 0 l m. From the sup-additivity of n, we have1n(x) mm1 s2X Xm(fim+j1 (x) +mm1Xj (x) + mj+l (f(s1)m+j(x).j=0i=0j=0Let C1 = mini=1, ,2m1 minxX i(x). Then it has(sm+l)1 11sm1n(x) X m(f j (x) mj=0n1Xmj=(s1)mm(f j (x) + 2C1m m X 1 (f
29、j=0j (x) + 4C1.Hence we haven1 1mexp(n(x) exp(X m(f j (x) + 4C1 ).j=0ThusPn (F , )=supX exp n(x) : E is a (n, ) separated subset of X It impliesxE1 Pn( m m, ) exp(4C1).1P (f, F ) P (f, m m) .From the arbitrary of m Z +, we have1+P (f, F ) P (f, m m), for all m Z .By the variational principal in 16,
30、for every M(f ), we have1ZmP (f, F ) P (f,m) h(f ) +mMHence we have for every M(f )1n(x)d, m N.ThereforemP (f, F ) h(f ) + limZZ1n(x)d.M m1mP (f, F ) suph(f ) + limn(x)d, M(f )mMLet n(x) = t log m(Df n(x) for t 0. Then it is sub-additive. By the theorem in 5, we havemP (f, n) = suph(f ) + limZ1n(x)d
31、, M(f )mMBy the definitions, t log m(Df n(x) t log kDf n(x)k for t 0 implies thatP (f, F ) P (f, n).Theorem 3.2 implies that for any M(f ), it hasThereforelimmZ1n(x)d = limM m mZ1n(x)d.M mmP (f, F ) = suph(f ) + limThis completes the proof of theorem.Z1n(x)d, M(f ).mM5 The proof of main theoremIn this section, we will give the proof of main theorem. First we state some known results.In 1, Barreira prove the following theorem.Theorem 5.1. If f is a C 1 expanding map and is a repeller, thens1 dimH dimB dimB t1
