Irrational Numbers of Constant Type | A New Characterization

advertisement
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.
Download