Si X / Y a la même distribution que Z, est-il vrai que X a la même distribution que YZ?


9

Soit X, Y et Z trois variables aléatoires indépendantes. Si X / Y a la même distribution que Z, est-il vrai que X a la même distribution que YZ?


4
Considérez le cas où et sont des normales normales et une variable aléatoire de Cauchy standard (les trois étant indépendantes selon la prémisse de la question). Il est bien connu que a une distribution de Cauchy standard (la même que celle de ), mais n'a pas de distribution normale standard (puisque n'existe pas). Vous avez donc besoin de restrictions supplémentaires sur (cf. la réponse de Silverfish) pour avoir tout espoir de trouver des exemples où le résultat pourrait tenir. XYZX/YZYZE[YZ]X,Y,Z
Dilip Sarwate

1
@Dilip J'ai envisagé de l'utiliser comme contre-exemple, mais je m'en suis éloigné parce que je ne pouvais pas penser à une brève explication de la raison pour laquelle n'existe pas. Si vous avez un argument intéressant, vous devriez le poster comme réponse, je pense. (Comme vous pouvez probablement le constater, j'ai délibérément évité les zéros et les infinis dans ma réponse, donc j'étais très désireux d'éviter quelque chose qui n'est même pas infini!)E[YZ]
Silverfish

2
@Dilip Puisque est Cauchy, donc n'existe pas, il me semble que la condition n'est pas remplie et la déclaration ne dit rien sur . A titre de comparaison: si est Cauchy et a la distribution dégénérée , alors il semblerait que existe (et est égal à zéro) même si ne l'est pas. E [ Z ] E [ Y Z ] Z Y P ( Y = 0 ) = 1 E [ Y Z ] E [ Z ]ZE[Z]E[YZ]ZYP(Y=0)=1E[YZ]E[Z]
Silverfish

4
L'un des contre-exemples possibles les plus simples et peut-être les plus intuitifs est de laisser et n'importe quelle distribution avec une certaine chance de ne pas être dans (depuis sont les points fixes de et et sont problématiques dans la définition de dans tous les cas). Alors n'est évidemment pas constant alors que est. Y { - 1 , 0 , 1 , ± } ± 1 y 1 / y 0 , , - X / Y Y Z XX=1Y{1,0,1,±}±1y1/y0,,X/YYZX
whuber

3
@Silverfish n'est défini que si est fini. Mais, depuisetsont des variables aléatoires indépendantes. Mais, puisque n'est pas fini et , nous concluons que n'est pas fini (il n'y a aucun problème avec la valeur de ). Par conséquent, n'est pas défini (ou n'existe pas) alors que existe très certainement et a la valeur . E [ | Y Z | ] E [ | Y Z | ] = E [ | Y | | Z | ] = E [ | Y | ] E [ | Z | ] | Y | | Z | E [ | Z | ] E [ | Y | ]>E[YZ]E[|YZ|]E[|YZ|]=E[|Y||Z|]=E[|Y|]E[|Z|]|Y||Z|E[|Z|]E [ | Y Z | ] 0 × E [ Y Z ] E [ X ] 0E[|Y|]>0E[|YZ|]0×E[YZ]E[X]0
Dilip Sarwate

Réponses:


8

Cela peut arriver. Par exemple, si , et sont des variables Rademacher indépendantes, c'est-à-dire qu'elles peuvent être 1 ou -1 avec une probabilité égale. Dans ce cas est également Rademacher, a donc la même distribution que , tandis que est Rademacher a donc la même distribution que .Y Z X / Y Z Y Z XXYZX/YZYZX

Mais cela n'arrivera pas en général. Tant que les moyens existent, les conditions nécessaires (mais pas suffisantes) pour que aient la même distribution que , et pour d'avoir la même distribution que , seraient: Z Y Z X E ( Z ) = E ( X Y - 1 ) = E ( X ) E ( Y - 1 ) E ( X ) = E ( Y Z ) = E ( Y ) E ( Z )X/YZYZX

E(Z)=E(XY1)=E(X)E(Y1)
E(X)=E(YZ)=E(Y)E(Z)

Les deuxièmes égalités suivies de l'indépendance. La substitution donne:

E(Z)=E(Y)E(Z)E(Y1)

Si alors , ou de manière équivalente, tant que ,E(Z)01=E(Y)E(Y1)E(Y)0

E(Y1)=1E(Y)

Ce n'est pas vrai en général. Par exemple, soit une variable de Bernouilli traduite qui prend des valeurs ou avec une probabilité égale, donc . Alors prend les valeurs ou avec une probabilité égale, donc . (Je laisse le soin à l'imagination du lecteur, à quel point il aurait dû produire un effet dramatique non traduitY12E(Y)=1.5Y110.5E(Y1)=0.751.51Variable de Bernouilli à la place, ou un traduit seulement légèrement, il est donc très proche de 0 avec une probabilité de moitié. Notez que dans l'exemple Rademacher, il n'y a pas eu de problème ici car les trois attentes étaient nulles, notez en outre que cette condition n'est pas suffisante.)

