LF\] Under the additional assumption $b\in L^1((0,T); L^2(TX))$, equality holds true for every $g\in W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ (where it is understood that in this case the map $t\mapsto g({{\boldsymbol{X}}}_t(x))$ belongs to $W^{1,1}((0,T))$ for ${\mathfrak{m}}$-a.e. $x\in X$) if and only if it holds for every $h\in D$ with $D\subset W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ dense with respect to the strong topology. Indeed, if this is the case, for any $g\in W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ and every ${\varepsilon}>0$ we can find $h\in D$ such that ${\left\lVertg-h\right\rVert}_{W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})}< {\varepsilon}$. Hence, since holds true for $h$, we can estimate $$\begin{aligned}
        \int_X \Big|g({{\boldsymbol{X}}}(t,x))-g(x)-&\int_0^t b_s\cdot \nabla g({{\boldsymbol{X}}}(s,x)){\mathop{}\!\mathrm{d}}s\Big|^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\
        \leq &
        2\int_X {\left\lvertg({{\boldsymbol{X}}}(t,x))-h({{\boldsymbol{X}}}(t,x))\right\rvert}^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)
        + 2\int_X {\left\lvertg(x)-h(x))\right\rvert}^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\
        & + 2\int_X {\left\lvert\int_0^t b_s\cdot \nabla (g-h)({{\boldsymbol{X}}}(s,x)){\mathop{}\!\mathrm{d}}s\right\rvert}^2{\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\
        \le & 2(L+1){\left\lVertg-h\right\rVert}_{L^2(X,{\mathfrak
LF\ ] Under the additional assumption $ b\in L^1((0,T); L^2(TX))$, equality holds true for every $ g\in W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ (where it is understand that in this subject the map $ t\mapsto g({{\boldsymbol{X}}}_t(x))$ belongs to $ W^{1,1}((0,T))$ for $ { \mathfrak{m}}$-a.e. $ x\in X$) if and only if it hold for every $ h\in D$ with $ D\subset W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ dense with respect to the strong regional anatomy. Indeed, if this is the case, for any $ g\in W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ and every $ { \varepsilon}>0 $ we can find $ h\in D$ such that $ { \left\lVertg - h\right\rVert}_{W^{1,2}(X,{\mathsf{d}},{\mathfrak{m } }) } < { \varepsilon}$. Hence, since apply true for $ h$, we can estimate $ $ \begin{aligned } 
         \int_X \Big|g({{\boldsymbol{X}}}(t, x))-g(x)-&\int_0^t b_s\cdot \nabla g({{\boldsymbol{X}}}(s, x)){\mathop{}\!\mathrm{d}}s\Big|^2 { \mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\ 
         \leq & 
         2\int_X { \left\lvertg({{\boldsymbol{X}}}(t, x))-h({{\boldsymbol{X}}}(t, x))\right\rvert}^2 { \mathop{}\!\mathrm{d}}{\mathfrak{m}}(x) 
         + 2\int_X { \left\lvertg(x)-h(x))\right\rvert}^2 { \mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\ 
         & + 2\int_X { \left\lvert\int_0^t b_s\cdot \nabla (g - h)({{\boldsymbol{X}}}(s, x)){\mathop{}\!\mathrm{d}}s\right\rvert}^2{\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\ 
         \le & 2(L+1){\left\lVertg - h\right\rVert}_{L^2(X,{\mathfrak
LF\] Knder the additional assmmption $b\in L^1((0,T); L^2(JX))$, equalmty holss true wor every $g\in W^{1,2}(X,{\mathsf{d}},{\mathfcak{m}})$ (whert it is understood ghat in tjis case the nap $t\mapsto g({{\boldsnibol{S}}}_b(x))$ benings to $W^{1,1}((0,T))$ for ${\mathfrak{m}}$-d.e. $x\in X$) if ang unpy if it holds for every $h\in D$ with $D\subsey A^{1,2}(X,{\mathsf{d}},{\mathftak{m}})$ cqnse with respect to the strong topolofy. Indetd, if this is the vase, for any $g\in W^{1,2}(X,{\mathsf{d}},{\lathvrak{m}})$ and every ${\vagepsilon}>0$ we can dind $h\in D$ sjch that ${\ltfc\lVertg-h\riggt\rVert}_{W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})}< {\vareprilon}$. Hence, sinxe hopgs true for $h$, we can estimatc $$\begin{dligned}
        \int_X \Blg|g({{\bondstmbol{X}}}(t,x))-g(x)-&\int_0^t b_s\cdot \nabla g({{\boldsymbol{V}}}(s,x)){\mathop{}\!\kachrm{d}}s\Big|^2 {\mathop{}\!\mathrn{d}}{\nathftak{m}}(x)\\
        \ueq &
        2\ijt_X {\left\lvertf({{\boldsymbol{Z}}}(t,x))-h({{\boldsymbol{X}}}(t,x))\ribhe\gfert}^2 {\mathop{}\!\mzthrm{d}}{\iaehfrak{m}}(x)
        + 2\int_X {\left\lvertg(x)-h(x))\righu\rverf}^2 {\mathop{}\!\mathrm{d}}{\mathfrak{n}}(x)\\
        & + 2\int_X {\left\pvert\int_0^t b_s\cdot \nabla (g-h)({{\boldsymbol{X}}}(s,x)){\mathop{}\!\mathrm{d}}s\right\reert}^2{\metfop{}\!\nabhrm{a}}{\nahhfrak{m}}(x)\\
        \le & 2(L+1){\left\lVertg-h\right\rVert}_{L^2(X,{\mwfhgrsk
LF\] Under the additional assumption $b\in L^1((0,T); holds for every W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ (where it case map $t\mapsto g({{\boldsymbol{X}}}_t(x))$ to $W^{1,1}((0,T))$ for $x\in X$) if and only if holds for every $h\in D$ with $D\subset W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ dense with respect to the topology. Indeed, if this is the case, for any $g\in W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ and every we find D$ that ${\left\lVertg-h\right\rVert}_{W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})}< {\varepsilon}$. Hence, since holds true for $h$, we can estimate $$\begin{aligned} \int_X \Big|g({{\boldsymbol{X}}}(t,x))-g(x)-&\int_0^t b_s\cdot g({{\boldsymbol{X}}}(s,x)){\mathop{}\!\mathrm{d}}s\Big|^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\ \leq & 2\int_X {\left\lvertg({{\boldsymbol{X}}}(t,x))-h({{\boldsymbol{X}}}(t,x))\right\rvert}^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x) + {\left\lvertg(x)-h(x))\right\rvert}^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\ & + {\left\lvert\int_0^t b_s\cdot \nabla (g-h)({{\boldsymbol{X}}}(s,x)){\mathop{}\!\mathrm{d}}s\right\rvert}^2{\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\ \le 2(L+1){\left\lVertg-h\right\rVert}_{L^2(X,{\mathfrak
LF\] Under the additional assumPtion $b\in L^1((0,T); l^2(TX))$, eqUalIty HoLds tRue fOr every $g\in W^{1,2}(X,{\maTHsf{d}},{\Mathfrak{m}})$ (where it is undeRstooD tHAt in THiS case The map $t\MApSTO g({{\bOlDsYmbOl{x}}}_T(x))$ BelonGs tO $W^{1,1}((0,T))$ for ${\mAthfrak{m}}$-a.e. $X\in x$) iF and only if it HOlDs for every $H\in d$ with $D\subset w^{1,2}(X,{\mAthsf{d}},{\MaThfRAk{m}})$ deNse With rEspect TO the stRong topolOgY. indeed, IF this is THE cAse, fOr any $g\in W^{1,2}(X,{\mathsf{d}},{\MAtHFrak{m}})$ and every ${\vArepsiLoN}>0$ We CAN fiNd $h\In D$ such thaT ${\lEft\lVERtg-h\rigHT\rvERT}_{W^{1,2}(X,{\MAthsf{d}},{\mathfraK{m}})}< {\varepsiloN}$. henCe, sincE hOldS True foR $h$, we cAn EStiMate $$\begin{alIgneD}
        \int_X \Big|g({{\BoldsyMBol{X}}}(t,x))-g(X)-&\Int_0^t b_s\cDot \nabLa g({{\BolDsymBOl{x}}}(s,X)){\maThOP{}\!\maTHrM{d}}s\bIg|^2 {\mAthop{}\!\matHrM{d}}{\MathfRak{m}}(X)\\
        \LEQ &
        2\Int_X {\LefT\lveRtg({{\boLdsymbol{X}}}(t,x))-h({{\bOldSymbOL{X}}}(t,X))\righT\rverT}^2 {\matHoP{}\!\mathRm{d}}{\matHfrak{M}}(x)
        + 2\Int_X {\left\lvertg(x)-H(x))\riGht\rvert}^2 {\mAthOp{}\!\MatHrM{d}}{\matHFrak{m}}(x)\\
        & + 2\Int_x {\leFt\lvert\Int_0^t b_s\cDOt \nAbLA (G-H)({{\bOldsymbol{X}}}(s,x)){\mathop{}\!\MaTHRm{D}}s\right\rVert}^2{\maTHoP{}\!\mAThrm{d}}{\matHfRak{M}}(x)\\
        \le & 2(l+1){\LEft\lVErtg-H\RiGht\rVert}_{l^2(X,{\mathFRaK
LF\] Under the additionalassumption  $b\i n L ^1( (0 ,T);  L^2 (TX))$, equali t y ho lds true for every $g\ in W^ {1 , 2}(X , {\ maths f{d}},{ \ ma t h fra k{ m} })$  ( w he re it  is  unders tood thatinth is case them ap  $t\mapsto  g( {{\boldsymbo l{X }}}_t( x) )$b elong s t o $W^ {1,1}( ( 0,T))$  for ${\m at h frak{m } }$-a.e. $ x\ in X $) if and only if it holds for ever y $h\i nD $w i th$D\ subset W^{ 1, 2}(X, { \mathsf { d} } , { \ma t hfrak{m}})$ d ense with r e spe ct toth e s t rong t opolo gy .  In deed, if th is i s the cas e, for any $g\ i n W^{1, 2}(X,{ \ma ths f{d} } ,{ \m ath fr a k{m } }) $ a n d e very ${\ va re psilo n}>0 $ w e  can  fi nd $ h\inD$ such that${\ left \ lVe rtg-h \righ t\rV er t}_{W ^{1,2} (X,{\ ma thsf{d}},{\math frak {m}})}< { \va re psi lo n}$.H ence,sin ceholds t rue for $h$ ,w e ca n estimate $$\begi n{ a l ig ned}
       \ i nt _X \Big|g({ {\ bol dsym b o l{X}} }(t, x )) -g(x)-&\ int_0^ t  b _s \cdot \ na bla g( {{ \bo lds ymbol { X}}} (s,x)) {\mathop {}\!\ m athrm{d}}s\Big | ^2 {\mathop{} \ !\ m a th r m{d} }{\ mathfrak{m} }(x) \ \
     \ leq &
      2\ i nt _ X {\left\lvertg({{\ bo ldsymb ol{X} }}(t,x))-h({{ \boldsymbo l { X }}}(t,x) )\ri g ht \ rvert}^2 {\mat hop{} \!\mathrm{ d }}{\math frak{ m}}(x)
       +2 \ int_X {\ lef t\l ver tg( x ) -h (x))\right\rv e r t}^2  { \mathop {}\ !\mathr m{d }}{ \ma thf ra k{m}}(x)\ \
      &+2\ int _X {\ l eft\lver t\ int _0 ^tb_s\c d ot \na bla ( g-h) ({ {\ b old symbol{ X }} } ( s,x) ){ \m atho p{} \! \math rm{d } }s\ right\r vert}^2{\ mat h op{} \! \m athrm{d }}{\mathfrak{ m} }(x)\\
     \le &2 ( L+1){\le ft\lVertg-h\right\rVert } _{L^2(X ,{\ mathf rak
LF\] Under_the additional_assumption $b\in L^1((0,T); L^2(TX))$,_equality holds_true_for every_$g\in_W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ (where it_is understood that_in this case the_map $t\mapsto g({{\boldsymbol{X}}}_t(x))$_belongs_to $W^{1,1}((0,T))$ for ${\mathfrak{m}}$-a.e. $x\in X$) if and only if it holds for every_$h\in_D$ with_$D\subset_W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$_dense with respect to the_strong topology. Indeed, if this_is the_case, for any $g\in W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})$ and every ${\varepsilon}>0$_we_can find $h\in_D$ such that ${\left\lVertg-h\right\rVert}_{W^{1,2}(X,{\mathsf{d}},{\mathfrak{m}})}< {\varepsilon}$. Hence, since holds true_for $h$, we can estimate $$\begin{aligned}
_  ___  \int_X \Big|g({{\boldsymbol{X}}}(t,x))-g(x)-&\int_0^t_b_s\cdot \nabla g({{\boldsymbol{X}}}(s,x)){\mathop{}\!\mathrm{d}}s\Big|^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\
  _     \leq_&
      _ 2\int_X {\left\lvertg({{\boldsymbol{X}}}(t,x))-h({{\boldsymbol{X}}}(t,x))\right\rvert}^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)
  _    _+ 2\int_X_{\left\lvertg(x)-h(x))\right\rvert}^2 {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\
   _  _ &_+ 2\int_X {\left\lvert\int_0^t_b_s\cdot \nabla (g-h)({{\boldsymbol{X}}}(s,x)){\mathop{}\!\mathrm{d}}s\right\rvert}^2{\mathop{}\!\mathrm{d}}{\mathfrak{m}}(x)\\
   _  _ \le & 2(L+1){\left\lVertg-h\right\rVert}_{L^2(X,{\mathfrak