most recent 30 from http://mathoverflow.net 2013-05-23T01:03:24Z http://mathoverflow.net/feeds/question/18180 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics Qiaochu Yuan 2010-03-14T17:00:52Z 2011-08-10T08:00:38Z

<p>I thought it might be fun to ask this question as a way of celebrating Pi Day. One way in which people popularize pi is that they say that even though it's defined in terms of properties of a circle, it shows up in contexts such as the normal distribution which have (apparently) nothing to do with circles, and this is supposed to say something about the mysterious and amazing character of mathematics. So I'm curious what MO have to say about this phenomenon. If I had to venture a guess, it would be something about Fourier analysis, but I know there are many people here who could make such a statement much more precise.</p> <p>Answers should ideally be given in general terms, but feel free to illustrate your generalities with interesting examples. </p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18182#18182 Tom Leinster 2010-03-14T17:18:43Z 2010-03-14T17:18:43Z

<p>One surprising place where $\pi$ appears, though I don't know whether you could call it "fundamental", is <a href="http://en.wikipedia.org/wiki/Buffon%27s_needle" rel="nofollow">Buffon's needle problem</a>, which I've <a href="http://golem.ph.utexas.edu/category/2010/03/a_perspective_on_higher_catego.html" rel="nofollow">just been writing about</a>.</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18183#18183 Robin Chapman 2010-03-14T17:20:52Z 2010-03-14T17:20:52Z

<p>The appearance of $\pi$ in Stirling's formula still astounds me.</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18185#18185 Douglas Zare 2010-03-14T17:30:39Z 2010-03-14T17:44:43Z

<p>$\pi$ shows up in at least two different ways related to factorials. </p> <hr> <p>The $\pi$ in Stirling's Formula $n! \approx (\frac{n}{e})^n \times\sqrt{2 \pi n}$ comes down to <a href="http://mathworld.wolfram.com/WallisFormula.html" rel="nofollow">Wallis's Formula</a></p> <p>$$\frac {\pi}{2} = \prod_{n=1}^\infty \frac{2n\times 2n}{2n-1 \times 2n+1}$$</p> <p>which follows from the infinite product for sine</p> <p>$$\sin x = x \prod_{n=1}^\infty \bigg( 1 - \frac {x^2}{\pi^2 n^2}\bigg)$$</p> <p>evaluated at $x=\frac\pi2$. I guess that comes down to the circle after all. </p> <hr> <p>Also, $(-1/2)! = \Gamma(1/2) = \sqrt \pi.$ That can be seen from <a href="http://en.wikipedia.org/wiki/Gamma_function" rel="nofollow">Euler's reflection formula</a>,</p> <p>$$\Gamma(x)\Gamma(1-x) = \frac {\pi}{\sin \pi x}$$</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18186#18186 Torsten Ekedahl 2010-03-14T17:43:56Z 2010-03-14T17:43:56Z

<p>In some sense you could say that there are probably not as many sources as you might think: The conjecture of Kontsevich-Zagier says that when $\pi$ appears as some kind of period one should always be able to make some simple transformations of the involved integral to make it visibly equal to the standard definition. This of course is something number theorists/arithmetic algebraic geometers are used to do; try to find that two different $\pi$'s are the same (usually for some kind of ``motivic´´ reason).</p> <p>This preamble is just to lead up to the amusing fact that wondering whether two different $\pi$ are the same or not is not the exclusive domain of arithmeticians. In his first book in the series of PDO's Hörmander proofs Fourier inversion formula by first proving that it is true up to a constant (using in effect the irreducibility of the Heisenberg representation of the Heisenberg group) and then uses two different methods for determining the constant (which of course involves $\pi$), one by computing the integral $\int_0^\infty e^{-x^2}$ and one by the Cauchy residue formula. He then writes ''The constants $2\pi$ in Cauchy's integral formula and in the inversion formula are therefore 'the same'...''</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18188#18188 Douglas Zare 2010-03-14T17:57:51Z 2010-03-14T17:57:51Z

<p>Of course $\pi$ shows up in the circumference of a circle of radius $1$, but why does it come up in the surface area of a $2$-sphere of radius $1$? One relation between the two is the remarkable fact observed by Archimedes that the horizontal projection from a sphere to a circumscribing cylinder preserves area. </p> <p>I'd like to see a similar explanation for the higher powers of $\pi$ in the surface measures of higher dimensional spheres. </p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18189#18189 Dinakar Muthiah 2010-03-14T18:01:08Z 2010-03-14T18:01:08Z

<p>As for the normal distribution, you can characterize it as the unique distribution with the following properties:</p> <p>Let $X_1, X_2, \cdots X_n$ be independent identically distributed normal random variables. Then the joint distribution of the vector $X=(X_1, X_2, \cdots X_n)$ is the same as that of $AX$ where $A$ is any orthogonal matrix. So the normal distribution is intimately related to the geometry of real inner product spaces. </p> <p>The $\pi$ comes from the fact that you can integrate such a distribution by first integrating over a sphere and then integrating over $[0,\infty]$. Because the distribution is orthogonally invariant, you pick up a constant corresponding to the area of the sphere. For $n=2$ you get the circle, and this is the usual calculation for computing the normalization constant for the normal distribution. </p> <p>So then the mystery becomes: given that the normal distribution is so closely tied to inner product spaces, why does it show up all the time? The central limit theorem tells us that all that really matters in large scale limits are the first and second moments. The first moment can always be eliminated by re-centering. So all that matters is the second moment. But the second moment comes from the covariance, which is an inner product! (technically, only once you restrict to re-centered random variables, but we are doing that)</p> <p>I'd venture a guess that most, if not all, appearances of $\pi$ in statistics boil down to this fact that covariance is an inner product, and the fact that spheres, which are the norm-level sets for inner product spaces, have areas related to $\pi$</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18211#18211 gowers 2010-03-14T21:31:31Z 2010-03-14T21:31:31Z

