Mostrar código-fonte de Cálculo de Itō

[[Ficheiro:ItoIntegralWienerProcess.svg|thumb|300px|A integral de Itō <math>Y_t(B)</math> ({{color|blue|azul}}) de um movimento browniano <math>B</math> ({{color|red|vermelho}}) em relação a si mesma, isto é, tanto o integrando, quanto o integrador são browniano. Acontece que <math>Y_t(B)=(B^2-t)/2</math>.]]
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 [[Processo estocástico|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:<blockquote><math>Y_t=\int_0^t H_sdX_s,</math></blockquote>em que <math>H</math> é um processo localmente quadrado-integrável adaptado à filtração gerada por <math>X</math>, que é um movimento browniano ou, de forma mais generalizada, um semimartingale.<ref name=":0">{{Citar livro|url=https://www.worldcat.org/oclc/30319511|título=Continuous martingales and Brownian motion|ultimo=D.|primeiro=Revuz,|data=1994|editora=Springer-Verlag|edicao=2nd |local=Berlin|isbn=3540576223|oclc=30319511}}</ref> O resultado da integração é então outro processo estocástico. Concretamente, a integral de 0 a qualquer <math>t</math> 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 <math>H</math> for adaptado, o que quer dizer que seu valor no tempo <math>t</math> pode depender apenas da informação disponível até este tempo. ''Grosso modo'', é escolhida uma sequência de [[Partição de um intervalo|partições do intervalo]] de 0 a <math>t</math> e são construídas [[Soma de Riemann|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 [[Integração por substituição|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 <math>H_t</math> de ações no tempo <math>t</math>. Nesta situação, a condição de que <math>H</math> 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ções de alta frequência|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.<ref>{{Citar livro|url=https://immediateedgeapp.org/|título=Basics of Algorithmic Trading: Concepts and Examples|ultimo=Hermiston|primeiro=Cecil,|data=1994|editora=Immediate Edge App |local=United Kingdom|isbn=9781119206033}}</ref> Semelhantemente, a condição de que <math>H</math> seja adaptado implica que a integral estocástica não divergirá quando calculada como o limite de somas de Riemann.<ref name=":0" />

==Notação==
O processo <math>Y</math> definido anteriormente como:<blockquote><math>Y_t=\int_0^tHdX\equiv\int_0^tH_sdX_s</math></blockquote>é ele mesmo um processo estocástico com parâmetro de tempo <math>t</math>, que também é escrito às vezes como <math>Y=H\cdot X</math>.<ref name=":1">{{Citar livro|url=https://www.worldcat.org/oclc/42874839|título=Diffusions, Markov processes, and martingales|ultimo=G.|primeiro=Rogers, L. C.|data=2000|editora=Cambridge University Press|edicao=2nd|local=Cambridge, U.K.|isbn=0521775930|oclc=42874839}}</ref> Alternativamente, a integral é frequentemente escrita em forma diferencial <math>dY=HdX</math>, que é equivalente a <math>Y-Y_0=H\cdot X</math>. 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:{{Quote|<math>(\Omega,\mathcal{F},(\mathcal{F}_t)_{t\geq 0},\mathbb{P}).</math>}}A [[sigma-álgebra]] <math>\mathcal{F_t}</math> representa a informação disponível até o tempo <math>t</math> e um processo <math>X</math> é adaptado se <math>X_t</math> for <math>\mathcal{F_t}</math>-mensurável. Um movimento browniano <math>B</math> é entendido como um movimento ''F<sub>t</sub>''-browniano, que é simplesmente um movimento browniano padrão com as propriedades de que <math>B_t</math> é <math>\mathcal{F_t}</math>-mensurável e que <math>B_{t+s}-B_t</math> é independente de <math>\mathcal{F_t}</math> para qualquer <math>s,t\geq0</math>.<ref name=":0" />

==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 [[Convergência de variáveis aleatórias|limite em probabilidade]] de somas de Riemann. Um limite deste tipo não necessariamente existe caminho a caminho. Suponha que <math>B</math> é um [[processo de Wiener]] e que <math>H</math> é um processo contínuo à direita, adaptado e localmente limitado. Se <math>\{\pi_n\}</math> for uma sequência de partições de <math>[0,t]</math> com norma indo a zero, então, a integral de Itō de <math>H</math> em relação a <math>B</math> até o tempo <math>t</math> é uma variável aleatória:<blockquote><math>\int_0^tHdB=\lim_{n\rightarrow\infty}\sum_{[t_{i-1},t_i]\in\pi_n}H_{t_{i-1}}(B_{t_i}-B_{t_{i-1}}).</math></blockquote>Pode-se mostrar que este limite converge em probabilidade.

Para algumas aplicações, tais como os teoremas de representação de [[martingale]]s e [[Tempo local (matemática)|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 <math>H</math> for qualquer processo previsível tal que <math>\int_0^tH^2ds<\infty</math> para todo <math>t\geq0</math>, então, a integral de <math>H</math> em relação a <math>B</math> pode ser definida e <math>H</math> é considerada <math>B</math>-integrável. Qualquer processo deste tipo pode ser aproximado por uma sequência <math>H_n</math> de processos contínuos à esquerda, adaptados e localmente limitados, no sentido em que:{{Quote|<math> \int_0^t(H-H_n)^2ds\to 0</math>}}em probabilidade. Então, a integral de Itō é:<blockquote><math>\int_0^tHdB=\lim_{n\to\infty}\int_0^tH_ndB,</math></blockquote>em que, novamente, pode-se mostrar que o limite converge em probabilidade. A integral estocástica satisfaz a isometria de Itō:<blockquote><math>\mathbb{E}\left[\left(\int_0^tH_sdB_s\right)^2\right]=\mathbb{E}\left[\int_0^tH_s^2ds\right],</math></blockquote>que se aplica quando <math>H</math> é limitado ou, de forma mais generalizada, quando a integral à direita é finita.<ref>{{Citar livro|url=https://www.worldcat.org/oclc/24011122|título=Brownian motion and stochastic calculus|ultimo=Ioannis.|primeiro=Karatzas,|data=1991|editora=Springer-Verlag|edicao=2nd |local=New York|isbn=0387976558|oclc=24011122}}</ref>

==Processos de Itō==
[[Ficheiro:ItoProcess1D.svg|thumb|Uma única realização do processo de Itō com <math>\mu=0</math> e <math>\sigma=\psi(t-5)</math>, em que <math>\psi</math> é a [[Wavelet|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:<blockquote><math>X_t=X_0+\int_0^t\sigma_sdB_s+\int_0^t\mu_sds.</math></blockquote>Aqui, <math>B</math> é um movimento browniano e exige-se que <math>\sigma</math> seja um processo <math>B</math>-integrável previsível, <math>\mu</math> previsível e integrável ([[Integral de Lebesgue|de Lebesgue]]), isto é:<blockquote><math>\int_0^t(\sigma_s^2+|\mu_s|)ds<\infty</math></blockquote>para cada <math>t</math>. A integral estocástica pode ser estendida a tais processos de Itō:<blockquote><math>\int_0^tHdX=\int_0^tH_s\sigma_sdB_s+\int_0^tH_s\mu_sds.</math></blockquote>Isto é definido para todos os integrandos localmente limitados e previsíveis. De forma mais generalizada, exige-se que <math>H_\sigma</math> seja <math>B</math>-integrável e <math>H_\mu</math> seja Lebesgue-integrável, de modo que:
:<math>\int_0^t (H^2 \sigma^2 + |H\mu| )ds < \infty.</math>
Tais processos previsíveis <math>H</math> são chamados de <math>X</math>-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 <math>f</math> dupla e continuamente diferenciável em números reais e para o processo de Itō <math>X</math> como descrito acima, afirma que <math>f(x)</math> é ela mesma um processo de Itō que satisfaz:

:<math>df(X_t)=f^\prime(X_t)\,dX_t + \frac{1}{2}f^{\prime\prime} (X_t) \sigma_t^2 \, dt.</math>

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 <math>f</math>, que vem da propriedade de que o movimento browniano tem variação quadrática diferente de zero.<ref name=":2">{{Citar livro|url=https://www.worldcat.org/oclc/932166571|título=Stochastic calculus and applications|ultimo=N.,|primeiro=Cohen, Samuel|edicao=2nd|local=New York, NY|isbn=9781493928675|oclc=932166571}}</ref>

==Semimartingales como integradores==
A integral de Itō é definida em relação a um semimartingale <math>X</math>. Estes processos podem ser decompostos como <math>X=M+A</math> para um martingale local <math>M</math> e um processo de variação finita <math>A</math>. Exemplos importantes de tais processos incluem o movimento browniano, que é um martingale, e [[Processo Lévy|processos de Lévy]]. Para um processo adaptado, localmente limitado e contínuo à esquerda <math>H</math>, a integral <math>H\cdot X</math> existe e pode ser calculada como um limite de somas de Riemann. Considere <math>\pi_n</math> uma sequência de partições de <math>[0,t]</math> com norma indo a zero:<blockquote><math>\int_0^tHdX=\lim_{n\rightarrow\infty}\sum_{t_{i-1},t_i\in\pi_n}H_{t_{i-1}}(X_{t_i}-X_{t_{i-1}}).</math></blockquote>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 <math>H_n \rightarrow H</math> e <math>|H_n|\leq J</math> para um processo localmente limitado <math>J</math>, então:{{Quote|<math>\int_0^tH_ndX\to\int_0^tHdX </math>}}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 <math>H\cdot X</math> pode ser definida mesmo em casos em que o processo previsível <math>H </math> não é localmente limitado. Se <math>K=1/(1+|H|) </math>, então, <math>K </math> e <math>KH </math> são limitados. A associatividade da integração estocástica implica que <math>H </math> é <math>X </math>-integrável, com integral <math>H\cdot X=Y </math>, se e apenas se <math>Y_0=0 </math> e <math>K\cdot Y=(KH)\cdot X </math>. O conjunto de processos <math>X </math>-integráveis é denotado por <math>L(X) </math>.<ref name=":3">{{Citar livro|url=https://www.worldcat.org/oclc/24911982|título=Semimartingales and stochastic calculus|ultimo=(Sheng-Wu)|primeiro=He, S.|ultimo2=(Jia-An)|primeiro2=Yan, J.|data=1992|editora=CRC Press|local=Boca Raton|isbn=9780849377150|oclc=24911982}}</ref>

==Propriedades==
As seguintes propriedades podem ser encontradas:<ref name=":0" /><ref name=":1" />

* 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 <math>t </math> é <math>X_t-X_{t-} </math> e é frequentemente denotado por <math>\Delta X_t </math>. Com esta notação, <math>\Delta(H\cdot X)=H\Delta X</math>. Uma consequência particular disto é que as integrais em relação a um processo contínuo são sempre elas próprias contínuas.
* [[Processo Ornstein–Uhlenbeck|Associatividade]]: Considere <math>J,K</math> processos prevísiveis e <math>K</math> e <math>X</math>-integrável. Então, <math>J</math> é <math>K\cdot X</math>-integrável se e apenas se <math>JK</math> for <math>X</math>-integrável, no caso em que:
*:<math> J\cdot (K\cdot X) = (JK)\cdot X.</math>
* Convergência dominada: Suponha que <math>H_n\rightarrow H</math> e <math>|H_n|\leq J</math>, em que <math>J</math> é um processo <math>X</math>-integrável, então, <math>H_n\cdot X\rightarrow H\cdot X</math>. A convergência é em probabilidade em cada tempo <math>t</math>. 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 <math>X</math> e <math>Y</math> forem semimartingales, então, qualquer processo <math>X</math>-integrável também será <math>[X,Y]</math>-integrável e <math>[H\cdot X,Y]=H\cdot [X,Y]</math>. 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:
*:<math>[H\cdot X]=H^2\cdot[X]</math>

==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 <math>X</math> e <math>Y</math> forem semimartingales, então:<blockquote><math>X_tY_t=X_0Y_0+\int_0^tX_{s-}dY_s+\int_0^tY_{s-}dX_s+[X,Y]_t,</math></blockquote>em que <math>[X,Y]</math> é 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.<ref name=":2" />

==Lema de Itō==
{{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 <math>d</math> dimensões <math>X=(X^1,...,X^d)</math> e uma função <math>f</math> de <math>\mathbb{R}</math> a <math>\mathbb{R}^d</math> duplamente e continuamente diferenciável, afirma que <math>f(X)</math> é um semimartingale e:<blockquote><math>df(X_t)=\sum_{i=1}^df_{i}(X_t)dX^i_t+\frac{1}{2}\sum_{i,j=1}^df_{i,j}(X_{t})d[X^i,X^j]_t.</math></blockquote>Isto difere da regra da cadeia usada em cálculo padrão devido ao termo envolvendo a covariação quadrática <math>[X^i,X^j]</math>. 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.<ref>{{Citar livro|url=https://www.worldcat.org/oclc/55063068|título=Path integrals in quantum mechanics, statistics, polymer physics, and financial markets|ultimo=Hagen.|primeiro=Kleinert,|data=2004|editora=World Scientific|edicao=3rd|local=Singapore|isbn=9812381074|oclc=55063068}}</ref>

==Integradores martingales==

===Martingales locais===
Uma propriedade importante da integral de Itō é que ela preserva a propriedade do martingale local. Se <math>M</math> for um martingale local e <math>H</math> for um processo previsível localmente limitado, então, <math>H\cdot M</math> é também um martingale local. Para integrandos não localmente limitados, há exemplos em que <math>H\cdot M</math> não é um martingale local. Entretanto, isto pode ocorrer apenas quando <math>M</math> não é contínuo. Se <math>M</math> for um martingale local contínuo, então, um processo previsível <math>H</math> é <math>M</math>-integrável se e apenas se:{{Quote|<math>\int_0^tH^2d[M]<\infty,</math>}}para cada <math>t</math> e <math>H\cdot M</math> é sempre um martingale local.

A afirmação mais geral para um martingale local descontínuo é que, se <math>(H^2\cdot [M])^{1/2}</math> for localmente integrável, então, <math>H\cdot M</math> existe e é um martingale local.<ref name=":3" />

===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 <math>M</math>, tal que <math>E[M_t^2]</math> é finito para todo <math>t</math>. Para qualquer martingale quadrado-integrável do tipo <math>M</math>, o processo de variação quadrática <math>[M]</math> é integrável e a isometria de Itō afirma que:<blockquote><math>\mathbb{E}\left[(H\cdot M_t)^2\right]=\mathbb{E}\left[\int_0^tH^2d[M]\right].</math></blockquote>Esta igualdade se aplica de forma mais generalizada para qualquer martingale <math>M</math> tal que <math>H^2\cdot[M]_t</math> é integrável. A isometria de Itō é frequentemente usada como um passo importante na construção da integral estocástica, ao definir <math>H\cdot M</math> como a única extensão desta isometria a partir de uma certa classe de integrandos simples a todos os processos limitados e previsíveis.<ref name=":3" />

===Martingales ''p''-integráveis===
Para qualquer <math>p>1</math> e qualquer integrando limitado previsível, a integral estocástica preserva o espaço de martingales <math>p</math>-integráveis. Estes são martingales càdlàg tal que <math>E(|M_t|^p)</math> é finito para todo <math>t</math>. Entretanto, isto não é sempre verdadeiro no caso em que <math>p=1</math>. 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 <math>M</math> é escrito como <math>M_t^*=\sup_{s\leq t}|M_s|</math>. Para qualquer <math>p\geq 1</math> e qualquer integrando limitado previsível, a integral estocástica preserva o espaço de martingales càdlàg <math>M</math>, tal que <math>E[(M^*_t)^p]</math> é finito para todo <math>t</math>. Se <math>p>1</math>, então, isto é o mesmo que o espaço de martingales <math>p</math>-integráveis pelas desigualdades de Doob.

As desigualdades de Burkholder–Davis–Gundy afirmam que, para qualquer <math>p\geq 1</math>, existem constantes positivas <math>c,C</math> que dependem de <math>p</math>, mas não de <math>M</math> ou sobre <math>t</math>, tal que:{{Quote|<math>c\mathbb{E}\left[[M]_t^{\frac{p}{2}}\right]\leq\mathbb{E}\left[(M^*_t)^p\right]\leq C\mathbb{E}\left[[M]_t^{\frac{p}{2}}\right]</math>}}para todos os martingales locais càdlàg <math>M</math>. Estes são usados para mostrar que, se <math>(M^*_t)^p</math> for integrável e <math>H</math> for um processo limitado previsível, então:{{Quote|<math>\mathbb{E}\left[((H\cdot M)_t^*)^p\right]\leq C\mathbb{E}\left [(H^2\cdot[M]_t)^{\frac{p}{2}}\right]<\infty</math>}}e, consequentemente, <math>H\cdot M</math> é um martingale <math>p</math>-integrável. De forma mais generalizada, esta afirmação é verdadeira sempre que <math>(H^2\cdot[M])^{p/2}</math> for integrável.<ref name=":3" />

==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 <math>H_t=A1_{\{t>T\}}</math> para tempos de parada <math>T</math> e variáveis aleatórias <math>F_T</math>-mensuráveis, para as quais a integral é:{{Quote|<math>H\cdot X_t\equiv\mathbf{1}_{\{t>T\}}A(X_t-X_T).</math>}}Isto é estendido a todos os processos simples previsíveis pela linearidade <math>H\cdot X</math> em <math>H</math>.

Para um movimento browniano <math>B</math>, a propriedade de que tem incrementos independentes com média zero e variância <math>Var(B_t)=t</math> pode ser usada para provar a isometria de Itō para integrandos simples previsíveis:<blockquote><math> \mathbb{E}\left[(H\cdot B_t)^2\right]=\mathbb{E}\left[\int_0^tH_s^2ds\right].</math></blockquote>Por uma extensão linear contínua, a integral se estende unicamente a todos os integrandos previsíveis que satisfazem:{{Quote|<math> \mathbb{E}\left[\int_0^tH^2ds\right]<\infty,</math>}}de tal forma que a isometria de Itō ainda se aplica. Pode ser estendida a todos os processos <math>B</math>-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 <math> X</math>, a decomposição <math> X=M+A</math> para um martingale local <math> M</math> e um processo de variação finita <math> A</math> podem ser usados. Então, pode-se mostrar que a integral existe separadamente em relação a <math> M</math> e <math> A</math>. Combinadas pela linearidade, <math> H\cdot X=H\cdot M+H \cdot A</math>, obtém-se a integral em relação a <math> X</math>. 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 <math> M</math>, 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 <math> M^2=N+<M></math> existe, em que <math> N</math> é um martingale e <math> <M></math> é um processo contínuo à direita, crescente e previsível, que começa em zero. Isto define unicamente <math> <M></math>, que é referido como a variação quadrática previsível de <math> M</math>. A isometria de Itō para martingales quadrado-integráveis é então:<blockquote><math>\mathbb{E}\left[(H\cdot M_t)^2\right]=\mathbb{E}\left[\int_0^tH^2_sd\langle M\rangle_s\right],</math></blockquote>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 <math>E[H^2\cdot<M>_t]<\infty</math>. 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 <math>[M]</math> 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 <math>X</math> é càdlàg e adaptado e o conjunto (<math>\{H\cdot X_t|H|\leq 1\}</math>, que é simples e previsível) é limitado em probabilidade para cada tempo <math>t</math>, uma definição alternativa de que <math>X</math> é 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ō.<ref>{{Citar livro|url=https://www.worldcat.org/oclc/52943083|título=Stochastic integration and differential equations|ultimo=E.|primeiro=Protter, Philip|data=2004|editora=Springer|edicao=2nd|local=Berlin|isbn=3540003134|oclc=52943083}}</ref> Uma desigualdade de Khintchine pode ser usada para provar o teorema da convergência dominada e estender a integral a integrandos gerais previsíveis.<ref>{{Citar livro|url=https://www.worldcat.org/oclc/861692903|título=Stochastic integration with jumps|ultimo=Klaus.|primeiro=Bichteler,|local=Cambridge, UK|isbn=0521811295|oclc=861692903}}</ref>

==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.<ref>{{Citar livro|url=https://www.worldcat.org/oclc/262692494|título=The Malliavin calculus and related topics|ultimo=1951-|primeiro=Nualart, David,|data=2006|editora=Springer|edicao=2nd |local=Berlin|isbn=3540283285|oclc=262692494}}</ref>

===Representação de martingale===
O seguinte resultado permite expressar martingales como integrais de Itō: se <math>M</math> for um martingale quadrado-integrável em um intervalo de tempo <math>[0,T]</math> em relação à filtração gerada por um movimento browniano <math>B</math>, então, há um processo único, adaptado, quadrado-integrável <math>\alpha</math>, tal que: <blockquote><math>M_{t}=M_0+\int_{0}^{t}\alpha_{s}\mathrm{d}B_{s}</math></blockquote>quase certamente e para todo <math>t\in[0,T]</math>.<ref name=":1" /> Este teorema da representação pode ser interpretado formalmente como se dissesse que <math>\alpha</math> é a "derivada de tempo" de <math>M</math> em relação ao movimento browniano <math>B</math>, já que <math>\alpha</math> é precisamente o processo que deve ser integrado até o tempo <math>t</math> para obter <math>M_t-M_0</math>, como no cálculo determinístico.

==Cálculo de Itō para físicos==
Em física, equações diferenciais estocásticas, como as [[Equação de Langevin|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:<blockquote><math> \dot{x}_k=h_k+g_{kl}\xi_l,</math></blockquote>em que <math>\xi_j</math> é um ruído gaussiano branco com:<blockquote><math>\langle\xi_k(t_1)\xi_l(t_2)\rangle=\delta_{kl}\delta(t_1-t_2)</math></blockquote>e a [[Notação de Einstein|convenção de somatório de Einstein]] é usada.

Se <math>y=y(x_k)</math> for uma função de <math>x_k</math>, então, o lema de Itō tem que ser usado:<blockquote><math> \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}. </math></blockquote>Uma equação diferencial estocástica de Itō como acima também corresponde à [[Integral de Stratonovich|equação diferencial estocástica de Stratonovich]], que lê:<blockquote><math> \dot{x}_k=h_k+g_{kl}\xi_l-\frac{1}{2}\frac{\partial g_{kl}}{\partial{x_m}}g_{ml}.</math></blockquote>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.<ref>{{Citar periódico|ultimo=Lau|primeiro=A. W. C.|data=2007|titulo=State-dependent diffusion: Thermodynamic consistency and its path integral formulation|jornal=Physical Review E|volume=76|numero=1|doi=10.1103/physreve.76.011123|url=https://link.aps.org/doi/10.1103/PhysRevE.76.011123}}</ref>

== 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 [[Forma diferencial|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 [[difeomorfismo]]s 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.<ref>{{Citar livro|url=https://www.worldcat.org/oclc/52203046|título=Stochastic differential equations : an introduction with applications|ultimo=1945-|primeiro=Øksendal, B. K. (Bernt Karsten),|data=2003|editora=Springer|edicao=6th |local=Berlin|isbn=3540047581|oclc=52203046}}</ref>

==Ver também==
*[[Cálculo estocástico]]
*[[Integral de Stratonovich]]
*[[Lema de Itō]]
*[[Processo de Wiener]]

{{Referências}}

{{Integral}}
{{Processos estocásticos}}

[[Categoria:Matemática financeira]]
[[Categoria:Processos estocásticos]]
[[Categoria:Teoria da medida]]