Processo estocástico contínuo

Em teoria das probabilidades, um processo estocástico contínuo é um tipo de processo estocástico que pode ser considerado "contínuo" como uma função de seu "tempo" ou parâmetro de índice. A continuidade é uma boa propriedade para um processo, mais precisamente, para seus caminhos amostrais, já que implica que eles são bem comportados em algum sentido e, por isso, mais fáceis de analisar. Está implícito aqui que o índice do processo estocástico é uma variável contínua. Alguns autores definem um "processo (estocástico) contínuo" como um processo que exige apenas que a variável do índice seja contínua, sem continuidade dos caminhos amostrais. Em alguma terminologia, este seria um processo estocástico de tempo contínuo, em paralelo à um "processo de tempo discreto". Dada esta possível confusão, é necessário cautela.

Definições

Considere $(\mathrm{\Omega },\mathrm{\Sigma },𝐏)$ um espaço de probabilidade, $T$ algum intervalo de tempo e $X:T\times \mathrm{\Omega }\to S$ um processo estocástico. Por simplicidade, o resto deste artigo assumirá que o espaço de estados $S$ é a reta real $ℝ$, mas as definições permanencem mutatis mutandis se $S$ for ${ℝ}^n$, um espaço vetorial normado, ou mesmo um espaço métrico geral.

Continuidade com probabilidade um

Dado um tempo

$t\in T$

, diz-se que

$X$

é contínuo com probabilidade um em

$t$

se:

$𝐏\left(\{\omega \in \mathrm{\Omega }\left|\underset{s\to t}{\lim }\right|X_s(\omega )-X_t(\omega )|=0\}\right)=1.$

Continuidade em quadrado da média

Dado um tempo

$t\in T$

, diz-se que

$X$

é continuo em quadrado da média em

$t$

se

$𝐄[|X_t{|}^2]<+\mathrm{\infty }$

e:

$\underset{s\to t}{\lim }𝐄\left[\right|X_s-X_t{|}^2]=0.$

Continuidade em probabilidade

Dado um tempo

$t\in T$

, diz-se que

$X$

é contínuo em probabilidade em

$t$

se, para todo

$\epsilon >0$

:

$\underset{s\to t}{\lim }𝐏\left(\{\omega \in \mathrm{\Omega }\left|\right|X_s(\omega )-X_t(\omega )|\ge \epsilon \}\right)=0.$

Equivalentemente,

$X$

é contínuo em probabilidade no tempo

$t$

se:

$\underset{s\to t}{\lim }𝐄\left[\frac{|X_s-X_t|}{1+|X_s-X_t|}\right]=0.$

Continuidade em distribuição

Dado um tempo

$t\in T$

, diz-se que

$X$

é contínuo em distribuição em

$t$

se:

$\underset{s\to t}{\lim }{F}_s(x)=F_t(x)$

para todos os pontos

$x$

em que

$F_t$

é contínua, sendo que

$F_t$

denota a função distribuição acumulada da variável aleatória

$X_t$

.

Continuidade amostral

Diz-se que $X$ é contínuo amostral se $X_t(\omega )$ for contínuo em $t$ para $𝐏$-quase todo $\omega \in \mathrm{\Omega }$. A continuidade amostral é a noção apropriada de continuidade para processos como as difusões de Itō.

Continuidade de Feller

Diz-se que $X$ é um processo contínuo de Feller se depender continuamente de $x$ para qualquer $t\in T$ fixo e qualquer função $g:S\to ℝ,{𝐄}^x[g(X_t)]$ $\mathrm{\Sigma }$-mensurável, contínua e limitada. Aqui, $x$ denota o estado inicial do processo de $X$ e ${𝐄}^x$ denota a expectativa condicional sobre o evento que $X$ começa em $x$.

Relações

As relações entre os vários tipos de continuidade de processos estocásticos são semelhantes às relações entre os vários tipos de convergência de variáveis aleatórias. Em particular:

• Continuidade com probabilidade um implica continuidade em probabilidade;
• Continuidade em quadrado da média implica continuidade em probabilidade;
• Continuidade com probabilidade não implica, nem é implicada pela continuidade em quadrado da média;
• Continuidade em probabilidade implica, mas não é implicada pela continuidade em distribuição.

É tentador confundir continuidade com probabilidade um com continuidade amostral. Continuidade com probabilidade um no tempo

$t$

significa que

$𝐏(A_t)=0$

, em que o evento

$A_t$

é dado por:

$A_t=\{\omega \in \mathrm{\Omega }\left|\underset{s\to t}{\lim }\right|X_s(\omega )-X_t(\omega )|\ne 0\}$

e é perfeitamente factível checar se isto se aplica ou não para cada

$t\in T$

. A continuidade amostral, por outro lado, exige que

$𝐏(A)=0$

, em que:

$A=\bigcup _{t\in T}{A}_t.$

$A$

é uma união não enumerável de eventos, ou seja, não é verdadeiramente o próprio evento, de modo que

$𝐏(A)=0$

pode estar indefinido. Além disso, mesmo se

$A$

for um evento,

$𝐏(A)$

pode ser estritamente positivo até se

$𝐏(A_t)=0$

para todo

$t\in T$

. Este é o caso, por exemplo, com o processo do telégrafo.