12.6 Decomposição de Doob
Nesta seção compreenderemos um pouco mais da estrutura dos submartingales, pois estes sempre poderão ser escritos como a soma de um martingale e um processo com propriedades especiais.
Definição 12.47.
Dizemos que o processo é previsível com respeito à filtração se é -mensurável para todo e .
O processo definido no preâmbulo deste capítulo é um exemplo de processo previsível. A variável representa quanto o jogador decide apostar na -ésima rodada do jogo, esta é sempre determinada sabendo-se o resultado das primeiras rodadas.
Teorema 12.48 (Teorema de Decomposição de Doob).
Sejam uma filtração e um processo adaptado tal que para todo . Então existem um martingale e um processo previsível tais que para todo . Além disso, tal decomposição é única no sentido de que qualquer outra decomposição em martingale e processo previsível é igual a esta q.c.
Demonstração.
Defina , ,
e
para todo . Por indução, verificamos que somando as duas equações, e também que é -mensurável e é -mensurável diretamente das fórmulas. Ademais, tomando a esperança condicional com respeito a , vemos que . Logo, é um martingale. Isso mostra a existência da decomposição.
Para a unicidade, suponha que haja outra decomposição com martingale e processo previsível. Neste caso,
Tomando a esperança condicional com respeito a , obtemos
onde na primeira e terceira igualdades estamos utilizando que e são previsíveis e na segunda que e são martingales. Como , concluímos que q.c. e, por conseguinte, q.c. para todo . ∎
A sequência que aparece na Decomposição de Doob acima é denominada compensador do processo . Observando que , temos que o processo previsível é q.c. não-decrescente se, e somente se, o processo é um submartingale.
Um caso particular muito importante é quando é um martingale com segundo momento finito e consideramos o submartingale . Neste caso, a decomposição de Doob do submartingale é denotada , e o compensador é denominado variação quadrática do martingale . Pela Proposição 12.43, a variação quadrática satisfaz
Exemplo 12.49.
Seja o passeio aleatório simétrico (quando ), conforme definido no Exemplo 12.9, de forma que é um martingale com respeito à filtração induzida pelas parcelas . Pela equação acima, variação quadrática de é dada por para todo . Isso também pode ser verificado diretamente, expandindo
de forma que o compensador é dado por para todo . ∎