Difusão de Itō

Em matemática, especificamente em análise estocástica, uma difusão de Itō é uma solução para um tipo específico de equação diferencial estocástica. Esta equação é semelhante à equação de Langevin usada em física para descrever o movimento browniano de uma partícula sujeita a um potencial em um fluido viscoso. As difusões de Itō recebem este nome em homenagem ao matemático japonês Kiyoshi Itō.

Visão geral

Este processo de Wiener (movimento browniano) em um espaço tridimensional (com um caminho amostral exibido) é um exemplo de difusão de Itō.

Uma difusão de Itō homogênea em tempo em um espaço euclidiano de

$n$

dimensões

${ℝ}^n$

é um processo

$X:[0,+\mathrm{\infty })\times \mathrm{\Omega }\to {ℝ}^n$

definido em um espaço de probabilidade

$(\mathrm{\Omega },\mathrm{\Sigma },P)$

e que satisfaz uma equação diferencial estocástica da forma:

$\mathrm{d}{X}_t=b(X_t)\mathrm{d}t+\sigma (X_t)\mathrm{d}{B}_t,$

em que

$B$

é um movimento browniano de

$m$

dimensões e

$b:{ℝ}^n\to {ℝ}^n$

e

$\sigma :{ℝ}^n\to {ℝ}^{n\times m}$

satisfazem a condição de continuidade de Lipschitz usual:

$|b(x)-b(y)|+|\sigma (x)-\sigma (y)|\le C|x-y|$

para alguma constante

$C$

e todo

$x,y\in {ℝ}^n$

. Esta condição garante a existência de uma única solução forte

$X$

à equação diferencial estocástica dada acima. O campo vetorial

$b$

é conhecido como coeficiente de deriva de

$X$

. O campo tensorial

$\sigma$

é conhecido como o coeficiente de difusão de

$X$

. É importante notar que

$b$

e

$\sigma$

não dependem do tempo. Se dependessem do tempo,

$X$

seria apenas considerado um processo de Itō, não uma difusão. Difusões de Itō têm uma série de propriedades importantes, que incluem:

• a continuidade amostral e a continuidade de Feller;
• a propriedade de Markov;
• a propriedade forte de Markov;
• a existência de um gerador infinitesimal;
• a existência de um operador característico;
• a fórmula de Dynkin.

Em particular, uma difusão de Itō é um processo contínuo e fortemente markoviano de tal modo que o domínio de seu operador característico inclui todas as funções dupla e continuamente diferenciáveis, sendo uma difusão no sentido definido pelo matemático soviético-americano Eugene Dynkin.

Continuidade

Continuidade amostral

Um difusão de Itō

$X$

é um processo contínuo amostral, isto é, para quase todas as realizações

$B_t(\omega )$

do ruído,

$X_t(\omega )$

é uma função contínua do parâmetro de tempo

$t$

. Mais precisamente, há uma "versão contínua" de

$X$

, um processo contínuo

$Y$

tal que:

$𝐏[X_t=Y_t]=1\text{ para todo }t.$

Isto se segue da existência padrão e da teoria da unicidade para soluções fortes de equações diferenciais estocásticas.

Continuidade de Feller

Além de ser contínua e amostral, uma difusão de Itō $X$ satisfaz o requisito mais forte da continuidade de Feller.

Para um ponto $x\in {ℝ}^n$, considere que P$x^{}$ denota a lei de $X$, sendo o dado inicial $X_0=x$, e considere que ${𝐄}^x$denota o valor esperado em relação a P$x^{}$.

Considere que

$f:{ℝ}^n\to ℝ$

é uma função mensurável de Borel limitada abaixo e defina, para

$t\ge 0$

fixo,

$u:{ℝ}^n\to ℝ$

por:

$u(x)={𝐄}^x[f(X_t)].$

• Semicontinuidade inferior: se $f$ for semicontínua inferior, então, $u$ é semicontínua inferior.
• Continuidade de Feller: se $f$ for limitada e contínua, então, $u$ é contínua.

