Normalité asymptotique locale

La normalité asymptotique locale, souvent abrégé en NAL ou LAN (de l'Anglais Local Asymptotic Normality) est une propriété de certains modèles statistiques. Informellement, un modèle statistique localement asymptotiquement normal a un rapport de vraisemblance dont la distribution peut être approximée par une loi normale sous certaines conditions, cette approximation découlant typiquement d'un développement limité d'ordre deux de la log-vraisemblance. Cette notion a été introduite par le mathématicien Lucien Le Cam, elle est exposée dans un article publié en 1960 coécrit avec Grace Lo Yang.

Définition informelle

Considérons un modèle statistique générant $n$ données, dénotées par un vecteur $X_n$ de taille $n$, et dépendant d'un paramètre $\theta$. Notons ${\ell }_n$ la fonction de log-vraisemblance de ce modèle. Considérons deux valeurs du paramètre : ${\theta }_0$ et ${\theta }^{\prime }$. Supposons que les données $X_n$ soient générées par ce modèle avec ${\theta }_0$ comme valeur de paramètre, et définissons la variables aléatoire $\delta {\ell }_{{\theta }^{\prime },{\theta }_0}(X_n)={\ell }_n(X_n,{\theta }^{\prime })-{\ell }_n(X_n,\theta )$, correspondant à la différence des log-vraisemblances évaluées en ${\theta }^{\prime }$ et en $\theta$.

Si le modèle considéré est asymptotiquement localement normal en ${\theta }_0$, alors la loi de la variable aléatoire $\delta {\ell }_{{\theta }^{\prime },{\theta }_0}(X_n)$ peut être approximée par une loi normale. Cette approximation est valable pour $n$ grand (d'où le asymptotiquement) et pour tout ${\theta }^{\prime }$ proche de ${\theta }_0$ (d'où le localement).

La condition $n$ grand est rendue rigoureuse en utilisant la notion de convergence en loi. La condition et ${\theta }^{\prime }$ proche de ${\theta }_0$ est quant à elle traduite par le fait que et ${\theta }^{\prime }$ est de la forme ${\theta }_0+r_{n}h$ avec $r_n$une suite de constantes tendant vers 0 (par exemple $r_n=1/\sqrt{n}$ dans le cas de données indépendantes et identiquement distribuées), de sorte que plus $n$ est grand, plus ${\theta }^{\prime }$ est proche de ${\theta }_0$.

La variable aléatoire $\delta {\ell }_{{\theta }^{\prime },{\theta }_0}(X_n)$ est la statistique utilisée pour faire un test du rapport de vraisemblance. Elle souvent abusivement appelée rapport de vraisemblance même s'il s'agit en réalité du logarithme du rapport de vraisemblance.

Cas de données indépendantes et identiquement distribuées

Définition de la normalité asymptotique locale

Soit $n$ variables aléatoires $X_1,\cdots ,X_n$indépendantes et identiquement distribuées (iid) selon une distribution $P_{\theta }$, dépendant d'un paramètre $\theta \in {ℝ}^k$. Notons sa fonction de vraisemblance $p_{\theta }(X)$. La log-vraisemblance $\ell (\theta ;X_1,\cdots ,X_n)$ de l'échantillon aléatoire $X_1,\cdots ,X_n$ s'écrit comme la somme des log-vraisemblances de chaque observation, $\ell (\theta ;X_1\cdots ,X_n)=\sum _{i=1}^n\log (p_{\theta }(X_i))$, car les données sont iid.

Appelons $P_{\theta }^n$ le modèle statistique générant ces $n$ variables aléatoires. $P_{\theta }^n$ est localement asymptotiquement normal si lorsque $X_1,\cdots ,X_n$ est distribué selon $P_{\theta }^n$,

$\mathrm{\forall }h\in {ℝ}^k$ , $\ell (\theta +h/\sqrt{n};X_1,\cdots ,X_n)-\ell (\theta ;X_1,\cdots ,X_n)\stackrel{ℒ}{\to }𝒩(-\frac{1}{2}{h}^T{I}_{\theta }h;h^T{I}_{\theta }h)$,

où $\stackrel{ℒ}{\to }$ désigne la converge en loi et $𝒩(-\frac{1}{2}{h}^T{I}_{\theta }h;h^T{I}_{\theta }h)$ désigne une loi normale d'espérance $h^T{I}_{\theta }$ et de variance $h^T{I}_{\theta }h$. La matrice $I_{\theta }$ est l'information de Fisher du modèle, définie comme $I_{\theta }=-{𝔼}_{\theta }\left[\frac{{\partial }^2\log (p_{\theta }(X))}{\partial {\theta }^2}\right]$.

Distribution, pour différentes tailles d'échantillon $n$, du log-rapport de vraisemblance évalué en $\theta =1$ et $\theta =1+1/\sqrt{n}$, lorsque les données sont générées par loi exponentielle d'intensité $\theta =1$. Le log-rapport de vraisemblanceconverge en loi vers une loi normale $𝒩(-1/2,1)$ (en pointillés) car la loi exponentielle est localement asymptotiquement normale.

Établissement non rigoureux de la normalité asymptotique locale

Donnons ici l'intuition, informelle, de la normalité asymptotique locale dans le cas de données iid. Plaçons nous dans le cas $k=1$ (c'est-à-dire $\theta$ univarié) et effectuons un développement de Taylor de la log-vraisemblance en $\theta$

