Inégalité de Le Cam

Restez toujours informé : suivez-nous sur Google (☆)

Introduction

L'inégalité de Le Cam, due à Lucien Le Cam, précise la rapidité de convergence de la loi de la somme d'un grand nombre de variables de Bernoulli indépendantes de petit paramètre vers la loi de Poisson. Sa démonstration, élégante et peu calculatoire, illustre la méthode de couplage popularisée par Wolfgang Döblin.

Énoncé

Soit $\scriptstyle\ (X_{1,n}, X_{2,n},\dots, X_{a_n,n})_{n\ge 1}\$ un tableau de variables aléatoires de Bernoulli indépendantes, avec paramètres respectifs $\scriptstyle\ p_{k,n}.\$ On note

S_n=\sum_{k=1}^{a_n}\,X_{k,n}\quad\text{et}\quad\lambda_n\ =\ \mathbb{E}[S_n]=\sum_{k=1}^{a_n}\,p_{k,n}.\

Alors

Inégalité de Le Cam — Pour tout ensemble A d'entiers naturels,

P (S_{n} \in A) - ℓ \in A \sum \frac{λ _{n}^{ℓ} e ^{- λ_{n}}}{ℓ !} \leq k = 1 \sum a_{n} p_{k, n}^{2} .

En particulier, S_n suit approximativement la loi de Poisson de paramètre λ dès que les deux conditions suivantes sont réunies :

$\lim_n \lambda_n\,=\,\lambda>0,\$
$\lim_n \sum_{k=1}^{a_n}\,p_{k,n}^2\,=\,0.\$

En conséquence,

Conséquence : paradigme de Poisson

Posons

M_{n} = 1 \leq k \leq a_{n} max p_{k, n} .

On a les inégalités :

M_{n}^{2} \leq 1 \leq k \leq a_{n} \sum p_{k, n}^{2} \leq M_{n} λ_{n}, et a_{n} \geq λ_{n} / M_{n},

donc les deux conditions ci-dessus entrainent que

$\lim_n M_n\,=\,0,\$
$\lim_n a_n\,=\,+\infty.\$

Conséquence : paradigme de Poisson — La somme S_n d'un grand nombre de variables de Bernoulli indépendantes de petit paramètre suit approximativement la loi de Poisson de paramètre $\scriptstyle\ \mathbb{E}[S_n]. \$

Remarques

Cette propriété peut rester vraie si l'on relaxe l'hypothèse d'indépendance, comme on le voit dans le cas du nombre de points fixes d'une permutation tirée au hasard. Le paradigme de Poisson a été généralisé dans de nombreuses directions.
Le cas particulier a_n=n, λ_n=λ/n de l'inégalité de Le Cam précise la rapidité de convergence de la loi binomiale de paramètres n et λ/n vers la loi de Poisson de paramètre λ.

Démonstration

Couplage loi de Bernoulli-loi de Poisson

L'idée est d'exhiber une loi de probabilité μ_p, sur le plan, dont la première marginale est une loi de Bernoulli, la seconde une loi de Poisson, toutes deux d'espérance p, telle que le poids de la première bissectrice soit maximal. En d'autres termes, il s'agit de construire, sur un espace probabilisé bien choisi, deux variables aléatoires réelles X et Y, X suivant la loi de Bernoulli de paramètre p, Y suivant la loi de Poisson de paramètre p, de sorte que $\scriptstyle\ \mathbb{P}(X\neq Y)\$ soit minimal, ou, du moins, suffisamment petit, μ_p étant alors la loi jointe du couple (X,Y). Il est clair que

P (X = Y = k) \leq min (P (X = k), P (Y = k)),

donc que

P (X = Y) \leq k \sum min (P (X = k), P (Y = k)) .

Dans le cas Poisson-Bernoulli, cette borne est atteinte en utilisant le théorème de la réciproque, de manière à construire X et Y sur l'intervalle ]0,1[ muni de la mesure de Lebesgue. Ainsi

X (ω) = 1 1_{[1 - p, 1 [} (ω),

alors que

Y (ω) = 1 1_{[e^{- p}, (1 + p) e^{- p} [} (ω) + 21 1_{[(1 + p) e^{- p}, (1 + p + (p^{2} /2)) e^{- p} [} (ω) + \dots,

En ce cas, X et Y coincident sur les intervalles :

]0,1-p[, où les 2 variables valent 0,
et [e,(1+p)e[, où les 2 variables valent 1.

Les deux variables diffèrent sur le complémentaire de la réunion de ces deux intervalles, i.e. sur [1-p,1[ \ [e,(1+p)e[. Ainsi,

P (X = Y) = k \sum min (P (X = k), P (Y = k)) = min (1 - p, e^{- p}) + min (p, p e^{- p}) = 1 - p + p e^{- p},

μ_{p} ({(x, y) ∣ x \neq = y}) = P (X \neq = Y) = p (1 - e^{- p}) \leq p^{2} .

Conclusion

On se donne une suite de variables aléatoires indépendantes $\scriptstyle\ (Z_{k,n})_{1\le k\le n},\$ à valeurs dans le plan, telle que la loi de probabilité de chaque terme $\scriptstyle\ Z_{k,n}\$ de la suite est $\scriptstyle\ \mu_{p_{k,n}}.\$ On note $\scriptstyle\ X_{k,n}\$ et $\scriptstyle\ Y_{k,n}\$ les deux coordonnées de $\scriptstyle\ Z_{k,n},\$ et on pose

W_{n} = k = 1 \sum a_{n} Y_{k, n} .

Ainsi :

les $\scriptstyle\ X_{k,n}\$ sont indépendantes et suivent des lois de Bernoulli de paramètres $p_{k, n};$
leur somme S_n a donc la loi que nous voulons étudier ;
les $\scriptstyle\ Y_{k,n}\$ sont indépendantes et suivent des lois de Poisson de paramètres $p_{k, n};$
W_n suit la loi de Poisson de paramètre $\scriptstyle\ \lambda_n\ =\ \sum_{k=1}^{a_n}\,p_{k,n},\$ étant la somme de variables de Poisson indépendantes de paramètres $p_{k, n};$
en particulier, l'approximation proposée pour $\scriptstyle\ \mathbb{P}\left(S_n\in A\right)\$ se trouve être :

P (W_{n} \in A) = ℓ \in A \sum \frac{λ _{n}^{ℓ} e ^{- λ_{n}}}{ℓ !};

$P (X_{k, n} \neq = Y_{k, n}) \leq p_{k, n}^{2} .$

On a

P (S_{n} \in A) - P (W_{n} \in A) \leq P (S_{n} \in A) - P (W_{n} \in A et S_{n} \in A) = P (S_{n} \in A et W_{n} \in / A) \leq P (S_{n} \neq = W_{n})

et, en échangeant le rôle de W_n et celui de S_n ,

∣ P (S_{n} \in A) - P (W_{n} \in A) ∣ \leq P (S_{n} \neq = W_{n}) .

Par ailleurs, comme

{S_{n} \neq = W_{n}} \Rightarrow {\exists k tel que X_{k, n} \neq = Y_{k, n}},

on en déduit que

{ω \in Ω ∣ S_{n} (ω) \neq = W_{n} (ω)} \subset 1 \leq k \leq a_{n} ⋃ {ω \in Ω ∣ X_{k, n} (ω) \neq = Y_{k, n} (ω)},

Finalement

P (S_{n} \neq = W_{n}) \leq 1 \leq k \leq a_{n} \sum P (X_{k, n} \neq = Y_{k, n}) \leq 1 \leq k \leq a_{n} \sum p_{k, n}^{2} .