Lemme d'Itô

Restez toujours informé : suivez-nous sur Google (☆)

Introduction

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).

Énoncé

Si \scriptstyle\ X\ est la solution de l'EDS

ou de

\scriptstyle\ B\ est un mouvement brownien, et si \scriptstyle\ f(t,x)\ est une fonction de classe \scriptstyle\ \mathcal{C}^{1,2}(\mathbb{R}_+,\mathbb{R})\, alors

Dans le cas d'un mouvement brownien \scriptstyle\ \frac{\sigma^2}{2}\ correspond au coefficient de diffusion et m à la vitesse moyenne de la particule. (voir Équation de Fokker-Planck). En finance \scriptstyle\ \sigma\ est la volatilité et m la dérive du prix du sous jacent. (voir Modèle Black-Scholes par exemple)

Applications

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 (très) faibles de régularité sur les coefficients.

Histoire

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.

Un exemple : le modèle Black-Scholes

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 :

\scriptstyle\ B\ est un mouvement brownien.

Si \scriptstyle\ \sigma=0,\ alors nous sommes face à une équation différentielle ordinaire dont la solution est

X(t) = X(0)exp(μt).

En posant \scriptstyle\ f(x,t)=\ln x,\ on obtient grâce à la formule d'Itô :

On peut alors intégrer et il en découle que :