I am curious about a calculation I saw in this question.
Specifically in this equation:
\begin{align*} &\ L(T_s, T_p, T_e) L(T_s, T_s, T_e) \\ =&\ L(t_0, T_p, T_e) L(t_0, T_s, T_e) e^{-\frac{\sigma_s^2}{2}(T_s-t_0) -\frac{\sigma_p^2}{2}(T_s-t_0) + \sigma_s\big(W_{T_s}^s -W_{t_0}^s\big) + \sigma_p\Big(\rho \big(W_{T_s}^s - W_{t_0}^s\big) + \sqrt{1-\rho^2}\big(W_{T_s}^p - W_{t_0}^p\big)\Big)}. \end{align*}
I'm trying to prove it using Ito's lemma and the dynamics:
\begin{align*} dL(t, T_s, T_e) &= \sigma_s L(t, T_s, T_e) d W_t^s,\\ dL(t, T_p, T_e) &= \sigma_p L(t, T_p, T_e)d\Big(\rho W_t^s + \sqrt{1-\rho^2}W_t^p\Big), \end{align*}
But when I apply Ito's lemma I end up computing
\begin{align*} dL(t, T_s, T_e)dL(t, T_p, T_e) &= \sigma_s \sigma_p L(t, T_s, T_e)L(t, T_p, T_e) \rho dt \end{align*}
And I don't know where the next term is coming from:
\begin{align*} -\frac{\sigma_s^2}{2}(T_s-t_0)-\frac{\sigma_p^2}{2}(T_s-t_0) \end{align*}
Can someone help me with the calculation? Thanks