Soit (Bt)t≥0 un (Ft)-mouvement brownien en dimension deux, issu d'un point z=(x,y) distinct de 0. On écrit Bt=(Xt,Yt) pour tout t≥0 où (Xt), (Yt) sont deux mouvements Browniens de dimension 1 indépendants.
1. On pose Rt=∣Bt∣2=(Xt)2+(Yt)2 pour tout t≥0. Vérifier que (Rt)t≥0 est une semimartingale, et écrire sa décomposition (une martingale locale + un processus à variation finie). Vérifier que
⟨R;R⟩t=4∫0tRsds.
2. On fixe ε∈]0,∣z∣[ et on pose Tε=inf{t≥0, ∣Bt∣≤ε} puis Ut=Rt∧Tε, pour tout t≥0. Montrer que le processus log(Ut) est une martingale locale.
3. Soit A∈]∣z∣,+∞[, et τA=inf{t≥0; ∣Bt∣≥A}. Montrer que
P(Tε<τA)=log(A)−log(ε)log(A)−log(∣z∣).