Mouvement brownien - IECL

Transcription

Mouvement brownien - IECL
Mouvement brownien
Samy Tindel
Université de Lorraine
Master 2 - Nancy
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
1 / 71
Plan
1
Processus stochastiques
2
Définition et construction du processus de Wiener
3
Premières propriétés
4
Propriété de martingale
5
Propriété de Markov
6
Propriétés trajectorielles
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
2 / 71
Plan
1
Processus stochastiques
2
Définition et construction du processus de Wiener
3
Premières propriétés
4
Propriété de martingale
5
Propriété de Markov
6
Propriétés trajectorielles
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
3 / 71
Processus stochastiques
Définition 1.
Soient:
(Ω, F, P) espace de probabilités.
I ⊂ R+ intervalle
{Xt ; t ∈ I} famille de variables aléatoires dans Rn
Alors:
1
2
3
Si ω 7→ Xt (ω) mesurable, X est un processus stochastique
t 7→ Xt (ω) se nomme trajectoire
X est dit continu si ses trajectoires sont continues p.s
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
4 / 71
Modifications de processus
Définition 2.
Soient X et Y deux processus sur (Ω, F, P).
1
X est une modification de Y si
P (Xt = Yt ) = 1,
2
pour tout t ∈ I
X et Y sont non-distingables si
P (Xt = Yt pour tout t ∈ I) = 1
Remarques:
(i) Pour (2), on sous-entend que (Xt = Yt pour tout t ∈ I) ∈ F
(ii) (2) est (beaucoup) plus fort que (1)
(iii) Si X et Y sont continus, (2) ⇐⇒ (1)
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
5 / 71
Filtrations
Filtration: Suite croissante de σ-algèbres, i.e
,→ Si s < t, alors Fs ⊂ Ft ⊂ F.
Interprétation: Ft résume l’information disponible à l’instant t
Ensembles négligeables: N = {F ∈ F; P(F ) = 0}
Filtration complète: Lorsque N ⊂ Ft pour tout t ∈ I
Base stochastique: (Ω, F, (Ft )t∈I , P) avec (Ft )t∈I complète
Remarque: On peut toujours considérer (Ft )t∈I complète
,→ On remplace Ft par F̂t = σ(Ft , N )
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
6 / 71
Adaptation
Définition 3.
Soient
(Ω, F, (Ft )t∈I , P) base stochastique
{Xt ; t ∈ I} processus stochastique
On dit que X est Ft -adapté si pour tout t ∈ I:
Xt : (Ω, Ft ) −→ (Rm , B(Rm )) est mesurable
Remarques:
(i) Soit FtX = σ{Xs ; s ≤ t} la filtration naturelle de X .
,→ Le processus X est toujours FtX -adapté.
(ii) Le processus X est Ft -adapté ssi FtX ⊂ Ft
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
7 / 71
Plan
1
Processus stochastiques
2
Définition et construction du processus de Wiener
3
Premières propriétés
4
Propriété de martingale
5
Propriété de Markov
6
Propriétés trajectorielles
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
8 / 71
Définition du processus de Wiener
Notation: Pour une fonction f , δfst ≡ ft − fs
Définition 4.
Soient
(Ω, F, P) espace de probabilités
{Wt ; t ≥ 0} processus stochastique à valeurs dans R
On dit que W est un processus de Wiener si:
1
2
3
4
W0 = 0 presque sûrement
Soient n ≥ 1 et 0 = t0 < t1 < · · · < tn . Les incréments
δWt0 t1 , δWt1 t2 , . . . , δWtn−1 tn sont indépendants
Pour 0 ≤ s < t on a δWst ∼ N (0, t − s)
W a des trajectoires continues presque sûrement
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
9 / 71
0.5
0.0
-0.5
-1.5
-1.0
Brownian motion
1.0
1.5
Illustration: mouvement chaotique
0.0
0.2
0.4
0.6
0.8
1.0
Time
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
10 / 71
0.5
0.0
-0.5
-1.5
-1.0
Brownian motion
1.0
1.5
Illustration: mouvement aléatoire
0.0
0.2
0.4
0.6
0.8
1.0
Time
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
11 / 71
Existence du processus de Wiener
Théorème 5.
Il existe un espace de probabilités (Ω, F, P) sur lequel on peut
construire un processus de Wiener.
Constructions classiques:
Théorème d’extension de Kolmogorov
Limite de marche aléatoire renormalisée
Construction de Lévy-Ciesilski
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
12 / 71
Fonctions de Haar
Définition 6.
On définit une famille de fonctions {hk : [0, 1] → R; k ≥ 0}:
h0 (t) = 1
h1 (t) = 1[0,1/2] (t) − 1(1/2,1] (t),
et pour n ≥ 1 et 2n ≤ k < 2n+1 :
hk (t) = 2n/2 1[ k−2n n , k−2nn+1/2 ] (t) − 2n/2 1( k−2nn+1/2 , k−2nn +1 ] (t)
2
2
2
2
Lemme 7.
Les fonctions {hk : [0, 1] → R; k ≥ 0} forment
une base orthonormée de L2 ([0, 1]).
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
13 / 71
Fonctions de Haar: illustration
2
√
2
1
h1
1
8
1
4
3
8
1
2
5
8
3
4
7
8
1
−1
√
− 2
−2
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
14 / 71
Fonctions de Haar: illustration
2
√
2
h2
1
h3
h1
1
8
1
4
3
8
1
2
5
8
3
4
7
8
1
−1
√
− 2
−2
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
14 / 71
Fonctions de Haar: illustration
2
√
2
h4
h5
h6
h2
1
h7
h3
h1
1
8
1
4
3
8
1
2
5
8
3
4
7
8
1
−1
√
− 2
−2
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
14 / 71
Démonstration
Norme: Pour 2n ≤ k < 2n+1 , on a
Z 1
0
hk2 (t) dt
n
=2
Z
k−2n +1
2n
k−2n
2n
dt = 1.
Orthogonalité: Si k < l, on a deux situations:
(i) Supp(hk ) ∩ Supp(hl ) = ∅.
Alors trivialement hhk , hl iL2 ([0,1]) = 0
(ii) Supp(hl ) ⊂ Supp(hk ).
Alors si 2n ≤ k < 2n+1 on a:
hhk , hl iL2 ([0,1]) = ±2n/2
Samy T. (IECL)
Z 1
0
M2 - Calcul Stochastique
hl (t) dt = 0.
Université de Lorraine
15 / 71
Démonstration (2)
Complétude: Soit f ∈ L2 ([0, 1]) telle que hf , hk i = 0 pour tout k.
,→ On va montrer que f = 0 presque partout.
Etape 1: En analysant
les relations hf , hk i = 0
Rt
,→ On montre que s f (u) du = 0 pour r , s dyadiques.
Etape 2: Comme
Rt
s
f (u) du = 0 pour r , s dyadiques, on a
Z t
f (t) = ∂t
f (u) du = 0,
presque partout,
0
d’après le théorème de dérivation de Lebesgue.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
16 / 71
Fonctions de Schauder
Définition 8.
On définit une famille de fonctions {sk : [0, 1] → R; k ≥ 0}:
sk (t) =
Z t
0
hk (u) du
Lemme 9.
Les fonctions {sk : [0, 1] → R; k ≥ 0} vérifient:
n k−2n +1
1
Supp(sk ) = Supp(hk ) = [ k−2
, 2n ]
2n
1
2
ksk k∞ = 2n/2+1
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
17 / 71
Fonctions de Schauder: illustration
1
2
s1
2−3/2
s2
1
8
Samy T. (IECL)
1
4
s3
3
8
1
2
5
8
M2 - Calcul Stochastique
3
4
7
8
1
Université de Lorraine
18 / 71
Sup de gaussiennes
Lemme 10.
Soit {Xk ; k ≥ 1} suite de v.a.i.i.d de loi N (0, 1). On pose:
Mn ≡ sup {|Xk |; 1 ≤ k ≤ n} .
Alors
Mn = O
Samy T. (IECL)
q
ln(n)
presque sûrement
M2 - Calcul Stochastique
Université de Lorraine
19 / 71
Démonstration
Queue de la gaussienne: Soit x > 0. On a:
P (|Xk | > x ) =
2 Z ∞ − z2 − z2
e 4 e 4 dz
(2π)1/2 x
2
≤ c1 e
− x4
Z ∞
x
z2
x2
e − 4 dz ≤ c2 e − 4 .
Application de Borel-Cantelli: Soit Ak = (|Xk | ≥ 4(ln(k))1/2 ).
D’après l’étape précédente on a:
P (Ak ) ≤
∞
X
c
=⇒
P (Ak ) < ∞ =⇒ P (lim sup Ak ) = 0
k4
k=1
Conclusion: ω-p.s il existe k0 = k0 (ω) tel que
,→ |Xk (ω)| ≤ 4[ln(k)]1/2 pour k ≥ k0 .
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
20 / 71
Construction effective sur [0, 1]
Proposition 11.
Soient
{sk ; k ≥ 0} la famille des fonctions de Schauder
{Xk ; k ≥ 0} suite de v.a.i.i.d de loi N (0, 1).
On pose:
X
Wt =
Xk sk (t).
k≥0
Alors W est un processus de Wiener sur [0, 1]
,→ Dans le sens de la Définition 4.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
21 / 71
Démonstration: convergence uniforme
P
Etape 1: Montrer que k≥0 Xk sk (t) converge
,→ Uniformément dans [0, 1], presque sûrement.
,→ Ceci implique aussi que W est continu p.s
Réduction du problème: Voir que pour tout ε > 0
,→ il existe n0 = n0 (ω) tel que pour tous n0 ≤ m < n on a:
n
2
X
Xk sk m
k=2
Samy T. (IECL)
≤ ε.
∞
M2 - Calcul Stochastique
Université de Lorraine
22 / 71
Démonstration: convergence uniforme (2)
Bornes utiles:
1
Soit η > 0. On a (Lemme 10): |Xk | ≤ c k η avec c = c(ω)
2
Pour 2p ≤ k < 2p+1 , les sk ont support disjoint. Donc
2p+1
X−1 sk k=2p
≤
∞
1
2
p
+1
2
.
Convergence uniforme: pour tout t ∈ [0, 1] on a:
n
2
X
Xk sk (t)
m
k=2
≤
p+1
X 2 X−1
|Xk | sk (t) ≤ c1
p≥m k=2p
1
X
p≥m
p ( 12 −ε)
2
≤
c2
m( 21 −ε)
,
2
ce qui montre la convergence uniforme.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
23 / 71
Démonstration: loi de δWrt
Etape 2: Montrer que δWrt ∼ N (0, t − s) pour 0 ≤ r < t.
Réduction du problème: Voir que pour tout λ ∈ R,
h
i
E e ıλ δWrt = e −
Rappel: δWrt =
P
k≥0
(t−r )λ2
2
.
Xk (sk (t) − sk (r ))
Calcul de fonction caractéristique:
Par indépendance des Xk et convergence dominée,
h
E e ıλ δWrt
i
=
Y
h
E e ıλ Xk (sk (t)−sk (r ))
i
k≥0
=
Y
e−
λ2 (sk (t)−sk (r ))2
2
2
=e
− λ2
P
k≥0
(sk (t)−sk (r ))2
k≥0
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
24 / 71
Démonstration: loi de δWrt (2)
Calcul de produit scalaire: Pour 0 ≤ r < t on a
X
sk (r ) sk (t) =
k≥0
XD
hk , 1[0,r ]
ED
E
D
E
hk , 1[0,t] = 1[0,r ] , 1[0,t] = r .
k≥0
Donc:
X
[sk (t) − sk (r )]2 = t − r .
k≥0
Calcul de fonction caractéristique (2): On a finalement
h
E e
Samy T. (IECL)
ıλ δWrt
i
2
=e
− λ2
P
k≥0
(sk (t)−sk (r ))2
M2 - Calcul Stochastique
= e−
(t−r )λ2
2
.
Université de Lorraine
25 / 71
Démonstration: indépendance des incréments
Cas simple: Pour 0 ≤ r < t, on montre que Wr ⊥⊥ δWrt
Calcul de fonction caractéristique: pour λ1 , λ2 ∈ R,
h
i
E e ı(λ1 Wr +λ2 δWrt ) =
Y
h
E e ı Xk [λ1 sk (r )+λ2 (sk (t)−sk (r ))]
i
k≥0
=e
− 21
P
[λ s (r )+λ2 (sk (t)−sk (r ))]2
k≥0 1 k
1
2
2
= e − 2 [λ1 r +λ2 (t−r )]
Conclusion: On a, pour tous λ1 , λ2 ∈ R,
h
i
h
i
h
i
E e ı(λ1 Wr +λ2 δWrt ) = E e ıλ1 Wr E e ıλ2 δWrt ,
et donc Wr ⊥⊥ δWrt .
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
26 / 71
Construction effective sur [0, ∞)
Proposition 12.
Soient:
Pour k ≥ 1, un espace (Ωk , Fk , Pk )
,→ Contenant un processus de Wiener W k sur [0, 1]
Q
Ω̄ = k≥1 Ωk , F̄ = ⊗k≥1 Fk , P̄ = ⊗k≥1 Pk
On pose W0 = 0 et de manière récursive:
n+1
Wt = Wn + Wt−n
,
si t ∈ [n, n + 1].
Alors W est un processus de Wiener sur R+
,→ Défini sur (Ω̄, F̄, P̄).
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
27 / 71
Démonstration partielle
But: Voir que δWst ∼ N (0, t − s)
,→ avec m ≤ s < m + 1 ≤ n ≤ t < n + 1
Décomposition de δWst : On a
δWst =
n
X
W1k
+
n+1
Wt−n
−
m
X
!
W1k
+
m+1
Ws−m
= Z1 + Z2 + Z3 ,
k=1
k=1
avec
Z1 =
n
X
W1k ,
m+1
Z2 = W1m+1 − Ws−m
,
n+1
.
Z3 = Wt−n
k=m+2
Loi de δWst : Les Zj sont indépendantes gaussiennes centrées.
Donc δWst ∼ N (0, σ 2 ), avec:
σ 2 = n − (m + 1) + 1 − (s − m) + t − n = t − s.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
28 / 71
Processus de Wiener dans Rn
Définition 13.
Soient
(Ω, F, P) espace de probabilités
{Wt ; t ≥ 0} processus stochastique à valeurs dans Rn
On dit que W est un processus de Wiener si:
1
2
3
4
W0 = 0 presque sûrement
Soient n ≥ 1 et 0 = t0 < t1 < · · · < tn . Les incréments
δWt0 t1 , δWt1 t2 , . . . , δWtn−1 tn sont indépendants
Pour 0 ≤ s < t on a δWst ∼ N (0, (t − s)IdRn )
W a des trajectoires continues presque sûrement
Remarque:
On peut construire W à partir de n browniens indépendants réels.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
29 / 71
0.5
0.0
-0.5
-1.5
-1.0
Brownian motion 2
1.0
1.5
Illustration: Mouvement brownien, dimension 2
0.0
0.5
1.0
1.5
2.0
Brownian motion 1
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
30 / 71
Processus de Wiener dans une filtration
Définition 14.
Soient
(Ω, F, (Ft )t≥0 , P) base stochastique
{Wt ; t ≥ 0} processus stochastique à valeurs dans Rn
On dit que W est un processus de Wiener
par rapport à (Ω, F, (Ft )t≥0 , P) si:
1
2
3
4
W0 = 0 presque sûrement
Soient 0 ≤ s < t. Alors δWst ⊥⊥ Fs .
Pour 0 ≤ s < t on a δWst ∼ N (0, (t − s)IdRn )
W a des trajectoires continues presque sûrement
Remarque: Un processus de Wiener selon la Définition 13
est un processus de Wiener dans sa filtration naturelle.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
31 / 71
Plan
1
Processus stochastiques
2
Définition et construction du processus de Wiener
3
Premières propriétés
4
Propriété de martingale
5
Propriété de Markov
6
Propriétés trajectorielles
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
32 / 71
Propriété gaussienne
Définition 15.
Soient
(Ω, F, P) espace de probabilités
{Xt ; t ≥ 0} processus stochastique à valeurs dans R
On dit que X est un processus gaussien si
pour tous 0 ≤ t1 < · · · < tn on a:
(Xt1 , . . . , Xtn ) vecteur gaussien.
Proposition 16.
Soit W un mouvement brownien réel.
Alors W est un processus gaussien.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
33 / 71
Démonstration
Notation: Pour 0 = t0 ≤ t1 < · · · < tn on pose
Xn = (Wt1 , . . . , Wtn )
Yn = (δWt0 t1 , . . . , δWtn−1 tn )
Vecteur Yn : Par indépendance des incréments de W
,→ Yn est un vecteur gaussien.
Vecteur Xn : Il existe M ∈ Rn,n telle que Xn = MYn
,→ Xn vecteur gaussien
Matrice de covariance: On a E[Ws Wt ] = s ∧ t. Donc
(Wt1 , . . . , Wtn ) ∼ N (0, Γn ),
Samy T. (IECL)
avec Γijn = ti ∧ tj .
M2 - Calcul Stochastique
Université de Lorraine
34 / 71
Conséquence de la propriété gaussienne
Caractérisation des processus gaussiens:
Soit X processus gaussien. La loi de X est caractérisée par:
µt = E[Xt ],
et ρs,t = Cov(Xs , Xt ).
Autre caractérisation du mouvement brownien:
Soit W un processus gaussien réel avec
µt = 0,
et ρs,t = s ∧ t.
Alors W est un mouvement brownien.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
35 / 71
Scaling du brownien
Proposition 17.
Soient
W mouvement brownien réel.
Une constante a > 0.
On définit un processus W a par:
Wta = a−1/2 Wat ,
pour t ≥ 0.
Alors W a est un mouvement brownien.
Démonstration:
Caractérisation gaussienne du mouvement brownien.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
36 / 71
Espace canonique
Proposition 18.
Soit E = C([0, ∞); Rn ). On pose:
d(f , g) =
X
n≥1
2n
kf − gk∞,n
(1 + kf − gk∞,n )
où
kf − gk∞,n = sup {|ft − gt |; t ∈ [0, n]} .
Alors E est un espace métrique complet séparable.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
37 / 71
σ-algèbre borélienne sur E
Proposition 19.
Soit E = C([0, ∞); Rn ). Pour m ≥ 1 on considère:
0 ≤ t1 < · · · < tm
A1 , . . . , Am ∈ B(Rn )
Soit A la σ-algèbre engendrée par les rectangles:
Rt1 ,...,tm (A1 , . . . , Am ) = {x ∈ E ; xt1 ∈ A1 , . . . , xtm ∈ Am } .
Alors A = B(E ), la σ-algèbre de Borel sur E .
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
38 / 71
Mesure de Wiener
Proposition 20.
Soient
W proc. Wiener à valeurs dans Rn , défini sur (Ω, F, P).
T : (Ω, F) → (E , A), telle que T (ω) = {Wt (ω); t ≥ 0}.
Alors:
1
2
3
L’application T est mesurable
Soit P0 = P ◦ T −1 , mesure sur (E , A).
P0 se nomme mesure de Wiener.
Sous P0 le processus canonique ω s’écrit:
ωt = Wt ,
Samy T. (IECL)
où W mouvement brownien.
M2 - Calcul Stochastique
Université de Lorraine
39 / 71
Démonstration
Image inverse de rectangles: On a
T −1 (Rt1 ,...,tm (A1 , . . . , Am )) = (Wt1 ∈ A1 , . . . , Wtm ∈ Am ) ∈ F.
Conclusion: T mesurable car A engendrée par les rectangles.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
40 / 71
Plan
1
Processus stochastiques
2
Définition et construction du processus de Wiener
3
Premières propriétés
4
Propriété de martingale
5
Propriété de Markov
6
Propriétés trajectorielles
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
41 / 71
Propriété de martingale
Définition 21.
Soient
(Ω, F, (Ft )t≥0 , P) base stochastique
{Xt ; t ≥ 0} processus stochastique à valeurs dans Rn
On dit que X est une Ft -martingale si
1
Xt ∈ L1 (Ω) pour tout t ≥ 0.
2
E[δXst | Fs ] = 0 pour tous 0 ≤ s < t.
Proposition 22.
Soit W un Ft -mouvement brownien.
Alors W est une Ft -martingale.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
42 / 71
Temps d’arrêt
Définition 23.
Soient
(Ω, F, (Ft )t≥0 , P) base stochastique.
S variable aléatoire à valeurs dans [0, ∞].
On dit que S est un temps d’arrêt si pour tout t ≥ 0 on a:
(S ≤ t) ∈ Ft
Interprétation 1: Si on connaît X[0,t]
,→ On peut déterminer si T ≤ t ou T > t
Interprétation 2: T ≡ instant où on arrête de jouer
,→ Ne dépend que de notre information jusqu’au présent.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
43 / 71
Exemples typiques de temps d’arrêt
Proposition 24.
Soient:
X processus à valeurs dans Rd , Ft -adapté et continu.
G ouvert de Rd .
F fermé de Rd .
On pose:
TG = inf {t ≥ 0; Xt ∈ G} ,
TF = inf {t ≥ 0; Xt ∈ F } .
Alors TG et TF sont des temps d’arrêt.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
44 / 71
Démonstration, cas de TG
Réduction du problème: On montre que
(TG ≤ t) =
[
(Xs ∈ G) .
(1)
s∈Q∩[0,t]
Comme ∪s∈Q∩[0,t] (Xs ∈ G) ∈ Ft , ceci achève la preuve.
Première inclusion pour (1):
[
(Xs ∈ G) ⊂ (TG ≤ t) : évident.
s∈Q∩[0,t]
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
45 / 71
Démonstration, cas de TG (2)
Deuxième inclusion pour (1): Si TG ≤ t, alors
Il existe s ≤ t tel que Xs ∈ G. On pose Xs ≡ x .
Soit ε > 0 tel que B(x , ε) ∈ G
Alors:
Il existe δ > 0 tel que Xr ∈ B(x , ε) pour tout r ∈ (s − δ, s + δ).
En particulier il existe q ∈ Q ∩ [s − δ, s] tel que Xq ∈ G.
Comme
(Q ∩ [s − δ, s]) ⊂ (Q ∩ [0, t]) ,
on a la deuxième inclusion.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
46 / 71
Propriétés simples des temps d’arrêt
Proposition 25.
Soient S et T deux temps d’arrêt. Alors
1
S ∧T
2
S ∨T
sont des temps d’arrêt.
Proposition 26.
Si T est un temps déterministe (T = n presque sûrement)
,→ alors T est un temps d’arrêt.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
47 / 71
Information au temps S
Définition 27.
Soient
(Ω, F, (Ft )t≥0 , P) base stochastique.
S temps d’arrêt.
La σ-algèbre FS est définie par:
FS = {A ∈ F; [A ∩ (S ≤ t)] ∈ Ft pour tout t ≥ 0} .
Interprétation:
FS ≡ Information connue jusqu’à S.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
48 / 71
Théorème d’arrêt
Théorème 28.
Soient
(Ω, F, (Ft )t≥0 , P) base stochastique.
S, T deux temps d’arrêt, avec S ≤ T .
X martingale continue.
Hypothèse:
{Xt∧T ; t ≥ 0} martingale uniformément intégrable.
Alors:
E [XT | FS ] = XS .
En particulier:
E [XT ] = E [XS ] = E [X0 ] .
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
49 / 71
Remarques
Stratégie de démonstration:
On part du résultat connu à temps discret.
On approche X par la martingale discrète
Ym ≡ Xtm ,
avec tm =
m
.
2n
Vérification de l’hypothèse: Posons Yt = Xt∧T .
{Yt ; t ≥ 0} martingale unft. intégrable dans les cas suivants:
|Yt | ≤ M avec M déterministe indépendant de t.
supt≥0 E[|Yt |2 ] ≤ M.
supt≥0 E[|Yt |p ] ≤ M avec p > 1.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
50 / 71
Plan
1
Processus stochastiques
2
Définition et construction du processus de Wiener
3
Premières propriétés
4
Propriété de martingale
5
Propriété de Markov
6
Propriétés trajectorielles
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
51 / 71
Mesure de Wiener indexée par Rd
Proposition 29.
Soit:
x ∈ Rd .
Il existe une mesure de probabilités Px sur (E , A) telle que:
,→ Sous Px le processus canonique ω s’écrit:
ωt = x + Wt ,
où W mouvement brownien.
Notations:
On considère {Px ; x ∈ Rd }.
Espérance sous Px : Ex .
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
52 / 71
Shift sur les trajectoires
Définition 30.
Soient
E = C([0, ∞); Rd ), muni de A ≡ σ-algèbre de Borel.
t ≥ 0.
On pose:
θt : E → E ,
{ωs ; s ≥ 0} 7→ {ωt+s ; s ≥ 0}
Shift et futur: Soit Y : E → R mesurable.
,→ Alors Y ◦ θs dépend du futur après s.
Exemple: Pour n ≥ 1, f mesurable et 0 ≤ t1 < . . . < tn ,
Y (ω) = f (ωt1 , . . . , ωtn )
Samy T. (IECL)
=⇒
Y ◦ θs = f (Ws+t1 , . . . , Ws+tn ) .
M2 - Calcul Stochastique
Université de Lorraine
53 / 71
Propriété de Markov
Théorème 31.
Soient:
W processus de Wiener dans Rd .
Y : E → R mesurable bornée.
Alors:
Ex [Y ◦ θs | Fs ] = EWs [Y ].
Interprétation:
Seule la valeur de Ws sert à prédire le futur après s.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
54 / 71
Pseudo-démonstration
Fonction très simple:
Pour 0 ≤ s < t, l’indépendance des incréments de W donne
Ex [f (Wt )| Fs ] = EWs [f (Wt−s )] = pt−s f (Ws ),
avec
ph : C(Rd ) → C(Rd ),
ph f (x ) ≡
Z
Rd
f (y )
|
exp − |y −x
2h
(2πh)d/2
2
dy .
Extension:
1
Variable aléatoire Y = f (Wt1 , . . . , Wtn ).
2
Variable générale: par π-λ-systèmes.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
55 / 71
Liens avec l’analyse
Semi-groupe de la chaleur: On a posé pt f (x ) = Ex [f (Wt )]. Alors:
La famille {pt ; t ≥ 0} est un semi-groupe d’opérateurs.
Générateur du semi-groupe: ∆2 , avec ∆ ≡ Laplacien.
Formule de Feynman-Kac: Soit f ∈ Cb (Rd ) et l’EDP sur Rd :
1
∂t u(t, x ) = ∆u(t, x ),
2
u(0, x ) = f (x ).
Alors
u(t, x ) = Ex [f (Wt )] = pt f (x )
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
56 / 71
Plan
1
Processus stochastiques
2
Définition et construction du processus de Wiener
3
Premières propriétés
4
Propriété de martingale
5
Propriété de Markov
6
Propriétés trajectorielles
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
57 / 71
Régularité
Continuité Hölder: Soit f : [a, b] → Rn . On dit que f est γ-Hölder
si kf kγ < ∞ avec:
kf kγ =
sup
s,t∈[a,b],s6=t
|δfst |
.
|t − s|γ
Remarque: k · kγ n’est qu’une semi-norme. Notation: C γ
Théorème 32.
Soit τ > 0 et W processus de Wiener sur [0, τ ].
Il existe une version Ŵ de W telle que presque sûrement:
,→ Les trajectoires de Ŵ sont γ-Hölder pour tout γ ∈ (0, 1/2).
Remarque: On confond habituellement Ŵ et W .
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
58 / 71
Critère de Kolmogorov
Théorème 33.
Soit X = {Xt ; t ∈ [0, τ ]} processus défini sur (Ω, F, P),
tel que:
E [|δXst |α ] ≤ c|t − s|1+β ,
pour s, t ∈ [0, τ ], c, α, β > 0
Alors il existe une modification X̂ de X telle que
,→ Presque sûrement X̂ ∈ C γ pour tout γ < β/α, i.e:
P ω; kX̂ (ω)kγ < ∞ = 1.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
59 / 71
Démonstration du Théorème 32
Loi de δBst : On a δBst ∼ N (0, t − s).
Moments de δBst : D’après la Proposition 8 (rappels probabilités),
pour m ≥ 1, on a
h
i
E |δBst |2m = cn |t − s|m
i.e
h
i
E |δBst |2m = cn |t − s|1+(m−1)
Application du critère de Kolmogorov:
1
B est γ-Hölder pour γ < m−1
= 12 − 2m
2m
En prenant la limite m → ∞, on achève la démonstration.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
60 / 71
Module de continuité de Lévy
Théorème 34.
Soit τ > 0 et W processus de Wiener sur [0, τ ].
Alors presque sûrement W satisfait:
lim sup
sup
δ→0+
0≤s<t≤τ,|t−s|≤δ
|δWst |
(2δ ln(1/δ))1/2
Interprétation: W a une régularité Hölder =
,→ à un facteur logarithmique près.
Samy T. (IECL)
M2 - Calcul Stochastique
1
2
= 1.
en tout point
Université de Lorraine
61 / 71
Variations d’une fonction
Partitions d’intervalle: Soient a < b deux réels.
On note π un ensemble {t0 , . . . , tm } avec a = t0 < . . . < tm = b
On dit que π est une partition de [a, b].
On note Πa,b l’ensemble des partitions de [a, b].
Définition 35.
Soient a < b et f : [a, b] → R. La variation de f sur [a, b] est:
Va,b (f ) = sup

 X



|δfti ti+1 | ; π ∈ Πa,b .
ti ,ti+1 ∈π

Si Va,b (f ) < ∞, on dit que f est à variation finie sur [a, b].
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
62 / 71
Variation quadratique
Définition 36.
Soient a < b et f : [a, b] → R.
La variation quadratique de f sur [a, b] est:

 X
2
Va,b
(f ) = sup 
ti ,ti+1 ∈π


|δfti ti+1 |2 ; π ∈ Πa,b  .
2
Si Va,b
(f ) < ∞,
,→ On dit que f est à variation quadratique finie sur [a, b].
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
63 / 71
Variations du mouvement brownien
Théorème 37.
Soit W processus de Wiener.
Alors presque sûrement W satisfait:
2
1
Pour 0 ≤ a < b < ∞ on a Va,b
(W ) = b − a.
2
Pour 0 ≤ a < b < ∞ on a Va,b (W ) = ∞.
Interprétation: Les trajectoires de W sont:
A variation infinie
A variation quadratique finie,
sur tout intervalle de R+ .
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
64 / 71
Démonstration
Notations: Soit π = {t0 , . . . , tm } ∈ Πa,b . On pose:
P
2
Sπ = m−1
k=0 |δWtk tk+1 | .
Xk = |δWtk tk+1 |2 − (tk+1 − tk ).
k
Yk = tk+1X−t
.
k
Etape 1: Montrer que
L2 (Ω) − lim Sπ = b − a.
|π|→0
Décomposition: On a
Sπ − (b − a) =
m−1
X
Xk
k=0
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
65 / 71
Démonstration (2)
Calcul de variance: Les v.a Xk sont i.i.d centrées. Donc
h
2
E (Sπ − (b − a))
i
= Var
m−1
X
!
Xk
k=0
m−1
X
=
Var (Xk ) =
k=0
Comme
δWtk tk+1
(tk+1 −tk )1/2
h
m−1
X
(tk+1 − tk )2 Var (Yk )
k=0
∼ N (0, 1), on obtient:
2
E (Sπ − (b − a))
i
=2
m−1
X
(tk+1 − tk )2 ≤ 2|π|(b − a).
k=0
Conclusion: On a bien, pour une sous-suite πn ,
L2 (Ω) − lim Sπ = b − a
|π|→0
Samy T. (IECL)
=⇒
p.s − lim Sπn = b − a.
M2 - Calcul Stochastique
n→∞
Université de Lorraine
66 / 71
Démonstration (3)
Etape 2: Vérifier Va,b (W ) = ∞ pour a < b fixés.
On raisonne par contradiction. Soient:
ω ∈ Ω0 tels que P(Ω0 ) = 1 et limn→∞ Sπn (ω) = b − a > 0.
On suppose Va,b (W (ω)) < ∞.
Borne sur les incréments: Par continuité de W :
P n −1
1
supn≥1 m
k=0 |δWtk tk+1 (ω)| ≤ c(ω)
2
limn→∞ max0≤k≤mn −1 |δWtk tk+1 (ω)| = 0
Donc
Sπn (ω) ≤
max
0≤k≤mn −1
|δWtk tk+1 (ω)|
mX
n −1
|δWtk tk+1 (ω)| −→ 0.
k=0
Contradiction: avec limn→∞ Sπn (ω) = b − a > 0.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
67 / 71
Démonstration (4)
Etape 3: Vérifier Va,b (W ) = ∞ pour tout couple (a, b) ∈ R2+
,→ Il suffit en fait de voir Va,b (W ) = ∞ pour tout couple (a, b) ∈ Q2+
Rappel: Pour tout couple (a, b) ∈ Q2+ , on a trouvé:
,→ ∃ Ωa,b t.q P(Ωa,b ) = 1 et Va,b (W (ω)) = ∞ pour tout ω ∈ Ωa,b .
Ensemble de probabilité pleine: On pose
Ω0 =
\
Ωa,b .
(a,b)∈Q2+
Alors:
P(Ω0 ) = 1.
Si ω ∈ Ω0 , pour tout couple (a, b) ∈ Q2+ on a Va,b (W (ω)) = ∞.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
68 / 71
Irrégularité de W
Proposition 38.
Soient:
W processus de Wiener
γ > 1/2 et 0 ≤ a < b
Alors presque sûrement W n’est pas élément de C γ ([a, b]).
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
69 / 71
Démonstration
Stratégie: On raisonne par contradiction. Soient:
ω ∈ Ω0 tels que P(Ω0 ) = 1 et limn→∞ Sπn (ω) = b − a > 0.
On suppose W ∈ C γ avec γ > 1/2, i.e |δWst | ≤ L|t − s|γ
,→ Avec L variable aléatoire.
Borne sur la variation quadratique: On a:
Sπn (ω) ≤ L2
mX
n −1
|tk+1 − tk |2γ ≤ L2 |πn |2γ−1 (b − a) −→ 0.
k=0
Contradiction: avec limn→∞ Sπn (ω) = b − a > 0.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
70 / 71
Irrégularité de W en tout point
Théorème 39.
Soient:
W processus de Wiener
γ > 1/2 et τ > 0
Alors
1
Presque sûrement les trajectoires de W
ne sont pas γ-Hölder continues en tout point s ∈ [0, τ ].
2
A fortiori, W n’est dérivable nulle part.
Samy T. (IECL)
M2 - Calcul Stochastique
Université de Lorraine
71 / 71