Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 25 / 6 / a / Solution

Let $a(x)=\sigma (x)\sigma (x{)}^{\mathsf{T}}$. The multidimensional Itô formula gives the second-order diffusion generatorIndeed,The integrand is locally bounded along the continuous path after stopping on compact sets, because the coefficients and derivatives are continuous. Thus the final stochastic integral is a local martingale. No global growth or uniqueness assumption on this already-given weak solution of a stochastic differential equation is needed.