METRICAL THEORY FOR α-rosen FRACTIONS

Transcription

1 METRICAL THEORY FOR α-rosen FRACTIONS KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER Abstract The Rosen fractions form an infinite family which generalizes the nearestinteger continued fractions In this paper we introduce a new class of continued fractions related to the Rosen fractions, the α-rosen fractions The metrical properties of these α-rosen fractions are studied We find planar natural extensions for the associated interval maps, and show that their domains of definition are closely related to the domains of the classical Rosen fractions This unifies and generalizes results of diophantine approximation from the literature Introduction Although David Rosen Ros] introduced as early as 954 an infinite family of continued fractions which generalize the nearest-integer continued fraction, it is only very recently that the metrical properties of these so-called Rosen fractions haven been investigated; see eg Schm], N], GH] and BKS] In this paper we will introduce α-rosen fractions, and study their metrical properties for special choices of α These choices resemble Nakada s α-expansions, in fact for q = 3 these are Nakada s α-expansions; see also N] To be more precise, let q Z, q 3, and λ = λ q = cos π Then we define for α, ] the q λ map T α : λ(α ), λα] λ(α ), λα) by () T α (x) := x λ xλ + α, x 0, and T α (0) := 0 Here, ξ denotes the floor (or entier) of ξ, ie, the greatest integer smaller than or equal to ξ In order to have positive digits, we demand that α /λ Setting d(x) = + α (with d(0) = ), ε(x) = sgn(x), and more generally xλ () ε n (x) = ε n = ε ( Tα n (x) ) and d n (x) = d n = d ( Tα n (x) ) for n, one obtains for x I q,α := λ(α ), αλ] an expression of the form x = d λ + ε d λ + + ε ε n d n λ + T n α (x), 000 Mathematics Subject Classification Primary 8D05; Secondary K55 Key words and phrases Rosen fractions, natural extension, Diophantine approximation The third author was supported by NWO Bezoekersbeurs NB 6-57, the Austrian Science Fund FWF, grant S830-MAT, and by Agence Nationale de la Recherche, grant ANR-06-JCJC-0073

2 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER where ε i {±, 0} and d i N { } Setting (3) R n S n = d λ + we will show in Section 3 that ε and for convenience we will write (4) x = ε d λ + + ε n d n λ d λ + ε =: ε : d, ε : d,, ε n : d n ], R n lim = x, n S n ε d λ + =: ε : d, ε : d, ] We call R n /S n the nth α-rosen convergent of x, and (4) the α-rosen fraction of x The case α = / yields the Rosen fractions, while the case α = /λ is the Rosen fraction equivalent of the classical regular continued fraction expansion (RCF) In case q = 3 (and / α /λ), the above defined α-rosen fractions are in fact Nakada s α- expansions (and the case α = /λ = is the RCF) Already from BKS] it is clear that in order to construct the underlying ergodic system for any α-rosen fraction and the planar natural extension for the associated interval map T α, it is fundamental to understand the orbit under T α of the two endpoints λ(α ) and λα of X = X α := λ(α ), λα] Although the situation is in general more complicated than the classical case from BKS], the natural extension together with the invariant measure can be given, and it is shown that this dynamical system is weakly Bernoulli Using the natural extension, metrical properties of the α-rosen fractions will be given in Section 4 Natural extensions In this section we find the smallest domain Ω α R on which the map ( ) (5) T α (x, y) = T α (x),, (x, y) Ω α, d(x)λ + ε(x)y is bijective ae We will deal with the general case, resembling Nakada s α-expansions, ie, / α /λ and λ = λ q = cos π/q for some fixed q Z, q 4 (the case q = 3 is in fact the case of Nakada s α-expansions; see also N]) As in BKS], we need to discern between odd and even q s, but some properties are shared by both cases, and these are collected here first For x λ(α ), λα], setting ( ) ( 0 ε i A i =, and M n = A A n = d i λ K n L n R n R n ),

3 METRICAL THEORY FOR α-rosen FRACTIONS 3 it immediately follows from M n = M n A n that K n = R n, L n = S n, and R :=, R 0 := 0, R n = d n λr n + ε n R n, for n =,,, (6) S := 0, S 0 :=, S n = d n λs n + ε n S n, for n =,,, ( ) a b if d n < For a matrix A =, with det(a) 0, we define the corresponding c d Möbius (or fractional linear) transformation by A(x) = ax + b cx + d Consequently, considering M n as a Möbius transformation, we find that M n (0) = R n S n, and M n (0) = A A n (0) = = ε : d, ε : d,, ε n : d n ] It follows that the numerators and denominators of the α-rosen convergents of x from (3) satisfy the usual recurrence relations (6); see also BKS], p 79 Furthermore, since we have that x = M n ( 0 ε n d n λ + T n α (x) ) (0), (7) x = R n + T n α (x)r n S n + T n α (x)s n and T n α (x) = R n S n x S n x R n Let l 0 = (α )λ be the left-endpoint of the interval on which the continued fraction map T α was defined in (), r 0 = αλ its right-endpoint and let (ε : d) = { x (α )λ, αλ] ε (x) = ε, d (x) = d }, be the cylinders of order of numbers with same first digits given by (4) If we set δ d = (α + d)λ for all d, then the cylinders are given by the following table ( : ) ( : d), d (0 : ) (+ : d), d (+ : ) l 0, δ ) δ d, δ d ) {0} (δ d, δ d ] (δ, r 0 ] where we have used that r 0 > δ since λ for q 4 Note that we have by definition that T α (x) = ε/x λd, for all x (ε, d), x 0 Setting l n = T n α (l 0 ), r n = T n α (r 0 ), n 0, we have that r = αλ λ = αλ αλ < 0

4 4 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER In case α = /, we write φ n instead of l n, for n 0 In BKS], it was shown that ( : ) p ], if q = p λ/ = ( : ) h, :, ( : ) h ], if q = h + 3, from which it immediately follows that (8) φ 0 = λ < φ < < φ p = λ < φ p = 0, if q = p, and that for q = h + 3, φ 0 = λ < φ < < φ h < φ h < 3λ < φ h < 5λ, φ 0 < φ h+ < φ, φ h+ = λ, and see also Figure φ h+ < φ h+ < < φ h = λ < 3λ < φ h+ = 0; λ/ δ δ δ δ λ/ λ/ δ δ δ δ λ/ Figure The map T / and the orbit of λ/ (dashed broken line) for q = 8 (left) and q = 7 (right) Thus we see that the behavior of the orbit of λ/ is very different in the even case compared to the odd case; see also Figure, where the relevant terms of (φ n ) n 0, (l n ) n 0, and (r n ) n 0 are displayed for even q Direct verification yields the following lemma Lemma For q 4, / α /λ, we have that φ 0 = λ l 0 r < φ = λ, λ

