J'ai entendu dire que les ratios ou les inverses de variables aléatoires sont souvent problématiques, car ils n'ont pas d'attentes. Pourquoi donc?


Réponses:


25

Je voudrais offrir une explication très simple et intuitive. Cela revient à regarder une photo: le reste de ce post explique la photo et en tire des conclusions.

Voici à quoi cela se résume: quand il y a une "masse de probabilité" concentrée près de , il y aura trop de probabilité près de , ce qui rend son attente indéfinie.1 / X ± X=01/X±


Au lieu d'être entièrement général, concentrons-nous sur les variables aléatoires qui ont des densités continues dans un voisinage de . Supposons que . Visuellement, ces conditions signifient que le graphique de se situe au-dessus de l'axe autour de :f X 0 f X ( 0 ) 0 f 0XfX0fX(0)0f0

Figure montrant le graphique d'une densité et la zone en dessous.

La continuité de autour de implique que pour toute hauteur positive inférieure à et suffisamment petite , nous pouvons tailler un rectangle sous ce graphique qui est centré autour de , a une largeur et une hauteur , comme indiqué. Cela correspond à l'expression de la distribution d'origine comme un mélange d'une distribution uniforme (avec un poids ) et tout ce qui reste. 0 p f X ( 0 ) ϵ x = 0 2 ϵ p p × 2 ϵ = 2 p ϵfX0pfX(0)ϵx=02ϵpp×2ϵ=2pϵ

Figure montrant le graphique sous forme de mélange.

En d'autres termes, nous pouvons penser à comme résultant de la manière suivante:X

  1. Avec la probabilité , tracez une valeur à partir d'une distribution uniforme .( - ϵ , ϵ )2pϵ(ϵ,ϵ)

  2. Sinon, tirez une valeur de la distribution dont la densité est proportionnelle à . (Il s'agit de la fonction dessinée en jaune à droite.)fXpI(ϵ,ϵ)

( est la fonction d'indicateur.)I

L'étape montre que pour tout , la probabilité que soit compris entre et dépasse . De manière équivalente, c'est la chance que dépasse . En d'autres termes: écrire pour la fonction de survivant de0 < u < ϵ X 0 u p u / 2 1 / X 1 / u S 1 / X(1)0<u<ϵX0upu/21/X1/uS1/X

S(x)=Pr(1/X>x),

l'image montre pour tous les .x > 1 / ϵS(x)>p/(2x)x>1/ϵ

Nous avons terminé maintenant, car ce fait concernant implique que l'attente n'est pas définie. S Comparez les intégrales impliquées dans le calcul de l'espérance de la partie positive de , :( 1 / X ) + = max ( 0 , 1 / X )1/X(1/X)+=max(0,1/X)

E[(1/X)+]=0S(x)dx>1/ϵxS(x)dx>1/ϵxp2xdx=p2log(xϵ).

(Il s'agit d'un argument purement géométrique: chaque intégrale représente une région bidimensionnelle identifiable et toutes les inégalités proviennent d'inclusions strictes au sein de ces régions. En effet, nous n'avons même pas besoin de savoir que l'intégrale finale est un logarithme: il existe des géométries simples arguments montrant cette intégrale diverge.)

Puisque le côté droit diverge en tant que , diverge également. La situation avec la partie négative de est la même (car le rectangle est centré autour de ), et le même argument montre l'attente de la partie négative de diverge. Par conséquent, l'attente de lui-même n'est pas définie.E [ ( 1 / X ) + ] 1 / X 0 1 / X 1 / XxE[(1/X)+]1/X01/X1/X

Soit dit en passant, le même argument montre que lorsque a une probabilité concentrée sur un côté de , comme toute distribution exponentielle ou gamma (avec un paramètre de forme inférieur à ), alors l'attente positive diverge, mais l'espérance négative est nulle. Dans ce cas, l'attente est définie, mais elle est infinie.0 1X01


3
Ai-je raison de soupçonner que l'hypothèse est cruciale pour le résultat? Je veux dire, nous avons des cas où a des moments au moins pour une certaine gamme de paramètres impliqués, et il semble que ce soit dans les cas où , comme Gamma / Inverse-Gamma1 / X f X ( 0 ) = 0fX(0)01/XfX(0)=0
Alecos Papadopoulos

3
@Alecos Non, cette hypothèse n'est pas cruciale. Cela et la continuité de à rendent l'argument simple, mais aucun n'est essentiel. Considérons un avec une densité proportionnelle à pour et . Ceci est continu à mais n'a aucune attente. 0 X f X - 1 / log ( x ) 0 < x < 1 / e f X ( 0 ) = 0 0 1 / Xf0XfX1/log(x)0<x<1/efX(0)=001/X
whuber

15

Les rapports et les inverses sont principalement significatifs avec des variables aléatoires non négatives, donc je vais supposer presque sûrement. Ensuite, si est une variable discrète qui prend la valeur zéro avec une probabilité positive, nous diviserons avec zéro avec une probabilité positive, ce qui explique pourquoi l'espérance de n'existera pas.X 1 / XX0X1/X

Regardons maintenant le cas de la distribution continue, avec une variable aléatoire avec la fonction de densité . Nous supposerons que et que est continu (au moins à zéro). Ensuite, il y a un tel que pour . La valeur attendue de est donnée par maintenant la variable d'intégration en , nous avons , obtention f ( x ) f ( 0 ) > 0 f ϵ > 0 f ( x ) > ϵ 0 x < ϵ 1 / X E 1X0f(x)f(0)>0fϵ>0f(x)>ϵ0x<ϵ1/Xu = 1 / x d u = - 1

E1X=01xf(x)dx
u=1/xE 1du=1x2dx
E1X=0uf(1u)(1u)2du=01uf(1u)du
Maintenant, par hypothèse sur donc sur , en utilisant ceci nous avons montrant que l'attente n'existe pas. Un exemple remplissant cette hypothèse est la distribution exponentielle avec le taux 1.[ 0 , ϵ ) f ( 1f(u)>ϵ[0,ϵ)(1/ϵ,)E1f(1u)>1/ϵ(1/ϵ,)
E1X>ϵ1/ϵ1udu=

Nous avons donné une réponse pour les inverses, qu'en est-il des ratios? Soit le rapport de deux variables aléatoires non négatives. S'ils sont indépendants, nous pouvons écrire donc cela se réduit à peu près au premier cas et il n'y a pas grand chose de nouveau à dire . Et s'ils sont dépendants, avec une factorisation de densité conjointe comme Ensuite, nous obtenons (en utilisant la même substitution que ci-dessus) et nous pouvons raisonner comme ci-dessus sur l'intégrale intérieure. Le résultat sera que si la densité conditionnelle (étant donnéZ=Y/X

EZ=EYX=EYE1x
f(x,y)=f(xy)g(y)
EYX=0y01xf(xy)dxg(y)dy=0y01uf(1uy)dug(y)dy
y) est positive et continue à zéro, pour un ensemble de à probabilité marginale positive, l'espérance sera infinie. Je suppose qu'il ne sera pas facile de trouver des exemples où l'espérance marginale de est infinie, mais l'espérance du rapport est finie, sauf s'il existe une corrélation parfaite. Ce serait bien de voir de tels exemples!y1/XY/X
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.