Characterizing isotropic measures

438 Views Asked by At

A Borel measure $\mu$ on $S^{n-1}$ is called isotropic if $$\int_{S^{n-1}} \langle \theta, x \rangle^2 d\mu(x)=\frac{\mu\left({S^{n-1}}\right)}{n}$$ for all $\theta\in S^{n-1}$.

This means that in some sense the measure is "evenly distributed" on the sphere, but I'm wondering if one can give more explicit characterizations of such measures, or some geometric intuition, possibly in terms of the support. For instance, an isotropic measure cannot be supported on a subset of a proper subspace, because then there is some $\theta$ for which the integral vanishes. Are there other such simple necessary conditions?

Some examples are also useful: for instance, the Lebesgue measure is isotropic. On $S^1$ it can be shown with some trigonometry that a discrete uniform measure on the points $\textrm{exp}\left(\frac{\pi i j}{k}\right)$ is isotropic. These examples give an idea of the "even distribution" of these measures (and their support), but I'm really hoping more can be said. For instance, is there a similar set of discrete isotropic measures in higher dimensions? How can we show this? How about other (discrete) uniform measures? etc.

1

There are 1 best solutions below

0
On

One way to obtain such isotropic measures, at least on $S^2$ and probably on higher-dimensional spheres up to some topological identifications, is the following, where I always take $n=3$.

On the $2$-torus there are plenty measures with the "uniform" distribution that you describe: for example take any translation with irrational slope. Then you can project this to the sphere by taking a branched cover (with four branch points). As far as I understand the induced measure will have the property that you want.