5 METRICAL THEORY FOR α-rosen FRACTIONS 5 with φ 0 = l 0 if and only if α = /, and l 0 = r if and only if α = /λ In BKS], the sequence (φ n ) n 0 plays a crucial role in the construction of the natural extension of the Rosen fractions Due to the fact that the orbits of both λ/ and λ/ would become constant 0 after a finite number of steps (depending on q), the natural extension of the Rosen fraction could be easily constructed In this paper, the (l n ) n 0 and (r n ) n 0 play a role comparable to that of the sequence (φ n ) n 0 (even though the φ n s are frequently used as well) Let x λ(α ), αλ] be such, that (ε n (x) : d n (x)) = ( : ) for n =,,, m Then it follows from (6) that the α-rosen convergents of x satisfy R =, R 0 = 0, R n = λr n R n, for n =,,, m, S = 0, S 0 =, S n = λs n S n, for n =,,, m As in BKS], we define the auxiliary sequence (B n ) n 0 by (9) B 0 = 0, B =, B n = λb n B n, for n =, 3, This yields for n =,, m that R n = B n, S n = B n+, and Tα n (x) = Bn+B n+x B n +B nx It follows that (0) l n = B n + B n+ (α )λ B n + B n (α )λ = B n+αλ B n+ B n αλ B n+ if l 0 = ( : ) n, ] by (7) For x = + :, ( : ) n, ] = ( : ) n, ], we obtain similarly R n = B n, S n = B n+, thus Tα n (x) = Bn B n+x B nx B n and () r n = B n+αλ B n B n αλ B n if r 0 = + :, ( : ) n, ] It is easy to see that B n = sin nπ/ sin π (see also W], Equation 5 in Section 44) Clearly q q B n, n 0, is a periodic sequence, with period length q Even indices Let q = p, p N, p Essential in the construction of the natural extension is the following theorem Theorem Let q = p, p N, p, and let the sequences (l n ) n 0 and (r n ) n 0 be defined as before If / < α < /λ, then we have that () l 0 < r < l < < r p < l p < δ < r p < 0 < l p < r 0, d p (r 0 ) = d p (l 0 ) + and l p = r p If α = /, then we have that (3) l 0 < r = l < < r p = l p < δ < r p = l p = 0 < r 0 If α = /λ, then we have that (4) l 0 = r < l = r < < l p = r p = δ < 0 < r 0

6 6 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER Proof If α = /, then l 0 = φ 0 and r 0 = φ 0, hence (3) is an immediate consequence of (8) In general, in view of Lemma and the fact that φ 0 = ( : ) p ], we have the following situation: T α (l 0, φ )) = l, φ ) and T α (φ j, φ j )) = φ j, φ j+ ) for j =, 3,, p, cf Figure This yields that l 0 = ( : ) p, ] φ 0 l 0 r φ l r φ φ p 3 l p 3 r p φ p δ 0 r 0 Figure The relevant terms of (φ n ) n 0, (l n ) n 0, and (r n ) n 0 for even q Since sin (p )π p By (0), we have therefore that = sin (p+)π, we obtain p B p = B p+, B p = λ ( ) λ B p, B p = B p l p = B p αλ B p αλ = B p αλ B p λ( αλ + α) (α + )λ = δ, with l p = δ if and only if α = /λ For α = /λ, we clearly have that r 0 =, thus r = λ = l 0 and (4) is proved If / < α < /λ, then we have that l p < δ, hence l 0 = ( : ) p,, ( : d p ), ], with d p, and again due to (0) we obtain l p = B pαλ B p B p αλ B p = (α )λ αλ > 0 Similarly, we have that r 0 = + :, ( : ) p, ] and, by (), thus () is proved Since r p = B pαλ B p (α )λ = B p αλ B p ( α)λ ( δ, 0), r p l p = λ, it follows from the definition of T α that l p = r p and d (r p ) = d (l p ) + With d p (x) = d (T p α (x)), the theorem is proved Remark The structure of the l n s and r n s allows us to determine all possible sequences of digits For example, the longest consecutive sequence of digits ( : ) contains p terms if α < /λ since l p < δ and l p δ In case α = /λ, we only have ( : ) p In particular in case q = 4, α = /λ, the cylinder ( : ) is empty On the other hand, (+ : ) is always followed by ( : ) p since r p < δ, with (+ : ) = {r 0 } in case α = /λ

7 METRICAL THEORY FOR α-rosen FRACTIONS 7 Now we construct the domain Ω α upon which T α is bijective Theorem 3 Let q = p with p Then the system of relations (R ) : H = /(λ + H p ) (R ) : H = /λ (R n ) : H n = /(λ H n ) for n = 3, 4,, p (R p ) : H p = λ/ (R p+ ) : H p 3 + H p = λ admits the (unique) solution H n = φ p n = B n B n+ = H n = B p n B p+ n B p n B p n = nπ sin p sin (n+)π p cos nπ p cos (n+)π p cos (n )π p for n =,,, p, cos nπ p for n =,,, p, in particular H p = Let / < α < /λ and Ω α = p n= J n 0, H n ] with J n = l n, r n ), J n = r n, l n ) for n =,,, p, and J p = l p, r 0 ) Then the map T α : Ω α Ω α given by (5) is bijective off of a set of Lebesgue measure zero Proof It is easily seen that the solution of this system of relations is unique and valid, and that T α is injective We thus concern ourselves with the surjectivity of T α ; see also Figure 3 By (), we have J n ( : ) for n = 3, 4,, p, thus ] T α (J n 0, H n ]) = J n λ, = J n H, H n ], λ H n where we have used (R ) and (R n ) Furthermore, (R p ) gives T α (l p, δ ) 0, H p 3 ]) = l p, r 0 ) For n =, 3,, d (r p ) = d p (r 0 ), we have that T α ( δ n, δ n ) 0, H p 3 ]) = l 0, r 0 ) ] λ, = J p H, H p ] λ H p 3 ] nλ, nλ H p 3 The remaining part of the rectangle J p 3 0, H p 3 ] is mapped to T α ( δ dp(r0 ), r p ) 0, H p 3 ]) = l 0, r p ) d p (r 0 )λ, d p (r 0 )λ H p 3 ]

