8.5 Exercícios

§8.1

1.

Se, no jogo de roleta, apostamos 11 ficha no número 2727, o nosso ganho esperado é de 238-\tfrac{2}{38} fichas. O que diz a Lei dos Grandes Números sobre o ganho acumulado de um jogador que repete esta aposta indefinidamente? E se ele variar o número apostado?

2.

Temos dois dados honestos, um cúbico numerado de 11 a 66 e um octaédrico numerado de 11 a 88. Um destes dados é escolhido aleatoriamente e lançado nn vezes.

  1. (a)

    A Lei dos Grandes Números pode ser usada para prever a frequência relativa com que aparece o número 66?

  2. (b)

    Descreva um critério que permita inferir qual dado foi escolhido sabendo-se apenas a frequência relativa do número 66.

  3. (c)

    Encontre um valor de nn para o qual seja possível afirmar que a probabilidade de que o critério descrito no item anterior acerte seja de pelo menos 910\frac{9}{10}.

3.

Exiba um exemplo de sequência de variáveis aleatórias ilustrando que a hipótese de variáveis não-correlacionadas não pode ser retirada na Lei Fraca de Tchebyshev.

4.

Exiba um exemplo de sequência de variáveis aleatórias ilustrando que a hipótese de variâncias limitadas não pode ser retirada na Lei Fraca de Tchebyshev. Dica: Tente com variáveis normais.

§8.2

5.

