PROBLEM SET X “FRACTIONAL”

advertisement
PROBLEM SET X
“FRACTIONAL”
DUE TUESDAY,  NOVEMBER 
We’ve talked a lot in this course about how we specify real numbers using rational
approximations. Here, we study a way to do this using a beautiful, recursively-defined
sequence of rationals.
Definition. Suppose (an )n≥0 a sequence of integers. Assume that for every integer n ≥ 1,
the integer an is positive; the integer a0 is free to be negative or zero. For every integer
n ≥ 1, define a function fn : R≥0 . R>0 by the formula
fn (u) :=
1
.
an + u
Define functions Kn : R≥0 . R for integers n ≥ 0 recursively in the following manner.
Set K0 (u) := a0 + u, and for any n ≥ 1, set Kn (u) := Kn−1 (fn (u)). Slightly more
informally, we may write that for any u ∈ R, one has
1
Kn (u) = a0 +
.
1
a1 +
a2 + .
..
1
+
1
an + u
Armed with this, define a sequence (kn )n≥0 of rational numbers via the formula
kn := Kn (0).
We will write [a0 ; a1 , a2 , . . . , an ] for the rational number kn , whence we have
[a0 ; a1 , a2 , . . . , an ] = a0 +
1
.
[a1 ; a2 , a3 , . . . , an ]
Exercise . Set p−1 := 1, q−1 := 0, p0 := a0 , and q0 := 1. Now define, for any integer
n ≥ 1,
pn := an pn−1 + pn−2 and qn := an qn−1 + qn−2 .
Show that for any integer n ≥ 0, one has qn > 0 and
[a0 ; a1 , a2 , . . . , an ] =
pn
.
qn
Exercise . Show that for any positive integer n,
pn qn−1 − pn−1 qn = (−1)n−1 ,


