Является ли нормальность сустава необходимым условием для того, чтобы сумма нормальных случайных величин была нормальной?

13

В комментариях после этого моего ответа на связанный вопрос пользователи ssdecontrol и Glen_b спросили, необходима ли совместная нормальность X и Y для утверждения нормальности суммы X+Y ? Эта совместная нормальность достаточна , конечно, хорошо известна. Этот дополнительный вопрос там не рассматривался, и, возможно, его стоит рассмотреть отдельно.

Поскольку совместная нормальность подразумевает предельную нормальность, я спрашиваю

Существуют ли нормальные случайные величины X и Y такие, что X+Y является нормальной случайной величиной, но X и совместно неY являются нормальными случайными величинами?

Если X и Y не обязаны иметь нормальные распределения, то легко найти такие нормальные случайные величины. Один пример можно найти в моем предыдущем ответе (ссылка приведена выше). Я считаю, что ответом на выделенный выше вопрос является «Да», и опубликовал (как мне кажется) пример в качестве ответа на этот вопрос.

Дилип Сарватэ
источник
2
Как вы хотите бороться с вырожденными распределениями? Например, если - стандартная нормаль, а Y = - 2 X , то совместное распределение X и Y - вырожденное нормальное распределение, а X + Y - стандартная нормаль. XY=2XXYX+Y
Брайан Борчерс
@BrianBorchers и Y = - 2 X - совместно нормальные случайные величины, даже если распределение вырожденное, как вы говорите. Стандартное определение совместной нормальности состоит в том, что X и Y совместно нормальны, если a X + b Y является нормальным для всех вариантов ( a , b ) . Здесь ( a , b ) = ( 0 , 0 )XY=2X XYaX+bY(a,b)(a,b)=(0,0)является вырожденным случаем, который, тем не менее, называется нормальной случайной величиной в качестве любезности.
Дилип Сарвате

Ответы:

11

Пусть это N ( 0 , 1 ) .U,VN(0,1)

Теперь преобразуйте следующим образом:(U,V)(X,Y)

U>0,V>0Y = min ( U , V )X=max(U,V)Y=min(U,V)

Для других квадрантов поверните это отображение относительно источника.

Результирующее двумерное распределение выглядит так (видно сверху):

! [введите описание изображения здесь

- фиолетовый представляет регионы с удвоенной вероятностью, а белые - без вероятности. Черные круги - это контуры постоянной плотности (везде на окружности для , но внутри каждой цветной области для ).( X , Y )(U,V)(X,Y)

  1. По симметрии и и - стандартная норма (если смотреть вниз по вертикальной линии или вдоль горизонтальной линии, то для каждой белой точки будет фиолетовая точка, которую мы можем рассматривать как перевернутую через ось, которую пересекает горизонтальная или вертикальная линия)YXY

  2. но явно не двумерно нормальны, и(X,Y)

  3. N ( 0 , 2 )X+Y=U+V есть (эквивалентно, посмотрите вдоль линий постоянной и увидите, что мы имеем симметрию, аналогичную той, что мы обсуждали в 1., но на этот раз о линия)N(0,2)Y = XX+YY=X

Glen_b - Восстановить Монику
источник
1
+1 и Принять; эта конструкция намного приятнее, чем в моем собственном ответе!
Дилип Сарвате
5

Рассмотрим совместно непрерывные случайные величины с совместной функцией плотности где обозначает стандартную функцию нормальной плотности.f U , V , W ( u , v , w ) = { 2 ϕ ( u ) ϕ ( v ) ϕ ( w ), если u 0 , v 0 , w 0 ,U,V,W

(1)fU,V,W(u,v,w)={2ϕ(u)ϕ(v)ϕ(w)    if u0,v0,w0,or if u<0,v<0,w0,or if u<0,v0,w<0,or if u0,v<0,w<0,0otherwise
ϕ()

Ясно, что и являются зависимыми случайными величинами. Также ясно, что они не являются совместно нормальными случайными величинами. Однако все три пары являются попарно независимыми случайными переменными: фактически, независимыми стандартными нормальными случайными переменными (и, таким образом, попарно совместно нормальными случайными переменными). Вкратце, являются примером попарно независимых, но не взаимно независимых нормальных случайных величин. Смотрите этот мой ответ для более подробной информации.U,VW(U,V),(U,W),(V,W)U,V,W

Обратите внимание, что парная независимость дает нам то, что и все являются нормальными случайными величинами с нулевым средним с дисперсией . Теперь давайте определим и отметим, что также является нормальной случайной величиной с нулевым средним с дисперсией . Кроме того, , и поэтому и являются зависимыми и коррелированными случайными величинами.U+V,U+WVW2

(2)X=U+W, Y=VW
X+Y=U+V2cov(X,Y)=var(W)=1XY

X и являются (коррелированными) нормальными случайными переменными, которые не являются совместно нормальными, но обладают свойством, что их сумма является нормальной случайной величиной.YX+Y

Иными словами, совместная нормальность является достаточным условием для утверждения нормальности суммы нормальных случайных величин, но не является обязательным условием.

Доказательство того, что и не являются совместно нормальными, такXY
как преобразование является линейным, легко получить, что . Поэтому мы имеем, что Но у есть свойство отличаться от нуля только тогда, когда ровно один или все три его аргумента неотрицательны. Теперь предположим, что . Тогда имеет значение для (U,V,W)(U+W,VW,W)=(X,Y,W)fX,Y,W(x,y,w)=fU,V,W(xw,y+w,w)

fX,Y(x,y)=fX,Y,W(x,y,w)dw=fU,V,W(xw,y+w,w)dw
fU,V,Wx,y>0fU,V,W(xw,y+w,w)2ϕ(xw)ϕ(y+w)ϕ(w)w(,y)(0,x)и противном случае. Таким образом, для , Теперь и, расширив и выполнив некоторую перестановку подынтегральных выражений в , мы можем написать где - нормальное случайное число переменная со средним значением0x,y>0
(3)fX,Y(x,y)=y2ϕ(xw)ϕ(y+w)ϕ(w)dw+0x2ϕ(xw)ϕ(y+w)ϕ(w)dw.
(xw)2+(y+w)2+w2=3w22w(xy)+x2+y2=w22w(xy3)+(xy3)21/313(xy)2+x2+y2
2ϕ(xw)ϕ(y+w)ϕ(w)(3)
(4)fX,Y(x,y)=g(x,y)[P{Ty}+P{0<Tx}]
Txy3 и дисперсия . Оба члена в квадратных скобках включают в себя стандартный нормальный 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)

Дилип Сарватэ
источник