I noticed that the formulae for the sizes of the surface (or rather, boundary) and volume (interior) of circles, spheres and hyperspheres seem to have discontinuities (or ‘jumps’) in the index of .

However, this is only a result of simplifying a uniform formula for particular cases.

The indices I prefer for the boundary function are not standard, and thus I use an asterisk () to highlight the difference. See the note on notation below for the details.

### Reduced Formulae

Here’s a table of the first few values for higher-dimensional spheres of radius *r*.

Dimensionn |
Boundary |
Interior |
---|---|---|

1 | ||

2 | ||

3 | ||

4 | ||

5 | ||

6 | ||

7 |

And for those of you who, like me, are ‘tau-ists':

Dimensionn |
Boundary |
Interior |
---|---|---|

1 | ||

2 | ||

3 | ||

4 | ||

5 | ||

6 | ||

7 |

### General Formulae

But there *are* some regular formulae:

And for tau-ists:

where, in particular, the factorial of the half-integers may be calculated from

The relationships between these formulae are:

These formulae ‘split’ for even and odd values thus

and

For reference, here is a table of a few half-integral values of the factorial function. (Incidentally, this function seems to have no simple closed form in terms of fundamental functions for values other than the half-integers.)

k |
k! |
---|---|

−1/2 | |

0 | 1 |

1/2 | |

1 | 1 |

3/2 | |

2 | 2 |

1/2 | |

3 | 6 |

1/2 | |

4 | 24 |

And, here’s a table of a few double factorials (although we only need the odd values)

k |
k!! |
---|---|

0 | 1 |

1 | 1 |

2 | 2 |

3 | 3 |

4 | 8 |

5 | 15 |

6 | 48 |

7 | 7 × 5 × 3 × 1 = 105 |

8 | 8 × 6 × 4 × 2 = 384 |

### Brief Note on the Calculus

The calculus relating these is quite interesting, but that is covered very well elsewhere. In brief, a (solid) ball is a collection of concentric spherical shells. The size of boundary of a ball is the derivation of the size of its body with respect to its radius.

### Note on Mathematics Terminology

Note that the mathematical terminology for these objects is *ball* for a ‘solid’ body, and *sphere* for a ‘hollow’ shell.

Further, the dimension used relates to the **intrinsic** dimension, not the dimension of a minimal embedding space.

Thus a circle is a **1**-sphere, because the curve of the circle is intrinsically line-like, or 1-dimensional, but a disk is a **2**-ball, as a disk is intrinsically plane-like, or 2-dimensional. Likewise, a sphere (or spherical shell) is a **2**-sphere, because the surface of the sphere (or, more accurately, the surface that *is* the sphere) is intrinsically plane-like, or surface-like, or 2-dimensional, but a ball (that is, a solid ball) is a **3**-ball, as a ball is intrinsically volume-like, or 3-dimensional.

### Note on Variations in Notation

I have allowed the factorial function to take fractional arguments. Some authors prefer to use the Pi function

for non-integral values of *x*; others prefer to use the Gamma function

I use to denote the boundary size of an *n*-ball, where *S* comes from *surface*, and the asterisk () is to indicate that my indices are non-standard. Some authors prefer *A*, rather than *S*, for *area*. Others still prefer the indices to refer to an *n*-sphere, i.e. the boundary of an *n*+1-ball, and would thus write our functions as or .

For completeness (and comparison with other references), here are the conventional formulae.

### Further Reading

There are excellent articles on Wikipedia (n-Sphere), (n-Ball Volume), on Division by Zero, and also a page by Thayer Watkins.

Regarding tau (), see The Tau Manifesto from Michael Hartl.

## Leave a Reply