Exercices L19
Exercices L19
Exercices L19
Corrigé. a) C’est une application de la loi faible des grands nombres. Il est
tout aussi simple d’en refaire le raisonnement. Les variables Yk , k ∈ N, étant
intégrables et centrées, E(Sn ) = 0 par linéarite. En vertu alors de l’inégalité de
Bienaymé-Tchebitchev, pour tout ε > 0,
n
Sn 1 X
P 3 ≥ ε ≤ 2 3
Var(Yk ).
n2 εn
k=1
1
Pn n(n+1)
Comme Var(Yk ) = E(Yk2 ) = k, k=1 Var(Yk ) = 2 . Il découle alors de
l’inégalité précédente que P 3 ≥ ε) → 0 quand n → ∞, et donc Sn3 → 0 en
Sn
n2 n2
2
probabilité. b) Le long de la sous-suite n , n ∈ N, pour tout ε > 0,
n2
n2 (n2 + 1)
Sn2 1 X
P 3≥ε ≤ 2 6
Var(Yk ) = .
n εn 2ε2 n6
k=1
Exercice 3. Si Y est une variable aléatoire de loi N (0, 1), calculer E(Y 4 ).
Soit à présent Xk , k ∈ N, une suite de variables aléatoires indépendantes de
même loi normale N (m, σ 2 ) de moyenne m et de variance σ 2 ; démontrer que
n
1X 4
lim Xk = m4 + 6m2 σ 2 + 3σ 4 presque sûrement.
n→∞ n
k=1
2
donc
où il est utilisé que E(Y ) = E(Y 3 ) = 0 (par parité). Ainsi, d’après ce qui
précède, E(X14 ) = m4 + 6m2 σ 2 + 3σ 4 . Il ne reste plus qu’à appliquer la loi des
grands nombres à la suite Xk4 , k ∈ N, pour conclure.
3
question précédente, pour tout ε > 0 et tout n ≥ 1,
Sn Sn 1 1 2 2α−1
P α ≥ ε = P √ ≥ ε n 2 ≤ e− 2 ε n
α−
n n
1 2 2α−1
puisque √Snn a pour loi N (0, 1). Comme 2α − 1 > 0, e− 2 ε n , n ≥ 1, est
le terme général d’une série convergente (par exemple ≤ n12 pour tout n assez
grand), et le critère de convergence presque sûre issu du lemme de Borel-Cantelli
(Leçon 16) peut être appliqué. d*) En jouant sur le raisonnement précédent,
en particulier
p en examinant des séries convergentes potentielles, le choix de
an = n(ln(n))ρ , n ≥ 2, ρ > 1, fournit un exemple. En effet, de la même
façon,
Sn Sn ρ 1 2 ρ
P ≥ ε = P √ ≥ ε(ln(n)) 2 ≤ e− 2 ε (ln(n))
an n
1
qui définit le terme général d’une série convergente (par exemple ≤ n2 pour
tout n assez grand ce qui se vérifie avec prise du logarithme).
Il est une question naturelle de se demander quelle est la plus petite suite
an , n ∈ N, de réels positifs assurant la stabilité presque sûre de la suite Sann ,
p
n ∈ N ? La réponse est fournit par la suite an = 2n ln(ln(n)), n ≥ 3, qui
donne lieu à la fameuse loi du logarithme itéré exprimant que
Sn
lim sup = 1
n→∞ an
presque sûrement (en fait pour toute suite Xn , n ∈ N, de variables aléatoires
indépendantes de même loi de moyenne nulle et de variance 1).
4
(Indication : utiliser le lemme de Kronecker 1 indiquant que si un , n ∈ N, une
suite de nombres réels ou à valeurs dans un espace normé, telle que la série
P un 1
Pn
n∈N n est convergente, alors n k=1 uk → 0.)
c*) Use the preceding question to show that, for any real numbers a1 , . . . , an ,
and any p > 0,
n n
X p 1/p X 1/2
2
E ak Xk ≤ Cp ak
k=1 k=1
5
Correction. a) By definition of the law of X1 , for every u ∈ R,
1 u 1 −u
E(euX1 ) = e + e = cosh(u).
2 2
A series expansion indicates that
X u2n X u2n 1 2
cosh(u) = ≤ = e 2u
(2n)! n
2 n!
n≥0 n≥0
1 2
P(S ≥ t) = P euS ≥ eut ≤ e−ut E(euS ) ≤ e−ut+ 2 u .
1 2
For the optimal choice u = t, it follows that P(S ≥ t) ≤ e− 2 t (which also
holds at t = 0). Together with the same inequality for −S (that has the same
distribution as S), the conclusion follows by sub-additivity. c*) By homogeneity,
it may be assumed that nk=1 a2k = 1 so that, in the preceding notation, it has
P
and by b), Z ∞ 2
1 p
p
e− 2 t dt.
E |S| ≤ 2
0
For any p > 0, this integral is convergent (and is a function of p), since for
2
1 p
example e− 2 t ≤ 1
t2 for every t large enough, which ensures convergence as
6
t → ∞. The result is established. (There is also a reverse inequality, with
another constant cp > 0, giving rise to the Khintchine inequalities.) d) Fix
ρ > 1. For any ε > 0, by b) with ak = √1n , k = 1, . . . , n,
|Sn | 1 2
(ln n)ρ
P p ≥ε ≤ 2 e− 2 ε .
n(ln n)ρ
Since ρ > 1, the right-hand side is, for example, less than n12 for every integer
n large enough (take the logarithm), so that it defines the general term of a
convergent series. It remains to apply the criterion for almost sure convergence
based on the Borel-Cantelli lemma.