Archive for April 30th, 2010
Some incredibly beautiful things
First, a totally completely absolutely incredible fact about convergents of continued fractions: the Khinchin-Levy theorem, seen here: For almost all real numbers , the denominators
of the continued-fraction convergents of
satisfy
Why should such a thing be a true?! Why should the limit even exist, why should it be the same for almost all real numbers, and where do ,
,
and 12 come from?!!
Intrigued by these questions, and embarrassed by my near-complete ignorance of continued fractions (each time I had encountered them before, I had been intimidated by the notation and skipped pages), I started reading a couple of books on continued fractions (including Khinchin’s)… other things intervened and I had to give up for now, but I hope to return to their study soon. But from what I’ve already seen, continued fractions are awesome, and it is a real shame they seem to be out of fashion these days and not more widely taught and known. Neither of these books proves the above theorem actually, but an editor’s footnote in Khinchin’s book gives the reference: it was proved by Khinchin in 1935 that the limit exists and is the same for almost all real numbers, and Lévy found the constant soon after (published 1937).
I suspect (based on nothing at all) that it bears some relation to, among other things, (some generalization of) the following well-known fact, itself quite surprising (probably the most surprising fact I know a proof of):
This fact is known as the Basel problem, was proved by (who else?) Euler, and fourteen proofs of it are collected here. But let this not distract you from reading about continued fractions!
Second, pointed out at John Baez’s This Week’s Finds in Mathematical Physics (Week 230), and from this paper by Sondow, are these (quoting Prof. Baez directly, just typeset in LaTeX):
eerily similar formulas for some of our favorite math constants. First, one for e:
Then, one for π/2:
Then one for eγ, where γ is Euler’s constant:
He also points out Wallis’ product for π/2 and Pippenger’s for e:
What does it all mean? I haven’t a clue! Another mystery thrown down to us by the math gods, like a bone from on high… we can merely choose to chew on it or not, as we wish.
Indeed!
Third, my favourite way to prove the Möbius inversion formula. Well, it’s actually the only way I know, besides induction, but I think it’s beautiful. (Ignore if you already know what Dirichlet convolutions are.) It’s from Herbert Wilf’s generatingfunctionology, one of my favourite books.
Let us consider a kind of generating function known as a Dirichlet generating function. (“A generating function is a clothesline on which we hang up a sequence of numbers for display.”) For a sequence , the Dirichlet generating function is defined as the (formal) series (in s)
.
(A formal series means that we can ignore issues of convergence etc.) Now if we have the generating functions and
for two sequences
and
, what is
? Well, it’s easy to see that the coefficient of
in
, which comes exactly from the terms of the form
with
, is
, or equivalently
. So the product is the generating function for a special kind of convolution, the sequence
defined as
Let us call this fact “(*)” and put it aside for now; we will use it shortly. Instead, let us look at the generating function for a very special sequence, the sequence of all 1s. It is, by definition, . While we could call this
, it goes by the more familiar name
— it is (when viewed as a function instead of a formal series) the Riemann zeta function. But we also know (this is the Euler product formula, and follows simply from the unique factorisation of integers):
.
This means that
.
Why did I write on the right? Is this a generating function of anything? Why, yes! By expanding the product, you can see that it is the generating function for the sequence
, defined as
.
(This function “mu” is known as the “Möbius function”.) With this background, the Möbius inversion formula falls out entirely naturally: if is the generating function of a sequence
, and the function
is defined as
,
then its generating function is, by (*), simply
,
which means that
,
or in other words, again by (*),
,
which is precisely the Möbius inversion formula. How cool is that?