Formule de Tanaka
En calcul stochastique, la formule de Tanaka s'Ă©crit :
oĂč 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
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
- 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 »,
- (en) Cet article est partiellement ou en totalitĂ© issu de lâarticle de WikipĂ©dia en anglais intitulĂ© « Tanaka's formula » (voir la liste des auteurs).