arxiv: v3 [math.ds] 21 Feb 2013

Transcription

1 arxiv: v3 [math.ds] 21 Feb 2013 Examples of Discontinuity of Lyapunov Exponent in Smooth Quasi-Periodic Cocycles Yiqian Wang and Jiangong You Department of Mathematics, Nanjing University, Nanjing 2093, China Abstract We study the regularity of the Lyapunov exponent for quasi-periodic cocycles (T ω, A) where T ω is an irrational rotation x x + 2πω on S 1 and A C l (S 1, SL(2, R)), 0 l. For any fixed l = 0, 1, 2,, and any fixed ω of bounded-type, we construct D l C l (S 1, SL(2, R)) such that the Lyapunov exponent is not continuous at D l in C l - topology. We also construct such examples in a smaller Schrödinger class. 1 Introduction and Results Let X be a C r compact manifold. If T : X X is an ergodic system with normalized invariant measure µ and A : X SL(2, R), we call (T, A) a cocycle. When A is L (C l, analytic, respectively), we call (T, A) a L ( C l, analytic, respectively) cocycle. For any n N and x X, we denote and A n (x) = A(T n 1 x) A(T x)a(x) A n (x) = A 1 (T n x) A 1 (T 1 x). For fixed (X, T, µ), the (maximum) Lyapunov exponent of (T, A) is defined as 1 L(A) = lim log A n (x) dµ [0, ). n n We are interested in the continuity of the Lyapunov exponent L(A) in C l (X, SL(2, R)). It is known that L(A) is upper semi-continuous, thus it is continuous at generic A. Especially, it This work is supported by NNSF of China (Grant 1303) and a project funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions. The corresponding author. 1

2 is continuous at A with L(A) = 0 and at uniformly hyperbolic cocycles. The most interesting issue is the continuity of L(A) at the points of non-uniformly hyperbolic cocycles, which is bound to depend on the class of cocycles under consideration including its topology. Knill [27] showed that L : L (X, SL(2, R)) [0, ) is not continuous if (X, T ) is aperiodic (i.e. the set of periodic points is of zero measure). Then Furman proved that if (X, T ) is uniquely ergodic, then L : C 0 (X, SL(2, R)) [0, ) is never continuous at points of non-uniformly hyperbolicity. Motivated by Mañé [28, 29], Bochi [7, 8] further proved that with T : X X being a fixed ergodic system, any non-uniformly hyperbolic SL(2, R)-cocycle can be approximated by cocycles with zero Lyapunov exponent in the C 0 topology. These results suggest that the discontinuity of L is very common among cocycles with low regularity. We also mention some other related results on the continuity of the Lyapunov exponent. Furstenberg - Kifer [18] and Hennion [20] proved continuity of the largest Lyapunov exponent of i.i.d random matrices under a condition of almost irreducibility. More recently, C. Bocker-Neto and M. Viana [6] proved that the Lyapunov exponents of locally constant GL(2, C)-cocycles over Bernoulli shifts depend continuously on the cocycle and on the invariant probability. If the base system is a rotation on torus, i.e., X = T n, T = T ω : x x + 2πω with rational independent ω, we call (T ω, A) a quasi-periodic cocycle. X = S 1 is the most special case. For simplicity, we denote the cocycle (T ω, A) by (ω, A). If furthermore A(x) = S v,e (x) is of the form S v,e (x) = ( E v(x) we call (ω, S v,e (x)) a quasi-periodic Schrödinger cocycle. This type of cocycles have attracted much attention largely due to their rich background in physics. Now we recall some positive results for quasi-periodic cocycles (ω, A). In [19] Goldstein and Schlag developed a powerful tool, the Avalanche Principle, and proved that if ω is a Diophantine irrational number and v(x) is analytic, then the Lyapunov exponent L(E) is Hölder continuous provided L(E) > 0. Similar results were proved in [13] by Bourgain, Goldstein and Schlag when the underlying dynamics is a shift or skew-shift of a higher dimensional torus. Then Bourgain and Jitomirskaya [12] improved the result of [19] by showing that if ω is an irrational number and the potential v(x) is analytic, then the Lyapunov exponent is jointly continuous on E and ω. This result is crucial to solving the Ten Martini problem in [2]. Similar results were obtained by Bourgain for shifts of higher dimensional tori in [11]. Later, Jitomirskaya, Koslover and Schulteis [22] proved that the Lyapunov exponent is continuous on a class of analytic one-frequency quasiperiodic M(2, C)-cocycles with singularities. With this result, they proved continuity of Lyapunov exponent associated with general quasi-periodic Jacobi matrices or orthogonal polynomials on the unit circle in various parameters. Recently, Jitomirskaya and Marx [23] proved the continuity of Lyapunov exponent for all non-trivial singular analytic quasiperiodic cocycles with one-frequency, thus removing the constraints in [22]. Moreover, applications are extended to analytic Jacobi operators with more parameters, which is crucial to determining the Lyapunov exponent of extended Harper s model by Jitomirskaya and Marx [24]. For further results, one is referred to [4, 5, 9,, 14, 15, 16, 17, 21, 30]. 2 ),

3 In conclusion, the Lyapunov exponent of quasi-periodic cocycles is discontinuous in C 0 topology, and continuous in C ω topology. In [22] the authors proposed to consider the situation between C 0 and C ω. Klein [26] studied continuity of Lyapunov exponent on E in the Gevrey case. More precisely, he proved that the Lyapunov exponent of quasi-periodic Schrödinger cocycles in the Gevrey class is continuous at the potentials v(x) satisfying some transversality condition. Recently, Avila and Krikorian [1] restricted their attention to a class of quasi-periodic SL(2, R) cocycles, called ɛ-monotonic cocycles (cocycles satisfying a twist condition). They proved that the Lyapunov exponent is continuous, even smooth in smooth category of ɛ-monotonic quasi-periodic SL(2, R) cocycles. An interesting question is if the Lyapunov exponent of (ω, A) is always continuous in C l (S 1, SL(2, R)), l = 1, 2,,, as in C ω (S 1, SL(2, R)) or in ɛ-monotonic quasiperiodic SL(2, R)-cocycles. In this paper, we construct a cocycle D l C l (S 1, SL(2, R)) such that the Lyapunov exponent is not continuous at D l in C l -topology for any l = 1, 2,,. Theorem 1 Suppose that ω is a fixed irrational number of bounded-type. For any 0 l, there exist cocycles D l C l (S 1, SL(2, R)) such that the Lyapunov exponent is discontinuous at D l in C l (S 1, SL(2, R)). ( ) ( ) λ 0 cos θ sinθ Remark 1.1 Let Λ = 0 λ 1 and R θ =. The cocycles we constructed sin θ cos θ are of the form Λ R π 2 φ(x), where φ(x) is either a 2π-periodic function corresponding to a cocycle homotopic to the identity (see Figure 1), or a sum of the identity and a 2π-periodic function corresponding to a cocycle non-homotopic to the identity (see Figure 2). Remark 1.2 Theorem 1 shows that the continuity of Lyapunov exponent in C l -topology (l = 1, 2,, ) and C ω is different. Combining with Avila and Krikorian s result [1], it also shows the continuity of Lyapunov exponent in C l -topology (l = 1, 2,, ) and C 0 is different. It is plausible that the Lyapunov exponent is continuous at an open and dense set in C l -topology (l = 1, 2,, ). Surprisingly, there are no examples of continuity of Lyapunov exponent at non-uniformly hyperbolic cocycles which are homotopic to the identity. Remark 1.3 We say ω is an irrational number of bounded type if there exists M 2, such that for its fractional expansion pn q n, n = 1, 2,, it holds that q n+1 < Mq n, n. Technically we need to assume that ω is of bounded type. This is not typical as the set of such numbers is of measure zero. We believe that counterexamples can be constructed for ω in a full measure, even for all real numbers. Remark 1.4 Recently, Jitomirskaya and Marx [25] obtained similar results in complex category M(2, C) by the tools of harmonic analysis

