$\newcommand{\Z}{\mathbb{Z}}\newcommand{\N}{\mathbb{N}}\newcommand{\E}{\mathbb{E}}\newcommand{\F}{\mathcal{F}}\newcommand{\P}{\mathrm{P}}$ Como señaló @Did en un comentario anterior, el teorema de parada opcional (OST) se cumple bajo supuestos de integrabilidad uniforme relajada. No conocía este enunciado más general, así que utilicé el enunciado más clásico de OST que requiere $\tau$ para calcular el tiempo de parada esperado. He encontrado estas notas de clase y este libro donde la TSO se establece en condiciones de IU (y la prueba no es demasiado difícil).
En cualquier caso, ya había obtenido el resultado utilizando la versión de la BSO que conocía, así que aquí está:
En la práctica, la hipótesis de la limitación a.s. a menudo no se cumple. Sin embargo, para cada $N\in\N$ , $\tau \wedge N$ es un tiempo de parada limitado. La idea es aplicar el TSO para $\tau \wedge N$ y tomar $N\to\infty$ .
El problema. Dejemos que $(X_n)_n$ sea el paseo aleatorio simétrico estándar con $X_0=x$ y que $a < x < b$ con $a,b\in\Z$ . Definir $\tau = \inf\{n\in\N {}\mid{} X_n \in \{a,b\}\}$ . Encuentre $\E[\tau]$ .
Paso 1. Demostraremos que $Y_n = X_n^2 - n$ es una martingala con respecto a la filtración natural de $X_n$ , $(\F_n)_n$ . De hecho,
- $Y_n$ es $\F_n$ -Medible
- Desde $\E[|X_n|]\leq |x| + n$ tenemos $\E[Y_n] = \E[X_n^2 - n] \leq (|x|+n)^2 < \infty$
- Tenemos $Y_{n+1} = Y_n + W_n$ y \begin{align} \E[Y_{n+1}\mid \F_n] {}={}& \E[X_{n+1}^2-n-1 {}\mid{} \F_n]\\ {}={}& \E[(X_{n}+W_{n+1})^2-n-1 {}\mid{} \F_n]\\ {}={}& \E[X_{n}^2+W_{n+1}^2+2X_nW_{n+1}-n-1 {}\mid{} \F_n]\\ {}={}& X_{n}^2+\E[W_{n+1}^2\mid \F_n] +2X_n\E[W_{n+1}\mid \F_n]-n-1\\ {}={}& X_{n}^2-n=Y_n\\ \end{align}
Paso 2. Dejemos que $N\in\N$ . Desde $Y_n$ es un $\F_n$ -martingale, $\tau\wedge N$ es un límite $\F_n$ -Tiempo de parada medible (de hecho, $\tau\wedge N \leq N$ ), podemos emplear OST: \begin{align} {}&{}\E[Y_{0}] = \E[Y_{\tau \wedge N}]\\ \Leftrightarrow{}&{} x^2 {}={} \E[X_{\tau \wedge N}^2 - \tau\wedge N]\\ \Leftrightarrow{}&{} x^2 {}={} \E[X_{\tau \wedge N}^2] - \E[\tau\wedge N] \tag{1} \end{align}
Paso 3. Tenga en cuenta que $\tau\wedge N \leq \tau \wedge (N+1)$ Por lo tanto, en virtud de Teorema de convergencia monótona de Lebesgue , \begin{align} \lim_{N\to\infty}\E[\tau \wedge N] = \E[\lim_{N\to\infty} \tau \wedge N] = \E[\tau]\tag{2} \end{align}
Paso 4. Tenemos que calcular $\lim_n \E[X_{\tau \wedge N}^2]$ . Utilizaremos un hecho conocido para los paseos aleatorios: para $x,m\in \N$ dejar $\tau(m) = \inf\{n \in \N {}\mid{} X_n = m, \text{with }X_0 = x\}$ . Entonces, para $a<b$ ,
\begin{align} \P[\tau(b,x) < \tau(a, x)] = \frac{x-a}{b-a}.\tag{3} \end{align}
Esto es fácil de demostrar. También tenemos que
\begin{align} \E[X_{\tau\wedge N}^2] = \E[X_{\tau}^2 1_{\tau < N}] + \E[X_{N}^2 1_{\tau \geq N}]\tag{4} \end{align}
Para el segundo término de (4) tenemos que $0 \leq \E[X_N^2 1_{\tau \geq N}] \leq \max\{a^2, b^2\} \E[1_{\tau \geq N}] \to 0$ como $N\to\infty$ .
Para el primer término, tenemos
\begin{align} \lim_n \E[X_{\tau}^2 1_{\tau < N}] {}={}& a^2 \P[\tau(a, x) < \tau(b,x )] + b^2 \P[\tau(b, x) < \tau(a,x )]\\ {}={}& a^2 \left(1 - \frac{x-a}{b-a}\right) + b^2 \frac{x-a}{b-a}\\ {}={}& x(a+b) - ab\tag{5} \end{align}
Por lo tanto, de todo lo anterior tenemos
\begin{align} \E[\tau] = (b-x)(x-a)\tag{*} \end{align}