Section 14

Inequalities

[16/25%]
Show
LaTeX
Problem 14.1

Let g(x)g(x) be a nonnegative increasing function and ξ\xi an arbitrary random variable. Prove that for any xx the inequality

P{ξ⩾x}⩽E[g(ξ)]g(x) \mathbb {P}\left\{ \xi \geqslant x\right\} \leqslant \frac{\mathbb {E}\left[g(\xi )\right]}{g(x)}

holds.

?
Problem 14.2

Let E[ξ2]<∞\mathbb {E}\left[\xi^2\right] < \infty. Prove that

P{∣ξ−E[ξ]∣>3Var⁡[ξ]}⩽1/9. \mathbb {P}\left\{ \left|\xi - \mathbb {E}\left[\xi \right]\right| > 3\sqrt{\operatorname {Var}\left[\xi \right]}\right\} \leqslant 1/9.
?
Problem 14.3

Prove that for arbitrary random variables ξ\xi and η\eta

E[∣ξη∣]⩽E[ξ2]E[η2]. \mathbb {E}\left[\left|\xi \eta \right|\right] \leqslant \sqrt{\mathbb {E}\left[\xi ^2\right]\mathbb {E}\left[\eta ^2\right]}.
?
Problem 14.4

Let E[∣ξ∣r]<∞\mathbb {E}\left[\left|\xi \right|^r\right] < \infty. Prove that:

?
(a)

(E[∣ξ∣s])r⩽(E[∣ξ∣r])s(\mathbb {E}\left[\left|\xi \right|^s\right])^r \leqslant (\mathbb {E}\left[\left|\xi \right|^r\right])^s for any s∈(0,r)s \in (0, r);

(b)

(E[∣ξ∣s])1/s⩽(E[∣ξ∣r])1/r(\mathbb {E}\left[\left|\xi \right|^s\right])^{1/s} \leqslant (\mathbb {E}\left[\left|\xi \right|^r\right])^{1/r} for any s∈(0,r)s \in (0, r).

Problem 14.5

Prove that E[∣ξ∣]⩽E[∣ξ∣r]r\mathbb {E}\left[\left|\xi \right|\right] \leqslant \sqrt[r]{\mathbb {E}\left[\left|\xi \right|^r\right]} for r>1r > 1.

?
Problem 14.6

Prove that for a random variable ξ\xi with finite variance and any x>0x > 0

P{∣ξ−E[ξ]∣>x}⩽2Var⁡[ξ]x2+Var⁡[ξ]. \mathbb {P}\left\{ \left|\xi - \mathbb {E}\left[\xi \right]\right| > x\right\} \leqslant \frac{2\operatorname {Var}\left[\xi \right]}{x^2 + \operatorname {Var}\left[\xi \right]}.
?
Problem 14.7

Let ξ\xi be a random variable with E[ehξ]<∞\mathbb {E}\left[e^{h\xi }\right] < \infty, h>0h > 0. Prove that for any xx

P{ξ⩾x}⩽E[ehξ]/ehx. \mathbb {P}\left\{ \xi \geqslant x\right\} \leqslant \mathbb {E}\left[e^{h\xi }\right]/e^{hx}.
?
Problem 14.8

Let the random variable ξ\xi have a Poisson distribution with parameter λ\lambda. Prove that for any x>0x > 0:

?
(a)

P{ξ⩾x}⩽λ/x\mathbb {P}\left\{ \xi \geqslant x\right\} \leqslant \lambda /x;

(b)

P{ξ⩾x}⩽eλ/2x\mathbb {P}\left\{ \xi \geqslant x\right\} \leqslant e^\lambda /2^x;

(c)

P{ξ⩾2λ}⩽1/max⁡(2,λ)\mathbb {P}\left\{ \xi \geqslant 2\lambda \right\} \leqslant 1/\max (2, \lambda ).

Problem 14.9

Let the random variable ξ\xi have:

?
(a)

a Poisson distribution with parameter λ\lambda;

(b)

an exponential distribution with parameter α\alpha;

(c)

the standard normal distribution.

Determine the value of the parameter hh minimizing the expression on the right-hand side of the inequality in problem 14.7. Find the value of this minimum.

Problem 14.10

Prove the following inequalities:

?
(a)

E[ξ4]⩾(E[ξ])4\mathbb {E}\left[\xi^4\right] \geqslant (\mathbb {E}\left[\xi \right])^4;

(b)

E[ξ2]E[ξ4]⩾(E[ξ3])2\mathbb {E}\left[\xi^2\right]\mathbb {E}\left[\xi^4\right] \geqslant (\mathbb {E}\left[\xi^3\right])^2.

When can equality hold in these inequalities?

Problem 14.11

Is the following reasoning valid: «It is 1 km from home to work, and I walk at an average speed of 5 km/h, so on average my commute takes 12 minutes»?

?
Problem 14.12

Prove that if the random variable ξ\xi has a moment of order kk, then its distribution function FF satisfies the relation

lim⁡x→∞xk(1−F(x)+F(−x))=0. \lim _{x \to \infty } x^k (1 - F(x) + F(-x)) = 0.
?
Problem 14.13

Prove that E[ξ2]=0\mathbb {E}\left[\xi^2\right] = 0 is equivalent to P{ξ=0}=1\mathbb {P}\left\{ \xi = 0\right\} = 1.

?
Problem 14.14

Suppose E[∣ξ∣p]=0\mathbb {E}\left[\left|\xi \right|^p\right] = 0 for some p>0p > 0. What can be said about the random variable ξ\xi?

?
Problem 14.15

Let the random variable ξ\xi have finite expectation, with E[ξ  1A]=0\mathbb {E}\left[\xi \; \mathbb {1}_{A}\right] = 0 for every event AA. Prove that P{ξ=0}=1\mathbb {P}\left\{ \xi = 0\right\} = 1.

?
Problem 14.16

Prove that for any nonnegative random variable ξ\xi with finite variance, the inequality

P{ξ=0}⩽Var⁡[ξ]Var⁡[ξ]+(E[ξ])2 \mathbb {P}\left\{ \xi = 0\right\} \leqslant \frac{\operatorname {Var}\left[\xi \right]}{\operatorname {Var}\left[\xi \right] + (\mathbb {E}\left[\xi \right])^2}

holds.

?