Some properties of the Itô–Wiener expansion of the solution of a stochastic differential equation and local times

In this paper, we use the formula for the Itô–Wiener expansion of the solution of the stochastic differential equation proven by Krylov and Veretennikov to obtain several results concerning some properties of this expansion. Our main goal is to study the Itô–Wiener expansion of the local time at the fixed point for the solution of the stochastic differential equation in the multidimensional case (when standard local time does not exist even for Brownian motion). We show that under some conditions the renormalized local time exists in the functional space defined by the L2-norm of the action of some smoothing operator.