12.2 Tempos de parada

Ao participar de rodadas sucessivas de um jogo de azar, ou mesmo ao investir dinheiro em um determinado ativo financeiro, surgem perguntas bastante naturais. Em que momento devemos parar de jogar? Em que momento devemos vender o ativo? A resposta óbvia seria quando obtivermos o maior lucro possível! A questão é que, para sabermos que estamos passando por este momento, devemos ter informação acerca do futuro, pois, se hoje é o dia que obterei o maior lucro com meu ativo financeiro, é porque amanhã ele se desvalorizará. Ou seja, há tempos aleatórios que somente conseguimos determinar se olharmos para o futuro. A seguinte definição caracteriza aqueles tempos aleatórios factíveis, isto é, aqueles que conseguimos determinar apenas com a informação contida até o presente.

Definição 12.14.

Seja $\tau$ uma variável aleatória estendida que toma valores em $\mathbb{N}_{0}\cup\{+\infty\}$ . Dizemos que a variável $\tau$ é um tempo de parada com respeito à filtração $(\mathcal{F}_{n})_{n\in\mathbb{N}_{0}}$ se $\{\tau\leqslant n\}\in\mathcal{F}_{n}$ para todo $n\in\mathbb{N}_{0}$ .

Alguns livros definem tempo de parada pedindo que $\{\tau=n\}\in\mathcal{F}_{n}$ para todo $n\in\mathbb{N}_{0}$ , o que é equivalente (verifique!). Se interpretamos que a $\sigma$ -álgebra $\mathcal{F}_{n}$ carrega toda a informação disponível até o tempo $n$ , temos que, $\tau$ ser um tempo de parada significa que o evento $\{\tau=n\}$ pode ser determinado com base na informação contida apenas até esse tempo $n$ .

Exemplo 12.15.

Sejam $(X_{n})_{n}$ um processo adaptado e $B\in\mathcal{B}$ . É frequente estarmos interessados no primeiro tempo de passagem pelo conjunto $B$ (por exemplo, gostaríamos de vender determinado ativo financeiro quando ele atinge determinado preço pela primeira vez). Isto é, estamos interessados na variável aleatória

\tau_{B}=\inf\{n:X_{n}\in B\},

com a convenção $\inf\emptyset=+\infty$ . Como

\{\tau_{B}\leqslant n\}=\cup_{k=0}^{n}\{X_{k}\in B\}\in\mathcal{F}_{n}

para todo $n\in\mathbb{N}_{0}$ , segue que $\tau_{B}$ é um tempo de parada. ∎

Dados um processo estocástico $(X_{n})_{n\in\mathbb{N}_{0}}$ e um tempo aleatório $\tau$ assumindo valores em $\mathbb{N}_{0}$ , definimos a variável $X_{\tau}$ que corresponde ao processo $(X_{n})_{n}$ observado no tempo $n=\tau$ . Definimos o processo parado em $\tau$ como $(X_{n\wedge\tau})_{n}$ , onde $a\wedge b=\min\{a,b\}$ , que geralmente representa um processo que para de evoluir quando uma determinada condição é cumprida.

Teorema 12.16 (Teorema do Martingale Parado).

Sejam $(X_{n})_{n\in\mathbb{N}_{0}}$ um submartingale e $\tau$ um tempo de parada, com respeito à mesma filtração. Então o processo parado $(X_{n\wedge\tau})_{n}$ também é um submartingale. Em particular, se $(X_{n})_{n}$ é um martingale, então $(X_{n\wedge\tau})_{n}$ também é martingale.

Demonstração.

Como

X_{n\wedge\tau}=X_{n}\cdot\mathds{1}_{\{\tau\geqslant n\}}+\sum_{k=0}^{n-1}X_{% k}\cdot\mathds{1}_{\{\tau=k\}},

e todas as variáveis na equação acima são $\mathcal{F}_{n}$ -mensuráveis, $X_{n\wedge\tau}$ é $\mathcal{F}_{n}$ -mensurável, e como $|X_{n\wedge\tau}|\leqslant|X_{1}|+\dots+|X_{n}|$ , também é integrável. Para verificar (12.8), veja que

