Volume of an N-Ball

Volume of an n-ball

In geometry, a ball is a region in space comprising all points within a fixed distance from a given point; that is, it is the region enclosed by a sphere or hypersphere. An n-ball is a ball in n-dimensional Euclidean space. The volume of an n-ball is an important constant that occurs in formulas throughout mathematics; it generalizes the notion of the volume enclosed by a sphere in 3-dimensional space.

Contents

Formulas The volume Recursions Graphs of volumes (V) and surface Low dimensions areas (S) of n-spheres of radius 1. In High dimensions the SVG file, hover over a point to see its Relation with surface area decimal value. Proofs The volume is proportional to then th power of the radius The two-dimension recursion formula The one-dimension recursion formula Direct integration in spherical coordinates Gaussian integrals

Balls in Lp norms See also References External links

Formulas

The volume The n-dimensional volume of a Euclidean ball of radiusR in n-dimensional Euclidean space is:[1]

where Γ is Leonhard Euler's gamma function (which can be thought of as an extension of the factorial function to noninteger arguments). Using explicit formulas for particular values of the gamma function at the integers and half integers gives formulas for the volume of a Euclidean ball that do not require an evaluation of the gamma function. These are: In the formula for odd-dimensional volumes, the double factorial (2k + 1)!! is defined for odd integers 2k + 1 as (2k + 1)!! = 1 · 3 · 5 · … · (2 k − 1) · (2k + 1).

Instead of expressing the volumeV of the ball in terms of its radius R, the formula can be inverted to express the radius as a function of the volume:

This formula, too, can be separated into even- and odd-dimensional cases using factorials and double factorials in place of the gamma function:

Recursions The volume satisfies several recursive formulas. These formulas can either be proved directly or proved as consequences of the general volume formula above. The simplest to state is a formula for the volume of an n-ball in terms of the volume of an (n − 2)- ball of the same radius:

There is also a formula for the volume of ann -ball in terms of the volume of an( n − 1)-ball of the same radius:

Using explicit formulas for the gamma function again shows that the one-dimension recursion formula can also be written as:

The radius of an n-ball of volume V may be expressed recursively in terms of the radius of an (n − 1)-ball or an (n − 2)-ball. These formulas may be derived from the explicit formula forR n(V) above. Using explicit formulas for the gamma function shows that the one-dimension recursion formula is equivalent to

and that the two-dimension recursion formula is equivalent to

Low dimensions In low dimensions, these volume and radius formulas simplify to the following, which demonstrates that the volume of the unit n- sphere peaks at dimension 5. Dimension Volume of a ball of radiusR Radius of a ball of volumeV 0 (all 0-balls have volume 1)

High dimensions Suppose that R is fixed. Then the volume of ann -ball of radius R approaches zero as n tends to infinity. This can be shown using the two-dimension recursion formula. At each step, the new factor being multiplied into the volume is proportional to 1 / n, where the constant of proportionality 2πR2 is independent of n. Eventually, n is so large that the new factor is less than 1. From then on, the volume of an n-ball must decrease at least geometrically, and therefore it tends to zero. A variant on this proof uses the one- dimension recursion formula. Here, the new factor is proportional to a quotient of gamma functions.Gautschi's inequality bounds this quotient above by n−1/2. The argument concludes as before by showing that the volumes decrease at least geometrically.

A more precise description of the high dimensional behavior of the volume can be obtained using Stirling's approximation. It implies the asymptotic formula:

The error in this approximation is a factor of 1 + O(n−1). Stirling's approximation is in fact an underestimate of the gamma function, so the above formula is an upper bound. This provides another proof that the volume of the ball decreases exponentially: When n is sufficiently large, the factor R√2πe/n is less than one, and then the same argument as before applies.

If instead V is fixed while n is large, then by Stirling's approximation again, het radius of an n-ball of volume V is approximately −1 This expression is a lower bound for Rn(V), and the error is again a factor of 1 + O(n ). As n increases, Rn(V) grows as O(√n).

Relation with surface area

Let An(R) denote the surface area of the n-sphere of radius R. The n-sphere is the boundary of the (n + 1)-ball of radius R. The (n + 1)-ball is a union of concentric spheres, and consequently the surface area and the volume are related by:

Since the volume is proportional to a power of the radius, the above relation leads to a simple recurrence equation relating the surface area of an n-ball and the volume of an (n + 1)-ball. By applying the two-dimension recursion formula, it also gives a recurrence equation relating the surface area of ann -ball and the volume of an( n − 1)-ball:

Proofs

There are many proofs of the above formulas.

The volume is proportional to then th power of the radius An important step in several proofs about volumes of n-balls, and a generally useful fact besides, is that the volume of the n-ball of radius R is proportional to Rn:

The proportionality constant is the volume of the unit ball.

This is a special case of a general fact about volumes in n-dimensional space: If K is a body (measurable set) in that space and RK is the body obtained by stretching in all directions by the factor R then the volume of RK equals Rn times the volume of K. This is a direct consequence of the change of variables formula:

where dx = dx1…dxn and the substitution x = Ry was made.

Another proof of the above relation, which avoids multi-dimensional integration, uses induction: The base case is n = 0, where the proportionality is obvious. For the inductive case, assume that proportionality is true in dimension n − 1. Note that the intersection of an n-ball with a hyperplane is an (n − 1)-ball. When the volume of the n-ball is written as an integral of volumes of (n − 1)- balls: it is possible by the inductive assumption to remove a factor ofR from the radius of the (n − 1)-ball to get:

x Making the change of variables leads to: t = R

