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 (du mathématicien Harald Cramér) donne une estimation de la probabilité qu'une marche aléatoire S_n 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 $X,X_1,X_2,\dots$ des variables aléatoires indépendantes et identiquement distribuées (i.i.d). Notons $K$ la fonction génératrice des cumulants de $X$, c'est-à-dire :

$K(t)=\ln 𝔼[e^{tX}]\in ℝ\cup \{+\mathrm{\infty }\}\mathrm{\forall }t\in ℝ$.

On note également $K^{*}$ la transformée de Legendre de $K$, c'est-à-dire :

$K^{*}(x)=\underset{t\in ℝ}{\sup }\{tx-K(t)\}\mathrm{\forall }x\in ℝ$.

On dit aussi que $K^{*}$ est la transformée de Cramér de $X$. Enfin on note $S_n=X_1+\dots +X_n\mathrm{\forall }n\ge 1$. Le théorème de Cramér énonce alors la chose suivante : Modèle:ThéorèmeEn fait sous les hypothèses du théorème on a que pour tout $x\in ℝ$ :

$\frac{1}{n}\ln \mathbb{P}(S_n\ge nx)\underset{n\to \mathrm{\infty }}{\overset{}{\to }}-\underset{y\ge x}{\inf }{K}^{*}(y)=\{\begin{array}{cc}-K^{*}(x)& \text{ si }x>𝔼[X]\\ 0& \text{ sinon}\end{array}$

Cela vient du fait que la transformée de Cramér $K^{*}$ de $X$ est positive, nulle en la moyenne $x=𝔼[X]$, décroissante avant la moyenne et croissante après.

Sous les hypothèses du théorème on a que $K^{*}$ 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. Notons ${\mu }_n$ la loi de $\frac{S_n}{n}$. Modèle:ThéorèmePlus précisément, cet énoncé signifie que si $K(t)<\mathrm{\infty }$ pour tout $t\in ℝ$ alors les deux propriétés suivantes sont vérifiées :

• Pour tout ouvert $U\subset ℝ$, $\underset{n\to \mathrm{\infty }}{\mathrm{lim\; inf}}\frac{1}{n}\ln \mathbb{P}(\frac{S_n}{n}\in U)\ge -\underset{U}{\inf }{K}^{*}$.
• Pour tout fermé $F\subset ℝ$, $\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}\frac{1}{n}\ln \mathbb{P}(\frac{S_n}{n}\in F)\le -\underset{F}{\inf }{K}^{*}$.

Où l'on considère par convention que $\ln (0)=-\mathrm{\infty }$.

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 $K$. Le théorème peut donc être vrai même si $X$ n'admet pas d'espérance finie.

A noter que si $K(t)=+\mathrm{\infty }$ pour tout $t\ne 0$ alors $K^{*}\equiv 0$. Dans ce cas l'inégalité de la limite supérieure pour tout fermé est triviale.

Sans l'hypothèse de finitude, $K^{*}$ 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 $X,X_1,X_2,\dots$ sont i.i.d à valeurs dans ${ℝ}^d$ et non plus dans $ℝ$ comme précédemment. Dans ce cas il faut généraliser la définition de $K$. Plus précisément on considère

$K(t)=\ln 𝔼[e^{⟨t,X⟩}]\in ℝ\cup \{+\mathrm{\infty }\}\mathrm{\forall }t\in {ℝ}^d$

ainsi que

$K^{*}(x)=\underset{t\in {ℝ}^d}{\sup }\{⟨t,x⟩-K(t)\}\mathrm{\forall }x\in {ℝ}^d$

où $⟨\cdot ,\cdot ⟩$ désigne le produit scalaire canonique sur ${ℝ}^d$. Dans ce cadre plus général la fonction $K^{*}$ est appelée la transformée de Legendre-Fenchel de $K$. Notons enfin $D_K$ l'ensemble des points $t\in {ℝ}^d$ où $K$ est fini et $D_K^{\mathrm{o}}$ son intérieur. On a alors le théorème suivant Modèle:Théorème Sous ces hypothèses la fonction $K^{*}$ est une bonne fonction de taux convexe.

Même sans l'hypothèse du théorème, à savoir $0\in D_K^{\mathrm{o}}$, il est toujours vrai que pour tout $U\subset {ℝ}^d$ ouvert convexe :

$\frac{1}{n}\ln \mathbb{P}(\frac{S_n}{n}\in U)\underset{n\to \mathrm{\infty }}{\overset{}{\to }}-\underset{U}{\inf }{K}^{*}$.

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. En fait le théorème de Gärtner-Ellis s'inscrit dans le cadre d'une suite de variables aléatoires $(S_n{)}_{n\ge 1}$ à valeurs dans ${ℝ}^d$ qui ne s'interprète pas forcément comme une marche aléatoire.

Voir aussi

• Principe de grandes déviations