$\displaystyle\mathbb{E}[X_{(n+1)\wedge\tau}-X_{n\wedge\tau}\|\mathcal{F}_{n}]$	$\displaystyle=\mathbb{E}[(X_{n+1}-X_{n})\cdot\mathds{1}_{\{\tau>n\}}\|\mathcal{% F}_{n}]$
	$\displaystyle=\mathds{1}_{\{\tau>n\}}\cdot\mathbb{E}[(X_{n+1}-X_{n})\|\mathcal{% F}_{n}]\geqslant 0.\quad$

Na segunda igualdade utilizamos o fato de que $\{\tau>n\}\in\mathcal{F}_{n}$ , pois $\tau$ é tempo de parada. Na desigualdade usamos a propriedade de submartingale. ∎

Exemplo 12.17 (O segundo valete).

Retiramos cartas do baralho ao acaso e sucessivamente, até que não reste nenhuma carta. Sabemos que, para cada $n=1,\dots,52$ , a probabilidade de que a $n$ -ésima carta retirada seja um valete é igual a $\frac{1}{13}$ . Uma propriedade talvez surpreendente é que a probabilidade de os dois primeiros valetes aparecerem juntos também é $\frac{1}{13}$ !

Para justificar essa afirmação, definimos $Y_{n}$ como a indicadora do evento em que a $n$ -ésima carta retirada é um valete, e $\tau$ como o número de cartas retiradas até que saia um valete. Queremos mostrar que $\mathbb{E}[Y_{\tau+1}]=\frac{1}{13}$ .

Tomamos $(\mathcal{F}_{n})_{n}$ como a filtração natural de $(Y_{n})_{n}$ e definimos $X_{n}$ como a proporção de valetes restantes no baralho após a $n$ -ésima retirada, isto é,

X_{n}=\frac{4-Y_{1}-\dots-Y_{n}}{52-n}.

Observe que, para cada $n$ fixo, $\mathbb{E}[Y_{n+1}|\mathcal{F}_{n}]=X_{n}$ , ou seja, a probabilidade condicional de que a próxima carta seja um valete é igual à proporção de valetes restantes no baralho. Multiplicando por $\mathds{1}_{\{\tau=n\}}$ , somando sobre $n$ e tomando a esperança, obtemos a identidade $\mathbb{E}[Y_{\tau+1}]=\mathbb{E}X_{\tau}$ . Assim, queremos mostrar que $\mathbb{E}X_{\tau}=\frac{1}{13}$ .

Afirmamos que $(X_{n})_{n=0,\dots,49}$ é um martingale com respeito a $(\mathcal{F}_{n})_{n}$ , com $\mathcal{F}_{0}=\{\emptyset,\Omega\}$ Com efeito,

X_{n+1}=\frac{(52-n)X_{n}-1}{52-n-1}Y_{n+1}+\frac{(52-n)X_{n}}{52-n-1}(1-Y_{n+% 1})

e, como $X_{n}$ é $\mathcal{F}_{n}$ -mensurável e $\mathbb{E}[Y_{n+1}|\mathcal{F}_{n}]=X_{n}$ ,

\mathbb{E}[X_{n+1}|\mathcal{F}_{n}]=\frac{(52-n)X_{n}-1}{52-n-1}X_{n}+\frac{(5% 2-n)X_{n}}{52-n-1}(1-X_{n})=X_{n}

e, portanto, $(X_{n})_{n}$ é de fato um martingale. Pelo Teorema do Martingale Parado, $\mathbb{E}X_{\tau}=\mathbb{E}X_{49\wedge\tau}=\mathbb{E}X_{0}=\frac{1}{13}$ . ∎

Proposição 12.18.

Sejam $(X_{n})_{n\in\mathbb{N}_{0}}$ um submartingale e $\tau$ um tempo de parada, com respeito à mesma filtração. Então,

\mathbb{E}[X_{n\wedge\tau}]\leqslant\mathbb{E}[X_{n}].

Demonstração.

Basta expandir

