Background Reading for Proving Irrationality of Real Numbers - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T09:33:03Z http://mathoverflow.net/feeds/question/110612 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/110612/background-reading-for-proving-irrationality-of-real-numbers Background Reading for Proving Irrationality of Real Numbers Pedro Madrid 2012-10-25T03:29:41Z 2012-10-27T20:30:49Z <p>I'm almost finishing my PhD in applied mathematics, but I'm planning soon (after doing post-doc) to start seriously doing research on problems about proving irrationality of real numbers. Whenever I have a chance I train myself reading proofs of this type and collecting articles and bibliography I find on internet. In 2010 I read a beautiful proof about $e$ being irrational, this is the link: </p> <pre><code> http://math.stanford.edu/~rhoades/FILES/irrationalityE4d.pdf </code></pre> <p>The beauty of the proof proposed in the above link is that is applicable to many other real numbers expressed in terms of infinite series. </p> <p>I read the proof that $pi$ is irrational in Michael Spivak's calculus book. The proof uses elementary mathematics. I found it hard to see the intuition behind it (maybe reading Lambert's proof will show the intuition), but I was able to follow all the details and understand the contradiction exposed in the book. </p> <p>Surprisingly I found an article where differential equations are used to prove irrationality of certain real numbers, this is the link: </p> <pre><code> http://rinconmatematico.com/irracionalpi/irracpi.pdf </code></pre> <p>I would like somebody to guide me with some literature I must follow so that I can train myself in tackling this kind of problems. What kind of books are "a must read"? "Articles"? Books that give historical context of problems and the ideas of the proofs, the intuition behind them, books written with the "heart" showing the beauty of this subject. </p> <p>Also, what area of mathematics specializes in solving problems of this kind? Is it analytic number theory? Transcendental number theory?</p> <p>There are so many attractive open problems like $\pi^e$, $\pi + e$ and Euler's gamma constant (my favorite!), where irrationality is not known. I found an article written by Jonathan Sondow titled "Criteria for irrationality of Euler's constant", but I couldn't follow the details. That's why I need the training. </p> <p>I consider myself "not too bad" in real and complex analysis. I was able to follow proofs like the prime number theorem (In Stein's book, Complex Analysis), which requires analytic continuation of the zeta function. I know this proof by heart. Also proofs like (I found this on "An Introduction to Number Theory", Graham Everest, I like his way of writting): </p> <pre><code> $\sum_{p \leq N} \geq \log\log N - 1$ </code></pre> <p>where $p$ is prime. I like to read about finding closed formulas too, formulas of complicated series (Zeta function evaluated at even numbers), complicated definite integrals (leading to Euler's gamma constant for example)... that kind of good stuff! (I know this is connected with the irrationality proofs, based on the first link I gave, I'm sure!). </p> <p>Thanks for the help! </p> http://mathoverflow.net/questions/110612/background-reading-for-proving-irrationality-of-real-numbers/110653#110653 Answer by quid for Background Reading for Proving Irrationality of Real Numbers quid 2012-10-25T12:57:52Z 2012-10-25T12:57:52Z <p>This is quite vague and broad a question, but one suggestion. </p> <p>Have a look around at <a href="http://www.math.jussieu.fr/~miw/index2.html" rel="nofollow">Michel Waldschmidt's webpage</a> (if you can read French it will be even still better) containing among others lot of expository work, which in part is accessible.</p> <p>For example a very recent presentation (the file is almost 5Mb, as there are many pictures) <a href="http://www.math.jussieu.fr/~miw/articles/pdf/TNT2012.pdf" rel="nofollow">Transcendental Number Theory: recent results and open problems</a> </p> <p>or also <a href="http://www.math.jussieu.fr/~miw/articles/pdf/Periods2011.pdf" rel="nofollow">Transcendence of Periods</a> (also about 5Mb).</p> <p>A rather recent (2000) survey </p> <p><a href="http://hal.archives-ouvertes.fr/docs/00/41/14/63/PDF/50.pdf" rel="nofollow">Un demi-siècle de trancedence</a> in particular look at the references there. </p> <p>And a lot more, and also look under 'enseignement' (ie, teaching). </p> <p>Reagrding naming: another important keyword is Diophantine Approximation and there is also Metric Number Theory sort of in that direction. </p> <p>However, names are names, and what actual mathematics you will need precisely could vary a lot. Some things but not all are a lot more 'algebraic-geomtric' than 'analytic', very roughly speking. </p> http://mathoverflow.net/questions/110612/background-reading-for-proving-irrationality-of-real-numbers/110699#110699 Answer by Alexandre Eremenko for Background Reading for Proving Irrationality of Real Numbers Alexandre Eremenko 2012-10-25T20:23:02Z 2012-10-25T20:23:02Z <p>You were talking about proofs of irrationality. However pi and e are known to be transcendental, and the proof of transcendence is usually harder than a proof of irrationality. Differential equations is indeed an indispensable tool in proving transcendence. Look at any book which has transcendental numbers in its title.</p> <p>The key authors are Baker, Mahler, Shidlovski, Gelfond and Siegel.</p> <p>However, if we are talking about the proofs of IRRATIONALITY (that is of numbers which were not known to be irrational), here is a famous ans relatively simple proof: </p> <p>Apéry, Roger Irrationalité de $\zeta(2)$ et $\zeta(3)$. Astérisque 61, 11-13 (1979).</p> <p>Then you can look at the papers which cite this great result.</p> http://mathoverflow.net/questions/110612/background-reading-for-proving-irrationality-of-real-numbers/110742#110742 Answer by Andreas Holmstrom for Background Reading for Proving Irrationality of Real Numbers Andreas Holmstrom 2012-10-26T09:34:44Z 2012-10-26T09:34:44Z <p>You might be interested in the concept called periods. Quid already mentioned the work of Waldschmidt, but see also <a href="http://en.wikipedia.org/wiki/Ring_of_periods" rel="nofollow">Wikipedia</a>, and in particular the link at the bottom to the article of Kontsevich and Zagier.</p> http://mathoverflow.net/questions/110612/background-reading-for-proving-irrationality-of-real-numbers/110751#110751 Answer by BSteinhurst for Background Reading for Proving Irrationality of Real Numbers BSteinhurst 2012-10-26T12:48:41Z 2012-10-26T12:48:41Z <p>I'd like to add the book for one of the two number courses I've taken which was an entire senior seminar (last year of undergraduate) on transcendental numbers. <a href="http://www.amazon.com/Making-Transcendence-Transparent-intuitive-transcendental/dp/0387214445" rel="nofollow">Making Transcendence Transparent</a> by Burger and Tubbs was good read and stressed the basic structure of the proofs by using sidebars to explain the ideas next to the formal proof. To this day the book contains my favorite theorem: $\pi \neq \frac{22}{7}$. Because this book is aimed at American undergraduates it is more conversational than a good for graduate students or beyond. </p> <p>As a bonus, it appears to be less expensive than I remembered.</p> http://mathoverflow.net/questions/110612/background-reading-for-proving-irrationality-of-real-numbers/110763#110763 Answer by Todd Trimble for Background Reading for Proving Irrationality of Real Numbers Todd Trimble 2012-10-26T15:26:21Z 2012-10-26T15:26:21Z <p>To add to quid's suggestion (look around Michel Waldschmidt's webpage), I'd say specifically that Waldschmidt's <a href="http://www.math.jussieu.fr/~miw/articles/pdf/Heidelberg2009VI.pdf" rel="nofollow">slides on Schanuel's conjecture</a> are probably worth looking at. This may be more for one's general education about transcendental number theory than any suggestion for research, since Schanuel's conjecture is widely regarded as a Holy Grail of transcendental number theory, and a proof seems to be nowhere in sight. It is, however, quite beautiful! </p> http://mathoverflow.net/questions/110612/background-reading-for-proving-irrationality-of-real-numbers/110854#110854 Answer by Pedro Madrid for Background Reading for Proving Irrationality of Real Numbers Pedro Madrid 2012-10-27T20:30:49Z 2012-10-27T20:30:49Z <p>Thank you everybody for your valuable help. MathOverflow is a great place to learn! Definitely I'll open an account! I can see I'm getting good answers. </p> <p>Benjamin Dickman, thanks for suggesting me reading Sondow's article on the irrationality of $e$, a geometric approach. I downloaded the paper from arxiv. </p> <p>Robert Israel, I looked at Baker's book and it has the kind of things I'm looking for. I'll start with something more modest suggested by BSteinhurst. Then I'll switch to Baker. Thank You!</p> <p>Todd Timble and Quid, thanks for the reference on Michel Waldschmidt's webpage. Those are exactly the kinds of things I feel atracted to! I didn't knew about Schanuel's conjecture. Sure, I know many problems, specially those ones that are easy to understand, are extremely hard! Also usually those hard problems are not solved directly. Usually an equivalent statement is proved, where the equivalent statement requires high level mathematics like complex analysis, elliptic curves, ... (That's the good thing about abstractions, once they are constructed, there is more freedom to move, to think and to operate in the abstract setting and solve particular problems.). </p> <p>Alexandre Eremenko, I knew about Apery's theorem ($\zeta (3) \in \mathbb{Q}^c$). I have the paper too. The zeta function evaluated at positive odd integers is still a mystery. I didn't knew about Mahler, Shidlovski, Gelfond and Siegel (I saw those names in Michel Waldschmidt's webpage too). I'll keep this in mind to enforce my background. Thanks. </p> <p>BSteinhurst, thanks for the reference, looks a good start for me! I want to see historical context and ideas of the proofs. That book looks great! Soon I'll order it! Thanks. </p> <p>Andreas Holmstrom, thanks for Wikipedia's reference. The article I'll keep in mind in the future! </p> <p>I'm serious about this. I appeciate all your help. I have more than enough material to start working hard (of course, after defending my thesis). </p>