$\begin{array}{ccc}\ell (\theta +h/\sqrt{n};X_1,\cdots ,X_n)& =& \sum _{i=1}^n\log (p_{\theta +h\sqrt{n}}(X_i))\\ & \approx & \sum _{i=1}^n\log (p_{\theta }(X_i))+\frac{h}{\sqrt{n}}\frac{\partial }{\partial \theta }\log (p_{\theta }(X_i))+\frac{h^2}{2n}\frac{{\partial }^2}{\partial {\theta }^2}\log (p_{\theta }(X_i))\\ & =& \ell (\theta ;X_1,\cdots ,X_n)+h\frac{1}{\sqrt{n}}\sum _{i=1}^n\frac{\partial }{\partial \theta }\log (p_{\theta }(X_i))-\frac{h^2}{2}\frac{1}{n}\sum _{i=1}^n-\frac{{\partial }^2}{\partial {\theta }^2}\log (p_{\theta }(X_i)).\end{array}$

De sorte que

$l(\theta +h/\sqrt{n};X_1,\dots X_n)-l(\theta ;X_1,\dots X_n)\approx h\frac{1}{\sqrt{n}}\sum _{i=1}^n\frac{\partial }{\partial \theta }\log (p_{\theta }(X_i))-\frac{h^2}{2}\frac{1}{n}\sum _{i=1}^n-\frac{{\partial }^2}{\partial {\theta }^2}\log (p_{\theta }(X_i)).$

Comme $X_1,\dots ,X_n$ sont iid, le premier terme de cette différence , $\frac{1}{\sqrt{n}}\sum _{i=1}^n\frac{\partial }{\partial \theta }\log (p_{\theta }(X_i))$ est une somme de variables aléatoires iid, $\frac{\partial }{\partial \theta }\log (p_{\theta }(X_1)),\dots ,\frac{\partial }{\partial \theta }\log (p_{\theta }(X_n))$, divisée par $\sqrt{n}$. Ces variables ont pour espérance $𝔼[\frac{\partial }{\partial \theta }\log (p_{\theta }(X_i))]=0$ (d'après la première identité de Bartlett) et pour variance $\mathrm{v}\mathrm{a}\mathrm{r}(\frac{\partial }{\partial \theta }\log (p_{\theta }(X)))=I_{\theta }$ (d'après la seconde identité de Bartlett), où comme précédemment, $I_{\theta }$ désigne l'information de Fisher. Le théorème central limite implique alors que $\frac{1}{\sqrt{n}}\sum _{i=1}^n\frac{\partial }{\partial \theta }\log (p_{\theta }(X_i))$ converge en distribution vers une loi normale d'espérance nulle et de variance $I_{\theta }$:

$\frac{1}{\sqrt{n}}\sum _{i=1}^n\frac{\partial }{\partial \theta }\log (p_{\theta }(X_i))\stackrel{ℒ}{\to }𝒩(0,I_{\theta })$ .

Comme $X_1,\dots ,X_n$ sont iid, second terme du développement de Taylor, $\frac{1}{n}\sum _{i=1}^n-\frac{{\partial }^2}{\partial {\theta }^2}\log (p_{\theta }(X_i))$, est aussi une somme de variables aléatoires iid, divisée par $n$. Ces variables aléatoires ont pour espérance ${𝔼}_{\theta }[-\frac{{\partial }^2\log (p_{\theta }(X))}{\partial {\theta }^2}]=I_{\theta }$. La loi des grands nombres implique donc que ce terme converge en probabilité vers $I_{\theta }$:

$\frac{1}{n}\sum _{i=1}^n-\frac{{\partial }^2}{\partial {\theta }^2}\log (p_{\theta }(X_i))\stackrel{\mathbb{P}}{\to }{I}_{\theta }$

On a donc asymptotiquement $\ell (\theta +h/\sqrt{n};X_1,\cdots ,X_n)-\ell (\theta ;X_1,\cdots ,X_n)\approx hZ-\frac{h^2}{2}{I}_{\theta }$ où $Z$ est une variable aléatoire normale d'espérance nulle et de variance $I_{\theta }$, ce qui implique que, asymptotiquement, $\ell (\theta +h/\sqrt{n};X_1,\cdots ,X_n)-\ell (\theta ;X_1,\cdots ,X_n)$ suit approximativement une loi normale d'espérance $\frac{h^2}{2}{I}_{\theta }$ et de variance $h^2{I}_{\theta }$.