4 From the SL(2, R) examples homotopic to the identity constructed in Theorem 1, it is easy to construct examples in the Schrödinger class by conjugation. 1 Theorem 2 Suppose that ω is a fixed irrational number of bounded-type. For any 0 l, there exists a C l periodic function v(x) = v(x + 2π) such that the Lyapunov exponent is discontinuous at S v,0 in the Schrödinger class, i.e., there exist C l periodic functions v n (x) = v n (x + 2π) such that v n (x) v(x) is C l topology but L(S vn,0) L(S v,0 ). Outline of the proof of Theorem 1. D l will be constructed as the limit of a sequence of cocycles {A n (x), n = N, N + 1, } in C l (S 1, SL(2, R)). {A n (x), n = N, N + 1, } possess some kind of finite hyperbolic property, i.e., A r+ n n (x) λ r+ n for most x S 1 and λ 1 with r n + as n, which gives a lower bound estimate (1 ɛ) log λ of the Lyapunov exponent of the limit cocycle D l (x) if λ 1. Then by modifying {A n (x)} n=n, we construct another sequence of cocycles {Ãn(x)} n=n such that Ãn(x) D l (x) in C l -topology as n. Moreover, for each n, the Lyapunov exponent of Ãn(x) is less than (1 δ) log λ with 1 > δ ɛ > 0 independent of λ, which implies the discontinuity of the Lyapunov exponent at D l (x). A key technique in the construction of A n (x) comes from Young [31], which was derived from Benedicks-Carleson [3]. However, there is a difference between our method and the one in [31]. To construct A n (x) and Ãn(x), we have to start from some cocycle possessing degenerate critical points, while the critical points of cocycles in [31] are non-degenerate. The proof of Theorem 2. For any 0 l, assume that D l+τ (x) = Λ R π 2 φ(x) are cocycles homotopic to the identity constructed in Theorem 1, and τ = τ(ω) is a fixed integer which will be defined later. In the example, φ(x) can be assumed to satisfy max x φ(x) < π. Let α = (0, 1) T. Then D l+τ (x) α and α are linearly independent for every x, thus the matrix B 1 (x) = ( D l+τ (x ω) α, α) C l+τ (S 1, GL(2, R)) is non-singular. A direct computation shows that there exist a(x), c(x) C l+τ (S 1, R) such that B 1 (x + ω) 1 D l+τ (x)b 1 (x) = S(x) = ( a(x) ) 1 c(x) 0 Here c(x) ( > 0 since the determinant ) of B 1 does not change sign, and we write c(x) = e f(x). Let e d(x) 0 B 2 (x) = 0 e d(x+ω), where d(x + 2ω) d(x) = f(x) [f(x)]. (1.1) ( ) v(x) 1 Then B 2 (x + ω) 1 S(x)B 2 (x) has the form e [f(x)] where v(x) is uniquely determined by 0 D l+τ. Since 2ω is Diophantine, (1.1) has a solution d(x) C l (S 1, R) if τ is large enough. It follows that v(x) C l (S 1, R). 1 The authors are grateful to A. Avila, Z. Zhang and the referee for pointing out this. The proof given below was proposed by A. Avila and the referee. One can also use Z.Zhang s trick in [32] to give another proof. 4

5 Let B(x) = B 1 (x)b 2 (x), then detb(x) = e [f] detb(x + ω) by D l+τ (x)b(x) = B(x + ω)s(x). It follows that e [f] = 1 since x x + nω is ergodic in S 1, and consequently detb(x) = e is constant. Let B(x) = 1 e B(x) C l (S 1, SL(2, R)), we have ( ) B(x + ω) 1 D l+τ (x) B(x) v(x) 1 = = S 1 0 v,0. L(D l ) = L(S v,0 ) since Lyapunov exponent is conjugation invariant. By Theorem 1, there is a sequence of à n such that Ãn D l+τ in C l+τ topology and L(Ãn) L(D l+τ ) > δ for a positive δ when n is large. By the similar argument as above, there exist B n (x) C l (S 1, SL(2, R)), v n (x) C l (S 1, R), such that B n conjugates Ãn to a Schrödinger cocycle S vn,0 and thus L(Ãn) = L(S vn,0). Since Ãn D l+τ C l+τ 0, we have B n B C l 0 and then v n v C l 0. On the other side, L(S v,0 ) L(S vn,0) > δ > 0 when n is large enough. The proof of Theorem 2 is thus finished. Throughout the paper ω is a fixed irrational number of bounded type (described by the parameter M), l is a fixed positive integer, δ = 1 4 M 20 > 0, ɛ = M 0 > 0. N, µ and λ with λ µ λ 1 ɛ N 1 and µ ɛ > 2 denote three large numbers determined later. 2 Some properties of the concatenation of hyperbolic matrices In this section, we will study the norm of the product of hyperbolic matrices by analyzing the curves of the most contracted directions of them. The analysis in this section is developed from [31]. In the following, all matrices belong to SL(2, R). A matrix A SL(2, R) with A > 1 is called hyperbolic. We denote the unit vectors on the most contracted and expanded direction of A by s(a) and u(a) respectively. That is, A s(a) = min v =1 A v = A 1, A s (A) = max A v = A. v =1 It is known that s u and As Au. Moreover, for two matrices A and B with A, B > 1, it is easy to see that BA = B A if and only if A(s(A)) is parallel to s(b). The most contracted direction plays a key role in the growth of the norm of product of hyperbolic matrix sequences. For a sequence of matrices {, A 1, A 0, A 1, }, we denote A n = A n 1 A 1 A 0 and A n = A 1 n A

6 Definition 2.1 For any 1 µ λ, we say that the block of matrices {A 0, A 1,..., A n 1 } is µ-hyperbolic if (i) A i λ i, (ii) A i µ i(1 ɛ) i and (i)-(ii) hold if A 0,..., A n 1 is replaced by {A 1 n 1,..., A 1 0 }. The next proposition is due to Young [31], which tells us when the concatenation of two hyperbolic blocks is still a hyperbolic block. Lemma 2.1 Suppose C satisfies C µ m with µ 1. Assume {A 0, A 1,, A n 1 } is a µ hyperbolic sequence and (s(c 1 ), s(a n )) = 2θ 1. Then A n C µ (m+n)(1 ɛ) θ. ( ) ( ) λ 0 cos θ sin θ Denote Λ = 0 λ 1 and R θ the rotation by the angle θ, i.e., R θ =. Let sin θ cos θ φ(x) be the lift of a C l function defined on S 1. Throughout this paper, the matrix A is of the special form Λ R π 2 φ(x). Let RP 1 be the real projective line and denote the natural projection R 2 RP 1 by v v. For any matrix A SL(2, R), define the map Ā : RP1 RP 1 by Ā v = A v. Then we define the projective actions corresponding to A(x) by Φ A : S 1 RP 1 S 1 RP 1, Φ A (x, θ) = (T x, Ā(x)θ). Then for A(x) = Λ R π 2 φ(x), we have Φ A = Φ Λ Φ R π2 φ(x) : S1 RP 1 S 1 RP 1, where Φ Λ (x, θ) = (x, Λθ) and Φ R (x, θ) = (T x, π π2 φ(x) 2 φ(x) + θ). Suppose that A n (x) is hyperbolic for any x I S 1. Let s, u : I RP 1 be the function s(x) = s(a n (x)), u(x) = u(a n (x)). We also define s, u : T n (I) RP 1 by s (x) = s(a n (x)), u (x) = u(a n (x)). It is not difficult to see that (T n x, s (T n x)) = Φ n A(x, u(x)), (T n x, u (T n x)) = Φ n A(x, s(x)), x I. (2.1) Since φ(x) is C l, we have that the map h : (x, θ) θ An (x)ˆθ is C l. Obviously, from the definition of s(x) and u(x), we have h(x, s(x)) = h(x, u(x)) = 0. Moreover, since A n (x) is hyperbolic, we can easily see that if h(x, θ) = 0, then h θ (x, θ) 0, where ˆθ denotes the 6

