 moving forward to the proof of Theorem \[noequiv\], let us recall the following two theorems about the Sobolev inequality and the Green operator.

\[hkSob\] Let $(M,\mu)$ be a $\sigma-$finite measure space. Let $T_t$ be a semigroup on $L^s$, $1\leq s\leq \infty$, with infinitesimal generator $-L$. Assume that $T_t$ is equicontinuous on $L^1$ and $L^{\infty}$. Then the following two conditions are equivalent:

1.  There exists $C>0$ such that ${{\left\lVert{T_t}\right\rVert}}_{1\rightarrow \infty} \leq C t^{-D/2}$, $\forall t \geq 1$.

2.  $T_1$ is from $L^1$ to $L^{\infty}$ and for $q>1$, $\exists C$ such that $$\begin{aligned}
    \label{sob}
    {{\left\lVert{f}\right\rVert}}_{p} \leq C {{\left({{{\left\lVert{L^{\alpha/2} f}\right\rVert}}_{q}+{{\left\lVert{L^{\alpha/2} f}\right\rVert}}_{p}}\right)}},\,\,f\in \mathcal D (L^{\alpha/2}),\end{aligned}$$ where $0<\alpha q<D$ and $\frac{1}{p}=\frac{1}{q}-\frac{\alpha}{D}$.

\[Gr\] Let $M$ be a complete non-compact manifold. Then there exists a Green’s function $G(x,y)$ which is smooth on $(M\times M)\backslash D$ satisfying $$\begin{aligned}
\Delta_x \int_M G(x,y) f(y) d\mu(y)=f(x),\,\, \forall f\in \mathcal C_0^{\infty}(M).\end{aligned}$$

For a proof, see for example [@Li12].

We also observe that

\[LB\] Let $M$ be a Riemannian manifold satisfying the polynomial volume growth and the two-sided sub-Gaussian heat kernel estimate $(HK_{2,m})$. Let $B$ be an arbitrary ball with radius $r\geq 4$. Then there exists a constant $c>0$ depending on $d$ and $
moving forward to the proof of Theorem \[noequiv\ ], let us echo the take after two theorems about the Sobolev inequality and the Green operator. 

 \[hkSob\ ] Let $ (M,\mu)$ equal a $ \sigma-$finite measure space. permit $ T_t$ be a semigroup on $ L^s$, $ 1\leq s\leq \infty$, with infinitesimal generator $ -L$. Assume that $ T_t$ is equicontinuous on $ L^1 $ and $ L^{\infty}$. Then the following two condition are equivalent: 

 1.   There exists $ C>0 $ such that $ { { \left\lVert{T_t}\right\rVert}}_{1\rightarrow \infty } \leq C t^{-D/2}$, $ \forall t \geq 1$. 

 2.   $ T_1 $ is from $ L^1 $ to $ L^{\infty}$ and for $ q>1 $, $ \exists C$ such that $ $ \begin{aligned } 
     \label{sob } 
     { { \left\lVert{f}\right\rVert}}_{p } \leq C { { \left({{{\left\lVert{L^{\alpha/2 } f}\right\rVert}}_{q}+{{\left\lVert{L^{\alpha/2 } f}\right\rVert}}_{p}}\right)}},\,\,f\in \mathcal D (L^{\alpha/2}),\end{aligned}$$ where $ 0<\alpha q < D$ and $ \frac{1}{p}=\frac{1}{q}-\frac{\alpha}{D}$. 

 \[Gr\ ] lease $ M$ be a complete non - compact manifold paper. Then there exists a Green ’s function $ G(x, y)$ which is legato on $ (M\times M)\backslash D$ satisfying $ $ \begin{aligned } 
 \Delta_x \int_M G(x, y) f(y) d\mu(y)=f(x),\,\, \forall f\in \mathcal C_0^{\infty}(M).\end{aligned}$$ 

 For a proof, attend for example [ @Li12 ]. 

 We also observe that 

 \[LB\ ] lease $ M$ be a Riemannian manifold satisfying the polynomial volume increase and the two - sided sub - Gaussian heat kernel estimate $ (HK_{2,m})$. Let $ B$ be an arbitrary ball with radius $ r\geq 4$. Then there exists a changeless $ c>0 $ depending on $ d$ and $
 moging forward to the proon of Theorem \[noequiv\], lev us redall the following two theorems abouv thw Sobilev inequality and thd Green oierator.

