Referensi: Ekor dari invers cdf

10

Saya hampir yakin saya sudah melihat hasil berikut dalam statistik tetapi saya tidak ingat di mana.

Jika X adalah variabel acak positif dan E(X)< maka εF1(1ε)0 ketika ε0+ , di mana F adalah cdf dari X .

Hal ini mudah untuk melihat secara geometris dengan menggunakan kesetaraan E(X)=1F dan dengan mempertimbangkan pemotongan horisontal di ε daerah di bawah kurva dari integran 1F .

Apakah Anda tahu referensi untuk hasil ini dan apakah itu memiliki nama?

Stéphane Laurent
sumber
3
"Lebih umum" adalah aplikasi integrasi langsung oleh bagian-bagian. Itu hampir tidak membutuhkan referensi!
whuber
@whuber Saya meminta referensi tentang hasil pertama juga.
Stéphane Laurent
2
Anda mungkin telah melihatnya, atau setidaknya sesuatu yang sangat mirip, di stats.stackexchange.com/questions/18438 . Hasil itu disebabkan oleh substitusi dalam integral, yang sekali lagi begitu mendasar orang tidak akan berharap itu telah dicatat dalam literatur atau diberi nama khusus.
whuber
1
ϵF1(1ϵ)0FgF
2
xF¯(x)0xF¯:=1FxPr{X>x}E[X1{X>x}]F1F

Jawaban:

2

Untuk menangani "pekerjaan kecil" yang disarankan oleh Yves dalam komentar, geometri menyarankan bukti yang kuat dan sepenuhnya umum.

Jika Anda suka, Anda dapat mengganti semua referensi ke area dengan integral dan referensi untuk "sewenang-wenang" dengan argumen epsilon-delta yang biasa. Terjemahannya mudah.

G

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

Angka

Angka tersebut plot bagian dari . (Perhatikan lompatan dalam grafik: distribusi khusus ini tidak kontinu.) ambang batas besar ditunjukkan dan probabilitas kecil telah dipilih (sehingga ).GTϵG(T)G1(ϵ)T

Kami siap berangkat: nilai yang kami minati, (yang ingin ditunjukkan konvergen) to zero), adalah luas kotak putih dengan tinggi dan basis dari hingga . Mari kita kaitkan area ini dengan ekspektasi , karena satu-satunya asumsi yang tersedia bagi kita adalah bahwa ekspektasi ini ada dan terbatas.ϵF1(1ϵ)=ϵG1(ϵ)ϵx=0x=G1(ϵ)F

Bagian positif dari ekspektasi adalah area di bawah kurva survival (dari hingga ):E+EF(X)0

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

Karena harus terbatas (jika tidak harapan itu sendiri tidak akan ada dan terbatas), kita dapat memilih begitu besar sehingga area di bawah antara dan menyumbang semua, atau hampir semua, dari .E+TG0TE+

Semua bagian sekarang ada di tempatnya: grafik , ambang , tinggi kecil , dan titik akhir kanan menyarankan diseksi ke dalam area yang kami dapat menganalisis:GTϵG1(ϵ)E+

  • Saat bergerak ke nol dari atas, area persegi panjang putih dengan basis menyusut ke nol, karena tetap konstan. ( Inilah mengapa diperkenalkan; itu adalah ide kunci untuk demonstrasi ini. )ϵ0x<TTT

  • Area biru dapat dibuat sedekat mungkin dengan , dengan memulai dengan besar yang sesuai dan kemudian memilih kecil . E+Tϵ

  • Akibatnya, area yang tersisa - yang jelas tidak lebih besar dari persegi panjang putih dengan basis dari ke - dapat dibuat kecil secara sewenang-wenang. (Dengan kata lain, abaikan saja area merah dan emas.)x=Tx=G1(ϵ)

Dengan demikian, kami telah memecah menjadi dua bagian yang area keduanya konvergen menjadi nol. ϵG1(ϵ) Jadi, , QED.ϵG1(ϵ)0

whuber
sumber