# Formule de Wald

En théorie des probabilités, la formule de Wald est une identité qui donne l'expression de l'espérance d'une somme aléatoire.
Le nom de cette formule vient du mathématicien hongrois Abraham Wald.

## Théorème

Soit $(X_{n})_{n\geq 1}$ une suite de variables aléatoires.
Soit $N\$ une variable aléatoire à valeurs dans $\mathbb {N} .$
On pose :
$S_{n}=X_{1}+X_{2}+\dots +X_{n},\quad$
$S_{N}=X_{1}+X_{2}+\dots +X_{N}=\sum \ X_{n}\ 1\!\!1_{1\leq n\leq N}.$
Formule de Wald — On suppose que :
* $(X_{n})_{n\geq 1}$ est une suite de variables aléatoires de même loi, indépendantes,
* les $X_{i}\$ et $N\$ sont intégrables ,
et on suppose que l'une des deux conditions suivantes est remplie :
* $N\$ est un temps d'arrêt adapté à la suite $(X_{i})\$. En d'autres termes l'événement $\left\{N=n\right\}\$ est entièrement déterminé par $(X_{1},X_{2},...,X_{n}),$
ou bien :
* $N\$ est indépendant de la suite $(X_{i})\$.
Alors on a :
$\mathbb {E} \left[S_{N}\right]=\mathbb {E} \left[N\right]\mathbb {E} \left[X_{1}\right].$
Et si on note :
* $G_{S_{N}}$ la fonction génératrice de ${S_{N}}$.
* $G_{N}$ la fonction génératrice de $N$.
* $G_{X}$ la fonction génératrice des $X_{i}$.
On a aussi :
$G_{S_{N}}=G_{N}\circ G_{X}$

## Formulation générale

On peut englober les deux hypothèses alternatives ci-dessus, ainsi que l'indépendance de la suite $(X_{i}),\$ dans la formulation suivante :
Hypothèse — Il existe une filtration ${\mathcal {F}}=({\mathcal {F}}_{n})_{n\geq 0}$ telle que :
* $N\$ est un temps d'arrêt adapté à la filtration ${\mathcal {F}}\$ ;
* la suite $(X_{n})\$ est adaptée à la filtration ${\mathcal {F}}\$ ;
* pour tout $n\geq 0\$ la tribu ${\mathcal {F}}_{n}\$ et la variable $X_{n+1}\$ sont indépendants.
Le premier jeu d'hypothèses découle alors du choix ${\mathcal {F}}_{n}=\sigma (\{N=0\},X_{1},X_{2},...,X_{n}),\ {\mathcal {F}}_{0}=\sigma (\{N=0\}),$ et le second jeu d'hypothèses découle du choix ${\mathcal {F}}_{n}=\sigma (N,X_{1},X_{2},...,X_{n}),\ \ {\mathcal {F}}_{0}=\sigma (N).\$
Encore plus généralement, les deux formules de Wald ci-dessus sont des cas particuliers de la formule d'arrêt pour les martingales.
La variable aléatoire
$Z=\sum \ |X_{n}|\ 1\!\!1_{1\leq n\leq N}$
est intégrable. En effet
$\{n\leq N\}^{c}=\{n-1\geq N\}=\bigcup _{k=0}^{n-1}\{N=k\}\in {\mathcal {F}}_{n-1}.$
Ainsi, pour $n\geq 1,\$ en vertu de l'hypothèse d'indépendance entre la tribu ${\mathcal {F}}_{n-1}\$ et la variable $X_{n},\$
$\mathbb {E} \left[|X_{n}|\ 1\!\!1_{1\leq n\leq N}\right]\,=\,\mathbb {E} \left[|X_{n}|\right]\,\mathbb {E} \left[1\!\!1_{n\leq N}\right]\,=\,\mathbb {E} \left[|X_{1}|\right]\,\mathbb {P} \left(n\leq N\right).$
Or $N\$ est intégrable si et seulement si la série de terme général $\mathbb {P} \left(n\leq N\right)\$ est convergente (et la somme de cette série est $\mathbb {E} [N]\$). En vertu du théorème de Beppo-Levi, et de l'hypothèse d'intégrabilité faite sur N, la variable Z est intégrable, et on peut donc s'en servir comme majorant pour appliquer le théorème de convergence dominée ou le théorème de Fubini à $S_{N}\$ :
${\begin{aligned}\mathbb {E} \left[S_{N}\right]&=\mathbb {E} \left[\sum _{n\geq 1}\,X_{n}\ 1\!\!1_{n\leq N}\right]\\&=\,\sum _{n\geq 1}\,\mathbb {E} \left[X_{n}\ 1\!\!1_{n\leq N}\right]\\&=\,\sum _{n\geq 1}\,\mathbb {E} \left[X_{n}\right]\,\mathbb {E} \left[1\!\!1_{n\leq N}\right]\\&=\,\mathbb {E} \left[X_{1}\right]\,\sum _{n\geq 1}\,\mathbb {P} \left(n\leq N\right)\\&=\,\mathbb {E} \left[X_{1}\right]\,\mathbb {E} \left[N\right].\end{aligned}}$