Professional Documents
Culture Documents
Hypersphere
Hypersphere
1. Introduction
A circle of radius R can be thought of as the set of points (x, y) in R2 that are
a distance R from the origin. The equation is written x2 + y 2 = R2 . The region it
encloses has a size (area) of R2 and the circle itself is a curve, or one-dimensional
object. Similarly a sphere of radius R can be thought of as the set of points (x, y, z)
in R3 that are a distance R from the origin. It encloses a region of size (volume)
4
3
2
2
2
2
3 R , its equation is x + y + z = R , and it is a surface, or two-dimensional
object.
Now we can see the way to define an n-dimensional sphere in Rn+1 as the set
of points (x1 , x2 , xn+1 ) that satisfy the equation x21 + x22 + + x2n+1 = R2 .
This object should enclose a region which has a size which should be of the form
cn Rn+1 for some constant cn . For example in the case n = 1 of the circle, c1 = .
For the sphere n = 2, c2 = 34 . How can we find cn in general and hence the
volume of an n-dimensional sphere of radius R?
2. The Cases n = 0, 1, 2
Lets begin with the cases we already know: n = 0, 1 and 2. What is a 0dimensional sphere of radius R? It is the set of points x in R which are a distance
R from the origin. This is just two points x = R. They enclose a region of length
2R. So we have that c0 = 2.
Now lets take a closer look at the case n = 1. If we chop up the circle of radius
R into a bunch of horizontal slices of small thickness
p y, then the slice
p which
corresponds to the height y is a segment from x = R2 y 2 p
to x = + R2 y 2 .
(See Figure 1) This is exactly a 0-dimensional sphere of radius R2 y 2 which we
2
R t
t
The integrand is an even function of y, so to get the total area, we can just take
the area of the top half and multiply by 2:
Z Rp
R2 y 2 dy
4
0
p
R2 y 2 = R cos() and dy =
To do this integral, let y = R sin(). Then
R cos()d. When y = 0, = 0, and when y = R, = 2 . So our area integral reduces to:
Z 2
2
cos2 ()d
4R
0
(2.1)
1 + cos(2)
2
21
sin(2) 2
2
+
= R
2
0
since the second term is zero at both endpoints. Hence we have rederived the known
area of a circle of radius R after much effort. Was it worth it? We will see that
indeed it was, because this exact same method will work in any dimension!
Lets looks now at the ordinary 2-sphere in R3 . The equation is x2 +y 2 +z 2 = R2 .
We will chop it up into horizontal slabs of small thickness z. If we look at a fixed
2
2
2
2
value of z somewhere
between z = R and z = +R, we have x +y = R z , which
2
2
is a circle of radius R z . (See Figure 2). Hence each small horizontal slice has a
2
R t
t
R
Z R
1 3
4
2
2
2
(R z )dz = 2 R z z = R3
2
3
3
0
0
This is exactly the volume of the sphere we were expecting, and this time the integral
was actually easier because we didnt have to do a trigonometric substitution! Were
ready now to look at 3 and 4 dimensional spheres in R4 and R5 .
R t
t
4
(R2 w2 )3/2 dw
0 3
This one will again require the substitution w = R sin(). The integral becomes
Z 2
8
R4 cos4 ()d
3 0
Now we use the identity in equation 2.1 twice:
2
1 + cos(2)
cos4 () =
2
1
(1 + 2 cos(2) + cos2 (2))
=
4
1
1 + cos(4)
=
1 + 2 cos(2) +
4
2
1 3
1
=
+ 2 cos(2) + cos(4)
4 2
2
2
Now the integrals of cos(2) and cos(4) from 0 to 2 are both zero, so only the first
term contributes:
Z
8 41 2 3
2 4
R
d =
R
3
4 0 2
2
2
So we have found that c3 = 2 . It is probably not what you expected. Lets do one
more.
We take the 4-sphere in R5 given by x2 + y 2 + z 2 + w2 + t2 = R2 and chop it
up into horizontal slices from t = R to t = +R of thickness t, each of which is
a slightly
thickened 3-sphere of radius R2 t2 , which we now know has volume
2
2
2 4
2 ( R t ) t. Theres no need for reproducing the same figure a fourth time,
since by now you should have noticed the picture is always the same. Now the total
volume of this 4-sphere is:
Z R
Z R 2
R
2 2 3 1 5
4
2
R t R t + t
=
3
5
0
8 2 5
R
=
15
8 2
which gives c4 = 15
. Like the n = 2 case, this integral was easy to do and did
not involve trigonometric substitution. Are you ready to guess the pattern yet?
4. The general case
4.1. The basic construction. It seems that the calculation is very different depending on whether the dimension n is even or odd. Lets do the calculation
(which we have now done four times) once more in general. The n-sphere in Rn+1
is given by x21 + x22 + + x2n+1 = R2 . We chop it up into horizontal slices from
xn+1 = R to xn+1 = +R of thickness
xn+1 . Each such slice is a slightly thickq
ened (n 1) sphere of radius R2 x2n+1 , so the thickened slice has a volume
q
n
cn1
R2 x2n+1 xn+1 . Hence the total volume will be:
Z R
2
n
cn Rn+1 = 2cn1
R t2 2 dt
0
n+1
= 2cn1 R
t2
1 2
R
n2
dt
2
Now let us make the change of variables s = 1 Rt 2 . Then t = R 1 s, and
dt = 2Rds
. The limits of integration become s = 1 and s = 0, so we have:
1s
Z 0
n
Rds
n+1
n
s2
cn R
= 2cn1 R
2 1s
1
Z 1
n
1
s 2 (1 s) 2 ds
= cn1 Rn+1
0
n
1
s 2 (1 s) 2 ds
(4.1)
cn = cn1
0
which gives cn in terms of cn1 . Hence our next step for now is to evaluate this
n
above integral. We will integrate by parts. Lets differentiate the term s 2 and
1
u = s2
n n
du = s 2 1 ds
2
dv = (1 s)
21
v = 2(1 s)
1
2
ds
1 n 2 Z 1 n
1
1
n
n
12
2
2
2
s (1 s) ds = 2s (1 s) +
s 2 1 (1 s) 2 ds
2
1
0
0
0
The first term goes away because it is zero at both s = 0 and s = 1. So we have
reduced the integral to some constant (which we have written in a strange way for
a reason) multiplied by another integral where the power of s has decreased by one
and the power of (1 s) has increased by one. Notice that the sum of the two
powers is still n2 12 . Lets do it again.
n
u = s 2 1
n
n
du =
1 s 2 2 ds
2
Then the integral (without the constant of
Z
n
2 1
dv = (1 s) 2 ds
3
2
v = (1 s) 2
3
n2
2 1)
now becomes
2Z 1 n
3
3
n
2 n 1
2
2
s 2 2 (1 s) 2 ds
1
(1 s) ds = s
(1 s) +
3
2
3
0
0
1
2
Again, the first term is zero. Remembering the constant we had left out, our orignal
integral can now be written as:
Z 1
n n
22Z 1 n
3
n
1
s 2 2 (1 s) 2 ds
s 2 (1 s) 2 ds =
1
2
2
13 0
0
The pattern should be clear now. Every time we decrease the power of s from
n
1
1
n
2 (k 1) to 2 k and increase the power of (1 s) from (k 1) 2 to k 2
2
we pick up a factor of n2 (k 1) and a factor of 2k1
. Notice that the sum of the
1
n
two powers is always 2 2 . So if we have done the integration by parts procedure
k times in total, our integral has become:
Z 1
n
1
s 2 (1 s) 2 ds =
0
Z 1
n
n
222
2k1
n
2
1
2
(k 1)
s 2 k (1 s) 2 ds
2
2
2
135
2k 1 0
n n
2
4.2. A Recursive Formula in the Even Case. Right now it doesnt look like
weve really made our life any easier, but were about to see the fruits of our labours.
Here the discussion needs to break up into two distinct cases: whether n is even
or odd. Recall from the explicit examples that when n was even the integration
seemed to be easier, because there were no trigonometric substitutions. So lets
consider the even case first.
If n is even, we can write is as n = 2k for some positive integer k. In this case
the messy integral above simplifies to:
Z 1
1
sk (1 s) 2 ds =
0
2
222
(1 s)
2k1
2
ds
Notice that the integral that were left with is no longer a product of two functions!
In fact we can integrate it immediately:
1
Z 1
2k+1
2k1
2
2
=
(1 s) 2
(1 s) 2 ds =
2k
+
1
2k
+1
0
0
Things are looking good now. Weve reduced our integral to:
Z 1
2
2
222
1
sk (1 s) 2 ds = k(k 1)(k 2) (1)
135
2k 1 2k + 1
0
We recognize the first k terms as being k!. To simplify the rest of the terms, lets
multiply by one a bunch of times in a clever way:
2
2
222
135
2k 1 2k + 1
=
=
=
222426
2 2k 2
123456
2k 1 2k 2k + 1
k
2
2
212223
2k
123456
2k 1 2k 2k + 1
k!
2k 2k+1
(2k + 1)!
(k!)
(2k + 1)!
(4.2)
c2k = 22k+1
(k!)
c2k1
(2k + 1)!
4.3. A Recursive Formula in the Odd Case. Eventually we will write down a
formula for cn which does not recursively refer to cn1 , but before we can do that
we need to tackle the odd case. Therefore let us now assume that n = 2k 1 is
odd. Then the integral from the previous page can be written as:
Z 1
1
1
sk 2 (1 s) 2 ds =
0
Z 1
2k1
1
3
5
1 222
2
1
k
k
s 2 (1 s) 2 ds
k
2
2
2
2 135
2k 1 0
3
5
1 222
1
2
k
k
2
2
2
2 135
2k 1
2k 3
2k 5
1 222
2
2k 1
=
2
2
2
2 135
2k 1
= 1
Thats a pretty good simplification! Were reduced now to:
Z 1
2k1
1
s 2 (1 s) 2 ds
c2k1 = c2k2
0
1
1
s 2 (1 s)
2k1
2
ds = 2
2.
cos2k ()d
dv = cos()d
v = sin()
The first term goes away because it is zero at both endpoints. In the second term,
subsitute sin2 () = 1 cos2 () to get:
Z
cos2k ()d
(2k)
cos2k ()d
cos2k ()d
(2k 1)
cos2k ()d
Z 2
(2k 1)
cos2k2 ()d
0
Z
2
2k 1
=
cos2k2 ()d
2k
0
=
cos2k ()d
=
=
=
=
2k 1
2k
cos2k2 ()d
Z
(2k 1)(2k 3)(2k 5) (3)(1) 2
d
(2k)(2k 2)(2k 4) (4)(2)
0
1 (2k 1)(2k 2)(2k 3)(2k 4) (4)(3)(2)(1)
2k (k)(k 1)(k 2) (1)(2k 2)(2k 4) (4)(2) 2
1 1 (2k 1)!
2k 2k1 k!(k 1)! 2
(2k 1)!
22k k!(k 1)!
c2k1 =
22k1
(2k 1)!
c2k2
k!(k 1)!
4.4. The General Formula. Since we have now obtained recursive expression for
cn in both the even and odd cases, we can combine them to get a general formula,
c2k
22k+1
22k+1
(k!)
c2k1
(2k + 1)!
2
=
=
(2k 1)!
(k!)
c2k2
(2k + 1)! 22k1 k!(k 1)!
4k
c2k2
(2k + 1)(2k)
2
c2k2
2k + 1
=
=
=
=
2
c2k2
2k + 1
2k k
c0
(2k + 1)(2k 1) (5)(3)
2k k (2k)(2k 2)(2k 4) (2)
c0
(2k + 1)(2k)(2k 1) (2)(1)
22k+1 k k!
(2k + 1)!
We have thus finally achieved a general formula for the even case. Now lets tackle
the odd case similarly:
c2k1
=
=
=
(2k 1)!
c2k2
22k1 k!(k 1)!
c2k3
k
=
=
=
c2k3
k
k1
c1
k!
k
k!
To summarize, we have found the following two formulas for the volume of a sphere
of radius R in Rn+1 , where the volume is cn Rn+1 .
(4.4)
c2k =
22k+1 k k!
(2k + 1)!
c2k1 =
k
k!
4.5. Results in Low Dimensions. Here is a table showing the numerical values
for n = 1, 2, 3, . . . , 12:
n
cn
Numerical value
0
2
2.000000000
1
3.141592654
4
2
4.188790204
3
2
3
4.934802202
2
8 2
4
5.263789015
15
3
5
5.167712783
6
16 3
6
4.724765972
105
4
7
4.058712129
24 4
8 32
3.298508904
945
5
9
2.550164042
120
64 5
10 10395
1.884103881
6
11
1.335262770
720
128 6
12 135135
0.910628755
It seems that as the dimension gets larger, the volume of the spheres gets smaller
and smaller and goes to zero. However, it is actually increasing at the start, and
achieves a maximum when n = 4. Hence the biggest sphere is the 4-dimensional
sphere in R5 . Would you have guessed that?