- Théorème de Donsker
-
En Théorie des probabilités, le Théorème de Donsker établie la convergence en loi d'une marche aléatoire vers un Processus stochastique gaussien. Il est parfois appelé le théorème central limite fonctionnel.
Ce théorème est une référence pour la convergence en loi de marches aléatoires renormalisées vers un processus à temps continus. De nombreux théorèmes sont alors dits de "type Donsker".
Sommaire
Énoncé classique
Soient
une suite iid de variables aléatoires centrées, de carré intégrable et de variance
.
On interpole la Marche aléatoire
de manière affine par morceaux en considérant le processus
défini par
pour t ∈ [0,1] et où [x] désigne la partie entière de x.
Considérons l'espace
des fonctions à valeurs réelles et continues sur [0,1]. On munit
de la Tribu borélienne
et de la norme infinie
. Ainsi,
est une variable aléatoire à valeurs dans
.
Théorème (Donsker, 1951)
La suite
converge en loi vers un mouvement brownien standard
quand n tend vers l'infini.
Ici B est vu comme un élément aléatoire de
.
Idées de la démonstration
Notons
En utilisant l'Inégalité de Bienaymé-Tchebychev, on montre que
convergence en probabilité vers 0.
Ainsi par le Théorème central limite,
(converge en loi) où N est une variable aléatoire de Loi normale
.
De manière similaire, on obtient successivement
où B est un mouvement brownien standard.
Reste à montrer que la suite
est tendue. Pour cela, on montre que
On démontre d'abord cette convergence pour le cas où les variables
sont normales. Pour généraliser à une loi quelconque, on utilise le théorème central limite et l'Inégalité de Bienaymé-Tchebychev pour affiner les majorations. (voir [1] pour plus détails)
Énoncé pour les processus empiriques
Soit
une suite iid de variables aléatoires de loi uniforme sur [0,1]. On note F la Fonction de répartition commune des variables
. (
) On définit la fonction de répartition empirique Fn de l'échantillon X1,X2,...,Xn par
ainsi que le processus empirique associé Wn par
.
Considérons l'espace
des fonctions càdlàg (continues à droite et avec limites à gauche) sur [0,1] muni de la topologie de Skorokhod.
Théorème (Donsker, 1952)(conjecture de Doob, 1949)
La suite de processus
converge en loi dans l'espace
vers un pont brownien
quand n tend vers l'infini.
Voir également
Références
- (en) P. Billingsley, Convergence of Probability measures, [publication], août 1999, 2èmee éd. (ISBN 978-0-471-19745-4)
- M.D. Donsker, « Justification and extension of Doob's heuristic approach to the Kolmogorov–Smirnov theorems », dans Annals of Mathematical Statistics, vol. 23, 1952, p. 277–281 [lien DOI]
- (en) R.M. Dudley, Uniform Central Limit Theorems, Cambridge, Cambridge University Press, 1999 (ISBN 978-0-521-46102-3)
- Portail des probabilités et des statistiques
Wikimedia Foundation. 2010.