Hi, nerd blog! (This is a post that I wrote a long time ago and then never published. I figured it would be nice to publish it on March 14th.)
Today, we’re interested in the Gaussian integral
for . This integral of course has lots of very serious practical applications, as it arises naturally in the study of the Gaussian/normal distribution. But, more importantly, it’s a lot of fun to play with and is simply beautiful. We’ll see a bit about what it makes it so pretty below. We start by simply trying to figure out the value of this thing, which isn’t super easy.
By a change of variables, we immediately see that is proportional to . But, what is the constant of proportionality? It’s actually nicer to ask a slightly different question: what is the unique value of such that . A quick numerical computation shows that . E.g., here’s some Mathematica code to find this value:
This constant is so important for this blog post that it is worth giving it a name. So, I looked through the Greek alphabet for a nice letter that doesn’t get used much and chose the obscure lowercase letter —spelled pi in English, and pronounced like “pie”. In other words, by definition . (If this implicit definition bothers you, we can equivalently just define . But, I find the implicit definition to be more elegant.)
So, we have this brand new mysterious constant . What should we do with it? It is of course natural to try to find different expressions for it (though our integral expression can already be used to compute it to quite high precision). A first idea is to apply the change of variables to obtain
which you might recognize as the square of the Gamma function evaluated at , i.e., . (Recalling that for integer , one might interpret this as saying that is “the factorial of .”)
This mysterious identity will play a key role later. We could, of course, find other identities involving this new constant . But, I thought instead I’d jump ahead to a rather obscure fact about the relationship between and a circle.
Our constant’s relationship with circles
In my opinion, the Gaussian distribution is far more interesting in dimensions larger than one. In particular, consider the distribution on given by the probability density function
so that this is in fact a distribution.
In fact, up to scaling, this distribution is the unique continuous radial product distribution—i.e., the unique distribution such that can be written both as a function only of the norm of , for some continuous function , and as a product of functions of its coordinates, . This makes the Gaussian a uniquely powerful tool for reducing complicated multi-dimensional problems to one-dimensional problems.
For example, suppose that for some strange reason we wish to know the circumference of a circle with radius one. (If we were less civilized mathematicians, we might instead set the diameter to be equal to , so that the radius would be .) We can try to write this as some kind of path integral or something—and suffer quite a bit in the process—or we can use the following beautiful trick. We can write
where is the circumference of a circle of with radius . (The only facts that we have used here are our definition of together with the fact that .) Fortunately, the last integral is easy to compute as
Rearranging, we see that !
So, surprisingly, our mysterious constant is actually intimately related with the circumference of a circle. (If we were less civilized mathematicians, we might even have simply defined to be the circumference of a circle with radius .)
What’s so special about two dimensions? Surface area of n-spheres.
But, why stop in dimension ? This same one neat trick is just as useful in higher dimensions. E.g., what is the surface area of a unit sphere in dimensions? (Conventionally, we write the -sphere as because it as an -dimensional object that happens to be embedded in -dimensional space. This is why I write for its surface area.) Well, we have
(Again, the only property that I have used here is that .) This integral is a bit less pretty, but using the same approach, we see that
where the last step is literally just plugging in the definition of the Gamma function. Rearranging, we see that the surface area of the unit sphere in dimensions is exactly .
If the Gamma function intimidates you, that’s fine. (It certainly intimidates me.) We can go a bit further by remembering that for integers , , while . (Both of these identities follow from the relation , which follows from integration by parts, together with the values and .)
Then, we see that the surface area of the unit sphere in dimensions is
In particular, from this formula, we immediately see the perhaps surprising fact that the surface area of the sphere in dimensions rapidly approaches as . (I.e., “-dimensional unit spheres are tiny.”) We also see the rather strange fact that is a rational multiple of .
We can also plug in low values of to see what we get. E.g., I have heard that some people are interested in the case when and . Plugging in, one sees that the circumference of a circle with radius one is (which, ok, we already saw before), and that the surface area of a sphere with radius one is . But, we can easily go farther: the surface area in four dimensions is , and in five dimensions, it is .
And, we can of course find the volume of the unit -ball by computing a simple integral
In short, I think this mysterious constant is rather nice. Perhaps it will find other applications.