Puedo seguir un curso, y llegar al punto de que uno de los bonos el precio de descuento por otro es una martingala: P(t,T0)P(t,T1)− es QT1 martingala No puedo comprender la prueba a continuación, principalmente lo que es mensurable en el interior de las expectativas: ET1t[P(T,T0)P(T,T1)]=1P(t,T1)Et[e−∫Ttr(s)dsP(T,T1)P(T,T0)P(T,T1)]=P(t,T0)P(t,T1) por t<T<min.
Aquí va mi intento: Miro a Brigo y Mercurio libro y decir que mi RN derivados( desde T_1 adelante de la medida \mathbb{Q}^{T_1} a habitual RNM \mathbb{Q}= \mathbb{Q}^B o sin indicación de \mathbb{Q} como yo de abajo): \begin{ecuación} \frac{ d \mathbb{Q} } { d \mathbb{Q}^{T_1} } \vert \mathcal{F}_t = \frac{P(0,T_1)}{P(t,T_1)} \frac{B(t)}{B(0)} \end{ecuación}
la aplicación de la Regla de Bayes: \mathbb{E}^{T_1}_t \big[ \frac{P(T,T_0)}{P(T,T_1)} \big] = \frac{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q} } { d \mathbb{Q}^{T_1} } \frac{P(T,T_0)}{P(T,T_1)} \big]}{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q} } { d \mathbb{Q}^{T_1} } \big]} = \frac{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q} } { d \mathbb{Q}^{T_1} } \frac{P(T,T_0)}{P(T,T_1)} \big]}{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q} } { d \mathbb{Q}^{T_1} } \big]} y la sustitución de RN derivados dentro de la expectativa y el denominador obtenemos: \frac{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q} } { d \mathbb{Q}^{T_1} } \frac{P(T,T_0)}{P(T,T_1)} \big]}{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q} } { d \mathbb{Q}^{T_1} } \big]} = \frac{ \mathbb{E}_t \big[ \frac{P(0,T_1)}{P(t,T_1)} \frac{B(t)}{B(0)} \frac{P(T,T_0)}{P(T,T_1)} \big]}{ \frac{P(0,T_1)}{P(t,T_1)} \frac{B(t)}{B(0)} } Ahora, a mí me parece que todos dentro de la expectativa es medible, además de \frac{P(T,T_0)}{P(T,T_1)} , pero no estoy seguro de si el razonamiento es correcto, ni cómo la prueba de que \frac{P(T,T_0)}{P(T,T_1)} bajo \mathbb{Q} es un medibles.
Después de ver la respuesta de abajo, termino la aplicación del cambio de la medida:
\frac{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q}^{T_1} } { d \mathbb{Q} }\vert \mathcal{F}_T \frac{P(T,T_0)}{P(T,T_1)} \big]}{ \mathbb{E}_t \big[ \frac{ d \mathbb{Q}^{T_1} } { d \mathbb{Q} } \vert \mathcal{F}_T \big]} = \frac{ \mathbb{E}_t \big[ \left( \frac{P(T,T_1)}{P(0,T_1)} \frac{B(0)}{B(T)} \right)\frac{P(T,T_0)}{P(T,T_1)} \big]}{ \mathbb{E}_t \big[ \frac{P(T,T_1)}{P(0,T_1)} \frac{B(0)}{B(T)} \big] } = \frac{B(0)}{P(0,T_1)} \frac{ \mathbb{E}_t \big[ \left( \frac{P(T,T_1)}{1} \frac{1}{B(T)} \right)\frac{P(T,T_0)}{P(T,T_1)} \big]}{ \mathbb{E}_t \big[ \frac{P(T,T_1)}{P(0,T_1)} \frac{B(0)}{B(T)} \big] } saber que descuento con el banco de la cuenta de Bono Cupón Cero de los precios es una martingala: \frac{P(t,T_x)}{B(t)} = E^{\mathbb{Q}}_t\left[ \frac{P(T,T_x)}{B(T)} \right] obtenemos: \frac{ \mathbb{E}_t \big[ \left( \frac{P(T,T_1)}{1} \frac{1}{B(T)} \right)\frac{P(T,T_0)}{P(T,T_1)} \big]}{ \mathbb{E}_t \big[ \frac{P(T,T_1)}{1} \frac{1}{B(T)} \big] } = \frac{ \mathbb{E}_t \big[ \frac{P(T,T_0)}{B(T)} \big]}{ \mathbb{E}_t \big[ \frac{P(T,T_1)}{B(T)} \big] } = \frac{P(t,T_0)}{B(t)} \frac{B(t)}{P(t,T_1)} = \frac{P(t,T_0)}{P(t,T_1)}
(También recomiendo ver una bonita respuesta aquí y el enlace al artículo en la respuesta)