O comportamento da função $u$ acima quando o tempo $t$ é variado foi abordado pela equação regressiva de Kolmogorov, pela equação de Fokker–Planck, entre outras.

Propriedade de Markov

Propriedade de Markov

Uma difusão de Itō tem a importante propriedade de ser markoviana: o futuro comportamento de $X$, dado o que aconteceu até o tempo $t$, é o mesmo como se o processo tivesse sido iniciado na posição $X_t$ no tempo 0. A formulação matemática precisa desta afirmação exige alguma notação adicional.

Considere que

${\mathrm{\Sigma }}_{*}$

denota a filtração natural de

$(\mathrm{\Omega },\mathrm{\Sigma })$

gerada pela movimento browniano

$B$

. Para

$t\ge 0$

,

${\mathrm{\Sigma }}_t={\mathrm{\Sigma }}_t^B=\sigma \{B_s^{-1}(A)\subseteq \mathrm{\Omega }:0\le s\le t,A\subseteq {𝐑}^n\text{Borel}\}.$

É fácil mostrar que

$X$

é adaptada a

${\mathrm{\Sigma }}_{*}$

(isto é, que cada

$X_t$

é

${\mathrm{\Sigma }}_t$

-mensurável), de modo que a filtração natural

$F_{*}=F_{*}^X$

de

$(\mathrm{\Omega },\mathrm{\Sigma })$

gerada por

$X$

tem

$F_t\subseteq {\mathrm{\Sigma }}_t$

para cada

$t\ge 0$

. Considere que

$f:{ℝ}^n\to ℝ$

é uma função limitada e mensurável de Borel. Então, para todo

$t$

e

$h\ge 0$

, o valor esperado condicional condicionado na σ-álgebra

${\mathrm{\Sigma }}_t$

e o valor esperado do processo "reiniciado" a partir de

$X_t$

satisfazem a propriedade de Markov:

${𝐄}^x[f(X_{t+h})|{\mathrm{\Sigma }}_t](\omega )={𝐄}^{X_t(\omega )}[f(X_h)].$

De fato,

$X$

é também um processo de Markov no que se refere à filtração

$F_{*}$

, como mostra o que segue:

$\begin{array}{cc}{𝐄}^x[f(X_{t+h})|F_t]& ={𝐄}^x\left[{𝐄}^x[f(X_{t+h})|{\mathrm{\Sigma }}_t]\right|F_t]\\ & ={𝐄}^x\left[{𝐄}^{X_t}[f(X_h)]\right|F_t]\\ & ={𝐄}^{X_t}[f(X_h)].\end{array}$

Propriedade forte de Markov

A propriedade forte de Markov é uma generalização da propriedade de Markov acima em que $t$ é substituído por um tempo aleatório adequado $T:\mathrm{\Omega }\to [0,+\mathrm{\infty }]$ conhecido como tempo de parada. Então, por exemplo, em vez de "reiniciar" o processo $X$ no tempo $t=1$, pode-se "reiniciar" quando quer que $X$ alcance pela primeira vez algum ponto especificado $p$ de ${ℝ}^n$.

Como antes, considere

$f:{ℝ}^n\to ℝ$

uma função limitada e mensurável de Borel. Considere

$\tau$

um tempo de parada no que se refere à filtração

${\mathrm{\Sigma }}_{*}$

com

$\tau <+\mathrm{\infty }$

quase certamente. Então, para todo

$h\ge 0$

,

${𝐄}^x[f(X_{\tau +h})|{\mathrm{\Sigma }}_{\tau }]={𝐄}^{X_{\tau }}[f(X_h)].$

Gerador

Definição

Associado a cada difusão de Itō, há um operador diferencial parcial de segunda ordem conhecido como o gerador de difusão. O gerador é muito útil em muitas aplicações e codifica uma grande quantidade de informação sobre o processo

$X$

. Formalmente, o gerador infinitesimal de uma difusão de Itō

$X$

é o operador

$A$

, que é definido como agindo em funções adequadas

$f:{ℝ}^n\to ℝ$

por:

$Af(x)=\underset{t\downarrow 0}{\lim }\frac{{𝐄}^x[f(X_t)]-f(x)}{t}.$

