7.5 Exercícios

§7.1

1.

Seja (An)n(A_{n})_{n} uma sequência de eventos e (𝟙An)n(\mathds{1}_{A_{n}})_{n} a sequência de variáveis aleatórias indicadoras das ocorrências dos eventos correspondentes. Encontre uma condição sobre as probabilidades (An)\mathbb{P}(A_{n}) para que 𝟙An0\mathds{1}_{A_{n}}\overset{\mathbb{P}}{\rightarrow}0.

2.

Suponha que 𝔼Xn0\mathbb{E}X_{n}\to 0 e 𝕍Xn0\mathbb{V}X_{n}\to 0. Prove que Xn0X_{n}\overset{\mathbb{P}}{\rightarrow}0.

3.

Prove a unicidade quase certa do limite quase certo. Isto é, se Xnq.c.YX_{n}\overset{\mathrm{q.c.}}{\rightarrow}Y e Xnq.c.ZX_{n}\overset{\mathrm{q.c.}}{\rightarrow}Z então Y=ZY=Z q.c.

4.

Prove a unicidade quase certa do limite em probabilidade. Isto é, se XnYX_{n}\overset{\mathbb{P}}{\rightarrow}Y e XnZX_{n}\overset{\mathbb{P}}{\rightarrow}Z então Y=ZY=Z q.c.

5.

Seja U𝒰[0,1]U\sim\mathcal{U}[0,1] e defina Xn=n𝟙{U<1n}X_{n}=n\mathds{1}_{\{U<\frac{1}{n}\}}. Verifique respectivamente se existe uma variável aleatória XX tal que XnXX_{n}\to X

  1. (a)

    em distribuição.

  2. (b)

    em probabilidade.

  3. (c)

    quase certamente.

  4. (d)

    em 1\mathcal{L}^{1}.

  5. (e)

    em 2\mathcal{L}^{2}.

6.