8 8 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER Now consider the image of J p 0, H p ] If d p (l 0 ), then it is split into ] T α ((l p, δ dp(l0 ) ] 0, H p ] = l 0, r p ),, d p (l 0 )λ + H p d p (l 0 )λ ] T α (( δ n, δ n ] 0, H p ]) = l 0, r 0 ), for n =, 3,, d p (l 0 ), nλ + H p nλ T α ((δ, r 0 ) 0, H p ]) = (r, r 0 ), ] = (r, r 0 ) H, H ], λ + H p λ where we have used (R ) Since H p 3 + H p = λ and d p (r 0 ) = d p (l 0 ) +, the different parts of T α ( δ, r p ) 0, H p 3 ]) and T α ((l p, δ ] 0, H p ]) layer one under the other and fill up like a jig-saw puzzle ( l 0, r p ) d p (r 0 )λ, d p (l 0 )λ In case d p (l 0 ) =, we simply have ]) ( l 0, r 0 ) d p (r 0 )λ, H T α ( δ, r p ) 0, H p 3 ]) = l 0, r p ) /(λ), H ], T α ((l p, r 0 ) 0, H p ] = (r, r p ) H, H ] ]) Finally, the image of the central rectangle J p 0, H p ] is split into ] T α (r p, δ dp(r0 )) 0, H p ]) = r p, r 0 ) d p (r 0 )λ,, d p (r 0 )λ H p ] T α ( δ n, δ n ) 0, H p ]) = l 0, r 0 ) nλ, for n > d p (r 0 ), nλ H p ] T α ((δ n, δ n ] 0, H p ]) = l 0, r 0 ), for n > d p (l 0 ), nλ + H p nλ ] T α ((δ dp(l0 ), l p ] 0, H p ]) = r p, r 0 ), d p (l 0 )λ + H p d p (l 0 )λ Since H p = λ/ and d p (r 0 ) = d p (l 0 ) +, the union of these images is ( ( ]) ( ]) l 0, r 0 ) 0, r p, r 0 ) d p (r 0 )λ d p (r 0 )λ, d p (l 0 )λ Therefore T α (Ω α ) and Ω α differ only by a set of Lebesgue measure zero Remark If α = /, then the intervals J n are empty and r p = l p = 0 The proof of Theorem 3 remains valid, with d (r p ) = d (l p ) = ; see also BKS] Since l n = φ n for n = 0,,, p, we have Ω / = p n= ( B n, B ) n 0, B ]) ( n B n+ 0, λ ) ) 0, ] B n+ B n B n B n

9 METRICAL THEORY FOR α-rosen FRACTIONS 9 H 5 H 5 H 4 H 4 H 3 H H 3 H H H /λ /3λ l 0 r l δ δ r δ3 0 δ l δ r 0 l 0 r l r 0 l l 3 =r 3 r 0 Figure 3 The natural extension domain Ω α (left) and its image under T α (right) of the α-rosen continued fraction (δ n = δ n ); here q = 6, α = 053, d p (l 0 ) =, d p (r 0 ) = 3 For α = /λ, we just have the intervals J n, n =,,, p and add J p = r p, r 0 )(= δ, )) Furthermore, we have that r n = Bn B n+ B n B n for n =,,, p and r 0 = Bp B p+ B p B p = This provides the following theorem Theorem 4 Let q = p with p and Ω /λ = p n= Bn B n+ B n B n, B n+ B n+ B n+ B n ) 0, B n B n+ Then T /λ : Ω /λ Ω /λ is bijective off of a set of Lebesgue measure zero Proof By (4), we have that l 0 = r < l = r < < l p = r p = δ, thus ( Bn B n+ T /λ, B ) ]) n+ B n+ B n 0, B n B n B n+ B n B n+ Bn+ B n+ =, B ) n+ B n+3 B n+ B n B n+ B n+ λ, B ] n+ for n =,,, p B n+ The different parts of r p, r 0 ) are mapped to T /λ ( δ n, δ n ) 0, λ ]) ] = λ, ) nλ, (n )λ T /λ ((δ n, δ n ] 0, λ ]) ] = λ, ) (n + )λ, nλ T /λ ((δ, ) 0, λ ]) = λ, ) 3λ, ] λ and the union of these images is λ, ) (0, /λ] ] for n =, 3, for n =, 3, Remark Note that there is a simple relation between Ω / and Ω /λ, which will be useful in Section 3; reflect Ω / in the line y = x in case x 0, and reflect Ω / in the line y = x in case x 0, to find Ω /λ ; see also Figure 4

10 0 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER λ λ φ H λ φ 3λ 0 3λ λ λ H = +λ 0 +λ Figure 4 Ω / (left) and Ω /λ (right); here q = 6 As in BKS], a Jacobian calculation shows that T α preserves the probability measure ν α with density C q,α ( + xy), where C q,α is a normalizing constant For the calculation of this constant, we need the following lemma Lemma 5 If m m = m 3 m 4, then we have that B n+m B n+m B n+m3 B n+m4 = B m m 3 B m +m 3 for all n Z Proof With ζ = exp(πi/q), we have that B n+m B n+m B n+m3 B n+m4 = (ζn+m ζ n m )(ζ n+m ζ n m ) (ζ n+m 3 ζ n m 3 )(ζ n+m 4 ζ n m 4 ) (ζ ζ ) = ζm +m ζ m m ζ m 3+m 4 ζ m 3 m 4 (ζ ζ ) = B m m 3 B m +m 3 Proposition 6 For / α /λ, the normalizing constant is C q,α = / log + cos π q sin π q Proof Similarly to BKS], integration of the density over Ω α gives ( ) p + r 0 + r n H n + l n H n C q,α = / log + l p + l n H n + r n H n for / < α < /λ, by Theorem 3 Using (0), () and Lemma 5, we find n= + r n H n = B n B n αλ, + l n H n B n αλ B n + l n H n + r n H n = B nαλ B n B n+ B n αλ

