Contoh menunjukkan

12

Cara membuat contoh distribusi probabilitas yang memegang berlaku, dengan asumsi ?E(1X)=1E(X)P(X0)=1

Ketidaksetaraan yang mengikuti dari ketidaksetaraan Jensen untuk RV bernilai positif adalah seperti (ketimpangan terbalik jika ). Ini karena pemetaan adalah cembung untuk dan cekung untuk . Setelah kondisi kesetaraan dalam ketidaksetaraan Jensen, saya kira distribusinya harus merosot agar kesetaraan yang diperlukan tetap berlaku. Kasus sepele di mana kesetaraan berlaku tentu saja jika ae. Berikut adalah contoh yang saya temukan dalam buku masalah: Pertimbangkan variabel acak diskrit sedemikian rupa sehinggaXE(1X)1E(X)X<0x1xx>0x<0X=1XP(X=1)=19,P(X=12)=P(X=2)=49 . Maka dengan mudah diverifikasi bahwa .E(1X)=1E(X)=1

Contoh ini menunjukkan bahwa tidak harus positif (atau negatif) untuk kesetaraan dalam judul. Distribusi di sini juga tidak merosot.X

Bagaimana saya membuat contoh, mungkin seperti contoh yang saya temukan di buku? Apakah ada motivasi?

StubbornAtom
sumber
Contoh Anda berlaku untuk variabel acak apa pun yang merupakan konstanta bukan nol. Juga contoh kedua Anda tidak merosot.
Michael R. Chernick
3
Ketidaksetaraan tidak mengikuti dari Ketimpangan Jensen tanpa lebih jauh menganggap bahwa hampir pasti positif. X
whuber
@MichaelChernick Saya tidak menyiratkan untuk mengatakan bahwa contoh memiliki distribusi yang menurun.
StubbornAtom
Saya merujuk pada pernyataan Anda, "Mengikuti kondisi kesetaraan dalam ketidaksetaraan Jensen, saya kira distribusinya harus merosot agar kesetaraan yang disyaratkan berlaku." Namun Anda menunjukkan contoh yang tidak menghasilkan.
Michael R. Chernick
1
@whuber Saya hanya ingin tahu bagaimana menemukan contoh di mana kesetaraan dalam judul itu benar.
StubbornAtom

Jawaban:

18

Mari kita buat semua contoh yang mungkin dari variabel acak yang . Kemudian, di antara mereka, kita dapat mengikuti beberapa heuristik untuk mendapatkan contoh sesederhana mungkin. Heuristik ini terdiri dari memberikan nilai yang paling sederhana untuk semua ekspresi yang keluar dari analisis pendahuluan. Ini ternyata menjadi contoh buku teks.E [ X ] E [ 1 / X ] = 1XE[X]E[1/X]=1

Analisis awal

Ini hanya memerlukan sedikit analisis berdasarkan definisi. Solusinya adalah hanya kepentingan sekunder: tujuan utamanya adalah untuk mengembangkan wawasan untuk membantu kita memahami hasil secara intuitif.

Pertama-tama amati bahwa Ketimpangan Jensen (atau Ketimpangan Cauchy-Schwarz) menyiratkan bahwa untuk variabel acak positif , , dengan persamaan memegang jika dan hanya jika adalah "merosot": itu adalah, hampir pasti konstan. Ketika adalah variabel acak negatif, positif dan hasil sebelumnya berlaku dengan tanda ketidaksetaraan terbalik. Akibatnya, setiap contoh di mana harus memiliki probabilitas positif menjadi negatif dan probabilitas positif menjadi positif.E [ X ] E [ 1 / X ] 1 X X X - X E [ 1 / X ] = 1 / E [ X ]XE[X]E[1/X]1XXXXE[1/X]=1/E[X]

Wawasan di sini adalah bahwa setiap dengan entah bagaimana harus "menyeimbangkan" ketidaksetaraan dari bagian positifnya terhadap ketimpangan di arah lain dari bagian negatifnya. Ini akan menjadi lebih jelas seiring berjalannya waktu.E [ X ] E [ 1 / X ] = 1XE[X]E[1/X]=1

Mempertimbangkan nol variabel acak . Langkah awal dalam merumuskan definisi ekspektasi (setidaknya ketika hal ini dilakukan secara umum dengan menggunakan teori ukuran) adalah menguraikan menjadi bagian positif dan negatifnya, yang keduanya merupakan variabel acak positif:XXX

Y=Positive part(X)=max(0,X);Z=Negative part(X)=min(0,X).

Mari kita pikirkan sebagai campuran dari dengan berat badan dan dengan berat di mana Jelas Ini akan memungkinkan kita untuk menulis harapan dan dalam hal harapan variabel positif dan .Y p - Z 1 - p p = Pr ( X > 0 ) , 1 - p = Pr ( X < 0 ) . 0 < p < 1. X 1 / X Y ZXYpZ1p