<p>Let me play devil's advocate here: I'm not sure that I agree that the ubiquity of &pi; is so mysterious. After all, how do you ever prove that &pi; appears? You have to relate your situation to some known situation where &pi; already appears, so the mystery is solved almost before it occurs. Of course, if you're just shown the appearance of &pi; without the proof then you may be surprised, but that simply means you haven't yet seen the proof. To take an example, the proof that $\int_{-\infty}^\infty e^{-x^2}dx$ involves &pi; uses the rotational invariance of the normal distribution. But rotations are closely connected with circles and hence with &pi;, so it isn't too surprising that &pi; shows up. To take another example, it is amazing that $\sum n^{-2}=&pi;^2/6$, but one nice proof of that uses Parseval's identity, calculating the $\ell_2$ and $L_2$ norms of the Fourier coefficients of a certain function and the function itself, respectively. And Fourier coefficients involve trigonometric functions, so the appearance of &pi; is, once again, not a surprise.</p> <p>Maybe the right thing to say is that the multiple appearances of &pi; are initially striking and mysterious, but the mystery disappears on closer inspection -- like many mysteries. The statement I would dispute is that there is a general mystery of the kind "Why does &pi; appear so much?" I'd give an answer like "Because circles and rotations appear a lot."</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/18214#18214 Gjergji Zaimi 2010-03-14T22:08:26Z 2010-03-14T22:08:26Z

<p>I remember this from an old blog post of yours. There is a way to prove the theorem that primes of the form $4k+1$ are sum of two squares, and the theorem that every natural number is the sum of four squares that basically says "because $\pi>2$ for the first one, and because $\pi^2>8$ for the second one". The proofs rely on <a href="http://en.wikipedia.org/wiki/Minkowski%27s_theorem" rel="nofollow">Minkowski's theorem</a> which is a great source for $\pi$ in number theory :-), but it does sound very surprising at first.</p> <p>On a different note, from analytic number theory: the average order of Euler's function $\varphi$: $$\sum_{n\le x}\varphi(n)$$ is equal to $\frac{3x^2}{\pi^2}$ "on average"</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/30584#30584 Gerry Myerson 2010-07-05T06:05:53Z 2010-07-05T06:05:53Z

<p>Gjergji Zaimi's note on the average value of the Euler phi-function reminds me of some other appearances in Number Theory that don't have any obvious circles in them. The probability that two randomly selected positive integers are relatively prime is $6/\pi^2$ (where "randomly selected positive integers" is shorthand for, fix $n$, choose two integers uniformly and independently from $[1,n]$, then take a limit as $n$ goes to infinity). And the density of the squarefree integers (integers divisible by no square number other than 1) is also $6/\pi^2$. </p> <p>In a horse race, a trifecta is a choice of horses finishing first, second, and third, in order. If the horses are numbered from 1 to $n$, one can ask for the number $S(n)$ of trifectas in geometric progression (e.g., 4-6-9 is a trifecta in geometric progression when interpreted as horse number 4 finishing 1st, horse number 6 finishing 2nd, etc.). I proved that $S(n)=(6/\pi^2)n\log n+O(n)$, and I attributed the appearance of $\pi$ in the formula to the circular portion of the race track. </p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/30606#30606 lhf 2010-07-05T10:47:19Z 2010-07-05T10:47:19Z

<p>Have a look at <a href="http://www.springer.com/mathematics/history+of+mathematics/book/978-0-387-20571-7" rel="nofollow">Pi, a source book</a> by Berggren, Borwein, and Borwein.</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/72518#72518 Timothy Chow 2011-08-09T21:19:15Z 2011-08-09T21:19:15Z

<p>As a counterpoint to gowers's devil's advocacy, I'd mention that some formulas for $\pi$ have been discovered experimentally, and in some cases we still don't know how to prove them. For example, in the paper "About a New Kind of Ramanujan-type Series" by Jesús Guillera (<i>Experimental Mathematics</i> <b>12</b> (2003), 507&ndash;510), the following conjecture by Gourevitch is stated: $$\sum_{n=0}^\infty \frac{1+14n+76n^2+168n^3}{2^{20n}}\binom{2n}{n}^7 = \frac{32}{\pi^3}.$$ As far as I know, this is still unproved. In principle this kind of formula should be WZ-able, but it seems to be just out of reach of current computers. And probably there ultimately does exist some "motivic explanation" as Torsten Ekedahl said, but since we don't currently know of one, I think that one answer to Qiaochu's question is, "experimental observation."</p>

http://mathoverflow.net/questions/18180/what-are-some-fundamental-sources-for-the-appearance-of-pi-in-mathematics/72562#72562 Bruno 2011-08-10T08:00:38Z 2011-08-10T08:00:38Z

<p>Here is another devil's advocacy: We (mathematicians) are not familiar with many transcendental numbers such as $\pi$ or $e$. When in a formula appears some transcendental number that can be expressed as a function of $\pi$, we are happy with that and we have our "solution" for the problem. But if it is not related to $\pi$ (or $e$, or etc...), we just think "OK, we don't have a solution yet." </p> <p>Another way of saying pretty much the same thing is the fact that since we know very well $\pi$ and its properties, as soon as it is "in the neighborhood" of our problem, we see it, but if it is not here (and neither $e$ or another famous constant), we do not know where exactly to look to find an acceptable solution.</p> <p>My 2-cent guess is "the better we know a number (through formulas for instance), the more often it will appear in new formula in the future."</p>