infty} |\nabla p_t(x,\cdot)|(y) {\mathop{}\!\mathrm{d}}t
        \le C_2 H_x({\mathsf{d}}(x,y)),
        \quad \text{for ${\mathfrak{m}}$-a.e. $y\in X$.}$$

Before giving the proof of let us state and prove some technical lemmas. The first one deals with the integrability properties of the maps $y\mapsto F_x({\mathsf{d}}(x,y))$ and $y\mapsto H_x({\mathsf{d}}(x,y))$. Since its formulation and its proof do not require any regularity assumption for the metric measure space, apart from the validity of assumption, we state it in this great generality.

\[lemma: integrabilityFxHx\] Let $(X,{\mathsf{d}},{\mathfrak{m}})$ be a m.m.s. satisfying assumption. Then for every $x\in X$, the functions $y\mapsto F_x({\mathsf{d}}(x,y))$ and $y\mapsto H_x({\mathsf{d}}(x,y))$ belong to $L^1_{\text{{{\rm loc}}}}(X,{\mathfrak{m}})$. Moreover the map $(w,z)\mapsto H(w,{\mathsf{d}}(w,z))$ belongs to $L^1_{\text{{{\rm loc}}}}(X\times X,{\mathfrak{m}}\times{\mathfrak{m}})$.

