Les transparents de l'exposé. - Site de Florian HECHNER
Les transparents de l'exposé. - Site de Florian HECHNER
Les transparents de l'exposé. - Site de Florian HECHNER
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lois <strong>de</strong>s grands nombres dans <strong>de</strong>s espaces <strong>de</strong> Banach<br />
et martingales généralisées<br />
<strong>Florian</strong> <strong>HECHNER</strong><br />
I.R.M.A. Strasbourg<br />
1 er Septembre 2008
1 Introduction<br />
Soit (Xi) une suite <strong>de</strong> copies indépendantes, d’une variable aléatoire centrée<br />
X, et Sn := X1 + · · · + Xn.<br />
Dans <strong>de</strong> nombreux problèmes concrets, en particulier la construction d’intervalles<br />
<strong>de</strong> confiance pour une moyenne, on a besoin d’informations précises<br />
sur la vitesse <strong>de</strong> convergence <strong>de</strong> Sn<br />
n vers 0.<br />
Souvent, la “vitesse <strong>de</strong> convergence” est quantifiée en utilisant les queues<br />
<strong>de</strong>s fonctions <strong>de</strong> répartition <strong>de</strong>s Sn<br />
n .<br />
Theorème 1.1 (Baum-Katz) :<br />
Soit 0 < p < 2. <strong>Les</strong> conditions suivantes sont équivalentes :<br />
1. E|X| p < +∞.<br />
2. |Sn|<br />
n 1/p −→ 0 p.s.<br />
3. E|Sn| p = o(n).<br />
4. ∀ε > 0, +∞<br />
n=1<br />
1<br />
n P<br />
<br />
|Sn|<br />
n1/p <br />
> ε < +∞.<br />
La <strong>de</strong>rnière condition traduit, lorsque 1 < p < 2, une propriété intrinsèque<br />
<strong>de</strong> la suite Sn<br />
n .
2 Martingales généralisées<br />
Définition 2.1 :<br />
Soit (Ω, F, P) un espace probabilisé. Soit (Fn) une filtration, c’est-à-dire<br />
une suite croissante <strong>de</strong> sous-tribus <strong>de</strong> F. Notons T l’ensemble <strong>de</strong>s temps<br />
d’arrêt bornés à valeurs dans N.<br />
Soit (Zn) une suite <strong>de</strong> variables aléatoires intégrables adaptées à la filtration.<br />
• On dit que (Zn) est un amart si (EZτ)τ∈T converge dans R.<br />
• On dit que (Zn) est une quasimartingale si<br />
∞<br />
E|E(Zn+1|Fn) − Zn| < +∞.<br />
n=1<br />
En pratique, pour voir si (Zn) est un amart, on vérifie si pour toute suite<br />
croissante (τn) ∈ T , la suite E(Zτn ) converge.<br />
• Une quasimartingale est en particulier un amart.<br />
• La réciproque est fausse.
3 Loi <strong>de</strong>s grands nombres <strong>de</strong> Kolmogorov<br />
On considère <strong>de</strong>s v.a. à valeurs dans un espace <strong>de</strong> Banach réel séparable<br />
(B, · ) muni <strong>de</strong> sa tribu borélienne.<br />
Theorème 3.1 (E.Mourier) :<br />
Soit (Xi) une suite <strong>de</strong> copies indépendantes d’une variable aléatoire centrée<br />
à valeurs dans B. <strong>Les</strong> <strong>de</strong>ux propriétés suivantes sont équivalentes :<br />
1. La suite Sn n<br />
2. EX < +∞.<br />
converge p.s.<br />
Définition 3.2 :<br />
Soit p ∈ [1, 2] et (εi) une suite <strong>de</strong> v.a. <strong>de</strong> Ra<strong>de</strong>macher indépendantes. On<br />
dit que B est <strong>de</strong> type (<strong>de</strong> Ra<strong>de</strong>macher) p si il existe une constante C telle<br />
que pour toute suite finie (xi) d’éléments <strong>de</strong> B, on a :<br />
<br />
<br />
<br />
p<br />
<br />
E<br />
εixi<br />
C<br />
<br />
<br />
xi p<br />
i<br />
Proposition 3.3 :<br />
Soit p ∈ [1, 2]. Si B est <strong>de</strong> type p il existe une constante C telle que pour<br />
toute suite finie (Xi) <strong>de</strong> variables aléatoires centrées appartenant à Lp ,<br />
<br />
<br />
<br />
p<br />
<br />
E<br />
Xi<br />
C<br />
<br />
<br />
EXi p<br />
i<br />
i<br />
i
Theorème 3.4 :<br />
Soit (Xi) une suite <strong>de</strong> copies indépendantes d’une variable aléatoire centrée<br />
à valeurs dans un espace <strong>de</strong> Banach séparable <strong>de</strong> type p > 1.<br />
Alors les <strong>de</strong>ux conditions suivantes sont équivalentes :<br />
• EX ln + X < +∞<br />
• Sn<br />
n est une quasimartingale.<br />
Exemple 3.5 :<br />
L’espace c0 <strong>de</strong>s suites qui ten<strong>de</strong>nt vers 0 est un espace n’ayant aucun type<br />
non trivial.<br />
• On considère une suite (εk) <strong>de</strong> variables aléatoires <strong>de</strong> Ra<strong>de</strong>macher indépendantes<br />
• On définit une suite (ak) <strong>de</strong> réels : k 9 étant fixé, ∃!j, k ∈ 〚2j +1, 2j+1 〛.<br />
On pose alors ak := 1<br />
ln ln j .<br />
• On pose X := (akεk)k.<br />
Alors la condition EX ln + X < +∞ est vérifiée et pourtant Sn<br />
n n’est<br />
pas une quasimartingale.
4 La loi <strong>de</strong>s grands nombres <strong>de</strong> Marcinkiewicz-Zygmund<br />
4.1 Le cas scalaire<br />
Theorème 4.1 :<br />
Soit (Xk) une suite <strong>de</strong> copies indépendantes d’une variable aléatoire réelle<br />
centrée X, et p ∈]1, 2[ fixé. <strong>Les</strong> <strong>de</strong>ux propriétés suivantes sont équivalentes :<br />
1. La suite Sn<br />
n1/p 2. E|X| p < +∞<br />
converge presque sûrement vers 0.<br />
Allan Gut a précisé la vitesse <strong>de</strong> convergence en montrant le résultat suivant<br />
:<br />
Theorème 4.2 :<br />
Si Sn<br />
n1/p Sn<br />
converge presque sûrement vers 0, alors n1/p <br />
est un amart relativement<br />
à la filtration naturelle.<br />
La suite Sn<br />
n est-elle également une quasimartingale, à savoir la condition<br />
est-elle vérifiée ?<br />
<br />
n1<br />
Contre-exemple 4.3 :<br />
Soit X <strong>de</strong> loi symétrique telle que<br />
1<br />
n 1+1/pE|Sn| < +∞<br />
∀t > 0, P(|X| p > t) = 1 [0,e 2 ](t) +<br />
2 p e 2 ln 2<br />
t(ln t) p (ln ln t) 1 ]e 2 ,+∞[(t).<br />
Alors X est centrée et |X| p est intégrable, donc Sn<br />
n1/p <br />
est un amart. Cependant,<br />
on montre que ce n’est pas une quasimartingale.<br />
Pourtant il y a <strong>de</strong>s situations simples où Sn<br />
n est une quasimartingale, par<br />
exemple si E(X2 ) < +∞.
Le théorème suivant caractérise les situations où Sn<br />
n est une quasimartingale<br />
:<br />
Theorème 4.4 :<br />
Soit (Xi) une suite <strong>de</strong> copies indépendantes d’une v.a. centrée X, et p ∈<br />
]1, 2[ fixé. Alors les <strong>de</strong>ux propriétés suivantes sont équivalentes :<br />
• Sn<br />
n1/p <br />
est une quasimartingale.<br />
• +∞<br />
0 P1/p (|X| > t)dt < +∞.<br />
La proposition suivante traduit la secon<strong>de</strong> hypothèse en terme <strong>de</strong> quantiles<br />
<strong>de</strong> la v.a. |X|.<br />
Proposition 4.5 :<br />
<strong>Les</strong> <strong>de</strong>ux propriétés suivantes sont équivalentes :<br />
1. +∞<br />
0 P1/p (|X| > t)dt < +∞<br />
2. un<br />
n1+1/p < +∞<br />
n1<br />
où un désigne le quantile d’ordre 1 − 1<br />
n <strong>de</strong> X, c’est-à-dire<br />
<br />
<br />
<br />
un := inf x <br />
1<br />
<br />
P(|X| x) > 1 − = inf x <br />
1<br />
n<br />
P(|X| > x) <<br />
n<br />
<br />
.
4.2 Le cas banachique<br />
On considère à présent <strong>de</strong>s v.a. à valeurs dans un espace <strong>de</strong> Banach réel<br />
séparable (B, · ) muni <strong>de</strong> sa tribu borélienne.<br />
<strong>Les</strong> résultats du cas scalaire ont un analogue dans <strong>de</strong>s espaces <strong>de</strong> Banach<br />
suffisament réguliers.<br />
De Acosta a montré que les espaces <strong>de</strong> Banach <strong>de</strong> type p sont caractérisés<br />
par la loi forte <strong>de</strong>s grands nombres <strong>de</strong> Marcinkiewicz et Zygmund :<br />
Theorème 4.6 :<br />
Soit B un espace <strong>de</strong> Banach séparable et 1 < p < 2. Alors les <strong>de</strong>ux propriétés<br />
suivantes sont équivalentes :<br />
1. B est <strong>de</strong> type p.<br />
2. Pour toute variable aléatoire X à valeurs dans B, si (Xi) est une<br />
suite <strong>de</strong> copies indépendantes <strong>de</strong> X, les <strong>de</strong>ux propriétés suivantes sont<br />
équivalentes :<br />
• Sn<br />
n1/p <br />
converge vers 0 p.s.<br />
• EX p < +∞ et EX = 0.
Une classe d’espaces réguliers un peu plus petite que les espaces <strong>de</strong> type p<br />
est celle <strong>de</strong>s espaces <strong>de</strong> type p-stable.<br />
Définition 4.7 :<br />
Soit 0 < p 2. Une variable aléatoire réelle X est dite p-stable s’il existe<br />
σ 0 telle que la fonction caractéristique <strong>de</strong> X soit <strong>de</strong> la forme<br />
Ee itX = e − σp |t| p<br />
2 .<br />
Pour a := (ak)1kn une suite <strong>de</strong> nombres réels, on note (a∗ k ) la suite<br />
réordonnée <strong>de</strong> façon décroissante <strong>de</strong> la suite (|ak|).<br />
Pour q 1, aq,∞ := sup (k<br />
1kn<br />
1/qa∗ k ) est appelée norme ℓq-faible <strong>de</strong> a.<br />
Définition 4.8 :<br />
Soit 1 p < 2. On dit qu’un espace <strong>de</strong> Banach séparable (B, · ) est<br />
<strong>de</strong> type p-stable s’il existe une constante C telle que pour toute suite <strong>de</strong><br />
variables aléatoires p-stables (θi) et toute suite finie (xi) d’éléments <strong>de</strong> B,<br />
on ait : <br />
<br />
<br />
<br />
C xi p<br />
1/p .<br />
i<br />
θixi<br />
<br />
p,∞<br />
Remarque 4.9 :<br />
Un espace <strong>de</strong> Banach <strong>de</strong> type stable 1 < p < 2 est aussi <strong>de</strong> type p ′ –stable<br />
pour 1 p ′ p.<br />
Un espace <strong>de</strong> Banach B <strong>de</strong> type stable 1 p < 2 est aussi <strong>de</strong> type p.<br />
Réciproquement, si B est <strong>de</strong> type p > 1, il est <strong>de</strong> type p ′ –stable pour tout<br />
p ′ < p.<br />
Si B est un Banach <strong>de</strong> type stable p ∈]0, 1[, d’après un théorème <strong>de</strong><br />
Maurey–Pisier il existe q ′ > p tel que B soit <strong>de</strong> type q ′ stable.<br />
i
Theorème 4.10 :<br />
Soit B un espace <strong>de</strong> Banach <strong>de</strong> type stable p ∈]1, 2[, et X une variable<br />
aléatoire centrée à valeurs dans B. <strong>Les</strong> <strong>de</strong>ux propriétés suivantes sont<br />
équivalentes :<br />
1. Sn<br />
n1/p 2. +∞<br />
0<br />
est une quasimartingale.<br />
P 1/p (X > t)dt < +∞.<br />
Peut-on affaiblir l’hypothèse <strong>de</strong> type p-stable ?<br />
Exemple 4.11 :<br />
Soit p ∈]1, 2[.<br />
L’espace ℓp <strong>de</strong>s suites (xi) telles que |xi| p < +∞ est un espace <strong>de</strong> type<br />
p, mais qui n’est pas <strong>de</strong> type p-stable.<br />
On considère une suite (ξi) <strong>de</strong> v.a. indépendantes <strong>de</strong> loi <strong>de</strong> Pareto <strong>de</strong> paramètres<br />
(1, p), et (εi) une suite <strong>de</strong> v.a. i.i.d. <strong>de</strong> Ra<strong>de</strong>macher, indépendante<br />
<strong>de</strong> (ξi).<br />
On pose X := +∞<br />
n=2<br />
1<br />
n1/p (ln n) p+1 p−1<br />
p −<br />
2p<br />
εnξn1 {ξnn 1/p }en.<br />
Alors :<br />
• X est à valeurs dans ℓp,<br />
• X vérifie +∞<br />
0 P1/p (X > t)dt < +∞,<br />
• Sn<br />
n1/p, <br />
Fn n’est pas une quasimartingale.