極限


8

限界を示すことについて疑問に思っています: where \ overline {F} = 1-F is a tail distribution function、\ overline {F} (x)= 1−F(x)、ここでFは累積分布関数です ¯ F =1-F ¯ FX=1-FXF

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

xF¯0:我々は不定形を有するので、私は書き換え

limxF¯(x)1/x
及び使用ロピタルの定理
limxf(x)1/x2
が、これはの知識が必要fとしてx私はありません持ってる。

この制限を評価するにはどうすればよいですか?


1
仮定を明確にする必要があります。主張された結果は一般に(パレートの場合など)真実ではありませんが、Xが正の場合に成立しますE[X]<。ヒント:xPr{X>x}E[X1{X>x}]ます。
Yves

@孤独なつまらないものですが、実際には状態はやや弱く、統合性が必要です。たとえば、は、厳密に未満のすべてのに対してを意味します。しかし、一般的にには当てはまりません。私の頭の上では、に比例する密度が反例になると思いますが、私は計算を完了していないことを告白します。E [ | X | Q ] < QxpPr{|X|>x}0E[|X|q]<q q = p 1 / [ x p + 1 log x ] x > 2pq=p1/[xp+1logx]x>2
2015年

これは 2ページのダースベイダールールという、ばかげた名前の論文で証明されています。この論文は、あなたの質問について正確に説明しているわけではありませんが、あなたの質問に答えています。
RayVelcoro 2015年

回答:


8

期待が存在し、確率変数が密度を持っていると仮定して(同等に、それはルベーグ測度に関して完全に連続的であると)、以下を示します。

limxx[1F(x)]=0

期待値が存在するということは、たとえばコーシー分布とは異なり、分布があまり太っていないことを意味します。

期待が存在するので、

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

これは常に明確に定義されています。今のことに注意してくださいu0

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

そしてこれら二つからそれはそれに従います

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

制限のように 期待に近づきます。不等式と被積分関数の非否定性により、結果が得られます。uxf(x)dx

お役に立てれば。


4
ありがとう(+1)。仮定を緩和します。たとえば、がコーシー分布である場合、xの制限値1 F x 1 / πであり、ゼロではありません。パラメーターが1未満(1はコーシーを示す)のスチューデントt分布の場合、この制限は無限です。Fx(1F(x))1/πt11
whuber

5

任意の非負確率変数のために、我々は((21.9)のを見たビリング確率と尺度): E [ Y ] = Y用のD P = 0 P [ Y > T ] D T 以下のためのM > 0、交換YをすることによってX I [ X > M ]からのリード線Y

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

可積分(つまり、E [ | X | ] < )であると仮定すると、の左側は、支配的な収束定理によってM として0に収束します。それは、その次 0 LIM SUP M M P [ X > M ] LIM INFXE[|X|]<()0M したがって、結果は以下の通りです。

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

備考:この証明は、いくつかの測度理論を使用します。密度の存在を仮定する証明は、確率変数の過半数のクラス(たとえば、二項分布やポアソンなどの離散確率変数)に対応していないため、価値があると思います。


4
XX1{X>x0}x0XX1{X>x}0x

@ Yves @ guyはい、良い点です。完全性は十分な条件の1つにすぎませんが、必要条件ではありません。ただし、OPから求められた関係を導き出すために課された最も簡潔で通常の状態である可能性があります。
Zhanxiong、2015年

E(X+)<

@Yvesもちろん:)
Zhanxiong
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.