arxiv: v1 [math.ds] 10 Nov 2017

Transcription

1 CONTINUITY OF HAUSDORFF DIMENSION ACROSS GENERIC DYNAMICAL LAGRANGE AND MARKOV SPECTRA II arxiv: v1 [math.ds] 10 Nov 2017 A. CERQUEIRA, C. G. MOREIRA, AND S. ROMAÑA Abstract. Let g 0 be a smooth pinched negatively curved Riemannian metric on a complete surface N, and let Λ 0 be a basic hyperbolic set of the geodesic flow of g 0 with Hausdorff dimension strictly smaller than two. Given a small smooth perturbation g of g 0 and a smooth real-valuedfunction f on the unit tangent bundle to N with respect to g, let L g,λ,f, resp. M g,λ,f be the Lagrange, resp. Markov spectrum of asymptotic highest, resp. highest values of f along the geodesics in the hyperbolic continuation Λ of Λ 0. We prove that, for generic choices of g and f, the Hausdorff dimension of the sets L g,λ,f (,t) vary continuously with t R and, moreover, M g,λ,f (,t) has the same Hausdorff dimension of L g,λ,f (,t) for all t R. 1. Introduction The first paper of this series [CMM] discussed the continuity properties of the Hausdorff dimension across dynamical Lagrange and Markov spectra of surface diffeomorphisms. In this article, our goal is to extend the results in [CMM] to the case of geodesic flows of negatively curved Riemannian surfaces Dynamical Markov and Lagrange spectra. Let M be a smooth manifold, T = Z or R, and φ = (φ t ) t T be a discrete-time (T = Z) or continuous-time (T = R) smooth dynamical system on M, that is, φ t : M M are smooth diffeomorphisms, φ 0 = id, and φ t φ s = φ t+s for all t,s T. Given a compact invariant subset Λ M and a function f : M R, we define the dynamical Markov, resp. Lagrange, spectrum M φ,λ,f, resp. L φ,λ,f as where M φ,λ,f = {m φ,f (x) : x Λ}, resp. L φ,λ,f = {l φ,f (x) : x Λ} m φ,f (x) := sup t T f(φ t (x)), resp. l φ,f (x) := limsupf(φ t (x)) t + Date: June 11, Key words and phrases. Hausdorff dimension, horseshoes, Lagrange spectrum, Markov spectrum, flows on 3-manifolds. A.C. was partially supported by CNPq-Brazil. Also, she thanks the hospitality of Collège de France and IMPA-Brazil during the preparation of this article. C.G.M. was partially supported by CNPq-Brazil. 1

2 2 A. CERQUEIRA, C. G. MOREIRA, AND S. ROMAÑA Remark 1.1. An elementary compactness argument (cf. Remark in Section 3 of [MoRo]) shows that {l φ,f (x) : x A} {m φ,f (x) : x A} f(a) whenever A M is a compact φ-invariant subset Statement of the main result. In this paper, we shall study the fractal geometry of M φ,λ,f (,t) and L φ,λ,f (,t) as t R varies in the context of geodesic flows on negatively curved Riemannian surfaces. More precisely, let N be a complete surface, let g 0 be a smooth (C r, r 4) pinched negatively curved Riemannian metric on N, i.e, the curvature is bounded above and below by two negative constants. Let φ g0 = (φ t g 0 ) t R be the geodesic flow on the unit tangent bundle M = S g0 N of N with respect to g 0. Consider a horseshoe Λ 0 of φ g0 with Hausdorff dimension dim(λ 0 ) < 2. Denote by U a small (C r, r 4) neighborhood of g 0 such that Λ 0 admits a hyperbolic continuation Λ for all g U. Theorem 1.2. If U is sufficiently small, then there exists a Baire residual subset U U with the following property. For every g U, there exists a dense subset H φg,λ C s (S g N,R), s 4, such that the function is continuous and whenever f H φg,λ. t dim(l φg,λ,f (,t)) dim(l φg,λ,f (,t)) = dim(m φg,λ,f (,t)) t R 2. Proof of the main result Morally speaking, our proof of Theorem 1.2 consists into a reduction to the context of the first paper of this series [CMM] Dimension reduction via Poincaré maps. The notion of good cross sections was exploited in [MoRo] to describe the dynamics of φ g on Λ (for g U) in terms of Poincaré maps. More precisely, they constructed a finite number of disjoint smooth (C r, r 3) cross sections Σ i, 1 i k, of the flow φ such that the φ-orbit of any point of Λ intersects Θ := k Σ i, the subset K := Λ Θ is disjoint from the i=1 boundary Θ := k Σ i, and K is a horseshoe of the Poincaré (first return) map i=1 R : D R Θ from a neighborhood D R Θ of K to Θ sending y D R to the point R(y) = φ t +(y) (y) where the forward φ-orbit of y first hits Θ. The relation between the Hausdorff dimensions of K and Λ is described by the following lemma (compare with Lemma 14 in [MoRo]): Lemma 2.1. In the previous setting, one has dim(λ) = dim(k)+1.