Sejam (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias com Xn𝒰[0,1+1n]X_{n}\sim\mathcal{U}[0,1+\frac{1}{n}] e X𝒰[0,1]X\sim\mathcal{U}[0,1].

  1. (a)

    Mostre que XndXX_{n}\overset{\smash{\mathrm{d}}}{\rightarrow}X.

  2. (b)

    Se (Xn)n(X_{n})_{n} forem independentes, mostre que XnX_{n} não converge em probabilidade para XX.

  3. (c)

    Dê um exemplo mostrando que, se a hipótese de independência for retirada, é possível que Xnq.c.XX_{n}\overset{\mathrm{q.c.}}{\rightarrow}X.

7.

Suponha que XnX_{n} tem distribuição uniforme no conjunto {1n,2n,,n1n,1}\{\frac{1}{n},\frac{2}{n},\dots,\frac{n-1}{n},1\} para todo nn\in\mathbb{N}. Mostre que (Xn)n(X_{n})_{n} converge em distribuição para uma variável com distribuição uniforme em [0,1].[0,1].

8.

Sejam (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias i.i.d. com distribuição Exp(1)\mathop{\mathrm{Exp}}\nolimits(1) e Zn=max{X1,Xn}lognZ_{n}=\max\{X_{1},\dots X_{n}\}-\log n. Mostre que ZnZ_{n} converge em distribuição para a distribuição de Gumbel.

9.

Sejam (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com distribuição uniforme em [0,1][0,1], e Yn=max{X1,,Xn}Y_{n}=\max\{X_{1},\dots,X_{n}\}. Encontre a função de distribuição de YnY_{n} e o limite em distribuição desta sequência.

10.

Suponha que Xn1XX_{n}\overset{\mathcal{L}^{1}}{\rightarrow}X e |Z|1|Z|\leqslant 1 q.c. Mostre que XnZ1XZX_{n}Z\overset{\mathcal{L}^{1}}{\rightarrow}XZ.

§7.2

11.

Seja (Xn)n(X_{n})_{n\in\mathbb{N}} uma sequência de variáveis aleatórias independentes tais que XnExp(λn)X_{n}\sim\mathop{\mathrm{Exp}}\nolimits(\lambda_{n}), onde λn=n3\lambda_{n}=n^{3}. Prove que (n=1Xn<)=1\mathbb{P}\left(\mathclap{\phantom{\big{|}}}\sum_{n=1}^{\infty}X_{n}<\infty% \right)=1.

12.

Sejam (an)n(a_{n})_{n} uma sequência de números reais e (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias com distribuição dada por (Xn=an)=pn=1(Xn=0)\mathbb{P}(X_{n}=a_{n})=p_{n}=1-\mathbb{P}(X_{n}=0) para todo nn\in\mathbb{N}. Mostre que, se n=1pn<\sum_{n=1}^{\infty}p_{n}<\infty, então Xnq.c.0X_{n}\overset{\mathrm{q.c.}}{\rightarrow}0.

13.

Sejam Xn,nX_{n},\ n\in\mathbb{N}, variáveis aleatórias independentes tais que XnBernoulli(pn)X_{n}\sim\mathop{\mathrm{Bernoulli}}\nolimits(p_{n}). Estude as condições sobre (pn)(p_{n}) para que:

  1. (a)

    Xn0X_{n}\overset{\mathbb{P}}{\rightarrow}0.

  2. (b)

    Xnq.c.0X_{n}\overset{\mathrm{q.c.}}{\rightarrow}0.

14.

Definimos o limite inferior da sequência de conjuntos (An)n(A_{n})_{n} como o conjunto lim infnAn=n=1k=nAk\liminf_{n\to\infty}A_{n}=\bigcup_{n=1}^{\infty}\bigcap_{k=n}^{\infty}A_{k}. Mostre que:

  1. (a)

    lim infnAnlim supnAn\liminf_{n\to\infty}A_{n}\subseteq\limsup_{n\to\infty}A_{n}.

  2. (b)

    Dê um exemplo onde vale a inclusão estrita no item anterior.

15.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com Xn𝒰[n,n]X_{n}\sim\mathcal{U}[-n,n]. Calcule (|Xn|+)\mathbb{P}(|X_{n}|\to+\infty) e (|Xn2|+)\mathbb{P}(|X_{n^{2}}|\to+\infty).

16.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. Mostre que

Xnnq.c.0\frac{X_{n}}{n}\overset{\mathrm{q.c.}}{\rightarrow}0

se, e somente se, X1X_{1} for integrável.

17.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. Mostre que

Xnnq.c.0\frac{X_{n}}{\sqrt{n}}\overset{\mathrm{q.c.}}{\rightarrow}0

se, e somente se, 𝔼X12<\mathbb{E}X_{1}^{2}<\infty.

18.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. com distribuição Exp(1)\mathop{\mathrm{Exp}}\nolimits(1). Mostre que (Xn1logn i.v.)=1\mathbb{P}\left(X_{n}\geqslant 1\log n\text{ i.v.}\right)=1 e (Xn2logn i.v.)=0\mathbb{P}\left(X_{n}\geqslant 2\log n\text{ i.v.}\right)=0.

19.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. com distribuição Poisson(λ)\mathop{\mathrm{Poisson}}\nolimits(\lambda). Mostre que

Xnlognq.c.0.\frac{X_{n}}{\log n}\overset{\mathrm{q.c.}}{\rightarrow}0.

Sugestão: Mostre antes que 𝔼[eX1/ε]<\mathbb{E}[e^{X_{1}/\varepsilon}]<\infty.

20.

Seja (Xn)n(X_{n})_{n} uma sequência i.i.d. de variáveis aleatórias não-negativas com 𝔼X12<\mathbb{E}X_{1}^{2}<\infty. Mostre que

(n=1Xnn2<)=1.\mathbb{P}\left(\sum_{n=1}^{\infty}\frac{X_{n}}{n^{2}}<\infty\right)=1.
21.
  1. (a)

    Seja XX uma variável aleatória com distribuição normal padrão. Mostre que

    (X>x)1x2πex2/21 quando x+.\frac{\mathbb{P}(X>x)}{\quad\tfrac{1}{x\sqrt{2\pi}}e^{-x^{2}/2}\quad}\to 1\ % \text{ \ quando \ }x\to+\infty.
  2. (b)

    Seja (Xn)n(X_{n})_{n} uma sequência de variáveis i.i.d. com distribuição normal padrão. Encontre uma sequência de números reais (an)(a_{n}) tais que

    (Xn(1ε)an i.v.)=1 e (Xn(1+ε)an i.v.)=0\mathbb{P}(X_{n}\geqslant(1-\varepsilon)a_{n}\text{ i.v.})=1\text{ e }\mathbb{% P}(X_{n}\geqslant(1+\varepsilon)a_{n}\text{ i.v.})=0

    para todo ε>0\varepsilon>0.

22.

Seja (Xn)n(X_{n})_{n} uma sequência qualquer de variáveis aleatórias. Mostre que sempre existe uma sequência de números reais (an)n(a_{n})_{n} tal que Xnanq.c.0\frac{X_{n}}{a_{n}}\overset{\mathrm{q.c.}}{\rightarrow}0.

§7.3

23.

Dê uma solução alternativa ao Exercício 4, usando a Proposição 7.32.

24.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias tais que 𝔼Xnc\mathbb{E}X_{n}\to c quando nn\to\infty, onde cc\in\mathbb{R}.

  1. (a)

    Mostre que, se n=1𝕍Xn\sum_{n=1}^{\infty}\mathbb{V}X_{n} converge, então Xnq.c.cX_{n}\overset{\mathrm{q.c.}}{\rightarrow}c.

  2. (b)

    Mostre que, se 𝕍Xn0\mathbb{V}X_{n}\to 0, então XncX_{n}\overset{\mathbb{P}}{\rightarrow}c.

  3. (c)

    Se 𝕍Xn0\mathbb{V}X_{n}\to 0, então necessariamente Xnq.c.cX_{n}\overset{\mathrm{q.c.}}{\rightarrow}c?

25.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias i.i.d. com distribuição 𝒰[0,1]\mathcal{U}[0,1] e Yn=nXnY_{n}=n^{-X_{n}} para todo nn\in\mathbb{N}. Mostre que Yn0Y_{n}\to 0 em probabilidade mas não quase certamente.

26.

Seja XX uma variável aleatória integrável, e seja (An)n(A_{n})_{n} uma sequência de eventos tais que (An)0\mathbb{P}(A_{n})\to 0. Prove que 𝔼[X𝟙An]0\mathbb{E}[X\mathds{1}_{A_{n}}]\to 0.

§7.4

27.

Sejam XX e (Xn)n(X_{n})_{n} variáveis aleatórias tais que XndXX_{n}\overset{\smash{\mathrm{d}}}{\rightarrow}X, e seja g:g:\mathbb{R}\to\mathbb{R} uma função contínua. Mostre que g(Xn)dg(X)g(X_{n})\overset{\smash{\mathrm{d}}}{\rightarrow}g(X).

28.

Dê uma prova alternativa da Proposição 7.34 usando o Teorema de Helly-Bray.       Sugestão: Primeiro prove supondo convergência quase certa, e depois use um argumento semelhante ao da prova do Teorema 7.33.