Tjyylli

A integral de Itō Yt(B){displaystyle Y_{t}(B)} (azul) de um movimento browniano B{displaystyle B} (vermelho) em relação a si mesma, isto é, tanto o integrando, quanto o integrador são browniano. Acontece que Yt(B)=(B2−t)/2{displaystyle Y_{t}(B)=(B^{2}-t)/2}.

O cálculo de Itō, que recebe este nome em homenagem ao matemático japonês Kiyoshi Itō, estende os métodos do cálculo aos processos estocásticos, como o movimento browniano. Tem importantes aplicações em matemática financeira e equações diferenciais estocásticas.

O conceito central é a integral estocástica de Itō, uma generalização estocástica da integral de Riemann-Stieltjes em análise. Os integrandos e os integradores são agora processos estocásticos:

Yt=∫0tHsdXs,{displaystyle Y_{t}=int _{0}^{t}H_{s}dX_{s},}

em que H{displaystyle H} é um processo localmente quadrado-integrável adaptado à filtração gerada por X{displaystyle X}, que é um movimento browniano ou, de forma mais generalizada, um semimartingale.^[1] O resultado da integração é então outro processo estocástico. Concretamente, a integral de 0 a qualquer t{displaystyle t} particular é uma variável aleatória, definida como um limite de uma certa sequência de variáveis aleatórias. Os caminhos do movimento browniano falham em satisfazer os requisitos para que se apliquem as técnicas padrão do cálculo. Sendo o integrando um processo estocástico, a integral estocástica de Itō equivale a uma integral em relação a uma função que não é diferenciável em nenhum ponto e tem variação infinita sobre qualquer intervalo de tempo. O principal insight é que a integral pode ser definida enquanto o integrando H{displaystyle H} for adaptado, o que quer dizer que seu valor no tempo t{displaystyle t} pode depender apenas da informação disponível até este tempo. Grosso modo, é escolhida uma sequência de partições do intervalo de 0 a t{displaystyle t} e são construídas somas de Riemann. Toda vez que computamos uma soma de Riemann usamos uma instanciação particular do integrador. O ponto em cada um dos pequenos intervalos usado para computar o valor da função é crucial. O limite então é tomado em probabilidade conforme a norma da partição vai a zero. Deve-se tomar cuidado com numerosos detalhes técnicos para mostrar que o limite existe e independe da sequência particular de partições. Tipicamente, o fim à esquerda do intervalo é usado.

Importantes resultados do cálculo de Itō incluem a fórmula da integração por partes e o lema de Itō, que é uma fórmula de mudança de variáveis. Estas diferem das fórmulas do cálculo padrão devido aos termos de variação quadrática.

Em matemática financeira, a estratégia de avaliação da integral descrita é conceituada como se primeiramente decidíssemos o que fazer e, em seguida, observássemos a mudança nos preços. O integrando representa quantas ações temos, o integrador representa o movimento dos preços e a integral representa quanto dinheiro temos ao total, incluindo quanto valem nossas ações a qualquer dado momento. Os preços das ações e outros ativos financeiros comercializados podem ser modelados por processos estocásticos como o movimento browniano e, mais frequentemente, o movimento browniano geométrico, como no modelo Black-Scholes. Então, a integral estocástica de Itō representa a recompensa de uma estratégia de comercialização de tempo contínuo que consiste em manter um montante Ht{displaystyle H_{t}} de ações no tempo t{displaystyle t}. Nesta situação, a condição de que H{displaystyle H} seja adaptado corresponde à restrição necessária de que a estratégia de comercialização pode fazer uso apenas das informações disponíveis até um dado momento. Isto impede a possibilidade de ganhos ilimitados por meio de negociação de alta frequência, que consiste em comprar ações antes de cada pequeno aumento no mercado e vender antes de cada pequena queda. Semelhantemente, a condição de que H{displaystyle H} seja adaptado implica que a integral estocástica não divergirá quando calculada como o limite de somas de Riemann.^[1]

Notação |

O processo Y{displaystyle Y} definido anteriormente como:

Yt=∫0tHdX≡∫0tHsdXs{displaystyle Y_{t}=int _{0}^{t}HdXequiv int _{0}^{t}H_{s}dX_{s}}