Nous pouvons explorer comment ce échoue en construisant un contre-exemple plus explicite. Pour simplifier les choses, supposons que est un Bernouilli mis à l'échelle et prend des valeurs ou avec une probabilité égale. Alors est soit , , ou avec une probabilité égale. Il est clair que , et . Soit une variable indépendante tirée de la même distribution. Quelle est la distribution de ? Est-ce la même chose que la distribution deYX02X/Y0/10/22/12/2P(X/Y=0)=12P(X/Y=1)=14P(X/Y=2)=14ZYZX ? Nous n'avons même pas besoin de calculer la distribution de probabilité complète pour voir qu'elle ne peut pas l'être; il suffit de se rappeler que ne peut être que zéro ou deux alors que peut prendre n'importe quelle valeur que vous pouvez obtenir en multipliant l'un de par l'un de .XYZ{1,2}{0,1,2}

Si vous voulez une morale pour ce conte, essayez de jouer avec les variables Bernouilli mises à l'échelle et traduites (qui incluent les variables Rademacher). Ils peuvent être un moyen simple de construire des exemples - et des contre-exemples. Cela permet d'avoir moins de valeurs dans les supports afin que les distributions des différentes fonctions des variables puissent être facilement élaborées à la main.

Encore plus extrême, nous pouvons considérer les variables dégénérées qui n'ont qu'une seule valeur dans leur support. Si et sont dégénérés (avec ) alors sera aussi, et donc la distribution des correspondra à la valeur de . Comme mon exemple Rademacher, c'est une situation montrant que vos conditions peuvent être satisfaites. Si à la place, comme @whuber le suggère dans les commentaires, nous laissons dégénérer avec , mais permettons à de varier, alors construire un contre-exemple encore plus simple est très facile. Si peut prendre deux valeurs finies non nulles - etY Y 0 Z = X / Y Y Z Z X P ( X = 1 ) Y Y a b X / Y Z a - 1 b - 1 YXYY0Z=X/YYZZXP(X=1)YYab , disons - avec une probabilité positive, alors , et donc , peuvent prendre les valeurs et . Maintenant a donc dans son support, ne peut donc pas suivre la même distribution que . Ceci est similaire, mais plus simple que, à mon argument selon lequel les supports ne pouvaient pas correspondre dans mon contre-exemple d'origine.X/YZa1b1a b - 11 XYZab11X


1
Supposons que . Ensuite, puisque est une fonction convexe sur , l'inégalité de Jensen nous dit que la condition ne vaut que si est dégénéré. La même chose est vraie si , auquel cas 1 / x est concave. Donc si est de signe fixe mais non dégénéré, la condition nécessaire ne peut pas tenir. Pr(Y>0)=11/x(0,)EY=E1YYPr(Y<0)=1Y
Dougal

1
@Dougal Merci d'avoir mentionné cela. Lors de la rédaction, j'ai pensé à l'inclure mais j'ai senti que la discussion sur les signes, etc. romprait le flux. J'ai pensé à dire "voir l'inégalité de Jensen" et à ajouter un lien Wikipedia ou similaire, mais j'ai décidé que ce n'était pas une bonne idée parce que je ne l'avais pas préfacé par les conditions de convexité que j'essayais d'éviter. Au lieu de cela, j'ai jeté un coup d'œil pour voir s'il y a un endroit (peut-être un fil de CV) où les attentes des fonctions non linéaires d'un VR sont discutées en général, ce qui conduirait naturellement un lecteur curieux à Jensen, mais je n'ai rien vu J'aime encore.
Silverfish

2
@Dougal C'est l'un de ces moments où il y a un peu de conflit entre des contre-exemples magnifiquement simples - quelque chose de très facile à calculer, donc quelqu'un qui a travaillé sous une mauvaise compréhension peut immédiatement voir que c'est impossible ou incorrect - et un traitement général plus approfondi qui aide réellement montrer dans quelles conditions quelque chose peut réellement tenir (mais qui peut être trop difficile à suivre pour certains lecteurs, et donc moins convaincant pour eux). Le RV sur montre même à un débutant pourquoi ne fonctionne pas aussi bien que mais Jensen en dit beaucoup plus sur pourquoi! {1,2}E(1/Y)E(aY+b)
Silverfish

2
Oui, bon point, bien que je sois curieux de savoir quand cette relation (apparemment naturelle) peut tenir, qui semble assez limitée. Notez que dans mon commentaire ci-dessus, j'ai mal écrit la condition: elle doit bien sûr être . 1\EY=\E1Y
Dougal

2
@Dougal Je pense qu'au-delà des VR dégénérés, ces relations ne sont pas aussi «naturelles» qu'elles le paraissent au départ. Considérez que a la même distribution que et a la même distribution que , et les trois sont indépendants ... Encore une fois, cela ne tient pas en général. ZX+YYZX
Silverfish
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.