Построим все возможные примеры случайных величин для которых E [ X ] E [ 1 / X ] = 1 . Тогда среди них мы можем следовать некоторым эвристикам, чтобы получить простейший возможный пример. Эти эвристики состоят в предоставлении простейших возможных значений для всех выражений, выпадающих из предварительного анализа. Это оказывается примером из учебника.XE[X]E[1/X]=1
Предварительный анализ
Это требует лишь небольшого анализа на основе определений. Решение представляет только второстепенный интерес: главная цель - разработать идеи, которые помогут нам понять результаты интуитивно.
Сначала заметим , что неравенство Дженсена (или Коши-Шварца неравенство) следует , что для положительной случайной величины , Е [ Х ] Е [ 1 / Х ] ≥ 1 , причем равенство тогда и только тогда , когда Х является «вырожденный»: то есть , X почти наверняка постоянный. Когда X - случайная отрицательная переменная, - X является положительным, и предыдущий результат выполняется с обратным знаком неравенства. Следовательно, любой пример, где E [ 1 / X ] = 1 / EXE[X]E[1/X]≥1XXX−X должен иметь положительную вероятность быть отрицательным и положительную вероятность быть положительным.E[1/X]=1/E[X]
Понимание здесь заключается в том, что любой с E [ X ] E [ 1 / X ] = 1 должен каким-то образом «уравновешивать» неравенство из его положительной части с неравенством в другом направлении от его отрицательной части. Это станет яснее, когда мы пойдем дальше.XE[X]E[1/X]=1
Рассмотрим любой ненулевой случайной величины . Первоначальный шаг в формулировании определения ожидания (по крайней мере, когда это делается в полной общности с использованием теории меры) состоит в разложении X на его положительные и отрицательные части, обе из которых являются положительными случайными величинами:XX
YZ=Positive part(X)=max(0,X);=Negative part(X)=−min(0,X).
Давайте думать о в качестве смеси из с весом и с весом , где Очевидно Это позволит писать ожидания и , с точки зрения ожиданий положительных переменных и .0 < p < 1. X 1 / X Y ZXp - Z 1 - p p = Pr ( X > 0 ) , 1 - p = Pr ( X < 0 ) .Yp−Z1−p
p=Pr(X>0), 1−p=Pr(X<0).
0<p<1.
X1/XYZ
Чтобы немного упростить предстоящую алгебру, обратите внимание, что равномерное масштабирование числом не меняет но оно умножает и каждый на , Для положительного , это просто сводится к выбору единиц измерения . Отрицательное переключает роли и . Выбирая знак соответствующим образом, мы можем предположить, чтоσ E [ X ] E [ 1 / X ] E [ Y ] E [ Z ] σ σ X σ Y Z σ E [ Z ] = 1 и 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)
нотация
Вот и все для предварительных упрощений. Чтобы создать хорошую запись, давайте напишем
μ=E[Y]; ν=E[1/Y]; λ=E[1/Z]
для трех ожиданий мы не можем контролировать. Все три величины положительны. Неравенство Дженсена утверждает
μν≥1 and λ≥1.(2)
Закон полной вероятности выражает ожидания и в терминах названных нами величин: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
и, поскольку имеет тот же знак, что и ,X1/XX
E[1X]=E[1X∣X>0]Pr(X>0)+E[1X∣X<0]Pr(X<0)=νp−λ(1−p)=(ν+λ)p−λ.
Приравнивание произведения этих двух выражений к обеспечивает существенную связь между переменными:1
1=E[X]E[1X]=((μ+1)p−1)((ν+λ)p−λ).(*)
Переформулировка проблемы
Предположим, что части - и являются любыми положительными случайными величинами (вырожденными или нет). Это определяет и . Когда мы можем найти с , для которого выполняется ?Y Z μ , ν , λ p 0 < p < 1 ( ∗ )XYZμ,ν,λp0<p<1(∗)
Это четко артикулирует «балансирование» понимание ранее заявляло лишь неопределенно: мы будем держать и фиксированные и надежда найти значение , надлежащим образом уравновешивает их относительные вклады в . Хотя не сразу очевидно, что такая потребность существует, ясно, что она зависит только от моментов , , и . Таким образом, задача сводится к относительно простой алгебре - весь анализ случайных величин завершен.Z p X p E [ Y ] E [ 1 / Y ] E [ Z ] E [ 1 / Z ]YZpXpE[Y]E[1/Y]E[Z]E[1/Z]
Решение
Эту алгебраическую задачу не так сложно решить, потому что в худшем случае является квадратным уравнением для а основные неравенства и относительно просты. Действительно, говорит нам продукт своих корней и İŞp ( 1 ) ( 2 ) ( ∗ ) p 1 p 2(∗)p(1)(2)(∗)p1p2
p1p2=(λ−1)1(μ+1)(ν+λ)≥0
и сумма
p1+p2=(2λ+λμ+ν)1(μ+1)(ν+λ)>0.
Поэтому оба корня должны быть положительными. Кроме того, их среднее значение меньше , потому что1
1−(p1+p2)2=λμ+ν+2μν2(μ+1)(ν+λ)>0.
(Делая немного алгебры, нетрудно показать, что больший из двух корней также не превышает ).1
Теорема
Вот что мы нашли:
Для любых двух положительных случайных величин и (по крайней мере, одна из которых невырождена), для которых , , и существуют и являются конечными. Тогда существуют одно или два значения с , которые определяют переменную смеси с весом для и весом для и для которого . Каждый такой случай случайной величины с имеет эту форму.YZE[Y]E[1/Y]E[Z]E[1/Z]p0<p<1XpY1−p−ZE[X]E[1/X]=1XE[X]E[1/X]=1
Это дает нам действительно богатый набор примеров!
Построение простейшего возможного примера
Охарактеризовав все примеры, давайте приступим к построению максимально простого.
Для отрицательной части давайте выберем вырожденную переменнуюZ - самый простой вид случайной величины. Он будет масштабирован до значения , откуда . Решение включает в себя , сводя его к легко решаемому линейному уравнению: единственный положительный корень1λ=1(∗)p1=0
p=11+μ+11+ν.(3)
Для положительной части мы не получаем ничего полезного, если вырожден, поэтому давайте дадим ему некоторую вероятность только при двух различных положительных значениях , скажем, . YYa<bPr(X=b)=q В этом случае определение ожидания дает
μ=E[Y]=(1−q)a+qb; ν=E[1/Y]=(1−q)/a+q/b.
Чтобы сделать это еще проще, давайте сделаем и идентичными:Y1/Y это заставляет и . Сейчасq=1−q=1/2a=1/b
μ=ν=b+1/b2.
Решение упрощается до(3)
p=21+μ=42+b+1/b.
Как мы можем заставить это включать простые числа? Поскольку и , обязательно . Давайте выберем простейшее число больше для ; а именно, . Приведенная выше формула дает и поэтому наш кандидат на простейший возможный примерa<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.
Это тот самый пример, предлагаемый в учебнике.