École Supérieure Privée d’Ingénierie et de Technologies esprit-logo.

jpg

Probabilité II
Correction de la série d’exercices n˚3 :Martingales à temps discrets
Exercice n˚1

Niveau : 4ème année INFINI Année universitaire : 2020-2021

Correction de l’exercice 1 :
1. Soit T un temps d’arrêt et τ une variable aléatoire appartenant à FT , vérifiant τ > T .
Montrer que τ est un temps d’arrêt.


• On a τ est une v.a. qui appartient à FT , alors pour tout a on a τ 6 a ∈ FT .

• Puisque T est un un temps d’arrêt, alors {T 6 t ∈ Ft .

• De Plus, FT ⊆ Ft , donc τ 6 a ∈ Ft .
Alors par définition de la tribu Ft ,
 
τ 6 a ∩ T 6 t ∈ Ft

Par suite  
τ 6 a ∩ T 6 a ∈ Fa

Alors τ 6 a ∈ Fa . D’ou τ est un temps d’arrêt.
2. On dit que (Mt )t≥0 est une surmartingale si :
* (Mt )t≥0 est adapté, intégrable.
* E(Mt |Fs ) 6 Ms , ∀s 6 t.
Le processus (Mt )t≥0 est une sous martingale si (−Mt )t≥0 est une surmartingale.
(a) Montrer que si (Mt )t≥0 est une martingale et (At )t≥0 un processus croissant adapté (i.e.
As 6 At , ∀s 6 t) alors (Mt − At )t≥0 est une surmartingale.
Soit Xt = Mt − At . On a pour t > s, E(Xt |Fs ) = Ms − E(At |Fs ) et comme As 6 At cad
−At 6 As . Alors

E(Xt |Fs ) 6 Ms − E(As |Fs ) = Ms − As = Xs .

Donc Xt = Mt − At est une surmartingale.

1
(b) Soit (Mt )t≥0 une martingale. Que peut-on dire de (Mt2 )t≥0 ?
Si (Mt )t≥0 est une martingale alors (Mt2 )t≥0 n’est pas nécessairement une martingale
(prenons l’exemple du mouvement Brownien).
Mais on peut montrer que si (Mt )t≥0 est une martingale alors (Mt2 )t≥0 est une sous
martingale.
En effet, pour t > s

E[Mt2 |Fs ] = E[(Mt − Ms + Ms )2 |Fs ] = E[(Mt − Ms )2 + 2Ms (Mt − Ms ) + Ms2 |Fs ]

= E[(Mt − Ms )2 |Fs ] + 2E[Ms (Mt − Ms )|Fs ] + E[Ms2 |Fs ]

Or
— (Mt − Ms ) est indépendante de Fs donc E[(Mt − Ms )2 |Fs ] = E[(Mt − Ms )2 ].
— De plus E[Ms (Mt − Ms )|Fs ] = Ms E[(Mt − Ms )|Fs ] puisque (Ms )s≥0 est Fs -adapté.
— Et E[(Mt − Ms )|Fs ] = 0 car Mt est une martingale
D’ou E[Ms (Mt − Ms )|Fs ] = 0.
De même E[Ms2 |Fs ] = Ms2 puisque (Ms2 )s≥0 est Fs -adapté.
Enfin, puisque E[(Mt − Ms )2 ] > 0, on en déduit que

E[Mt2 |Fs ] = E[(Mt − Ms )2 ] + Ms2 > Ms2

D’ou le résultat.