Stwórzmy wszystkie możliwe przykłady zmiennych losowych dla których E [ X ] E [ 1 / X ] = 1 . Następnie pośród nich możemy zastosować heurystykę, aby uzyskać najprostszy możliwy przykład. Te heurystyki polegają na podaniu najprostszych możliwych wartości dla wszystkich wyrażeń, które wypadają ze wstępnej analizy. Okazuje się, że jest to podręcznikowy przykład.XE[X]E[1/X]=1
Wstępna analiza
Wymaga to tylko odrobiny analizy opartej na definicjach. Rozwiązanie ma jedynie drugorzędne znaczenie: głównym celem jest wypracowanie spostrzeżeń, które pomogą nam intuicyjnie zrozumieć wyniki.
Najpierw zauważ, że nierówność Jensena (lub nierówność Cauchy'ego-Schwarza) implikuje, że dla dodatniej zmiennej losowej , E [ X ] E [ 1 / X ] ≥ 1 , z równością utrzymującą się wtedy i tylko wtedy, gdy X jest „zdegenerowany”: to znaczy , X jest prawie na pewno stały. Kiedy X jest ujemną zmienną losową, - X jest dodatnia, a poprzedni wynik jest zachowany z odwróconym znakiem nierówności. W związku z tym każdy przykład, w którym E [ 1 / X ] = 1 / EXE[X]E[1/X]≥1XXX−X musi mieć dodatnie prawdopodobieństwo bycia ujemnym i dodatnie prawdopodobieństwo bycia dodatnim.E[1/X]=1/E[X]
Wgląd tutaj jest taki, że każdy z E [ X ] E [ 1 / X ] = 1 musi w jakiś sposób „równoważyć” nierówność od jej części dodatniej do nierówności w przeciwnym kierunku od części ujemnej. Z czasem stanie się to wyraźniejsze.XE[X]E[1/X]=1
Rozważmy dowolną niezerową zmienną losową . Pierwszym krokiem w formułowaniu definicji oczekiwania (przynajmniej wtedy, gdy odbywa się to w pełnej ogólności przy użyciu teorii miary), jest dekompozycja X na części dodatnią i ujemną, z których obie są dodatnimi zmiennymi losowymi:XX
YZ=Positive part(X)=max(0,X);=Negative part(X)=−min(0,X).
Załóżmy, że w jako mieszaniny z Y z masą p i - Z o masie 1 - s , gdzie s = Pr ( X > 0 ) , 1 - P = Pr ( X < 0 ) . Oczywiście 0 < p < 1. Umożliwi nam to zapisanie oczekiwań X i 1 / XXYp−Z1−p
p=Pr(X>0), 1−p=Pr(X<0).
0<p<1.
X1/Xpod względem oczekiwań pozytywnych zmiennych i Z .YZ
Aby nieco uprościć nadchodzącą algebrę, zwróć uwagę, że równomierne przeskalowanie o liczbę σ nie zmienia E [ X ] E [ 1 / X ] - ale pomnoża E [ Y ] i E [ Z ] każdy przez σ . Dla pozytywnej Ď , to po prostu wynosi wyboru jednostek pomiaru X . Ujemny σ przełącza role Y i Z . Wybór znaku σXσE[X]E[1/X]E[Y]E[Z]σσXσYZσodpowiednio możemy zatem przypuszczać, że
E[Z]=1 and E[Y]≥E[Z].(1)
Notacja
To wszystko dla wstępnych uproszczeń. Aby stworzyć ładny zapis, napiszmy więc
μ=E[Y]; ν=E[1/Y]; λ=E[1/Z]
dla trzech oczekiwań, których nie możemy kontrolować. Wszystkie trzy ilości są dodatnie. Jak twierdzi nierówność Jensena
μν≥1 and λ≥1.(2)
Prawo całkowitego prawdopodobieństwa wyraża oczekiwania i 1 / X w odniesieniu do nazwanych przez nas wielkości:X1/X
E[X]=E[X∣X>0]Pr(X>0)+E[X∣X<0]Pr(X<0)=μp−(1−p)=(μ+1)p−1
a ponieważ ma taki sam znak jak X ,1/XX
E[1X]=E[1X∣X>0]Pr(X>0)+E[1X∣X<0]Pr(X<0)=νp−λ(1−p)=(ν+λ)p−λ.
Zrównanie iloczynu tych dwóch wyrażeń z zapewnia istotny związek między zmiennymi:1
1=E[X]E[1X]=((μ+1)p−1)((ν+λ)p−λ).(*)
Przeformułowanie problemu
Załóżmy, że części - Y i Z --are żadnych pozytywnych zmiennych losowych (zdegenerowanych lub nie). Który określa | j , v , a X . Kiedy możemy znaleźć p , gdzie 0 < p < 1 , dla którego ( ∗ ) jest ważne?XYZμ,ν,λp0<p<1(∗)
To wyraźnie artykułuje „równoważenia” wgląd wcześniej wspomniano tylko ogólnikowo: mamy zamiar trzymać i Z stałe i nadzieją, aby znaleźć wartość p , który odpowiednio równoważy ich względne składek na X . Chociaż to nie jest od razu oczywiste, że taki p potrzeba istnieje, co jest oczywiste, że to zależy tylko na chwile E [ Y ] , E [ 1 / Y ] , E [ Z ] i E [ 1 / Z ]YZpXpE[Y]E[1/Y]E[Z]E[1/Z]. Problem zostaje w ten sposób zredukowany do stosunkowo prostej algebry - cała analiza zmiennych losowych została zakończona.
Rozwiązanie
Ten problem algebraiczny nie jest zbyt trudny do rozwiązania, ponieważ jest w najgorszym przypadku równaniem kwadratowym dla p, a rządzące nierównościami ( 1 ) i ( 2 ) są stosunkowo proste. Rzeczywiście, ( ∗ ) mówi nam, że iloczyn jego pierwiastków p 1 i p 2 jest(∗)p(1)(2)(∗)p1p2
p1p2=(λ−1)1(μ+1)(ν+λ)≥0
a suma wynosi
p1+p2=(2λ+λμ+ν)1(μ+1)(ν+λ)>0.
Dlatego oba korzenie muszą być pozytywne. Ponadto ich średnia jest mniejsza niż , ponieważ1
1−(p1+p2)2=λμ+ν+2μν2(μ+1)(ν+λ)>0.
(Wykonując trochę algebry, nie jest trudno wykazać, że większy z dwóch pierwiastków również nie przekracza ).1
Twierdzenie
Oto, co znaleźliśmy:
Biorąc pod uwagę dowolne dwie dodatnie zmienne losowe i Z (przynajmniej jedna z nich nie jest generowana), dla których istnieją E [ Y ] , E [ 1 / Y ] , E [ Z ] i E [ 1 / Z ] i są skończone. Następnie istnieje jedna lub dwie wartości p , gdzie 0 < p < 1 , które określają zmienną mieszanki X o wadze p dla YYZE[Y]E[1/Y]E[Z]E[1/Z]p0<p<1XpYi waga dla - Z i dla których E [ X ] E [ 1 / X ] = 1 . Każde takie wystąpienie losowej zmiennej X z E [ X ] E [ 1 / X ] = 1 ma tę postać.1−p−ZE[X]E[1/X]=1XE[X]E[1/X]=1
To daje nam naprawdę bogaty zestaw przykładów!
Konstruowanie najprostszego możliwego przykładu
Po scharakteryzowaniu wszystkich przykładów, przystąpmy do budowy takiego, który jest tak prosty, jak to możliwe.
Dla części ujemnej wybierzmy zmienną zdegenerowanąZ - najprostszy rodzaj zmiennej losowej. Zostanie przeskalowany do wartości , skąd λ = 1 . Rozwiązanie ( ∗ ) obejmuje p 1 = 0 , redukując go do łatwego do rozwiązania równania liniowego: jedynym dodatnim pierwiastkiem jest1λ=1(∗)p1=0
p=11+μ+11+ν.(3)
Dla części dodatniej nie otrzymujemy nic użytecznego, jeśli Y jest zdegenerowane, więc dajmy temu pewne prawdopodobieństwo przy tylko dwóch różnych dodatnich wartościach a < b , powiedzmy Pr ( X = b ) = q . YYa<bPr(X=b)=q W tym przypadku podaje się definicja oczekiwań
μ=E[Y]=(1−q)a+qb; ν=E[1/Y]=(1−q)/a+q/b.
Aby to jeszcze prostsze wykonania, załóżmy, aby i 1 / Y identyczne:Y1/Y Zmusza i = 1 / b . Terazq=1−q=1/2a=1/b
μ=ν=b+1/b2.
Rozwiązanie upraszcza(3)
p=21+μ=42+b+1/b.
Jak możemy sprawić, by były to proste liczby? Od i a , b = 1 , muszą b > 1 . Wybierzmy najprostszą liczbę większą niż 1 dla b ; mianowicie b = 2 . Wydajności powyższym wzorem P = 4 / ( 2 + 2 + 1 / 2 ) = 8 / 9 i naszym kandydatem do najprostszy przykład w związku z czyma<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.
To jest właśnie ten przykład oferowany w podręczniku.