TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 351, Number 5, Pages 1975–1987 S 0002-9947(99)02214-X Article electronically published on January 27, 1999
GEOMETRY OF CANTOR SYSTEMS
YUNPING JIANG
Abstract. A Cantor system is defined. The geometry of a certain family of Cantor systems is studied. Such a family arises in dynamical systems as hyperbolicity is created. We prove that the bridge geometry of a Cantor system in such a family is uniformly bounded and that the gap geometry is regulated by the size of the leading gap.
1. Introduction During the last two decades, Cantor sets have played an important role in the study of chaotic dynamical systems. One example is the structural stability theory developed by Smale [SM] and others; a second is the universality theory discovered by Feigenbaum [FE1], [FE2] (independently, by Coullet and Tresser [CT]), and de- veloped by, among others, Lanford [LA1], [LA2], Sullivan [SU], and McMullen [MC]. In the second example, the geometry of Cantor sets presents a universal pattern. The study of the geometry of Cantor sets thus becomes an interesting and important problem. In order to construct a Cantor set in the real line R, we need to remove infinitely many subintervals which are called the gaps of the Cantor set. The sizes and positions of these gaps determine the geometry of the Cantor set. Let us first give a definition of an interval system which determines a Cantor set in the real line R.Let = n ∞ be a sequence of families of disjoint, non-empty, compact I {I }n=0 intervals. Let = n n∞=1 be a sequence of families of disjoint, non-empty, open intervals. Let G = {G, } . C {I G} Definition 1. We call a Cantor system if C (i) for each 0 n< and each interval I , there is a unique interval G in ≤ ∞ ∈In n+1 and two intervals L and R in n+1 which lie to the left and to the right ofG G such that I = L G R (see FigureI 1), and + ∪ ∪ (ii) CS = n=0∞ I I is totally disconnected. ∈In The set CST in DefinitionS 1 is a Cantor set in the real line R. We call each interval I in n for 0 n< a -bridge and call each interval G in n for 1 n< a -gap.I We also≤ call∞ eachC interval G in a leading gap. We noteG that≤ a Cantor∞ C G1 system determines a unique Cantor set in the real line R. Definition 2. The bridge geometry of is the set of ratios C J = | | ; I = L G R ,J =L or R ,G ,n=0,1,2,... . BR I ∪ ∪ ∈In ∈In+1 ∈Gn+1 n | | o Received by the editors February 12, 1996 and, in revised form, December 2, 1996. 1991 Mathematics Subject Classification. Primary 57F25, 58F11. Partially supported by an NSF grant and PSC-CUNY awards.
c 1999 American Mathematical Society 1975
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1976 YUNPING JIANG
L G R
I
Figure 1
The gap geometry of is the set of ratios C G = | | ; I = L G R ,J =L or R ,G ,n=0,1,2,... . GAP J ∪ ∪ ∈In ∈In+1 ∈Gn+1 n | | o In this paper, we study the bridge geometry and the gap geometry of a family of Cantor systems which depend on . Such a family arises in dynamical systems as hyperbolicity is created. One example of such a family is the family of Cantor systems 0< 1 dynamically defined by the family of self-maps f(x)=1+ (2 + ) x{Cγ }of the≤ interval [ 1, 1], where γ>1isfixedand>0{ is a parameter.− | | } − ˜ Another example is the family of Cantor systems 0< 1 dynamically defined {C } ≤ γ/2 by the family of self-maps g(x)= 1+(2+) cos(πx/2) of the interval [ 1, 1], where γ>1isfixedand{ >−0 is a parameter. In these} examples, the − dynamical systems generated by f and g are hyperbolic when >0 and cease to be hyperbolic when = 0. The corresponding Cantor sets are the maximal invariant sets of f and g. One of the main results in this paper shows that in a family of Cantor systems like these two examples, the bridge geometry is bounded 1 uniformly and the gap geometry is regulated by the function α : γ . The paper is organized as follows. In 2, we define an asymptotically7→ non- hyperbolic family of folding mappings. In §3, we study families of linear Cantor systems depending on parameters . We find§ some conditions on families of linear Cantor sets depending on parameters such that the gap geometry is regulated 1 by the function α()=γ, and, for each >0, the deviation of the Hausdorff 1 dimension of the corresponding Cantor set from one is comparable to γ .This is formulated as Theorem 2 and gives us some insight into why the study of non- linear Cantor systems depending on parameters is interesting and important. In 5, we study a family of interval systems 0 dynamically defined by an § {C } ≤ ≤ 0 asymptotically non-hyperbolic family of non-linear folding mappings f 0 . { } ≤ ≤ 0 Let be the bridge geometry and be the gap geometry of for each 0 <BR .Letα()>0 be a function ofGAP.Weprovein 5 one of our mainC results: ≤ 0 § Theorem 1. For each 0 < 0, the dynamically defined interval system is a Cantor system whose bridge geometry≤ is uniformly bounded and whose gap geometryC 1 is regulated by the function α : γ ; more precisely, there is a constant K>0 such that 7→ log br() K ≤
and gg() log K α() ≤
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use GEOMETRY OF CANTOR SYSTEMS 1977
for all br() and all gg() and all 0 < . ∈BR ∈GAP ≤ 0 Controlling the nonlinearity of the dynamical system generated by f is one of main themes in the proof. In 4, we review some properties of the Schwarzian derivatives. A result about controlling§ the nonlinearity of a C3 diffeomorphism by using its Schwarzian derivative is also proved in this section. A corollary of this result is the C3 Koebe distortion lemma (see [CE], [MV]). The main idea involved in the proof of Theorem 1 is to divide the interval where the function f is defined into two parts. The first part is away from the critical point of f. The second part is away from the post-critical orbit of f. In the first part, we use the naive distortion property (see Lemma 1) to control the nonlinearity of the dynamical system generated by f. Theorem 3 (see Lemma 2) takes care of the nonlinearity in the second part. The power law function x x γ makes the transition from the first part into the second part. 7→ −| |
Acknowledgment. The author would like to thank Professor Dennis Sullivan for insightful suggestions.
2. An asymptotically non-hyperbolic family
Let [a, b] be the closed interval bounded by a and b and let 0 > 0andγ>1be real numbers. The Schwarzian derivative S(h)ofaC3-diffeomorphism h from an interval I onto h(I) is, by definition, h 3 h 2 S(h)= 000 00 . h0 − 2 h0 Let = fε 0 be a family of folding mappings. F { } ≤ ≤ 0 Definition 3. We say is asymptotically non-hyperbolic if F (a) every f (x)=h( x γ )whereh :[ 1,0] [ 1, 1+]isaC3 orientation- −| | − → − preserving diffeomorphism such that S(h)(x) 0 for all x in [ 1, 0] and such that h ( 1) = 1andh(0) = 1 + for all x in≤ [ 1, 0] and all− 0 1, − − − ≤ ≤ 0 (b) there is a constant K>0 such that log h0 (x) K for all 1 x 0and ≤ − ≤ ≤ all 0 0,and ≤ ≤ (c) there is a constant λ>1 such that f 0( 1) λ for all 0 . − ≥ ≤ ≤ 0 Let be an asymptotically non-hyperbolic family. For each 0 < 0,let F n ≤ n, be the set of intervals in f− ([ 1, 1]) and let n, be the set of intervals in I n − G f − ((1, 1+)). Let = ∞ ,let = ∞ , and let = , .Then I {In,}n=0 G {Gn,}n=1 C {I G} is an interval system dynamically defined by f.For0< 0, the leading gap C 1 ≤ of is G , = f− ((1, 1+)) and its size lg()is C ∗ 1 γ lg()= h0(ξ) for some ξ [ 1, 0]. From (b) of Definition 3 and the fact that h([ 1, 0]) = [ 1, 1+], there∈ − is a constant K>0 independent of such that − −
log h0 (x) K ≤
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1978 YUNPING JIANG
for all 1 x 0andall0 0. Thus there is a constant K>0 independent of such− that≤ ≤ ≤ ≤ lg() log 1 K γ ≤ for all 0 < . The following theorem says that this inequality is true not only ≤ 0 for the leading gaps but also for all gaps. Let bethebridgegeometryand be the gap geometry of . BR GAP C Theorem 1. For each 0 < 0, the dynamically defined interval system is a Cantor system whose bridge geometry≤ is uniformly bounded and whose gap geometryC 1 is regulated by the function α : γ ; more precisely, there is a constant K>0 such that 7→ log br() K ≤
and
gg() log K α() ≤ for all br() and all gg() and all 0 < . ∈BR ∈GAP ≤ 0 The proof of this theorem is given in 5. One of the consequences of Theorem 1 is that §
∞ CS = I n=0 I \ ∈I[n, is a Cantor set on the real line R for each 0 < 0. ≤ n Remark 1. For =0,let be the set of the closures of intervals in f − ([ 1, 1)). In,0 0 − Let = ∞ and let = , .Then is an interval system dynamically I0 {In,0}n=0 C0 {I0 ∅} C0 defined by f0. Although CS0 = ∞ I =[ 1,1] is not a Cantor set, but n=0 I n,0 − from the dynamical system point of view, the∈I interval system dynamically defined T S C0 by f0 can be also considered as a Cantor system with null gaps and with bridges 0 = n,0 n∞=0. Therefore 0 can be included in the first statement of Theorem 1 too.I {I } C ˜ ˜ Remark 2. Let = f 0 be another asymptotically non-hyperbolic family F { } ≤ ≤ 0 of folding mappings and let = H 0 0 be a family of homeomorphisms of [ 1, 1] such that H { } ≤ ≤ − f˜ H CS = H f CS . ◦ | ◦ | From Theorem 1, we can also prove that H C is quasisymmetric (see [AH]). In | particular, H0 is a quasisymmetric homeomorphism of [ 1, 1]. This result has been generalized to geometrically finite one-dimensional maps.− The proof of the generalized result can be found in [JI1]. Remark 3. From Theorem 1, one can see that the Hausdorff dimension of HD() 1 of C is less than or equal to 1 Kγ ,whereK>0 is a constant (see [JI2] for some estimate of HD() from below).−
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use GEOMETRY OF CANTOR SYSTEMS 1979
3. Cantor systems generated by piecewise linear mappings In this section, we discuss some examples of families of Cantor systems dynam- ically defined by piecewise linear mappings. The discussion gives us some insight into why Theorem 1 is interesting and important. Let l = l()andr=r() be two positive functions on (0,0] satisfying l()+r()<1. Define x l() for x [0,l()]; f(x)= 1 x ∈ − for x [1 r(), 1]. (r() ∈ − For each 0 < 0 and for each 0 n< ,let n, be the set of intervals in n ≤ ≤ ∞ I f− ([0, 1]). Let G , =(l(),1 r()) and let 1, = G , .Let n, be the set of n+1∗ − G { ∗ } G intervals in f− (G ,) for all 2 n< .Let = n, n∞=0,let = n, n∞=1, ∗ ≤ ∞ I {I } G {G } and let C = , . The size of the leading gap G , is lg()=1 l() r(). L {I G } ∗ − − 1 γ Definition 4. We call Cε 0< 0 a family of linear Cantor systems with leading gaps if there is a{L constant} ≤K>0 such that lg() log 1 K γ ≤ for all 0 < ,whereγ>1 is a real number. ≤ 0 1 Let Cε 0< be a family of linear Cantor systems with γ leading gaps. Let {L } ≤ 0 LC = n∞=0 I I. It is a Cantor set on the real line R.LetHD()bethe ∈In, Hausdorff dimension of LC. It is easy to see that there is a constant K>0such that T S
1 HD() 1 Kγ ≤ − for all 0 < 0. We give some sufficient conditions such that 1 HD()is ≤ 1 − comparable with γ .
Condition 1. Both l() and r() are continuous on [0,0] and l(0) and r(0) are in (0, 1).
Condition 2. Both l() and r() are differentiable at every 0 < 0 and there is a constant K>0such that ≤
γ 1 γ 1 1 − 1 − K− l0() γ K and K− r0() γ K ≤− ≤ ≤− ≤ for all 0 < . ≤ 0 1 Theorem 2. Let C 0< be a family of linear Cantor systems with γ leading {L } ≤ 0 gaps. If l() and r() satisfy Condition 1, then the gap geometry of C 0< 0 is 1 {L } ≤ regulated by the function α : γ (refer to Theorem 1). Furthermore, if l() and r() satisfy both Conditions 17→ and 2, then there is a constant K>0independent of such that
1 1 1 K− γ 1 HD() Kγ ≤ − ≤ for all 0 < . ≤ 0
License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 1980 YUNPING JIANG
Proof. The proof of the first statement is easy. We prove the second. Consider the equation
HD() HD() l() + r() =1. The implicit function theorem tells us that HD() is differentiable at every ,0< . With some calculation, we have ≤ 0 HD() 1 HD() 1 − − l() l0()+ r() r0() log HD() 0 = . − HD() HD() l() log l() + r() log r() 0 1 1 Therefore log HD() is comparable with γ − . Thus there is a constant − K>0 independent of such that
1 1 1 K− γ log HD() Kγ ≤− ≤ for all 0 < . This implies the second statement. ≤ 0 4. Properties of the Schwarzian derivatives We first review some properties of the Schwarzian derivatives. We will not give the proofs for them since they are quite well-known. The reader may refer to [CE], [MV]. Let 3 be the space of C3-diffeomorphisms f : I J where I and J are intervals D → of the real line R. The Schwarzian derivative S(f)offin 3 is, by definition, D f 3 f 2 S(f)= 000 00 . f 0 − 2 f 0 We use S (f ) 0(orS(f) 0) to mean that S(f)(x) 0(orS(f)(x) 0) for all x in I. We have≥ the chain≤ rule for the Schwarzian derivatives:≥ for any≤ two maps g : K I and f : I J in 3, → → D 2 S(f g)=(g0) S(f) g+S(g). ◦ · ◦ 1 The chain rule implies that S(f g) 0andS(f− ) 0ifS(f) 0andS(g) 0 1◦ ≥ ≤ ≥ ≥ and that S(f g) 0andS(f− ) 0ifS(f) 0andS(g) 0. Let γ>1.◦ It is≤ easy to check that≥ for every power≤ function≤P (x)= x γ : I J 1 −| | → in 3, S(P ) 0; for every root function R(x)= x γ : I J in 3, S(R) 0; forD every M¨obius≤ transformation H(x)=(ax+b)/(−|cx+| d):I→ Jin D3, S(H)=0.≥ Let T =[a, d] be an interval and let M =[b, c]beasubintervalof→ D T where a