11 METRICAL THEORY FOR α-rosen FRACTIONS for n =,,, p, and + r 0 = B p B p αλ + l p B p B p Putting everything together, we obtain C q,α = / log B p B p = / log sin π q cos π q = / log + cos π q sin π q For α = /, we have the same constant by the remark following Theorem 3 and by BKS] Finally, the remark following Theorem 4 shows that C q,/λ is the same constant as well Let µ α be the projection of ν α on the first coordinate, let B be the restriction of the two-dimensional σ-algebra on Ω α, and B be the Lebesgue σ-algebra on I q,α = λ(α ), αλ] In Roh], Rohlin introduced and studied the concept of natural extension of a dynamical system In our setting, a natural extension of (I q,α, B, µ α, T α ) is an invertible dynamical system (X α, B Xα, ρ α, S α ), which contains (I q,α, B, µ α, T α ) as a factor, such that B Xα = n 0 Sn απ B, where π is the factor map A natural extension is unique up to isomorphism We have the following theorem Theorem 7 Let q 4, q = p, and let α Then the dynamical system λ (Ω α, B, ν α, T α ) is the natural extension of the dynamical system (I q,α, B, µ α, T α ) Proof Let π : Ω α I q,α be the projection onto the first coordinate An easy calculation shows that π T α = T α π, µ α = ν α π, and π B B so that π is a factor map It remains to show that (5) B = Tα n π B n 0 For each admissible block (ε, d ), (ε, d ),, (ε n, d n ), define n ((ε, d ),, (ε n, d n )) = (ε, d ) Tα (ε, d ) Tα (n ) (ε n, d n ) The intervals n defined above are called fundamental intervals of order n Since T α is expanding, the Lebesgue measure of n ((ε, d ),, (ε n, d n )) tends to 0 as n for any admissible sequence (ε, d ), (ε, d ), Thus, the collection P = { n ((ε, d ),, (ε n, d n )) : n, with (ε, d ),, (ε n, d n ) admissible} generates B, ie σ( n 0 T α n P ) = B Let P α = π P, to prove (5) it is enough to show that n 0 T α n P α generates B which is equivalent to showing that n 0 T α n P α separates points of Ω α To do this, we first study the action of Tα on Ω α From Theorem 3, one sees that Tα must take horizontal stripes to vertical stripes, so we need a partition in the vertical direction Unfortunately, it is not always possible to find a uniform partition on the y-axis that works for all x; see Figure 5 Instead, we

12 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER dλ+ T (l p,δ d ] 0,H p ]) T ( δ d,r p ] 0,H p 3 ]) T (δ d,l p ] 0,H p ]) T (r p, δ d+ ] 0,H p ]) dλ dλ+h p (d+)λ l 0 r 0 lp = r p Figure 5 Blow-up of the relevant part of Ω α for even q, / < α < /λ partition per fiber To be more specific, for each x I q,α, let D(x) = {y; (x, y) Ω α }, so D(x) is the fiber over x Consider the following partition of D(x), H, H p ] if x l p H, H p 3 ] if r p x < l p H #, H p 4 ] if l p x < r p (,, x) = H, H 3 ] if l x < r if x < l, and # (,, x) = { H, H ] if x r if x < r For (ε, d) {(, d p (r 0 )), (, d p (l 0 ))}, set ] # (, d, x) = dλ,, and # (, d, x) = dλ H p Finally, and One can give T α ] d p (r 0 )λ, (d p (r 0 ) )λ + # (, d p (r 0 ), x) = ] d p (r 0 )λ, (d p (r 0 ) )λ + H p ] d p (l 0 )λ +, d p (l 0 )λ # (, d p (l 0 ), x) = ], d p (l 0 )λ + H p d p (l 0 )λ explicitly, T α (x, y) = ( ε dλ + x, ε ], dλ + H p dλ if x < l p if x l p, if x < l p if x l p ( )) y dλ, if y # (ε, d, x)

13 From the definitions of T α and Tα is expanding in the y-direction T α METRICAL THEORY FOR α-rosen FRACTIONS 3 one sees that T α is expanding in the x-direction, while Now, let (x, y), (x, y ) be two distict elements of Ω α If x x, then there exist two distinct fundamental intervals n ((ε, d ),, (ε n, d n )) and n ((ε, d ),, (ε n, d n)) such that (x, y) π n ((ε, d ),, (ε n, d n )), and (x, y ) π n ((ε, d ),, (ε n, d n)), ie they belong to different elements of P α Suppose now that x = x but y y Since Tα is expanding in the y-coordinate, then there exist n 0, and (ε, d ),, (ε n+, d n+ ), (ε n+, d n+) such that (i) (ε n, d n ) (ε n, d n), (ii) Tα j (x, y), Tα j (x, y ) T α π (ε j, d j ) for j = 0,, n (this is void if n = 0), (iii) Tα n (x, y) T α π (ε n, d n ) and Tα n (x, y ) T α π (ε n, d n) Then, (x, y) Tα n+ π (ε n, d n ) Tα n π (ε n+, d n+ ) T α π (ε 0, d 0 ), (x, y ) Tα n+ π (ε n, d n) Tα n π (ε n+, d n+ ) T α π (ε 0, d 0 ) Thus, (x, y) and (x, y ) belong to different elements of n Z T α n P α In all cases, we see that n Z T α n P α separates points of Ω α Therefore, (Ω α, B, ν α, T α ) is the natural extension of (I q,α, B, µ α, T α ) Remark In case α = / and α = /λ the proof of Theorem 7 is a straightforward application of Theorem from Schw]; see also Examples 3 (the case of the RCF) and 3 (the NICF) in Schw] However, for / < α < /λ, a lot of extra work is needed, due to the problem mentioned in the above proof, and illustrated in Figure 5 Odd indices Let q = h + 3, h N The l n s and r n s are ordered in the following way Theorem 8 Let q = h + 3, h N, let the sequences (l n ) n 0 and (r n ) n 0 be defined as above, and let ρ = λ + λ 4λ+8 Then we have the following cases: α = / : l 0 < r h+ = l h+ < r = l < < r h = l h < r h = l h < r h = l h < δ < r h = l h < δ < r h+ = l h+ = 0 < r 0 / < α < ρ/λ : l 0 < r h+ < l h+ < r < < l h < r h < l h < r h < l h < r h < l h < δ < r h < l h < δ < r h+ < 0 < l h+ < r 0 Furthermore, we have l h+ = r h+ and d h+ (r 0 ) = d h+ (l 0 ) + α = ρ/λ : l 0 = r h+ < l h+ = r < < l h < r h = δ < l h < δ < 0 < r 0 ρ/λ < α < /λ : l 0 < r < < l h < r h < δ < l h < 0 < r h+ < r 0 Furthermore, we have l h+ = r h+ and d h+ (l 0 ) = d h+ (r 0 ) + α = /λ : l 0 = r < < l h = r h < δ < l h = r h+ = 0 < r 0