3 HAUSDORFF DIMENSION ACROSS GENERIC DYNAMICAL SPECTRA II 3 Proof. We cover Λ with a finite number of tubular neighborhoods U l, 1 l m of compact pieces of φ-orbits issued from points in Θ, say U l = {φ t (y) : t < γ l,y V l } where V l Θ Θ is open and γ l R. Since dim(λ) = max {dim(λ U l)} and dim(k) = max {dim(k V l)}, we can 1 l m 1 l m select l 0 andl 1 such that dim(λ) = dim(λ U l0 ) and dim(k) = dim(k V l1 ). Because Λ V l = K V l and U l is a tubular neighborhood for each 1 l m, we also have that Λ U l is diffeomorphic to (K V l ) ( γ l,γ l ). It follows that and dim(λ) = dim(λ U l0 ) = dim(k V l0 )+1 dim(k)+1 dim(k)+1 = dim(k V l1 )+1 = dim(λ U l1 ) dim(λ) This proves the lemma. ThedynamicalLagrangeandMarkovspectraofΛandK arerelatedinthefollowing way. Given afunctionf C s (S g N,R), s 1, let usdenote byf = max φ f : D R R the function F(y) := max 0 t t + (y) f(ϕt (y)) Remark 2.2. F = max φ f might not be C 1 in general. and By definition: lim sup n + for all x K. In particular, sup n Z L φg,λ,f = L R,K,F F(R n (x)) = limsupf(φ t g(x)) t + F(R n (x)) = supf(φ t g(x)) t R and M φg,λ,f = M R,K,F This reduces Theorem 1.2 to the following statement: Theorem 2.3. In the setting of Theorem 1.2, if U is sufficiently small, then there exists a Baire residual subset U U such that, for each g U, one can find a dense subset H φg,λ C s (S g N,R), s 4, so that the function is continuous and t dim(l R,K,maxφg f (,t)) dim(l R,K,maxφg f (,t)) = dim(m R,K,maxφg f (,t)) t R whenever f H φg,λ.

4 4 A. CERQUEIRA, C. G. MOREIRA, AND S. ROMAÑA The proof of Theorem 2.3 starts as follows. Let {R a } a A be a Markov partition consisting of rectangles R a Ia s Iu a delimited by compact pieces Is a, resp. Iu a, of stable, resp. unstable, manifolds of a finite collection of R-periodic points of K Θ. Recall that the stable and unstable manifolds of K can be extended to locally R- invariant C 1+ε -foliations in D R for some ε > 0. These foliations induce projections πa u : R a Ia s {iu a } and πs a : R a {i s a } Iu a of the rectangles into the connected components Ia s {iu a } and {is a } Iu a of the stable and unstable boundaries of R a where i u a Ia u and i s a Ia s are fixed arbitrarily. In this way, we obtain stable and unstable Cantor sets K s = πa u (K R a) and K u = a a A a Aπ s (K R a) associated to K. In the sequel, we will analyze the sets K s t := a A K t := {y K : m R,K,maxφ f(y) t}, π u a(k t R a ) and K u t := a Aπ s a(k t R a ) 2.2. Upper-semicontinuity. Denote by D s (t) and D u (t) the limit capacities of K s t and K u t. As it was shown in [CMM, Proposition 2.6], an elementary compactness argument reveals that: Proposition 2.4. For any g U and f C 0 (S g N,R), the functions t D u (t) and t D s (t) are upper semicontinuous. Therefore, it remains study the lower semi-continuity of D s (t) and D u (t) and their relations with L R,K,maxφg f (,t) and M R,K,maxφg f (,t). For this sake, we introduce the Baire generic sets U and H φg,λ in the statement of Theorem Description of U. We say that g U whenever every subhorseshoe K K g satisfies the so-called property (Hα) of Moreira-Yoccoz [MY] and possesses a pair of periodic points whose logarithms of unstable eigenvalues are incommensurable, where K g denoted the hyperbolic continuation of K. The set U was defined so that Moreira s dimension formula [Mo, Corollary 3] implies the following result: Proposition 2.5. Suppose that g U. Then, given any subhorseshoe K K and any C 1 function H : D R R whose gradient is transverse to the stable and unstable directions of R at some point of K, one has dim(h( K)) = min{dim( K),1} For later use, we observe that U is a topologically large subset of U: Lemma 2.6. U is a Baire generic subset of U.

