เมื่อและอย่างอิสระ

12

$X$ และมีการกระจายตัวแปรสุ่มแบบอิสระโดยที่และขวา) การกระจายของคืออะไร? $Y$ $X\sim\chi^2_{(n-1)}$ $Y\sim\text{Beta}\left(\frac{n}{2}-1,\frac{n}{2}-1\right)$ $Z=(2Y-1)\sqrt X$

ความหนาแน่นรอยต่อของได้รับจาก $(X,Y)$

f_{X, Y} (x, y) = f_{X} (x) f_{Y} (y) = \frac{e^{- \frac{x}{2}} x^{\frac{n - 1}{2} - 1}}{2^{\frac{n - 1}{2}} Γ (\frac{n - 1}{2})} \cdot \frac{y^{\frac{n}{2} - 2} (1 - y)^{\frac{n}{2} - 2}}{B (\frac{n}{2} - 1, \frac{n}{2} - 1)} 1_{{x > 0, 0 < y < 1}}

$f_{X,Y}(x,y)=f_X(x)f_Y(y)=\frac{e^{-\frac{x}{2}}x^{\frac{n-1}{2}-1}}{2^{\frac{n-1}{2}}\Gamma\left(\frac{n-1}{2}\right)}\cdot\frac{y^{\frac{n}{2}-2}(1-y)^{\frac{n}{2}-2}}{B\left(\frac{n}{2}-1,\frac{n}{2}-1\right)}\mathbf1_{\{x>0\,,\,0<y<1\}}$

การใช้การเปลี่ยนแปลงของตัวแปรเช่นนั้นและ , $(X,Y)\mapsto(Z,W)$ $Z=(2Y-1)\sqrt X$ $W=\sqrt X$

ฉันได้ความหนาแน่นร่วมของตาม $(Z,W)$

f_{Z, W} (z, w) = \frac{e^{- \frac{w^{2}}{2}} w^{n - 3} {(\frac{1}{4} - \frac{z^{2}}{4 w^{2}})}^{\frac{n}{2} - 2}}{2^{\frac{n - 1}{2}} Γ (\frac{n - 1}{2}) B (\frac{n}{2} - 1, \frac{n}{2} - 1)} 1_{{w > 0, | z | < w}}

$f_{Z,W}(z,w)=\frac{e^{-\frac{w^2}{2}}w^{n-3}\left(\frac{1}{4}-\frac{z^2}{4w^2}\right)^{\frac{n}{2}-2}}{2^{\frac{n-1}{2}}\Gamma\left(\frac{n-1}{2}\right)B\left(\frac{n}{2}-1,\frac{n}{2}-1\right)}\mathbf1_{\{w>0\,,\,|z|<w\}}$

ไฟล์ PDF ส่วนขอบของนั้นคือ ซึ่งไม่ได้นำพาฉันไปทุกที่ $Z$ $f_Z(z)=\displaystyle\int_{|z|}^\infty f_{Z,W}(z,w)\,\mathrm{d}w$

อีกครั้งในขณะที่ค้นหาฟังก์ชันการกระจายของฟังก์ชันเบต้า / แกมม่าที่ไม่สมบูรณ์จะปรากฏขึ้น: $Z$

$F_Z(z)=\Pr(Z\le z)$

$\quad\qquad=\Pr((2Y-1)\sqrt X\le z)=\displaystyle\iint_{(2y-1)\sqrt{x}\le z}f_{X,Y}(x,y)\,\mathrm{d}x\,\mathrm{d}y$

การเปลี่ยนแปลงตัวแปรที่เหมาะสมที่นี่คืออะไร? มีวิธีอื่นในการค้นหาการกระจายตัวของ $Z$ หรือไม่?

ฉันพยายามใช้ความสัมพันธ์ที่แตกต่างกันระหว่างการกระจาย Chi-Squared, Beta, 'F' และ 't' แต่ดูเหมือนจะไม่มีอะไรทำงาน บางทีฉันอาจขาดอะไรบางอย่างที่ชัดเจน

ตามที่กล่าวถึงโดย @Francis การแปลงนี้เป็นลักษณะทั่วไปของการแปลง Box-Müller

— StubbornAtom
แหล่งที่มา

4

ดูเหมือนการแปลงรูปแบบ Box-Muller ทั่วไป

