# Integral de Skorokhod

Em matemática, a integral de Skorokhod, frequentemente denotada como $\delta$, é um operador de grande importância na teoria dos processos estocásticos. Recebe este nome em homenagem ao matemático ucraniano Anatoliy Skorokhod. Parte da sua importância deriva do fato de que unifica vários conceitos:
* $\delta$ é uma extensão da integral de Itō a processos não adaptados;
* $\delta$ é o adjunto da derivada de Malliavin, que é fundamental para o cálculo estocástico de variações (cálculo de Malliavin);
* $\delta$ é uma generalização de dimensões infinitas do operador de divergência a partir do cálculo vetorial clássico.

## Definição
### Derivada de Malliavin

Considere um espaço de probabilidade fixo $(\Omega ,\Sigma ,\mathbf {P} )$ e um espaço de Hilbert $H$, sendo que $\mathbf {E}$ denota o valor esperado em relação à $\mathbf {P}$:
   $\mathbf {E} [X]:=\int _{\Omega }X(\omega )\,\mathrm {d} \mathbf {P} (\omega ).$
Falando intuitivamente, a derivada de Malliavin de uma variável aleatória $F$ em $L^{p}(\Omega )$ é definida expandindo-a em termos de variáveis aleatórias gaussianas que são parametrizadas pelos elementos de $H$ e diferenciando da expansão formalmente. A integral de Skorokhod é o operador adjunto da derivada de Malliavin.
Considere uma família de variáveis aleatórias de valores reais $W(h)$, indexada pelos elementos $h$ do espaço de Hilbert $H$. Assuma em seguida que cada $W(h)$ é uma variável aleatória gaussiana (normal), que o mapa que leva de $h$ a $W(h)$ é um mapa linear e que a média e a estrutura de covariância são dadas por:
   $\mathbf {E} [W(h)]=0,$
   $\mathbf {E} [W(g)W(h)]=\langle g,h\rangle _{H},$
para todo $g$ e $h$ em $H$. Pode-se mostrar que, dado $H$, sempre existe um espaço de probabilidade $(\Omega ,\Sigma ,\mathbf {P} )$ e uma família de variáveis aleatórias com as propriedades acima. A derivada de Malliavin é essencialmente definida ao configurar formalmente a derivada da variável aleatória $W(h)$ como sendo $h$ e então estender esta definição a variáveis aleatórias suficientemente suaves. Para uma variável aleatória $F$ da forma:
   $F=f(W(h_{1}),\ldots ,W(h_{n})),$
em que $f:\mathbb {R} ^{n}\to \mathbb {R}$ é suave, a derivada de Malliavin é definida usando a "definição formal" anterior e a regra da cadeia:
   $\mathrm {D} F:=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}(W(h_{1}),\ldots ,W(h_{n}))h_{i}.$
Em outras palavras, enquanto $F$ era uma variável aleatória de valores reais, sua derivada $\mathrm {D} F$ é uma variável aleatória de valor $H$, um elemento do espaço $L^{p}(\Omega ;H)$. Certamente, este procedimento apenas define $\mathrm {D} F$ para variáveis aleatórias "suaves", mas um procedimento de aproximação pode ser empregado para definir $\mathrm {D} F$ para $F$ em um subespaço grande de $L^{p}(\Omega )$; o domínio de $\mathrm {D}$ é o fecho das variáveis aleatórias suaves na seminorma:
   $\|F\|_{1,p}:={\big\mathbf {E} [|F|^{p}]+\mathbf {E} [\|\mathrm {D} F\|_{H}^{p}]{\big )}^{1/p}.$
Este espaço é denotado por $\mathrm {D} ^{1,p}$ e é chamado de espaço de Watanabe–Sobolev.

### Integral de Skorokhod

Por simplicidade, considere agora apenas o caso $p=2$. A integral de Skorokhod $\delta$ é definida como o adjunto-$L^{2}$ da derivada de Malliavin $\mathrm {D}$. Assim como $\mathrm {D}$ não foi definida no todo de $L^{2}(\Omega )$, $\delta$ não é definida no todo de $L^{2}(\Omega ;H)$: o domínio de $\delta$ consiste naqueles processos $u$ em $L^{2}(\Omega ;H)$ para os quais existe uma constante $C(u)$, tal que, para toda $F$ em $\mathrm {D} ^{1,2}$,
   ${\big |}\mathbf {E} [\langle \mathrm {D} F,u\rangle _{H}]{\big |}\leq C(u)\|F\|_{L^{2}(\Omega )}.$
A integral de Skorokhod de um processo $u$ em $L^{2}(\Omega ;H)$ é uma variável aleatória de valores reais $\delta u$ em $L^{2}(\Omega )$; se $u$ cai no domínio de $\delta$, então , $\delta u$ é definida pela relação que, para toda $F\in \mathrm {D} ^{1,2}$,
   $\mathbf {E} [F\,\delta u]=\mathbf {E} [\langle \mathrm {D} F,u\rangle _{H}].$
Assim como a derivada de Malliavin $\mathrm {D}$ foi primeiramente definida em variáveis aleatórias simples e suaves, a integral de Skorokhod tem uma expressão simples para "processos simples": se $u$ for dada por
   $u=\sum _{j=1}^{n}F_{j}h_{j}$
em $F_{j}$ suave e $h_{j}$ em $H$, então:
   $\delta u=\sum _{j=1}^{n}\left(F_{j}W(h_{j})-\langle \mathrm {D} F_{j},h_{j}\rangle _{H}\right).$

## Propriedades

* De acordo com a propriedade da isometria, para qualquer processo $u$ em $L^{2}(\Omega ;H)$ que cai no domínio de $\delta$,
    $\mathbf {E} {\big(\delta u)^{2}{\big ]}=\mathbf {E} \int |u_{t}|^{2}dt+\mathbf {E} \int D_{s}u_{t}\,D_{t}u_{s}\,ds\,dt.$
    Se $u$ for um processo adaptado, então, $D_{s}u_{t}=0$ para $s>t$, de modo que o segundo termo no lado direito desaparece. As integrais de Skorokhod e Itō coincidem neste caso e a equação acima se torna a isometria de Itō.
* A derivada da integral de Skorokhod é dada pela fórmula:
    $\mathrm {D} _{h}(\delta u)=\langle u,h\rangle _{H}+\delta (\mathrm {D} _{h}u),$
    em que $D_{h}X$ representa $(\mathrm {D} X)(h)$, a variável aleatória que é o valor do processo $\mathrm {D} X$ no "tempo" $h$ em $H$.
* A integral de Skorokhod do produto de uma variável aleatória $F$ em $\mathrm {D} ^{1,2}$ e um processo $u$ em $dom(\delta )$ é dada pela fórmula:
    $\delta (Fu)=F\,\delta u-\langle \mathrm {D} F,u\rangle _{H}.$