7 unit vector corresponding to θ RP 1. Thus by Implicit Function Theorem s, u are determined by h(x, θ) = 0 with l-order derivatives. Similarly, we can prove that s, u are of l-order differentiability. The following lemma gives the estimates on the derivatives of curves of the most contracted direction of hyperbolic matrices. Lemma 2.2 Let I be an interval in S 1. Assume that (A(x),, A(T n 1 x)) is µ-hyperbolic for each x I with n, µ λ 1 ɛ 1. Then it holds that (1) s φ(x) C 1 < 2µ (1 ɛ), x I; (2) s C 1 < 2µ (1 ɛ) x T n I. The proof can be found in [31] given by Young. 3 The construction of A n (x) We first construct the counter-examples in finite smooth case. Throughout this paper, l N is arbitrary but fixed, and N 1 with q 2 N < δ and l n=n log q n+1 q n ɛ. (3.1) For c 1 [0, π), c 2 = c 1 + π and n N, we define C 0 = {c 1, c 2 }, I n,1 = [c 1 1, c qn ], qn 2 I n,2 = [c 2 1, c qn ] and I qn 2 n = I n,1 In,2. For x I n, we denote the smallest positive integer j with T j x I n (respectively T j x I n ) by r n + (x) (respectively rn (x)), and define r ± n = min x I n r ± n (x). Obviously, r ± n q n. Moreover, for C 1, we denote by I n,i C [c i 1, c Cqn 2 i + 1 ], i = 1, 2 and by In Cqn 2 C the set I n,1 C I n,2 C. l log qn For any n > N, we inductively define {λ n } by log λ n = log λ n 1 q n 1 the set where λ N = λ. It is easy to see that λ n decrease to some λ with λ > λ 1 ɛ if λ N 1. In this section, we will inductively construct a convergent sequence of cocycles {A n (x), n = N, N + 1, } in C l (S 1, SL(2, R)) with some desirable properties. More precisely, we will prove Proposition 3.1 There exist A n = ΛR π 2 φn(x) with φ n (x) the lift of a C l function on S 1 (n = N, N + 1, ) such that the following properties hold: 1. φ n (x) φ n 1 (x) C l λ q 1 n 1 n, if n > N. (3.2) 2. For each x I n, A n (x), A n (T x),, A n (T r+ n (x) 1 x) is λ n -hyperbolic. 7