Si le développement précédent avait été fait plus rigoureusement et qu'une convergence en loi avait été établie au lieu du "suit approximativement" de la phrase précédente, cela correspondrait à la définition de la normalité asymptotique locale.

Ce développement, fait sans rigueur dans le but de donner une intuition de la normalité asymptotique locale, peut être rendu rigoureux si le modèle $P_{\theta }$ satisfait certaines conditions. Il faut en particulier, pour que les formules écrites ci-dessus aient du sens, que sa log-vraisemblance soit deux fois dérivable, et que ces dérivées aient des moments finis, mais ces conditions seules ne sont pas suffisantes. Une condition suffisante (mais pas nécessaire) est la différentiabilité en moyenne quadratique.

Différentiabilité en moyenne quadratique

Si le modèle statistique $P_{\theta }$ est différentiable en moyenne quadratique, alors, le modèle $P_{\theta }^n$, générant $n$ variables aléatoires iid selon $P_{\theta }$ est localement asymptotiquement normal.

Un modèle est différentiable en moyenne quadratique en $\theta$ s'il existe $\dot{\ell }(\theta )\in {ℝ}^k$ tel que pour tout $h$, $\int {(\sqrt{p_{\theta }+h}-\sqrt{p_{\theta }}-\frac{1}{2}{h}^T\dot{\ell }(\theta )\sqrt{p_{\theta }})}^2=o(\Vert h{\Vert }^2)$ où $p_{\theta }$ est la vraisemblance du modèle $P_{\theta }$ et l'intégrale est prise sur le support de $p_{\theta }$et le $o$ désigne la notation de Landau au voisinage de 0.

Beaucoup de modèles classiques (par exemple le modèle normal, exponentiel, Poisson) sont différentiables en moyenne quadratique, et le vecteur $\dot{\ell }(\theta )$ correspond à la dérivée de la log-vraisemblance. Une exception notable est la loi uniforme sur un intervalle $[0,\theta ]$ qui n'est pas différentiable en moyenne quadratique, et n'est d'ailleurs pas non plus localement asymptotiquement normal.

Définition générale

La définition ci-dessous donne une notion de la normalité asymptotique locale plus générale, qui ne s'applique pas qu'à des variables aléatoires iid.

Une suite $P_{\theta }^n$ de modèles statistiques de paramètre $\theta \in {ℝ}^k$ est localement asymptotiquement normale s'il existe :

• une suite de matrices carrées inversibles $r_n\in {ℳ}_k(ℝ)$,
• une matrice carrée $I_{\theta }\in {ℳ}_k(ℝ)$,
• une suite de vecteurs aléatoires ${\mathrm{\Delta }}_{n,\theta }$ telle que ${\mathrm{\Delta }}_{n,\theta }\stackrel{ℒ}{\to }𝒩(0,I_{\theta })$,

tels que pour toute suite $h_n$ de ${ℝ}^k$ convergeant vers $h\in {ℝ}^k$, on ait

$\log [\frac{\mathrm{d}{P}_{\theta +r_n^{-1}{h}_n}^n}{\mathrm{d}{P}_{\theta }^n}(X_1,\dots ,X_n)]=h^T{\mathrm{\Delta }}_{n,\theta }-\frac{1}{2}{h}^T{I}_{\theta }h+o_P(1)$

lorsque $X_1,\dots ,X_n$ sont générés par $P_{\theta }^n$.

Ici, la notation $\frac{\mathrm{d}{P}_{\theta +r_n^{-1}{h}_n}^n}{\mathrm{d}{P}_{\theta }^n}$ désigne la dérivée de Radon-Nykodym de la mesure de probabilité du modèle $P_{\theta +r_n^{-1}{h}_n}^n$par rapport à la mesure du modèle $P_{\theta }^n$. Le modèle $P_{\theta +r_n^{-1}{h}_n}^n$ correspond au modèle $P_{\theta }^n$ à la différence que le paramètre $\theta$ est changé en $\theta +r_n^{-1}{h}_n$, la suite $r_n$ étant typiquement de norme tendant vers l'infini. En pratique, $\frac{\mathrm{d}{P}_{\theta +r_n^{-1}{h}_n}^n}{\mathrm{d}{P}_{\theta }^n}$ correspond au rapport de la vraisemblance du modèle évaluée en $\theta +r_n^{-1}{h}_n$ sur la vraisemblance du modèle évaluée en $\theta$.

