Section 7.2

Modes of convergence

[12/100%]
Show
LaTeX
Problem 7.2.1
?
(a)

Suppose Xn→rXX_{n} \xrightarrow {r} X where r≥1r \geq 1. Show that E[∣Xnr∣]→E[∣Xr∣]\mathbb {E}\left[\left|X_{n}^{r}\right|\right] \rightarrow \mathbb {E}\left[\left|X^{r}\right|\right].

(b)

Suppose Xn→1XX_{n} \xrightarrow {1} X. Show that E[Xn]→E[X]\mathbb {E}\left[X_{n}\right] \rightarrow \mathbb {E}\left[X\right]. Is the converse true?

(c)

Suppose Xn→2XX_{n} \xrightarrow {2} X. Show that Var⁡[Xn]→Var⁡[X]\operatorname {Var}\left[X_{n}\right] \rightarrow \operatorname {Var}\left[X\right].

Problem 7.2.2

Suppose ∣Xn∣≤Z\left|X_{n}\right| \leq Z for all nn, where E[Z]<∞\mathbb {E}\left[Z\right] < \infty. Prove that if Xn→PXX_{n} \xrightarrow {\mathrm{P}} X then Xn→1XX_{n} \xrightarrow {1} X.

?
Problem 7.2.3
?
(a)

Give a rigorous proof that E[XY]=E[X]E[Y]\mathbb {E}\left[X Y\right] = \mathbb {E}\left[X\right] \mathbb {E}\left[Y\right] for any pair X,YX, Y of independent non-negative random variables on (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) with finite means. [Hint: For k≥0,n≥1k \geq 0, n \geq 1, define Xn=k/nX_{n} = k / n if k/n≤X<(k+1)/nk / n \leq X < (k+1) / n, and similarly for YnY_{n}. Show that XnX_{n} and YnY_{n} are independent, and Xn≤XX_{n} \leq X, and Yn≤YY_{n} \leq Y. Deduce that E[Xn]→E[X]\mathbb {E}\left[X_{n}\right] \rightarrow \mathbb {E}\left[X\right] and E[Yn]→E[Y]\mathbb {E}\left[Y_{n}\right] \rightarrow \mathbb {E}\left[Y\right], and also E[XnYn]→E[XY]\mathbb {E}\left[X_{n} Y_{n}\right] \rightarrow \mathbb {E}\left[X Y\right].]

(b)

Give an example to show that the product XYX Y of dependent random variables X,YX, Y with finite means may have E[XY]=∞\mathbb {E}\left[X Y\right] = \infty.

Problem 7.2.4

Show that convergence in distribution is equivalent to convergence with respect to the Lévy metric of Exercise (7.1.4).

?
Problem 7.2.5
?
(a)

Suppose that Xn→DXX_{n} \xrightarrow {\mathrm{D}} X and Yn→PcY_{n} \xrightarrow {\mathrm{P}} c, where cc is a constant. Show that XnYn→DcXX_{n} Y_{n} \xrightarrow {\mathrm{D}} c X, and that Xn/Yn→DX/cX_{n} / Y_{n} \xrightarrow {\mathrm{D}} X / c if c≠0c \neq 0.

(b)

Suppose that Xn→D0X_{n} \xrightarrow {\mathrm{D}} 0 and Yn→PYY_{n} \xrightarrow {\mathrm{P}} Y, and let g:R2→Rg: \mathbb {R}^{2} \rightarrow \mathbb {R} be continuous. Show that g(Xn,Yn)→Pg(0,Y)g\left(X_{n}, Y_{n}\right) \xrightarrow {\mathrm{P}} g(0, Y).

Remark.
?

These results are sometimes referred to as 'Slutsky's theorem(s)'.

Problem 7.2.6

