Principe de grandes déviations

Le principe de grandes déviations, en théorie des probabilités, concerne le comportement asymptotique de queues de suite de loi de probabilités. Quelques premières idées de la théorie ont été données par Laplace et Cramér ; depuis, une définition formelle a été introduite en 1966 par Varadhan. La théorie des grandes déviations formalise les idées heuristiques de la concentration des mesures et généralise la notion de convergence en loi.

La théorie des grandes déviations concerne la décroissance exponentielle des mesures de probabilité de certains types d'évènements extrêmes ou de queue, lorsque le nombre d'observations est arbitrairement grand.

Exemples introductifs

Un exemple élémentaire

Soit une suite de pile ou face indépendants (non biaisés). Notons par Modèle:Mvar le résultat du i-ième lancer, où face donne Modèle:Math et pile donne Modèle:Math. Soit Modèle:Mvar, la moyenne après N lancers, c'est-à-dire

$M_N:=\frac{1}{N}\sum _{i=1}^N{X}_i$.

Ainsi Modèle:Mvar est compris entre –1 et 1. En utilisant la loi des grands nombres, on déduit que Modèle:Mvar est de plus en plus proche de 0, avec une probabilité croissante, quand Modèle:Mvar est de plus en plus grand. Donnons une explication plus précise. Pour une valeur Modèle:Math fixée, calculons la probabilité $\mathbb{P}(M_N>x)$. Définissons

$I(x)=\frac{1}{2}[(1+x)\ln (1+x)+(1-x)\ln (1-x)]$.