é ele mesmo um processo estocástico com parâmetro de tempo t{displaystyle t}, que também é escrito às vezes como Y=H⋅X{displaystyle Y=Hcdot X}.^[2] Alternativamente, a integral é frequentemente escrita em forma diferencial dY=HdX{displaystyle dY=HdX}, que é equivalente a Y−Y0=H⋅X{displaystyle Y-Y_{0}=Hcdot X}. Como o cálculo de Itō diz respeito a processos estocásticos de tempo contínuo, assume-se que um espaço de probabilidade filtrado subjacente é dado por:

(Ω,F,(Ft)t≥0,P).{displaystyle (Omega ,{mathcal {F}},({mathcal {F}}_{t})_{tgeq 0},mathbb {P} ).}

A sigma-álgebra Ft{displaystyle {mathcal {F_{t}}}} representa a informação disponível até o tempo t{displaystyle t} e um processo X{displaystyle X} é adaptado se Xt{displaystyle X_{t}} for Ft{displaystyle {mathcal {F_{t}}}}-mensurável. Um movimento browniano B{displaystyle B} é entendido como um movimento F_t-browniano, que é simplesmente um movimento browniano padrão com as propriedades de que Bt{displaystyle B_{t}} é Ft{displaystyle {mathcal {F_{t}}}}-mensurável e que Bt+s−Bt{displaystyle B_{t+s}-B_{t}} é independente de Ft{displaystyle {mathcal {F_{t}}}} para qualquer s,t≥0{displaystyle s,tgeq 0}.^[1]

Integração em relação ao movimento browniano |

A integral de Itō pode ser definida de forma semelhante à da integral de Riemann–Stieltjes, isto é, como um limite em probabilidade de somas de Riemann. Um limite deste tipo não necessariamente existe caminho a caminho. Suponha que B{displaystyle B} é um processo de Wiener e que H{displaystyle H} é um processo contínuo à direita, adaptado e localmente limitado. Se {πn}{displaystyle {pi _{n}}} for uma sequência de partições de [0,t]{displaystyle [0,t]} com norma indo a zero, então, a integral de Itō de H{displaystyle H} em relação a B{displaystyle B} até o tempo t{displaystyle t} é uma variável aleatória:

∫0tHdB=limn→∞∑[ti−1,ti]∈πnHti−1(Bti−Bti−1).{displaystyle int _{0}^{t}HdB=lim _{nrightarrow infty }sum _{[t_{i-1},t_{i}]in pi _{n}}H_{t_{i-1}}(B_{t_{i}}-B_{t_{i-1}}).}

Pode-se mostrar que este limite converge em probabilidade.
Para algumas aplicações, tais como os teoremas de representação de martingales e tempos locais, a integral é necessária para processos não contínuos. Os processos previsíveis formam a menor classe que é fechada sob a tomada de limites de sequência e contém todos os processos contínuos à esquerda adaptados. Se H{displaystyle H} for qualquer processo previsível tal que ∫0tH2ds<∞{displaystyle int _{0}^{t}H^{2}ds<infty } para todo t≥0{displaystyle tgeq 0}, então, a integral de H{displaystyle H} em relação a B{displaystyle B} pode ser definida e H{displaystyle H} é considerada B{displaystyle B}-integrável. Qualquer processo deste tipo pode ser aproximado por uma sequência Hn{displaystyle H_{n}} de processos contínuos à esquerda, adaptados e localmente limitados, no sentido em que:

∫0t(H−Hn)2ds→0{displaystyle int _{0}^{t}(H-H_{n})^{2}dsto 0}

em probabilidade. Então, a integral de Itō é:

∫0tHdB=limn→∞∫0tHndB,{displaystyle int _{0}^{t}HdB=lim _{nto infty }int _{0}^{t}H_{n}dB,}

em que, novamente, pode-se mostrar que o limite converge em probabilidade. A integral estocástica satisfaz a isometria de Itō:

E[(∫0tHsdBs)2]=E[∫0tHs2ds],{displaystyle mathbb {E} left[left(int _{0}^{t}H_{s}dB_{s}right)^{2}right]=mathbb {E} left[int _{0}^{t}H_{s}^{2}dsright],}

que se aplica quando H{displaystyle H} é limitado ou, de forma mais generalizada, quando a integral à direita é finita.^[3]

