Пример построения, показывающий


12

Как построить пример распределения вероятностей, для которого выполняется , предполагая ?E(1X)=1E(X)P(X0)=1

Неравенство, вытекающее из неравенства Дженсена для RV с положительными значениями, имеет вид (обратное неравенство, если ). Это потому, что отображение является выпуклым для и вогнутым для . Следуя условию равенства в неравенстве Дженсена, я предполагаю, что распределение должно быть вырожденным для выполнения требуемого равенства. Тривиальный случай, когда выполняется равенство, конечно, если ae. Вот пример, который я нашел в проблемной книге: Рассмотрим дискретную случайную величину такую, чтоXE(1X)1E(X)X<0x1xx>0x<0X=1XP(X=1)=19,P(X=12)=P(X=2)=49 E(1 . Тогда легко проверить, что .E(1X)=1E(X)=1

Этот пример показывает, что не обязательно должен быть положительным (или отрицательным) ae для равенства в заголовке. Распределение здесь также не вырождено.X

Как мне построить пример, возможно, похожий на тот, который я нашел в книге? Есть ли мотивация?


Ваш пример действительно для любой случайной величины, которая является ненулевой константой. Также ваш второй пример не вырожден.
Майкл Р. Черник

3
Неравенство не следует из неравенства Дженсена без дальнейшего предположения, что почти наверняка положителен. X
whuber

@MichaelChernick Я не хотел сказать, что пример имел вырожденное распределение.
StubbornAtom

Я имел в виду ваше утверждение: «Следуя условию равенства в неравенстве Дженсена, я полагаю, что распределение должно быть вырожденным, чтобы соблюдалось требуемое равенство». И все же вы показали невырожденный пример.
Майкл Р. Черник

1
@whuber Я просто хочу знать, как найти пример, где равенство в названии верно.
StubbornAtom

Ответы:


18

Построим все возможные примеры случайных величин для которых 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]1XXXX должен иметь положительную вероятность быть отрицательным и положительную вероятность быть положительным.E[1/X]=1/E[X]

Понимание здесь заключается в том, что любой с E [ X ] E [ 1 / X ] = 1 должен каким-то образом «уравновешивать» неравенство из его положительной части с неравенством в другом направлении от его отрицательной части. Это станет яснее, когда мы пойдем дальше.XE[X]E[1/X]=1

Рассмотрим любой ненулевой случайной величины . Первоначальный шаг в формулировании определения ожидания (по крайней мере, когда это делается в полной общности с использованием теории меры) состоит в разложении X на его положительные и отрицательные части, обе из которых являются положительными случайными величинами:XX

Y=Positive part(X)=max(0,X);Z=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 ) .YpZ1p

p=Pr(X>0), 1p=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σ

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

нотация

Вот и все для предварительных упрощений. Чтобы создать хорошую запись, давайте напишем

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

для трех ожиданий мы не можем контролировать. Все три величины положительны. Неравенство Дженсена утверждает

(2)μν1 and λ1.

Закон полной вероятности выражает ожидания и в терминах названных нами величин:1 / XX1/X

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

и, поскольку имеет тот же знак, что и ,X1/XX

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

Приравнивание произведения этих двух выражений к обеспечивает существенную связь между переменными:1

(*)1=E[X]E[1X]=((μ+1)p1)((ν+λ)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<1XpY1pZE[X]E[1/X]=1XE[X]E[1/X]=1

Это дает нам действительно богатый набор примеров!


Построение простейшего возможного примера

Охарактеризовав все примеры, давайте приступим к построению максимально простого.

  • Для отрицательной части давайте выберем вырожденную переменнуюZ - самый простой вид случайной величины. Он будет масштабирован до значения , откуда . Решение включает в себя , сводя его к легко решаемому линейному уравнению: единственный положительный корень1λ=1()p1=0

    (3)p=11+μ+11+ν.
  • Для положительной части мы не получаем ничего полезного, если вырожден, поэтому давайте дадим ему некоторую вероятность только при двух различных положительных значениях , скажем, . YYa<bPr(X=b)=q В этом случае определение ожидания дает

    μ=E[Y]=(1q)a+qb; ν=E[1/Y]=(1q)/a+q/b.
  • Чтобы сделать это еще проще, давайте сделаем и идентичными:Y1/Y это заставляет и . Сейчасq=1q=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)(1p)=1p=19.

Это тот самый пример, предлагаемый в учебнике.


2
Хороший ответ. Несмотря на мой первоначальный скептицизм, легко найти пример с различными решениями . p(0,1)
П.Уиндридж

8

Как вы упомянули, если положительный, то происходит только тогда, когда почти наверняка постоянен. В противном случае вам нужно, чтобы принимал как отрицательные, так и положительные значения.XE(1/X)=1/E(X)XX

Чтобы построить такой пример, сначала сделайте как можно проще. Предположим, что принимает два значения, и , с вероятностями и соответственно. Тогда и Чтобы иметь нам нужно, чтобы который перестраивается к требованию Это означает, что единственно возможное решение должно иметь либо , либо , либо . Во всех случаях мы возвращаемся к вырожденному случаю: является постоянным.Xabp1p

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

Следующая попытка: распределение с тремя возможными значениями. Здесь есть еще много вариантов. В приведенном вами примере используется , так что имеет такое же распределение. Если мы знаем, что принимает три значения, то должно быть, что одно из значений равно или , а два других должны быть и для некоторого выбора . Для определенности давайте попробуем и . Тогда Для выполнения требования мы требуем илиX1/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, Выражение (1) никогда не равно если , что снова возвращает нас к вырожденному случаю. Поэтому стремитесь к , что дает Выражение (2) дает целое семейство решений, которые удовлетворяют требованию. Единственное ограничение состоит в том , что должно быть положительным. В приведенном вами примере принимается . Только случай является вырожденным.1p=0E(X)=1aa=2a=1
(2)(2+a+1a)p=2p=22+a+1a=2a(a+1)2.
aa=2a=1

1
Я предполагаю, что ваша первая строка предназначена для «если положителен, то встречается только тогда, когда почти наверняка постоянен», как в вопросе , Это выпадает из (доказательства) неравенства Дженсена, где мы также используем тот факт, что не является линейным. E [ 1 / X ] = 1 / E [ X ]XE[1/X]=1/E[X]h ( x ) = 1 / xXh(x)=1/x
П.Уиндридж

@ P.Windridge Вы правы! Исправлена.
grand_chat
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.