Let $g:{\mathbb{R}}\to [0,+\infty)$ be a Borel function, define $f(r):=\int_r^{\infty}g(s) {\mathop{}\!\mathrm{d}}s$. Observe that $$\label{eq: abstract integrability}
        \int_{B(x,R)} f({\mathsf{d}}_x(w)) {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(w)=\int_0^R g(s){\mathfrak{m}}(B(x,s)){\mathop{}\!\mathrm{d}}s
        +f(R){\mathfrak{m}}(B(x,R)), \quad \text{for any $R>0$,}$$ as an application of Fubini’s theorem shows. Fix now any $x\in X$. Applying, first with $g(s)=\frac{s}{{\mathfrak{m}}(B(x,s))}$ and then with $g(
infty } |\nabla p_t(x,\cdot)|(y) { \mathop{}\!\mathrm{d}}t 
         \le C_2 H_x({\mathsf{d}}(x, y) ), 
         \quad \text{for $ { \mathfrak{m}}$-a.e. $ y\in X$.}$$ 

 Before giving the proof of let us state and rise some technical lemma. The first one deals with the integrability properties of the function $ y\mapsto F_x({\mathsf{d}}(x, y))$ and $ y\mapsto H_x({\mathsf{d}}(x, y))$. Since its formulation and its proof do not want any regularity presumption for the metric bill space, apart from the robustness of assumption, we state it in this capital generalization. 

 \[lemma: integrabilityFxHx\ ] Let $ (X,{\mathsf{d}},{\mathfrak{m}})$ be a m.m.s. meet assumption. Then for every $ x\in X$, the functions $ y\mapsto F_x({\mathsf{d}}(x, y))$ and $ y\mapsto H_x({\mathsf{d}}(x, y))$ belong to to $ L^1_{\text{{{\rm loc}}}}(X,{\mathfrak{m}})$. Moreover the map $ (w, z)\mapsto H(w,{\mathsf{d}}(w, z))$ belong to $ L^1_{\text{{{\rm loc}}}}(X\times X,{\mathfrak{m}}\times{\mathfrak{m}})$. 

 Let $ g:{\mathbb{R}}\to [ 0,+\infty)$ be a Borel affair, define $ f(r):=\int_r^{\infty}g(s) { \mathop{}\!\mathrm{d}}s$. Observe that $ $ \label{eq: abstract integrability } 
         \int_{B(x, roentgen) } f({\mathsf{d}}_x(w) ) { \mathop{}\!\mathrm{d}}{\mathfrak{m}}(w)=\int_0^R g(s){\mathfrak{m}}(B(x, s)){\mathop{}\!\mathrm{d}}s 
         + f(R){\mathfrak{m}}(B(x, R) ), \quad \text{for any $ R>0$,}$$ as an application of Fubini ’s theorem shows. Fix now any $ x\in X$. Applying, first with $ g(s)=\frac{s}{{\mathfrak{m}}(B(x, s))}$ and then with $ g (
infhy} |\nabla p_t(x,\cdot)|(y) {\mathop{}\!\oathrm{d}}t
        \le C_2 H_e({\mathsf{s}}(x,y)),
        \quad \text{for ${\mathfrak{m}}$-a.e. $b\in Z$.}$$

Befoee giving the proof of let us snate and provt some technical lemmas. Tmz firab one veals with the lntegrabilidy properties mf tke maps $y\mapsto F_x({\mathsf{d}}(x,y))$ and $y\mapfto H_x({\mstjsf{d}}(x,y))$. Since ijs fogmtlatjon and its proof do not require ahy regunarity assumpyion for the metric measurf spwce, apart from the validity od asfymption, we sgate it in this great fenerality.

\[lemma: integrabilityFxFx\] Lec $(X,{\mathsf{d}},{\mqtyfrwn{m}})$ be a m.m.s. satiffying assuminion. Than for rvery $x\in X$, thc funrtiobs $y\mapsto F_x({\mathsf{d}}(x,b))$ and $y\mapsto H_x({\mathff{d}}(x,y))$ belmny to $L^1_{\text{{{\rm loc}}}}(X,{\mathdrqk{m}})$. Mmreoeer gye oap $(w,v)\malsto H(a,{\mavhsf{d}}(w,z))$ belkngs to $L^1_{\tezt{{{\rm loc}}}}(X\times X,{\matnfwqk{m}}\times{\mathfdak{m}})$.

Lee $d:{\mathbb{R}}\to [0,+\infty)$ be a Borel function, dexins $f(r):=\int_r^{\infty}g(s) {\mathop{}\!\mqthrm{d}}s$. Observe that $$\pabel{eq: afstract integrability}
        \int_{B(x,R)} f({\mathsf{d}}_x(w)) {\madhop{}\!\metfrm{b}}{\nathffqk{l}}(w)=\int_0^R g(s){\mathfrak{m}}(B(x,s)){\mathop{}\!\mathrm{d}}s
        +f(R){\iztnfgak{m}}(B(x,R)), \quad \text{nor any $R>0$,}$$ as an aplllcsjion of Fubini’r theoxsm shows. Fix now any $x\in X$. Wpplyung, first witn $g(s)=\frac{s}{{\mathfrak{m}}(B(x,s))}$ and tyen with $g(
infty} |\nabla p_t(x,\cdot)|(y) {\mathop{}\!\mathrm{d}}t \le C_2 H_x({\mathsf{d}}(x,y)), ${\mathfrak{m}}$-a.e. X$.}$$ Before the proof of some lemmas. The first deals with the properties of the maps $y\mapsto F_x({\mathsf{d}}(x,y))$ $y\mapsto H_x({\mathsf{d}}(x,y))$. Since its formulation and its proof do not require any regularity for the metric measure space, apart from the validity of assumption, we state in great \[lemma: Let $(X,{\mathsf{d}},{\mathfrak{m}})$ be a m.m.s. satisfying assumption. Then for every $x\in X$, the functions $y\mapsto F_x({\mathsf{d}}(x,y))$ $y\mapsto H_x({\mathsf{d}}(x,y))$ belong to $L^1_{\text{{{\rm loc}}}}(X,{\mathfrak{m}})$. Moreover the $(w,z)\mapsto H(w,{\mathsf{d}}(w,z))$ belongs to loc}}}}(X\times X,{\mathfrak{m}}\times{\mathfrak{m}})$. Let $g:{\mathbb{R}}\to [0,+\infty)$ a function, define {\mathop{}\!\mathrm{d}}s$. that abstract integrability} \int_{B(x,R)} {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(w)=\int_0^R g(s){\mathfrak{m}}(B(x,s)){\mathop{}\!\mathrm{d}}s +f(R){\mathfrak{m}}(B(x,R)), \quad \text{for any $R>0$,}$$ as an application of Fubini’s theorem shows. Fix now any X$. Applying, $g(s)=\frac{s}{{\mathfrak{m}}(B(x,s))}$ and with
infty} |\nabla p_t(x,\cdot)|(y) {\mathop{}\!\mAthrm{d}}t
        \le C_2 h_x({\matHsf{D}}(x,y)),
        \QuAd \teXt{foR ${\mathfrak{m}}$-a.e. $y\iN x$.}$$