La notation $o_P(1)$ désigne ici une variable aléatoire tendant vers 0 en probabilités. Même si cela n'est pas rendu explicite, il faut noter que ce terme $o_P(1)$ peut dépendre de $\theta$, de sorte que la convergence n'est pas uniforme par rapport à $\theta$.

Comme le vecteur $h^T{\mathrm{\Delta }}_{n,\theta }-\frac{1}{2}{h}^T{I}_{\theta }h$ suit une loi normale d'espérance $-\frac{1}{2}{h}^T{I}_{\theta }h$ et de variance $h^T{I}_{\theta }h$, cette définition s'interprète souvent comme imposant que le log du rapport de vraisemblance suive asymptotiquement une loi normale $𝒩(-\frac{1}{2}{h}^T{I}_{\theta }h,h^T{I}_{\theta }h)$ d'espérance $-\frac{1}{2}{h}^T{I}_{\theta }h$ et de variance $h^T{I}_{\theta }h$.

Dans le cas de données iid, $I_{\theta }$ correspond à l'information de Fisher et la suite de matrice $r_n$ est simplement $r_n=\sqrt{n}{I}_k$ où $I_k$est la matrice identité de ${ℝ}^k$.

Lien avec la contiguïté

En reprenant les notations précédentes, la normalité asymptotique locale d'un modèle statistique $P_{\theta }$ implique la contiguïté mutuelle des mesures $P_{\theta }$ et $P_{\theta +r_n^{-1}{h}_n}$ (ou $P_{\theta +h/\sqrt{n}}$ dans le cas d'un modèle iid).Modèle:ThéorèmeLa preuve de ce résultat découle du premier lemme de Le Cam. Modèle:Démonstration

Application

Une application de la normalité asymptotique locale découle d'un corollaire du 3ème lemme de Le Cam. Ce corollaire permet de connaître la distribution asymptotique d'une statistique $T(X^n)$ si les variables aléatoires $X^n$ sont générées par un modèle statistique dont le paramètre n'est pas fixe, mais converge vers une valeur fixe $\theta$. On parle de connaître la distribution asymptotique de $T(X^n)$ sous une suite d'alternatives, ou encore de changement de mesure.

Ce corollaire stipule que si

• $T(X^n)$ est une statistique à valeurs dans ${ℝ}^p$,
• $P_n$ et $Q_n$ sont deux suites de mesures (ou modèles statistiques), telles que le vecteur $(T(X^n),\log \frac{\mathrm{d}{Q}_n}{\mathrm{d}{P}_n})\stackrel{ℒ}{\to }𝒩(\left(\begin{array}{c}\mu \\ -{\sigma }^2/2\end{array}\right),\left(\begin{array}{cc}\mathrm{\Sigma }& \tau \\ {\tau }^T& {\sigma }^2\end{array}\right))$ pour $\mu ,\tau ,\sigma \in ℝ\times ℝ\times {ℝ}_{+}$, lorsque les $X^n$ sont générés par $P_n$,

alors, la statistique $T(X^n)\stackrel{ℒ}{\to }𝒩(\mu +\tau ,\mathrm{\Sigma })$ lorsque les $X^n$ sont générés par $Q_n$.

Choisir $P_n=P_{\theta }^n$ et $Q_n=P_{\theta +h/\sqrt{n}}^n$ avec un modèle $P_{\theta }^n$ localement asymptotiquement permet généralement de satisfaire les hypothèses du corollaire. Cela permet alors de connaitre la distribution de $T(X^n)$ lorsque le paramètre qui génère les données $X^n$ n'est pas $\theta$ mais $\theta +h/\sqrt{n}$.

La normalité asymptotique de $P_{\theta }^n$ n'implique pas directement que les hypothèses du 3ème lemme de Le Cam soient satisfaites, mais elle y aide. En effet, la normalité asymptotique locale implique que $\log \frac{\mathrm{d}{P}_{\theta +h/\sqrt{n}}^n}{\mathrm{d}{P}_{\theta }^n}$ converge en loi vers une distribution normale $𝒩(-{\sigma }^2/2,{\sigma }^2)$, avec ${\sigma }^2=h^T{I}_{\theta }h$.

Il est par ailleurs assez classique pour une statistique $T(X^n)$ d'avoir une distribution asymptotique de la forme $𝒩(\mu ,\mathrm{\Sigma })$. Il ne reste alors généralement qu'à montrer que le vecteur $(T(X^n),\log \frac{\mathrm{d}{P}_{\theta +h/\sqrt{n}}^n}{\mathrm{d}{P}_{\theta }^n})$ est un vecteur gaussien (car deux vecteurs gaussiens ne forment pas nécessairement un vecteur gaussien lorsqu'ils sont concaténés), ce qui est généralement faisable.

Voir aussi

• Contiguïté
• Différentiabilité en moyenne quadratique
• Rapport de vraisemblance
• Lucien Le Cam