14.6 Exercícios

§14.1

1.

Sejam UU variável aleatória com distribuição uniforme em [0,1)[0,1) e (Xn)n(X_{n})_{n} a sequência de variáveis aleatórias que denota a representação decimal de UU (caso haja mais de uma, considere aquela que termina com infinitos zeros); isto é, U=n=1Xn10nU=\sum_{n=1}^{\infty}\frac{X_{n}}{10^{n}}. Dados ll\in\mathbb{N} e 𝒌=(k1,,kl){0,1,,9}l{\boldsymbol{k}}=(k_{1},\dots,k_{l})\in\{0,1,\dots,9\}^{l} uma sequência de ll dígitos fixada, defina a sequência (Zn𝒌)(Z^{{\boldsymbol{k}}}_{n}), onde Zn𝒌=𝟙{Xn=k1,,Xn+l1=kl}Z^{{\boldsymbol{k}}}_{n}=\mathds{1}_{\{X_{n}=k_{1},\dots,X_{n+l-1}=k_{l}\}}. Mostre que a sequência (Zn𝒌)(Z^{{\boldsymbol{k}}}_{n}) é estacionária.

2.

Seja (X1,X2,)(X_{1},X_{2},\dots) uma sequência estacionária com 𝔼X12<\mathbb{E}X_{1}^{2}<\infty. Mostre que 𝔼Xn\mathbb{E}X_{n} não depende de nn e a covariância entre duas variáveis da sequência é da forma 𝐂𝐨𝐯(Xn,Xk)=g(nk)\mathop{\mathbf{Cov}}\nolimits(X_{n},X_{k})=g(n-k) para alguma função g:g:\mathbb{R}\to\mathbb{R}.

3Transformação de Gauss.

Considere T:[0,1][0,1]T:[0,1]\to[0,1] dada por

