The joint probability density of the two independent standard normal random variables is . The polar coordinates map has absolute Jacobian determinant , so the change of variables for probability densities gives
At the origin the angle may be assigned arbitrarily: that point has probability zero. The joint probability density factorizes as a Rayleigh distribution density and a continuous uniform distribution density . Hence and are independent.
For , substitute to find
Therefore , equivalently , and applying a measurable function to preserves its independence from . Explicitly, with ,
Thus and independently. This polar decomposition of a planar standard normal vector separates the uniformly distributed direction from its random squared distance.

Articles by others on the same topic (0)

There are currently no matching articles.