Tengo el siguiente expectativa para calcular :
$$ \mathbf{E}\left[ e^{\int_{t_0}^{\tau} r_s ds} \mathbf{1}_{\{\tau < T\}}\right] $$
Más precisamente, quiero mostrar que :
$$ \mathbf{E}\left[ e^{\int_{t_0}^{\tau} r_s ds} \mathbf{1}_{\{\tau < T\}}\right] = \int_{t_0}^T P(s) dQ(s)$$
donde $P(s) \equiv \mathbf{E}\left[ e^{\int_{t_0}^{s} r_u du} \derecho]$ y $Q(s) \equiv \mathbf{E}\left[ e^{\int_{t_0}^{s} \lambda_u du} \derecho]$, $\tau$ es el primer salto de un proceso de Poisson con intensidad de defecto $(\lambda_t)_t$.
La única hipótesis que tengo es que las tasas de default y son independientes $-$ tasas de no seguir un proceso especial.