8
$\begingroup$

Catalan's Constant and quite a few other mathematical constants are known to have an infinite continued fraction (see the bottom of that webpage). On wikipedia (I'm sorry, I can't post anymore hyperlinks because of my low rep.), a condition for irrationality of that continued fraction is given (see 'generalized continued fractions'). It is said that a given continued fraction converges to an irrational limit if b_n > a_n in the continued fraction $b_0 + a_0/(b_1 + a_1/(b_2 + a_2/(...b_n+a_n)))$ for some sufficiently large $n$. In the webpage I provided you with, however, the degree of the polynomial $a_n$ of the continued fractions is bigger than the one of $b_n$. Therefore, all values of $b_n$ will never exceed all values of $a_n$, even after some large $n$.

My question is: Why does the degree of $a_n$ need to be smaller than the degree of $b_n$ in order for a continued fraction representation of a constant to be irrational? I think I read somewhere it had to do with something like 'Tietschzes criterion' (but I'm not sure). (bonus question: Does anyone know where a proof of this 'criterion for irrationality' can be found?)

Thanks,

Max Muller

  • 0
    @ BBischof :P . I thought that when I was asking: "Does anyone know where a proof of this 'criterion for irrationality' can be found?" I was already, though implicitly, asking for references ;)2010-09-27

3 Answers 3

11

You can find the proofs here, taken from Chrystal's Algebra - which is one of the best references on continued fractions. I suspect that if you read Chrystal then almost all of your questions will be answered. See also chapter 9 of Fowler's "The mathematics of Plato's Academy"

  • 1
    @Max Muller: Yes, Chrystal is the best reference for the algebraic (vs. analytic) theory. Another useful reference is Ch.9 of Fowler's "The mathematics of Plato's Academy" for which you can find online links at the usual ebooks sites, e.g. gigapedia2010-09-27
2

The continued fraction expansion of any possible real number falls in one of 2 possible categories:

  • the continued fraction expansion has a finite length if and only if the number is rational.
  • the continued fraction expansion never ends if and only if the number is irrational.

"quite a few other mathematical constants are known to have an infinite continued fraction"

Yes, and all such constants are therefore all irrational.

"Catalan's Constant ... known to have an infinite continued fraction"

Do you have a proof? My understanding is that we don't yet know whether or not Catalan's Constant has an finite continued fraction -- therefore we don't yet know whether or not it is rational.

"Why does the degree of an need to be smaller than the degree of bn in order for a continued fraction representation of a constant to be irrational?"

That is required for the sequence to converge on some specific value. If the degree of an is larger, that doesn't mean the result is rational -- it indicates that it doesn't converge to any real number, and therefore isn't a "constant" at all.

Is there a way to make the Wikipedia "generalized continued fraction" article a little less confusing?

  • 0
    (by that result).2010-09-28
2

Though infinite, the Zudilin's continued fraction for the Catalan's constant is not "simple". So, the irrationality theorem does not apply to Zudilin result. The distinction between "simple" and "generalized" continued fractions can be found at

http://en.wikipedia.org/wiki/Continued_fraction

Best wishes,

Dr. Fabio M. S. Lima