$\displaystyle\mathbb{E}[X_{n}-X_{n\wedge\tau}]$	$\displaystyle=\mathbb{E}\Big{[}\sum_{k=\tau}^{n-1}X_{k+1}-X_{k}\Big{]}=\sum_{k% =0}^{n-1}\mathbb{E}\big{[}(X_{k+1}-X_{k})\mathds{1}_{\{\tau\leqslant k\}}\big{]}$
	$\displaystyle=\sum_{k=0}^{n-1}\mathbb{E}\big{[}\mathbb{E}[(X_{k+1}-X_{k})% \mathds{1}_{\{\tau\leqslant k\}}\|\mathcal{F}_{k}]\big{]}$
	$\displaystyle=\sum_{k=0}^{n-1}\mathbb{E}\big{[}\mathds{1}_{\{\tau\leqslant k\}% }\cdot\mathbb{E}[X_{k+1}-X_{k}\|\mathcal{F}_{k}]\big{]}\geqslant 0,$

onde na desigualdade usamos a propriedade de submartingale. ∎

Essas propriedades de martingales parados permitem estender desigualdades envolvendo a posição final para desigualdades sobre toda a trajetória.

Teorema 12.19.

Seja $(S_{n})_{n}$ um submartingale. Então, para cada $\lambda>0$ , valem

\mathbb{P}\Big{(}\max_{j=1,\dots,n}S_{j}\geqslant\lambda\Big{)}\leqslant\frac{% \mathbb{E}S_{n}^{+}}{\lambda}

\mathbb{P}\Big{(}\min_{j=1,\dots,n}S_{j}\leqslant-\lambda\Big{)}\leqslant\frac% {\mathbb{E}S_{n}^{+}-\mathbb{E}S_{1}}{\lambda}.

Demonstração.

Seja $\tau=\inf\{j=1,\dots,n:S_{j}\geqslant\lambda\}\wedge n.$ Então, $\tau$ é tempo de parada e $n\wedge\tau=\tau$ . Pela Proposição 12.12, $S^{+}_{n}$ também é submartingale. Pela Proposição 12.18, $\mathbb{E}S^{+}_{\tau}\leqslant\mathbb{E}S^{+}_{n}$ , logo

\lambda\,\mathbb{P}(S_{\tau}\geqslant\lambda)\leqslant\mathbb{E}S^{+}_{\tau}% \leqslant\mathbb{E}S_{n}^{+}.

Analogamente, definindo $\tau=\inf\{j=1,\dots,n:S_{j}\leqslant-\lambda\}\wedge n,$ obtemos

\displaystyle\mathbb{E}S_{1}\leqslant\mathbb{E}S_{\tau}=\mathbb{E}S^{+}_{\tau}% -\mathbb{E}S^{-}_{\tau}\leqslant\mathbb{E}S^{+}_{n}-\lambda\,\mathbb{P}(S_{% \tau}\leqslant-\lambda),

onde a primeira desigualdade é novamente dada pelo Teorema do Martingale Parado. ∎

Teorema 12.20 (Desigualdade de Doob-Kolmogorov).

Seja $(S_{n})_{n}$ um martingale. Então, para cada $\lambda>0$ e $p\geqslant 1$ , vale

\mathbb{P}\Big{(}\max_{j=1,\dots,n}|S_{j}|\geqslant\lambda\Big{)}\leqslant% \frac{\mathbb{E}|S_{n}|^{p}}{\lambda^{p}}.

Demonstração.

Caso $\mathbb{E}|S_{n}|^{p}=+\infty$ , a desigualdade vale trivialmente. Caso contrário, como a função $|\cdot|^{p}$ é convexa, $(|S_{n}|^{p})_{n}$ é um submartingale e aplicamos o teorema anterior com $\lambda^{p}$ no lugar de $\lambda$ . ∎

Com algum esforço extra e usando a Desigualdade de Hölder (Apêndice D.7), é possível provar o seguinte.

Teorema 12.21 (Desigualdade de Doob em

\mathcal{L}^{p}

Seja $(M_{n})_{n}$ um martingale, ou um submartingale não-negativo. Então, para todo $p>1$ , vale

\mathbb{E}\Big{[}\max_{j=1,\dots,n}|M_{j}|^{p}\Big{]}\leqslant(\tfrac{p}{p-1})% ^{p}\,\mathbb{E}|M_{n}|^{p}.

A demonstração do teorema acima pode ser encontrada na Seção 14.11 de [WIL91], e em [DUR19, GUT13, KLE14].