arxiv: v1 [math.ds] 1 Oct 2014

Transcription

1 A NOTE ON THE POINTS WITH DENSE ORBIT UNDER AND MAPS arxiv: v1 [math.ds] 1 Oct 014 AUTHOR ONE, AUTHOR TWO, AND AUTHOR THREE Abstract. It was conjectured by Furstenberg that for any x [0,1]\Q, dim H { n x(mod 1) : n 1}+dim H { n x(mod 1) : n 1} 1. When x is a normal number, the above result holds trivially. In this note, we give explicit non-normal numbers for which the above dimensional formula holds. 1. Introduction Let b be an integer and T b be the b-ary expansion given by Tx = bx (mod 1). x is a real number given by its b ary expansion, that is, x = x + a k b k = x +0.a 1a k 1 where the digit a 1,a, are integers from {0,1,...b 1} and an infinity of the a k are not equal to b 1. Set A b (d,n,x) := Card{j : 1 j N,a j = d}. More generally, for a block D k = d 1 d k of k digits from {0,1,,b 1}, set A b (D k,n,x) := Card{j : 0 j N k,a j +1 = d 1,,a j+k = d k } A real number x is normal to base b, if and only if, for every k 1, every block of k digits from {0,1,...b 1} occurs in the b ary expansion of x with the same frequency 1, that is, if and only if, b k A b (D k,n,x) lim = 1 n N b k for every k and every block D k of k digits from {0,1,...b 1}. Given one integer b, the dynamical properties of the orbit Tb n (x) were well studied in the literature and are clearly known at least for almost all x. However, as far as two integers b 1 and b are concerned (assume that they are multiplicatively independent), the properties of the orbits Tb x 1 (x) and Tb (x) with a common point x is far from being well understood. Very little is known on this topic. Intuitively, if Date: December 6, Mathematics Subject Classification. Primary 05C8, 15A15; Secondary 05A15, 15A18. Key words and phrases. Hausdorff dimension, dense of the orbit. Thanks for Author One. Thanks for Author Two. This paper is in final form and no version of it will be submitted for publication elsewhere. 1

