前面的文章中提到,两个连续型随机变量的两个函数联合pdf 的行列式基本上是数学分析中处理二重积分变换变换时一个定理的推论,这个定理自然可以扩展到
n
重积分,考虑
令
是将
S
映射到
y1,y2,…,yn
所在
T
空间的一对一变换,因此就将
S
的子集
A
映射到
。令逆函数的一阶偏导为连续的且
n×n
的行列式(称为雅克比)
不等于
T
中的零,那么
只要这个定理的条件满足,我们就能确定
n
个随机变量的
例1:
令
X1,X2,X3
的联合pdf为
如果
Y1=X1/X2,Y2=X2/X3,Y3=X3
,那么逆变换为
雅克比为
定义在支撑上的不等式等价于
变为
Y1,Y2,Y3
的支撑
T={(y1,y2,y3):0<yi<1,i=1,2,3}
。因此
Y1,Y2,Y3
的联合pdf为
边缘pdf为
因为 g(y1,y2,y3)=g1(y1)g2(y2)g3(y3) ,所以随机变量 Y1,Y2,Y3 互相独立。
例2:
令
X1,X2,X3
是独立同分布的随机变量,其共同的pdf为
所以
X1,X2,X3
的联合pdf为
考虑随机变量
Y1,Y2,Y3
,定义为
因此逆变换为
其雅克比为
X1,X2,X3
的支撑映射到
这等价于
因此
Y1,Y2,Y3
的联合pdf为
Y1
的边缘pdf为
其他地方为零。同样的
Y2
的边缘pdf为
其他地方为零,而
Y3
的pdf为
其他地方为零。因为 g(y1,y2,y3)≠g1(y1)g2(y2)g3(y3) ,所以 Y1,Y2,Y3 是相关的随机变量。
然而,注意
Y1,Y3
的联合pdf为
其他地方为零。因此
Y1,Y3
是独立的。同样可得
Y2,Y3
是独立的。因为
Y1,Y2
的联合pdf为
其他地方为零, Y1,Y2 是独立的。
接下来我们考虑变换变量时遇到的其他问题。令
X
满足柯西pdf
并令
Y=X2
,我们现在要找
Y
的pdf
对第一个积分,令
x=−y√
,那么雅克比
J1
为
−1/2y√
;进一步,集合
A3
被映射到
B
上。对第二个积分,令
Y 的pdf为
因为
f(x)
是柯西pdf,所以我们有
前面这些连续型随机变量的讨论中,我们有两个逆函数 x=−y√,x=y√ ,这也是为什么我们要将 S 分成两个不相交的子集,从而使得变换 y=x2 将每个集合映射到 T 上。如果有三个逆函数,我们可以将 S 分成三个不相交的集合,等等。
令
h(x1,x2,…,xn)
是连续型随机变量
X1,X2,…,Xn
的联合pdf,令
S
表示
h(x1,x2,…,xn)>0
的
n
维空间并考虑变换
是
Ai
到
T
的一对一变换,那么
T
中的每个点只对应
A1,A2,…,Ak
中的一个点。对
i=1,…,k
,令
表示
k
组
不等于
T
中的零。考虑
k
个互斥事件并的概率以及变量变换方法,可以看出
其他地方为零,这里假设
(y1,y2,…,yn)∈T
。任何
Yi
的pdf,假设为
Y1
是
例3:
令
X1,X2
的联合pdf定义在单位圆上
令
Y1=X21+X22,Y2=X21/(X21+X22)
,那么
y1y2=x21,x22=y1(1−y2)
,支撑
S
映射到
T={(y1,y2):0<yi<1,i=1,2}
。对每个有序数对
(y1,y2)∈T
,在
S
中有四个点
第一个雅克比为
很容易看出这四个雅克比的绝对值都等于
1/4y2(1−y2)−−−−−−−−√
。因此
Y1,Y2
的联合pdf是这四项的和,可写成
所以 Y1,Y2 是独立的随机变量。
当然与二元情况一样,注意到如果
Y=g(X1,X2,…,Xn)
是随机变量的函数,我们可以使用mgf方法,连续情况
Y
的mgf为
其中 h(x1,x2,…,xn) 是联合pdf。对于离散情况,只需要用求和符号代替积分即可,这个过程在处理独立随机变量的线性函数是非常有用。
例4:
令
X1,X2,X3
是独立的随机变量,联合pmf为
如果
Y=X1+X2+X3
,那么
Y
的mgf为
因为
X1,X2,X3
是独立的,且之前的例子中已求出
因此
然而这时pmf
所以这就是 Y=X1+X2+X3 的分布。
例5:
令
X1,X2,X3,X4
是独立的随机变量且共同的pdf为
如果
Y=X1+X2+X3+X4
,那么与上例一样,
X1,X2,X3,X4
独立就意味着
之前我们求出
因此
随后我们会看到这就是pdf为
分布的mgf,因此这就是 Y <script type="math/tex" id="MathJax-Element-4242">Y</script>的分布。