O conjunto de todas as funções

$f$

para as quais este limite existe em um ponto

$x$

é denotado como

$D_A(x)$

, enquanto

$D_A$

denota o conjunto de todas as

$f$

para as quaIS o limite existe para todo

$x\in {ℝ}^n$

. Pode-se mostrar que qualquer função

$f$

compactamente suportada

$C^2$

(duplamente diferenciável com segunda derivada contínua) repousa em

$D_A$

e que:

$Af(x)=\sum _i{b}_i(x)\frac{\partial f}{\partial x_i}(x)+\frac{1}{2}\sum _{i,j}{(\sigma (x)\sigma (x{)}^{\mathrm{\top }})}_{i,j}\frac{{\partial }^{2}f}{\partial x_i\partial x_j}(x),$

ou, em termos de gradiente, escalar e produto interno de Frobenius,

$Af(x)=b(x)\cdot {\mathrm{\nabla }}_{x}f(x)+\frac{1}{2}(\sigma (x)\sigma (x{)}^{\mathrm{\top }}):{\mathrm{\nabla }}_x{\mathrm{\nabla }}_{x}f(x).$

Exemplo

O gerador

$A$

para o movimento browniano

$B$

padrão de

$n$

dimensões, que satisfaz a equação diferencial estocástica

$\mathrm{d}{X}_t=\mathrm{d}{B}_t$

, é dado por

$Af(x)=\frac{1}{2}\sum _{i,j}{\delta }_{ij}\frac{{\partial }^{2}f}{\partial x_i\partial x_j}(x)=\frac{1}{2}\sum _i\frac{{\partial }^{2}f}{\partial x_i^2}(x),$

isto é,

$A=\mathrm{\Delta }/2$

, em que

$\mathrm{\Delta }$

denota o operador de Laplace.

Equações de Kolmogorov e de Fokker–Planck

Predefinição:MainO gerador é usado na formulação da equação regressiva de Kolmogorov. Intuitivamente, esta equação diz como o valor esperado de qualquer estatística adequadamente suave de

$X$

evolui no tempo: ele deve resolver uma certa equação diferencial parcial em que o tempo

$t$

e a posição inicial

$x$

são variáveis independentes. Mais precisamente, se

$f\in C^2({ℝ}^n;ℝ)$

tiver suporte compacto e

$u:[0;+\mathrm{\infty })\times {ℝ}^n\to ℝ$

for definida por:

$u(t,x)={𝐄}^x[f(X_t)],$

então,

$u(t,x)$

é diferenciável no que diz respeito a

$t,u(t,\cdot )\in D_A$

para todo

$t$

e

$u$

satisfaz a seguinte equação diferencial parcial, conhecida como equação regressiva de Kolmogorov:

