This blog is all about science and technology (with occasional math thrown in for fun). The goal of this blog is to try and pass on the sense of excitement and wonder I feel when I read about these topics. I hope you enjoy the posts.
Last time we looked at the volume and surface area of one, two, three, and four dimensional hyperspheres. We found that if we took the integral in spherical coordinates, we could find the volume of a circle, sphere, hypersphere, etc. We saw that to find the surface area of a hypersphere, you just set R constant and integrate the angular portions. It's worth noting that you can also simply take the derivative with respect to r of the volume to get the surface area, for example, the two dimensional case:
Surface Area = d/dr V(r) = d/dr(πr2) = 2πr
So how can we extend what we've done for any n-dimensional hypersphere? Is there a general expression for the volume of a hypersphere in n-dimensions? Turns out it can be calculated (This is a complicated calculation, please see links at bottom for derivations). The result is:
where Γ is the gamma function. The gamma function is a function that looks like:
You can see from the graph above that the gamma function (Γ) is discontinous at 0, -1,-2,-3,......-n). The gamma function is a more general expression of the factorial:
where z can be a negative number, fractional number, or complex number. In fact, the graph above is only the real number graph of the function. The entire function, including the complex parts looks like:
That's a bit more than we need, since we are talking about dimensions which are positive integers (at least in this discussion). As a result, the gamma function in the equation:
the z of the gamma function will be positive integers for even n and positive fractions (3/2, 5/2, etc.) for odd n in the equation above. As a result, we can break out the general solution in terms of even and odd number of dimensions.
We break them out this way because of the identities:
which allow you to get values for the fractional factorials found in the odd number of dimensions case.
Volume of a Hypersphere with Even Number of Dimensions
We can now calculate the volumes of hyperspheres of different even dimensions (2,4, 6, ... 2n), without integration, since we now have the general solution.
For 2 dimensions we get:
π1(r)2(1/1!) = πr2
For 4 dimensions we get:
π2(r)4(1/2!) = 1/2 π2r4
which agrees with the value we got for a four dimensional hypersphere in part one.
Volume of a Hypersphere with Odd Number of Dimensions
We can now calculate the volumes of hyperspheres of different odd dimension (1,3, 5, ... 2n-1), without integration, since we now have the general solution.
For 3 dimensions we get:
23π1(1!/3!)r3= (8/6)πr3 = (4/3)πr3
For 5 dimesions we get:
25π2(2!/5!)r5= (64/120)π2r5 = (8/15)π2r5
Volume of a Hypersphere as Dimension Increases
So now we have the volumes of hyperspheres of one, two, three, four, and five dimensions. If we call a hypersphere with radius=1 (r=1), a unit hypersphere, we can see that r2=1, r3=1, r4=1, .... rn=1, so we can get real numerical values for our volumes. Now we can take a look at the volume of the unit hypersphere with increasing dimesion (up to 10 dimensions). We get:
Notice that the volume of the unit hypersphere is at a maximum in 5 dimensions and the surface area of the unit hypersphere is at a maximum in 7 dimensions.
If we take the limit as the number of dimensions approaches infinity (Lim n→∞), you would find that the volume approaches zero (V→0). So after 5 dimensions, the volume gradually decreases as more dimensions are added. Also, since surface area is simply the derivative with respect to r of the volume, the surface area also approaches zero (SA→0) as the number of dimensions approaches infinity(Lim n→∞), though it would approach zero slightly slower than the volume does, which explains why surface area peaks in 7 dimensions instead of 5 dimensions.
Of course, that's just the unit hypersphere (radius = 1), what about hyperspheres of larger radius? Does the volume of those hyperspheres go to zero as the number of dimensions goes to infinity? Lets take a look at the volume for an even number of dimensions again:
Lets see if there is any value of r that would produce a nonzero volume as n→∞
So the radius of a hypersphere with unit volume (V=1) for a large even number of dimensions (the "large" is a restriction that comes from the stirling's approximation) can be approximated as:
Notice that if we take the limit as n→∞ that the radius goes to infinity. In other words, as the number of dimensions approaches infinity, the radius must also approach infinity in order for the hypersphere to have unit volume (V=1). Remember, when we kept unit radius earlier (r=1) the volume went to zero as n went to infinity, so it makes sense that to produce a nonzero volume we must increase the radius of the hypersphere as the number of dimensions approaches infinity.
Ok, that's enough for now. I'll see you next week.