The inverse change of variables is , , whose Jacobian determinant is . Since are independent, the original joint density is . Thus
The transformation is nonsingular away from ; this line has probability zero because has a density, so no extra mass is omitted.
Integrate the joint density in . Symmetry gives , so the integrand is even. Hence
Tonelli's theorem justifies marginalization for these nonnegative densities.
Assume , the standard deviations. Substitute the two normal densities into (ii):
The last step uses . With this is , the centered Cauchy density of scale .
The desired event is , outside the null event . Integrating the density gives
Use , , with inverse , . The Jacobian is , and the transformed support is , . Thus, for ,
Therefore . The integral over its support is , checking normalization; there are no endpoint atoms.

Articles by others on the same topic (0)

There are currently no matching articles.