En matemàtiques, el lema d'Itô o fórmula d'Itô (també anomenada fórmula Itô-Doeblin, especialment en la literatura francesa) és una identitat utilitzada en el càlcul d'Itô per trobar el diferencial d'una funció dependent del temps d'un procés estocàstic. Serveix com a contrapartida del càlcul estocàstic de la regla de la cadena. Es pot derivar heurísticament formant l'expansió de la sèrie de Taylor de la funció fins a les seves segones derivades i conservant termes fins al primer ordre en l'increment de temps i el segon ordre en l'increment del procés de Wiener. El lema s'utilitza àmpliament en finances matemàtiques, i la seva aplicació més coneguda és en la derivació de l'equació de Black-Scholes per als valors d'opcions.[1]
Suposem que tenim l'equació diferencial estocàstica [2]
on
Bt és un
procés de Wiener i les funcions
són funcions deterministes (no estocàstiques) del temps. En general, no és possible escriure una solució
directament en termes de
Tanmateix, formalment podem escriure una solució integral
[3]
Aquesta expressió ens permet llegir fàcilment la mitjana i la variància de
(que no té moments superiors). En primer lloc, observeu que cada
individualment té una mitjana 0, de manera que el valor d'expectativa de
és simplement la integral de la funció de deriva:
De la mateixa manera, perquè el
els termes tenen variància 1 i no hi ha correlació entre si, la variància de
és simplement la integral de la variància de cada pas infinitesimal en la marxa aleatòria:
Tanmateix, de vegades ens trobem davant d'una equació diferencial estocàstica per a un procés més complex
en què el procés apareix als dos costats de l'equació diferencial. És a dir, diguem
per a algunes funcions
i
En aquest cas, no podem escriure immediatament una solució formal com vam fer per al cas més senzill anterior. En canvi, esperem escriure el procés
en funció d'un procés més senzill
prenent el formulari anterior. És a dir, volem identificar tres funcions
i
de tal manera que
i
A la pràctica, s'utilitza el lema d'Ito per trobar aquesta transformació. Finalment, un cop hem transformat el problema en el tipus més simple de problema, podem determinar els moments mitjans i superiors del procés.
[4]