which demonstrates the proportionality relation in dimensionn . By induction, the proportionality relation is true in all dimensions.

The two-dimension recursion formula A proof of the recursion formula relating the volume of then -ball and an (n − 2)-ball can be given using the proportionality formula above and integration in cylindrical coordinates. Fix a plane through the center of the ball. Let r denote the distance between a point in the plane and the center of the sphere, and let θ denote the azimuth. Intersecting the n-ball with the (n − 2)-dimensional plane defined by fixing a radius and an azimuth gives an (n − 2)-ball of radius √R2 − r2. The volume of the ball can therefore be written as an iterated integral of the volumes of the( n − 2)-balls over the possible radii and azimuths:

The azimuthal coordinate can be immediately integrated out. Applying the proportionality relation shows that the volume equals:

r 2 The integral can be evaluated by making the substitution to get: u = 1 − ( R)

which is the two-dimension recursion formula.

The same technique can be used to give an inductive proof of the volume formula. The base cases of the induction are the 0-ball and 3 1 1 √π the 1-ball, which can be checked directly using the facts and . The inductive step is similar to the Γ(1) = 1 Γ(2) = 2 · Γ( 2) = 2 above, but instead of applying proportionality to the volumes of the(n − 2)-balls, the inductive assumption is applied instead.

The one-dimension recursion formula The proportionality relation can also be used to prove the recursion formula relating the volumes of an n-ball and an (n − 1)-ball. As in the proof of the proportionality formula, the volume of an n-ball can be written as an integral over the volumes of (n − 1)- balls. Instead of making a substitution, however, the proportionality relation can be applied to the volumes of the (n − 1)-balls in the integrand:

The integrand is an even function, so by symmetry the interval of integration can be restricted to [0, R]. On the interval [0, R], it is x 2 possible to apply the substitution . This transforms the expression into: u = (R)

The integral is a value of a well-known special function called the beta function Β(x), and the volume in terms of the beta function is:

The beta function can be expressed in terms of the gamma function in much the same way that factorials are related to binomial coefficients. Applying this relationship gives:

1 Using the value gives the one-dimension recursion formula: Γ(2) = √π

As with the two-dimension recursive formula, the same technique can be used to give an inductive proof of the volume formula.

Direct integration in spherical coordinates The volume can be computed by integrating the volume element in spherical coordinates. The spherical coordinate system has a radial coordinate r and angular coordinates φ1, …, φn − 1, where the domain of each φ except φn − 1 is [0, π), and the domain of φn − 1 is [0, 2π). The spherical volume element is:

and the volume is the integral of this quantity overr between 0 and R and all possible angles:

Each of the factors in the integrand depends on only a single variable, and therefore the iterated integral can be written as a product of integrals:

Rn Rn π The integral over the radius is . The intervals of integration on the angular coordinates can, by symmetry, be changed to : n [0, 2]

Each of the remaining integrals is now a particular value of the beta function:

The beta functions can be rewritten in terms of gamma functions:

1 This product telescopes. Combining this with the values and and the functional equation Γ(2) = √π Γ(1) = 1 zΓ(z) = Γ(z + 1) leads to:

Gaussian integrals The volume formula can be proven directly usingGaussian integrals. Consider the function:

This function is both rotationally invariant and a product of functions of one variable each. Using the fact that it is a product and the formula for the Gaussian integral gives:

where dV is the n-dimensional volume element. Using rotational invariance, the same integral can be computed in spherical coordinates:

where Sn − 1(r) is an (n − 1)-sphere of radius r and dA is the area element (equivalently, the (n − 1)-dimensional volume element). The surface area of the sphere satisfies a proportionality equation similar to the one for the volume of a ball: If An − 1(r) is the surface area of an (n − 1)-sphere of radius r, then:

Applying this to the above integral gives the expression: r2 By substituting , the expression is transformed into: t = 2

n This is the gamma function evaluated at . 2

Combining the two integrations shows that:

To derive the volume of an n-ball of radius R from this formula, integrate the surface area of a sphere of radius r for 0 ≤ r ≤ R and apply the functional equationz Γ(z) = Γ(z + 1):

Balls in Lp norms p p n There are also explicit expressions for the volumes of balls inL norms. The L norm of the vector x = (x1, …, xn) in R is:

and an Lp ball is the set of all vectors whose Lp norm is less than or equal to a fixed number called the radius of the ball. The case p = 2 is the standard Euclidean distance function, but other values of p occur in diverse contexts such as information theory, coding theory, and dimensional regularization.

The volume of an Lp ball of radius R is:

These volumes satisfy a recurrence relation similar to the one dimension recurrence forp = 2:

3 For p = 2, one recovers the recurrence for the volume of a Euclidean ball because2Γ( 2) = √π.

For example, in the casesp = 1 and p = ∞, the volumes are: These agree with elementary calculations of the volumes ofcross-polytopes and hypercubes.

For most values of p, the surface area of an Lp sphere (the boundary of an Lp ball) cannot be calculated by differentiating the volume of an Lp ball with respect to its radius. While the volume can be expressed as an integral over the surface areas using the coarea formula, the coarea formula contains a correction factor that accounts for how the p-norm varies from point to point. For p = 2 and p = ∞, this factor is one. However, if p = 1, then the correction factor is √n: The surface area of an L1-(n − 1)-sphere of radius R is √n times the derivative at R of the volume of an L1-n-ball. For most values of p, the constant is a complicated integral.

The volume formula can be generalized even further. For positive real numbersp 1, …, pn, define the unit (p1, …, pn) ball to be:

The volume of this ball has been known since the time of Dirichlet:[2][3]