14 4 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER Proof In BKS], Section 3 (see also the introduction of this section), it was shown that φ 0 = λ < φ < < φ h < φ h < 3λ < φ h < 5λ, φ 0 < φ h+ < φ, and φ h+ < φ h+ < < φ h = λ < 3λ < φ h+ = 0 In view of this and Lemma, we therefore have that φ h l h r h < φ h An important question is to know, where δ is located Since 3/ + α, we have φ h < δ For q = h + 3, we have sin (h+)π q = sin (h+)π q, thus B h+ = B h+, B h = (λ )B h+, B h = (λ λ )B h+ Hence we obtain, by (0), l h = αλb h B h+ αλ(λ ) = αλb h B h λ αλ(λ λ ) < δ The position of r h with respect to δ leads us to distinguish between the possible cases We have that r h = B h+αλ B h ( α)λ = B h αλ B h ( α)λ(λ ) < δ if and only if α λ + αλ( λ) > 0, ie, αλ > λ + λ 4λ+8 = ρ Note that < λ + λ 4λ + 8 < for 0 < λ < λ λ Assume first that α > ρ/λ Then we have that r h < δ, from which it immediately follows that r h+ = B h+ B h+ αλ αλ = B h+ αλ B h ( α)λ 0, l h = B h+αλ B h+ B h+ B h αλ = αλ αλ(λ ) 0 If α < /λ, then /l h /r h+ = λ, hence l h+ = r h+ and d (r h+ ) = d (l h ) + In case α = /λ, then r h+ = l h = 0 Hence the last two cases are proved It remains to consider / < α ρ/λ Now we have that δ r h (< φ h ), with δ = r h if and only if α = ρ/λ Consequently, we immediately find that r 0 = + :, ( : ) h, :, ( : ) h, ] To see that l h < δ, note that this is equivalent to α λ αλ + αλ < (λ )( αλ), which holds because of the assumption α λ + αλ( λ) 0 This assumption also implies that l h+ r, where again equality holds if and only if α = ρ/λ This proves the case α = ρ/λ

15 For α < ρ/λ, we have METRICAL THEORY FOR α-rosen FRACTIONS 5 l 0 = ( : ) h, :, ( : ) h, ], hence the convergents of l 0 satisfy R h = B h = (λ λ )B h+, R h = (λ )B h+ and R h+ = λr h R h = (λ λ + )B h+ The recurrence R h+n+ = λr h+n R h+n for n =,,, h, yields R h+n = (B n+ B n+ + B n )B h+ for n = 0,,, h + For the S n s, we have similarly that S h = (λ )B h+, S h = B h+, thus S h+ = λs h S h = (λ + )B h+ and S h+n = (B n+ + B n )B h+ for n = 0,,, h + By (7), we obtain, for n = 0,,, h +, (6) l h+n = (B n+ + B n )(α )λ + B n+ B n+ + B n (B n + B n )(α )λ + B n+ B n + B n For the convergents of r 0, only the sign of the R n is different and we get (7) r h+n = (B n+ + B n )αλ (B n+ B n+ + B n ) (B n + B n )αλ (B n+ B n + B n ) This yields that (α )λ r h+ = αλ λ + (< 0), l h+ = (α )λ ( α)λ λ + (> 0), hence /r h+ /l h+ = λ, d (r h+ ) = d (l h+ ) +, and the theorem is proved For the construction of the natural extension, we have to distinguish between the different cases of the previous theorem Consider first α > ρ/λ Theorem 9 Let q = h + 3 with h Then the system of relations (R ) : H = /(λ + H h+ ) (R ) : H = /λ (R n ) : H n = /(λ H n ) for n = 3, 4,, h + (R h+3 ) : H h+ = λ/ (R h+4 ) : H h + H h+ = λ admits the (unique) solution H n = φ h+ n = B n B n+ = H n = B n + B n = sin B n + B n+ in particular H h+ = sin nπ q (n )π q nπ sin q sin (n+)π q + sin nπ q (n+)π + sin q for n =,,, h +, for n =,,, h +,

16 6 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER Let ρ/λ < α /λ and Ω α = h+ n= J n 0, H n ] with J n = l n, r n ), J n = r n, l n ) for n =,,, h, J h+ = l h, r h+ ) and J h+ = r h+, r 0 ) Then the map T α : Ω α Ω α given by (5) is bijective off of a set of Lebesgue measure zero Remark The case q = 3, ρ/λ α /λ, which is the case of Nakada s α-expansions for ( 5 )/ α, has been dealt with in N]; see also NIT], TI], and K, K] The proof of Theorem 9 is very similar to that of Theorem 3 and therefore omitted, see also Figure 6 In case α = /λ, the intervals J n are empty H 4 H 4 H 3 H 3 H H H H /λ /3λ l 0 r δ δ l δ 3 0 δ r δ r 0 l0 r l l =r 3 0 r r 0 Figure 6 The natural extension domain Ω α (left) and its image under T α (right) of the α-rosen continued fraction (δ n = δ n ); here q = 5, α = 056, d h+ (l 0 ) = 3, d h+ (r 0 ) = Once more, a Jacobian calculation shows that T α preserves the probability measure ν α with density C q,α ( + xy), where C q,α is a normalizing constant given by the following proposition Proposition 0 If q = h + 3 and ρ/λ < α /λ, then the normalizing constant is C q,α = / log + αλ = / log + α cos π q λ sin π q Proof Integration gives ( + r 0 C q,α = / log + r h+ Using (0) and (), we find h+ n= + r n H n + l n H n = B n B n αλ B n αλ B n, + r n H n + l n H n h n= + l n H n + r n H n ) + l n H n + r n H n = B nαλ B n B n+ B n αλ,

