New York Journal of Mathematics New York J. Math. 4 (1998) 31{34. Irrational Numbers of Constant Type | A New Characterization Manash Mukherjee and Gunther Karner Abstract. Given an irrational number and a positive integer m, the distinct fractional parts of 2 m determine a partition of the interval 0 1]. Dening d (m) and d (m) to be the maximum and minimum lengths, respectively, of the subintervals of the partition corresponding to the integer m) m, it is shown that the sequence dd ((m ) m=1 is bounded if and only if is of constant type. (The proof of this assertion is based on the continued fraction expansion of irrational numbers.) 0 1 0 Contents 1. Introduction 2. Basic Properties of Continued Fractions 3. The Main Theorem References 1. 31 32 32 34 Introduction Let be a real irrational number, and ; ] = f g be the fractional part of (where ] is the greatest integer function). For k = 1 2 m, consider the sequence of distinct points fk g in 0 1], arranged in increasing order: 0 < fk1 g < < fkj g < fkj+1 g < < fkm g < 1 where 1 kj m for j = 1 2 m. Let d (m) and d (m) denote, respectively, the maximum and minimum lengths of the subintervals determined by the above partition of 0 1]. Using the continued fraction expansion of (see Section 2), and the Three Distance Theorem (Theorem 1, Section 3), we obtain a new characterization of irrational numbers of constant type (dened as irrationals with bounded partial quotients). We show in 0 Received July 25, 1997. Mathematics Subject Classication. 11A55. Key words and phrases. Irrational numbers, Continued fractions. c 1998 State University of New York ISSN 1076-9803/98 31 Manash Mukherjee and Gunther Karner 32 d ( m ) is Theorem 2 (The Main Theorem, Section 3), that the sequence d (m) m=1 1 0 bounded if and only if is an irrational number of constant type. Other characterizations of irrational numbers of constant type can be found in the survey article by J. Shallit 3]. In the investigation of certain dynamical systems, Theorem 2 is essential for the formulation of stability criteria for orbits of so-called quantum twist maps 2]. 2. Basic Properties of Continued Fractions Throughout this paper, N , Z, Q , R denote the natural numbers, integers, rational numbers, and real numbers, respectively, and denotes an irrational number. Proofs of the facts 1 and 2 below can be found in 1, p. 30]. Fact 1. 2 RnQ if and only if has innite (simple) continued fraction expansion: 1 = a0 a1 a2 an ] = a0 + a1 + 1 . a2 + . . where a0 2 Z and an 2 N for n 1. Denition 1. An irrational number, , is of constant type provided there exists a positive number, B ( ), such that B ( ) = sup (an ) < 1. (See reference 3].) n Fact 2. Dene integers pn and qn by: 1 p 1 = 1 p0 = a0 pn = an pn 1 + pn 2 n 1 q 1 = 0 q0 = 1 qn = an qn 1 + qn 2 n 1 Then, for n 0, gcd(pn qn ) = 1, and 0 < q1 < q2 < < qn < qn+1 < . Furthermore, (qn ; pn ) and (qn+1 ; pn+1 ) are of opposite sign for all n 0. p n Note: qn n 0 are called the principal convergents to . Lemma 1. Dene n = jqn ; pnj. For all n 0, n 1 = an+1n + n+1 , and hence, n < n 1 . ; ; ; ; ; ; ; ; Proof. From Fact 2, we have jqn 1 ; pn 1 j = j(qn+1 ; pn+1 ) ; an+1 (qn ; pn )j The lemma follows from the fact that an > 0 for n 1, and that (qn ; pn ) and (qn+1 ; pn+1 ) have opposite signs. ; 3. ; The Main Theorem For 2 R n Q and m 2 N , the fractional parts, f g f2 g : : : fm g, dene a partition, P (m), of 0 1]: 0 = d0 < d1 < < dj < dj+1 < < dm < dm+1 = 1 Irrational Numbers of Constant Type 33 The maximum and minimum lengths of the subintervals of P (m) are denoted, respectively, by d (m) := 0max (d ; di ) i m i+1 d (m) := 0 min (di+1 ; di ) 0im For the partition P (m), the dierences (di+1 ; di ) can be completely characterized 4] in terms of n = jqn ; pn j. Collecting the relevant results in reference 4], we have Theorem 1 (Three Distance Theorem). Let 2 R n Q and m 2 N. (a) m can be uniquely represented as m = rqk + qk 1 + s, for some k 0, 1 r ak+1 , and 0 s < qk (where ak 's are the partial quotients of and qk 's are given in Fact 2). (b) For the partition P (m), there are (r ; 1)qk + qk 1 + s + 1 subintervals of length k , s +1 subintervals of length k 1 ; rk , and qk ; (s +1) subintervals of length k 1 ; (r ; 1)k , where the unique integers k, r and s are as in part (a). Remark 1. From Theorem 1, we observe (a) k 1 ; rk = k+1 + (ak+1 ; r)k , by Lemma 1 (b) k 1 ; (r ; 1)k = k + k 1 ; rk (c) When qk = s + 1, there are no subintervals of length k 1 ; (r ; 1)k . Corollary 1. For m 2 N and 2 R n Q , the maximum length, d (m), and minimum length, d (m), of the subintervals of partition P (m), are given by: (a) When qk > s + 1, k+1 + k r = ak+1 d (m) = k+1 + (ak+1 ; r + 1)k r < ak+1 When qk = s + 1, k r = ak+1 d (m) = k+1 + (ak+1 ; r)k r < ak+1 (b) For all qk s + 1, k+1 r = ak+1 d (m) = ; ; ; ; ; ; ; ; 0 0 k r < ak+1 where k, r, s, ak , and k are as in Theorem 1. Proof. From Remark 1(a) and Lemma 1 we have, k 1 ; rk = ; k+1 < k r = ak+1 k+1 + (ak+1 ; r)k > k r < ak+1 Now, the corollary follows from Theorem 1, Remark 1(b) and Remark 1(c). Theorem 2 (Main Theorem). Let 2 R n Q , m 2 N, and let d (m), d(m) be, respectively, the maximum and minimum lengths of the subintervals of the partition d ( m ) P (m). The sequence d (m) is bounded if and only if is an irrational m=1 number of constant type. 0 1 0 Manash Mukherjee and Gunther Karner 34 Proof. Let m = rqk + qk 1 + s, where k, r, and s are the unique integers given by Theorem 1. From Corollary 1 and Lemma 1, we have 8 k+2 + a > + r = ak+1 > k+1 k+2 d (m) = < d (m) > > : + k+1 + (ak+1 ; r) r < ak+1 ; 0 k where = 1 for qk > s + 1 and = 0 for qk = s + 1. (a) If is of constant type (Denition 1), then the partial quotients, an , of , satisfy an B ( ) < 1 for all n 1. Since j+1 < 1 for all j 0 (by Lemma 1), j d (m) < B ( ) + 2 for all m 2 N . Hence, d (m) d (m) d (m) m=1 is bounded. ) < B where 0 < B < 1 for all m 2 N . In particular, for m = (b) Suppose dd ((m 0 0 m) qk+1 corresponding to r = ak+1 , s = 0], we have dd ((qqk+1 )) = + k+2 + ak+2 < B0 k+1 k+1 for all k 0. Hence, ak+2 < B0 for all k 0. Setting B = maxfB0 a1 g, we have an B for all n 1, and hence is of constant type. 1 0 0 0 0 Acknowledgments We would like to thank Professor Paul Zweifel, Virginia Tech, for his encouragement and stimulating questions, which led, in part, to the present work. We would also like to thank Robin Endelman, Department of Mathematics, Virginia Tech, for many helpful suggestions and discussions. References 1] S. Drobot, Real Numbers, Prentice-Hall, Inc., Englewood Clis, N.J., 1964 2] G. Karner, On quantum twist maps and spectral properties of Floquet operators, Ann. Inst. H. Poincare A, 68 (1998), to appear. 3] J. Shallit, Real numbers with bounded partial quotients: a survey, Enseign. Math., 38 (1992), 151{187. 4] N. B. Slater, Gaps and steps for the sequence n mod 1, Proc. Camb. Phil. Soc., 63 (1967), 1115{1123. Mathematical Physics Group, Department of Physics, Virginia Polytechnic Institute and State University, Blacksburg, Virginia 24061 USA Current address : Department of Physics, University of Cincinnati, Cincinnati, Ohio 452210011 USA manash@physics.uc.edu http://www.physics.uc.edu/~manash/ Institut fu r Kerntechnik und Reaktorsicherheit, Universita t Karlsruhe (TH), Postfach 3640, D-76021 Karlsruhe, Germany karner@irs.fzk.de This paper is available via http://nyjm.albany.edu:8000/j/1998/4-3.html.