Pour tout entier n∈Nfixé on considère la v.a. Sntotalisant les Xi
jusqu’à l’instant n:
(4) S0= 0 et Sn=
n
X
i=1
Xisi n≥1.
Dans certains problèmes (nous verrons un exemple ci-dessous) on est
amené à considérer une somme d’un nombre aléatoire Nde termes :
SN=PN
i=1 Xioù Nest une v.a. à valeurs entières, définie sur le même
espace probabilisé que les Xiet indépendante de la suite X3. La somme
SNest définie précisément de la manière suivante :
(5) ∀k∈N,∀ω∈[N=k], SN(ω) = Sk(ω).
On notera que puisque les événements [N=k](k∈N) forment un
système complet4, la valeur SN(ω)est bien définie pour tout ω∈Ωet
que les valeurs prises par SNsont entières. Nous admettrons que SN
est bien une v.a.5
Remarque 2.1 :Il est facile de trouver une expression pour la loi
de probabilité de la v.a. SN, en notant que grâce à la formule de la
probabilité totale, pour tout j∈N, on a
P(SN=j) =
+∞
X
n=0
P(SN=j|N=n)P(N=n)
=
+∞
X
n=0
P(Sn=j)P(N=n),(6)
car P(SN=j|N=n) = P(Sn=j|N=n) = P(Sn=j)d’après
l’hypothèse d’indépendance6. Mais cette expression de la loi de SNn’est
pas très maniable. Le résultat qui suit donne une expression très simple
de la fonction génératrice de SNde laquelle on peut déduire simplement
les moments de SN.
On note H(t) = P+∞
n=0 qntnla fonction génératrice de N.
Proposition 2.2 : 1) La v.a. SNdéfinie en (5) a une fonction géné-
ratrice donnée par la formule
(7) GSN(t) = H(G(t)) = H◦G(t)
2) si les v.a. Xiet Nont un moment d’ordre deux, SNa également un
moment d’ordre deux et on a
E(SN) = E(N)E(X1)
V ar(SN) = E(N)V ar(X1)+(E(X1))2V ar(N).
3i.e. telle que pour tout entier k, les v.a. N, X0, X1, . . . , Xksont indépendantes.
4i.e. une partition de Ω.
5L’espace Ωn’étant pas discret en général dans les situations de ce type, il
conviendrait de vérifier la condition de mesurabilité.
6en effet on peut montrer facilement que Net Snsont indépendantes.
4