San José State University

applet-magic.com
Thayer Watkins
Silicon Valley
& Tornado Alley
USA

The Area of an (n-1)-Dimensional
Subsphere in Terms of the Arc
Distance in the n-Dimensional Sphere

An n-dimensional sphere (hereafter an n-sphere) centered at the origin of a coordinate system is the set of points (x1, x2, …, xn-1, xn) such that

x1² + x2² + … + xn-1² + xn² = R²

where R is a constant called the radius.

Consider the point (0, 0, …, 0, R). As xn decreases from R a set of (n-1)-spheres are generated. The radius r of the (n-1)-sphere corresponding to xn is given by

r = (R² − xn²)½

The set of points on the n-sphere such that xi=0 for all i from 1 to (n-2) is a 2-sphere (circle) of radius R. The set of points from (0, 0, …, 0, R) to (0, 0, …, r, (R²-r²)½) is the arc of a circle of radius R. Let s be the length of this arc and θ be the angle subtended by the arc. Then

s = Rθ
and hence
θ = s/R

The (n-1)-sphere on the n-sphere has a radius of r where

r = Rsin(θ)

and the (n-1)-sphere is centered at (0, 0, …, 0, Rcos(θ)).

The volume of the (n-1)-sphere is a function of its radius r, but r=Rsin(θ) so its volume is a function of Rsin(s/R) where s is the arc distance from (0, 0, …, 0, R).

For example for n=2 the 1-sphere is a circle on the sphere, as shown below, and its volume is its circumference of 2πr. In terms of the arc distance s this circumference is 2πRsin(s/R). For s small compared to R this reduces to 2πs.

For n=3 the 2-sphere is a sphere and its 2-volume is its area of 4πr². In terms of arc distance this is 4π(Rsin(s/R)², which reduces to 4πR²sin²(s/R). This can be expressed as

4πs²[sin²(s/R)/(s/R)²]
which reduces to
4πs²sinc²(s/R)

where sinc(z)=sin(z)/z. The first term, 4πs², is what the formula would be if the space were Euclidean and the second term, sinc²(s/R), is the correction for the radius of curvature of the space being finite instead of infinite. As R→∞ sinc(s/R)→sinc(0)=1.

(To be continued.)



HOME PAGE OF applet-magic
HOME PAGE OF Thayer Watkins