Le lemme d'Itô, ou encore formule d'Itô est l'un des principaux résultats de la théorie du calcul stochastique. Ce lemme offre un moyen de manipuler le mouvement brownien ou les solutions d'équations différentielles stochastiques (EDS).
Si
ou de
où
Dans le cas d'un mouvement brownien
La formule d'Itô a été démontrée pour la première fois par le mathématicien japonais Kiyoshi Itô dans les années 1940.
Le mathématicien Wolfgang Doeblin avait de son côté ébauché une théorie similaire avant de se suicider à la défaite de son bataillon en juin 1940. Ses travaux furent envoyés dans un pli cacheté à l'Académie des sciences qui ne fut ouvert qu'en 2000.
En calcul stochastique,
Le mouvement brownien geometrique est souvent utilisé en finance comme le plus simple modèle d'évolution de cours de bourse. Il s'agit de la solution de l'équation différentielle stochastique :
où
Si
En posant
On peut alors intégrer et il en découle que :