Processos de Itō |

Uma única realização do processo de Itō com μ=0{displaystyle mu =0} e σ=ψ(t−5){displaystyle sigma =psi (t-5)}, em que ψ{displaystyle psi } é a ondaleta de Ricker. Fora da maré da ondaleta, o movimento do processo de Itō é estável.

Um processo de Itō é definido como um processo estocástico adaptado que pode ser expresso como a soma de uma integral em relação ao movimento browniano e uma integral em relação ao tempo:

Xt=X0+∫0tσsdBs+∫0tμsds.{displaystyle X_{t}=X_{0}+int _{0}^{t}sigma _{s}dB_{s}+int _{0}^{t}mu _{s}ds.}

Aqui, B{displaystyle B} é um movimento browniano e exige-se que σ{displaystyle sigma } seja um processo B{displaystyle B}-integrável previsível, μ{displaystyle mu } previsível e integrável (de Lebesgue), isto é:

∫0t(σs2+|μs|)ds<∞{displaystyle int _{0}^{t}(sigma _{s}^{2}+|mu _{s}|)ds<infty }

para cada t{displaystyle t}. A integral estocástica pode ser estendida a tais processos de Itō:

∫0tHdX=∫0tHsσsdBs+∫0tHsμsds.{displaystyle int _{0}^{t}HdX=int _{0}^{t}H_{s}sigma _{s}dB_{s}+int _{0}^{t}H_{s}mu _{s}ds.}

Isto é definido para todos os integrandos localmente limitados e previsíveis. De forma mais generalizada, exige-se que Hσ{displaystyle H_{sigma }} seja B{displaystyle B}-integrável e Hμ{displaystyle H_{mu }} seja Lebesgue-integrável, de modo que:

∫0t(H2σ2+|Hμ|)ds<∞.{displaystyle int _{0}^{t}(H^{2}sigma ^{2}+|Hmu |)ds<infty .}

Tais processos previsíveis H{displaystyle H} são chamados de X{displaystyle X}-integráveis.

Um importante resultado para o estudo de processos de Itō é o lema de Itō. Em sua forma mais simples, para qualquer função f{displaystyle f} dupla e continuamente diferenciável em números reais e para o processo de Itō X{displaystyle X} como descrito acima, afirma que f(x){displaystyle f(x)} é ela mesma um processo de Itō que satisfaz:

df(Xt)=f′(Xt)dXt+12f′′(Xt)σt2dt.{displaystyle df(X_{t})=f^{prime }(X_{t}),dX_{t}+{frac {1}{2}}f^{prime prime }(X_{t})sigma _{t}^{2},dt.}

Esta é a versão em cálculo estocástico da fórmula de mudança de variáveis e da regra da cadeia. Difere do resultado padrão devido ao termo adicional envolvendo a segunda derivada de f{displaystyle f}, que vem da propriedade de que o movimento browniano tem variação quadrática diferente de zero.^[4]

Semimartingales como integradores |

A integral de Itō é definida em relação a um semimartingale X{displaystyle X}. Estes processos podem ser decompostos como X=M+A{displaystyle X=M+A} para um martingale local M{displaystyle M} e um processo de variação finita A{displaystyle A}. Exemplos importantes de tais processos incluem o movimento browniano, que é um martingale, e processos de Lévy. Para um processo adaptado, localmente limitado e contínuo à esquerda H{displaystyle H}, a integral H⋅X{displaystyle Hcdot X} existe e pode ser calculada como um limite de somas de Riemann. Considere πn{displaystyle pi _{n}} uma sequência de partições de [0,t]{displaystyle [0,t]} com norma indo a zero:

∫0tHdX=limn→∞∑ti−1,ti∈πnHti−1(Xti−Xti−1).{displaystyle int _{0}^{t}HdX=lim _{nrightarrow infty }sum _{t_{i-1},t_{i}in pi _{n}}H_{t_{i-1}}(X_{t_{i}}-X_{t_{i-1}}).}