BefOre giving the proof of let Us staTe ANd prOVe Some tEchnicaL LeMMAs. THe FiRst OnE DeAls wiTh tHe integRability prOpeRtIes of the maps $Y\MaPsto F_x({\mathSf{d}}(X,y))$ and $y\mapsto h_x({\mAthsf{d}}(X,y))$. sinCE its fOrmUlatiOn and iTS proof Do not requIrE Any regULarity aSSUmPtioN for the metric measURe SPace, apart from tHe valiDiTY oF ASsuMptIon, we state It In thiS Great geNErALITy.

\[lEMma: integrabilItyFxHx\] Let $(X,{\MAthSf{d}},{\matHfRak{M}})$ Be a m.m.s. SatisFyINg aSsumption. ThEn foR every $x\in x$, the fuNCtions $y\MApsto F_x({\Mathsf{D}}(x,y))$ And $Y\mapSTo h_x({\MatHsF{D}}(x,y))$ BElOng TO $L^1_{\tExt{{{\rm loc}}}}(x,{\mAtHfrak{M}})$. MorEOVER the Map $(W,z)\maPsto H(W,{\mathsf{d}}(w,z))$ belOngS to $L^1_{\TExt{{{\Rm loc}}}}(x\timeS X,{\maThFrak{m}}\Times{\mAthfrAk{M}})$.

Let $g:{\mathbb{R}}\to [0,+\iNfty)$ Be a Borel fUncTiOn, dEfIne $f(r):=\INt_r^{\infTy}g(S) {\maThop{}\!\matHrm{d}}s$. ObSErvE tHAT $$\LaBel{eq: abstract integRaBILiTy}
        \int_{B(x,R)} F({\mathsF{D}}_x(W)) {\mAThop{}\!\mathRm{D}}{\maThfrAK{M}}(w)=\int_0^r g(s){\mAThFrak{m}}(B(x,s)){\Mathop{}\!\MAtHrM{d}}s
        +f(R){\maThFrak{m}}(B(X,R)), \QuaD \teXt{for ANy $R>0$,}$$ aS an appLication Of FubINi’s theorem showS. fix now any $x\in X$. aPpLYInG, FirsT wiTh $g(s)=\frac{s}{{\maThfrAK{m}}(B(x,S))}$ and THeN wiTH $g(
infty} |\nabla p_t(x,\cdot )|(y) {\ma thop{ }\! \ma th rm{d }}t        \le C_ 2  H_x ({\mathsf{d}}(x,y)),
     \ quad \t ext{f or ${\m a th f r ak{ m} }$ -a. e. $y \in X $.} $$

