Box-Muller Method
We want to determine how to generate , the standard Normal. In particular, find that draws from the PDF
from ? Inversion is computationally hard since there is no closed form for the CDF .
The Box-Muller Method tells us to start with independent RVs and work backwards to RVs. The joint PDF is
Set and . The transformation is then
which gives us the Jacobian:
Then, the joint PDF form the transformation is
By factoring, w can show that both are independent.
where
are PDFs. This tells us that
Let be two independent RVs. Then
We can further simplify this; since we have a term, and as then .
Finally, that gives us the Box-Muller Method.
Let be independent RVs. Then defined below are and independent by
In particular, we use to get the terms in the inverse operation. Indeed,
This lets us recover from