Lemme d'Itô - Définition
Énoncé
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 X est la solution de l'EDS
où B est un mouvement brownien, et f(t,x) est une fonction continûment dérivable en temps et deux fois continûment dérivable en espace (c'est-à-dire de classe
On la note plus souvent sous sa forme différentielle, en notant Yt = f(t,Xt)
|
où
Remarque
Cette formule peut être vue comme une généralisation de la formule de Newton, qui exprime une fonction f continûment dérivable comme l'intégrale de sa dérivée.
Si X est un chemin dérivable à dérivée continue (c'est-à-dire une fonction de classe
Cette formule ne peut s'appliquer au mouvement brownien ou aux solutions équations différentielles stochastiques, car leurs trajectoires ne sont pas dérivables (elles sont α-Hölder continues dès que α < 1 / 2).
La formule d'Itô est une adaptation de cette dernière formule, à l'aide de la notion d'intégrale stochastique. Sa spécificité est l'apparition de terme
Un exemple : résolution de l'équation du mouvement brownien géométrique
Le mouvement brownien géométrique est souvent utilisé en finance comme le modèle le plus simple d'évolution de cours de bourse. Il s'agit de la solution de l'EDS
Notons que si σ = 0, alors nous sommes face à une équation différentielle ordinaire dont la solution est X(t) = X(0)exp(μt).
Par analogie avec le cas ordinaire et grâce à la formule d'Itô, si
Applications
La formule d'Itô est l'une des pierres angulaires du calcul stochastique, et elle est donc appliquée là où ce dernier sert : mathématiques appliquées, physique, finance (dans la formule de Black et Scholes par exemple), ...
En calcul stochastique,
- Elle permet de faire le lien entre les solutions d'EDS et des opérateurs différentiels du second ordre, et donc entre la théorie des probabilités et celle des équations aux dérivées partielles.
- Elle permet d'affirmer l'existence de solutions d'EDS sous des conditions faibles de régularité sur les coefficients.
- Son importance tient en partie au résultat de stabilité suivant: une fonction de classe
Histoire
La formule d'Itô a été démontrée pour la première fois par le mathématicien japonais Kiyosi 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.
