Dynamics of a future option

33 Views Asked by At

I have trouble understanding why $$V_s = \exp\left(\int_t^s r_u\;du\right) \int_t^s \exp\left(-\int_t^v r_u\;du\right) \theta_v dW_v$$ solves the SDE $$dV_S = \theta_s dW_s + r_sV_sds$$ I tried using Ito's Lemma but I do not really know what function $f$ I should use.