Théorème de Cramér

En mathématiques et plus particulièrement en théorie des probabilités, le théorème de Cramér[1] (du mathématicien Harald Cramér) donne une estimation de la probabilité qu'une marche aléatoire Sn dépasse des valeurs de l'ordre de n.

Ce théorème est un exemple du principe de grandes déviations appliqué à des sommes i.i.d de variables aléatoires.

Enoncés

Enoncé simple

Soit des variables aléatoires indépendantes et identiquement distribuées (i.i.d). Notons la fonction génératrice des cumulants de , c'est-à-dire :

.

On note également la transformée de Legendre de , c'est-à-dire :

.

On dit aussi que est la transformée de Cramér de . Enfin on note . Le théorème de Cramér énonce alors la chose suivante[2] :

Théorème de Cramér (1938)  Si pour tout alors pour tout on a

.

En fait sous les hypothèses du théorème on a que pour tout  :

Cela vient du fait que la transformée de Cramér de est positive, nulle en la moyenne , décroissante avant la moyenne et croissante après.

Sous les hypothèses du théorème on a que est une bonne fonction de taux convexe.

Enoncé en termes de principe de grandes déviations

Le théorème de Cramér peut s'énoncer dans le cadre plus général du principe de grandes déviations[2]. Notons la loi de .

Théorème  Si pour tout alors satisfait un principe de grande déviation avec pour taux la fonction .

Plus précisément, cet énoncé signifie que si pour tout alors les deux propriétés suivantes sont vérifiées :

  • Pour tout ouvert , .
  • Pour tout fermé , .

Où l'on considère par convention que .

Généralisations

Affaiblissement des conditions de finitude

Le théorème de Cramér (son énoncé simple ainsi que son énoncé en termes de principe de grandes déviations) reste vrai même en retirant la condition de finitude sur la fonction génératrice des cumulants [3]. Le théorème peut donc être vrai même si n'admet pas d'espérance finie.

A noter que si pour tout alors . Dans ce cas l'inégalité de la limite supérieure pour tout fermé est triviale.

Sans l'hypothèse de finitude, n'est plus qu'une fonction de taux convexe (elle n'est plus forcément bonne).

Pour des variables à valeurs dans un espace vectoriel de dimension finie

Il est possible de généraliser le théorème de Cramér lorsque sont i.i.d à valeurs dans et non plus dans comme précédemment. Dans ce cas il faut généraliser la définition de . Plus précisément on considère

ainsi que

désigne le produit scalaire canonique sur . Dans ce cadre plus général la fonction est appelée la transformée de Legendre-Fenchel de . Notons enfin l'ensemble des points est fini et son intérieur. On a alors le théorème suivant[3]

Théorème  Si alors satisfait un principe de grande déviation avec pour taux la fonction .

Sous ces hypothèses la fonction est une bonne fonction de taux convexe.

Même sans l'hypothèse du théorème, à savoir , il est toujours vrai que pour tout ouvert convexe :

.

Pour des variables dépendantes

Le théorème de Gärtner-Ellis permet de généraliser les résultats pour des variables dépendantes vérifiant certaines hypothèses[3]. En fait le théorème de Gärtner-Ellis s'inscrit dans le cadre d'une suite de variables aléatoires à valeurs dans qui ne s'interprète pas forcément comme une marche aléatoire.

Références

  1. H Cramér, « Sur un nouveau théorème-limite de la théorie des probabilités », Actual Sci Ind. Colloque consacré à la théorie des probabilités, vol. 763, , p. 5-23
  2. (en) Achim Klenke, Probability Theory—A Comprehensive Course, London, Springer, (ISBN 978-1-84800-047-6, DOI 10.1007/978-1-84800-048-3), p. 521
  3. (en) A Dembo et O Zeitouni, Large deviations techniques and applications, vol. 38, New York, Springer, coll. « Applications of mathematics », 2e éd. (lire en ligne)

Voir aussi

  • Portail des probabilités et de la statistique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.