Na matematica , a desigualdade de martingale de Doob e um resultado no estudo dos processos estocasticos . Esta da um limite sobre a probabilidade de que um processo estocastico exceda qualquer dado valor sobre um dado intervalo de tempo. Como o nome sugere, o resultado e geralmente dado no caso em que o processo e um martingale negativo, mas o resultado tambem e valido para submartingales nao negativos.

A desigualdade recebe este nome em homenagem ao matematico norte-americano Joseph Leo Doob . ^{[ 1 ]}

Afirmacao da desigualdade [ editar | editar codigo-fonte ]

Considere ${\displaystyle X}$ um submartingale que assume valores reais nao negativos, seja em tempo discreto , seja em tempo continuo. Isto e, para todos os tempos ${\displaystyle s}$ e ${\displaystyle t}$ com ${\displaystyle s<t}$:

${\displaystyle X_{s}\leq \mathbf {E} \left[X_{t}{\big |}{\mathcal {F}}_{s}\right].}$

Para um submartingale de tempo continuo, assume-se posteriormente que o processo e cadlag . Entao, para qualquer constante ${\displaystyle C>0}$,

${\displaystyle \mathbf {P} \left[\sup _{0\leq t\leq T}X_{t}\geq C\right]\leq {\frac {\mathbf {E} \left[X_{T}\right]}{C}}.}$

Acima, como e convencional, ${\displaystyle \mathbf {P} }$ denota a medida de probabilidade no espaco amostral ${\displaystyle \Omega }$ do processo estocastico:

${\displaystyle X:[0,T]\times \Omega \to [0,+\infty )}$

e ${\displaystyle \mathbf {E} }$ denota o valor esperado com respeito a medida de probabilidade ${\displaystyle \mathbf {P} }$, isto e, a integral

${\displaystyle \mathbf {E} [X_{T}]=\int _{\Omega }X_{T}(\omega )\mathrm {d} \mathbf {P} (\omega )}$

no sentido da integracao de Lebesgue . ${\displaystyle {\mathcal {F}}_{s}}$ denota a sigma-algebra gerada por todas as variaveis aleatorias ${\displaystyle X_{i}}$ com ${\displaystyle i\leq s}$. A colecao de tais sigma-algebras forma uma filtracao do espaco de probabilidade . ^{[ 2 ]}

Desigualdades posteriores [ editar | editar codigo-fonte ]

Ha desigualdades de (sub)martingale posteriores que tambem se devem a Doob. Com os mesmos pressupostos sobre ${\displaystyle X}$ como acima, considere:

${\displaystyle S_{t}=\sup _{0\leq s\leq t}X_{s}}$

e, para ${\displaystyle p\geq 1}$, considere:

${\displaystyle \|X_{t}\|_{p}=\|X_{t}\|_{L^{p}(\Omega ,{\mathcal {F}},\mathbf {P} )}=\left(\mathbf {E} \left[|X_{t}|^{p}\right]\right)^{\frac {1}{p}}.}$

Nesta notacao, a desigualdade de Doob como afirmada acima le:

${\displaystyle \mathbf {P} \left[S_{T}\geq C\right]\leq {\frac {\|X_{T}\|_{1}}{C}}.}$

As seguintes desigualdade tambem se aplicam: para ${\displaystyle p=1}$,

${\displaystyle \|S_{T}\|_{p}\leq {\frac {e}{e-1}}\left(1+\|X_{T}\log ^{+}X_{T}\|_{p}\right)}$

e, para ${\displaystyle p>1}$,

${\displaystyle \|X_{T}\|_{p}\leq \|S_{T}\|_{p}\leq {\frac {p}{p-1}}\|X_{T}\|_{p}.}$^{[ 3 ]}

Desigualdades relacionadas [ editar | editar codigo-fonte ]

A desigualdade de Doob para martingales de tempo discreto implica a desigualdade de Kolmogorov: se ${\displaystyle X_{1},X_{2},...}$ for uma sequencia de variaveis aleatorias independentes de valores reais, cada uma com media zero, fica claro que:

${\displaystyle {\begin{aligned}\mathbf {E} \left[X_{1}+\dots +X_{n}+X_{n+1}{\big |}X_{1},\dots ,X_{n}\right]&=X_{1}+\dots +X_{n}+\mathbf {E} \left[X_{n+1}{\big |}X_{1},\dots ,X_{n}\right]\\&=X_{1}+\cdots +X_{n},\end{aligned}},}$

de modo que ${\displaystyle M_{n}=X_{1}+...+X_{n}}$ e um martingale. Note que a desigualdade de Jensen implica que ${\displaystyle |M_{n}|}$ e um submartingale nao negativo se ${\displaystyle M_{n}}$ for um martingale. Assim, assumindo ${\displaystyle p=2}$ na desigualdade de martingale de Doob,

${\displaystyle \mathbf {P} \left[\max _{1\leq i\leq n}\left|M_{i}\right|\geq \lambda \right]\leq {\frac {\mathbf {E} \left[M_{n}^{2}\right]}{\lambda ^{2}}},}$

que e precisamente a afirmacao da desigualdade de Kolmogorov. ^{[ 3 ]}

Aplicacao no movimento browniano [ editar | editar codigo-fonte ]

Considere que ${\displaystyle B}$ denota um movimento browniano unidimensional canonico. Entao,

${\displaystyle \mathbf {P} \left[\sup _{0\leq t\leq T}B_{t}\geq C\right]\leq \exp \left(-{\frac {C^{2}}{2T}}\right).}$

A prova e como segue: ja que a funcao exponencial e monotonamente crescente, para qualquer ${\displaystyle \lambda }$ nao negativo,

${\displaystyle \left\{\sup _{0\leq t\leq T}B_{t}\geq C\right\}=\left\{\sup _{0\leq t\leq T}\exp(\lambda B_{t})\geq \exp(\lambda C)\right\}.}$

Pela desigualdade de Doob e, ja que a exponencial do movimento browniano e um submartingale positivo,

${\displaystyle {\begin{aligned}\mathbf {P} \left[\sup _{0\leq t\leq T}B_{t}\geq C\right]&=\mathbf {P} \left[\sup _{0\leq t\leq T}\exp(\lambda B_{t})\geq \exp(\lambda C)\right]\\&\leq {\frac {\mathbf {E} \left[\exp(\lambda B_{T})\right]}{\exp(\lambda C)}}\\&=\exp \left({\tfrac {1}{2}}\lambda ^{2}T-\lambda C\right)&&\mathbf {E} \left[\exp(\lambda B_{t})\right]=\exp \left({\tfrac {1}{2}}\lambda ^{2}t\right)\end{aligned}}.}$

Ja que o lado esquerdo nao depende de ${\displaystyle \lambda }$, escolhe-se ${\displaystyle \lambda }$ para minimizar o lado direito. ${\displaystyle \lambda =C/T}$ da a desigualdade desejada. ^{[ 4 ]}

Referencias [ editar | editar codigo-fonte ]