Variance à calculer en ambiance gaussienne
Soient $X_1,\ldots,X_n,\ldots$ indépendantes et de même loi gaussienne $N(0,1).$ Soit
$$A_n=\frac{1}{n}(X_1^2+\cdots+X_n^2), \quad B_n=\frac{1}{n}(X_1^4+\cdots+X_n^4).$$
Il est clair que $Q_n=B_n/A_n^2$ converge presque sûrement vers 3, mais quelle est la variance de $Q_n$ ?Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Appliquons cela à $Y_i=X_i^2$ qui est une loi du chideux, autrement dit une loi gamma avec $b=2$ et $a_i=1/2.$ Et donc si $U_i=nX_i^2/A_n,$ alors $$Q_n=n(U_1^2+\cdots+U_n^2),$$ alors que $(U_1,\ldots,U_n)\sim \mathcal{D}(1/2,\ldots,1/2).$ D'après (**) on a $$(U_1,U_2+\cdots+U_n)\sim \mathcal{D}(1/2,(n-1)/2),\ (U_1,U_2, U_3+\cdots+U_n)\sim \mathcal{D}(1/2,1/2,(n-2)/2.\qquad (***).$$ On calcule donc $$\mathbb{E}(Q_n)=n^2\mathbb{E}(U_1^2)=n^2\frac{B(2+\frac{1}{2}, \frac{n-1}{2})}{B(\frac{1}{2},\frac{n-1}{2})}=\frac{3n}{n+2}.$$
Le calcul de $\mathbb{E}(Q_n^2)$ est plus compliqué, il exige les calculs de $\mathbb{E}(U_1^4)$ et de $\mathbb{E}(U_1^2U_2^2)$, toujours en utilisant (***) $$\mathbb{E}(U_1^4)=\frac{B(4+\frac{1}{2}, \frac{n-1}{2})}{B(\frac{1}{2},\frac{n-1}{2})}=\frac{\Gamma(4+\frac{1}{2})}{\Gamma(\frac{1}{2})}\times \frac{\Gamma(4+\frac{n-1}{2})}{\Gamma(\frac{n-1}{2})}=\frac{7\times 5\times 3}{(n+6)(n+4)(n+2)n}$$ $$\mathbb{E}(U_1^2U_2^2)=\frac{B(2+\frac{1}{2}, 2+\frac{1}{2}, \frac{n-2}{2})}{B(\frac{1}{2},\frac{1}{2},\frac{n-2}{2})}=\frac{\Gamma^2(\frac{5}{2})}{\Gamma^2(\frac{1}{2})}\times \frac{\Gamma(\frac{n}{2})}{\Gamma(\frac{n}{2}+4)}=\frac{9}{(n+6)(n+4)(n+2)n}$$ et donc $$\mathbb{E}(Q_n^2)=n^2[n\mathbb{E}(U_1^4)+n(n-1)\mathbb{E}(U_1^2U_2^2)]=\frac{3n^2(3n+32)}{(n+6)(n+4)(n+2)}$$ $$\sigma^2(Q_n)=\mathbb{E}(Q_n^2)-(\mathbb{E}(Q_n))^2=\frac{24n^2(n-1)}{(n+6)(n+4)(n+2)^2}\sim _{n\to \infty}\frac{24}{n}.$$
Une chose intéressante est que, par un calcul plus facile on a $\sigma^2(B_n)=\frac{87}{n}.$
Et donc, pour tester si les $X_i$ sont bien $N(0,1),$ et si on a bien $\mathbb{E}(X_i^4)=3,$ on aura un résultat plus précis en considérant $Q_n$ plutôt que $B_n$.