De Baxter y Rennie, página 138: $$f(t,T)=\sigma W_t+f(0,T)+\int_0^t\alpha(s,T)ds$$ $$Z_t=\exp-\bigg(\sigma(T-t)W_t+\sigma\int_0^tW_sds+\int_0^Tf(0,u)du+\int_0^t\int_s^T\alpha(s,u)ds\bigg)$$ $$dZ_t=Z_t\bigg(-\sigma(T-t)dW_t-\bigg(\int_t^T\alpha(t,u)du\bigg)dt+\frac{1}{2}\sigma^2 (T-t)^2dt\bigg)$$
¿Cómo se aplicaría aquí el Lemma de Ito?
Lo he intentado: $$Z_t=\exp-\bigg(\sigma(T-t)W_t+\sigma\int_0^tW_sds+\int_0^Tf(0,u)du+\int_0^t\int_s^T\alpha(s,u)ds\bigg)=e^{-X_t}$$ $$X_t=\sigma(T-t)W_t+\sigma\int_0^tW_sds+\int_0^Tf(0,u)du+\int_0^t\int_s^T\alpha(s,u)ds$$ \begin{align} dX_t &=\sigma(T-t)W_t-\sigma W_tdt+\sigma(W_tdt-W_0d0)+f(0,T)dT-f(0,0)d0+\bigg(\int_t^T\alpha(t,u)du\bigg)dt-\bigg(\int_t^T\alpha(0,u)du\bigg)d0\\ &=\sigma(T-t)W_t+f(0,T)dT+\bigg(\int_t^T\alpha(t,u)du\bigg)dt \end{align} \begin{align} dZ_t&=-Z_tdX_t+\frac{1}{2}Z_t(dX_t)^2\\ &=Z_t\bigg(-\sigma(T-t)W_t-f(0,T)dT-\bigg(\int_t^T\alpha(t,u)du\bigg)dt+\frac{1}{2}\sigma^2(T-t)^2dt\bigg) \end{align}
Algunas preocupaciones son que he escrito $d0$ y que tengo $f(0,T)dT$ restante. Creo que he aplicado correctamente el Lemma de Ito, el problema es con $dX_t$ .
Se agradece cualquier ayuda.