The Wayback Machine - https://web.archive.org/web/20140330025302/http://mathworld.wolfram.com/Ball.html

Ball

DOWNLOAD Mathematica Notebook

The n-ball, denoted B^n, is the interior of a sphere S^(n-1), and sometimes also called the n-disk. (Although physicists often use the term "sphere" to mean the solid ball, mathematicians definitely do not!)

BallVolume

The equation for the surface area of the n-dimensional unit hypersphere S^n gives the recurrence relation

 S_(n+2)=(2piS_n)/n.
(1)

Using Gamma(n+1)=nGamma(n) then gives the hypercontent of the n-ball B^n of radius R as

 V_n=(S_nR^n)/n=(pi^(n/2)R^n)/((1/2n)Gamma(1/2n))=(pi^(n/2)R^n)/(Gamma(1+1/2n))
(2)

(Sommerville 1958, p. 136; Apostol 1974, p. 430; Conway and Sloane 1993). Strangely enough, the content reaches a maximum and then decreases towards 0 as n increases. The point of maximal content of a unit n-ball satisfies

(dV_n)/(dn)=(pi^(n/2)[lnpi-psi_0(1+1/2n)])/(2Gamma(1+1/2n))
(3)
=(pi^(n/2)[gamma+lnpi-H_(n/2)])/(nGamma(1/2n))
(4)
=0,
(5)

where psi_0(x) is the digamma function, Gamma(z) is the gamma function, gamma is the Euler-Mascheroni constant, and H_n is a harmonic number. This equation cannot be solved analytically for n, but the numerical solution to

 gamma+lnpi-H_(n/2)=0
(6)

is n=5.25694... (Sloane's A087300) (Wells 1986, p. 67). As a result, the five-dimensional unit ball B^5 has maximal content (Le Lionnais 1983; Wells 1986, p. 60).

The following table gives the content for the unit radius n-ball (Sloane's A072345 and A072346), ratio of the volume of the n-ball to that of a circumscribed hypercube (Sloane's A087299), and surface area of the n-ball (Sloane's A072478 and A072479).

nV_nV_(ball)/V_(cube)S_n
0110
1212
2pi1/4pi2pi
34/3pi1/6pi4pi
41/2pi^21/(32)pi^22pi^2
58/(15)pi^21/(60)pi^28/3pi^2
61/6pi^31/(384)pi^3pi^3
7(16)/(105)pi^31/(840)pi^3(16)/(15)pi^3
81/(24)pi^41/(6144)pi^41/3pi^4
9(32)/(945)pi^41/(15120)pi^4(32)/(105)pi^4
101/(120)pi^51/(122880)pi^51/(12)pi^5

Let V_n denote the volume of an n-dimensional ball of radius R. Then

sum_(n=0,2,4,...)^(infty)V_n=e^(piR^2)
(7)
sum_(n=1,3,5,...)^(infty)V_n=e^(piR^2)erf(sqrt(pi)R),
(8)

so

 sum_(n=0)^inftyV_n=e^(piR^2)[1+erf(Rsqrt(pi))],
(9)

where erf(x) is the erf function (Freden 1993).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computable Document Format »

The format that makes Demonstrations (and any information) easy to share and interact with.

STEM initiative »

Programs & resources for educators, schools & students.

Computerbasedmath.org »

Join the initiative for modernizing math education.