Showing e is transcendental using its continued fraction expansion - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T02:33:38Z http://mathoverflow.net/feeds/question/24958 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion Showing e is transcendental using its continued fraction expansion paarshad 2010-05-17T01:25:03Z 2012-01-13T03:40:28Z <p>Can the transcendence of e be shown using its continued fraction expansion e = [2;1,2,1,1,4,1,1,6,...]?</p> http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion/24959#24959 Answer by Gerry Myerson for Showing e is transcendental using its continued fraction expansion Gerry Myerson 2010-05-17T02:39:32Z 2010-05-17T02:39:32Z <p>There is a not-very-helpful sense in which the answer is yes: the continued fraction expansion determines $e$, and therefore can be used to prove anything one can prove about $e$, including its transcendence. </p> <p>We know so little about the continued fractions of real algebraic numbers of degree exceeding 2 that I would be surprised if there were any direct path from continued fraction to transcendence. </p> http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion/24962#24962 Answer by Wadim Zudilin for Showing e is transcendental using its continued fraction expansion Wadim Zudilin 2010-05-17T03:55:07Z 2010-05-17T03:55:07Z <p>I have to join Gerry in his claim that $e$ is uniquely determined by its continued fraction, but transcendence proofs for the latter use the number $e$ instead. Without pretending to prove the transcendence of $e$ (proofs can be found in so many books and articles), I would like to mention that more general "pseudoperiodic" continued fractions of the form $\alpha=[b_0;b_1,\dots,b_s,(\overline{c_1+\lambda d_1,\dots,c_m+\lambda d_m})^\infty_{\lambda=0}]$ are known to be transcendental. This is because they can be expressed through the values of so-called Siegel's $E$-functions at rational points, and the transcendence result for the latter goes back to Siegel's 1929 paper.</p> <p>The result where the use of continued fraction for $e$ is crucial is the following [C.S. Davis, <em>Bull. Austral. Math. Soc.</em> 20 (1979) 407--410]. For each $C&lt;1/2$, the inequality $$\biggl|e-\frac pq\biggr|&lt; C\frac{\log\log q}{q^2\log q}$$ has only finitely many solutions in rationals $p/q$, and at the same time there are infinitely many solutions of the inequality if one takes $C>1/2$. This means that the continued fraction gives us an efficient way to measure the "quality" of rational approximations to $e$, and this is exactly the thing continued fractions are designed for! This result was generalized to the general "pseudoperiodic" continued fractions in [B.G. Tasoev, <em>Math. Notes</em> 67 (2000) 786--791].</p> <p>I know only one family of examples where continued fractions are used directly to prove the transcendence of the numbers they represent. This is related to Mahler's method and the numbers are Liouvillian numbers, so that they are "too good" approximated by rationals.</p> http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion/25814#25814 Answer by anon for Showing e is transcendental using its continued fraction expansion anon 2010-05-24T22:35:39Z 2010-05-24T22:35:39Z <p>If there were to be a relation between the CF and the transcendence of e,one would feel that it would involve the pattern in the values of the CF. Considering also there appears to be no decipherable pattern to the CF of pi it may well be that such a path does not exist, as if it did then it seems likely that a similar relation would be present in pi. </p> http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion/39967#39967 Answer by Gene S. Kopp for Showing e is transcendental using its continued fraction expansion Gene S. Kopp 2010-09-25T19:02:42Z 2011-08-24T19:06:27Z <p>To use the continued fraction for a number to prove it's transcendental, one usually shows that the rational approximations it affords are "too good" for an algebraic number. The traditional tool here is Liouville's theorem, but this has been improved to the more powerful Roth's theorem:</p> <p>If $\alpha$ is algebraic, then for every $\varepsilon > 0$ there are only finitely many rational numbers $p/q$ satisfying $$\left|\alpha - \frac{p}{q}\right| &lt; \frac{1}{q^{2+\epsilon}}.$$</p> <p>Unfortunately, $e$ also satisfies this. Indeed, rational approximations to $e$ are uncommonly <em>bad</em>. As Wadim mentions, there are only finitely many $p/q$ satisfying the following inequality. $$\left|e - \frac{p}{q}\right| &lt; \frac{\log \log q}{3 q^2 \log q}.$$</p> <p>But Khinchin proved that, for almost all $\alpha$, $$\left|\alpha - \frac{p}{q}\right| &lt; \frac{1}{q} \phi(q)$$ has infinitely many solutions if and only if $\sum_q \phi(q)$ diverges.</p> <p>Additionally, Khinchin showed that the geometric means of the entries of the continued fraction expansion of a real number almost always converge to a universal constant. The geometric means of the entries of the continued fraction expansion of $e$ diverge.</p> <p>If either of Khinchin's conditions hold for nonquadratic algebraic numbers, the transcendentality of $e$ would follow, but a proof is probably out of reach.</p> <p>Finally, the continued fraction expansion of $e$ provides an immediate proof of its <em>irrationality</em>, because rational numbers have finite continued fraction expansions. We also have that $e$ is not a quadratic irrational, because those have (eventually) periodic continued fraction expansions.</p> http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion/41023#41023 Answer by Franz Lemmermeyer for Showing e is transcendental using its continued fraction expansion Franz Lemmermeyer 2010-10-04T14:29:52Z 2010-10-17T08:51:35Z <p>In his article <em>Transcendental continued fractions</em>, Journal of Number Theory 13, November 1981, 456-462, Gideon Nettler shows that two numbers given by continued fractions $A = [a_0,a_1,a_2,...]$ and $B = [b_0, b_1, b_2, ...]$ have the property that $A$, $B$, $A \pm B$, $A/B$ and $AB$ are irrational if $\frac12 a_n > b_n > a_{n-1}^{5n}$ for sufficiently large $n$, and transcendental if $a_n > b_n > a_{n−1}^{(n−1)^2}$ for sufficiently large $n$. The growth of the $a_i$ in the continued fraction expansion of $e$ is so small that present methods seem useless for proving the transcendence of $e$ in this way.</p> <p><b>Edit.</b> Similarly, Alan Baker proved in <em>Continued fractions of transcendental numbers</em> (Mathematika 9 (1962), 1-8) that if $q_n$ denotes the denominator of the $n$-th convergent of a continued fraction $A$, and if $$\lim \sup \frac{(\log \log q_n)(\log n)^{1/2}}{n} = \infty,$$ then $A$ is transcendental. </p> <p><b>Edit 2</b> I guess that the answer to your question should be a firm "yes" after all. In </p> <ul> <li><em>&Uuml;ber einige Anwendungen diophantischer Approximationen</em>, Abh. Preu\ss. Akad. Wiss. 1929; Gesammelte Abhandlungen, vol I, p. 209-241</li> </ul> <p>Siegel proved that all continued fractions $$\frac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ldots}}}$$ in which the $a_i$ form a nonconstant arithmetic sequence are transcendental. Applying this to the continued fraction expansion of $\frac{e-1}{e+1}$ gives the transcendence of $e$.</p> <p>Siegel's proof uses, predictably, analytic machinery (solutions of Bessel and Riccati differential equations) going far beyond Liouville's theorem.</p> http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion/56486#56486 Answer by Kev for Showing e is transcendental using its continued fraction expansion Kev 2011-02-24T04:45:02Z 2011-02-24T04:45:02Z <p>I thought that all the algebraic transcendentals had a repeated pattern in their continued fraction representation. I know this is true for all the quadratic surds.</p> <p>The fact that the representation for e, as well as e^2^n don't truly repeat, in the conventional sense, would suggest that they are not algebraic, hence transcendental. Many 'non-algebraic' numbers, like e and pi, have simple representations as continued fractions.</p> http://mathoverflow.net/questions/24958/showing-e-is-transcendental-using-its-continued-fraction-expansion/85549#85549 Answer by Glenn for Showing e is transcendental using its continued fraction expansion Glenn 2012-01-13T03:40:28Z 2012-01-13T03:40:28Z <p>There is no decipherable pattern to the Simple CF of pi, but there are numerous Generalized CFs for pi, as [http://en.wikipedia.org/wiki/Continued_fraction#Generalized_continued_fraction] notes. One could, however, say that pi is even more transcendental than e (which does have a Simple CF pattern) is.</p>