I am currently reading "Modelling single-name and multi-name credit derivatives" by Dom O'Kane but I struggle at one point that should be relatively easy.
Let us consider a Zero Recovery Risky Zero Coupon Bond, that is to say a bond that pays 1 in case there is no default $\tau > T$ (that is the time of default arives after maturity time)
The pricing formula for such a product is thus given by: $Z(0, T) = E\left[\exp\left(-\int_0^T r(t)dt\right) \cdot \mathbb{1}( \tau > T)\right]$.
We also know that: $P(\tau > T) = \exp\left(-\int_0^T \lambda(t)dt\right)$.
In order to simplify the writing of $Z(0, T)$, here are the steps that are presented: $Z(0, T) = E\left[\exp\left(-\int_0^T r(t)dt\right) \cdot \mathbb{1}( \tau > T)\right]$.
Using the law of iterated expectation, we have:
$Z(0, T) = E\left[E\left[\exp\left(-\int_0^T r(t) dt\right) \cdot \mathbb{1}(\tau > T) | {\lambda(t)}_{t \in [0,T]}\right]\right]$.
And as $E\left[I(\tau > T) | \mathcal{\lambda(t)}_{t \in [0,T]}\right] = \text{P}(\tau > T) = \exp\left(-\int_0^T \lambda(t)dt\right)$.
So one has: $Z(0, T) = \mathbb{E}\left[\exp\left(-\int_0^T (r(t) + \lambda(t)) dt\right)\right]$.
Question 1: Why is the filtration selected the set of $\lambda(t)$?
Question 2: How can we split and write this: $E\left[\exp\left(-\int_0^T r(t) \, dt\right) \cdot \mathbf{1}_{\tau > T} \,|\, \tau\right] = \exp\left(-\int_0^T r(t) \, dt\right) \cdot E\left[\mathbf{1}_{\tau > T} \,|\, \tau\right]$ if we did not make any assumption on the independence of $r$ and $\lambda$?
The law of iterated expectation states that E(X | F1) = E(E(X | F2) | F1) if F1 included in F2.
If I go back to my first expression of Z(0,T), would the correct writing of it including its filtration be:
Z(0,T)=E[exp(−∫T0r(t)dt)⋅1(τ>T) | F0] that would thus be equal using the law of iterated expectations to: Z(0,T)=E[E(exp(−∫T0r(t)dt)⋅1(τ>T) | Fτ) | F0] and as τ and r are independant, we get: Z(0,T)=E[exp(−∫T0r(t)dt)⋅E(1(τ>T) | Fτ)) | F0] and I then replace E(1(τ>T) | Fτ)) by P(τ > T)
.
– cp123456 May 24 '23 at 17:45Sorry for all these questions, I really want to make it clear in my mind. Thank you so much for your help.
– cp123456 May 26 '23 at 10:27Thank you Kurt G for your help.
– cp123456 May 30 '23 at 15:54