— ฟรานซิส

10

นี่คือหลักฐานเชิงพีชคณิต ฉันจะไปแทนให้ (ไม่ยืด) เพื่อที่เราจะต้องพบ X ทั้งหมดนี้รับประกันว่าเป็นความหนาแน่นที่ถูกต้องดังนั้นฉันจะไม่ติดตามค่าคงที่การทำให้เป็นมาตรฐาน เรามี ให้และดังนั้นการแปลงผกผันคือและ12 สิ่งนี้ทำให้เรา{1} สิ่งนี้ทำให้เรา $X \sim \chi_{n-1}$ $Z := (2Y - 1)X$

f_{X, Y} (x, y) \propto x^{n - 2} e^{- x^{2} / 2} {[y (1 - y)]}^{n / 2 - 2} 1_{{0 < x, 0 < y < 1}} .

$f_{X,Y}(x,y) \propto x^{n-2}e^{-x^2/2}\left[y(1-y)\right]^{n/2-2} \mathbf 1_{\{0 < x, \, 0 < y < 1\}}.$

Z = (2 y - 1) X

$Z = (2y-1)X$

W = X

$W=X$

x (z, w) = w

$x(z,w) = w$

y (z, w) = \frac{z + w}{2 w} = \frac{z}{2 w} + \frac{1}{2}

$y(z,w) = \frac{z+w}{2w} = \frac{z}{2w} + \frac 12$

| J | = \frac{1}{2 w}

$|J| = \frac 1{2w}$

f_{Z, W} (z, w) \propto w^{n - 1} e^{- w^{2} / 2} {[\frac{z + w}{2 w} (1 - \frac{z + w}{2 w})]}^{n / 2 - 2} 1_{{0 < w, - 1 < \frac{z}{w} < 1}}

$f_{Z,W}(z,w) \propto w^{n-1}e^{-w^2/2} \left[\frac{z+w}{2w} \left( 1 - \frac{z+w}{2w}\right)\right]^{n/2-2} \mathbf 1_{\{0 < w, \, -1 < \frac zw < 1\}}$

\propto w e^{- w^{2} / 2} {(w^{2} - z^{2})}^{n / 2 - 2} 1_{{| z | < w}} .

$\propto w e^{-w^2/2} \left(w^2-z^2\right)^{n/2-2} \mathbf 1_{\{|z| < w\}}.$ ดังนั้น

f_{Z} (z) \propto \int_{w > | z |} w e^{- w^{2} / 2} {(w^{2} - z^{2})}^{n / 2 - 2} d w .

$f_Z(z) \propto \int_{w > |z|} w e^{-w^2/2} \left(w^2-z^2\right)^{n/2-2} \,\text dw.$

เพื่ออำนวยความสะดวกให้n ทวีคูณทั้งสองข้างด้วยเพื่อรับ ตอนนี้ขอดังนั้นDW นี่ทำให้เรา เนื่องจากอินทิกรัลสุดท้ายไม่ได้ขึ้นอยู่กับเราจึงแสดงให้เห็นว่าดังนั้น $m = n/2-2$ $e^{z^2/2}$

e^{z^{2} / 2} f_{Z} (z) \propto \int_{| z |}^{\infty} w e^{- (w^{2} - z^{2}) / 2} (w^{2} - z^{2})^{m} d w .

$e^{z^2/2} f_Z(z) \propto \int_{|z|}^\infty w e^{-(w^2-z^2)/2}(w^2-z^2)^m \,\text dw.$

2 u = w^{2} - z^{2}

$2u = w^2 - z^2$

d u = w d w

$\text du = w\,\text dw$

e^{z^{2} / 2} f_{Z} (z) \propto 2^{m} \int_{0}^{\infty} u^{m} e^{- u} d u = 2^{m} Γ (m + 1) .

$e^{z^2/2} f_Z(z) \propto 2^m \int_0^\infty u^m e^{-u} \,\text du = 2^m \Gamma(m+1).$

z

$z$

e^{z^{2} / 2} f_{Z} (z) \propto 1

$e^{z^2/2} f_Z(z) \propto 1$

Z \sim N (0, 1) .

$Z \sim \mathcal N(0, 1).$

— JLD
แหล่งที่มา

1

