The Vasicek short rate model is $$dr_t=\kappa(\theta-r_t)dt+\sigma dW_t$$ Define the processes $x_t$ and $f(x,t)$ $$x_t=\frac{r_t}{\kappa}(1-e^{-\kappa(T-t)})+\int_0^tr_sds$$ $$f(x,t)=e^{a(T-t)-x_t}$$ Note that $a(t)$ is a function.
Question 1: Find $df(x,t)$ using Ito's Lemma.
My attempt: \begin{align} dx_t&=\frac{1-e^{-\kappa(T-t)}}{\kappa}dr_t+\frac{r_t}{\kappa}(-e^{-\kappa(T-t)})\kappa dt\\ &=\frac{1-e^{-\kappa(T-t)}}{\kappa}(\kappa(\theta-r_t)dt+\sigma dW_t)-r_te^{-\kappa(T-t)}dt\\ &=(1-e^{-\kappa(T-t)})(\theta-r_t)dt+\frac{\sigma}{\kappa}(1-e^{-\kappa(T-t)})dW_t-r_te^{-\kappa(T-t)}dt\\ &=\Big( (1-e^{-\kappa(T-t)})\theta-r_t+r_te^{-\kappa(T-t)}-r_te^{-\kappa(T-t)}\Big)dt+\frac{\sigma}{\kappa}(1-e^{-\kappa(T-t)})dW_t\\ &=\Big( (1-e^{-\kappa(T-t)})\theta-r_t\Big)dt+\frac{\sigma}{\kappa}(1-e^{-\kappa(T-t)})dW_t \end{align} $$(dx_t)^2=\frac{\sigma^2}{\kappa^2}(1-e^{-\kappa(T-t)})^2dt$$
$$\ln{f(x,t)}=a(T-t)-x_t$$ $$d\ln{f(x,t)}=d_ta(T-t)-dx_t=d_ta(T-t)-\Big( (1-e^{-\kappa(T-t)})\theta-r_t\Big)dt-\frac{\sigma}{\kappa}(1-e^{-\kappa(T-t)})dW_t$$ $$(d\ln{f(x,t)})^2=(dx_t)^2=\frac{\sigma^2}{\kappa^2}(1-e^{-\kappa(T-t)})^2dt$$ Applying Ito's Lemma to $f(x,t)$ \begin{align} d(e^{\ln{f(x,t)}})&=f(x,t)d\ln{f(x,t)}+\frac{1}{2}f(x,t)(d\ln{f(x,t)})^2\\ &=f(x,t)\Bigg(d_ta(T-t)-\Big( (1-e^{-\kappa(T-t)})\theta-r_t\Big)dt-\frac{\sigma}{\kappa}(1-e^{-\kappa(T-t)})dW_t\Bigg)+\frac{\sigma^2}{2\kappa^2}(1-e^{-\kappa(T-t)})^2dt\\ &=f(x,t)\Bigg(\frac{d}{dt}a(T-t)-\Big( (1-e^{-\kappa(T-t)})\theta-r_t\Big)+\frac{\sigma^2}{2\kappa^2}(1-e^{-\kappa(T-t)})^2\Bigg)dt-\frac{\sigma}{\kappa}(1-e^{-\kappa(T-t)})dW_t\\ \end{align} Question 2: Find the dynamics of the function $a(t)$ such that the process $f(x,t)$ is a martingale.
My attempt: $$\frac{d}{dt}a(T-t)-\Big( (1-e^{-\kappa(T-t)})\theta-r_t\Big)+\frac{\sigma^2}{2\kappa^2}(1-e^{-\kappa(T-t)})^2=0$$ $$\frac{d}{dt}a(T-t)=\Big( (1-e^{-\kappa(T-t)})\theta-r_t\Big)-\frac{\sigma^2}{2\kappa^2}(1-e^{-\kappa(T-t)})^2$$ $$d_ta(T-t)=\Bigg(\Big( (1-e^{-\kappa(T-t)})\theta-r_t\Big)-\frac{\sigma^2}{2\kappa^2}(1-e^{-\kappa(T-t)})^2\Bigg)dt$$
Can anyone confirm the correctness of my attempts? Any help is appreciated.