Références: Queue du cdf inverse

10

Je suis presque sûr d'avoir déjà vu le résultat suivant dans les statistiques mais je ne me souviens pas où.

Si est une variable aléatoire positive et alors lorsque , où est le cdf de .E ( X ) < ε F - 1 ( 1 - ε ) 0 ε 0 + F XXE(X)<εF1(1ε)0ε0+FX

Ceci est facile à voir géométriquement en utilisant l'égalité et en considérant une coupe horizontale à de l'aire sous la courbe de l'intégrande .ε 1 - FE(X)=1Fε1F

Connaissez-vous une référence pour ce résultat et s'il a un nom?

Stéphane Laurent
la source
3
Le «plus généralement» est une application simple de l'intégration par parties. Cela n'a à peine besoin d'une référence!
whuber
@whuber, je demande aussi une référence sur le premier résultat.
Stéphane Laurent
2
Vous l'avez peut-être vu, ou du moins quelque chose de très similaire, sur stats.stackexchange.com/questions/18438 . Ce résultat est dû à une substitution dans l'intégrale, qui est encore si basique qu'on ne s'attendrait pas à ce qu'elle ait été particulièrement notée dans la littérature ou donnée un nom spécial.
whuber
1
@whuber Je ne vois pas dans votre lien. De plus, le résultat que je mentionne est également vrai pour un discret (en prenant pour une séquence et en remplaçant par dans l'énoncé plus général). Le premier résultat est même vrai pour un général , je pense. F g FϵF1(1ϵ)0FgF
Stéphane Laurent
2
Je crois que cela pourrait être utilisé sans aucune référence à condition qu'il soit énoncé en termes plus classiques. En gros, c'est: pourxavec ˉ F :=1-F, conséquence directe de:xxF¯(x)0xF¯:=1F et de convergence dominée. Un peu de travail est nécessaire pour obtenir l'énoncé de l'inverse (gauche continu) F - 1 dans le cas général où F peut avoir des étapes. xPr{X>x}E[X1{X>x}]F1F
Yves

Réponses:

2

Pour gérer le "petit travail" suggéré par Yves dans les commentaires, la géométrie suggère une preuve rigoureuse et tout à fait générale.

Si vous le souhaitez, vous pouvez remplacer toutes les références aux zones par des intégrales et les références à "arbitraire" par les arguments epsilon-delta habituels. La traduction est simple.

Pour configurer l'image, soit la fonction de survieG

G(x)=1F(x)=Pr(X>x).

Figure

La figure représente une partie de . (Remarquez le saut dans le graphique: cette distribution particulière n'est pas continue.) Un grand seuil est affiché et une toute petite probabilité a été sélectionnée (de sorte que ).T ϵ G ( T ) G - 1 ( ϵ ) TGTϵG(T)G1(ϵ)T

Nous sommes prêts à partir: la valeur qui nous intéresse, (celle que nous voulons montrer converge à zéro), est l'aire du rectangle blanc avec une hauteur et une base de à . Relions ce domaine à l'attente de , car la seule hypothèse dont nous disposons est que cette attente existe et est finie.ϵ x = 0 x = G - 1 ( ϵ ) FϵF1(1ϵ)=ϵG1(ϵ)ϵx=0x=G1(ϵ)F

La partie positive de l'attente est l'aire sous la courbe de survie (de à ):E F ( X ) 0 E+EF(X)0

EF(X)=E+E=0G(x)dx0F(x)dx.

Parce que doit être fini (car sinon l'attente elle-même n'existerait pas et serait finie), nous pouvons choisir si grand que la zone sous entre et représente tout, ou presque, de . T G 0 T E +E+TG0TE+

Toutes les pièces sont maintenant en place: le graphique de , le seuil , la petite hauteur et le point d'extrémité droit suggèrent une dissection de dans les zones que nous peut analyser:T ϵ G - 1 ( ϵ ) E +GTϵG1(ϵ)E+

  • Lorsque passe à zéro par le haut, la zone du rectangle blanc de base se réduit à zéro, car reste constant. ( C'est pourquoi été introduit; c'est l'idée clé de cette démonstration. )0 x < T T Tϵ0x<TTT

  • La zone bleue peut être rendue aussi proche de que vous le souhaitez, en commençant par un suffisamment grand , puis en choisissant petit . T ϵE+Tϵ

  • Par conséquent, la zone restante - qui n'est clairement pas plus grande que le rectangle blanc avec une base de à peut être rendue arbitrairement petite. (En d'autres termes, ignorez simplement les zones rouges et or.)x = G - 1 ( ϵ )x=Tx=G1(ϵ)

Nous avons ainsi divisé en deux morceaux dont les aires convergent toutes deux vers zéro. ϵG1(ϵ) Ainsi, , QED.ϵG1(ϵ)0

whuber
la source