$\{\begin{array}{cc}\frac{\partial u}{\partial t}(t,x)=Au(t,x),& t>0,x\in {ℝ}^n;\\ u(0,x)=f(x),& x\in {ℝ}^n.\end{array}$

A equação de Fokker–Planck (também conhecida como equação progressiva de Kolmogorov) é, em algum sentido, a "adjunta" da equação regressiva e diz como as funções densidade de probabilidade de

$X_t$

evoluem com o tempo

$t$

. Considere que

$\rho (t,\cdot )$

é a densidade de

$X_t$

no que diz respeito à medida de Lebesgue em

${ℝ}^n$

, isto é, para qualquer conjunto mensurável de Borel

$S\subseteq {ℝ}^n$

:

$𝐏[X_t\in S]=\underset{S}{\int }\rho (t,x)\mathrm{d}x.$

Considere que

$A^{*}$

denota o adjunto hermitiano de

$A$

(no que diz respeito ao produto interno L²). Então, dado que a posição inicial

$X_0$

tem a densidade prescrita

${\rho }_0$

,

$\rho (t,x)$

é diferenciável no que diz respeito a

$t$

,

$\rho (t,\cdot )\in D_{A^{*}}$

para todo

$t$

e

$\rho$

satisfaz a seguinte equação diferencial parcial, conhecida como a equação de Fokker–Planck:

$\{\begin{array}{cc}\frac{\partial \rho }{\partial t}(t,x)=A^{*}\rho (t,x),& t>0,x\in {ℝ}^n;\\ \rho (0,x)={\rho }_0(x),& x\in {ℝ}^n.\end{array}$

Fórmula de Feynman–Kac

Predefinição:MainA fórmula de Feynman–Kac é uma generalização útil da equação regressiva de Kolmogorov. Novamente,

$f$

está em

$C^2({ℝ}^n;ℝ)$

e tem suporte compacto e assume-se que

$q:{ℝ}^n\to ℝ$

é uma função contínua que é limitada abaixo. Define-se uma função

$v:[0,+\mathrm{\infty })\times {ℝ}^n\to ℝ$

por:

$v(t,x)={𝐄}^x[\exp (-\underset{0}{\overset{t}{\int }}q(X_s)\mathrm{d}s)f(X_t)].$

A fórmula de Feynman–Kac afirma que

$v$

satisfaz a equação diferencial parcial:

$\{\begin{array}{cc}\frac{\partial v}{\partial t}(t,x)=Av(t,x)-q(x)v(t,x),& t>0,x\in {ℝ}^n;\\ v(0,x)=f(x),& x\in {ℝ}^n.\end{array}$

Além disso, se

$w:[0,+\mathrm{\infty })\times {ℝ}^n\to ℝ$

for

$C^1$

em tempo,

$C^2$

em espaço, limitada como

$K\times {ℝ}^n$

para todo

$K$

compacto e satisfizer a equação diferencial parcial acima, então,

$w$

deve ser

$v$

como definida acima.

A equação regressiva de Kolmogorov é o caso especial da fórmula de Feynman–Kac em que $q(x)=0$ para todo $x\in {ℝ}^n$.

Operador característico

Definição

O operador característico de uma difusão de Itō $X$ é um operador diferencial parcial intimamente relacionado com o gerador, mas de certa forma mais geral. É mais adequado para certos problemas, por exemplo na solução do problema de Dirichlet.

O operador característico

$𝒜$

de uma difusão de Itō

$X$

é definido por:

$𝒜f(x)=\underset{U\downarrow x}{\lim }\frac{{𝐄}^x[f(X_{{\tau }_U})]-f(x)}{{𝐄}^x[{\tau }_U]},$

em que os conjuntos

$U$

formam uma sequência de conjuntos abertos

$U_k$

que decrescem ao ponto

$x$

no sentido em que:

$U_{k+1}\subseteq U_k\text{ e }\bigcap _{k=1}^{\mathrm{\infty }}{U}_k=\{x\}$

e

${\tau }_U=\inf \{t\ge 0:X_t\in ̸U\}$

é o primeiro tempo de saída a partir de

$U$

para

$X$

.

$D_{𝒜}$

denota o conjunto de todas as

$f$

para as quais este limite existe para todo

$x\in {ℝ}^n$

e todas as sequências

$\{U_k\}$

. Se

${𝐄}^x[{\tau }_u]=+\mathrm{\infty }$

para todos os conjuntos abertos

$U$

contendo

$x$

, define-se:

$𝒜f(x)=0.$

Relação com o gerador

O operador característico e o gerador infinitesimal estão muito intimamente relacionados e até mesmo concordam para uma grande classe de funções. Pode-se mostrar que:Predefinição:Quotee que

$Af=𝒜f\text{ para todo }f\in D_A.$

Em particular, o gerador e o operador característico concordam para todas as funções

$f$ $C^2$

e nesse caso:

$𝒜f(x)=\sum _i{b}_i(x)\frac{\partial f}{\partial x_i}(x)+\frac{1}{2}\sum _{i,j}{(\sigma (x)\sigma (x{)}^{\mathrm{\top }})}_{i,j}\frac{{\partial }^{2}f}{\partial x_i\partial x_j}(x).$

Aplicação do movimento browniano em uma variedade de Riemann

O operador característico de um movimento browniano é uma vez e meia o operador de Laplace-Beltrami. Aqui está o operador de Laplace-Beltrami em uma esfera bimensional.

Acima, o gerador (e assim o operador característico) do movimento browniano em

${ℝ}^n$

foi calculado como sendo

$\mathrm{\Delta }/2$

, em que

$\mathrm{\Delta }$

denota o operador de Laplace. O operador característico é útil ao definir o movimento browniano em uma variedade de Riemann

$(M,g)$

de

$m$

dimensões: um movimento browniano em

$M$

é definido como sendo uma difusão em

$M$

cujo operador característico

$𝒜$

em coordenadas locais

$x_i$

,

$1\le i\le m$

, é dado por

${\mathrm{\Delta }}_{LB}/2$

, em que

${\mathrm{\Delta }}_{LB}$

é operador de Laplace–Beltrami dado em coordenadas locais por:

${\mathrm{\Delta }}_{\mathrm{L}\mathrm{B}}=\frac{1}{\sqrt{\det (g)}}\sum _{i=1}^m\frac{\partial }{\partial x_i}\left(\sqrt{\det (g)}\sum _{j=1}^m{g}^{ij}\frac{\partial }{\partial x_j}\right),$

em que

$[g^{ij}]=[g_{ij}{]}^{-1}$

no sentido do inverso da matriz quadrada.

Operador resolvente

Em geral, o gerador $A$ de uma difusão de Itō $X$ não é um operador limitado. Entretanto, se um múltiplo positivo do operador identidade $𝐈$ for subtraído a partir de $A$, então, o operador resultante é invertível. O inverso deste operador pode ser expresso em termos do próprio $X$ usando o operador resolvente.

Para

$\alpha >0$

, o operador resolvente

$R_{\alpha }$

, agindo em funções limitadas, contínuas

$g:{ℝ}^n\to ℝ$

, é definido como:

$R_{\alpha }g(x)={𝐄}^x[\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-\alpha t}g(X_t)\mathrm{d}t].$

Pode-se mostrar, usando a continuidade de Feller da difusão

$X$

, que

$R_{\alpha }g$

é ele mesmo uma função limitada, contínua. Também,

$R_{\alpha }$

e

$\alpha 𝐈-A$

são operadores mutuamente inversos:

• Se $f:{ℝ}^n\to ℝ$ for $C^2$ com suporte compacto, então, para todo $\alpha >0$,

$R_{\alpha }(\alpha 𝐈-A)f=f;$

• Se $g:{ℝ}^n\to ℝ$ for limitada e contínua, então, $R_{\alpha }g$ repousa em $D_A$, para todo $\alpha >0$,

$(\alpha 𝐈-A)R_{\alpha }g=g.$

Medidas invariantes

Algumas vezes, é necessário encontrar uma medida invariante para uma difusão de Itō

$X$

, isto é, uma medida em

${ℝ}^n$

que não muda sob o "fluxo" de

$X$

, ou seja, se

$X_0$

for distribuída de acordo com tal medida invariante

${\mu }_{\mathrm{\infty }}$

, então,

$X_t$

é também distribuída de acordo com

${\mu }_{\mathrm{\infty }}$

para qualquer

$t\ge 0$

. A equação de Fokker–Planck oferece uma maneira de encontrar tal medida, pelo menos se tiver uma função densidade de probabilidade

${\rho }_{\mathrm{\infty }}$

: se

$X_0$

for de fato distribuída de acordo com uma medida invariante

${\mu }_{\mathrm{\infty }}$

com densidade

${\rho }_{\mathrm{\infty }}$

, então, a densidade

$\rho (t,\cdot )$

de

$X_t$

não muda com

$t$

, de modo que

$\rho (t,\cdot )={\rho }_{\mathrm{\infty }}$

, e então

${\rho }_{\mathrm{\infty }}$

deve resolver a equação diferencial parcial (independente de tempo):

$A^{*}{\rho }_{\mathrm{\infty }}(x)=0,x\in {ℝ}^n.$

Isto ilustra uma das conexões entre a análise estocástica e o estudo das equações diferenciais parciais. Reciprocamente, uma dada equação diferencial parcial linear de segunda ordem da forma

$\mathrm{\Lambda }f=0$

pode ser difícil de resolver diretamente, mas se

$\mathrm{\Lambda }=A^{*}$

para alguma difusão de Itō

$X$

e uma medida invariante para

$X$

for fácil de computar, então, a densidade daquela medida oferece uma solução para a equação diferencial parcial.

Medidas invariantes para fluxos de gradiente

Uma medida invariante é comparativamente fácil de computar quando o processo

$X$

é um fluxo de gradiente estocástico de forma:

$\mathrm{d}{X}_t=-\mathrm{\nabla }\mathrm{\Psi }(X_t)\mathrm{d}t+\sqrt{2{\beta }^{-1}}\mathrm{d}{B}_t,$

em que

$\beta >0$

desempenha o papel de uma temperatura inversa e

$\mathrm{\Psi }:{ℝ}^n\to ℝ$

é um potencial escalar que satisfaz a suavidade adequada e as condições de crescimento. Neste caso, a equação de Fokker–Planck tem uma única solução estacionária

${\rho }_{\mathrm{\infty }}$

(isto é,

$X$

tem uma única medida invariante

${\mu }_{\mathrm{\infty }}$

com densidade

${\rho }_{\mathrm{\infty }}$

) e é dada pela distribuição de Gibbs:

${\rho }_{\mathrm{\infty }}(x)=Z^{-1}\exp (-\beta \mathrm{\Psi }(x)),$

em que a função de partição

$Z$

é dada por:

$Z=\underset{{ℝ}^n}{\int }\exp (-\beta \mathrm{\Psi }(x))\mathrm{d}x.$

Além disso, a densidade

${\rho }_{\mathrm{\infty }}$

satisfaz um princípio variacional: isto minimiza sobre todas as densidades de probabilidade

$\rho$

em

${ℝ}^n$

a energia livre funcional

$F$

dada por:

$F[\rho ]=E[\rho ]+\frac{1}{\beta }S[\rho ],$

em que

$E[\rho ]=\underset{{𝐑}^n}{\int }\mathrm{\Psi }(x)\rho (x)\mathrm{d}x$

desempenha o papel de uma energia funcional e

$S[\rho ]=\underset{{𝐑}^n}{\int }\rho (x)\log \rho (x)\mathrm{d}x$

é a negativa da funcional de entropia de Gibbs–Boltzmann. Mesmo quando o potencial

$\mathrm{\Psi }$

não é bem comportado o bastante para a função de partição

$Z$

e a medida de Gibbs

${\mu }_{\mathrm{\infty }}$

a serem definidas, a energia livre

$F[\rho (t,\cdot )]$

ainda faz sentido para cada tempo

$t\ge 0$

, desde que a condição inicial tenha

$F[\rho (0,\cdot )]<+\mathrm{\infty }$

. A energia livre funcional

$F$

é, na verdade, uma função de Lyapunov para a equação de Fokker–Planck:

$F[\rho (t,\cdot )]$

pode decrescer conforme

$t$

aumenta. Assim,

$F$

é uma função H para a dinâmica X.

Exemplo

Considere o processo Ornstein–Uhlenbeck

$X$

em

${ℝ}^n$

que satisfaz a equação diferencial estocástica:

$\mathrm{d}{X}_t=-\kappa (X_t-m)\mathrm{d}t+\sqrt{2{\beta }^{-1}}\mathrm{d}{B}_t,$

em que

$m\in {ℝ}^n$

e

$\beta ,\kappa >0$

são constantes dadas. Neste caso, o potencial

$\mathrm{\Psi }$

é dado por:

$\mathrm{\Psi }(x)=\frac{1}{2}\kappa |x-m{|}^2,$

e, então, a medida invariante para

$X$

é uma medida gaussiana com densidade

${\rho }_{\mathrm{\infty }}$

dada por:

${\rho }_{\mathrm{\infty }}(x)={\left(\frac{\beta \kappa }{2\pi }\right)}^{\frac{n}{2}}\exp (-\frac{\beta \kappa |x-m{|}^2}{2}).$

Heuristicamente, para um

$t$

grande,

$X_t$

é aproximadamente normalmente distribuída com média

$m$

e variância

$(\beta \kappa {)}^{-1}$

. A expressão para a variância pode ser interpretada como se segue: grandes valores de

$\kappa$

significam que o poço de potencial

$\mathrm{\Psi }$

tem "lados muito íngremes", de modo que é improvável que

$X_t$

se mova para longe do mínimo de

$\mathrm{\Psi }$

em

$m$

; de forma semelhante, grandes valores de

$\beta$

significam que o sistema é muito "frio" com pouco ruído, de modo que, novamente, é improvável que

$X_t$

se mova para longe de

$m$

.

Propriedade martingale

Em geral, uma difusão de Itō não é um martingale. Entretanto, para qualquer

$f\in C^2({ℝ}^2;ℝ)$

com suporte compacto, o processo

$M:[0,+\mathrm{\infty })\times \mathrm{\Omega }\to ℝ$

definido por:

$M_t=f(X_t)-\underset{0}{\overset{t}{\int }}Af(X_s)\mathrm{d}s,$

em que

$A$

é o gerador de

$X$

, é um martingale no que diz respeito à filtração natural

$F_{*}$

de

$(\mathrm{\Omega },\mathrm{\Sigma })$

por

$X$

. A prova é simples: segue-se da expressão usual da ação do gerador em funções

$f$

suficientemente suaves e do lema de Itō (a regra da cadeia estocástica) que:

$f(X_t)=f(x)+\underset{0}{\overset{t}{\int }}Af(X_s)\mathrm{d}s+\underset{0}{\overset{t}{\int }}\mathrm{\nabla }f(X_s{)}^{\mathrm{\top }}\sigma (X_s)\mathrm{d}{B}_s.$

Já que as integrais de Itō são martingales no que diz respeito à filtração natural

$F_{*}$

de

$(\mathrm{\Omega },\mathrm{\Sigma })$

por

$B$

, para

$t>s$

,

${𝐄}^x\left[M_t\right|{\mathrm{\Sigma }}_s]=M_s.$

Assim, como exigido,

${𝐄}^x[M_t|F_s]={𝐄}^x\left[{𝐄}^x\right[M_t\left|{\mathrm{\Sigma }}_s\right]\left|F_s\right]={𝐄}^x[M_s\left|F_s\right]=M_s,$

já que

$M_s$

é

$F_s$

-mensurável.

Fórmula de Dynkin

Predefinição:MainA fórmula de Dynkin, que recebe este nome em homenagem ao matemático russo-americano Eugene Dynkin, dá o valor esperado de qualquer estatística adequadamente suave de uma difusão de Itō

$X$

(com gerador

$A$

) em um tempo de parada. Precisamente, se

$\tau$

for um tempo de parada com

$𝐄[\tau ]<+\mathrm{\infty }$

e se

$f:{ℝ}^n\to ℝ$

for

$C^2$

com suporte compacto, então:

${𝐄}^x[f(X_{\tau })]=f(x)+{𝐄}^x[\underset{0}{\overset{\tau }{\int }}Af(X_s)\mathrm{d}s].$

A fórmula de Dynkin pode ser usada para calcular muitas estatísticas úteis de tempos de parada. Por exemplo, o movimento browniano canônico na reta real começando em 0 sai do intervalo

$(-R,+R)$

em um tempo aleatório

${\tau }_R$

com valor esperado:

${𝐄}^0[{\tau }_R]=R^2.$

A fórmula de Dynkin oferece informação sobre o comportamento de

$X$

em um tempo de parada razoavelmente geral. Para mais informações sobre a distribuição de

$X$

em um tempo de chegada, pode-se estudar a medida harmônica do processo.

Medidas associadas

Medida harmônica

Em muitas situações, é suficiente saber quando uma difusão de Itō

$X$

deixará pela primeira vez um conjunto mensurável

$H\subseteq {ℝ}^n$

, isto é, estudar o primeiro tempo de saída:

${\tau }_H(\omega )=\inf \{t\ge 0|X_t\in ̸H\}.$

Algumas vezes, entretanto, pode-se querer saber a distribuição dos pontos nos quais

$X$

deixa o conjunto. Por exemplo, o movimento browniano canônico

$B$

na reta real começando em 0 deixa o intervalo

$(-1,1)$

em -1 com probabilidade

$1/2$

e em 1 com probabilidade

$1/2$

, de modo que

$B_{{\tau }_{(-1,1)}}$

é uniformemente distribuído no conjunto

$\{-1,1\}$

Em geral, se

$G$

for compactamente encaixado em

${ℝ}^n$

, então, a medida harmônica (ou distribuição de chegada) de

$X$

na fronteira

$\partial G$

de

$G$

é a medida

${\mu }_G^x$

definida por:

${\mu }_G^x(F)={𝐏}^x[X_{{\tau }_G}\in F]$

para

$x\in G$

e

$F\subseteq \partial G$

.

Retornando ao exemplo anterior do movimento browniano, pode-se mostrar que, se $B$ for um movimento browniano em ${ℝ}^n$ começando em $x\in {ℝ}^n$ e $D\subset {ℝ}^n$ for uma bola aberta centrada em $x$, então, a medida harmônica de $B$ em $\partial D$ é invariante sob todas as rotações de $D$ sobre $x$ e coincide com a medida de superfície normalizada em $\partial D$.

A medida harmônica satisfaz uma interessante propriedade de valor médio: se

$f:{ℝ}^2\to ℝ$

for qualquer função limitada e mensurável de Borel e

$\phi$

for dado por:

$\phi (x)={𝐄}^x[f(X_{{\tau }_H})],$

então, para todos os conjuntos de Borel

$G\subset \subset H$

e todo

$x\in G$

,

$\phi (x)=\underset{\partial G}{\int }\phi (y)\mathrm{d}{\mu }_G^x(y).$

A propriedade de valor médio é muito útil na solução de equações diferenciais parciais usando processos estocásticos.

Medida de Green e fórmula de Green

Considere

$A$

um operador diferencial parcial em um domínio

$D\subseteq {ℝ}^n$

e considere

$X$

uma difusão de Itō com

$A$

como seu gerador. Intuitivamente, a medida de Green de um conjunto de Borel

$H$

é o comprimento esperado do tempo em que

$X$

permanece em

$H$

antes de deixar o domínio

$D$

. Em outras palavras, a medida de Green de

$X$

no que diz respeito a

$D$

em

$x$

, denotada

$G(x,\cdot )$

, é definida para conjuntos de Borel

$H\subseteq {ℝ}^n$

por:

$G(x,H)={𝐄}^x[\underset{0}{\overset{{\tau }_D}{\int }}{\chi }_H(X_s)\mathrm{d}s],$

ou para funções limitadas, contínuas

$f:D\to ℝ$

, por:

$\underset{D}{\int }f(y)G(x,\mathrm{d}y)={𝐄}^x[\underset{0}{\overset{{\tau }_D}{\int }}f(X_s)\mathrm{d}s].$

A nome "medida de Green" vem do fato de que, se

$X$

for um movimento browniano, então:

$G(x,H)=\underset{H}{\int }G(x,y)\mathrm{d}y,$

em que

$G(x,y)$

é a função de Green para o operador

$\mathrm{\Delta }/2$

no domínio

$D$

. Suponha que

${𝐄}^x[{\tau }_D]<+\mathrm{\infty }$

para todo

$x\in D$

. Então, a fórmula de Green se aplica para toda

$f\in C^2({ℝ}^2;ℝ)$

com suporte compacto:

$f(x)={𝐄}^x\left[f\left(X_{{\tau }_D}\right)\right]-\underset{D}{\int }Af(y)G(x,\mathrm{d}y).$

Em particular, se o suporte de

$f$

for compactamente encaixado em

$D$

,

$f(x)=-\underset{D}{\int }Af(y)G(x,\mathrm{d}y).$