Bef ore giving  th eproof of let us  state and  pr ove some tec hni cal le mm as. The f irs t one  deals with t he integr ab i lity p r opertie s of  the  maps $y\mapsto F _ x( { \mathsf{d}}(x, y))$ a nd $y \ m aps toH_x({\math sf {d}}( x ,y))$.S in c e its formulation a nd its proo f  do  not r eq uir e  any r egula ri t y a ssumption f or t he metric  measu r e space ,  apartfrom t heval idit y  o fass um p tio n ,wes tat e it inth is  grea t ge n e r a lity .
\[le mma:integrability FxH x\]L et$(X,{ \math sf{d }} ,{\ma thfrak {m}}) $be a m.m.s. sat isfy ing assum pti on . T he n for every$x\ inX$, the  functi o ns$y \ m a ps to F_x({\mathsf{d} }( x , y) )$ and $ y\maps t oH_ x ({\maths f{ d}} (x,y ) ) $ bel ongt o$L^1_{\t ext{{{ \ rm  l oc}}}}( X, {\math fr ak{ m}} )$. M o reov er the  map $(w ,z)\m a psto H(w,{\mat h sf{d}}(w,z))$ be l o ng s  to$L^ 1_{\text{{{ \rml oc}} }}(X \ ti mes X,{\m athfr ak { m} } \times{\mathfrak{m} }) $.

Le t $g: {\mathbb{R}}\ to [0,+\in f t y )$ be aBore l  f u nction, define  $f(r ):=\int_r^ { \infty}g (s) { \mathop{ }\!\mathr m { d}}s$. O bse rve  th at$ $ \l abel{eq: abst r a ct i nt egrabil ity }
      \in t_{ B(x ,R )} f({\ma thsf{d}} _x (w ))  { \ma thop{ } \!\mathr m{ d}} {\ mat hfrak { m}}(w) =\int _0^R  g (s ) {\m athfrak { m} } ( B(x, s) ){ \mat hop {} \!\ma thrm { d}} s
       +f(R){ \ma t hfra k{ m} }(B(x,R )), \quad \te xt {for any $ R> 0$, }$$ as a n applic ation of Fubini’s theor e m shows . F ix no w an y $x\in X $.Applyi ng, firstwith $ g(s)= \f rac { s }{{\m a t hf rak {m }}(B(x,s)) } $  an d the nwith  $g(
infty} |\nabla_p_t(x,\cdot)|(y) {\mathop{}\!\mathrm{d}}t
_   _ __\le C_2_H_x({\mathsf{d}}(x,y)),
_  _  _ \quad \text{for ${\mathfrak{m}}$-a.e._$y\in X$.}$$

Before giving_the_proof of let us state and prove some technical lemmas. The first one deals_with_the integrability_properties_of_the maps $y\mapsto F_x({\mathsf{d}}(x,y))$ and_$y\mapsto H_x({\mathsf{d}}(x,y))$. Since its formulation_and its_proof do not require any regularity assumption for_the_metric measure space,_apart from the validity of assumption, we state it_in this great generality.

\[lemma: integrabilityFxHx\] Let_$(X,{\mathsf{d}},{\mathfrak{m}})$ be a_m.m.s._satisfying_assumption. Then for every_$x\in X$, the functions $y\mapsto F_x({\mathsf{d}}(x,y))$_and $y\mapsto H_x({\mathsf{d}}(x,y))$ belong to $L^1_{\text{{{\rm_loc}}}}(X,{\mathfrak{m}})$. Moreover the map $(w,z)\mapsto H(w,{\mathsf{d}}(w,z))$ belongs_to $L^1_{\text{{{\rm loc}}}}(X\times X,{\mathfrak{m}}\times{\mathfrak{m}})$.

Let $g:{\mathbb{R}}\to [0,+\infty)$_be a Borel function, define_$f(r):=\int_r^{\infty}g(s) {\mathop{}\!\mathrm{d}}s$._Observe that $$\label{eq: abstract integrability}
_  _ _  \int_{B(x,R)}_f({\mathsf{d}}_x(w)) {\mathop{}\!\mathrm{d}}{\mathfrak{m}}(w)=\int_0^R g(s){\mathfrak{m}}(B(x,s)){\mathop{}\!\mathrm{d}}s
   _  _ +f(R){\mathfrak{m}}(B(x,R)), \quad \text{for any $R>0$,}$$_as_an application of_Fubini’s_theorem_shows. Fix_now any $x\in_X$._Applying, first_with_$g(s)=\frac{s}{{\mathfrak{m}}(B(x,s))}$ and then with $g(