En calcul stochastique, la formule de Tanaka s'écrit :

Bt est un mouvement brownien standard, sgn désigne la fonction signe :

et Lt est le temps local (en) en 0 du mouvement brownien B (le temps local passé par B en 0 jusqu'au temps t). Celui-ci est donné par la limite dans L2 suivante :

La formule de Tanaka correspond à la décomposition de Doob–Meyer explicite de la sous-martingale |Bt| en sa partie martingale (l'intégrale du membre de droite), et son processus croissant continu (le temps local). On peut aussi voir cette formule comme une analogue du lemme d'Itô pour la fonction valeur absolue (qui n'est pas régulière) , avec et .

Plan de la preuve

modifier

La fonction |x| n'est pas de classe C2 en x = 0, donc il n'est pas possible d'appliquer le lemme d'Itô directement. Mais si on approxime cette fonction au voisinage de 0 (i.e. sur l'intervalle[−εε]) par des polynômes :

 

on peut alors utiliser le lemme d'Itô et prendre la limite lorsque ε → 0, pour obtenir la formule de Tanaka.

Références

modifier
  • Bernt K. Øksendal, Stochastic Differential Equations: An Introduction with Applications, Berlin, Springer, (Example 5.3.2)
  • Albert N. Shiryaev, trans. N. Kruzhilin, Essentials of stochastic finance: Facts, models, theory, River Edge, NJ, World Scientific Publishing Co. Inc., coll. « Advanced Series on Statistical Science & Applied Probability No. 3 »,