The generalized Ito formula to the Sobolev spaces will be discussed here, which stems from [Kry80]. I would like to thank Prof Krylov on his confirmation of this result by email communication.
Proposition 1 Let be a diffusion on the filtered probability space , with generator , initial time , and initial state . Suppose for some . Define
If we apply (2) to a function , then