5 HAUSDORFF DIMENSION ACROSS GENERIC DYNAMICAL SPECTRA II 5 Proof. BytheresultsinSubsection4.3andSection9of[MY],everysubhorseshoe K K satisfies the property (Hα) whenever the so-called Birkhoff invariant (cf. [MY, Appendix A]) of all periodic points of R in K are non-zero. As it turns out, the nonvanishing of Birkhoff invariant is an open, dense and conjugation invariant condition on the third jet of a germ of area-preserving automorphism of (R 2,0) (compare with Lemma 32 in [MoRo]). It follows from Klingenberg-Takens theorem [KT, Theorem 1] that the subset V of g U such that every subhorseshoe K K satisfies the property (Hα) is C r -Baire generic (for all r 4). On the other hand, given any pair p and q of distinct periodic orbits in K, if we denote by γ p and γ q the corresponding g-geodesics on N, then we can select a piece l γ p disjoint from γ q (because distinct geodesics intersect transversely) and we can apply Klingenberg-Takens theorem [KT, Theorem 2] to (the first jet of the Poincaré map along) l to ensure that the logarithms of the unstable eigenvalues of p and q are incommensurable for a C r -Baire generic subset W p,q of U (for all r 2). It follows that the subset U = V p,q Per(R) K p q W p,q is a countable intersection of C r -Baire generic subsets (for all r 4) such that U U. This proves the lemma Description of H φg,λ. Let H φg,λ be the set of functions f such that there exists a finite collection J of C 1 -curves in Θ so that, for each n N, the complement V n of the 1/n-neighborhood of J in Θ contains a finite collection L n of C 1 -curves with the property that F = max φ f is C 1 on V n \L n and the gradient of F Vn\L n is transverse to the stable and unstable directions of R at all points of K (V n \L n ). We want to show that: Lemma 2.7. H φg,λ is dense. For this sake, we need two auxiliary sets M φg,λ N φg,λ of functions defined as follows. Onceagainwecover Λwithafinitenumber oftubular neighborhoodsu l, 1 l m whose boundaries are the good cross-sections Θ = k Σ i mentioned above. For each l, let us fix coordinates (x 1 (l),x 2 (l),x 3 (l)) on U l such that x 3 (l) is the flow direction and U l Θ = {x 3 (l) = 0} {x 3 (l) = 1}. Definition 2.8. We say that f N φg,λ whenever: (i) 0 is a regular value of the restriction of (ii) 0 is a regular value of 3 f x 3 (l) 3 ; (iii) 0 is a regular value of the functions i=1 f x 3 (l) to U l Θ; 2 f x 3 (l) 2 and 2 f x 3 (l) 2 { 3 f x 3 (l) 3=0};