Sejam (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias i.i.d. com distribuição normal padrão. Calcule quanto vale quase certamente o limite

limn(aX1+b)2++(aXn+b)2X12++Xn2,a,b.\lim_{n\to\infty}\frac{(aX_{1}+b)^{2}+\dots+(aX_{n}+b)^{2}}{X_{1}^{2}+\dots+X_% {n}^{2}},\ \ a,b\in\mathbb{R}.
6.

Sejam (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], calcule o limite quase certo da média geométrica

X1Xnn.\sqrt[n]{X_{1}\cdots X_{n}}.
7.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com Xn𝒰[0,n]X_{n}\sim\mathcal{U}[0,n]. Defina Zn=𝟙{X2n>X2n+1}Z_{n}=\mathds{1}_{\{X_{2n}>X_{2n+1}\}} e Sn=Z1++ZnS_{n}=Z_{1}+\dots+Z_{n}.

  1. (a)

    Calcule limnSnn\lim_{n\to\infty}\frac{S_{n}}{n}.

  2. (b)

    A convergência acima vale quase certamente ou apenas em probabilidade? Justifique.

8.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com (Xn=n2)=1n3=1(Xn=0)\mathbb{P}(X_{n}=n^{2})=\frac{1}{n^{3}}=1-\mathbb{P}(X_{n}=0) para todo nn\in\mathbb{N}. Vale a Lei Fraca dos Grandes Números ou a Lei Forte?

9.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com (Xn=n2)=1n2=1(Xn=0)\mathbb{P}(X_{n}=n^{2})=\frac{1}{n^{2}}=1-\mathbb{P}(X_{n}=0) para todo nn\in\mathbb{N}. Vale a Lei Fraca dos Grandes Números ou a Lei Forte?

10.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes com (Xn=n)=(Xn=n)=12nlogn\mathbb{P}(X_{n}=n)=\mathbb{P}(X_{n}=-n)=\frac{1}{2n\log n} e (Xn=0)=11nlogn\mathbb{P}(X_{n}=0)=1-\frac{1}{n\log n} para todo nn\in\mathbb{N}. Mostre que vale a Lei Fraca dos Grandes Números mas não vale a Lei Forte.

§8.3

11.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias independentes duas a duas. Diga se vale a Lei Fraca dos Grandes Números ou a Lei Forte nos seguintes casos:

  1. (a)

    (Xn=n)=(Xn=n)=12\mathbb{P}(X_{n}=n)=\mathbb{P}(X_{n}=-n)=\tfrac{1}{2}.

  2. (b)

    (Xn=2n)=(Xn=2n)=22n1\mathbb{P}(X_{n}=2^{n})=\mathbb{P}(X_{n}=-2^{n})=2^{-2n-1} e (Xn=0)=122n\mathbb{P}(X_{n}=0)=1-2^{-2n}.

  3. (c)

    (Xn=2n)=2n\mathbb{P}(X_{n}=2^{n})=2^{-n} e (Xn=0)=12n\mathbb{P}(X_{n}=0)=1-2^{-n}.

  4. (d)

    (Xn=n2)=(Xn=n2)=(n+1)3\mathbb{P}(X_{n}=n^{2})=\mathbb{P}(X_{n}=-n^{2})=(n+1)^{-3} e (Xn=0)=12(n+1)3\mathbb{P}(X_{n}=0)=1-2(n+1)^{-3}.

12.

Seja (Xn)n(X_{n})_{n} uma sequência de variáveis aleatórias i.i.d. tais que 𝔼X1=+\mathbb{E}X_{1}=+\infty. Mostre que Snnq.c.+\frac{S_{n}}{n}\overset{\mathrm{q.c.}}{\rightarrow}+\infty.

13Lei Forte para segundo momento limitado.

Seja (X)n(X)_{n} uma sequência de variáveis aleatórias não-correlacionadas, tais que 𝔼Xn2<C\mathbb{E}X_{n}^{2}<C para algum C>0C>0, para todo nn\in\mathbb{N}. Vamos mostrar que

Sn𝔼Snnq.c.0,\frac{S_{n}-\mathbb{E}S_{n}}{n}\overset{\mathrm{q.c.}}{\rightarrow}0,

onde Sn=X1++XnS_{n}=X_{1}+\dots+X_{n} para todo nn\in\mathbb{N}, seguindo os passos abaixo.

  1. (a)

    Mostre que, sem perda de generalidade, podemos supor que 𝔼Xn=0\mathbb{E}X_{n}=0 para todo nn\in\mathbb{N}.

  2. (b)

    Mostre que Sm2m2q.c.0\frac{S_{m^{2}}}{m^{2}}\overset{\mathrm{q.c.}}{\rightarrow}0 quando mm\to\infty.

  3. (c)

    Dado nn\in\mathbb{N}, seja mm o único número mm\in\mathbb{N} tal que m2n<(m+1)2m^{2}\leqslant n<(m+1)^{2} e defina rn=m2r_{n}=m^{2}. Mostre que Srnnq.c.0\frac{S_{r_{n}}}{n}\overset{\mathrm{q.c.}}{\rightarrow}0.

  4. (d)

    Mostre que

    𝔼(SnSrnn)22Cn3/2+Cn2.\mathbb{E}\Big{(}\frac{S_{n}-S_{r_{n}}}{n}\Big{)}^{2}\leqslant\frac{2C}{n^{3/2% }}+\frac{C}{n^{2}}.
  5. (e)

    Mostre que SnSrnnq.c.0\frac{S_{n}-S_{r_{n}}}{n}\overset{\mathrm{q.c.}}{\rightarrow}0.

  6. (f)

    Conclua o exercício.

§8.4

14.

Seguindo os passos abaixo, mostre que, quase certamente, um número XX sorteado uniformemente no intervalo [0,1][0,1] é normal na base bb.

  1. (a)

    Seja (Xn)n(X_{n})_{n} a sequência dos dígitos de XX na base bb, de forma que (Xn)n(X_{n})_{n} é i.i.d. com distribuição uniforme discreta em {0,,b1}\{0,\dots,b-1\}. Dada um par ordenado (z1,z2){0,1,,b1}2(z_{1},z_{2})\in\{0,1,\dots,b-1\}^{2}, defina a sequência de variáveis aleatórias (Yn)n(Y_{n})_{n}, onde Yn=𝟙{(Xn,Xn+1)=(z1,z2)}Y_{n}=\mathds{1}_{\{(X_{n},X_{n+1})=(z_{1},z_{2})\}} para todo nn\in\mathbb{N}. Verifique que a sequência (Yn)n(Y_{n})_{n} é identicamente distribuída, não é independente, mas a sequência (Y2n1)n(Y_{2n-1})_{n} é independente, assim como a sequência (Y2n)n(Y_{2n})_{n}.

  2. (b)

    Mostre que

    limnY1+Y3++Y2n1n=limnY2+Y4++Y2nn=1b2,\lim_{n}\frac{Y_{1}+Y_{3}+\dots+Y_{2n-1}}{n}=\lim_{n}\frac{Y_{2}+Y_{4}+\dots+Y% _{2n}}{n}=\frac{1}{b^{2}},

    portanto

    limnY1+Y2++Y2n2n=1b2.\lim_{n}\frac{Y_{1}+Y_{2}+\dots+Y_{2n}}{2n}=\frac{1}{b^{2}}.
  3. (c)

    Mostre que

    |Y1+Y2++Y2n2nY1+Y2++Y2n12n1|12n1\left|\frac{Y_{1}+Y_{2}+\dots+Y_{2n}}{2n}-\frac{Y_{1}+Y_{2}+\dots+Y_{2n-1}}{2n% -1}\right|\leqslant\frac{1}{2n-1}

    e conclua que todo par ordenado (z1,z2){0,1,,b1}2(z_{1},z_{2})\in\{0,1,\dots,b-1\}^{2} aparece na expansão de XX na base bb com frequência relativa igual a 1b2\frac{1}{b^{2}} quase certamente.

  4. (d)

    Generalize os itens anteriores, considerando l2l\geqslant 2 inteiro e ll-uplas ordenadas da forma (z1,,zl){0,1,,b1}l(z_{1},\dots,z_{l})\in\{0,1,\dots,b-1\}^{l}, e conclua que XX é normal na base bb quase certamente.