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]≥1XXX−XE[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
YZ=Positive part(X)=max(0,X);=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 ZXYp−Z1−p
p=Pr(X>0), 1−p=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σ
E[Z]=1 and E[Y]≥E[Z].(1)
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
μν≥1 and λ≥1.(2)
Hukum Probabilitas Total menyatakan harapan dan dalam hal jumlah yang telah kami sebutkan:1 / XX1/X
E[X]=E[X∣X>0]Pr(X>0)+E[X∣X<0]Pr(X<0)=μp−(1−p)=(μ+1)p−1
dan, karena memiliki tanda yang sama dengan ,X1/XX
E[1X]=E[1X∣X>0]Pr(X>0)+E[1X∣X<0]Pr(X<0)=νp−λ(1−p)=(ν+λ)p−λ.
Menyamakan produk dari dua ekspresi ini dengan memberikan hubungan penting antara variabel:1
1=E[X]E[1X]=((μ+1)p−1)((ν+λ)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 ] = 1pY1−p−ZE[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
p=11+μ+11+ν.(3)
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]=(1−q)a+qb; ν=E[1/Y]=(1−q)/a+q/b.
Untuk membuat ini lebih sederhana, mari kita membuat dan identik:Y1/Y ini memaksa dan . Sekarangq=1−q=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)(1−p)=1−p=19.
Ini adalah contoh yang ditawarkan di buku teks.