Generalized Ito's formula and additive functionals of Brownian motion · Study