Este limite converge em probabilidade. A integral estocástica de processos contínuos à esquerda é generalizada o bastante para estudar muito do cálculo estocástico. Por exemplo, é suficiente para aplicações do lema de Itō, mudanças de medida pelo teorema de Girsanov e o estudo de equações diferenciais estocásticas. Entretanto, é inadequada para outros tópicos importantes como os teoremas de representação de martingales e tempos locais.
A integral se estende a todos os integrandos previsíveis e localmente limitados, de forma diferenciada, de modo que o teorema da convergência dominada se aplica. Em outras palavras, se Hn→H{displaystyle H_{n}rightarrow H} e |Hn|≤J{displaystyle |H_{n}|leq J} para um processo localmente limitado J{displaystyle J}, então:

∫0tHndX→∫0tHdX{displaystyle int _{0}^{t}H_{n}dXto int _{0}^{t}HdX}

em probabilidade. A diferença da extensão de integrandos contínuos à esquerda a integrandos previsíveis é um resultado do lema de classe monótona.

Em geral, a integral estocástica H⋅X{displaystyle Hcdot X} pode ser definida mesmo em casos em que o processo previsível H{displaystyle H} não é localmente limitado. Se K=1/(1+|H|){displaystyle K=1/(1+|H|)}, então, K{displaystyle K} e KH{displaystyle KH} são limitados. A associatividade da integração estocástica implica que H{displaystyle H} é X{displaystyle X}-integrável, com integral H⋅X=Y{displaystyle Hcdot X=Y}, se e apenas se Y0=0{displaystyle Y_{0}=0} e K⋅Y=(KH)⋅X{displaystyle Kcdot Y=(KH)cdot X}. O conjunto de processos X{displaystyle X}-integráveis é denotado por L(X){displaystyle L(X)}.^[5]

Propriedades |

As seguintes propriedades podem ser encontradas:^[1][2]

• A integral estocástica é um processo càdlàg. Além disso, é um semimartingale.


• As descontinuidades da integral estocástica são dadas pelos saltos do integrador multiplicado pelo integrando. O salto de um processo càdlàg em um tempo t{displaystyle t} é Xt−Xt−{displaystyle X_{t}-X_{t-}} e é frequentemente denotado por ΔXt{displaystyle Delta X_{t}}. Com esta notação, Δ(H⋅X)=HΔX{displaystyle Delta (Hcdot X)=HDelta X}. Uma consequência particular disto é que as integrais em relação a um processo contínuo são sempre elas próprias contínuas.


• 
  Associatividade: Considere J,K{displaystyle J,K} processos prevísiveis e K{displaystyle K} e X{displaystyle X}-integrável. Então, J{displaystyle J} é K⋅X{displaystyle Kcdot X}-integrável se e apenas se JK{displaystyle JK} for X{displaystyle X}-integrável, no caso em que:
  

  J⋅(K⋅X)=(JK)⋅X.{displaystyle Jcdot (Kcdot X)=(JK)cdot X.}

  
  


• Convergência dominada: Suponha que Hn→H{displaystyle H_{n}rightarrow H} e |Hn|≤J{displaystyle |H_{n}|leq J}, em que J{displaystyle J} é um processo X{displaystyle X}-integrável, então, Hn⋅X→H⋅X{displaystyle H_{n}cdot Xrightarrow Hcdot X}. A convergência é em probabilidade em cada tempo t{displaystyle t}. De fato, converge uniformemente em compactos em probabilidade.


• A integral estocástica comuta com a operação de tomada de covariações quadrática. Se X{displaystyle X} e Y{displaystyle Y} forem semimartingales, então, qualquer processo X{displaystyle X}-integrável também será [X,Y]{displaystyle [X,Y]}-integrável e [H⋅X,Y]=H⋅[X,Y]{displaystyle [Hcdot X,Y]=Hcdot [X,Y]}. Uma consequência disto é o processo de variação quadrática de uma integral estocástica é igual a uma integral do processo de variação quadrática:
  

  [H⋅X]=H2⋅[X]{displaystyle [Hcdot X]=H^{2}cdot [X]}

  
  

Integração por partes |

Como no cálculo comum, a integração por partes é um resultado importante em cálculo estocástico. A fórmula da integração por partes para a integral de Itō difere do resultado padrão devido à inclusão do termo de covariação quadrática. Este termo vem do fato de que o cálculo de Itō lida com processos com variação quadrática não nula, que apenas ocorrem para processos de variação infinita, como o movimento browniano. Se X{displaystyle X} e Y{displaystyle Y} forem semimartingales, então:

XtYt=X0Y0+∫0tXs−dYs+∫0tYs−dXs+[X,Y]t,{displaystyle X_{t}Y_{t}=X_{0}Y_{0}+int _{0}^{t}X_{s-}dY_{s}+int _{0}^{t}Y_{s-}dX_{s}+[X,Y]_{t},}

em que [X,Y]{displaystyle [X,Y]} é o processo de covariação quadrática.

O resultado é semelhante ao teorema de integração por partes para a integral de Riemann–Stieltjes, mas tem um termo de variação quadrática adicional.^[4]

Lema de Itō |

Ver artigo principal: Lema de Itō

O lema de Itō é a versão da regra da cadeia ou da fórmula da mudança de variáveis que se aplica à integral de Itō. É um dos teoremas mais potentes e frequentemente usados em cálculo estocástico. Para um semimartingale contínuo de d{displaystyle d} dimensões X=(X1,...,Xd){displaystyle X=(X^{1},...,X^{d})} e uma função f{displaystyle f} de R{displaystyle mathbb {R} } a Rd{displaystyle mathbb {R} ^{d}} duplamente e continuamente diferenciável, afirma que f(X){displaystyle f(X)} é um semimartingale e:

df(Xt)=∑i=1dfi(Xt)dXti+12∑i,j=1dfi,j(Xt)d[Xi,Xj]t.{displaystyle df(X_{t})=sum _{i=1}^{d}f_{i}(X_{t})dX_{t}^{i}+{frac {1}{2}}sum _{i,j=1}^{d}f_{i,j}(X_{t})d[X^{i},X^{j}]_{t}.}

Isto difere da regra da cadeia usada em cálculo padrão devido ao termo envolvendo a covariação quadrática [Xi,Xj]{displaystyle [X^{i},X^{j}]}. A fórmula pode ser generalizada a semimartingales não contínuos ao adicionar um termo de salto puro para garantir que os saltos à esquerda e à direita concordem uns com os outros.^[6]

Integradores martingales |

Martingales locais |

Uma propriedade importante da integral de Itō é que ela preserva a propriedade do martingale local. Se M{displaystyle M} for um martingale local e H{displaystyle H} for um processo previsível localmente limitado, então, H⋅M{displaystyle Hcdot M} é também um martingale local. Para integrandos não localmente limitados, há exemplos em que H⋅M{displaystyle Hcdot M} não é um martingale local. Entretanto, isto pode ocorrer apenas quando M{displaystyle M} não é contínuo. Se M{displaystyle M} for um martingale local contínuo, então, um processo previsível H{displaystyle H} é M{displaystyle M}-integrável se e apenas se:

∫0tH2d[M]<∞,{displaystyle int _{0}^{t}H^{2}d[M]<infty ,}

para cada t{displaystyle t} e H⋅M{displaystyle Hcdot M} é sempre um martingale local.

A afirmação mais geral para um martingale local descontínuo é que, se (H2⋅[M])1/2{displaystyle (H^{2}cdot [M])^{1/2}} for localmente integrável, então, H⋅M{displaystyle Hcdot M} existe e é um martingale local.^[5]

Martingales quadrado-integráveis |

Para integrandos limitados, a integral estocástica de Itō preserva o espaço dos martingales quadrado-integráveis, que é o conjunto de martingales càdlàg M{displaystyle M}, tal que E[Mt2]{displaystyle E[M_{t}^{2}]} é finito para todo t{displaystyle t}. Para qualquer martingale quadrado-integrável do tipo M{displaystyle M}, o processo de variação quadrática [M]{displaystyle [M]} é integrável e a isometria de Itō afirma que:

E[(H⋅Mt)2]=E[∫0tH2d[M]].{displaystyle mathbb {E} left[(Hcdot M_{t})^{2}right]=mathbb {E} left[int _{0}^{t}H^{2}d[M]right].}

Esta igualdade se aplica de forma mais generalizada para qualquer martingale M{displaystyle M} tal que H2⋅[M]t{displaystyle H^{2}cdot [M]_{t}} é integrável. A isometria de Itō é frequentemente usada como um passo importante na construção da integral estocástica, ao definir H⋅M{displaystyle Hcdot M} como a única extensão desta isometria a partir de uma certa classe de integrandos simples a todos os processos limitados e previsíveis.^[5]