p=Pr(X>0), 1p=Pr(X<0).
0<p<1.
X1/XYZ

Untuk menyederhanakan aljabar yang akan datang sedikit, perhatikan bahwa men-rescaling secara seragam dengan angka tidak mengubah tetapi itu mengalikan dan masing-masing dengan . Untuk positif , ini hanya sebesar memilih unit pengukuran . Sebuah negatif beralih peran dari dan . Oleh karena itu, memilih tanda tepat dapat kita anggapσ E [ X ] E [ 1 / X ] E [ Y ] E [ Z ] σ σ X σ Y Z σ E [ Z ] = 1  dan  E [ Y ] E [ Z ] .XσE[X]E[1/X]E[Y]E[Z]σσXσYZσ

(1)E[Z]=1 and E[Y]E[Z].

Notasi

Itu saja untuk penyederhanaan awal. Untuk membuat notasi yang bagus, marilah kita menulis

μ=E[Y]; ν=E[1/Y]; λ=E[1/Z]

untuk tiga harapan kita tidak bisa mengendalikan. Ketiga kuantitas itu positif. Jensen Inequality menegaskan

(2)μν1 and λ1.

Hukum Probabilitas Total menyatakan harapan dan dalam hal jumlah yang telah kami sebutkan:1 / XX1/X

E[X]=E[XX>0]Pr(X>0)+E[XX<0]Pr(X<0)=μp(1p)=(μ+1)p1

dan, karena memiliki tanda yang sama dengan ,X1/XX

E[1X]=E[1XX>0]Pr(X>0)+E[1XX<0]Pr(X<0)=νpλ(1p)=(ν+λ)pλ.

Menyamakan produk dari dua ekspresi ini dengan memberikan hubungan penting antara variabel:1

(*)1=E[X]E[1X]=((μ+1)p1)((ν+λ)pλ).

Reformulasi Masalah

Misalkan bagian dari - dan --are setiap variabel acak positif (degenerate atau tidak). Itu menentukan dan . Kapan kita dapat menemukan , dengan , untuk yang mana berlaku?Y Z μ , ν , λ p 0 < p < 1 ( )XYZμ,ν,λp0<p<1()

Ini jelas mengartikulasikan "menyeimbangkan" wawasan sebelumnya menyatakan hanya samar-samar: kita akan mengadakan dan tetap dan harapan untuk menemukan nilai yang tepat menyeimbangkan kontribusi relatif mereka untuk . Meskipun tidak segera jelas bahwa seperti kebutuhan yang ada, yang jelas adalah bahwa hal itu tergantung hanya pada saat-saat , , , dan . Masalahnya dikurangi menjadi aljabar yang relatif sederhana - semua analisis variabel acak telah selesai.Z p X p E [ Y ] E [ 1 / Y ] E [ Z ] E [ 1 / Z ]YZpXpE[Y]E[1/Y]E[Z]E[1/Z]

Larutan

Masalah aljabar ini tidak terlalu sulit untuk dipecahkan, karena paling buruk persamaan kuadrat untuk dan ketidaksetaraan yang mengatur dan relatif sederhana. Memang, mengatakan produk dari akarnya dan yaitup ( 1 ) ( 2 ) ( ) p 1 p 2()p(1)(2)()p1p2

p1p2=(λ1)1(μ+1)(ν+λ)0

dan jumlahnya adalah

p1+p2=(2λ+λμ+ν)1(μ+1)(ν+λ)>0.

Karena itu kedua akar tersebut harus positif. Selanjutnya, rata-rata mereka kurang dari , karena1

1(p1+p2)2=λμ+ν+2μν2(μ+1)(ν+λ)>0.

(Dengan melakukan sedikit aljabar, tidak sulit untuk menunjukkan bahwa akar yang lebih besar tidak melebihi , juga.)1

Teorema

Inilah yang kami temukan:

Mengingat setiap dua variabel acak positif dan (setidaknya salah satunya adalah nondegenerasi) yang , , , dan ada dan terbatas. Lalu ada satu atau dua nilai , dengan , yang menentukan variabel campuran dengan bobot untuk dan berat untuk dan untuk mana . Setiap instance variabel acak dengan adalah dari formulir ini.Z E [ Y ] E [ 1 / Y ] E [ Z ] E [ 1 / Z ] p 0 < p < 1 XYZE[Y]E[1/Y]E[Z]E[1/Z]p0<p<1XY 1 - p - Z E [ X ] E [ 1 / X ] = 1 X E [ X ] E [ 1 / X ] = 1pY1pZE[X]E[1/X]=1XE[X]E[1/X]=1

Itu benar-benar memberi kita banyak contoh!


Membangun Contoh yang Mungkin Paling Sederhana

