28.06.2013 Views

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

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!