构造示例显示


12

如何构造一个E(1X)=1E(X)假设P(X0)=1 EX 成立。

从Jensen不等式得出的正值RV X的不等式类似于E(1X)1E(X)(如果X<0则为反向不等式)。这是因为该映射x1x对于x>0是凸的,对于x<0凹的。遵循詹森不等式中的等式条件,我猜想分布必须退化才能保持所需的等式。如果X=1ae,则等式成立的一个简单情况当然是在问题书中找到的一个示例:考虑一个离散随机变量X,使得P(X=1)=19,P(X=12)=P(X=2)=49。然后可以很容易地验证E(1X)=1E(X)=1

此示例表明,X不必为正(或负)ae即可保持标题中的相等。这里的分布也不退化。

我如何构造一个示例,可能就像我在书中找到的那样?有动力吗?


您的示例确实适用于任何非零常量的随机变量。同样,您的第二个例子不会退化。
Michael R. Chernick

3
如果不进一步假设X几乎肯定是正的,则不等式并非来自Jensen不等式。X
ub

@MichaelChernick我并不是要说这个例子的分布简陋。
StubbornAtom

我指的是您的陈述“遵循詹森不等式中的等式条件,我认为分布必须退化才能保持所需的等式。” 但是您展示了一个简朴的例子。
Michael R. Chernick

1
@whuber我只是想知道如何找到标题相等的示例。
StubbornAtom

Answers:


18

让我们构建体的所有可能的实施例的随机变量为其中ë [ X ] ë [ 1 / X ] = 1。然后,在它们当中,我们可以遵循一些启发式方法以获得最简单的示例。 这些试探法包括为从初步分析中删除的所有表达式提供最简单的可能值。 原来这是教科书的例子。XE[X]E[1/X]=1

初步分析

这仅需要基于定义的一点点分析。该解决方案仅是次要的:主要目的是发展见解,以帮助我们直观地理解结果。

首先观察到Jensen不等式(或柯西-Schwarz不等式)意味着,对于一个正随机变量ë [ X ] ë [ 1 / X ] 1,具有平等保持当且仅当X是“简并”:即,X几乎肯定是常数。当X是一个负随机变量,- X为正,并且上述结果保存与不等号相反。因此,E [ 1 / X ] = 1 / E的任何示例XE[X]E[1/X]1XXXX必须具有正的概率为负,正的概率为正。E[1/X]=1/E[X]

这里的见解是,任何ë [ X ] ë [ 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).

让我们考虑的作为混合物的与重量和具有重量,其中 显然这将使我们能够根据正变量的期望来写的期望Y p - Z 1 - p p = Pr X > 0 1 - p = Pr X < 0 0 < p < 1 X 1 / X ÿ žXYpZ1p

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

为了稍微简化即将到来的代数,请注意,将统一缩放为数字不会更改但是会将和分别乘以。对于正,这仅相当于选择的度量单位。负切换和的角色。因此,可以适当地选择的符号,我们可以假设σ ë [ X ] ë [ 1 / X ] ë [ ÿ ] ë [ Ž ] σ σ X σ ý ž σ ë [ Ž ] = 1  和  ë [ ÿ ] ë [ ž ] 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.

总概率定律用我们命名的数量表达对和的期望:X1/X

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

和,由于具有相同的符号,1/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λ).

重新制定问题

假设的零件 -和 --are 任何正随机变量(退化或没有)。确定和。 我们何时可以找到,其中成立?XYZμ,ν,λp0<p<1()

这清楚地表达了先前仅模糊地陈述的“平衡”见解:我们将使和固定不变,并希望找到的值以适当地平衡它们对的相对贡献。尽管尚不能立即确定存在这样的需求,但很明显,它仅取决于时刻,,和。从而将问题简化为相对简单的代数-随机变量的所有分析均已完成。YZpXpE[Y]E[1/Y]E[Z]E[1/Z]

这个代数问题并不是很难解决,因为最糟糕的是的二次方程,并且控制不等式和比较简单。实际上,告诉我们其根和的乘积为()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)
P.Windridge

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 ] X h x = 1 / xXE[1/X]=1/E[X]Xh(x)=1/x
P.Windridge '10

@ P.Windridge你是对的!固定。
2013年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.