T(x)={1x1x,se x0,0,se x=0.T({x})=\begin{cases}\frac{1}{{x}}-\big{\lfloor}\frac{1}{{x}}\big{\rfloor},\ \ % &\text{se }{x}\neq 0,\\ 0,\ \ &\text{se }{x}=0.\end{cases}

Mostre que TT é uma transformação que preserva a medida μ\mu dada por

μ(A)=1log2A11+xdx,A([0,1]).\mu(A)=\frac{1}{\log 2}\int_{A}\frac{1}{1+{x}}\mathrm{d}{x},\qquad A\in% \mathcal{B}([0,1]).
4.

Seja p>1p>1 e considere T:[0,1][0,1]T:[0,1]\to[0,1] dada por T(x)=xpT(x)=x^{p}. Seja f:[0,1][0,+)f:[0,1]\to[0,+\infty) uma função mensurável com 01f(x)dx=1\int_{0}^{1}f(x)\,\mathrm{d}x=1, e defina a medida μ\mu por

μ(A)=Af(x)dx,A([0,1]).\mu(A)=\int_{A}f(x)\,\mathrm{d}{x},\qquad A\in\mathcal{B}([0,1]).

Mostre que TT não preserva a medida μ\mu.

5.

Seja (X1,X2,)(X_{1},X_{2},\dots) uma sequência estacionária. Mostre que, quase certamente, se X10X_{1}\neq 0 então n|Xn|=+\sum_{n}|X_{n}|=+\infty.

§14.2

6.

Sejam E={1,,m}{E}=\{1,\dots,m\}, =𝒫(E)\mathcal{E}=\mathcal{P}({E}), μ(A)=#Am\mu(A)=\frac{\#A}{m} e T:EET:{E}\to{E} uma bijeção. Seja f:Ef:E\to\mathbb{R} é uma função qualquer. Descreva o limite da sequência

1nk=0n1f(Tk(x))\frac{1}{n}\sum_{k=0}^{n-1}f(T^{k}({x}))

como uma função de xx.

7.

Dê um exemplo de uma sequência estacionária (X1,X2,)(X_{1},X_{2},\dots) com X1X_{1} integrável tal que

(limn1nk=1nXk=𝔼X1)=0.\mathbb{P}\left(\lim_{n\to\infty}\frac{1}{n}\sum_{k=1}^{n}X_{k}=\mathbb{E}X_{1% }\right)=0.

§14.3

8.

Estabeleça condições para que a transformação TT definida no Exercício 6 seja ergódica.

9.

Seja SS a transformação definida no Exemplo 14.11.

  1. (a)

    Mostre que SS é uma transformação ergódica
    Dica: Pense nos pontos de [0,1)[0,1) escritos na base nn.

  2. (b)

    Utilize o Teorema Ergódico para fornecer uma prova alternativa que quase todo número em [0,1)[0,1) é normal (conforme definido na Seção 8.4).

10.

Sejam n,kn,k\in\mathbb{N}, E={1,,n}{E}=\{1,\dots,n\}, =𝒫(E)\mathcal{E}=\mathcal{P}({E}) e μ(A)=#An\mu(A)=\frac{\#A}{n}. Defina Tk:EET_{k}:{E}\to{E} por T(x)=x+kT({x})={x}+k se x+k<nx+k<n e x+knx+k-n caso contrário.

  1. (a)

    Mostre que TT preserva a medida μ\mu.

  2. (b)

    Mostre que TT é ergódica se, e somente se, nn e kk são primos entre si.

  3. (c)

    Nos casos em que TT for ergódica, podemos afirmar que TT é misturadora?

11.

Mostre que uma transformação que preserva medida TT é misturadora se, e somente se,

limn𝐂𝐨𝐯(fTn,g)=0\lim_{n}\mathop{\mathbf{Cov}}\nolimits(f\circ T^{n},g)=0

para todas ff e gg funções mensuráveis.

12.

Prove o Teorema 14.26.

13.

Sejam 𝑿=(X1,X2,){\boldsymbol{X}}=(X_{1},X_{2},\dots) uma sequência de variáveis aleatórias e f:f:\mathbb{R}^{\mathbb{N}}\to\mathbb{R} uma função ()\mathcal{B}(\mathbb{R}^{\mathbb{N}})-mensurável. Defina a sequência 𝒁=(Z1,Z2,){\boldsymbol{Z}}=(Z_{1},Z_{2},\dots), onde Zn=f(Xn,Xn+1,)Z_{n}=f(X_{n},X_{n+1},\dots). Mostre que:

  1. (a)

    Se 𝑿{\boldsymbol{X}} é estacionário, então 𝒁{\boldsymbol{Z}} é estacionário.

  2. (b)

    𝒁𝑿\mathcal{I}_{{\boldsymbol{Z}}}\subseteq\mathcal{I}_{{\boldsymbol{X}}}.

  3. (c)

    Se 𝑿{\boldsymbol{X}} é ergódico, então 𝒁{\boldsymbol{Z}} é ergódico.

  4. (d)

    Se 𝑿{\boldsymbol{X}} é estacionário e Z1Z_{1} é integrável, então

    limn1nk=1nZk=𝔼[Z1|𝑿]=𝔼[Z1|𝒁] q.c.\lim_{n\to\infty}\frac{1}{n}\sum_{k=1}^{n}Z_{k}=\mathbb{E}[Z_{1}|\mathcal{I}_{% {\boldsymbol{X}}}]=\mathbb{E}[Z_{1}|\mathcal{I}_{{\boldsymbol{Z}}}]\ \text{ q.% c.}
  5. (e)

    Se 𝑿{\boldsymbol{X}} é ergódico e Z1Z_{1} é integrável, então 𝔼[Z1|𝑿]=𝔼[Z1] q.c.\mathbb{E}[Z_{1}|\mathcal{I}_{{\boldsymbol{X}}}]=\mathbb{E}[Z_{1}]\ \text{ q.c.}

14.

Seja TT uma função que preserva medida e AA\in\mathcal{E} tal que μ(T1(A)A)=0\mu(T^{-1}(A)\setminus A)=0. Mostre que AA é quase TT-invariante.

§14.5

15.

Mostre que uma sequência estacionária (X1,X2,)(X_{1},X_{2},\dots) é ergódica se, e somente se

1nj=1n𝟙B(Xj,,Xj+k1)q.c.((X1,,Xk)B)\frac{1}{n}\sum_{j=1}^{n}\mathds{1}_{B}(X_{j},\dots,X_{j+k-1})\overset{\mathrm% {q.c.}}{\rightarrow}\mathbb{P}((X_{1},\dots,X_{k})\in B)

para todos kk\in\mathbb{N} e B(k)B\in\mathcal{B}(\mathbb{R}^{k}).