arxiv: v2 [math.nt] 8 Jul 2015

Transcription

1 ON A THEOREM OF SERRET ON CONTINUED FRACTIONS arxiv: v2 [math.nt] 8 Jul 205 PALOMA BENGOECHEA Abstract. A classical theorem in continued fractions due to Serret shows that for any two irrational numbers x and y related by a transformation γ in PGL(2, Z there exist s and t for which the complete quotients x s and y t coincide. In this paper we give an upper bound in terms of γ for the smallest indices s and t. A classical theorem of Serret [Ser66] states that the standard continued fraction expansions of two irrational numbers x = [n 0,n,...] and y = [m 0,m,...] are the same after a finite number of steps if and only if x and y are PGL(2, Z-equivalent. Serret s theorem does not quantify how large the smallest indices s and t have to be such that the complete quotients x s = [n s,n s+,...] and y t = [m t,m t+,...] coincide. The more complicated the matrix γ relating x and y is, the larger s or t becomes. A quantification of this fact, namely bounding s and t in terms of γ, is the goal of this paper. The main theorem, in Section 2, gives an upper bound for the smallest s and t such that x s = y t. The bound we give is the best possible in the sense that for each γ PGL(2,Z one can construct many real numbers x for which s or t almost attain the bound, and for many matrices γ the bound is actually attained. In order to prove the theorem, in the first section we introduce the set Γ(x of transformations of PGL(2, Z related to the continued fraction expansion of the real number x. We characterize it by certain linear inequalities in Proposition.2. Sets of transformations related to other continued fraction algorithms have been characterized in [KU0] in a similar way.. Linear inequalities characterizing the continued fraction transformations We denote by Γ the group PGL(2,Z and by ε and T the transformations 0 ε =, T = 0 0 Key words and phrases. Continued fractions, PGL(2,Z-equivalent numbers. Mathematics Subject Classification: A55.

2 2 PALOMA BENGOECHEA that correspond to the inversion and the translation for the usual action on the projective line a b x := ax+b c d cx+d. The positive continued fraction of a real number x, x = n 0 + (n 0 Z, n i i, n + n also denoted by x = [n 0,n,...], is given by the algorithm x 0 = x, n i = x i, x i+ = = εt n i (x i if x i Z (i 0. x i n i If x i Z, the algorithm stops after n i = x i. Clearly each complete quotient x i = [n i,n i+,...] is the image of x by a matrix γ i = γ i,x Γ, given explicitly by γ 0 := Id, γ i := and recursively by 0 0 n i n 0 ( γ 0 = Id, γ i+ = εt n i γ i (i 0. (i A key idea is to replace the sequence (γ,γ 2,γ 3,... of elements in Γ by the unordered set Γ(x = {γ,γ 2,γ 3,...} Γ. When x R\Q, the set Γ(x is infinite, whereas it is finite if x Q. If x = [n 0,...,n t ], then Γ(x = {γ,...,γ t+ }. The i-th convergent ofxis denoted by p i = [n 0,...,n i ]. The integers p i and satisfy the recurrence p 2 = 0, p =, p i = n i p i +p i 2 (i 0, q 2 =, q = 0, = n i + 2 (i 0, the equation p i+ p i + = ( i and the inequalities (2 0 (i 0, > > 0 (i 2,

3 ON A THEOREM OF SERRET ON CONTINUED FRACTIONS 3 (3 p i p i (i 2, p i > p i (i 4. It is well known that any rational number p/q satisfying p q x < 2q 2 is a convergent of x. The numbers δ i (i defined by satisfy the recurrence δ i = ( i (p i x δ = x, δ 0 =, δ i+ = n i δ i +δ i, and the inequalities = δ 0 > δ > If x is rational, then x i = p i / for some i and the recurrence stops with δ i+ = 0; if x is irrational, the δ i are all positive and converge to 0 with exponential rapidity. One has δi n i = if δ i 0, and δ i γi pi p = i 2 x δi, γ =. i 2 δ i Lemma.. Ifr/t ands/u are two rational numbers such thatt,u > 0, r t x s and ru st = ±, then r/t or s/u is a convergent of x. u [ r Proof. Let x be an element in t u], s. If one of the inequalities r t x < or s 2t 2 u x < 2u 2 is satisfied, then r/t or s/u is a convergent of x. If not, then tu = r t s = r + u t x s u x 2t + 2 2u 2. The [ inequality above can only hold ift = u =, in which cases = r+, r so t u], s = [r,r +], and then either s u = x = p 0 or r q 0 t = x = p 0. q 0 Throughout, for any pair of real numbers a,b, we denote by a,b the interval [a,b] if a b or [b,a] if b < a. Proposition.2. For any real number x, the set Γ(x equals W (W W 2, where W = {γ Γ γ( 0, γ(x > }

4 4 PALOMA BENGOECHEA and W = {γ W γ( = 0, det(γ = }, W 2 = {γ W γ( =, det(γ = }. The sets W and W 2 have respectively exactly one and at most one element. (The inequality γ(x > in the definition of W includes γ(x =. Proof. One easily checks that {} 0 W =, n 0 {} +n0 if x Z or n W 2 = n 2, 0 if n =. This proves the second statement. It is also easy to see that Γ(x W (W W 2. Indeed, γ i (x = δ i > and γ i ( = 2 for i δ i together with the inequalities (2 imply γ i W (W W 2. Therefore we only have to show that W Γ(x W W 2. Let γ Γ satisfy γ( < 0, γ(x >. Let r s u s γ =, γ =. t u t r The conditions γ( < 0 and γ(x > 0 imply that u and t have the same sign, as well as ux s and tx + r, so x r t, s. By Lemma u., r/t or s/u is a convergent of x. If r/t is a convergent of x, then γ and γ are of the form (4 γ pi p = i +kp i qi +kq, γ = i p i kp i +k p i or (5 γ = pi p i kp i qi kq, γ = i p i +kp i k p i with k Z and i 0. In the case (4, since, we have that γ( = k < 0 if and only if k = 0 and i, or k = and i = 0. Moreover, if x Z, then γ(x = δ i k > if and only δ i+ δi if k n i+ because = n i+. Hence γ( < 0 and δ i+

5 ON A THEOREM OF SERRET ON CONTINUED FRACTIONS 5 γ(x > if and only if k = 0 and i or x Z, k = and i = 0, or n 2, k = and i = 0. In the first case qi p γ = i = γ p i+ (i ; i in the other two cases γ = +n0 W n 2. 0 In the case (5, if γ( = + k < 0, then k < 0 and γ(x = δ i δ i+ +k < 0, so γ W. If s/u is a convergent of x, then γ and γ are of the form (6 γ pi +kp = i p i q, γ = i p i +k k p i +kp i or (7 γ pi kp = i p i q, γ = i p i k +k p i kp i δ i+ with k Z and i 0. In the case (6, γ(x = > if and δ i kδ i+ only if k = n i+. If k = n i+, then γ( = γ = In the case (7, if γ( = δ i+ qi p i = γ + p i+2 (i 0. i+ + < 0. Hence +k < 0, then k < 0 and γ(x = 0, so γ W. δ i +kδ i+ 0 Finally, let γ = be the unique element of W satisfying u γ( = 0 and det(γ =. We have < γ(x = if and x+u only if 0 < x+u <, namely u = x, and γ = γ Γ(x. 2. Main theorem We recall the classic theorem of Serret about continued fraction expansions of equivalent numbers (see [Ser66]:

6 6 PALOMA BENGOECHEA Theorem 2. (Serret. Two irrational numbers x and y are Γ-equivalent if and only if there exist s,t 0 such that x s = y t. Theorem 2. (or its proof does not give any bound independent of x and y for the indexes s and t. The result we state below gives the best possible bound for the index s in terms of the matrix relating x and y (see Remark 2.3. We introduce the convention that has zero partial quotients in the rest of the paper. Theorem 2.2. Let γ Γ and let r be the number of partial quotients of γ (. For every real number x there exists an index s r + 3 such that the complete quotient x s is also a complete quotient of γ(x. Of course the bound for t is obtained in the same way in terms of the number of partial quotients of γ(. Proof. Let y = γ(x. Since x s = γ s,x (x and y t = γ t,y (y = (γ t,y γ(x, we must prove that there exists s r + 3 such that γ s,x = γ t,y γ for some t. In other words, we prove next that, if γ i,x γ t,y γ, then i r + 2. Let i 0 be such that γ i,x γ Γ(y. Proposition.2 implies one of the following conditions: (8 γ i,x γ ( 0 or γ i,x γ (. Suppose γ ( and set p/q = γ ( with (p,q =. If the first inequality in (8 is satisfied, we have ( p γ i,x = 2p p i 2 q q p+p i q 0, which implies p q p i 2, p i 2. Then by Lemma. we have that either p i / or p i 2 / 2 is a convergent of p/q. Similarly, if the second inequality in (8 is satisfied, we have ( p γ i,x = 2p p i 2 q q p+p i q, which implies p q p i p i 2, p i 2. It is easy to see that p i p i 2 2 p i 3, p i 3. Hence by Lemma. we have that either p i / or p i 3 / 3 is a convergent of p/q. Thus, if we denote by r the number of partial quotients (or convergents of p/q, we have that i 3 r.

7 ON A THEOREM OF SERRET ON CONTINUED FRACTIONS 7 Now suppose γ ( =. Then we have that, for all i, γ i,x γ (y = γ i,x (x and γ i,x γ ( = γ i,x (, so γ i,x γ (y > and γ i,x γ ( 0. If, moreover, γ i,x γ ( {,0}, then, by Proposition.2, ( we have 0 that γ i,x γ Γ(y. Now, if γ i,x ( = 0, then γ i,x = γ,x =. n ( 0 n0 If γ i,x ( =, then n = and γ i,x = γ 2,x =. +n 0 Therefore i 2. Remark 2.3. Let γ Γ and set γ ( = [n 0,...,n r ]. One can construct many real numbers x for whichx r+ is not a complete quotient of γ(x by letting x = [n 0,...,n r 2,n r,,n r+,...] where n r+i are arbitrary for all i. Indeed, for such an x, we have that γ ( = p r /q r, so γ r+,x γ ( =, and then γ r+,x Γ(yγ. Therefore x r+ is not a complete quotient of γ(x. Moreover, γ r+2,x γ ( = 0, and if det(γ = det(γ r+2,x, then γ r+2,x Γ(yγ and x r+2 is not a complete quotient of γ(x either. References [KU0] Katok, S.; Ugarcovici, I.: Structure of attractors for (a, b-continued fraction transformations, Journal of Modern Dynamics, 4 (200, [Ser66] Serret, J.A.: Cours d algèbre supérieure, 3ème ed., volume premier (866. Department of Mathematics, University of York, York, YO0 5DD, United Kingdom address: paloma.bengoechea@york.ac.uk