+1 ฉันดีใจที่คุณกู้คืนคำตอบนี้เพราะมันครอบคลุมค่าทั้งหมดของไม่ใช่แค่อินทิกรัล

n

$n$

— whuber

@ เมื่อไรขอบคุณฉันใส่แทนและฉันใช้เวลาสักครู่เพื่อคิดออกว่าทำไมฉันถึงได้รับพฤติกรรมแปลก ๆ เมื่อแปลก

z^{2} - w^{2}

$z^2-w^2$

w^{2} - z^{2}

$w^2-z^2$

n

$n$

— jld

9

$2Y-1$ มีการกระจายเหมือนหนึ่งพิกัดของการแจกแจงแบบสม่ำเสมอบนทรงกลม $n-1$ ; มีการแจกแจงของผลรวมของกำลังสองของ iid มาตรฐานตัวแปรปกติ และปริมาณสองอย่างนี้เป็นอิสระ ทางเรขาคณิตมีการแจกแจงของพิกัดเดียวนั่นคือมันจะต้องมีการแจกแจงแบบปกติมาตรฐาน $X$ $n-1$ $(2Y-1)\sqrt{X}$

(อาร์กิวเมนต์นี้ใช้กับอินทิกรัล ) $n=2,3,4,\ldots$

หากคุณต้องการความเชื่อมั่นเชิงตัวเลข (ซึ่งฉลาดเสมอเพราะสามารถเปิดเผยข้อผิดพลาดในการใช้เหตุผลและการคำนวณ) ให้จำลอง:

ข้อตกลงระหว่างผลการจำลองและอ้างว่าการกระจายปกติมาตรฐานเป็นที่ยอดเยี่ยมในช่วงของค่านี้n $n$

ทดลองเพิ่มเติมด้วยRรหัสที่สร้างแปลงเหล่านี้หากคุณต้องการ

n.sim <- 1e5
n <- 2:5
X <- data.frame(Z = c(sapply(n, function(n){
  y <- rbeta(n.sim, n/2-1, n/2-1)  # Generate values of Y
  x <- rchisq(n.sim, n-1)          # Generate values of X
  (2*y - 1) * sqrt(x)              # Return the values of Z
})), n=factor(rep(n, each=n.sim)))

library(ggplot2)
#--Create points along the graph of a standard Normal density
i <- seq(min(z), max(z), length.out=501)
U <- data.frame(X=i, Z=dnorm(i))

#--Plot histograms on top of the density graphs
ggplot(X, aes(Z, ..density..)) + 
  geom_path(aes(X,Z), data=U, size=1) +
  geom_histogram(aes(fill=n), bins=50, alpha=0.5) + 
  facet_wrap(~ n) + 
  ggtitle("Histograms of Simulated Values of Z",
          paste0("Sample size ", n.sim))

— whuber
แหล่งที่มา

1

ขอบคุณ @ ปากแข็ง มันไม่สำคัญว่าพารามิเตอร์มีความสอดคล้องมิฉะนั้นข้อสรุปไม่ถูกต้อง ฉันจะแก้ไข

— whuber

3

ในฐานะผู้ใช้ @Chaconne ได้ทำไปแล้วฉันก็สามารถให้การพิสูจน์เกี่ยวกับพีชคณิตกับการเปลี่ยนแปลงนี้โดยเฉพาะ ฉันไม่ได้ข้ามรายละเอียดใด ๆ

(เรามีเพื่อให้ความหนาแน่นของนั้นถูกต้อง) $n>2$ $Y$

ขอให้เราพิจารณาการเปลี่ยนแปลงเช่นที่และ X $(X,Y)\mapsto (U,V)$ $U=(2Y-1)\sqrt{X}$ $V=X$

ซึ่งหมายความและขวา) $x=v$ $y=\frac{1}{2}\left(\frac{u}{\sqrt{v}}+1\right)$

ตอนนี้และ , $x>0\implies v>0$ $0<y<1\implies-\sqrt{v}<u<\sqrt{v}$

เพื่อให้การสนับสนุนของสองตัวแปรเป็นเพียง\} $(U,V)$ $S=\{(u,v):0<u^2<v<\infty,\,u\in\mathbb{R}\}$

