Рассмотрим совместно непрерывные случайные величины с совместной функцией плотности
где обозначает стандартную функцию нормальной плотности.f U , V , W ( u , v , w ) = { 2 ϕ ( u ) ϕ ( v ) ϕ ( w ), если u ≥ 0 , v ≥ 0 , w ≥ 0 ,U,V,W
fU,V,W(u,v,w)=⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪2ϕ(u)ϕ(v)ϕ(w)0 if u≥0,v≥0,w≥0,or if u<0,v<0,w≥0,or if u<0,v≥0,w<0,or if u≥0,v<0,w<0,otherwise(1)
ϕ(⋅)
Ясно, что и являются зависимыми
случайными величинами. Также ясно, что они не являются
совместно нормальными случайными величинами. Однако все три пары
являются попарно независимыми случайными переменными: фактически, независимыми стандартными нормальными случайными переменными (и, таким образом, попарно совместно нормальными случайными переменными). Вкратце,
являются примером попарно независимых, но не взаимно независимых нормальных случайных величин. Смотрите этот мой ответ
для более подробной информации.U,VW(U,V),(U,W),(V,W)U,V,W
Обратите внимание, что парная независимость дает нам то, что
и все являются нормальными случайными величинами с нулевым средним с дисперсией . Теперь давайте определим
и отметим, что
также является нормальной случайной величиной с нулевым средним с дисперсией . Кроме того, , и поэтому и являются зависимыми и коррелированными случайными величинами.U+V,U+WV−W2
X=U+W, Y=V−W(2)
X+Y=U+V2cov(X,Y)=−var(W)=−1XY
X и являются (коррелированными) нормальными случайными переменными, которые не являются совместно нормальными, но обладают свойством, что их сумма является нормальной случайной величиной.YX+Y
Иными словами, совместная нормальность является достаточным условием для утверждения нормальности суммы нормальных случайных величин, но не является обязательным условием.
Доказательство того, что и не являются совместно нормальными, такXY
как преобразование является линейным, легко получить, что
. Поэтому мы имеем, что
Но у есть свойство отличаться от нуля только тогда, когда ровно один или все три его аргумента неотрицательны. Теперь предположим, что . Тогда имеет значение для
(U,V,W)→(U+W,V−W,W)=(X,Y,W)fX,Y,W(x,y,w)=fU,V,W(x−w,y+w,w)
fX,Y(x,y)=∫∞−∞fX,Y,W(x,y,w)dw=∫∞−∞fU,V,W(x−w,y+w,w)dw
fU,V,Wx,y>0fU,V,W(x−w,y+w,w)2ϕ(x−w)ϕ(y+w)ϕ(w)w∈(−∞,−y)∪(0,x)и противном случае. Таким образом, для ,
Теперь
и, расширив и выполнив некоторую перестановку подынтегральных выражений в , мы можем написать
где - нормальное случайное число переменная со средним значением
0x,y>0fX,Y(x,y)=∫−y−∞2ϕ(x−w)ϕ(y+w)ϕ(w)dw+∫x02ϕ(x−w)ϕ(y+w)ϕ(w)dw.(3)
(x−w)2+(y+w)2+w2=3w2−2w(x−y)+x2+y2=w2−2w(x−y3)+(x−y3)21/3−13(x−y)2+x2+y2
2ϕ(x−w)ϕ(y+w)ϕ(w)(3)fX,Y(x,y)=g(x,y)[P{T≤−y}+P{0<T≤x}](4)
Tx−y3
и дисперсия . Оба члена в квадратных скобках включают в себя стандартный нормальный CDF с аргументами, которые являются (разными) функциями как и . Таким образом, является
не двумерный нормальной плотностью даже если оба и
являются нормальными случайными величинами, а их суммой является нормальной случайной величиной.
13Φ(⋅)xyfX,YXY
Комментарий: Совместной нормальности и достаточно для нормальности но это также подразумевает гораздо больше: является нормальным для
всех вариантов . Здесь нам нужно, чтобы было нормальным только для трех вариантов , а именно,
где первые два применяют часто игнорируемое условие (см., например, ответ по ), что (предельные) плотности и должны быть нормальными, а третье говорит о том, что сумма также должна иметь нормальную плотность. Таким образом, мы можемY Х + Y Х + Ь У ( , б ) Х + Ь У ( , б ) ( 1 , 0 ) , ( 0 , 1 ) , ( 1 , 1 ) У . H . X Y ( а , б )XYX+YaX+bY(a,b)aX+bY(a,b) (1,0),(0,1),(1,1)Y.H.XYесть нормальные случайные величины, которые не являются
совместно нормальными, но чья сумма нормальная, потому что нам все равно, что случится с другими вариантами .(a,b)