Setelah mengkarakterisasi semua contoh, mari kita lanjutkan untuk membangun satu yang sesederhana mungkin.

  • Untuk bagian negatif , mari kita pilih variabel degenerasiZ - jenis variabel acak yang paling sederhana. Ini akan diskalakan untuk membuat nilainya , di mana . Solusi dari termasuk , menguranginya menjadi persamaan linear yang mudah dipecahkan: satu-satunya root positif adalah1λ=1()p1=0

    (3)p=11+μ+11+ν.
  • Untuk bagian positif , kita tidak memperoleh apa pun yang berguna jika merosot, jadi mari kita berikan beberapa probabilitas hanya pada dua nilai positif yang berbeda , katakan . YYa<bPr(X=b)=q Dalam hal ini definisi harapan memberi

    μ=E[Y]=(1q)a+qb; ν=E[1/Y]=(1q)/a+q/b.
  • Untuk membuat ini lebih sederhana, mari kita membuat dan identik:Y1/Y ini memaksa dan . Sekarangq=1q=1/2a=1/b

    μ=ν=b+1/b2.

    Solusi disederhanakan menjadi(3)

    p=21+μ=42+b+1/b.
  • Bagaimana kita bisa membuat ini melibatkan angka sederhana? Karena dan , tentu saja . Mari kita pilih angka paling sederhana lebih besar dari untuk ; yaitu, . Rumus sebelumnya menghasilkan dan kandidat kami untuk contoh paling sederhana yang mungkin karena itu adalaha<bab=1b>11bb=2p=4/(2+2+1/2)=8/9

    Pr(X=2)=Pr(X=b)=Pr(Y=b)p=qp=1289=49;Pr(X=1/2)=Pr(X=a)=Pr(Y=a)p=qp==49;Pr(X=1)=Pr(Z=1)(1p)=1p=19.

Ini adalah contoh yang ditawarkan di buku teks.

whuber
sumber
2
Jawaban bagus. Terlepas dari skeptisisme awal saya, mudah untuk menemukan contoh dengan solusi berbeda . p(0,1)
P.Windridge
8

Seperti yang telah Anda sebutkan, jika positif maka hanya terjadi ketika hampir pasti konstan. Kalau tidak, Anda perlu untuk mengambil nilai negatif dan positif.XE(1/X)=1/E(X)XX

Untuk membangun contoh seperti itu, pertama sesederhana mungkin. Asumsikan mengambil dua nilai, dan , dengan probabilitas dan masing masing. Kemudian dan Untuk memiliki kami memerlukan yang mengatur ulang persyaratan Ini berarti satu-satunya solusi yang mungkin harus memiliki , atau , atau . Dalam semua kasus, kita kembali ke kasus degenerasi: konstan.aXabp1p

E(X)=ap+b(1p)
E(1/X)=1ap+1b(1p).
1/E(X)=E(1/X)
ap+b(1p)=11ap+1b(1p)
(ab)2p(1p)=0.
a=bp=0p=1X

Percobaan berikutnya: distribusi dengan tiga nilai yang mungkin. Di sini ada banyak lagi pilihan. Contoh yang Anda kutip mencoba sehingga memiliki distribusi yang sama. Jika kita tahu mengambil tiga nilai, itu pasti salah satu dari nilainya adalah atau , dan dua lainnya harus dan untuk beberapa pilihan . Untuk kepastian mari kita coba , dan . Kemudian Untuk memenuhi persyaratan kami menuntut atauX1/XX11a1/aaP(X=a)=P(X=1/a)=pP(X=1)=12p

(1)E(1/X)=E(X)=(a+1a)p(12p)=(2+a+1a)p1.
1/E(X)=E(1/X)E(X)=1E(X)=1. Ekspresi (1) tidak pernah kecuali , yang mengembalikan kita ke kasus degenerasi lagi. Jadi bertujuan untuk , yang memberikan Ekspresi (2) memberikan seluruh keluarga solusi yang memenuhi persyaratan. Satu-satunya kendala adalah bahwa harus positif. Contoh yang Anda kutip mengambil . Hanya case yang mengalami degenerasi.1p=0E(X)=1aa=2a=1
(2)(2+a+1a)p=2p=22+a+1a=2a(a+1)2.
aa=2a=1
grand_chat
sumber
1
Saya menganggap baris pertama Anda dimaksudkan sebagai "jika positif maka terjadi hanya ketika hampir pasti konstan", seperti dalam pertanyaan . Ini keluar dari (bukti) ketidaksetaraan Jensen, di mana kami juga menggunakan fakta bahwa tidak linier. E [ 1 / X ] = 1 / E [ X ] X h ( x ) = 1 / xXE[1/X]=1/E[X]Xh(x)=1/x
P.Windridge
@ P.Wridge, Anda benar! Tetap.
grand_chat