ค่าสัมบูรณ์ของจาโคเบียนของการเปลี่ยนแปลงคือ{V}} $|J|=\frac{1}{2\sqrt{v}}$

ความหนาแน่นรอยต่อของจึงเป็น $(U,V)$

f_{U, V} (u, v) = \frac{e^{- \frac{v}{2}} v^{\frac{n - 1}{2} - 1} {(\frac{u}{\sqrt{v}} + 1)}^{\frac{n}{2} - 2} {(\frac{1}{2} - \frac{u}{2 \sqrt{v}})}^{\frac{n}{2} - 2} Γ (n - 2)}{(2 \sqrt{v}) 2^{\frac{n - 1}{2} + \frac{n}{2} - 2} Γ (\frac{n - 1}{2}) {(Γ (\frac{n}{2} - 1))}^{2}} 1_{S}

$f_{U,V}(u,v)=\frac{e^{-\frac{v}{2}}v^{\frac{n-1}{2}-1}\left(\frac{u}{\sqrt{v}}+1\right)^{\frac{n}{2}-2}\left(\frac{1}{2}-\frac{u}{2\sqrt{v}}\right)^{\frac{n}{2}-2}\Gamma(n-2)}{(2\sqrt{v})\,2^{\frac{n-1}{2}+\frac{n}{2}-2}\,\Gamma\left(\frac{n-1}{2}\right)\left(\Gamma\left(\frac{n}{2}-1\right)\right)^2}\mathbf1_{S}$

= \frac{e^{- \frac{v}{2}} v^{\frac{n - 4}{2}} (\sqrt{v} + u)^{\frac{n}{2} - 2} (\sqrt{v} - u)^{\frac{n}{2} - 2} Γ (n - 2)}{2^{\frac{2 n - 3}{2} + \frac{n}{2} - 2} (\sqrt{v})^{n - 4} Γ (\frac{n - 1}{2}) {(Γ (\frac{n - 2}{2}))}^{2}} 1_{S}

$=\frac{e^{-\frac{v}{2}}v^{\frac{n-4}{2}}(\sqrt{v}+u)^{\frac{n}{2}-2}(\sqrt{v}-u)^{\frac{n}{2}-2}\,\Gamma(n-2)}{2^{\frac{2n-3}{2}+\frac{n}{2}-2}\,(\sqrt{v})^{n-4}\,\Gamma\left(\frac{n-1}{2}\right)\left(\Gamma\left(\frac{n-2}{2}\right)\right)^2}\mathbf1_{S}$

ตอนนี้ใช้สูตรการทำซ้ำของ Legendre

$\Gamma(n-2)=\frac{2^{n-3}}{\sqrt \pi}\Gamma\left(\frac{n-2}{2}\right)\Gamma\left(\frac{n-2}{2}+\frac{1}{2}\right)=\frac{2^{n-3}}{\sqrt \pi}\Gamma\left(\frac{n-2}{2}\right)\Gamma\left(\frac{n-1}{2}\right)$ ที่ 2 $n>2$

ดังนั้นสำหรับ , $n>2$

f_{U, V} (u, v) = \frac{2^{n - 3} e^{- \frac{v}{2}} (v - u^{2})^{\frac{n}{2} - 2}}{\sqrt{π} 2^{\frac{3 n - 7}{2}} Γ (\frac{n}{2} - 1)} 1_{S}

$f_{U,V}(u,v)=\frac{2^{n-3}\,e^{-\frac{v}{2}}(v-u^2)^{\frac{n}{2}-2}}{\sqrt \pi\,2^{\frac{3n-7}{2}}\,\Gamma\left(\frac{n}{2}-1\right)}\mathbf1_{S}$

ไฟล์ PDF ส่วนขอบของนั้นถูกกำหนดโดย $U$

f_{U} (u) = \frac{1}{2^{\frac{n - 1}{2}} \sqrt{π} Γ (\frac{n}{2} - 1)} \int_{u^{2}}^{\infty} e^{- \frac{v}{2}} (v - u^{2})^{\frac{n}{2} - 2} d v

$f_U(u)=\frac{1}{2^{\frac{n-1}{2}}\sqrt \pi\,\Gamma\left(\frac{n}{2}-1\right)}\int_{u^2}^\infty e^{-\frac{v}{2}}(v-u^2)^{\frac{n}{2}-2}\,\mathrm{d}v$

