Soit
(
X
n
)
n
≥
1
{\displaystyle (X_{n})_{n\geq 1}}
variables aléatoires .
Soit
N
{\displaystyle N\ }
N
.
{\displaystyle \mathbb {N} .}
On pose :
S
n
=
X
1
+
X
2
+
⋯
+
X
n
,
{\displaystyle S_{n}=X_{1}+X_{2}+\dots +X_{n},\quad }
S
N
=
X
1
+
X
2
+
⋯
+
X
N
=
∑
X
n
1
1
1
≤
n
≤
N
.
{\displaystyle 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
≥
1
{\displaystyle (X_{n})_{n\geq 1}}
indépendantes ,les
X
i
{\displaystyle X_{i}\ }
N
{\displaystyle N\ }
et on suppose que l'une des deux conditions suivantes est remplie :
N
{\displaystyle N\ }
temps d'arrêt adapté à la suite
(
X
i
)
{\displaystyle (X_{i})\ }
{
N
=
n
}
{\displaystyle \left\{N=n\right\}\ }
(
X
1
,
X
2
,
.
.
.
,
X
n
)
,
{\displaystyle (X_{1},X_{2},...,X_{n}),}
ou bien :
N
{\displaystyle N\ }
(
X
i
)
{\displaystyle (X_{i})\ }
Alors on a :
E
[
S
N
]
=
E
[
N
]
E
[
X
1
]
.
{\displaystyle \mathbb {E} \left[S_{N}\right]=\mathbb {E} \left[N\right]\mathbb {E} \left[X_{1}\right].}
Et si on note :
G
S
N
{\displaystyle G_{S_{N}}}
S
N
{\displaystyle {S_{N}}}
G
N
{\displaystyle G_{N}}
N
{\displaystyle N}
G
X
{\displaystyle G_{X}}
X
i
{\displaystyle X_{i}}
On a aussi :
G
S
N
=
G
N
∘
G
X
{\displaystyle G_{S_{N}}=G_{N}\circ G_{X}}
On peut englober les deux hypothèses alternatives ci-dessus, ainsi que l'indépendance de la suite
(
X
i
)
,
{\displaystyle (X_{i}),\ }
Le premier jeu d'hypothèses découle alors du choix
F
n
=
σ
(
{
N
=
0
}
,
X
1
,
X
2
,
.
.
.
,
X
n
)
,
F
0
=
σ
(
{
N
=
0
}
)
,
{\displaystyle {\mathcal {F}}_{n}=\sigma (\{N=0\},X_{1},X_{2},...,X_{n}),\ {\mathcal {F}}_{0}=\sigma (\{N=0\}),}
F
n
=
σ
(
N
,
X
1
,
X
2
,
.
.
.
,
X
n
)
,
F
0
=
σ
(
N
)
.
{\displaystyle {\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 .
Démonstration
La variable aléatoire
Z
=
∑
|
X
n
|
1
1
1
≤
n
≤
N
{\displaystyle Z=\sum \ |X_{n}|\ 1\!\!1_{1\leq n\leq N}}
est intégrable. En effet
{
n
≤
N
}
c
=
{
n
−
1
≥
N
}
=
⋃
k
=
0
n
−
1
{
N
=
k
}
∈
F
n
−
1
.
{\displaystyle \{n\leq N\}^{c}=\{n-1\geq N\}=\bigcup _{k=0}^{n-1}\{N=k\}\in {\mathcal {F}}_{n-1}.}
Ainsi, pour
n
≥
1
,
{\displaystyle n\geq 1,\ }
F
n
−
1
{\displaystyle {\mathcal {F}}_{n-1}\ }
X
n
,
{\displaystyle X_{n},\ }
E
[
|
X
n
|
1
1
1
≤
n
≤
N
]
=
E
[
|
X
n
|
]
E
[
1
1
n
≤
N
]
=
E
[
|
X
1
|
]
P
(
n
≤
N
)
.
{\displaystyle \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
{\displaystyle N\ }
P
(
n
≤
N
)
{\displaystyle \mathbb {P} \left(n\leq N\right)\ }
E
[
N
]
{\displaystyle \mathbb {E} [N]\ }
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
{\displaystyle S_{N}\ }
E
[
S
N
]
=
E
[
∑
n
≥
1
X
n
1
1
n
≤
N
]
=
∑
n
≥
1
E
[
X
n
1
1
n
≤
N
]
=
∑
n
≥
1
E
[
X
n
]
E
[
1
1
n
≤
N
]
=
E
[
X
1
]
∑
n
≥
1
P
(
n
≤
N
)
=
E
[
X
1
]
E
[
N
]
.
{\displaystyle {\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}}}
(en) Abraham Wald , « On Cumulative Sums of Random Variables », The Annals of Mathematical Statistics vol. 15, no 3, septembre 1944 , p. 283–296 (DOI 10.1214/aoms/1177731235 lire en ligne ) (en) David Williams (en) Probability With Martingales , Cambridge University Press, 14 février 1991 , 272 p. (ISBN 978-0-521-40605-5 lire en ligne ) 
![{\displaystyle \mathbb {E} \left[S_{N}\right]=\mathbb {E} \left[N\right]\mathbb {E} \left[X_{1}\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a5bd54fa72c39ebf9caec52564546db7f606683)
![{\displaystyle \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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/174af0cc51b11057819ad626501b7cf16dfc7f9a)
![{\displaystyle \mathbb {E} [N]\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/be834a12afee186f02146988b3de0b81bf68e479)
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f00123dbcacc8cc4479587dfd6548de738af79a)