Martingales p-integráveis |

Para qualquer p>1{displaystyle p>1} e qualquer integrando limitado previsível, a integral estocástica preserva o espaço de martingales p{displaystyle p}-integráveis. Estes são martingales càdlàg tal que E(|Mt|p){displaystyle E(|M_{t}|^{p})} é finito para todo t{displaystyle t}. Entretanto, isto não é sempre verdadeiro no caso em que p=1{displaystyle p=1}. Há exemplos de integrais de processos previsíveis limitados em relação a martingales que não são elas próprias martingales.

O processo máximo de um processo càdlàg M{displaystyle M} é escrito como Mt∗=sups≤t|Ms|{displaystyle M_{t}^{*}=sup _{sleq t}|M_{s}|}. Para qualquer p≥1{displaystyle pgeq 1} e qualquer integrando limitado previsível, a integral estocástica preserva o espaço de martingales càdlàg M{displaystyle M}, tal que E[(Mt∗)p]{displaystyle E[(M_{t}^{*})^{p}]} é finito para todo t{displaystyle t}. Se p>1{displaystyle p>1}, então, isto é o mesmo que o espaço de martingales p{displaystyle p}-integráveis pelas desigualdades de Doob.

As desigualdades de Burkholder–Davis–Gundy afirmam que, para qualquer p≥1{displaystyle pgeq 1}, existem constantes positivas c,C{displaystyle c,C} que dependem de p{displaystyle p}, mas não de M{displaystyle M} ou sobre t{displaystyle t}, tal que:

cE[[M]tp2]≤E[(Mt∗)p]≤CE[[M]tp2]{displaystyle cmathbb {E} left[[M]_{t}^{frac {p}{2}}right]leq mathbb {E} left[(M_{t}^{*})^{p}right]leq Cmathbb {E} left[[M]_{t}^{frac {p}{2}}right]}

para todos os martingales locais càdlàg M{displaystyle M}. Estes são usados para mostrar que, se (Mt∗)p{displaystyle (M_{t}^{*})^{p}} for integrável e H{displaystyle H} for um processo limitado previsível, então:

E[((H⋅M)t∗)p]≤CE[(H2⋅[M]t)p2]<∞{displaystyle mathbb {E} left[((Hcdot M)_{t}^{*})^{p}right]leq Cmathbb {E} left[(H^{2}cdot [M]_{t})^{frac {p}{2}}right]<infty }

e, consequentemente, H⋅M{displaystyle Hcdot M} é um martingale p{displaystyle p}-integrável. De forma mais generalizada, esta afirmação é verdadeira sempre que (H2⋅[M])p/2{displaystyle (H^{2}cdot [M])^{p/2}} for integrável.^[5]

Existência da integral |

Provas de que a integral de Itō é bem definida tipicamente procedem ao olhar primeiramente os integrandos muito simples, como os processos constantes por partes, contínuos à esquerda e adaptados em que a integral pode ser escrita explicitamente. Tais processos simples previsíveis são combinações lineares de termos da forma Ht=A1{t>T}{displaystyle H_{t}=A1_{{t>T}}} para tempos de parada T{displaystyle T} e variáveis aleatórias FT{displaystyle F_{T}}-mensuráveis, para as quais a integral é:

H⋅Xt≡1{t>T}A(Xt−XT).{displaystyle Hcdot X_{t}equiv mathbf {1} _{{t>T}}A(X_{t}-X_{T}).}

Isto é estendido a todos os processos simples previsíveis pela linearidade H⋅X{displaystyle Hcdot X} em H{displaystyle H}.
Para um movimento browniano B{displaystyle B}, a propriedade de que tem incrementos independentes com média zero e variância Var(Bt)=t{displaystyle Var(B_{t})=t} pode ser usada para provar a isometria de Itō para integrandos simples previsíveis:

E[(H⋅Bt)2]=E[∫0tHs2ds].{displaystyle mathbb {E} left[(Hcdot B_{t})^{2}right]=mathbb {E} left[int _{0}^{t}H_{s}^{2}dsright].}

