Complex and Elementary Proofs in Number Theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T10:18:50Z http://mathoverflow.net/feeds/question/36405 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory Complex and Elementary Proofs in Number Theory Micah Miller 2010-08-22T22:03:03Z 2012-09-02T22:51:22Z <p>The Prime Number Theorem was originally proved using methods in complex analysis. Erdos and Selberg gave an elementary proof of the Prime Number Theorem. Here, "elementary" means no use of complex function theory.</p> <p>Is it possible that any theorem in number theory can be proved without use of the complex numbers?</p> <p>On the one hand, it seems a lot of the theorems using in analytic number theory are about the distributions of primes. Since the Prime Number Theorem has an elementary proof, this might suggest that elementary proofs exist in other cases. </p> <p>On the other hand, the distribution of primes is intimately related to the zeros of the Riemann Zeta function. Perhaps the proofs of other statements in analytic number theory require more direct references to the Riemann Zeta function.</p> <p>This topic is more of a fascination for me, as I am not a number theorist. I would be interested if there are other examples of elementary proofs of theorems originally proved with complex analytic methods. </p> http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory/36414#36414 Answer by Richard Borcherds for Complex and Elementary Proofs in Number Theory Richard Borcherds 2010-08-22T22:38:03Z 2010-08-22T22:38:03Z <p>Yes, there is a theorem to this effect by Takeuti given in his book "Two applications of logic to mathematics". He shows roughly that complex analysis can be developed in a conservative extension of Peano arithmetic. </p> http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory/36489#36489 Answer by ex falso quodlibet for Complex and Elementary Proofs in Number Theory ex falso quodlibet 2010-08-23T20:17:11Z 2010-08-24T11:36:07Z <p>It depends on what one would count as "number theory". Even if one´s interest ultimately lies "only" in algebraic number subfields of the reals, one could argue that there are objects attached to these structures (e.g. L- and Zeta-functions) that are number-theoretical and are of interest for themselves, that is, they are more than just a way prove other things. I think a nice example here is Artin´s conjecture on the holomorphy of the Artin´s L-function -> <a href="http://en.wikipedia.org/wiki/Artin_L-function" rel="nofollow">http://en.wikipedia.org/wiki/Artin_L-function</a>. To elaborate a little bit on this, there is absolutely no reason why an arbitrary ordinary Dirichlet series should admit meromorphic continuation, let alone being entire. </p> <p>Assuming that the purely algebraic and real-analytic approach turns out to suffice for almost all number-theorerical purposes, objects like the complex-valued L-functions may indeed not contribute so much more to our mathematical understanding, but they certainly do so to our "philosphical" (or if you want "meta-mathematical") understanding. </p> <p>Moreover, in the end one of the things that matter are the interconnections between various fields of mathematics. In that case one <em>a priori</em> has to deal with structures even "higher" than the complex numbers, e.g. automorphic forms -> <a href="http://en.wikipedia.org/wiki/Langlands_program" rel="nofollow">http://en.wikipedia.org/wiki/Langlands_program</a>.</p> http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory/36498#36498 Answer by stone for Complex and Elementary Proofs in Number Theory stone 2010-08-23T21:22:50Z 2010-08-23T21:22:50Z <p>Taking complex analysis from number theorists is like taking away their lives. So called "elementary is just relativly simple and direct.</p> http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory/65403#65403 Answer by Thomas Riepe for Complex and Elementary Proofs in Number Theory Thomas Riepe 2011-05-19T06:51:12Z 2011-05-19T06:51:12Z <p>I just heard about a very interesting sounding new approach to analytic number theory by A. Granville and K. Soundararajan, which seems to fit to your question: "Since 1859 the only coherent approach to these problems has been based on Riemann's idea connecting the distribution of prime numbers to the zeros of the Riemann zeta function -- which are the zeros of an analytic continuation. Some might argue that this is "unnatural" and ask for an approach that is less far removed from the original problems. Recently Soundararajan and I have proposed a different approach to the whole subject of analytic number theory, based on our concept of pretentiousness -- recently we have realized our dream of being able to develop the whole subject in a coherent way, without using the zeros of the Riemann zeta function."(<a href="http://www.dms.umontreal.ca/~andrew/Courses/MAT6627.H11.html" rel="nofollow" title="link">link to course website</a>, <a href="http://www.dms.umontreal.ca/~andrew/PDF/PretendBook050111.pdf" rel="nofollow" title="pdf">course notes</a>) Perhaps someone tells us more about it? </p> http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory/83773#83773 Answer by Somabha Mukherjee for Complex and Elementary Proofs in Number Theory Somabha Mukherjee 2011-12-18T05:52:51Z 2011-12-18T05:52:51Z <p>Although stuffs like the prime number theorem or Dirichlet's theorem on primes in arithmetic progression are believed to form the integral parts of analytic number theory, I have something to say, that might interest you. There is a very intuitive way of guessing the asymptotic expression x/logx for pie(x). I was going through the book "What is Mathematics" by Courant, Robbins and Stewart a few days back, from where I got this idea. It involves expressing log n!in two ways, one by its asymptotic expression nlogn and the other involves De-Polygnac's theorem on the greatest power of a prime that divides n!.Then the two expressions are compared. The next step involves dividing the interval [2,x] into a large number of sub-intervals where #primes is approximated by P(x)dx. This P(x) is actually assumed to be a smooth prime density function whose definite integral gives the value of pie(x). The comparison yields an asymptotic expression for P(x), namely<br> (x-1)/(xlogx) whose integral is approximately x/logx for large x. However, as mentioned there, the primary difficulty behind the proof is really the existence of such a smooth density function P(x). This argument may seem to be a more statistical in nature! You can refer to Hardy's work on the zeros of the Riemann Zeta function. Another fact that might interest you as well, a theorem that states that for any k, there are k collinear points on the prime number graph. You can consult Carl Pomerance's paper for a proof, which uses the concept of convex hull.</p> http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory/106159#106159 Answer by Paramanand for Complex and Elementary Proofs in Number Theory Paramanand 2012-09-02T05:13:02Z 2012-09-02T05:13:02Z <p>I have studied both the "elementary" and "analytic function theoretic" proofs of PNT and I find that the analytic version is more natural and appealing whereas the so called "elementary" version looks more crafted specifically to avoid complex analysis.</p> <p>I can illustrate my point by a very simple example. While studying calculus I learned the technique of integration by parts and using this one could evaluate the integral $\displaystyle \int e^{ax}\sin bx\,dx$.</p> <p>But a simple trick using complex numbers would make the evaluation of the integral so easy and at the same time so marvelous:</p> <p>$\displaystyle A = \int\,e^{ax}\cos bx\,dx, \,\, B = \int\,e^{ax}\sin bx\,dx$</p> <p>so that $\displaystyle A + iB = \int\,e^{(a + ib)x}\,dx = \frac{e^{(a + ib)x}}{a + ib}$</p> <p>The answer follows by equating real and imaginary parts. This uses only the algebra of complex numbers.</p> <p>The Cauchy's integral theorem which lies at the heart of all complex analysis is way more powerful than it seems (on a first sight) and can make various proofs much more simple and natural than their elementary counterparts.</p> http://mathoverflow.net/questions/36405/complex-and-elementary-proofs-in-number-theory/106202#106202 Answer by Frank Thorne for Complex and Elementary Proofs in Number Theory Frank Thorne 2012-09-02T22:51:22Z 2012-09-02T22:51:22Z <p><a href="http://dms.umontreal.ca/~koukoulo/documents/publications/pnt.pdf" rel="nofollow">Here</a> is a recent paper by Dimitris Koukoulopoulos, which obtains the strongest known form of the Prime Number Theorem without heavy use of complex analysis. One can find the symbol $i$ in the paper, but it does not rely on the analytic continuation of the zeta function.</p> <p>This is a direct extension of the "pretentious" methods of Granville and Soundararajan, mentioned in an answer by Thomas Riepe.</p>