DUE TUESDAY,  NOVEMBER 
whence
(−1)n−1
.
qn qn−1
Conclude also that for any positive integer n, the natural numbers |pn | and qn are relatively
prime.
[a0 ; a1 , a2 , . . . , an ] − [a0 ; a1 , a2 , . . . , an−1 ] =
Exercise . Show that the subsequence (k2m )m≥0 is an increasing sequence, and show
that (k2m+1 )m≥0 is a decreasing sequence. Show also that for any nonnegative integers r
and s, one has k2r < k2s+1 . Deduce that each of these subsequences converges, and that
lim inf kn = lim k2m
n→∞
m→∞
and
lim sup kn = lim k2m+1 .
m→∞
n→∞
Exercise . Show that for any integer n ≥ 2, one has
qk ≥ 2(k−1)/2 .
Deduce that the sequence (kn )n≥0 converges.
Notation. We shall simply write [a0 ; a1 , a2 , . . . ] for the limit
lim [a0 ; a1 , a2 , . . . , an ] = lim kn .
n→∞
n→∞
We can think of this as giving meaning to the regular continued action
1
[a0 ; a1 , a2 , . . . ] = a0 +
.
1
a1 +
a2 +
1
..
.
Exercise . Show that one has
[a0 ; a1 , a2 , . . . ] = a0 +
1
;
[a1 ; a2 , a3 , . . . ]
conclude that for any positive integer a, one has
)
√
1(
[a; a, a, . . . ] =
a + a2 + 4 .
2
We now come to the most important result in this problem set: it turns out that any
irrational number can be written as a regular continued fraction in a unique way.
Exercise . Show that for any irrational number x, there exists a unique sequence (an )n≥0
of integers such that for any n ≥ 1, one has an ≥ 1 and
x = [a0 ; a1 , a2 , . . . ].
is is the regular continued action representation of x.
Note that this establishes a bijection between the set of irrational numbers and the set
of sequences (an )n≥0 of integers such that for any n ≥ 1, one has an ≥ 1.
Not only can any irrational number be exhibited as a limit [a0 ; a1 , a2 , . . . ] in a unique
manner, but, moreover, the rational approximations to the real number [a0 ; a1 , a2 , . . . ]
provided by the rationals [a0 ; a1 , a2 , . . . , an ] are in a sense ideal, as the next exercise demonstrates.
PROBLEM SET X
“FRACTIONAL”

Exercise⋆ . Show that for any irrational number x and any integer n ≥ 2, one has
1
1
< |[a0 ; a1 , a2 , . . . ] − [a0 ; a1 , a2 , . . . , an ]| <
qn (qn + qn+1 )
qn qn+1
Use this to show that the irrationality exponent of any irrational number can be computed by means of the formula
μ([a0 ; a1 , a2 , . . . ]) = 1 + lim sup
n→∞
log qn+1
.
log qn
Example. is isn’t an exercise, but I wanted to share with you some regular continued
fraction representations of interesting irrational numbers, just to give you a feel for them.
(a) e so-called Golden Ratio φ has an exceptionally pleasing/boring continued fraction
representation. Here it is:
√
1+ 5
φ=
= [1; 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, . . . ].
2
Why?
√
(b) Here’s the continued fraction representation of 2. Set a0 := 1, and for n ≥ 1, set
an := 2. en
√
2 = [a0 ; a1 , a2 , . . . ] = [1; 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, . . . ].
You can prove this!
(c) It turns out that an irrational number is quadratic (i.e., a root of a quadratic polynomial with integer coefficients) if and only if its regular continued fraction representation is periodic. For instance, if a0 = 80, and if for any n ≥ 1, one has


158 if n = 11m;





13 if n = 11m ± 1;
an = 5
if n = 11m ± 2;


1
if n = 11m ± 3 or if n = 11m ± 5;



3
if n = 11m ± 4.
then
√
1 + 13 37 = [a0 ; a1 , a2 , . . . ]
= [158, 13, 5, 1, 3, 1, 1, 3, 1, 5, 13, 158, 13, 5, 1, 3, 1, 1, 3, 1, 5, 13,
158, 13, 5, 1, 3, 1, 1, 3, 1, 5, 13, . . . ].
(d) Here’s the regular continued fraction representation of e := exp(1). Set a0 := 2,
and for n ≥ 1, set
{
2m if n = 3m − 1;
an :=
1
otherwise.
en
e = [a0 ; a1 , a2 , . . . ] = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . . ].
Remember him? from the first problem set? at’s right; he’s back!

DUE TUESDAY,  NOVEMBER 
You can obtain can obtain pretty good estimates of e from this, e.g.:
517656
49171
= k14 < e < k13 =
.
190435
18089
Unsurprisingly, the regular continued fraction representation of e was discovered by
Euler, as was the formula
exp(1/ℓ) − exp(−1/ℓ)
= [0; ℓ, 3ℓ, 5ℓ, 7ℓ, 9ℓ, . . . ].
exp(1/ℓ) + exp(−1/ℓ)
(e) e beautiful expression for the continued fraction of e may lead you to believe that
π should admit a similarly pleasant continued fraction representation. Sadly, it seems
that this is not the case; here are the first few:
π = [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1, 2, 2, 2, 2, 1, 84,
2, 1, 1, 15, 3, 13, 1, 4, 2, 6, 6, 99, 1, 2, 2, 6, 3, 5, 1, 1, . . . ].
Yeah. I don’t see a pattern there either. It’s not any better when you look at 2π:
2π = [6; 3, 1, 1, 7, 2, 146, 3, 6, 1, 1, 2, 7, 5, 5, 1, 4, 1, 2, 42, 5, 31,
1, 1, 1, 6, 2, 2, 4, 3, 12, 49, 1, 5, 1, 12, 1, 1, 1, 2, 3, 1, . . . ].
∑
(f ) We have seen that both log n and nj=1 1/j increase without bound as n → ∞.
eir difference, however, converges as n → ∞. e Euler–Mascheroni constant γ is
the limit:


n
∑
1
.
lim − log n +
n→∞
j
j=1
It too has an utterly mystifying regular continued fraction representation:
γ = [0; 1, 1, 2, 1, 2, 1, 4, 3, 13, 5, 1, 1, 8, 1, 2, 4, 1, 1, 40, 1, 11,
3, 7, 1, 7, 1, 1, 5, 1, 49, 4, 1, 65, 1, 4, 7, 11, 1, 399, 2, 1, . . . ].
Remark. Let me end with one very unsettling fact. Suppose x a positive irrational number. Write
x = [a0 ; a1 , a2 , . . . ].
For each approximation [a0 ; a1 , a2 , . . . , an ] to x given this way, let’s form the geometric
mean of the aj ’s:
αn (x) := (a0 a1 · · · an )1/n .
Let’s call a positive irrational x a K-number if the sequence (αn (x))n≥0 converges to the
real number
)log2 (j)
∞ (
∏
1
K =
1+
j(j + 2)
j=1
= 2.6854520010 6530644530 9714835481 7956938203 8229399446 2953051152 · · ·
= [2; 1, 2, 5, 1, 1, 2, 1, 1, 3, 10, 2, 1, 3, 2, 24, 1, 3, 2, 3, 1, 1, 1,
90, 2, 1, 12, 1, 1, 1, 1, 5, 2, 6, 1, 6, 3, 1, 1, 2, 5, 2, 1, 2, 1, 1, . . . ]
PROBLEM SET X
“FRACTIONAL”

called Khinchin’s constant. Note that K doesn’t dependent upon x at all, and I haven’t offered
any explanation for this suspicious-looking formula, so this seems like madness; it would
be reasonable for you to expect that there are very few K-numbers.
But you’d be wrong: remarkably, Khinchin showed that almost all positive irrational
numbers are K-numbers. As of today, however, no particular example of a K-number is
known, though computational evidence suggests that numbers whose regular continued
fraction representation do not have nice patterns should all be
√ K-numbers. (For instance,
we expect that π, 2π, and γ are all K-numbers, but e and 2 are known not to be Knumbers.)
As for Khinchin’s constant K — to date, it’s not even known whether it’s rational. Eerie.
Download