2 AUTHOR ONE, AUTHOR TWO, AND AUTHOR THREE the expansion of x under T b1 is simple, it cannot be too simple under T b (for some evidence see []). And the normality of a number is closely related to his expansion to different bases([],[?]), nowdays, the investigate of normal number has been used to resolve the problems in dynamical system and ergodic. Furstenberg conjectured that [1]: for any x [0, 1]\Q, dim H { n x(mod 1) : n 1}+dim H { n x(mod 1) : n 1} 1. It is clear that this is true for almost all x, since almost all x are normal numbers. So, a natural question is to ask, besides normal numbers, can one give explicit examples fulfilling the above conjecture. In this short note, we proof there exist a set E of full dimension which make Furstenberg conjectured hold.. Some notation We use C 1 and C to denote the collection of finite -adic and -adic words respectively, i.e. C 1 = ( {0,1} n ), C = ( n 1 n 1{0,1,} n ). Let A = (w 1,v 1,w,v, ), where w i C 1 and v i C, be an enumeration of the words in C 1 and C such that each word in C 1 and C appears infinitely many times in A. Let T x = x (mod 1) and T x = x (mod 1),x [0,1] be the and maps. w : the length of the word w; ξ : the integer part of a real number ξ; 0 m : a word of length m composed by 0. r i : the integer w i +(+ v i )log +; For u C 1 and v C, the -adic cylinder and -adic cylinder are defined as [u] := {x [0,1] : the -adic expansion of x starts with u}, [v] := {x [0,1] : the -adic expansion of x starts with v}.. Main results Theorem 1. There exist a Cantor set E composed of nonnormal numbers such that for all x E, 1: { n x(mod 1) : n 1} = [0,1] and { n x(mod 1) : n 1} = [0,1]. : dim H E = 1. The construction of the Cantor set E is divided into three steps. Recall that A = {w 1,v 1,w,v, } be an enumeration of the elements in w C 1 and v C such that each element in C 1 C appears infinitely many times. Fix an integer m 1. Choose a sequence of integers {l k } k 1,{ } k 1 such that (.1) = l k m, lim k r 1 + +r k = 0. For each k 1, write } (.) C1 := {(i 1,,i nk ) C 1 : i lm+1 = i lm+m = 1,0 l < l k. Step 1: the first level of the Cantor set.

3 SHORT TITLE For each (i (1) ) C 1, consider the -adic cylinder Let r 1 be the integer such that ( ) r1 1 [i (1),w 1 ]. ( ) n1+ w 1 1 < ( ) r Then the -adic cylinder [i (1),w 1 ] will contain at least one -adic cylinder of order r 1. Denote by [ǫ 1 ] such a -adic cylinder (if there are many, just choose one). It should be mentioned that r 1 does not depend on (i (1) ) but ǫ 1 does. This dependence will not play a role in the following argument, thus will not be explicitly addressed. Now consider the -adic subcylinder [ǫ 1,v 1 ] contained in [ǫ 1 ]. Similarly, let t 1 be the integer such that ( ) t1 1 ( ) r1+ v 1 1 < ( ) t Then choose a -adic cylinder [η 1 ] of order t 1 contained in [ǫ 1,v 1 ], so contained in the -adic cylinder [i (1),w 1 ]. Thus we can write this -adic cylinder [η 1 ] as [η 1 ] = [i (1),w 1,ṽ 1 ], to emphasize its dependence on v 1. Now we have the following inclusions: (.) [i (1),w 1,ṽ 1 ] [ǫ 1,v 1 ] [i (1),w 1 ]. A simple calculation can give us an estimation on the integer t 1 : + w 1 +( v 1 +1) log log +1 t 1 < + w 1 +( v 1 +) log log +. The first level of E is defined as F 1 = (i (1) 1 i(1) ) C 1 [i (1),w 1,ṽ 1 ], which is a collection of -adic cylinders of order t 1. Step k: the k-level of the Cantor set. This is an inductive step. Assume that the (k 1)th level F k 1 has been constructed, which is a collection of -adic cylinders [η k 1 ] of order t k 1. Now we construct the kth level F k. Fix an element [η k 1 ] F k 1. Foreach (i (k) ) C 1, considerthe -adic cylinder [η k 1,i (k),w k ]. Similar as in Step 1, let r k be the integer such that ( ) rk ( ) tk 1 + w 1 1 k < ( 1 ) rk 1. Then there is a -adic cylinder, denoted by [ǫ k ], of order r k contained in the -adic cylinder [η k 1,i (k),w k ] (if there are many, just choose one).

4 4 AUTHOR ONE, AUTHOR TWO, AND AUTHOR THREE It should also be mentioned that r k does not depend on on (i (j) 1 i (j) n j ) for 1 j k but ǫ k does. This dependence will not play a role in the following argument, thus will not be explicitly addressed. Now consider the -adic subcylinder [ǫ k,v k ] contained in [ǫ k ]. Let t k be the integer such that ( ) tk ( ) rk + v 1 1 k ( ) tk 1 1 <. Then choose a -adic cylinder [η ] of order t k contained in [ǫ k,v k ], so contained in the -adic cylinder [η k 1,i (k),w k ]. Thus we can write this -adic cylinder [η k ] as [η k ] = [η k 1,i (k),w k,ṽ k ], to emphasize its dependence on v k. Now we have the following inclusions: (.4) [η k 1,i (k),w k,ṽ k ] [ǫ k,v k ] [η k 1,i (k),w k ]. A simple calculation can give us an estimation on the integer t k (replace the role of by t k 1, w 1 by w k, v 1 by v k ): (.5) t k 1 + w k + +( v k +1) log log +1 t k < t k 1 + w k + +( v k +) log log +. Let p i = w k,ṽ k = t k t k 1 r i. Thus it follows from (.5) and (.1) that w 1,ṽ w k,ṽ k r 1 + +r k (.6) lim lim = 0. k + + k + The kth level of E is defined as F k = [η k 1 ] F k 1 (i (k) 1 i(k) ) C 1 [η k 1,i (k) which is a collection of -adic cylinders of order t k. Finally, the desired Cantor set E is defined as E = E m, E m = [η k ]. m 1 k 1 [η k ] F k,w k,ṽ k ], The following three propositions correspond to the three items in Theorem 1. Propositio. Every point in E m is nonnormal. Proof. By the construction of E m, for each x E m, we express x by its -adic expansion as follows: x = [i (1),w 1,ṽ 1,,i (k),w k,ṽ k, ], where (i (k) ) C 1. We count the frequency of the word 0 m occurring in the -adic expansion of x. Recall the definition of C 1. Among the first t k 1 + terms in the -adic expansion of x, the number of the occurrence of 0 m will be less than p p k 1, Thus the frequency of the word 0 m occurring in the -adic expansion of x is less than lim inf k This shows that x is nonnormal. This shows that x is nonnormal. p p k 1 = 0.

5 SHORT TITLE 5 Proposition. For any x E, { n x(mod 1) : n 1} = [0,1], { n x(mod 1) : n 1} = [0,1]. Proof. Fix an x E. It is sufficient to show that for any -adic finite word w C 1 and v C, they appear infinitely often in the -adic expansion and the -adic expansion of x respectively. Recall the definition of A. It suffices to show that for each k 1, w k and v k appear in the -adic expansion and the -adic expansion of x respectively. This follows from (.4) by noticing that T r k x [v k], T t k 1+ (x) [w k ]. Proposition. For each m, dim H E m 1 /m. Proof. Recall the definition of C 1 (.). Write the points in E m by its -adic expansion: { [i (1),w 1,ṽ 1,,i (k),w k,ṽ k, ], (i (k) ) C } 1,k 1. Now we will distribute a measure uniformly distributed on the cylinders with nonempty intersection with E m. Thus we count the number of t-th cylinders which have nonempty intersection with E m for each t 1. We denote this number by b t. Recall the construction of the kth level F k of the Cantor set E m. We know that among the digit sequence of a point in E m, at the positions { } t k +lm+1,t k +(l+1)m,t k ,,t k ++1 +p k+1,0 l < l k+1,k 0, the digits are fixed, while at other positions, the digits can be chosen arbitrarily in {0,1}. Thus the numbers b t can be given as follows. (i). When t t 1 = +p 1 = l 1 m+p 1, b t = t l, when t = lm for 0 l < l 1 ; t l 1, when lm < t < (l+1)m for 0 l < l 1 ; l1m l1, when l 1 m t +p 1. (ii). When t k < t t k+1 = t k ++1 +p k+1 = t k +l k+1 m+p k+1, k j=1 t tk l, when t = t ljm lj k +lm for 0 l < l k+1 ; b t = k j=1 t tk l 1, when lm < t < (l+1)m for 0 l < l ljm lj k+1 ; k+1 j=1, when t ljm lj k ++1 t t k ++1 +p k+1. Thusforeach-adiccylinderI t with nonemptyintersectionwith E m, its measure can be given explicitly as µ(i t ) = b 1 t. As a consequence, together with (.6), we have (.7) lim inf t logµ(i t ) log I t = liminf t logb t tlog 1 m. So, using Billingsley s lemma [?]: Let A [0,1] be Borel and let µ be a finite Borel measure on [0,1]. Suppose µ(a) 0. If α liminf n logµ(i n (x)) log I n (x) β

6 6 AUTHOR ONE, AUTHOR TWO, AND AUTHOR THREE for all x A, thenα dim(a) β. we conclude that dim H E m 1 m and then dim H E = 1. References [1] Harry Furstenberg. Intersetions of cantor sets and transversality of semigroups Sympos. Salomon. Bochner, princeton univ, princeton, N. J., (1969), [] Peter Hertling, Simply normal numbers to different bases., Journal of Univesal Computer Science, 8() (00), 5-4(electronic). [] Bugeaud,Yann, Distribution modulo one and diophantin approximation Cambridge tracts in mathmatics, 01 (A. One and A. Two) Author OneTwo address line 1, Author OneTwo address line address, A. One: aone@aoneinst.edu URL: Current address, A. Two: Author Two current address line 1, Author Two current address line address, A. Two: atwo@atwoinst.edu URL: (A. Three) Author Three address line 1, Author Three address line URL: