Este es un ejemplo específico, así que con un poco de suerte puedo obtener alguna metodología general de sus respuestas.
Tengo este tiempo de parada: $$ \tau = \inf\{t \geq 0; B_t < t - 2 \} $$
Este es un claro ejemplo del tiempo de contacto del proceso $B_t$ con un conjunto abierto, por lo tanto, $\tau$ es un tiempo de parada extendido. Ahora estoy tratando de calcular: $$ \mathbb Ee^{-4B_{\tau}} $$
Mi problema es que ahora no puedo substituir $B_{\tau}$ por ningún valor como suelo hacer, porque el tiempo de parada no es de la forma $B_t = x$. Estaba pensando en considerar el evento $B_t = t-3$ para intentar calcular esto, pero no estoy seguro si es válido.
Cualquier pista es más que bienvenida.