\( \newcommand{\paren}[1]{\left( #1\right) } \newcommand{\fun}[3]{#1:#2\to #3} \newcommand{\p}{\mathbb{P}} \newcommand{\esp}{\mathbb{E}} \newcommand{\F}{\mathscr{F}} \newcommand{\na}{\mathbb{N}} \newcommand{\E}{\mathscr{E}} \newcommand{\eps}{\varepsilon} \newcommand{\imf}[2]{#1\!\paren{#2}} \newcommand{\set}[1]{\left\{ #1\right\} } \)
Sea \(S_n=X_1+\cdots+X_n\) una caminata aleatoria con saltos \(X_i\in \{-1,0,1,\ldots\}\). Sea \(C_p\) una variable aleatoria geométrica de parámetro \(p\) independiente de \(S\) y definimos $$ M_p=-\min_{n\leq C_p} S_n. $$El objetivo del ejercicio es determinar la distribución de \(M_p\).
(A las caminatas aleatorias como \(S\) se les ha denominado Skip-free random walks Para aplicaciones de este tipo de procesos, ver Applied Probability and Queues, S. Asmussen, Springer, 2003. También aparecen en el estudio de Procesos Galton-Watson. Este ejercicio es el resultado básico del estudio de sus extremos, denominado teoría de fluctuaciones.)
Lo que siempre tiene una posibilidad razonable de suceder lo hará (casi seguramente)-- y pronto.
Suponga que \(T\) es un tiempo de paro tal que para algún \(N\in\na\) y \(\varepsilon>0\) se tiene que para toda \(n\in\na\): $$ \p (T\leq N+ n|\F_n)>\varepsilon \text{ casi seguramente} $$ Pruebe por inducción al utilizar $$ \p (T>kN)= \p (T>kN,T>(k-1)N) $$que para cada \(k=1,2,\ldots\): $$ \p (T>kN)\leq \paren{1-\eps}^k. $$Pruebe que \( \esp (T)<\infty \).
A cada instante \(1,2,\ldots\) un chango teclea aleatoriamente una letra mayúscula en una máquina de escribir, la sucesión de letras forma una sucesión IID de distribución uniforme entre las 26 letras.
Justo antes de cada instante \(n=1,2\,\ldots\), un nuevo apostador arriba a la escena. Apuesta 1 peso a que enésima letra será A. Si pierde, se va, si no, apuesta su fortuna completa (ahora 26) a que la letra \(n+1\) será B y así sucesivamente a lo largo de la palabra ABRACADABRA. Sea \(T\) la primera vez en la que el chango escribe la palabra completa ABRACADABRA. Explique por qué la teoría de martingalas hace intuitivamente obvio que $$ \esp (T)=26^{11}+26^4+26. $$Utilice el teorema de muestreo opcional de Doob para demostrarlo.