Une réponse fine, rigoureuse et élégante a déjà été postée. Le but de celui-ci est de dériver le même résultat d'une manière qui peut être un peu plus révélatrice de la structure sous-jacente de . Il montre pourquoi la fonction de densité de probabilité (pdf) doit être singulière à .XY0
Beaucoup peut être accompli en se concentrant sur les formes des distributions de composants :
X est deux fois une variable aléatoire . est une forme standard "sympa" caractéristique de toutes les distributions uniformes.U(0,1)U(0,1)
|Y|est dix fois une variable aléatoire .U(0,1)
Le signe de suit une distribution de Rademacher: il est égal à ou , chacun avec une probabilité .Y−111/2
(Cette dernière étape convertit une variable non négative en une distribution symétrique autour de , dont les deux queues ressemblent à la distribution d'origine.)0
Par conséquent, (a) est symétrique par rapport à et (b) sa valeur absolue est fois le produit de deux variables aléatoires indépendantes .XY02×10=20U(0,1)
Les produits sont souvent simplifiés en prenant des logarithmes. En effet, il est bien connu que le log négatif d'une variable a une distribution exponentielle (car il s'agit du moyen le plus simple de générer des variables exponentielles aléatoires), d'où le log négatif du produit de deux d'entre elles a la distribution de la somme de deux exponentielles. L'exponentielle est une distribution . Les distributions gamma avec le même paramètre d'échelle sont faciles à ajouter: il vous suffit d'ajouter leurs paramètres de forme. Une variable plus une variable a donc une distribution . par conséquentU(0,1)Γ(1,1)Γ(1,1)Γ(1,1)Γ(2,1)
La variable aléatoire est la version symétrisée de fois l'exponentielle du négatif d'une variable .XY20Γ(2,1)
La construction du PDF de partir de celle d'une distribution est représentée de gauche à droite, en passant de l'uniforme à l'exponentielle, au , à l'exponentielle de son négatif , à la même chose mise à l'échelle par , et enfin la version symétrisée de cela. Son PDF est infini à , confirmant là la discontinuité.XYU(0,1)Γ(2,1)200
Nous pourrions nous contenter de nous arrêter ici. Par exemple, cette caractérisation nous donne un moyen de générer directement des réalisations de , comme dans cette expression:XYR
n <- 1; 20 * exp(-rgamma(n, 2, scale=1)) * ifelse(runif(n) < 1/2, -1, 1)
Cette analyse révèle également pourquoi le pdf explose à . 0 Cette singularité est apparue pour la première fois lorsque nous avons considéré l'exponentielle de (le négatif de) une distribution , correspondant à la multiplication d'une variable par une autre. Les valeurs dans (disons) de surviennent de plusieurs manières, y compris (mais sans s'y limiter) lorsque (a) l'un des facteurs est inférieur à ou (b) les deux facteurs sont inférieurs à . Cette racine carrée est considérablement plus grande que elle-même lorsque est proche deΓ(2,1)U(0,1)ε0εε√εε0. Cela oblige beaucoup de probabilités, d'une quantité supérieure à , à être comprimées dans un intervalle de longueur . Pour que cela soit possible, la densité du produit doit devenir arbitrairement grande à . Les manipulations ultérieures - mise à l'échelle par un facteur de et symétrisation - n'élimineront évidemment pas cette singularité.ε√ε020
Cette caractérisation descriptive de la réponse conduit également directement à des formules avec un minimum d'agitation, montrant qu'elle est complète et rigoureuse. Par exemple, pour obtenir le pdf de , commencez par l'élément de probabilité d'une distribution ,XYΓ(2,1)
f(t)dt=te−tdt, 0<t<∞.
Laisser implique et . Cette transformation inverse également l'ordre: des valeurs plus grandes de conduisent à des valeurs plus petites de . Pour cette raison, nous devons annuler le résultat après la substitution, donnantt=−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.
Le facteur d'échelle de convertit en20
−log(z/20)d(z/20)=−120log(z/20)dz, 0<z<20.
Enfin, la symétrisation remplace par, permet à ses valeurs de varier maintenant de à et divise le pdf par pour répartir la probabilité totale également entre les intervalles et :z|z|−20202(−20,0)(0,20)
fXY(z)dzfXY(z)dz=−12120log(|z|/20), −20<z<20;=0 otherwise.