A Surprising Integral on the Sphere: Why Every Direction Is the Same

Written by

in

Consider the integral

I ( u ) = ∫ S n − 1 | u · x | d S ( x )

where S n − 1 is the unit sphere in R n and u is a fixed vector. At first glance, this looks like a difficult high-dimensional integral. The absolute value creates a nonsmooth integrand, but the symmetry of the sphere makes the calculation surprisingly simple.

The key observation

Write

u = ∥ u ∥ e

where e is a unit vector. Then

| u · x | = ∥ u ∥ | e · x |

Therefore,

I ( u ) = ∥ u ∥ ∫ S n − 1 | e · x | d S ( x )

The remaining integral does not depend on the direction of e. The sphere is rotationally symmetric, so we may rotate the coordinate system and assume that

e = ( 1 , 0 , … , 0 )

Then

e · x = x 1

and therefore

I ( u ) = ∥ u ∥ ∫ S n − 1 | x 1 | d S ( x )

A geometric interpretation

For a point x on the sphere, let θ be the angle between x and the chosen direction e . Then the projection of x onto this direction is

e · x = cos ( θ )

so

| u · x | = ∥ u ∥ | cos ( θ ) |

The integral is therefore the total absolute projection of all points on the sphere onto a fixed direction.

Measuring spheres

The notation | S n | means the surface area of the unit sphere S n .

For example,

  • S 0 consists of two points, so | S 0 | = 2 .
  • S 1 is the unit circle, so | S 1 | = 2 π .
  • S 2 is the ordinary unit sphere, so | S 2 | = 4 π .

Now consider the sphere S n − 1 . Fix the angle θ between a point x on this sphere and a fixed direction e .

All points with the same angle θ form a lower-dimensional sphere S n − 2 . Therefore, | S n − 2 | is the surface area of this slice of the sphere.

This is the geometric reason that | S n − 2 | appears when we compute the integral using spherical coordinates.

The lower-dimensional sphere

To compute the integral, we slice the sphere by fixing the angle θ . Each slice is itself a sphere of one lower dimension.

The notation

| S n − 2 |

means the surface area of the unit sphere S n − 2 one dimension lower. For example,

  • |S0|=2, because it consists of two points;
  • |S1|=2π, because it is the unit circle;
  • |S2|=4π, because it is the usual sphere.

Using spherical coordinates, the surface element becomes

dS = sin ( θ ) n − 2 dθ d S n − 2

Therefore,

∫ S n − 1 | x 1 | dS = 2 | S n − 2 | ∫ 0 π/2 cos ( θ ) sin ( θ ) n − 2 dθ

Finishing the computation

The remaining one-dimensional integral is elementary. Let

y = sin ( θ )

so that

dy = cos ( θ ) dθ

Therefore,

∫ 0 π/2 cos ( θ ) sin ( θ ) n − 2 dθ = ∫ 0 1 y n − 2 dy = 1 n − 1

Substituting this result gives

∫ S n − 1 | x 1 | dS = 2 | S n − 2 | n − 1

Finally,

∫ S n − 1 | u · x | dS = 2 | S n − 2 | n − 1 ‖ u ‖

Examples

The formula becomes especially simple in low dimensions.

The circle S 1

For the unit circle we have n = 2 . The lower-dimensional sphere is

S 0

which consists of two points, so

| S 0 | = 2

Therefore,

∫ S 1 | u · x | d S = 2 · 2 1 ‖ u ‖ = 4 ‖ u ‖

The sphere S 2

For the ordinary unit sphere in R 3 we have

n = 3

and the lower-dimensional sphere is the unit circle:

| S 1 | = 2 π

Hence,

∫ S 2 | u · x | d S = 2 · 2 π 2 ‖ u ‖ = 2 π ‖ u ‖

In both examples, the direction of u does not matter. Only its length remains. This is a direct consequence of the rotational symmetry of the sphere.

The main idea

The calculation is simple because the sphere has no preferred direction. A rotation can move any vector u to a coordinate axis without changing the geometry of the sphere.

Therefore, the integral depends only on the length of the vector:

∫ S n − 1 | u · x | d S = C ( n ) ‖ u ‖

where C ( n ) is a constant that depends only on the dimension.

The important lesson is not the integration itself, but the symmetry behind it: whenever a problem on a sphere involves a single fixed vector, the first question should be whether a rotation can remove the direction completely.

Leave a Reply

Your email address will not be published. Required fields are marked *