Eine feine, strenge, elegante Antwort wurde bereits veröffentlicht. Der Zweck dieses Artikels ist es, dasselbe Ergebnis auf eine Weise abzuleiten, die die zugrunde liegende Struktur von etwas aufschlussreicher macht . Es zeigt, warum die Wahrscheinlichkeitsdichtefunktion (pdf) bei 0 singulär sein muss .XY0
Viel kann erreicht werden, indem man sich auf die Formen der Komponentenverteilungen konzentriert :
ist zweimal ein U ( 0 , 1 )XU(0,1) Zufallsvariable. ist eine Standardform, die für alle Gleichverteilungen charakteristisch ist.U(0,1)
|Y|ist zehnmal eine Zufallsvariable.U(0,1)
Das Vorzeichen von folgt einer Rademacher-Verteilung: Es ist gleich - 1Y−1 oder , jedes mit einer Wahrscheinlichkeit von 1 / 2 .11/2
(Dieser letzte Schritt konvertiert eine nicht negative Variable in eine symmetrische Verteilung um , deren beide Schwänze wie die ursprüngliche Verteilung aussehen.)0
Daher ist (a) um 0 symmetrisch und (b) sein absoluter Wert ist 2 × 10 = 20XY02×10=20 fache des Produkts zweier unabhängiger -Zufallsvariablen.U(0,1)
Produkte werden häufig durch Logarithmen vereinfacht. In der Tat ist bekannt, dass das negative Protokoll einer -Variablen eine Exponentialverteilung aufweist (da dies der einfachste Weg ist, zufällige Exponentialvariablen zu erzeugen), woraus das negative Protokoll des Produkts von zwei von ihnen besteht die Verteilung der Summe zweier Exponentiale. Das Exponential ist eine Γ ( 1 , 1 ) -Verteilung. Gammaverteilungen mit demselben Skalierungsparameter sind einfach hinzuzufügen: Sie fügen einfach ihre Formparameter hinzu. A Γ ( 1 , 1 ) plus a Γ ( 1U(0,1)Γ(1,1)Γ(1,1) variate hat daher aΓ(1,1) -Verteilung. FolglichΓ(2,1)
Die Zufallsvariable ist die symmetrisierte Version des 20- fachen Exponentials des Negativs einer Γ ( 2 , 1 ) -Variablen.XY20Γ(2,1)
Die Konstruktion des PDF von aus der einer U ( 0 , 1 ) -Verteilung wird von links nach rechts gezeigt, wobei von der Uniform über die Exponentialverteilung bis zur Γ ( 2 , 1 ) fortgefahren wird.XYU(0,1)Γ(2,1) zum Exponential des Negativs übergegangen wird , auf die gleiche Sache, skaliert um , und schließlich die symmetrisierte Version davon. Das PDF ist bei 0 unendlich , was die Diskontinuität dort bestätigt.200
Wir könnten zufrieden sein, hier aufzuhören. Diese Charakterisierung gibt uns beispielsweise die Möglichkeit, Realisierungen von direkt zu generieren , wie in diesem Ausdruck:XYR
n <- 1; 20 * exp(-rgamma(n, 2, scale=1)) * ifelse(runif(n) < 1/2, -1, 1)
Diese Analyse zeigt auch, warum das PDF bei explodiert . 0 Diese Singularität trat zum ersten Mal auf, als wir die Exponentialverteilung (das Negativ von) einer -Verteilung betrachteten, die der Multiplikation einer U ( 0 , 1 ) -Variate mit einer anderen entspricht. Werte innerhalb von (sagen wir) ε von 0Γ(2,1)U(0,1)ε0 treten auf viele Arten auf, einschließlich (aber nicht beschränkt auf), wenn (a) einer der Faktoren kleiner als oder (b) beide Faktoren kleiner als √ sindε . Diese Quadratwurzel ist enorm größer alsεselbst, wennεnahe bei0 liegt. Dies erzwingt eine große Wahrscheinlichkeit in einer Menge größer als √ε√εε0 , um in ein Intervall der Längeεgedrückt zu werden. Damit dies möglich ist, muss die Dichte des Produkts bei0beliebig groß werden. Die nachfolgenden Manipulationen - Skalierung um den Faktor20und Symmetrisierung - werden diese Singularität offensichtlich nicht beseitigen.ε√ε020
Diese beschreibende Charakterisierung der Antwort führt auch direkt zu Formeln mit einem Minimum an Aufwand, was zeigt, dass sie vollständig und streng ist. Um beispielsweise das PDF von , beginnen Sie mit dem Wahrscheinlichkeitselement einer Γ ( 2 , 1 ) -Verteilung.XYΓ(2,1)
f(t)dt=te−tdt, 0<t<∞.
Wenn bedeutet dies d t = - d ( log ( z ) ) = - d z / z und 0 < z < 1 . Diese Transformation kehrt auch die Reihenfolge um: Größere Werte von t führen zu kleineren Werten von z . Aus diesem Grund müssen wir das Ergebnis nach der Substitution negieren und gebent=−log(z)dt=−d(log(z))=−dz/z0<z<1tz
f(t)dt=−(−log(z)e−(−log(z))(−dz/z))=−log(z)dz, 0<z<1.
Der Skalierungsfaktor wandelt dies in um20
−log(z/20)d(z/20)=−120log(z/20)dz, 0<z<20.
Finally, the symmetrization replaces z by |z|, allows its values to range now from −20 to 20, and divides the pdf by 2 to spread the total probability equally across the intervals (−20,0) and (0,20):
fXY(z)dzfXY(z)dz=−12120log(|z|/20), −20<z<20;=0 otherwise.