6 6 A. CERQUEIRA, C. G. MOREIRA, AND S. ROMAÑA (iv) 0isaregularvalueofthefunctions for each 1 l m. Lemma 2.9. N φg,λ is dense. f f x 3 (l) { 2 f and x 3 (l) 2=0} x 3 (l) { 3 f x 3 (l) 3=0} { 2 f 2=0}, x 3 (l) Proof. Given a function f, let us consider the three-parameter family f a,b,c (x 1,x 2,x 3 ) = f(x 1,x 2,x 3 ) cx 3 3/6 bx 2 3/2 ax 3 where a,b,c R. By Sard s theorem, we can fix first a very small regular value c 0 of 3 f x 3 3 a very small regular value b 0 of both 2 f x 2 3 c}, and finally a very small regular value a 0 of ( f ( f, then cx 3 and its restriction to { 3 f x 3 (l) 3 = x 3 cx 2 3 /2 bx 3) { 2 f x 2 3 f =c} { 2 f and ( x 2 cx 3 =b} x 3 cx 2 3 /2 bx 3) {x3 =0} {x 3 =1}. 3 cx 3 =b}, x 3 cx 2 3 /2 bx 3) { 3 f x 3 3 Forachoiceofparameters(a,b,c)asabove, wehavethatf a,b,c N φg,λ: indeed, this = 3 f x 3 3 c, 2 f a,b,c x 2 3 = 2 f x 2 3 cx 3 and f a,b,c x 3 happens because 3 f a,b,c x 3 3 Since f a,b,c is arbitrarily close to f, this proves the lemma. = f x 3 cx 2 3 /2 bx 3. By definition, if f N φg,λ, then µ l := { f = 0} U x 3 (l) l is a curve (thanks to (i)), and J l := { f = 0} { 2 f x 3 (l) x 3 = 0} is a curve intersecting the surface { 3 f (l) 2 x 3 = 0} (l) 3 at a finite set Π l of points (thanks to (ii), (iii) and (iv)). Note that if (x 1,x 2,0),(x 1,x 2,1) / µ l and the piece of orbit (x 1,x 2,z), 0 z 1, doesn t intersect J l, then there is a neighborhood V of (x 1,x 2,0) U l Θ and a finite collection of disjoint graphs {(x,y,ψ j (x,y)) : (x,y,0) V}, 1 j n such that if F(x 1,x 2,t ) = max φ f(x 1,x 2,t ) with (x 1,x 2,0) V, then t = ψ j (x 1,x 2 ) for some j. Definition We say that f M φg,λ if f N φg,λ and there exists a finite collection J of C 1 -curves in Θ so that, for each n N, the complement V n of the 1/nneighborhood of J in Θ contains a finite collection L n of C 1 -curves with the property that for each y V n \L n, there is an unique 0 t(y) t + (y) with F(y) = f(φ t(y) (y)), and, moreover, the function y φ t(y) (y) is C 1 on V n \L n. Lemma M φg,λ is dense. Proof. Consider f N φg,λ as above. Our discussion so far says that the curves µ l and the projections of the curves J l in the flow direction (x 3 -coordinate) is a finite union J of C 1 curves contained in Θ such that, for each y D R \J, the value F(z) for z near y is described by the values of f at a finite collection of graphs transverse to the flow direction. In other terms, using the notation in the paragraph before Definition 2.10, our task is reduced to perturb f in such a way that F(x 1,x 2,t ) are given by the values of f on an unique graph (x 1,x 2,ψ(x 1,x 2)).

7 HAUSDORFF DIMENSION ACROSS GENERIC DYNAMICAL SPECTRA II 7 In this direction, we employ the argument from Lemma 19 in [MoRo]. More precisely, given N N, the value of F at any point (x,y) V N is described by finitely many disjoint graphs ψ j, 1 j n (where n depends on N). As it is explained in Lemma 19 in [MoRo], we can perform small perturbations of f on V N in such a way that 0 is a simultaneous regular value of the functions (x 1,x 2 ) g ji (x 1,x 2 ) := f(x 1,x 2,ψ j (x 1,x 2 )) f(x 1,x 2,ψ i (x 1,x 2 )) for all choices of 1 j < i n. In this situation, L n = g 1 ji (0) is a finite collection of C1 -curves 1 j<i n such that, for each y V n \L n, the values of F near y are described by the values of f at an unique graph. Hence, for each y V n \L n, one has that F(y) = f(φ t(y) (y)) for an unique 0 t(y) t + (y) depending in a C 1 way on y. This shows the lemma. At this point, we are ready to establish the denseness of H φg,λ: Proof of Lemma 2.7. Given a function f C s (S g N,R), we apply Lemma 2.11 in order to perform a preliminary perturbation so that f M φg,λ. In this context, our task is simply to prove that some appropriate perturbations of f render the gradient of F = max φ f transverse to the stable and unstable directions at all points of K \( L n J). n N For this sake, we fix n N and consider a point x K (V n \L n ). Recall that, in a small neighborhood of x, the values of F = max φ f are given by the values of f on a graph (x 1,x 2,ψ(x 1,x 2 )). Since the Hausdorff dimension of K is strictly smaller than one (cf. Lemma 2.1), we can employ the argument in Proposition 2.7 in [CMM] to find arbitrarily small vectors v = (v 1,v 2 ) R 2 such that the functions f v (x 1,x 2,t) := f(x 1,x 2,t) v 1 x 1 v 2 x 2 near the graph (x 1,x 2,ψ(x 1,x 2 )) (and coinciding with f elsewhere) have the property that the gradient of F v := max φ f v is transverse to the stable and unstable directions of any point of K close to (x 1,x 2 ). Because n N and x K (V n \L n ) were arbitrary, the proof of the lemma is complete Lower semicontinuity. The first step towards the lower semicontinuity D u (t) and D s (t) is the following analog of Proposition 2.10 in [CMM]: Proposition Suppose that g U and f H φg,λ. Given t R such that D u (t) > 0, resp. D s (t) > 0, and 0 < η < 1, there exist δ > 0 and a (complete) subhorseshoe K K t δ such that dim((k ) u ) > (1 η)d u (t) and dim((k ) s ) > (1 η)d u (t) resp. dim((k ) u ) > (1 η)d s (t) and dim((k ) s ) > (1 η)d s (t) In particular, D u (t) = D s (t) = d u (t) = d s (t) for all t R. Proof. By symmetry (i.e., replacing the flow by its inverse), it suffices to prove the statement when D u (t) > 0.

8 8 A. CERQUEIRA, C. G. MOREIRA, AND S. ROMAÑA We consider the construction of K in terms of its Markov partition R a, a A, introduced above. Given an admissible 1 word α = (a 0,...,a k ) on the alphabet A, denote by I u (α) = π a0 ({x R a0 : R i (x) R ai i = 1,...,k}). In this setting, the unstable scale r u (α) is log(1/(length of I u (α))). For each r N, define P u r := {α = (a 0,...,a k ) admissible word : r u (α) r and r u (a 0,...,a k 1 ) < r}, C u (t,r) := {α P u r : Iu (α) K u t } and N u (t,r) := #C u (t,r). Of course, we have similar notions of I s (β), etc. Denote by τ = η/100. By the definition of limit capacity, we can fix r 0 sufficiently large such that logn u (t,r) D u (t) r < τ 6 D u(t) for all r r 0. Recall that the fact that f H φg,λ is associated to a finite collection J of C 1 -curves in Θ so that, for each n N, the complement V n of the 1/n-neighborhood of J in Θ contains a finite collection L n of C 1 -curves with the property that F = max φ f is C 1 on V n \ L n and the gradient of F Vn\L n is transverse to the stable and unstable directions of R at all points of K (V n \L n ). As it is explained in Lemma 18 in [MoRo], it is possible to select a subset B u (r 0 ) C u (t,r 0 ) such that log#b u (r 0 ) logn u(t,r 0 ) τ r 0 r 0 6 D u(t) and the subhorseshoe K (r0) K associated to the admissible words in B u is disjoint from J. By selecting n 0 N large so that K (r0) V n0 and by applying again the arguments in Lemma 18 in [MoRo], we can find a subset B u B u (r 0 ) such that log#b u logbu (r 0 ) τ r 0 r 0 6 D u(t) and the subhorseshoe K K associated to the admissible words in B u is contained in V n \L n. In summary, we obtained a subset B u C u (t,r 0 ) with log#b u r D u (t) < τ 2 D u(t) such that the subhorseshoe K K associated to B u is contained in V n0 \L n0 and, a fortiori, the gradient of F = max φ f is transverse tothe stableandunstable directions at all points of K. 1 i.e., there is a point x K such that R i (x) R ai for all i = 0,...,k.

9 HAUSDORFF DIMENSION ACROSS GENERIC DYNAMICAL SPECTRA II 9 In this scenario, we can run the same arguments from Proposition 2.10 in [CMM] in order to locate a subhorseshoe K K with the desired features. At this stage, we are ready to show the lower semicontinuity of D u (t) and D s (t). Proposition For g U and f H φg,λ, the functions t D u (t) and t D s (t) are lower semicontinuous and D s (t)+d u (t) = 2D u (t) = dim(l R,K,maxφg f (,t)) = dim(m R,K,maxφg f (,t)) Proof. Consider t R with D u (t) > 0 and fix η > 0. By Proposition 2.12, we can find δ > 0 and a subhorseshoe K K t δ such that (1 η)(d u (t)+d s (t)) = 2(1 η)d u (t) dim(k ) Since the gradient of F = max φ f is transverse to the stable and unstable directions of K (cf. the proof of Proposition 2.12 above), we can use Proposition 2.16 in [CMM] to get that, for each ε > 0, there exists a subhorseshoe K ε K with dim(k ε ) dim(k ) ε and a C 1 height function H ε whose gradient is transverse to the stable and unstable directions of K ε such that By Proposition 2.5, it follows that H ε (K ε) l R,maxφ f(k ) dim(k ) ε dim(k ε) = dim(h ε (K ε)) dim(l R,maxφ f(k )) for all ε > 0. In particular, dim(k ) dim(l R,maxφ f(k )). Because K K t δ, one has l R,maxφ f(k ) L φg,λ,f (,t δ). Thus, our discussion so far can be summarized by the following estimates: 2(1 η)d u (t) dim(k ) dim(l R,maxφ f(k )) dim(l R,K,maxφg f (,t δ)) dim(m R,K,maxφg f (,t δ)) dim(max φg f(k t δ ) 2D u (t δ) This proves the proposition End of proof of Theorem 2.3. Let g U and f H φg,λ. Note that U is a residual subset of U thanks to Lemma 2.6 and H φg,λ is dense in C s (S g N,R) for s 4 thanks to Lemma 2.7. By Propositions 2.4 and 2.13, the function t D s (t) = D u (t) = 1 2 dim(l R,K,max φg f (,t)) = 1 2 dim(m R,K,max φg f (,t)) is continuous. This completes the proof of Theorem 2.3 (and, a fortiori, Theorem 1.2).

10 10 A. CERQUEIRA, C. G. MOREIRA, AND S. ROMAÑA Acknowledgement We would like to thank Carlos Matheus for very helpful discussions and suggestions during the preparation of this paper. References [CMM] A. Cerqueira, C. Matheus and C. G. Moreira, Continuity of Hausdorff dimension across generic dynamical Lagrange and Markov spectra, Preprint (2016) available at arxiv: [KT] W. Klingenberg and F. Takens, Generic properties of geodesic flows, Math. Ann. 197 (1972), [Mo] C. G. Moreira, Geometric properties of images of cartesian products of regular Cantor sets by differentiable real maps, Preprint (2016) available at arxiv: [MoRo] C. G. Moreira and S. Romaña, On the Lagrange and Markov Dynamical Spectra for Geodesic Flows in Surfaces with Negative Curvature, Preprint (2015) available at arxiv: [MY] C. G. Moreira and J.-C. Yoccoz, Tangences homoclines stables pour des ensembles hyperboliques de grande dimension fractale, Ann. Sci. Éc. Norm. Supér. (4) 43 (2010), Aline Cerqueira: IMPA, Instituto de Matemática Pura e Aplicada, Estrada Dona Castorina, Jardim Botânico, Rio de Janeiro, RJ, CEP , Brazil address: alineagc@gmail.com Carlos G. Moreira: IMPA, Instituto de Matemática Pura e Aplicada, Estrada Dona Castorina, Jardim Botânico, Rio de Janeiro, RJ, CEP , Brazil address: gugu@impa.br Sergio Romaña: UFRJ, Universidade Federal do Rio de Janeiro, Av. Athos da Silveira Ramos 149, Centro de Tecnologia (Bloco C), Cidade Universitária, Ilha do Fundão, Rio de Janeiro, RJ, CEP , Brazil address: sergiori@im.ufrj.br