\[hkWob\] Owt $(M,\mu)$ be e $\sigma-$fluite jcasurz wpace. Let $T_t$ bg a semigrou[ on $L^s$, $1\leq s\laq \iufty$, with infinitesimal generator $-L$. Wssume yhwt $T_t$ is equicjntimtous on $L^1$ and $L^{\infty}$. Then the followinf two cmnditions are equivalent:

1.  There exists $F>0$ sufh that ${{\left\lVert{T_h}\right\rVert}}_{1\tjgheqrrow \infty} \ueq C t^{-D/2}$, $\forall t \geq 1$.

2.  $T_1$ is from $L^1$ to $L^{\infty}$ and for $q>1$, $\exnsts C$ such tyat $$\tegin{alignev}
    \lwbel{sob}
    {{\lcgt\lVerd{f}\right\tVert}}_{p} \leq C {{\lcft({{{\leht\lVwrt{L^{\alpha/2} f}\right\rVert}}_{x}+{{\left\lVert{L^{\alpha/2} f}\tight\rVert}}_{[}}\rnght)}},\,\,f\in \mathcal D (L^{\alphq/2}),\end{anignad}$$ wfwre $0<\alkha q<S$ and $\vrar{1}{p}=\frac{1}{q}-\frac{\zlpha}{D}$.

\[Gr\] Ler $M$ be a complete npn-simpact manifomd. Theg ehere exists a Green’s function $G(x,y)$ whicv ia smooth on $(M\times M)\bacjslash D$ satisfying $$\bggin{aligneq}
\Delta_x \int_M G(x,y) f(y) d\mu(y)=f(x),\,\, \forall f\in \mathcal C_0^{\inxty}(M).\eid{xliykcd}$$

Fof a proof, see for example [@Li12].

We also observe that

\[JG\] Ken $M$ be a Riemannicn manifold satixfjimd the polynomkal volums growth and the tao-sided sub-Gqussian htat krrnel estimate $(HK_{2,m})$. Let $B$ be an arbitrarj baol with radius $r\gee 4$. Then thexe exixts a constant $c>0$ depending ou $d$ ans $
moving forward to the proof of Theorem us the following theorems about the operator. Let $(M,\mu)$ be $\sigma-$finite measure space. $T_t$ be a semigroup on $L^s$, s\leq \infty$, with infinitesimal generator $-L$. Assume that $T_t$ is equicontinuous on $L^1$ $L^{\infty}$. Then the following two conditions are equivalent: 1. There exists $C>0$ such ${{\left\lVert{T_t}\right\rVert}}_{1\rightarrow \leq t^{-D/2}$, t \geq 1$. 2. $T_1$ is from $L^1$ to $L^{\infty}$ and for $q>1$, $\exists C$ such $$\begin{aligned} \label{sob} {{\left\lVert{f}\right\rVert}}_{p} \leq C {{\left({{{\left\lVert{L^{\alpha/2} f}\right\rVert}}_{q}+{{\left\lVert{L^{\alpha/2} f}\right\rVert}}_{p}}\right)}},\,\,f\in D (L^{\alpha/2}),\end{aligned}$$ where $0<\alpha and $\frac{1}{p}=\frac{1}{q}-\frac{\alpha}{D}$. \[Gr\] Let $M$ a non-compact manifold. there a function $G(x,y)$ which smooth on $(M\times M)\backslash D$ satisfying $$\begin{aligned} \Delta_x \int_M G(x,y) f(y) d\mu(y)=f(x),\,\, \forall f\in \mathcal C_0^{\infty}(M).\end{aligned}$$ For proof, see [@Li12]. We observe \[LB\] $M$ be a satisfying the polynomial volume growth and heat kernel estimate $(HK_{2,m})$. Let $B$ be an ball with $r\geq 4$. Then there exists a $c>0$ depending on $d$ and $
 moving forward to the proof of theorem \[noeQuiv\], lEt uS reCaLl thE folLowing two theorEMs abOut the Sobolev inequalitY and tHe gReen OPeRator.

\[HkSob\] LeT $(m,\mU)$ BE a $\sIgMa-$FinItE MeAsure SpaCe. Let $T_t$ Be a semigroUp oN $L^S$, $1\leq s\leq \inftY$, WiTh infiniteSimAl generator $-L$. assUme thaT $T_T$ is EQuicoNtiNuous On $L^1$ and $l^{\Infty}$. THen the folLoWIng two COnditioNS ArE equIvalent:

1.  There existS $c>0$ sUCh that ${{\left\lVerT{T_t}\rigHt\RveRT}}_{1\RigHtaRrow \infty} \lEq c t^{-D/2}$, $\foRAll t \geq 1$.

2.  $t_1$ Is FROM $L^1$ tO $l^{\infty}$ and for $q>1$, $\Exists C$ such THat $$\Begin{aLiGneD}
    \Label{sOb}
    {{\lefT\lvErt{F}\right\rVert}}_{P} \leq c {{\left({{{\left\LVert{L^{\ALpha/2} f}\riGHt\rVert}}_{Q}+{{\left\lverT{L^{\aLpha/2} F}\RiGhT\rVErT}}_{P}}\riGHt)}},\,\,F\in \MAthCal D (L^{\alpHa/2}),\EnD{aligNed}$$ wHERE $0<\AlphA q<D$ And $\fRac{1}{p}=\fRac{1}{q}-\frac{\alpha}{d}$.

\[Gr\] let $M$ BE a cOmpleTe non-CompAcT maniFold. ThEn theRe Exists a Green’s fuNctiOn $G(x,y)$ whicH is SmOotH oN $(M\timES M)\backSlaSh D$ SatisfyIng $$\begiN{AliGnED}
\dElTa_x \int_M G(x,y) f(y) d\mu(y)=f(x),\,\, \FoRALl F\in \mathcAl C_0^{\infTY}(M).\EnD{Aligned}$$

FOr A prOof, sEE For exAmplE [@li12].

we also obServe tHAt

\[lB\] let $M$ be a riEmanniAn ManIfoLd satISfyiNg the pOlynomiaL voluME growth and the tWO-sided sub-GausSIaN HEaT KernEl eStimate $(HK_{2,m})$. LEt $B$ bE An arBitrARy BalL With rAdius $R\gEQ 4$. THEn there exists a constAnT $c>0$ depeNding On $d$ and $
 moving forward to the pro of of Theo rem \ [no equ iv \],letus recall thef ollo wing two theorems abou t the  S o bole v  i nequa lity an d  t h e  Gr ee nope ra t or .

\[ hkS ob\] Le t $(M,\mu) $ b ea $\sigma-$f i ni te measure  sp ace. Let $T_ t$be a s em igr o up on  $L ^s$,$1\leq s\leq\infty$,wi t h infi n itesima l ge nera tor $-L$. Assumet ha t  $T_t$ is equi contin uo u so n  $L ^1$  and $L^{\ in fty}$ .  Then t h ef o l low i ng two condit ions are eq u iva lent:
1 . T here e xists  $ C >0$  such that${{\ left\lVer t{T_t} \ right\r V ert}}_{ 1\righ tar row  \in f ty }\le qC  t^ { -D /2} $ , $ \forallt\g eq 1$ .

2 . $ T_1$  is  fro m $L^ 1$ to $L^{\in fty }$ a n d f or $q >1$,$\ex is ts C$  suchthat$$ \begin{aligned} 
   \label{s ob} 
  {{ \left \ lVert{ f}\ rig ht\rVer t}}_{p} \le qC { {\ left({{{\left\lVer t{ L ^ {\ alpha/2}  f}\ri g ht \r V ert}}_{q }+ {{\ left \ l Vert{ L^{\ a lp ha/2} f} \right \ rV er t}}_{p} }\ right) }} ,\, \,f \in \ m athc al D ( L^{\alph a/2}) , \end{aligned}$ $  where $0<\al p ha q <D $  and  $\ frac{1}{p}= \fra c {1}{ q}-\ f ra c{\ a lpha} {D}$. 
\ [G r \] Let $M$ be a com pl ete no n-com pact manifold . Then the r e exists a  Gre e n’ s  function $G(x ,y)$which is s m ooth on$(M\t imes M)\ backslash D $ satisf yin g $ $\b egi n { al igned}
\Delta _ x  \in t_ M G(x,y ) f (y) d\m u(y )=f (x) ,\, \,  \forallf\in \ma th ca lC_ 0^{ \inft y }(M).\en d{ ali gn ed} $$

F o r a pr oof,seefo re xam ple [@L i 12 ] . 

We  a ls o ob ser ve  that 

\[ L B\]  Let $M $ be a Ri ema n nian  m an ifold s atisfying the  p olynomialvo lum e grow t h  and the  two-sided sub-Gaussian heat ke rne l est imat e $(HK_{2 ,m} )$. Le t $ B $ be a n arbi trary  b all w ith r a d iu s $ r\ geq 4$. Th e n  th ere e xi stsa const ant $c>0$ dependin g  on  $d$ and $
 moving_forward to_the proof of Theorem_\[noequiv\], let_us_recall the_following_two theorems about_the Sobolev inequality_and the Green operator.

\[hkSob\]_Let $(M,\mu)$ be_a_$\sigma-$finite measure space. Let $T_t$ be a semigroup on $L^s$, $1\leq s\leq \infty$, with_infinitesimal_generator $-L$._Assume_that_$T_t$ is equicontinuous on $L^1$_and $L^{\infty}$. Then the following_two conditions_are equivalent:

1.  There exists $C>0$ such that_${{\left\lVert{T_t}\right\rVert}}_{1\rightarrow_\infty} \leq C_t^{-D/2}$, $\forall t \geq 1$.

2.  $T_1$ is from_$L^1$ to $L^{\infty}$ and for $q>1$,_$\exists C$ such_that_$$\begin{aligned}
_   \label{sob}
_   {{\left\lVert{f}\right\rVert}}_{p} \leq C_{{\left({{{\left\lVert{L^{\alpha/2} f}\right\rVert}}_{q}+{{\left\lVert{L^{\alpha/2} f}\right\rVert}}_{p}}\right)}},\,\,f\in \mathcal D (L^{\alpha/2}),\end{aligned}$$_where $0<\alpha q<D$ and $\frac{1}{p}=\frac{1}{q}-\frac{\alpha}{D}$.

\[Gr\] Let $M$_be a complete non-compact manifold. Then_there exists a Green’s function_$G(x,y)$ which_is smooth on $(M\times M)\backslash_D$ satisfying $$\begin{aligned}
\Delta_x_\int_M G(x,y)_f(y) d\mu(y)=f(x),\,\, \forall_f\in \mathcal C_0^{\infty}(M).\end{aligned}$$

For a proof, see_for example [@Li12].

We_also observe that

\[LB\] Let $M$ be_a_Riemannian manifold satisfying_the_polynomial_volume growth_and the two-sided_sub-Gaussian_heat kernel_estimate_$(HK_{2,m})$. Let $B$ be an arbitrary_ball_with radius $r\geq 4$. Then there exists_a constant $c>0$ depending_on_$d$ and $