Alors, par l'inégalité de Chernoff, on peut montrer que $\mathbb{P}(M_N>x)<\exp (-NI(x))$. Cette borne est optimale dans le sens où Modèle:Math ne peut pas être remplacé par un nombre plus grand qui assurerait l'inégalité pour tout Modèle:Mvar strictement positif (bien que la borne exponentielle puisse toujours être réduite à un facteur sous-exponentiel près de l'ordre de Modèle:Math). La probabilité $\mathbb{P}(M_N>x)$ décroit exponentiellement rapidement quand Modèle:Mvar est grand, à une vitesse dépendant de Modèle:Mvar.

Grandes déviations pour des sommes de variables aléatoires indépendantes

Dans l'exemple ci-dessus avec des lancers de pièces, chaque lancer est indépendant des autres, et les probabilités sont les mêmes pour chaque lancer. Autrement dit, les variables aléatoires Modèle:Mvar sont i.i.d. (indépendantes et identiquement distribuées). Pour des variables i.i.d. dont la loi commune vérifie une certaine condition de croissance, la théorie des grandes déviations assure que la limite suivante existe :

$\underset{N\to \mathrm{\infty }}{\lim }\frac{1}{N}\ln \mathbb{P}(M_N>x)=-I(x)$

La fonction Modèle:Math est appelée la "fonction de taux" ou "fonction de Cramér" ou parfois "entropie". L'existence d'une telle limite donne la décroissance exponentielle mentionnée précédemment et implique que, pour Modèle:Mvar grand, $\mathbb{P}(M_N>x)$ est de la forme :

$\mathbb{P}(M_N>x)\approx \exp [-NI(x)].$

Remarquons que l'inégalité donnée dans le premier paragraphe, comparée à cette formule asymptotique, n'est plus valide dans des cas plus généraux.

Dans le cas i.i.d., si la loi de probabilité des variables Modèle:Mvar est connue, il existe une expression explicite de la fonction de taux, donnée par la transformée de Cramér définie par

$I(x)=\underset{\theta >0}{\sup }[\theta x-\lambda (\theta )],$

où la fonction Modèle:Math est appelée fonction génératrice des cumulants, donnée par

$\lambda (\theta )=\ln 𝔼[\exp (\theta X)].$

Ici, $𝔼[\cdot ]$ est l'espérance par rapport à la loi de probabilité de Modèle:Mvar et Modèle:Mvar est l'un des Modèle:Mvar. Si la loi de Modèle:Mvar est normale, la fonction de taux est une parabole.

Si la condition i.i.d. est affaiblie, en particulier si les variables Modèle:Mvar ne sont pas indépendantes mais satisfont la propriété de Markov, le résultat de grandes déviations précédent peut être généralisé.

Définition formelle

Soit Modèle:Mvar un espace polonais et $\{{\mathbb{P}}_N\}$ une suite de mesures de probabilités sur Modèle:Mvar, soit Modèle:Math une suite de nombres réels strictement positifs telle que $\underset{N}{\lim }{a}_N=+\mathrm{\infty }$, et finalement, soit $I:X\to [0,+\mathrm{\infty }]$ une fonction semi-continue inférieurement sur Modèle:Mvar. La suite $\{{\mathbb{P}}_N\}$ vérifie le principe de grandes déviations avec une vitesse Modèle:Math et un taux Modèle:Mvar, si et seulement si pour tout ensemble borélien mesurable $E\subset X$

$-\underset{x\in E^{\circ }}{\inf }I(x)\le \underset{N}{\underset{―}{\lim }}{a}_N^{-1}\ln ({\mathbb{P}}_N(E))\le \underset{N}{\bar{\lim }}{a}_N^{-1}\ln ({\mathbb{P}}_N(E))\le -\underset{x\in \overline{E}}{\inf }I(x)$

où Modèle:Mvar et Modèle:Mvar désignent respectivement l'adhérence et l'intérieur de Modèle:Mvar.

Espace de Banach

Théorème (démontré par Donsker et Varadhan en 1976)

Soient Modèle:Mvar un espace de Banach séparable, $\mathbb{P}$ une loi de probabilité sur Modèle:Mvar qui admet des moments exponentiels finis, Modèle:Math des variables aléatoires i.i.d. de loi $\mathbb{P}$ et de moyenne $M_N=\frac{1}{N}\sum _{i=1}^N{X}_i$ . Alors pour tout borélien Modèle:Mvar de Modèle:Mvar,

$-\underset{x\in E^{\circ }}{\inf }I(x)\le \underset{N}{\underset{―}{\lim }}\frac{1}{N}\ln \mathbb{P}(M_N\in E)\le \underset{N}{\bar{\lim }}\frac{1}{N}\ln \mathbb{P}(M_N\in E)\le -\underset{x\in \overline{E}}{\inf }I(x)$

où Modèle:Mvar est la transformée de Cramér de $\mathbb{P}$ (ou, ce qui revient au même, la transformée de Legendre-Fenchel de Modèle:Math) définie par

$I(x)=\underset{\theta >0}{\sup }[\theta x-\ln 𝔼[\exp (\theta X)]].$

Court historique

Les premiers résultats rigoureux concernant les grandes déviations sont dus au mathématicien suédois Harald Cramér, qui les a appliqués pour modéliser les problèmes d'assurance. Du point de vue des compagnies d'assurances, les revenus sont à taux constant par mois (les mensualités), mais les dépenses sont aléatoires. Pour que la compagnie soit bénéficiaire après une durée de plusieurs mois, la somme totale de revenus doit être supérieure aux dépenses totales. Ainsi pour estimer les mensualités, il faut se demander : Modèle:Citation Ce qui est clairement la même question posée par la théorie des grandes déviations. Cramér a donné une solution à cette question pour des variables aléatoires i.i.d avec une fonction de taux sous forme de série entière.

Les résultats cités ci-dessus ont été obtenus plus tard par Herman Chernoff ainsi que d'autres personnes, parmi lesquelles S.R.S. Varadhan (qui a obtenu pour ces travaux le prix Abel), D. Ruelle et O.E. Lanford.

Applications

Les principes des grandes déviations peuvent effectivement être appliqués pour récupérer des informations d'un modèle probabiliste. Ainsi la théorie des grandes déviations trouve des applications dans la théorie de l'information et la gestion du risque. En physique, l'application la plus connue de la théorie des grandes déviations est en thermodynamique et en mécanique statistique (en connexion avec l'entropie correspondant à la fonction de taux).