Por uma extensão linear contínua, a integral se estende unicamente a todos os integrandos previsíveis que satisfazem:

E[∫0tH2ds]<∞,{displaystyle mathbb {E} left[int _{0}^{t}H^{2}dsright]<infty ,}

de tal forma que a isometria de Itō ainda se aplica. Pode ser estendida a todos os processos B{displaystyle B}-integráveis por localização. Este método permite que a integral seja definida em relação a qualquer processo de Itō.

Para um semimartingale geral X{displaystyle X}, a decomposição X=M+A{displaystyle X=M+A} para um martingale local M{displaystyle M} e um processo de variação finita A{displaystyle A} podem ser usados. Então, pode-se mostrar que a integral existe separadamente em relação a M{displaystyle M} e A{displaystyle A}. Combinadas pela linearidade, H⋅X=H⋅M+H⋅A{displaystyle Hcdot X=Hcdot M+Hcdot A}, obtém-se a integral em relação a X{displaystyle X}. A integral de Lebesgue–Stieltjes permite que a integração seja definida em relação aos processos de variação finita, de modo que a existência da integral de Itō para semimartingales seguirá a partir de qualquer construção para martingales locais.

Para um martingale quadrado-integrável càdlàg M{displaystyle M}, uma forma generalizada da isometria de Itō pode ser usada. Primeiramente, o teorema da decomposição de Doob–Meyer é usado para mostrar que uma decomposição M2=N+<M>{displaystyle M^{2}=N+<M>} existe, em que N{displaystyle N} é um martingale e <M>{displaystyle <M>} é um processo contínuo à direita, crescente e previsível, que começa em zero. Isto define unicamente <M>{displaystyle <M>}, que é referido como a variação quadrática previsível de M{displaystyle M}. A isometria de Itō para martingales quadrado-integráveis é então:

E[(H⋅Mt)2]=E[∫0tHs2d⟨M⟩s],{displaystyle mathbb {E} left[(Hcdot M_{t})^{2}right]=mathbb {E} left[int _{0}^{t}H_{s}^{2}dlangle Mrangle _{s}right],}

que pode ser provado diretamente para integrandos simples previsíveis. Como no caso acima para o movimento browniano, uma extensão contínua linear pode ser usada unicamente para estender a todos os integrandos previsíveis que satisfazem E[H2⋅<M>t]<∞{displaystyle E[H^{2}cdot <M>_{t}]<infty }. Este método pode ser estendido a todos os martingales locais quadrado-integráveis por localização. Finalmente, a decomposição de Doob–Meyer pode ser usada para decompor qualquer martingale local na soma de um martingale local quadrado-integrável e um processo de variação finita, o que permite que a integral de Itō seja construída em relação a qualquer semimartingale.

Existem muitas outras provas que aplicam métodos semelhantes, mas que evitam a necessidade de uso do teorema da decomposição de Doob–Meyer, como o uso da variação quadrática [M]{displaystyle [M]} na isometria de Itō, o uso da medida de Doléans para submartingales ou o uso das desigualdades de Burkholder–Davis–Gundy em vez da isometria de Itō. As últimas se aplicam diretamente a martingales locais sem ter que lidar primeiramente com o caso do martingale quadrado-integrável.

Existem provas alternativas que apenas fazem uso dos fatos de que X{displaystyle X} é càdlàg e adaptado e o conjunto ({H⋅Xt|H|≤1}{displaystyle {Hcdot X_{t}|H|leq 1}}, que é simples e previsível) é limitado em probabilidade para cada tempo t{displaystyle t}, uma definição alternativa de que X{displaystyle X} é um martingale. Uma extensão contínua linear pode ser usada para construir a integral para todos os integrandos contínuos à direita, adaptados com limites à direita em todo lugar (càglàd ou processos L). Isto é generalizado o bastante para ser capaz de aplicar técnicas como o lema de Itō.^[7] Uma desigualdade de Khintchine pode ser usada para provar o teorema da convergência dominada e estender a integral a integrandos gerais previsíveis.^[8]

Diferenciação em cálculo de Itō |

O cálculo de Itō é antes e acima de tudo definido como um cálculo integral como descrito acima. Entretanto, há também diferentes noções de "derivada" em relação ao movimento browniano:

Derivada de Malliavin |