17 METRICAL THEORY FOR α-rosen FRACTIONS 7 and + r 0 = ( + αλ)(b h+αλ B h ) = ( + αλ)(b h+ αλ B h )B h+, + r h+ B h+ B h where we have used ( λ)bh+ = ( cos π) q sin (h+)π q sin π q Putting everything together, we obtain = 4 sin π q cos π q 4 sin π q cos π q = C q,α = / log(( + αλ)b h+ ) = / log + αλ = / log + αλ λ sin π q Remark Note that for q = 3 this result confirms Nakada s result from N] for α between ( 5 )/ and ; in this case, the normalizing constant is indeed / log( + α) Now consider α < ρ/λ Theorem Let q = h + 3 with h Then the system of relations (R ) : H = /(λ H 4h ) (R ) : H = /(λ H 4h ) (R 3 ) : H 3 = /(λ + H 4h+3 ) (R 4 ) : H 4 = /λ (R n ) : H n = /(λ H n 4 ) for n = 5, 6,, 4h + 3 (R 4h+4 ) : H 4h+ = λ/ (R 4h+5 ) : H 4h+ + H 4h+3 = λ admits the (unique) solution H 4n = B n B n+, H 4n = B n + B n B n + B n+, H 4h+3 4n = B n+ρ B n B n ρ B n, H 4h+ 4n = B n+ρ B n+ B n ρ B n+, in particular H 4h+3 = ρ Let / α < ρ/λ, and Ω α = 4h+3 n= J n 0, H n ] with J 4n 3 = l n, r h+n ), J 4n = r h+n, l h+n ), J 4n = l h+n, r n ), J 4n = r n, l n ) for n =,,, h, J 4h+ = l h, r h+ ), J 4h+ = r h+, l h+ ) and J 4h+3 = l h+, r 0 ) Then the map T α : Ω α Ω α given by (5) is bijective off of a set of Lebesgue measure zero Proof The proof of the bijectivity runs along the same lines as the proof of Theorem 3 and is therefore omitted, see also Figure 7 The H 4n s are determined by (R 4 ), (R 8 ),, (R 4h ) The H 4n s are determined by (R ), (R 6 ),, (R 4h+ ) and (R 4h+4 ) By (R 3 ), (R 7 ),, (R 4h+3 ), we obtain H 4h+3 4n =

18 8 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER B n+ H 4h+3 B n B nh 4h+3 B n and λ + H 4h+3 = H 3 = B h+h 4h+3 B h B h H 4h+3 B h = H 4h+3 (λ ) (λ )H 4h+3 (λ λ ), thus H4h+3 + ( λ)h 4h+3 = 0, ie H 4h+3 = ρ Finally, the H 4h+ 4n s are determined by (R ), (R 5 ),, (R 4h+5 ) For α = /, the intervals J 4n and J 4n are empty H 6 ρ H 5 H 4 H 6 ρ H 5 H 4 H 3 H H H 3 H /λ /3λ /4λ l 0 r l δ r l δ δ 3 r 3δ4 0 δ 3 l 3 δ δ r 0 l 0 r l r l r 3 0 l3 l 4 =r 4 r 0 Figure 7 The natural extension domain Ω α (left) and its image under T α (right) of the α-rosen continued fraction (δ n = δ n ); here q = 5, α = 05038, d h+ (l 0 ) =, d h+ (r 0 ) = 3 Again, T α preserves the probability measure ν α with density C q,α /( + xy), where C q,α is a normalizing constant given by the following proposition Proposition If q = h+3 and / α < ρ/λ, then the normalizing constant is C q,α = / log + ρ = / log + ρ λ sin π q Proof Integration yields that C q,α is equal to ( h+ + r 0 ρ + r h+j H 4j 3 + l h+j H 4j / log + l h+ ρ + l j H 4j 3 + r h+j H 4j j= Using (0), (), (6), (7) and Lemma 5, we find + r h+j H 4j 3 + l j H 4j 3 = h j= + r j H 4j + l h+j H 4j + l j H 4j + r j H 4j (λ( α)ρ + αλ λ + λ )(B j B j αλ) ((αλ )ρ αλ + λ )((B j + B j )αλ B j+ + B j B j ) + l h+j H 4j + r h+j H 4j = (B j + B j )αλ B j+ + B j B j B j B j + B j (B j + B j )αλ + r j H 4j = ((αλ )ρ αλ + λ )(B j B j + B j (B j + B j )αλ) + l h+j H 4j (λ( α)ρ + αλ λ + λ )(B j αλ B j ) + l j H 4j = B jαλ B j + r j H 4j B j+ B j αλ )

19 METRICAL THEORY FOR α-rosen FRACTIONS 9 and + r 0 ρ + l h+ ρ = ( + αλρ)((b h+ B h + B h (B h+ + B h )αλ) ((α )λρ αλ + λ + λ )B h+ Putting everything together, we obtain that C q,α = / log ( + αλρ) λ + αλ λ + ( αλ)ρ = / log + ρ λ This confirms again Nakada s result for q = 3, ie, C 3,α = / log 5+ for α < 5 The case α = ρ/λ is slightly different from both other cases (similarly to α = /λ for even q) Theorem 3 Let q = h + 3 with h, α = ρ/λ and Ω ρ = h j= ( l j, r j ) 0, B ]) ( j + B j r j, l j ) 0, B j + B j+ B j B j+ ]) Then T ρ : Ω ρ Ω ρ is bijective off of a set of Lebesgue measure zero ( l h, ρ) 0, λ ]) The normalizing constant in this case is C q,ρ/λ = / log +ρ λ as above As in the even case, we set µ α the projection of ν α on the first coordinate, B be the restriction of the twodimensional σ-algebra on Ω α, and B be the Lebesgue σ-algebra on I q,α = λ(α ), αλ] We have the following theorem, whose proof is similar to the proof of Theorem refthm:naturalextension-even-case in the even case Theorem 4 Let q 3, q = h +, and let α Then the dynamical system λ (Ω α, B, ν α, T α ) is the natural extension of the dynamical system (I q,α, B, µ α, T α ) ρ H 5 λ/ /λ /λ H 3 H H λ φ 3λ φ 0 3λ λ ρ λ λ+ρ l 0 λ+ρ ρ λ λ+ 0 λ+ Figure 8 Ω / (left), Ω ρ/λ (middle) and Ω /λ (right); here q = 5

