Suma dwóch normalnych produktów to Laplace?

Najwyraźniej jest tak, że jeśli , to$X_i \sim N(0,1)$

$X_1 X_2 + X_3 X_4 \sim \mathrm{Laplace(0,1)}$

Widziałem artykuły na temat dowolnych kwadratowych form, które zawsze skutkują okropnymi niecentralnymi wyrażeniami chi-kwadrat.

Powyższa prosta relacja nie wydaje mi się wcale oczywista, więc (jeśli to prawda!) Czy ktoś ma na to prosty dowód?

Elementarna sekwencja kroków z wykorzystaniem dobrze znanych zależności między rozkładami i prosta tożsamość polaryzacji algebraicznej zapewniają elementarną i intuicyjną demonstrację.

Odkryłem, że ta tożsamość polaryzacji jest ogólnie przydatna do rozumowania i obliczania produktów zmiennych losowych, ponieważ redukuje je do liniowych kombinacji kwadratów. To trochę jak praca z macierzami poprzez ich przekątne w pierwszej kolejności. (Jest tu coś więcej niż powierzchowne połączenie).

Rozkład Laplace'a to różnica dwóch wykładniczych (co intuicyjnie ma sens, ponieważ wykładniczy jest rozkładem „pół-Laplace'a”). (Link pokazuje to poprzez manipulowanie charakterystycznymi funkcjami, ale relację można udowodnić za pomocą elementarnej integracji wynikającej z definicji różnicy jako splot.)

Rozkład wykładniczy (który sam jest rozkładem ) jest również (skalowana wersja a) . Współczynnik skali wynosi . Można to łatwo zauważyć porównując pliki PDF obu dystrybucji.× 2 ( 2 ) 1 /$\Gamma(1)$$\chi^2(2)$$1/2$

$\chi^2$Rozkłady są otrzymywane naturalnie jako sumy kwadratów iid Rozkładów normalnych (o średnich zerowych). Stopnie swobody liczą liczbę rozkładów normalnych w sumie.$2$

Relacja algebraiczna

wykazuje pod względem kwadratów czterech rozkładów, z których każdy jest liniową kombinacją standardowych norm. Łatwo jest sprawdzić, czy wszystkie cztery kombinacje liniowe są liniowo niezależne (i każda ma rozkład normalny ). Zatem dwa pierwsze warunki, które sumują kwadraty dwóch identycznie rozmieszczonych rozkładów normalnych średniej zera, tworzą skalowany (i jego współczynnik skalowania jest dokładnie tym, co jest potrzebne, aby przekształcić go w rozkład wykładniczy), a dwa pozostałe terminy niezależnie mają również rozkład wykładniczy z tego samego powodu.$X_1X_2 + X_3X_4$$(0,\sqrt{1/2})$ $\chi^2(2)$$\sqrt{1/2}\ ^2=1/2$

Dlatego , będące różnicą dwóch niezależnych rozkładów wykładniczych, ma (standardowy) rozkład Laplace'a.$X_1X_2+X_3X_4$

$X\sim \mathrm{Laplace}(0,1)$