Devoirmaison 2022
Devoirmaison 2022
Devoirmaison 2022
Dans tout le texte, d est un élément de N∗ . On note 0d le d -uplet dont toutes les coordonnées
valent 0, c'est-à-dire le vecteur nul de Rd .
On considère une variable aléatoire X à valeurs dans Zd , (Xk )k∈N∗ une suite de variables aléatoires
mutuellement indépendantes suivant chacune la loi de X et dénies sur un même espace probabilisé.
La suite de variables aléatoires (Sn )n∈N est dénie par S0 = 0d et
n
X
∀n ∈ N∗ , Sn = Xk
k=1
La suite (Sn )n∈N est une marche aléatoire de pas X, à valeurs dans Zd . On note R la variable
aléatoire à valeurs dans N∗ ∪ {+∞} dénie par
si {n ∈ N∗ , Sn = 0d } =
(
min {n ∈ N∗ , Sn = 0d } ̸ ∅
R=
+∞ sinon.
Autrement dit, R est égal à +∞ si la marche aléatoire (Sn )n∈N ne revient jamais en 0d , au premier
instant auquel cette marche aléatoire revient en 0d sinon.
Pour n dans N, soit Nn le cardinal du sous-ensemble
de Zd . Le nombre Nn est donc le nombre de points de Zd visités par la marche aléatoire (Sn )n∈N après
n pas.
Le but du problème est d'étudier asymptotiquement l'espérance E (Nn ) de la variable aléatoire Nn .
A. Préliminaires
Les cinq questions de cette partie sont indépendantes et utilisées dans la partie C.
montrer que
n 2
X n 2n
=
k n
k=0
1
2 . Rappeler la formule de Stirling, puis déterminer un nombre réel c > 0 tel que
4n
2n
∼c√
n n→+∞ n
3 . Si α est un élément de ]0, 1[ , montrer, par exemple en utilisant une comparaison série-intégrale, que
n
X 1 n1−α
∼
kα n→+∞ 1−α
k=1
2
6 . Montrer que les séries entières dénissant F et G ont un rayon de convergence supérieur ou égal à 1
Justier alors que les fonctions F et G sont dénies et de classe C ∞ sur ]−1, 1[ .
Montrer que G est dénie et continue sur [−1, 1] et que
7 . Si k et n sont des entiers naturels non nuls tels que k ≤ n, montrer que
En déduire que
n
X
∀n ∈ N∗ , P (Sn = 0d ) = P(R = k)P (Sn−k = 0d )
k=1
8 . Montrer que
∀x ∈] − 1, 1[, F (x) = 1 + F (x)G(x)
Déterminer la limite de F (x) lorsque x tend vers 1− , en discutant selon la valeur de P(R ̸= +∞)
Soit (ck )k∈N une suite d'éléments de R+ telle que la série entière ck xk ait un rayon de convergence
P
9 .
Montrer que
+∞
X
ck xk −→ +∞
x→1−
k=0
(Si ∈
/ {Sk , 0 ≤ k ≤ i − 1})
3
12 . Conclure que
E (Nn )
−→ P(R = +∞)
n n→+∞
On pourra admettre et utiliser le théorème de Cesàro : si (un )n∈N∗ est une suite réelle convergeant
vers
15 . On suppose que p = q = 1
2