8 3. Let s n (x) = s(a r+ n n (x)), s n(x) = s(a r n n (x)). Then we have (1) n s n (x) s n(x) = φ 0 (x) on In ; (2) n s n (x) s n(x) 1 2 φ 0(x) 1 (20q 2 n )l+1, x I n \ In, where φ 0 (x) is defined in (3.3) and (3.4). Proof. The construction of A N (x): Let c 1, c 2 S 1 with c 1 [0, π), c 2 = c 1 + π and δ 0 a small positive number. We define φ 0 on {x x c 1 δ 0 } {x x c 2 δ 0 } as follows. φ 0 (x) = { φ01 (x), x c 1 < δ 0 ; φ 02 (x) ( or φ 02 (x)), x c 2 < δ 0, (3.3) and where φ 0i (x) = sgn(x c i ) x c i l+1, i = 1, 2. (3.4) Then we define φ(x) be a lift of a C l function on S 1 satisfying the following. (a) φ(x) = { φ01 (x), x c 1 δ 0 ; φ 02 (x) (or π + φ 02 (x), respectively), x c 2 δ 0. (b) x c i > δ 0, i = 1, 2, φ(x) kπ > δ l+1 0 for any k Z. Remark 3.1 One can either choose φ(x) to be a 2π periodic function (see Fig. 1), which corresponds to a cocycle homotopic to the identity, or to be the identity plus a 2π-periodic function (see Fig. 2), which corresponds to a cocycle non-homotopic to the identity. Let A = Λ R π 2 φ(x) which belongs to C l (S 1, SL(2, R)). From [31], there exists a (large) λ > 0 depending on φ, l and ɛ such that if λ > λ. {A(x),, A(T r+ N (x) 1 x)} is λ hyperbolic, x I N (3.5) Let s N (x) = s(a r+ N (x)) and s N (x) = s(a r N (x)). Define e N (x) to be the following 2πperiodic function: φ 0 (x) ( s N s N )(x) x I N e N (x) = h ± N (x), x I N\ I N 0, x S 1 \I N 8

9 where h ± N (x), restricted in each interval of I N\ I N, is a C l function satisfying d j h ± N (c j i ± 1 ) = dj φ 0 (c qn 2 j i ± 1 ) dj ( s N s qn 2 N ) (c j i ± 1 ) qn 2 d j h ± N (c j i ± 1 ) = 0, i = 1, 2, 0 j l qn 2 (3.6) h ± N (x) 4 φ C 1 λ (1 ɛ). From Lemma 2.2, we have φ 0 (x) ( s N s N )(x) 4 φ C 1 λ (1 ɛ), which implies the existence of h ± N. Now we define A N = Λ R π 2 φ N (x) where φ N (x) = φ(x) + e N (x) is a modification of φ(x). Property 2 listed in Proposition 3.1 for A N is a consequence of the following lemma. Lemma 3.1 For x I N, it holds that A r+ N (x) N (x) = A r+ N (x) (x) R en (x) and A r N (x) N (x) = R en (T r N (x) x) A r N (x) (x). Proof. Obviously T i x S 1 \I N for x I N and 1 i r + N (x) 1. Since A N(x) = A(x) for x S 1 \I N, we have that A r+ N (x) N (x) = A r+ N (x) (x) (A 1 (x)a N (x)), x I N. 9

10 From the definition, we have A N (x) = A(x) R φ(x) φn (x), which implies A 1 (x)a N (x) = R φ(x) φn (x). Thus we obtain the first equation. Similarly, we can prove the second equation. Proof of Property 2 listed in Proposition 3.1 for A N From (3.5), for each x I N, A(x), A(T x),, A(T r+ N (x) 1 x) is λ N hyperbolic. It is known that a rotation does not change the norm of a vector. Thus from Lemma 3.1, we know that for each x I N, A N (x), A N (T x),, A N (T r+ N 1 x) is λ N hyperbolic, which shows that s N (x) and s N (x) are well-defined. Subsequently, we have the following conclusion: Lemma 3.2 It holds that e N (x) = (s N (x) s N(x)) ( s N (x) s N(x)), x I N. Proof. Since a rotation does not change the norm of a vector, for a hyperbolic matrix A and a rotation matrix R θ, we have From Lemma 3.1, we have s(a R θ ) = s(a) + θ, s(r θ A) = s(a). (3.7) s N (x) = s N (x) + e N (x), s N(x) = s N(x). Thus which concludes the proof. φ N (x) φ(x) = (s N (x) s N(x)) ( s N (x) s N(x)), x I N, Property 3 listed in Proposition 3.1 for A N is a consequence of the next lemma. Lemma 3.3 s N (x) s N (x) coincides with φ 0(x) on I N. Moreover, on I N \ I N, if λ > q 8(l+1) N φ C 1 and q N > 20. s N (x) s N(x) φ 0 (x) 1 (20q 2 N )l+1, Proof. From the definition of e N (x), we have e N (x) = φ 0 (x) ( s N s N )(x) on I N. Thus by Lemma 3.2, we have for each x I N, (s N s N )(x) = ( s N s N )(x) + e N(x) = ( s N s N )(x) + φ 0 (x) ( s N s N )(x) = φ 0(x). More generally, for each x I N, we have (s N s N )(x) = ( s N s N )(x) + e N(x) = φ 0 (x) + ( s N s N φ 0)(x) + e N (x). Hence the last part of this lemma can be obtained from the construction of e N if λ > q 8(l+1) N φ C 1 and q N > 20..

11 The construction of A N is thus finished except the verification of Property 1, which will be done for all n together later. Assuming that A N,, A n 1 satisfying the properties listed in Proposition 3.1 have been constructed, we then construct A n. The construction of A n : The construction is similar to that of A N. By inductive assumptions, the sequence {A n 1 (x),, A n 1 (T r+ n 1 (x) 1 x)} is λ n 1 hyperbolic. Moreover, the functions s n 1 (x) and s n 1 (x) satisfy: (1) n 1 s n 1 (x) s n 1 (x) = φ 0(x) on I n 1 ; (2) n 1 s n 1 (x) s n 1 (x) 1 2 φ 0(x) 1 (20q 2 n 1 )l+1, x I n 1 \ I n 1. To construct A n (x) with desired properties, we need the following lemmas. Lemma 3.4 Let x 0,..., x m be a T orbit with x 0, x m I n and x i I n for 0 < i < m. Then {A n 1 (x 0 ),..., A n 1 (x m 1 )} is λ n -hyperbolic. Proof. The proof is similar to that in [31]. For the sake of the readers, we will give the sketch of the proof. Assume that 0 = j 0 < j 1 < j k = m are the return times of x 0 to I n 1. Since (s(a j i n 1 (x j i )), s(a j i+1 j i n 1 (x ji ))) > 1 2 s n 1(x ji ) s n 1 (x ji ) > from the induction assumption and Lemma 2.1, we obtain that A j i n 1 (x 0) λ j i(1 ɛ) n, i = 1,..., k. 1 8q 2(l+1) n, (3.8) Let s n (x) = s(a r+ n n 1 (x)) and s n(x) = s(a r n n 1 (x)), x I n. Define e n (x) C l be the following 2π-periodic function: (s n 1 s n 1 )(x) ( s n s n)(x) x In e n (x) = h ± n (x), x I n \ In 0, x S 1 \I n where h ± n (x) is a polynomial of degree 2l + 1 restricted in each interval of I n \ In satisfying d j h ± n (c j i ± 1 ) = dj (s n 1 s n 1 ) (c qn 2 j i ± 1 ) dj ( s n s n) (c qn 2 j i ± 1 ) qn 2 d j h ± n j (c i ± 1 q 2 n ) = 0, i = 1, 2, 0 j l. 11

12 Define φ n (x) = φ n 1 (x) + e n (x). Let A n (x) = Λ R π 2 φn(x). The property 2 in Proposition 3.1 for A n can be derived from the following lemma: Lemma 3.5 For x I n, it holds that A r+ n (x) n (x) = A r+ n (x) (x) R e n(x) n 1 and A r n (x) n (x) = R en(t r n (x) x) A r n (x) (x). n 1 Similar to the proof of Lemma 3.2, we have the following result: Lemma 3.6 It holds that e n (x) = (s n (x) s n(x)) ( s n (x) s n(x)), x I n. The property 3 in Proposition 3.1 for A n can be obtained by the following lemma: Lemma 3.7 Let λ n > max{8(l + 1), q 8(l+1) N φ C 1} and q N ( + M). Then it holds that s n (x) s n(x) coincides with φ 0 (x) on In. Furthermore, on I n\ In, (s n (x) s n(x)) (s n 1 (x) s n 1(x)) 1 (20q 2 n) l+1. Proof. From the definition of e n (x), we have e n (x) = (s n 1 s n 1 )(x) ( s n s n)(x) on In, which together with Lemma 3.6 implies that for each x In, (s n s n)(x) = ( s n s n)(x) + e n (x) = (s n 1 s n 1 )(x). Since (s n 1 s n 1 )(x) = φ 0(x) on I n 1 by induction assumption (1) n 1, we obtain the first part of the lemma. For each x I n \ In, we have (s n s n)(x) = ( s n s n)(x) + e n (x) = (s n 1 s n 1 )(x) + ( s n s n 1 + s n 1 s n)(x) + e n (x). Recall that λ n > λ > λ 1 ɛ 1 and q n Mq n 1, we have λ q n 1 n qn 2l. Hence the last part of this lemma can be obtained from the induction assumption (2) n 1 for (s n 1 s n 1 )(x) on I n 1 and Lemmas 3.8 and 3.9 if λ n > max{8(l+1), q 8(l+1) N φ C 1} and q n q N ( + M). The property 1 in Proposition 3.1 for all A n, n = N, N + 1, is obtained by the definition of φ n 1 (x), φ n (x) and the following lemmas. Lemma 3.8 Let λ, N 1. Then for x I n, s n 1, s n 1, s n, s n are C l curves. Moreover, for any k min{l, r + 1 n 1 }, it holds that s n s n 1 C k, s n s n 1 C k φ n 1 k λ 1 3 (r+ n 1 ) 23. (3.9) 12

13 Proof. The lemma is proved in the Appendix. Remark 3.2 In the appendix, we will prove that Lemma 3.8 not only holds for A = ΛR π 2 φ(x) defined in this section, but also holds for the one defined in Section 5. So it is applicable when we construct the C counter-example in Section 5. When we construct the finite smooth counter-examples, l is fixed. One can take λ sufficiently large (depending on l) such that holds for all n > N. s n s n 1 C l, s n s n 1 C l λ (r+ n 1 ) 15 < λ q 1 5 n 1, (3.) Lemma 3.9 For any x S 1, it holds that e n (x) C l λ q 1 n 1 n. Proof. From Lemma 3.8, we have that for fixed l and λ, n 1, e n (x) C l λ q 1 5 n 1 n Consequently from Cramer s rule, h ± n (x) C l = O(λ q 5 1 n 1 n ), which implies e n (x) C l λ q n x S 1. for x In 1 n 1. for By property 1 in Proposition 3.1, A n (x) converge to a cocycle D l (x) in C l -topology. Next we estimate the lower bound of the Lyapunov exponent of D l (x). Theorem 3 The Lyapunov exponent L(D l ) of D l (x) has a lower bound (1 4ɛ) log λ. Proof. From the subadditivity of the finite Lyapunov exponent, the finite Lyapunov exponent of a cocycle converges (to the Lyapunov exponent). Thus there exists a large N 0 N such that 1 log D N 0 N l (x) L(D l ) 0 ɛ. S 1 Since A n (x) converges to D l (x), there exists a large N 1 > N 0 such that for any n > N 1, it holds that 1 log D N 0 N l (x) 1 log A N 0 n (x) 0 S 1 N 0 ɛ. S 1 Thus it is sufficient to prove 1 N 0 S 1 log A N 0 n (x) (1 3ɛ) log λ for sufficiently large n. We say that x S 1 is nonresonant for A n (x) if dist(t i x, C 0 ) > 1 q 2 N dist(t i x, C 0 ) > 1 q 2 k for 0 i < q N, for q k 1 i < q k, N < k n. (3.11) The set of points with the nonresonant property (3.11) has Lebesgue measure at least 2π(1 N k<n 1 q k ), which is larger than 2π(1 ɛ 2π ) for N 1. 13

14 Proposition 3.2 For each x S 1 with the nonresonant property (3.11), (A n (x),, A n (T qn 1 x)) is λ 1 ɛ -hyperbolic. Proof. Let the trajectory in question be x, T x,. Let j 0 be the first time it is in I N, and let n 0 be s.t. T j 0 x I n0 \I n0 +1. In general, let j i and n i be defined so that T j i x I ni \I ni +1, and T j i+1 x be the next return of T j i x to I ni. Obviously, j i+1 j i q ni. Moreover, from Proposition 3.1, it holds that A n (T j i x),, A n (T ji+1 1 x) is λ hyperbolic. Since T j i x I ni +1, from (2) n in Proposition 3.1, we have (s n (T j i x), s n(t j i x)) > ( 1 20 I n i +1 ) l+1. Similar to (3.8), it holds that (s(a j i n Hence from Lemma 2.1, it follows that A j i+1 n (x) A j i Inductively, we have n (x) A j i+1 j i n (T j i x)), s(a j i+1 j i n (T j i x) (s(a j i n A j i n (x) λ j i+1 j i ( 1 40 I n i +1 ) l+1. s 1 A js n (x) A j 0 n (x) λ js j 0 ( 1 40 I n i +1 ) l+1. Similar to the proof of (3.5), we have A j 0 n (x) λ j 0. Consequently, i=1 (T j i x))) > 1 2 (s n(t j i x), s n(t j i x)). (T j i x)), s(a j i+1 j i n (T j i x))) s 1 A js n (x) λ js ( 1 40 I n i +1 ) l+1. (3.12) i=1 Suppose q m 1 j s < q m, N + 1 m n. The nonresonant property prohibits x ji from entering I m for i < s. For k < m, the number of j i s such that n i = k is less than j s /q k, since the smallest first return time r k for x I k satisfies r k q k (see the beginning of this section). Moreover at each one of these returns, the distance from c 1 and c 2 is ( 1 40 I k+1 ) l+1 = (40qk+1 2 ) (l+1). Then 1 s 1 log j s i=1 ( 1 40 I n i +1 ) l+1 1 j s n 1 k=n if λ N 1. Equivalently, we have j s log(40qk+1 2 q )(l+1) 4(l + 1) log q k+1 k q k k N < ɛ 2 ln λ Thus from (3.12), it holds that s 1 ( 1 40 I n i +1 ) l+1 λ ɛ 2 js i=1 A js n (x) λ (1 ɛ 2 )js.. 14

15 Now we consider the case j s < i < j s+1. Since A n (T j i x),, A n (T j s+1 x) is λ hyperbolic, from the definition 2.1, it holds that A n (T j i x),, A n (T i x) is also λ hyperbolic(without loss of generality, we assume i j s ). Then similar to the argument above, we have This concludes our proof. A i n(x) λ (1 ɛ 2 )i λ (1 2ɛ)i, i q n. From Proposition 3.2, we have that 1 j log Aj n(x) > (1 2ɛ) log λ for each nonresonant point and 1 j q n with n N. Since the measure of the nonresonant point set is not less than 2π(1 ɛ 2π ), choose n > N 0, j = N 0 and this concludes the proof of Theorem 3. 4 The construction of Ãn(x) Recall that ω is bounded type, i.e., q n+1 < Mq n for some M prove the following: In this section, we will Theorem 4 There exists a sequence of cocycles Ãn(x) such that Ãn(x) D l (x) in C l -topology. Moreover, the Lyapunov exponent of à n (x) is less than (1 δ) log λ for any large n λ. To prove Theorem 4, we need the following proposition: Proposition 4.1 There exist Ãn with the following properties: 1. à n is of the form ΛR π 2 φ n(x) with φ n (x) φ n (x) C l = O(q 2 n ). (4.1) 2. For each x I n, à n (x), Ãn(T x),, Ãn(T r+ n (x) 1 x) is λ n -hyperbolic. 3. Let s n (x) = s(ãr+ n n (x)), s n(x) = s(ã r n n (x)). Then we have s n (x) = s n(x) on I n. Proof. Let ẽ n (x) C l be a 2π-periodic function such that ẽ n (x) = h ± n (x), (s n s n)(x) x In 0, S 1 \I n, x I n \ In 15

16 where h ± n (x) is a polynomials of degree 2l + 1 restricted on each interval of I n \ In and satisfies for i = 1, 2 and 0 j l d j h ± n (c j i ± 1 ) = dj (s n s qn 2 n ) (c j i ± 1 ) qn 2 d j h ± n j (c i ± 1 q 2 n ) = 0. From (1) n in Proposition 3.1, it holds for 0 j l that (s n s n)(x) C j = O(qn 2(l+1 j) from Cramer s rule we have that h ± n (x) C l = O(qn 2 ). Consequently, ẽ n (x) C l = O(q 2 Define φ n (x) = φ n (x) + ẽ n (x) and Ãn(x) = Λ R π 2 φ n(x) c ). Hence n ).. Thus conclusion 1 is proved, which together with the fact that A n (x) D l (x) in C l -topology implies that Ãn(x) D l (x) in C l -topology. Since for each x I n, A n (x), A n (T x),, A n (T r+ n (x) 1 x) is λ n -hyperbolic and φ n (x) = φ n (x) on 1 \I n, we see that Ãn(x), Ãn(T x),, Ãn(T r+ n (x) 1 x). Thus s n (x) = s(ãr+ n n (x)) and s n(x) = s(ã r n n (x)) are well-defined. Moreover, similar to Lemma 3.2, it holds that s n (x) s n(x) = s n (x) s n(x) ẽ n (x). Thus from the definition of ẽ n (x), it holds that This ends the proof of the proposition. s n (x) = s n(x), x I n. (4.2) The following observations are useful later for the estimate of the upper bound of the Lyapunov exponent for Ãn(x). Lemma 4.1 Suppose A and B are two hyperbolic matrices such that A = λ m 1 and B = λn 2 with m, n > 0 and λ 1, λ 2 1. If A(s(A)) u(b), then BA 2 max{λ m 1 λ n 2, λn 2 λ m 1 }. Proof. For any hyperbolic matrix A, it holds that s(a) u(a) and A(s(A)) A(u(A)). From A(s(A)) u(b), we have A(u(A)) s(b). For any vector v R 2, let v = v 1 v 2 with respect to s(a) u(a). Then Av = Av 1 Av 2 = ( Av 1 u(b)) ( Av 2 s(b)). Consequently Thus we have BAv = ( Av 1 B(u(B))) ( Av 2 B(s(B))). BAv λ n 2 λ m 1 v 1 + λ m 1 λ n 2 v 2 2 max{λ m 1 λ n 2, λn 2 λ m 1 } v. This concludes the proof of this lemma. 16

17 Lemma 4.2 For any interval I S 1 with 0 < I < π/4, let r = min x I min{i > 0 T i x (mod 2π) I} and ˆr = max x I min{i > 0 T i x (mod 2π) I }. Then δ rˆr. Proof. Without loss of generality, we can assume I = [0, a]. Let m = min{k T q ki I }. Since T qn 0, T q n+1 0 are on the different side of 0 and lim n T qn 0 = 0, it follows that there is a k 0 > 0 such that T q m+k < T q m+k I. It follows that I T qm I T q m+k 0 I T q m+k 0 +1 I ( mod 1). Thus r ˆr q m M (k0+1). q m+k0 +1 Since M > 5+1 2, one can see that k 0 < 9. It follows that δ rˆr. Lemma 4.3 For any interval I S 1 with 0 < I < π/4, let r 1 = max x I min{i > 0 T i x (mod 2π) I} and r 2 = min x I min{i > 0 T i x (mod 2π) I + π}. Then there is positive integer k 1 < 18 such that r 1 k 1 r 2. Proof. Without loss of generality, we assume I = [0, a]. From the proof of Lemma 4.2, we have that there is a positive integer k 0 < 9 such that T k 0r 2 π [π, π + a 2 ], which implies that T 2k 0r 2 π(mod 2π) [0, a]. The proof is completed by setting k 1 = 2k 0. From Lemmas 4.2 and 4.3, we can easily obtain the following: Corollary 4.1 Let min r n (x) = min x In min{i > 0 T i x (mod 2π) I n } and max r n (x) = max x 1 min{i > 0 T i x (mod 2π) 1 In I n}. Then M k1 1 min rn(x) max r 1. n(x) Proof of Theorem 4 Let < n j 1 < n j < n j+1 < be the returning times of x I n / to I n /. Moreover, we denote n j+ be the first returning time of x I n to I n after n j. Similarly, we denote by n j the last returning time of x I n to I n before n j. Obviously, it holds that n j 1 n j < n j and n j < n j+ n j+1. Since T n j x [c 1 1, c 2qn ], (4.2), Lemma 4.1 and Corollary 4.1 are applicable. Set 2qn 2 d 3 = 1 2 M k1 1. From the definition of Ãn, we have Ãn(x) λ for each x. Consequently, Ãn(T n j+ x) Ãn(T n j x) Ãn(T n j x) 2 max{ Ãn j+ n j n 2 max{ Ãn j+ n j n (T n j x) Ãn j n j n (T n j x), Ãn j n j n (T n j x) } (T n j x) 1, Ãn j+ n j n (T n j x) 1 Ãn j n j n (T n j x) } 2λ max{n j+ n j,n j n j } λ (1 d 3)(n j+ n j ), (4.3) 17

18 which implies Ãn(T n j+1 x) Ãn(T n j 1 x) λ n j+1 n j 1 d 3 (n j+ n j ) λ (n j+1 n j )(1 d 2 3 ). Thus we have, for any k, Ãn(T n k x) Ãn(x) < λ k j=0 (n j+1 n j )(1 d 2 3 ) = λ n k(1 d 2 3 ). In other words, we have shown that the Lyapunov exponent of à n (x) will be less than (1 d 2 3 ) log λ = (1 1 4 M 2(k1+1) ) log λ. The proof is finished since k 1 can be less than 18. Proof of Theorem 1 for finite order differentiability: The proof for the case l = 0 can be found in [7, 8,, 17, 27, 30]. For l > 0, from the definition of A n (x) and Ãn(x), we have that in any neighborhood of D l (x), there exists a cocycle Ãn(x) with the Lyapunov exponent less than (1 δ) log λ. From Theorem 3, we know that L(D l (x)) is larger than (1 4ɛ) log λ. The discontinuity is obvious since δ > 4ɛ. 5 The proof for the C case: a sketch In this section, we will prove Theorem 1 for the C case. The basic idea is same as the finite smooth case. We will pay our attention to the difference between the two cases. In the following, we will first follow the steps in Section 3 to construct a sequence of C cocycles which are C 1 -convergent. Then we will prove that it actually converges in C topology. Recall ɛ = M 0 δ = 1 4 M 20 defined in the introduction. Assume λ e qa+1 N 1 with 0 < a < 1. For n N, define λ n+1 such that λ q n+1 n+1 = λq n+1 n e (q2 n+1 )a with λ N = λ 1 ɛ. From the definition of λ n, we have λ qn n λ qn n 1 e q2a n λ q n n 2 e qn q2a 1 n 1 λ qn λ c 3 qn 2a N λ (1 2ɛ)qn N if λ 1, where c 3 > 0 is a constant. It implies that λ n decrease to λ λ 1 2ɛ. Construction of A N (x) Let c 1, c 2 S 1 with c 1 [0, π), c 2 = c 1 + π and δ 0 a small positive number. We define φ 0 on {x x c 1 δ 0 or x c 2 δ 0 } as follows. φ 0 (x) = { φ01 (x), x c 1 < δ 0 ; φ 02 (x) ( or φ 02 (x)), x c 2 < δ 0, (5.1) where φ 0i (x) = sgn(x c i )e 1 x c i a, i = 1, 2. (5.2) Let A(x) = Λ R π 2 φ(x), where φ is the lift of a C periodic function on S 1 satisfying (a) φ(x) = { φ01 (x), x c 1 δ 0 ; φ 02 (x) (or π + φ 02 (x), respectively), x c 2 δ 0. 18

19 (b) x c i > δ 0, i = 1, 2, φ(x) kπ > e 1 δ a 0 for any k Z. Using the same argument as that in finite smooth case, we have that By Lemma 2.2, A(x),, A(T r+ N (x) 1 x) is λ hyperbolic sequence. (5.3) s N (x) s N(x) φ 0 (x) φ λ 1 (5.4) for x I N. Let e N (x) C be a 2π-periodic function such that e N (x) = φ 0 (x) ( s N (x) s N (x)) for x I N. Lemma 5.1 For any n N, there exists f n C be a 2π-periodic function such that = 1, x In, f n (x) : [0, 1], x I n \ In = 0, x S 1 \I n (5.5) and d r f n (x) r q3r n, 0 r [q 1 n ]. (5.6) The proof will be given in the Appendix. Let ê N (x) = e N (x) f N (x) and φ N (x) = φ(x) + ê N (x) for x S 1. Define A N (x) = Λ R π 2 φ N (x). Obviously, A N (x) = A(x) R ên (x). Then from (5.3), we obtain that, for any x I N, A N (x),, A N (T r+ N (x) 1 x) is λ-hyperbolic sequence and (s N s N )(x) = ( s N s N )(x) + ê N(x), which implies s N (x) s N (x) = φ 0(x) on I N. (5.4) implies that ê N (x) C 1 φ l λ (r+ N ) 1 4 in I N. Thus we have s N (x) s N (x) 1 2 e ( q2 N )a on I N \ I N if λ > e ( q2 N )a φ. Inductively, we assume that A N (x),, A n 1 (x) have been constructed such that for N i n 1, (a) i φ i (x) φ i 1 (x) C 1 λ q 1 i 1 i for x I i, i > N; (b) i A i (x),, A i (T r+ i (x) 1 x) is λ i -hyperbolic for x I i ; (c) i s i (x) s i (x) = φ 0(x) for x I i and s i(x) s i (x) 1 2 e ( q2 i )a for x I i \ I i. We now Construct of A n (x). From (b) n 1, we have A r+ n 1 (x) n 1 (x) e (q2 n 1 )a λ q n 1(1 ɛ) n 1 e (q2 n 1 )a λ (1 ɛ)qn n, x I n 1. 19

20 Combining this with (c) n 1, we obtain that A n 1 (x),, A n 1 (T r+ n (x) 1 x) is λ n hyperbolic, x I n. (5.7) Same as the finite smooth case (see (3.)), from Lemma 3.8 we have (s n 1 (x) s n 1(x)) ( s n (x) s n(x)) C 1 λ q 1 5 n 1 n 1, x I n. (5.8) Define a 2π-periodic function e n (x) C such that e n (x) = (s n 1 (x) s n 1(x)) ( s n (x) s n(x)) x I n. Define ê n (x) = e n (x) f n (x) where f n is defined in Lemma 5.1, φ n (x) = φ n 1 (x) + ê n (x) and A n (x) = Λ R π 2 φn(x). Obviously, A n (x) = A n 1 (x) R ên(x). Then from (5.7), we obtain that, for any x I n, A n (x),, A n (T r+ n (x) 1 x) is λ n -hyperbolic sequence and (s n s n)(x) = ( s n s n)(x) + ê n (x), which implies s n (x) s n(x) = φ 0 (x) on In. (5.6) and (5.8) imply ê n (x) C 1 q 3 n λ q 1 4 n 1 n 1, x I n. Thus we have s n (x) s n(x) 1 2 e ( q2 n) a on I n \ In. In conclusion, we have (a) n φ n (x) φ n 1 (x) C 1 λ q 1 n 1 n for x I n ; (b) n A n (x),, A n (T r+ n (x) 1 x) is λ n -hyperbolic for x I n ; (c) n s n (x) s n(x) = φ 0 (x) for x In and s n(x) s n(x) 1 2 e ( q2 n) a for x I n \ In. All the construction above is same as the finite smooth case. From (a) n, one sees that A n converges to a cocycle D (x). From (b) n, one sees that the Lyapunov exponent of D (x) has a lower bound log λ > (1 4ɛ) log λ. The additional work we should do is to prove that A n converge to a cocycle D in any C k, k = 1, 2, topology. By Lemma 3.8 and Lemma A., we have Lemma 5.2 Let λ N 1. For n > N and 0 k [(r n 1 + ) 1 ], it holds that d k ( s n s n 1 ) k + d k ( s n s n 1 ) k 2λ 1 3 (r+ n 1 ) 3 2 φ 0 k. Corollary 5.1 A N (x), A N+1 (x),, is convergent to D (x) in C -topology. Proof. It is equivalent to prove that φ n (x), n = N, N + 1, converge in any C k topology. For any fixed k N, we take n 1 (k) so that k [(r + n 1 ) 1 ] if n n 1 (k). From the definition of φ n (x), we have φ n (x) φ n 1 (x) = ê n (x) where ê n (x) = ( s n (x) s n 1 (x) + s n(x) s n 1(x))f n (x) = e n (x)f n (x) 20

21 With the help of Lemma 5.2, we have d r e n (x) r 2λ 1 3 (r+ n 1 ) 23 φ 0 r, 0 r k. This together with (5.6) implies that dr ê n(x) L r 1 + L 2 =r DL 1 e n (x) D L 2 f n (x) 2(r + 1)! φ 0 r q 3r n λ 1 3 (r+ n 1 ) 23 2(k + 1)! φ 0 k (M r + n 1 )3k λ 1 3 (r+ n 1 ) 23. (5.9) Take n 2 (k) so that 2(k + 1)! φ 0 k (M r n 1 + )3k λ 1 6 (r+ n 1 ) 23 if n n 2 (k). Then for any n max{n 1 (k), n 2 (k)}, it holds that φ n (x) φ n 1 (x) C k = ê n (x) C k λ 1 6 (r+ n 1 ) 23, Hence {A n (x)} n=n converges in Ck -topology for any k N. This concludes the proof. Construction of Ãn(x) Next we will construct the sequence Ãn(x), n = N, N + 1,, which is also C -convergent to D, but the Lyapunov exponent of each Ãn(x) possesses an upper bound less than (1 δ) log λ. Let ẽ n (x) = (s n (x) s n(x)) f n (x) be a C class 2π periodic function such that it is (s n (x) s n(x)) on In and vanishes outside I n. From (c) n, we have that ẽ n (x) = φ 0 (x) f n (x). Then we define φ n (x) = φ n (x) + ẽ n (x). Lemma 5.3 For 0 k [q a n] and x I n, it holds that φ (k) 0 The proof can be found in the Appendix. Take n 3 (k) so that k [q a n] if n n 3 (k). ẽ n (x) C k e q2a n 8 C -topology. q 2a (x) e n 4. Combining (5.6) with Lemma 5.3, we have if n n 3 (k). It follows that Ãn(x) = Λ R π 2 φ n(x) is convergent to D (x) in In the same way as in Section 4, we can obtain that (1 δ) log λ is the upper bound of the Lyapunov exponent for Ãn(x), while the lower bound of the Lyapunov exponent of D (x) is (1 4ɛ) log λ, which produces the discontinuity since 4ɛ < δ. The proof of Theorem 1 in C case is thus finished. A Appendix In the Appendix, we will give the proofs of Lemmas 3.8 and

22 A.1 Some lemmas. Before proving Lemmas 3.8 and 5.2, we firstly give some lemmas as preparations. Lemma A.1 Suppose that {A 0, A 1,..., A n 1 } is µ-hyperbolic. Let s i = s(a i ), i = 1, 2,, n. Then for µ 1, we have (a) (s i, s n ) µ 2i(1 ɛ)+3ɛ, (b) A i s n µ i(1 3ɛ)+3ɛ. Proof. have Let u i = u(a i ). To prove (a), we write s i = v 1 v 2 respecting s i+1 u i+1. Then we sin (s i, s i+1 ) A i+1 u i+1 = A i+1 v 2 A i+1 s i µ 1+ɛ A i s i µ 1+ɛ µ i(1 ɛ). On the other hand, A i+1 u i+1 µ (i+1)(1 ɛ). Thus we obtain (s i, s i+1 ) 1 and (s i, s i+1 ) sin (s i, s i+1 ) µ 2i(1 ɛ)+2ɛ, which implies n 1 (s i, s n ) (s i, s i+1 ) µ 2i(1 ɛ)+3ɛ. To prove (b), we write s n = v 3 v 4 respecting s i u i. Then we have j=i A i v 3 µ i(1 ɛ) and A i v 4 = sin (s i, s n ) A i u i µ 2i(1 ɛ)+3ɛ µ i(1+ɛ) = µ i(1 3ɛ)+3ɛ. Let A SL(2, R), θ RP 1 and Āθ = ψ. It holds that (DĀ) θ = 1 Aˆθ 2. (A.1) Then it follows that ˆθ = A 1 Aˆθ = Aˆθ A 1 ˆψ = Aˆθ A 1 ˆψ ˆθ, which implies that Aˆθ A 1 ˆψ = 1, where ˆθ and ˆψ are the unit vectors corresponding to θ and ψ. For x I n, let x 0 = x, x i+1 = T x i, x 0 = T r+ n 1 x, x i+1 = T 1 x i. Define θ 0 = s n (x 0 ) = s n (A r+ n n (x)), θ j+1 = A n (x j )θ j 22

23 and j = 0, 1,, r + n 1. Let θ 0 = s n(x 0) = s n (A r+ n n (x 0 )), θ j+1 = A 1 n (x j )θ j, f(λ, θ) := λ 2 g 1 (λ, θ) := D Λ(θ) = 1 Λˆθ 2 = λ 2 sin 2 θ + λ 4 cos 2 θ. Thus from (A.1), we have, for i > j, i t=j+1 f t := i t=j+1 f(λ, π 2 + θ t+1) = 1 = = A (i j) (DA n (i j) n (x j ) ˆθ j 2. (x j )) θj (DA (i j) n (x i )) θi (A.2) (A.3) From (b) of Lemma A.1, we have j 1 f t λ 2j(1 3ɛ). Similarly we have i t=j+1 f t := i t=j+1 f(λ, θ t + π 2 φ n(x t 1 )) = A(i j) n (x j ) ˆθ j 2, t=0 (A.4) j 1 t=0 f t λ 2j(1 3ɛ). (A.5) Now we give estimates for i t=j+1 f(λ, π 2 + θ t+1) and i t=j+1 f(λ, θ t + π 2 φ n(x t 1 )). Lemma A.2 Let λ 1. Then for a k = f(λ, π 2 + θ k) and a k = f(λ, θ k + π 2 φ(x k )), 0 k r + n 1, it holds that a i 1 a j, a i 1 a j λ (i j) g j (1), (A.6) where g x (r) = max{ĝ x (r), 1}, ĝ x (r) = for x 0, r N and c 7 > 0 depending only on M. { (φ(1/4m 2 x 2 )) 2c 7r 2, x 0, 1, x = 0, Proof. We only give estimates for a k and the estimates for a k are similar. From (A.4), we have a i 1 a 0 λ 2i(1 3ɛ), together with a j 1 a 0 λ 2j, which implies that a i 1 a j λ 2i(1 3ɛ)+2j = λ (i j) g j (1) 2 λ (i j)+6ɛi g j (1) 2 λ (i j) g j (1) 2. It is trivial that (A.6) holds if i j > 6ɛ 1 6ɛj. Thus we only need to consider the case i j 6ɛ 1 6ɛ j. 23

24 For any k 1, define n(k) be the integer such that q n(k) k < q n(k)+1, where we define q 0 = 1 for convenience. Then T k x(mod 2π) I n(k)+1 since r + n(k)+1 q n(k)+1, which implies T k x c s 1, s = 1, 2. From q qn(k)+1 2 n(k)+1 M q nk, it follows that T k 1 x c s M 2 q n(k) 2 From the assumption, we get that for k [j, i 1] [j, 2j], T k x c s 1 4M 2 j 2. Define S(m) = {k [j, i 1] T k x (mod 2π) I m, m N}. Let { m = max m 9 max{k k S(m)} min{k k S(m)} } i j 1 M 2 k 2. (A.7) if it exists. If m exists, let k 1 = i 1, i 2,, i t = k 2 are all the points in [j, i] such that T is x I m, 1 s t. Then t is a constant depending only on M. In fact, without loss of generality, let i j 60 since otherwise, t 60. Since ω is of bounded type, similar to the proof of Corollary 4.1, we know that there exists a constant c 6 = c 6 (M) > 0 such that c 6 min tm(x) max t m+1 (x) 1, where min t m (x) = min x Im min{i > 0 T i x (mod 2π) I m } and max t m (x) = max x Im min{i > 0 T i x (mod 2π) I m }. Then if t [ 1 c 6 ] + 1, one sees that S(m + 1). Moreover, it holds that max t m +1(x) > [ 1 30 (i j)] + 1. Otherwise, we have that max{k S(m +1)} [i 1 ( 1 (i j)+1), i 1], 30 min{k S(m +1)} [j, j (i j)+1], which contracts the definition of m. Thus it follows that min t m (x) [ c 6 30 (i j)]. Then we obtain that t [ 30 c 6 ] + 1. From the definition of I m, we have A i s+1 i s (T is x) ˆθ is λ i s+1 i s m λi s+1 i s, 0 s t 1. From the construction of φ n, it holds that φ m (x) = φ n (x) on I m \I n. Proposition 3.1 and (A.7), we have Then from (2) n in which, by Lemma 2.1, implies s m (T is x) s m (T is x) 1 2 φ(1/4m 2 j 2 ), A i s+1 i s (T is x) A is i s 1 (T i s 1 x) ˆθ is Ai s+1 i s (T is x) ˆθ is A is i s 1 (T i s 1 x) ˆθ is 1 s m (T is x) s m (T is x) 1 4 λi s+1 i s 1 φ(1/4m 2 j 2 ), 0 s t 1. 24

25 Consequently, we see that A i j (T j x) ˆθ j A it i 0 (T i 0 x) ˆθ i0 λ 1 (i j) 1 4 λk 2 k 1 φ(1/4m 2 j 2 ) λ 1 (i j) 1 4 λ 9 (i j) φ t+1 (1/4M 2 j 2 ) λ 1 (i j) λ 2 3 (i j) φ c 7 (1/4M 2 j 2 ) if λ 1, which implies (A.6) with c 7 = max{[ 30 c 6 ] + 1, 60}. Otherwise, if m does not exist. Let t 0 be the number of items in the set S(N). Without loss of generality, we assume t 2 and i j 60. Let k 3 = j 1 < j 2 < < j t = k 4 be all the points in [j, i] such that T js x I N, 1 s t. Then similar to the above argument, max t N (x) > [ 1 30 (i j)] + 1, otherwise m will exist. It implies min t N (x) [ c 6 30 (i j)]. Thus t [ 30 c 6 ] + 1. Then (A.6) can be proved similarly by the above argument. 2 We also need the following estimate for f, g which are defined in (A.2). Lemma A.3 For any i 1, it holds that Proof. terms: i θ f(λ, θ) 4i (i!) 2 λ 2i f(λ, θ). (A.8) From the expression of f in (A.2), θ i f(λ, θ) can be written as the sum of the following λ 2 k! g (k+1) i 1 θ g i k θ g, where 1 k i, i i k = i with i 1,, i k > 0 and the number of the terms in the sum is i!. When i s = 1, then g 1 is θ g = 2 sin θ(λ2 λ 2 ) λ 2 cos θ λ. Since 2 sin θ cos θ 1, we have sin 2 θ+λ 4 cos 2 θ sin 2 θ+λ 4 cos 2 θ g 1 θ g 4 λ 2. If i s > 1, then g 1 is θ g λ4 sin(2θ+ π 2 (is 1)) λ 4 since sin 2 θ + λ 4 cos 2 θ > 1 for λ > 1. In sin 2 θ+λ 4 cos 2 θ conclusion, we have g 1 is θ g 4λ2is. Thus it follows that λ 2 g k 1 i 1 θ g i k θ g λ 2 g 1 k s=1 g 1 is θ g 4i λ 2 g 1 λ 2i = 4 i f λ 2i. Thus i θ f(λ, θ) 4i (i!) 2 λ 2i f since k i. This ends the proof of the lemma. 2 Lemma A.2 describe some kind of sub-exponential growth property in the following sense. Let φ(x) be defined as in Sections 3 or 5, then one can see that there exists 0 < c < 1 such that a i 1 a j g j(1) λ jc for any 0 j i r + n 1. For example, for φ(x) defined as in Section 5, we can set c = 2a. 25

26 A.2 Upper bound estimates for θ j and θ j In this section, we will give upper bound estimates for derivatives of θ j and θ j defined in the last section. which are We firstly derive out the recursive expression for θ j and θ j. From (A.2) and the definition of θ j, θ j, we have dθ j = f(λ, π 2 + θ j+1) dθ j+1 + φ n(x j ), or equivalently, dθ j = f(λ, θ j+1 φ n(x j ) + π 2 ) ( dθ j+1 φ n(x j )), d θ j = f(λ, θ j+1 + φ n (x j+1 )) ( d θ j+1 + φ n(x j+1 )), dθ j = f(λ, θ j+1 + φ n (x j+1 )) ( dθ j+1 + φ n(x j+1 )), where θ j = π 2 + θ j φ n (x j ) and φ n (x j+1 ) = π 2 φ n(x j ). For convenience, we will still use notations θ j and φ n (x j+1 ) to denote θ j and φ n (x j+1 ). Then we obtain dθ j = f(λ, θ j+1 + φ n 1 (x j+1 )) ( dθ j+1 + φ n 1 (x j+1)) := f j+1 ( dθ j+1 + φ n 1 (x j+1)), (A.9) dθ j = f(λ, θ j+1 + φ n 1(x j+1 )) ( dθ j+1 + φ n 1 (x j+1 )) := f j+1 ( dθ j+1 + φ n 1 (x j+1 )), where 0 j r + n 1 2. By (A.9), we have dθ j = f j+1 ( dθ j+1 + φ n 1 (x j+1)) = f j+1 (f j+2 ( dθ j+2 + φ n 1 (x j+2)) + φ n 1 (x j+1)) = f j+1 (f j+2 ( ( dθ i + φ n 1 (x j)) ) + φ n 1 (x j+1)) = r n + 1 i i=j+1 t=j+1 f t φ n 1 (x i) + r n + 1 i=j+1 f i dθ r n + 1 (A.) := r + n 1 i=j+1 F j,i(x, θ j+1,, θ i ) + r + n 1 i=j+1 f i dθ r + n 1 := F j (x, θ j+1,, θ r + n 1 ) + r + n 1 i=j+1 f i dθ r + n 1. Similarly, dθ j can be written as the form dθ j r = F n + 1 j + f i dθ r n + 1 i=j+1 (A.11) 26

27 with F j = F j (x, θ j+1,, θ r + n 1 ). From (2.1) and the fact that S(A) U(A) for any hyperbolic matrix A, it holds that From (A.12),(A.) and (A.11), we have and dθ 0 = dθ r n + 1, dθ 0 = dθ + rn 1. (A.12) ds n = F 0(x, θ 0 (x),, θ r + n 1 (x)) + 0 i=r + n 1 f i (λ, x, θ i ) ds n and Thus ds n = F 0(x, θ 0(x),, θ r + n 1 (x)) i=r + n 1 0 i=r + n 1 f i f i 0 i=r + n 1 0 i=r + n 1 Similarly, from (A.) and (A.11), we have f i f i 0 i=r + n 1 ds n = F 0 + F 0 dθ j = j k r + n 1 ( j i k f i ds n = F 0 + F 0 ) f i(λ, x, θ i) ds n. 0 i=r + n 1 0 i=r + n 1 f i f i. b k (x) + j k r + n 1 f k dθ 0 := j k r + n 1 F j,k(x, θ j,, θ k ) + j k r + n 1 f k dθ 0 (A.13) (A.14) (A.15) := F j (x, θ j,, θ r + n 1 ) + j k r + n 1 f k dθ 0 and dθ j = ( ) j k r n + 1 j i k f i b k (x) + j k r n + 1 f k dθ 0 := j k r + n 1 F j,k (x, θ j,, θ k ) + j k r + n 1 f k dθ 0 (A.16) with b k = φ (T k x) and b k = φ (T r+ n k 1 x). := F j (x, θ j,, θ r + n 1 ) + j k r + n 1 f k dθ 0 27

28 Now we give estimates for θ j and θ j. For convenience, we use multi-index notation D K F := k1 km F x k 1 1, xkm m for function F = F (x 1,, x m ) where K = (k 1,, k m ), K := k k m. Lemma A.4 Let Y = (y 1,, y t ) and L = (0, l 1,, l t ). Assume that G(λ, Y ) satisfies that for any (l 1,, l t ), D L G(λ, Y ) 4 L ( L!) 2 λ 2 L G. (A.17) Define Θ = (θ 1,, θ t ) and Γ(x) = (γ(x+η 1 ),, γ(x+η t )) with η i R. Then for Ĝ(λ, x, Θ) = G(λ, Γ(x) + Θ) and ˆL = (0, l 0, l 1,, l t ), we have D ˆL Ĝ(λ, x, Θ) 4 ˆL ( ˆL!) 2 P ˆL t+ ˆL γ l 0 λ 2 ˆL G. (A.18) Proof. From the condition (A.17), we have that ( ) D ˆL Ĝ(λ, x, Θ) l 0 l 1 + +l t x l 0 y l 1 y G(λ, Γ(x) + Θ) l t k1+l1+ +kt+lt m 1,1 + +m t,kt =l 0 y k 1+l 1 t G(λ, Γ(x) + Θ) γ 1 y kt+lt C m 1,1 γ m C t,kt (A.19) 4 ˆL ( ˆL!) 2 P ˆL t+ ˆL γ l 0 λ 2 ˆL G, where we use the fact that the number of the terms in the sum is not more than P ˆL t+ ˆL denote γ C m 1,1 γ m C t,kt by γ l0. Remark A.1 In the following, for a function h = h(x), we sometimes denote by h k = max {k1 + +k m=k} 1 i m h C k i. and It is easy to see that h k1 h k2 h k1 +k 2. (A.20) From Lemmas A.2 and A.4, we have the following estimates: 28

29 Lemma A.5 Let K = (k j,, k r + n 1 ) with k j + + k r + n 1 = k and Θ(x) = (θ j+1 (x),, θ r + n 1 (x)), Θ (x) = (θ j+1 (x),, θ r + n 1 (x)), where θ j (x), θ j (x) are defined as above, and 0 j r+ n 1. Then we have D K ( r n + 1 i=j f i )(λ, x, Θ), D K ( r n + 1 i=j f i )(λ, x, Θ ) 4 k (k!) 2 φ n kj P k r n + j+k λ (r+ n j)+2k g j (1) D K F j,i (λ, x, Θ), D K F j,i (λ, x, Θ ) 4 k (k!) 2 φ n kj +1 P k i j+k λ (i j)+2k g j (1). (A.21) Proof. From (A.8) and Lemma A.4, we have r n + 1 D K ( i=j From Lemma A.2, we know that f i )(λ, x, Θ) 4 k (k!) 2 φ n kj +1λ 2k P k i j+k ( r + n 1 i=j f i )(λ, x, Θ). Then r n + 1 ( i=j f i )(λ, x, Θ) < λ (i j) g j (1). r n + 1 D K ( f i )(λ, x, Θ) 4 k (k!) 2 φ n kj P k r n + j+k λ (r+ n j)+2k g j (1). i=j The other estimates in (A.18) can be proved by the same method. The following element lemma can make the proof of Lemma A.7 simpler: Lemma A.6 Let λ 1. If for any r N, f 1 (x) and f 2 (x) satisfy dr f i φ r r r r λ 8r2 g n (r), i = 1, 2. Then we have dr (f 1 f 2 ) r φ r r r λ 8r2 g n (r). Proof. This can be easily proved from the definition of g n (See Lemma A.2) and the definition of φ r (See (A.20)). The following estimates on the upper bound of derivatives of θ j, θ j proof of Lemmas 3.8 and 5.2. are important for the 29