Grenze von

8

Ich frage mich, ob das Limit: wobei \ overline {F} = 1-F die Schwanzverteilungsfunktion ist, \ overline {F} (x) = 1 - F (x) , wobei F die kumulative Verteilungsfunktion ist

limxxF¯(x)=0
¯ F (x)=1-F(x)FF¯=1FF¯(x)=1F(x)F

Als x , F¯0 , also haben wir eine unbestimmte Form, schreibe ich wie folgt um:

limxF¯(x)1/x
und verwende die Regel von L'Hôpital :
limxf(x)1/x2
aber dies erfordert die Kenntnis von f als x was ich nicht tue haben.

Wie bewerte ich diese Grenze?

dimebucker91
quelle
1
Sie sollten Ihre Annahmen klarstellen: Das behauptete Ergebnis ist im Allgemeinen nicht wahr (z. B. für Pareto), gilt jedoch, wenn X positiv ist E[X]< . Hinweis: Verwenden Sie xPr{X>x}E[X1{X>x}] .
Yves
@Solitary nitpicking ein wenig, aber der Zustand ist tatsächlich etwas schwächer, was Integrierbarkeit erfordert. Zum Beispiel kann man xpPr{|X|>x}0 impliziert E[|X|q]< für alle q streng kleiner als p . Dies gilt jedoch nicht für q=p im Allgemeinen. Ich denke, die Dichte proportional zu 1/[xp+1logx] für x>2 gibt das Gegenbeispiel, aber ich gebe zu, dass ich die Mathematik nicht durchgeführt habe.
Kerl
Dies wird in einem Artikel mit einem albernen Namen bewiesen , der Darth-Vader-Regel auf Seite 2. In diesem Artikel geht es nicht genau um Ihre Frage, aber sie beantworten Ihre Frage darin.
RayVelcoro

Antworten:

8

Unter der Annahme, dass die Erwartung besteht und der Einfachheit halber, dass die Zufallsvariable eine Dichte hat (äquivalent dazu, dass sie in Bezug auf das Lebesgue-Maß absolut kontinuierlich ist), werden wir dies zeigen

limxx[1F(x)]=0

Die Existenz der Erwartung impliziert, dass die Verteilung im Gegensatz zur Cauchy-Verteilung nicht sehr fettschwanzig ist.

Da die Erwartung besteht, haben wir das

E(X)=limuuxf(x)dx=xf(x)dx<

und das ist immer gut definiert. Beachten Sie nun, dass für ,u0

uxf(x)dxuuf(x)dx=u[1F(u)]

und aus diesen beiden folgt das

limu[E(X)uxf(x)dx]=limuuxf(x)dx=0

wie im Limit nähert sich der Term der Erwartung. Durch unsere Ungleichheit und die Nicht-Negativität des Integranden haben wir dann unser Ergebnis.uxf(x)dx

Hoffe das hilft.

JohnK
quelle
4
Vielen Dank (+1). Re Entspannen die Annahme: wenn zum Beispiel eine Cauchy - Verteilung ist, dann ist der Grenzwert von ist , nicht Null. Für Student Verteilungen mit einem Parameter kleiner als ( bezeichnet das Cauchy) ist diese Grenze unendlich. x ( 1 - F ( x ) ) 1 / π t 1 1Fx(1F(x))1/πt11
whuber
5

Für jede nicht - negativen Zufallsvariablen , wir haben (siehe (21.9) von Billingsley ‚s Probability und messen ): Für führt das Ersetzen von durch von zu Y

(*)E[Y]=YdP=0P[Y>t]dt.
M>0YXI[X>M]()
(**)XI[X>M]dP=MP[X>M]+MP[X>t]dtMP[X>M].

Angenommen, ist integrierbar (dh ), dann konvergiert die linke Seite von durch den dominierten Konvergenzsatz gegen als . Daraus folgt Daher folgt das Ergebnis.XE[|X|]<()0M

0lim supMMP[X>M]lim infMMP[X>M]0.

Bemerkung: Dieser Beweis verwendet eine Maßtheorie, die meiner Meinung nach sinnvoll ist, da der Beweis, dass Dichten vorhanden sind, keine Mehrheitsklasse von Zufallsvariablen anspricht, beispielsweise diskrete Zufallsvariablen wie Binomial und Poisson.

Zhanxiong
quelle
4
Der Beweis erfordert nicht wirklich, dass integrierbar ist, sondern nur, dass für ein endliches , daher kann einen schweren linken Schwanz haben. Die Identität aus Billingsleys Buch wird sonst nicht wirklich benötigt, da für mit der Wahrscheinlichkeit eins gegen tendiert . X 1 { X > x 0 } x 0 X X 1 { X > x } 0 x XX1{X>x0}x0XX1{X>x}0x
Yves
@ Yves @ guy Ja, guter Punkt. Integrierbarkeit ist nur eine ausreichende Bedingung, aber niemals eine notwendige. Es könnte jedoch die prägnanteste und normalste Bedingung sein, die auferlegt wird, um die von OP angeforderte Beziehung abzuleiten.
Zhanxiong
OK. Prägnante Alternative: . E(X+)<
Yves
@ Yves natürlich :)
Zhanxiong