O cálculo de Malliavin oferece uma teoria da diferenciação para variáveis aleatórias definidas sobre o espaço de Wiener, incluindo uma fórmula de integração por partes.^[9]

Representação de martingale |

O seguinte resultado permite expressar martingales como integrais de Itō: se M{displaystyle M} for um martingale quadrado-integrável em um intervalo de tempo [0,T]{displaystyle [0,T]} em relação à filtração gerada por um movimento browniano B{displaystyle B}, então, há um processo único, adaptado, quadrado-integrável α{displaystyle alpha }, tal que:

Mt=M0+∫0tαsdBs{displaystyle M_{t}=M_{0}+int _{0}^{t}alpha _{s}mathrm {d} B_{s}}

quase certamente e para todo t∈[0,T]{displaystyle tin [0,T]}.^[2] Este teorema da representação pode ser interpretado formalmente como se dissesse que α{displaystyle alpha } é a "derivada de tempo" de M{displaystyle M} em relação ao movimento browniano B{displaystyle B}, já que α{displaystyle alpha } é precisamente o processo que deve ser integrado até o tempo t{displaystyle t} para obter Mt−M0{displaystyle M_{t}-M_{0}}, como no cálculo determinístico.

Cálculo de Itō para físicos |

Em física, equações diferenciais estocásticas, como as equações de Langevin, são mais usadas em comparação com as integrais estocásticas. Aqui, uma equação diferencial estocástica de Itō é frequentemente formulada por:

x˙k=hk+gklξl,{displaystyle {dot {x}}_{k}=h_{k}+g_{kl}xi _{l},}

em que ξj{displaystyle xi _{j}} é um ruído gaussiano branco com:

⟨ξk(t1)ξl(t2)⟩=δklδ(t1−t2){displaystyle langle xi _{k}(t_{1})xi _{l}(t_{2})rangle =delta _{kl}delta (t_{1}-t_{2})}

e a convenção de somatório de Einstein é usada.
Se y=y(xk){displaystyle y=y(x_{k})} for uma função de xk{displaystyle x_{k}}, então, o lema de Itō tem que ser usado:

y˙=∂y∂xjx˙j+12∂2y∂xk∂xlgkmgml.{displaystyle {dot {y}}={frac {partial y}{partial x_{j}}}{dot {x}}_{j}+{frac {1}{2}}{frac {partial ^{2}y}{partial x_{k}partial x_{l}}}g_{km}g_{ml}.}

Uma equação diferencial estocástica de Itō como acima também corresponde à equação diferencial estocástica de Stratonovich, que lê:

x˙k=hk+gklξl−12∂gkl∂xmgml.{displaystyle {dot {x}}_{k}=h_{k}+g_{kl}xi _{l}-{frac {1}{2}}{frac {partial g_{kl}}{partial {x_{m}}}}g_{ml}.}

Equações diferenciais estocásticas ocorrem frequentemente em física sob a forma de Stratonovich, como limites de equações diferenciais estocásticas conduzidas por ruídos coloridos, se o tempo de correlação do termo de ruído se aproximar de zero.^[10]

Interpretação de Itō e teoria supersimétrica das equações diferenciais estocásticas |

Na teoria supersimétrica das equações diferenciais estocásticas, a evolução estocástica é definida por um operador de evolução estocástica (OEE) agindo nas formas diferenciais do espaço de fase. O dilema Itō–Stratonovich toma a forma da ambiguidade do ordenamento do operador que surge no percurso da integral do caminho à representação do operador da evolução estocástica. A interpretação de Itō corresponde à convenção de ordenamento do operador de que todos os operadores de momento agem depois de todos os operadores de posição. O OEE pode ser tornado único quando se oferece a ele sua definição matemática mais natural de pullback induzido pelos difeomorfismos dependentes da configuração de ruído e definidos por equação diferencial estocástica e mediado sobre as configurações de ruído. Esta desambiguação leva à interpretação de Stratonovich de equações diferenciais estocásticas que podem ser transformadas na interpretação de Itō por uma mudança específica do campo vetorial de fluxo da equação diferencial estocástica.^[11]

Ver também |

• Cálculo estocástico


• Integral de Stratonovich


• Lema de Itō


• Processo de Wiener

Referências