En este caso, podemos dar una estimación fácil sobre la probabilidad de cola de $T_1$ . Observe que
$$ \{T_1 = 2n+1\} = \{S_1 \leq 0, \cdots, S_{2n-1} \leq 0, S_{2n} = 0, S_{2n+1} = 1\}. $$
Utilizando una de las caracterizaciones equivalentes del número catalán podemos calcular explícitamente la probabilidad de este evento como
$$ \Bbb{P}(T_1 = 2n+1) = \frac{1}{2^{2n+1}}C_n = \frac{1}{2^{2n+1}(n+1)} \binom{2n}{n}. $$
A partir de esto, calculamos explícitamente la función generadora de probabilidad de $T_1$ por
$$ |z| < 1 \quad \Rightarrow \quad \mathbb{E}[z^{T_1}] = \sum_{n=0}^{\infty} z^n \mathbb{P}(T_1 = n) = \sum_{n=0}^{\infty} \frac{C_n}{2^{2n+1}} z^{2n+1} = \frac{1-\sqrt{1-z^2}}{z}. $$
Dejar $z \to 1^-$ muestra que, por el teorema de convergencia monótona,
$$ \mathbb{P}(T_1 < \infty) = \lim_{z \to 1^-} \mathbb{E}[z^{T_1}] = \lim_{z \to 1^-} \frac{1-\sqrt{1-z^2}}{z} = 1. $$
Por lo tanto, $\Bbb{P}(T_1 = \infty) = 0$ .
Adenda. Utilizando esto, también podemos demostrar que
$$ \mathbb{E}[T_1 z^{T_1}] = \frac{1-\sqrt{1-z^2}}{z\sqrt{1-z^2}}, $$
y así, $T_1$ expectativa infinita $\Bbb{E}[T_1] = \infty$ .
0 votos
¿Sabe cómo calcular $P(T_1=n)$ (para impar $n$ )?
2 votos
Por el principio de reflexión, $P(T\le n)=P(S_n\ge 1)+P(S_n\ge 2)=1-P(S_n=0,1)\to 1$ . De CLT obtenemos $P(T>n)=P(S_n=0,1)\sim \frac 2{\sqrt {2\pi n}}$ que da como resultado $E(T)=\infty$ .
0 votos
Muchas gracias por sus respuestas. ¿Existe algún enfoque más fácil que no dependa del CLT o de conocimientos muy específicos sobre los números catalanes? ¿Existe tal vez un enfoque utilizando Borel-Cantelli?
1 votos
El principio de reflexión es suficiente, ya que no se necesitan los números de CLT/Catalán para ver que $P(S_n\in\{0,1\})\to 0$ .
0 votos
Gracias por señalarlo, no fui lo suficientemente cuidadoso al leer tu comentario y pensé que se usaría CLT (hemos visto otra prueba para $E[T]= \infty$ utilizando la identidad de Wald). ¿Puedes explicar un poco más cómo obtienes estas igualdades? Así que $\{T \leq n\}$ implica que hasta el momento $n$ golpeamos $1$ lo que significa que $S_m = 1$ para algunos $m \leq n$ . No veo cómo se aplica aquí el principio de reflexión. Tampoco veo la segunda igualdad. ¿No es $P[S_n \geq 1] + P[S_n \geq 2]= P[S_n=1] + 2 P[S_n \geq 2]$ ? Entonces, ¿cómo argumentar que $P[S_n \in \{0,1\}] \rightarrow 0$ ?
1 votos
1. Como esto es el aplicación del principio de reflexión, me pregunto dónde lo has visto utilizar. 2. $P(S_n\ge 1)=P(S_n\le -1)$ . 3. Informalmente, la distribución de $S_n$ se aplana más y más su soporte crece linealmente - por lo que la probabilidad de ocupación de cada sitio va a cero. Formalmente, se expresa $P(S_n=0,1)$ mediante un coeficiente binomial y aplicar la aproximación de Stirling.