Estimer des déviations

La moyenne $M_N=\frac{1}{N}\sum _{i=1}^N{X}_i$ est appelée la moyenne empirique des variables i.i.d. Modèle:Mvar. Notons $m=𝔼[X_i]$ la vraie moyenne. Par la loi des grands nombres, pour tout Modèle:Math, on obtient

$\underset{N\to \mathrm{\infty }}{\lim }\mathbb{P}(|M_N-m|>\delta )=0$.

Ainsi l'évènement $\{|M_N-m|>\delta \}$ (noté $\{M_N\in E\}$ dans la définition formelle) décrit la déviation entre Modèle:Mvar et Modèle:Mvar.

Cas de la loi normale

Si Modèle:Mvar sont les variables aléatoires i.i.d. de loi normale centrée réduite $𝒩(0,1)$ alors Modèle:Mvar est de loi $𝒩(0,1/N)$. Ainsi

$\mathbb{P}(|M_N|>\delta )=1-\frac{1}{\sqrt{2\pi }}\underset{-\delta \sqrt{N}}{\overset{\delta \sqrt{N}}{\int }}{\mathrm{e}}^{-\frac{x^2}{2}}\mathrm{d}x.$

Les grandes déviations sont alors données par :

$\underset{N\to \mathrm{\infty }}{\lim }\frac{1}{N}\ln \mathbb{P}(|M_N|>\delta )=-\frac{{\delta }^2}{2}$.

Cela signifie que Modèle:Mvar dévie de son comportement typique en prenant de grandes valeurs avec une (faible) probabilité d'ordre de Modèle:Math.

Grandes déviations et entropie

La fonction de taux est reliée à l'entropie en mécanique statistique. Ceci peut être heuristiquement vu de la façon suivante. En mécanique statistique, l'entropie d'un état macroscopique particulier est associé au nombre d'état microscopiques qui correspondent à cet état macroscopique. Dans notre exemple de lancer de pièce, la moyenne Modèle:Mvar peut désigner un état macroscopique particulier. Et la suite de pile ou face qui donne une valeur de Modèle:Mvar constitue un état microscopique particulier le composant. Plus simplement, un état macroscopique ayant un grand nombre d'états microscopiques le composant a une grande entropie. Et un état avec une grande entropie a plus de chance d'être réalisé. L'état macroscopique de moyenne nulle (autant de pile que de face) a le plus grand nombre d'états microscopiques le composant et est l'état avec la plus grande entropie. D'un autre côté, la fonction de taux mesure la probabilité d'apparition d'un état macroscopique particulier. Plus la fonction de taux est petite, plus l'état macroscopique a de chance d'apparaitre. Dans notre pile ou face, la fonction de taux vaut 0 en 0. Dans ce cas, on peut assimiler la fonction de taux à l'opposé de l'entropie.

Note et bibliographie

Bibliographie (en anglais)

• S. R. S. Varadhan, Special invited paper: Large deviations, The Annals of Probability 2008, Vol. 36, No. 2, 397–419 DOI: 10.1214/07-AOP348
• Richard S. Ellis, Entropy, Large Deviations and Statistical Mechanics, Springer Publication. Modèle:ISBN
• Modèle:Lien et Adam Shwartz, Large Deviations for Performance Analysis, Chapman and Hall Modèle:ISBN
• Amir Dembo et Ofer Zeitouni, Large Deviations Techniques and Applications, Springer Modèle:ISBN
• Mark I. Freidlin et Alexander D. Wentzell., Random Perturbations of Dynamical Systems, Springer Modèle:ISBN

Voir également

Articles connexes

• Inégalité de Chernoff
• Principe de contraction
• Loi des grands nombres
• Théorème de Cramér

Liens externes

• Modèle:En An elementary introduction to the Large Deviations Theory
• Modèle:En Abel Prize 2007 awarded to S.R.S. Varadhan