= \frac{e^{- \frac{u^{2}}{2}}}{2^{\frac{n - 1}{2}} \sqrt{π} Γ (\frac{n}{2} - 1)} \int_{0}^{\infty} e^{- \frac{t}{2}} t^{(\frac{n}{2} - 1 - 1)} d t

$=\frac{e^{-\frac{u^2}{2}}}{2^{\frac{n-1}{2}}\sqrt \pi\,\Gamma\left(\frac{n}{2}-1\right)}\int_0^\infty e^{-\frac{t}{2}}\,t^{(\frac{n}{2}-1-1)}\,\mathrm{d}t$

= \frac{1}{2^{\frac{n - 1}{2}} \sqrt{π} {(\frac{1}{2})}^{\frac{n}{2} - 1}} e^{- \frac{u^{2}}{2}}

$=\frac{1}{2^{\frac{n-1}{2}}\sqrt \pi\,\left(\frac{1}{2}\right)^{\frac{n}{2}-1}}e^{-\frac{u^2}{2}}$

= \frac{1}{\sqrt{2 π}} e^{- u^{2} / 2}, u \in R

$=\frac{1}{\sqrt{2\pi}}e^{-u^2/2}\,,u\in\mathbb{R}$

— StubbornAtom
แหล่งที่มา

2

นี้เป็นมากกว่าคำตอบที่กล่องสีดำ (เช่นรายละเอียดเกี่ยวกับพีชคณิตจะหายไป) โดยใช้Mathematica ในระยะสั้นเป็น @whuber ระบุคำตอบก็คือการกระจายตัวของคือการกระจายปกติมาตรฐาน $Z$

(* Transformation *)
f = {(2 y - 1) Sqrt[x], Sqrt[x]};
sol = Solve[{z == (2 y - 1) Sqrt[x], w == Sqrt[x]}, {x, y}][[1]]
(*{x -> w^2,y -> (w+z)/(2 w)} *)
(* Jacobian *)
J = D[f, {{x, y}}]

(* Joint pdf of Z and W *)
{jointpdf, conditions} = FullSimplify[PDF[BetaDistribution[n/2 - 1, n/2 - 1], y] 
  PDF[ChiSquareDistribution[n - 1], x] Abs[Det[J]] /. sol,
  Assumptions -> {w >= 0, 0 <= y <= 1}][[1, 1]]

(* Integrate over W *)
Integrate[jointpdf Boole[conditions], {w, 0, \[Infinity]}, Assumptions -> {n > 2, z == 0}]
(* 1/Sqrt[2 \[Pi]] *)

Integrate[jointpdf Boole[conditions], {w, 0, \[Infinity]}, Assumptions -> {n > 2, z > 0}]
(* Exp[-(z^2/2)]/Sqrt[2 \[Pi]] *)

Integrate[jointpdf Boole[conditions], {w, 0, \[Infinity]}, Assumptions -> {n > 2, z < 0}]
(* Exp[-(z^2/2)]/Sqrt[2 \[Pi]] *)

— JimB
แหล่งที่มา

1

ไม่ใช่คำตอบต่อ seแต่อาจคุ้มค่าที่จะชี้ให้เห็นการเชื่อมต่อกับการแปลง Box-Muller

พิจารณาการเปลี่ยนแปลงกล่อง-Mullerที่(0,1) เราสามารถแสดงให้เห็นว่าคือU บนมืออื่น ๆ ที่เราสามารถแสดงให้เห็นว่ามีสถานที่ตั้งขนาดการกระจาย arcsineซึ่งเห็นด้วยกับการกระจายตัวของ2ซึ่งหมายความว่าการเปลี่ยนแปลงกล่องมุลเลอร์เป็นกรณีพิเศษเมื่อ 3 $Z=\sqrt{-2\ln U}\sin(2\pi V)$ $U,V\sim U(0,1)$ $-\ln U\sim\operatorname{Exp}(1)$ $-2\ln U\sim\chi^2_2$ $\sin(2\pi V)$ $2\operatorname{B}(1/2,1/2)-1$ $(2Y-1)\sqrt{X}$ $n=3$

ที่เกี่ยวข้อง :

— ฟรานซิส
แหล่งที่มา