SUGERENCIA : El paseo aleatorio proceso de $S$ se define de la siguiente manera : $$S_n=S_{n-1}+U_{n}$$ with $S_0=0$ and $U_n$'s IDD , $P(U_k=1)=P(U_k=-1)=0.5$.
Denotamos $\mathcal{F}$ la filtración natural de $S$.
Deje $n>0$, se puede notar que debido a $U_n$ es independiente de $\mathcal{F_{n-1}}$, $S_{n-1}$ es $\mathcal{F_{n-1}}$medible, y $E(U_n)=0$, $S_n$ es una martingala :
$$E(S_n|\mathcal{F_{n-1}})=S_{n-1}+E(U_n|\mathcal{F_{n-1}})=S_{n-1}+E(U_n)=S_{n-1}$$
Por otra parte ,
$$E((S_n-S_{n-1})^2|\mathcal{F_{n-1}})=E(U_n^2|\mathcal{F_{n-1}})=E(U_n^2)=1$$
$$E((S_n-S_{n-1})^2|\mathcal{F_{n-1}})=E(S_n^2|\mathcal{F_{n-1}})-2S_{n-1}E(S_n|\mathcal{F_{n-1}})+S_{n-1}^2$$
Por lo tanto,
$$E(S_n^2|\mathcal{F_{n-1}})-1=S_{n-1}^2$$
o
$$E(S_n^2-n|\mathcal{F_{n-1}})=S_{n-1}^2-(n-1)$$
Por lo tanto, $U_n$ se define a continuación es una martingala $$U_n=S_n^2-n$$
Dado que U es una martingala, y $T$ es un almacén de tiempo de parada , tenemos $$E(U_T)=U_0=0$$
o
$$E(S_T^2)=E(T)$$