Derivation of Box-Muller Transform: Exponential Distrib.

  • Thread starter Thread starter rabbed
  • Start date Start date
  • Tags Tags
    Transform
AI Thread Summary
The Box-Muller transform derivation involves interpreting the joint distribution p(x,y) = e^(-r^2/2)/(2*pi) as a product of uniform and exponential distributions. A question arises regarding the missing coefficient in the exponential distribution definition, k*e^(-k*x). The derivation begins with the expression 1/(2*pi)e^(-x^2-y^2/2) and transitions to polar coordinates, resulting in 1/(2*pi)e^(-r^2/2)rdrdθ. The coefficient issue is resolved by noting that when changing variables, the relationship ds = 2rdr leads to the necessary constant. The discussion clarifies the derivation process and addresses the coefficient concern.
rabbed
Messages
241
Reaction score
3
In derivation of the box-muller transform, the joint distribution p(x,y) = e^(-r^2/2)/(2*pi) is interpreted as the product of a uniform distribution 1/(2*pi) and an exponential distribution e^(-x/2), but isn't an exponential distribution defined as k*e^(-k*x)? What happened to the coefficient?
 
Physics news on Phys.org
You are missing a constant.
 
derivation: Start with \frac{1}{2\pi}e^{\frac{-x^2-y^2}{2}}dxdy. Change to polar coordinates. \frac{1}{2\pi}e^{\frac{-r^2}{2}}<br /> rdrd\theta. For you picture s=r^2,\ so\ ds=2rdr,\ or\ rdr=\frac{ds}{2}. There's the coefficient.
 
Thanks mathman :)
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top