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=1∞Xn10nU=\sum_{n=1}^{\infty}\frac{X_{n}}{10^{n}}. Dados l∈ℕl\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+l−1=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⁢(n−k)\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)={1x−⌊1x⌋,se ⁢x≠0,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)=1log⁡2⁢∫A11+x⁢dx,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 X1≠0X_{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:E→ET:{E}\to{E} uma bijeção. Seja f:E→ℝf:E\to\mathbb{R} uma função qualquer. Descreva o limite da sequência

1n⁢∑k=0n−1f⁢(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

ℙ⁢(limn→∞1n⁢∑k=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,k∈ℕn,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:E→ET_{k}:{E}\to{E} por T⁢(x)=x+kT({x})={x}+k se x+k<nx+k<n e x+k−nx+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𝐂𝐨𝐯(f∘Tn,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

    limn→∞1n⁢∑k=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 A∈ℰA\in\mathcal{E} tal que μ⁢(T−1⁢(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

1n⁢∑j=1n𝟙B⁢(Xj,…,Xj+k−1)⁢→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 k∈ℕk\in\mathbb{N} e B∈ℬ⁢(ℝk)B\in\mathcal{B}(\mathbb{R}^{k}).