20 0 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER 3 Convergence of the continued fractions Now we can prove easily that the α- Rosen continued fractions converge If Tα n (x) = 0 for some n 0, then this is clear Therefore assume that Tα n (x) 0 for all n 0 Setting (t n, v n ) = Tα n (x, 0), it follows directly from the definition (5) of T α that v n = : d n, ε n : d n,, ε : d ] Furthermore, an immediate consequence of (6) is that S n /S n = : d n, ε n : d n,, ε : d ], ie, v n = S n /S n Theorems 3, 9 and (see also Figures 3, 6 and 7) show that v n, ie, S n S n, and that S n = S n if and only if q = h + 3, n = h +, d =, (ε i : d i ) = ( : ) for i =, 3,, h +, which is possible only if α > ρ/λ Furthermore we have that v n v n /c for some constant c >, ie, S n cs n It follows from (7) that (8) x R n S n = Tα n (x)(r n S n R n S n ) S n (S n + Tα n (x)s n ) = t n Sn( + t n v n ) αλ, ( + αλ λ)sn hence the α-rosen convergents R n /S n converge to x as n 3 Mixing properties of α-rosen fractions In case q is even, and α = /λ, we saw in the previous section that there is a simple relation between Ω / and Ω /λ ; see also Figure 4 Define in this case the map M : Ω /λ Ω / by ( y, x) if (x, y) Ω /λ, x < 0, M(x, y) = (y, x) if (x, y) Ω /λ, x 0 Clearly, M : Ω /λ Ω / is bijective and bi-measurable transformation, and ν /λ (M (A)) = ν / (A), for every Borel set A Ω / By comparing the partitions of T /λ (on Ω /λ ) and that of T / (on Ω /), we find that ( ) T /λ (x, y) = M T / (M(x, y)), (x, y) Ω /λ, x 0 This implies that the dynamical systems (Ω /, B, ν /, T / ) and (Ω /λ, B, ν /λ, T /λ ) are isomorphic In BKS] it was shown that the dynamical system system (Ω /, B, ν /, T / ) is weakly Bernoulli with respect to the natural partition, hence (Ω /, B, ν /, T / ) and (Ω /, B, ν /, T / ) are isomorphic As a consequence we find that the dynamical systems (Ω /, B, ν /, T / ) and (Ω /λ, B, ν /λ, T /λ ) are isomorphic In this section, we will show that this result also holds for all q and all α strictly between / and /λ, using a result by M Rychlik Ry] For completeness, we state explicitly the hypothesis needed for Rychlik s result (the reader is referred to Ry] for more details) Let X be a totally ordered order-complete set Open intervals constitute a base of a complete topology in X, making X into a topological space If X is separable, then X is homeomorphic with a closed subset of an interval Let B be the Borel σ-algebra on X, and m a fixed regular, Borel probability measure on X (in our case m will be the

21 METRICAL THEORY FOR α-rosen FRACTIONS normalized Lebesgue measure restricted to X) Let U X be an open dense subset of X, such that m(u) = Let S = X \ U, clearly m(s) = 0 Let T : U X be a continuous map, and β a countable family of closed intervals with disjoint interiors, such that U β Furthermore, suppose that for any B β one has that B S consists only of endpoints of B, and that T restricted to B U admits an extension to a homeomorphism of B with some interval in X Suppose that T (x) 0 for x U, and let g(x) = / T (x) for x U, g S = 0 Let P : L (X, m) L (X, m) be the Perron-Frobenius operator of T, P f(x) = g(y)f(y) y T x In Ry], it was proved (among many other things) that, if g < and Var g <, then there exist functions ϕ, ϕ,, ϕ s of bounded variation, such that (i) P ϕ i = ϕ i ; (ii) ϕ i dm = ; (iii) There exists a measurable partition C, C,, C s of X with T C i = C i for i =,,, s; (iv) The dynamical system (C i, T i, ν i ), where T i = T Ci and ν i (B) = ϕ B i dm are exact, and ν i is the unique invariant measure for T i, absolutely continuous with respect to m Ci Rychlik also showed that if s =, ie, if is the only eigenvalue of P on the unit circle and if there exists only one ϕ L (X, M) with P ϕ = ϕ and m(ϕ) =, (ϕ 0), then the natural extension of (X, T, ν) is isomorphic to a Bernoulli shift Returning to our map T α, defined on X = I q,α = λ(α ), αλ], and using the same notation as above, we let m be normalized Lebesgue measure on X, { } S = {λ(α )} ± ; d =,, λ(α + d) and U = X \ S Note that T α : U X is continuous, and that the restriction of T α to each open interval is homeomorphic to an interval (in fact to X itself, except for the first and last interval) We have that g(x) = / T α(x) = x on U, hence g < (since α /λ), and Var g < It is easy, but tedious (cf DK] for a proof of the regular case), to see that T is ergodic, hence s =, and we can apply Rychlik s result to obtain the following theorem Theorem 3 The natural extension (Ω α, ν α, T α ) of (X α, µ α, T α ) is weakly Bernoulli Hence, the natural extension is isomorphic to any Bernoulli shift with the same entropy 4 Metrical properties of regular Rosen fractions An important reason to introduce and study the natural extension of the ergodic system underlying any continued fraction expansion, is that such a natural extension facilitates

22 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER the study of the continued fraction expansion at hand; see eg DK] and IK], Chapter 4 The following theorem is a consequence of this; see BJW], DK], or IK], Chapter 4 Theorem 4 Let q 3, and let / α /λ For almost all G q -irrational numbers x, the two-dimensional sequence T α (x, 0) = ( T n α (x), S n /S n ), n, is distributed over Ω α according to the density function g α, given by g α (t, v) = C q,α ( + tv) for (t, v) Ω α, and g α (t, v) = 0 otherwise Here C q,α is the normalizing constant of the T α -invariant measure ν α Due to Proposition 4, it is possible to study the distribution of various sequences related to the α-rosen expansion of almost every x X α Classical examples of these are the frequency of digits, or the analogs of various classical results by Lévy and Khintchine However, these results can already be obtained from the projection (X α, B α, µ α, T α ) of (Ω α, B α, ν α, T α ) which is also ergodic and the Ergodic Theorem For the distribution of the so-called approximation coefficients, the natural extension (Ω α, B α, ν α, T α ) is necessary These approximation coefficients Θ n = Θ n (x), are defined by (9) Θ n = Θ n (x) := Sn x R n, n 0, where R n /S n is the nth α-rosen convergent, which is obtained by truncating the α-rosen expansion With (t n, v n ) = T n α (x, 0), it follows from (8), that (0) Θ n = ε n+t n + t n v n, for n Similarly, since t n = ε n /t n d n λ and v n = S n /S n, it follows from (6) that () Θ n = S n v n + t n v n, for n In view of (0) and (), we define the map ( ) v F (t, v) = + tv, t =: (ξ, η), for tv + tv It is now easy calculation, see eg BKS], p 93, that due to Proposition 4 one has for almost all x X α that the sequence (Θ n (x), ε n+ Θ n (x)) n 0 is distributed on F (Ω α ) according to the density function C q,α / 4ξη Setting Γ + α = F ({(t, v) Ω α t 0}) and Γ α = F ({(t, v) Ω α t 0}), we have found the following theorem