Let X1,X2,…X_{1}, X_{2}, \ldots be random variables on the probability space (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}). Show that the set A={ω∈Ω ⁣:the sequence Xn(ω) converges}A = \left\{ \omega \in \Omega \colon \text{the sequence } X_{n}(\omega ) \text{ converges}\right\} is an event (that is, lies in F\mathcal{F}), and that there exists a random variable XX (that is, an F\mathcal{F}-measurable function X:Ω→RX: \Omega \rightarrow \mathbb {R}) such that Xn(ω)→X(ω)X_{n}(\omega ) \rightarrow X(\omega ) for ω∈A\omega \in A.

?
Problem 7.2.7

Let {Xn}\left\{ X_{n}\right\} be a sequence of random variables, and let {cn}\left\{ c_{n}\right\} be a sequence of reals converging to the limit cc. Show that the convergence of XnX_{n} to XX entails the convergence of cnXnc_{n} X_{n} to cXc X, for convergence

?
(a)

almost surely,

(b)

in rrth mean,

(c)

in probability,

(d)

in distribution.

Problem 7.2.8

Let {Xn}\left\{ X_{n}\right\} be a sequence of independent random variables which converges in probability to the limit XX. Show that XX is almost surely constant.

?
Problem 7.2.9

The sequence of discrete random variables XnX_{n}, with mass functions fnf_{n}, is said to converge in total variation to XX with mass function ff if

∑x∣fn(x)−f(x)∣→0 as n→∞ \sum _{x}\left|f_{n}(x)-f(x)\right| \rightarrow 0 \quad \text{ as } \quad n \rightarrow \infty

Suppose Xn→XX_{n} \rightarrow X in total variation, and u:R→Ru: \mathbb {R} \rightarrow \mathbb {R} is bounded. Show that E[u(Xn)]→E[u(X)]\mathbb {E}\left[u\left(X_{n}\right)\right] \rightarrow \mathbb {E}\left[u(X)\right].

?
Problem 7.2.10

Let {Xr:r≥1}\left\{ X_{r}: r \geq 1\right\} be independent Poisson variables with respective parameters {λr:r≥1}\left\{ \lambda_{r}: r \geq 1\right\}. Show that ∑r=1∞Xr\sum_{r = 1}^{\infty } X_{r} converges or diverges almost surely according as ∑r=1∞λr\sum_{r = 1}^{\infty } \lambda_{r} converges or diverges.

?
Problem 7.2.11

Let X1,X2,…X_{1}, X_{2}, \ldots be independent random variables, uniformly distributed on {1,2,…,m}\left\{ 1,2, \ldots , m\right\}, and let Im=min⁡{r≥2:Xr=XS for some s<r}I_{m} = \min \left\{ r \geq 2: X_{r} = X_{S} \text{ for some } s < r\right\} be the earliest index of a coincidence of values. Show that Im/mI_{m} / \sqrt{m} converges in distribution as m→∞m \rightarrow \infty, with as limit the Rayleigh distribution with density function f(x)=xe−12x2,x>0f(x) = x e^{-\frac{1}{2} x^{2}}, x > 0.

?
Problem 7.2.12

The random variable XX has finite moments of all orders, and satisfies P(X>0)=1\mathbb {P}\left(X > 0\right) = 1, P(X>x)>0\mathbb {P}\left(X > x\right) > 0 for x>0x > 0.

?
(a)

Show that c=∑n=0∞1/E[Xn]c = \sum_{n = 0}^{\infty } 1 / \mathbb {E}\left[X^{n}\right] satisfies c<∞c < \infty.

(b)

Let MM take values in {1,2,…}\left\{ 1,2, \ldots \right\} with mass function f(m)=1/(cE[Xm])f(m) = 1 /\left(c \mathbb {E}\left[X^{m}\right]\right) for m≥1m \geq 1. Show that E[xM]<∞\mathbb {E}\left[x^{M}\right] < \infty for all x≥0x \geq 0, while E[XM]=∞\mathbb {E}\left[X^{M}\right] = \infty.