הסתברות/התניה של וקטורים אקראיים
יהי (X,Y) ו"א אי שלילי בעל פונקצית הצפיפות
f
X
,
Y
(
x
,
y
)
=
c
x
y
e
−
(
2
x
2
+
y
2
)
{\displaystyle \ f_{X,Y}(x,y)=cxye^{-(2x^{2}+y^{2})}}
, כאשר c קבוע נרמול חיובי מתאים. מהי ההסתברות
P
(
X
≤
1
|
Y
≤
2
)
{\displaystyle \ \mathbb {P} (X\leq 1|Y\leq 2)}
..?
שימו לב כי אין זו צפיפות גאוסית בגלל הגורם הכפלי לפני האקספוננט.
פתרון: התחום הנתון הוא המלבן
(
0
,
∞
)
2
{\displaystyle \ (0,\infty )^{2}}
, וניתן לפרק את פונקצית הצפיפות המשותפת לפונקציה ב-x ולפונקציה ב-y, ולכן הם בלתי תלויים ולכן:
P
(
X
≤
1
|
Y
≤
2
)
=
P
(
X
≤
1
)
=
∫
−
∞
1
∫
−
∞
∞
f
X
,
Y
(
x
,
y
)
d
y
d
x
=
∫
0
1
∫
0
∞
c
x
y
e
−
(
2
x
2
+
y
2
)
d
y
d
x
=
{\displaystyle \ \mathbb {P} (X\leq 1|Y\leq 2)=\mathbb {P} (X\leq 1)=\int \limits _{-\infty }^{1}\int \limits _{-\infty }^{\infty }f_{X,Y}(x,y)dydx=\int \limits _{0}^{1}\int \limits _{0}^{\infty }cxye^{-(2x^{2}+y^{2})}dydx=}
=
c
2
∫
0
1
x
e
−
2
x
2
d
x
=
c
2
(
−
1
4
e
−
2
+
1
4
)
{\displaystyle \ ={c \over 2}\int \limits _{0}^{1}xe^{-2x^{2}}dx={c \over 2}\left(-{1 \over 4}e^{-2}+{1 \over 4}\right)}
כעת נמצא את הקבוע:
1
=
−
1
4
e
−
2
x
2
|
0
∞
⋅
−
1
2
e
−
y
2
|
0
∞
=
1
4
1
2
=
1
8
⇒
c
=
8
{\displaystyle \ 1=\left.-{1 \over 4}e^{-2x^{2}}\right|_{0}^{\infty }\cdot \left.-{1 \over 2}e^{-y^{2}}\right|_{0}^{\infty }={1 \over 4}{1 \over 2}={1 \over 8}\ \Rightarrow \ c=8}
כך שבסופו של דבר:
P
(
X
≤
1
)
=
1
−
e
−
2
{\displaystyle \ \mathbb {P} (X\leq 1)=1-e^{-2}}
.
דרך אחרת: נרצה להשתמש בנוסחה
f
X
|
Y
(
x
|
y
)
=
f
X
,
Y
(
x
,
y
)
f
Y
(
y
)
{\displaystyle \ f_{X|Y}(x|y)={f_{X,Y}(x,y) \over f_{Y}(y)}}
. כמו כן, אם נחשוב קדימה ונזכר בנוסחאות לצפיפות מותנית, נסיק כי אין צורך לחשב את הקבוע c. נחשב תחילה את הצפיפות השולית באמצעות הצפיפות המשותפת:
f
Y
(
y
)
=
∫
−
∞
∞
f
X
,
Y
(
x
,
y
)
d
x
=
∫
0
∞
c
x
y
e
−
(
2
x
2
+
y
2
)
d
x
=
c
y
e
−
y
2
∫
0
∞
x
e
−
2
x
2
d
x
=
{\displaystyle \ f_{Y}(y)=\int \limits _{-\infty }^{\infty }f_{X,Y}(x,y)dx=\int \limits _{0}^{\infty }cxye^{-(2x^{2}+y^{2})}dx=cye^{-y^{2}}\int \limits _{0}^{\infty }xe^{-2x^{2}}dx=}
=
−
c
4
y
e
−
y
2
e
−
2
x
2
|
x
=
0
∞
=
c
4
y
e
−
y
2
{\displaystyle \ =\left.-{c \over 4}ye^{-y^{2}}e^{-2x^{2}}\right|_{x=0}^{\infty }={c \over 4}ye^{-y^{2}}}
כעת נציב בנוסחה:
f
X
|
Y
(
x
|
y
)
=
f
X
,
Y
(
x
,
y
)
f
Y
(
y
)
=
c
x
y
e
−
(
2
x
2
+
y
2
)
c
4
y
e
−
y
2
=
4
x
e
−
2
x
2
{\displaystyle \ f_{X|Y}(x|y)={f_{X,Y}(x,y) \over f_{Y}(y)}={cxye^{-(2x^{2}+y^{2})} \over {c \over 4}ye^{-y^{2}}}=4xe^{-2x^{2}}}
(האם התוצאה מחייבת ש-X בלתי תלוי ב-Y?)
כעת:
P
(
X
≤
1
|
Y
≤
2
)
=
F
X
|
Y
(
1
|
2
)
=
∫
0
1
∫
0
2
4
x
e
−
2
x
2
d
x
d
y
=
∫
0
1
4
x
e
−
2
x
2
d
x
∫
0
2
d
y
=
{\displaystyle \ \mathbb {P} (X\leq 1|Y\leq 2)=F_{X|Y}(1|2)=\int \limits _{0}^{1}\int \limits _{0}^{2}4xe^{-2x^{2}}dxdy=\int \limits _{0}^{1}4xe^{-2x^{2}}dx\int \limits _{0}^{2}dy=}
=
∫
0
1
8
x
e
−
2
x
2
d
x
=
−
2
e
−
2
x
2
|
0
1
=
2
−
2
e
−
2
{\displaystyle \ =\int \limits _{0}^{1}8xe^{-2x^{2}}dx=\left.-2e^{-2x^{2}}\right|_{0}^{1}=2-2e^{-2}}
שימו לב: יש טעות בדרך שטרם נמצאה. צריך לצאת:
1
−
e
−
2
{\displaystyle \ 1-e^{-2}}
.
יהי (X,Y,Z) ו"א המפולג באחידות בתחום
D
=
{
(
x
,
y
,
z
)
|
x
+
y
+
z
≤
2
,
x
,
y
,
z
≥
0
}
{\displaystyle \ D=\{(x,y,z)|x+y+z\leq 2,\ x,y,z\geq 0\}}
. מהי התוחלת
E
(
X
|
Y
,
Z
)
{\displaystyle \ \mathbb {E} (X|Y,Z)}
..?
פתרון: מדובר בוקטור אחיד שצפיפותו היא מספר קבוע, ולכן נמצא תחילה מספר זה (מעשית, אין בו צורך כי הוא ממילא יצטמצם מאוחר יותר):
1
=
c
⋅
∫
0
2
d
z
∫
0
2
−
z
d
y
∫
0
2
−
z
−
y
d
x
=
.
.
.
=
4
3
⇒
c
=
3
4
{\displaystyle \ 1=c\cdot \int \limits _{0}^{2}dz\int _{0}^{2-z}dy\int \limits _{0}^{2-z-y}dx=...={4 \over 3}\ \Rightarrow \ c={3 \over 4}}
כעת, על מנת להשתמש בהגדרת הצפיפות המותנית עבור
f
X
|
Y
,
Z
{\displaystyle \ f_{X|Y,Z}}
, יש למצוא תחילה את הצפיפות המשותפת
f
Y
,
Z
{\displaystyle \ f_{Y,Z}}
:
f
Y
,
Z
(
y
,
z
)
=
∫
−
∞
∞
f
X
,
Y
,
Z
(
x
,
y
,
z
)
d
x
=
∫
0
2
−
z
−
y
3
4
d
x
=
3
4
(
2
−
z
−
y
)
{\displaystyle \ f_{Y,Z}(y,z)=\int \limits _{-\infty }^{\infty }f_{X,Y,Z}(x,y,z)dx=\int \limits _{0}^{2-z-y}{3 \over 4}dx={3 \over 4}(2-z-y)}
שימו לב כי התחום הרלוונטי הוא
y
+
z
<
2
{\displaystyle \ y+z<2}
. נציב בנוסחת הצפיפות המותנית:
f
X
|
Y
,
Z
(
x
|
y
,
z
)
=
f
X
,
Y
,
Z
(
x
,
y
,
z
)
f
Y
,
Z
(
y
,
z
)
=
3
4
3
4
(
2
−
z
−
y
)
=
1
2
−
z
−
y
{\displaystyle \ f_{X|Y,Z}(x|y,z)={f_{X,Y,Z}(x,y,z) \over f_{Y,Z}(y,z)}={{3 \over 4} \over {3 \over 4}(2-z-y)}={1 \over 2-z-y}}
לבסוף:
E
(
X
|
Y
,
Z
)
=
∫
0
2
−
z
−
y
x
2
−
z
−
y
d
x
=
1
2
(
2
−
z
−
y
)
{\displaystyle \ \mathbb {E} (X|Y,Z)=\int \limits _{0}^{2-z-y}{x \over 2-z-y}dx={1 \over 2}(2-z-y)}
דרך אחרת: בהינתן X,Y מתקבל ש-
X
∼
U
[
0
,
2
−
Z
−
Y
]
{\displaystyle \ X\sim U[0,2-Z-Y]}
ולכן
E
(
X
|
Y
,
Z
)
=
2
−
z
−
y
2
{\displaystyle \ \mathbb {E} (X|Y,Z)={2-z-y \over 2}}
.
-
התניה של וקטורים אקראיים
-