23 METRICAL THEORY FOR α-rosen FRACTIONS 3 Theorem 4 Let q 3, / α /λ, and define the functions d + α and d α by () d ± α (ξ, η) = C q,α 4ξη for (ξ, η) Γ ± α, and d ± α (ξ, η) = 0 otherwise Then the sequence (Θ n (x), Θ n (x)) n lies in the interior of Γ = Γ + α Γ α for all G q -irrational numbers x, and for almost all x this sequence is distributed according to the density function d α, where d α (ξ, η) = d + α (ξ, η) + d α (ξ, η) By this last statement we mean that, for almost all x and for all a, b 0, the limit exists, and equals lim N N #{j : j N, Θ j (x) < a, Θ j (x) < b } a b 0 0 d α (ξ, η) dξ dη Several corollaries can be drawn from Theorem 4, see eg K], where (for q = 3) for almost all x the distributions of the sequences (Θ n ) n, (Θ n + Θ n ) n, (Θ n Θ n ) n were determined Here we only mention the following result for even values of q, a result which was previously obtained in BKS] for both even and odd values of q, and α = / Proposition 43 Let q 4 be an even integer, / α /λ, and let { λ L α := min λ +, λ( } αλ ) 4 λ Then for almost all G q -irrational numbers x and all c /L α, we have that { lim N N # n : n N, Θ n (x) < } = λc q,α c c Proof In view of the expression of Θ n (x) in (0), we consider curves given by c = v + tv, where c > 0 is a constant, and t l 0, r 0 ] Note that these curves are monotonically increasing on l 0, r 0 ], and that the curve given by v = c c lies above the curve given t by v = c, if and only if c c t > c Now let L α be defined as the positive largest c for which the curve c = v lies in Ω +tv α for t l 0, r 0 ], ie, L α = max { c > 0 : ( ) } c t, Ω α, for all t l 0, r 0 ] ct

24 4 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER It follows from Theorem 4 that for all z L α, and for almost all G q -irrationals x one has that ( r0 z ) lim N N # {n : n N, Θ zt n(x) < z} = g α (t, v) dv dt = λc q,α z, l 0 0 where C q,α is the normalizing constant { of the invariant measure (which has density g α ) So we are left to show that L α = min λ, λ( αλ ) } λ+ 4 λ In the even case we can discern three cases: α = /, / < α < /λ, and α = /λ Note that the first case has been dealt with in BKS]; in case α = / one has that L α = λ λ+ In case / < α < /λ, first note that the curve c = ( λ, ) if and only if c αλ λ+ = αλ Since in this case αλ+ αλ αλ + < < λ = H, v goes through (r +tv, H ) = and the curve c = v is monotonically increasing on l +tv 0, r 0 ], we immediately find that this curve is in Ω α for t l 0, 0], yielding that L α αλ αλ+ From Theorem we see that l p < 0 < l p Setting c = H p = λ( αλ ), c + l p H p 4 λ 3 = H p = + r 0 H p + αλ, it follows from Theorem 3 (see also Figure 3 for q = 6) that L α = min{c, c }, since c < c 3 For q (and therefore λ) fixed, and for α /, /λ], one easily shows that c = c (α) is a monotonically increasing function of α, with c (/) = λ, and c λ+ (/λ) = /, while c = c (α) is a line with slope λ 3 /(4 λ ) Since c (/) = λ/ > / > λ/(λ + ), and c (/λ) = λ/(λ + ) = c (/) < c (/λ) = /, we find for / < α < /λ that { λ L α = min λ +, λ( } αλ ) 4 λ In case α = /λ, the point (, λ/) yields c = λ/(λ + ) Since the curve c = v +tv is monotonically increasing on l 0, r 0 ], and from the fact that for t = 0 we have that v = c = λ/(λ + ) < /λ, where /λ is the smallest height of Ω α, we find that This proves the theorem L /λ = λ λ + Remark We only deal with the even case in Proposition 43; a result for the odd case is obtained similarly, but has a more involved expression Acknowledgements We thank the referee for many valuable remarks, which improved considerably the quality of the presentation of this paper

25 METRICAL THEORY FOR α-rosen FRACTIONS 5 References BJW] W Bosma, H Jager, and F Wiedijk, Some metrical observations on the approximation by continued fractions, Nederl Akad Wetensch Indag Math 45 (983), no 3, 8 99 BKS] RM Burton, C Kraaikamp and TA Schmidt, Natural extensions for the Rosen fractions, Trans Amer Math Soc 35 (000), no 3, DK] K Dajani and C Kraaikamp, Ergodic theory of numbers, Carus Mathematical Monographs, 9 Mathematical Association of America, Washington, DC, 00 GH] K Gröchenig and A Haas, Backward continued fractions and their invariant measures, Canad Math Bull 39 (996), IK] M Iosifescu and C Kraaikamp, Metrical theory of continued fractions, Mathematics and its Applications, 547 Kluwer Academic Publishers, Dordrecht, 00 K] C Kraaikamp, The distribution of some sequences connected with the nearest integer continued fraction, Indag Math 49 (987), 77-9 K] C Kraaikamp, A new class of continued fraction expansions, Acta Arith 57 (99), 39 N] H Nakada, Metrical theory for a class of continued fraction transformations, Tokyo J Math 4 (98), N] H Nakada, Continued fractions, geodesic flows and Ford circles, in: Algorithms, Fractals and Dynamics, Ed Y Takahashi, Plenum Press, 995, 79 9 NIT] H Nakada, Sh Ito, S Tanaka, On the invariant measure for the transformations associated with some real continued-fractions, Keio Engrg Rep 30 (977), Roh] VA Rohlin, Exact endomorphisms of Lebesgue spaces, Izv Akad Nauk SSSR Ser Mat 5 (96), Amer Math Soc Transl Series, 39 (964), 36 Ros] D Rosen, A class of continued fractions associated with certain properly discontinuous groups, Duke Math J (954), Ry] M Rychlik, Bounded variation and invariant measures, Studia Math 76 (983), Schm] TA Schmidt, Remarks on the Rosen λ-continued fractions, in Number theory with an emphasis on the Markoff spectrum, A Pollington, W Moran, eds, Dekker, New York, 993, 7 38 Schw] F Schweiger, Ergodic theory of fibred systems and metric number theory Oxford: Clarendon Press, 995 TI] S Tanaka and Sh Ito, On a family of continued-fraction transformations and their ergodic properties, Tokyo J Math 4 (98), no, W] H Weber, Lehrbuch der Algebra, I, nd edition, Viehweg, Braunschweig, 898 Department of Mathematics Utrecht University Postbus TA Utrecht the Netherlands address: kdajani@uunl TU Delft EWI (DIAM) Mekelweg 4 68 CD Delft

26 6 KARMA DAJANI, COR KRAAIKAMP, AND WOLFGANG STEINER the Netherlands address: LIAFA, CNRS UMR 7089 Université Paris Diderot Paris 7 Case Paris Cedex 3 France address: steiner@liafajussieufr