}\times \underline\Omega$, and is smooth on $(0,\infty)\times \Omega\times \Omega$.

By the symmetry property, we have that $$\label{eq:Symmetry_fundam}
p^{\Omega}(t,z^0,z) = p^{\Omega}(t,z,z^0),\quad\forall\, t\in (0,\infty),\quad\hbox{ for almost all } z^0, z\in\Omega.$$ Let $t_0>0$ and $z^0\in\underline\Omega$. Because $p(t_0,z^0,\cdot)\in L^2(\Omega;d\mu)$, there is a unique weak solution, $u\in \cF((0,T)\times\Omega)$, for all $T>0$, to the homogeneous equation with initial condition $f=p(t_0,z^0,\cdot)$. Using [@Epstein_Mazzeo_cont_est Corollary 4.1] together with [@Sturm_1995 Theorem 2.1], it follows that the solution $u$ is continuous on $(0,T)\times\underline\Omega$. Since $u(t)=T^{\Omega}_t p^{\Omega}(t_0,z^0,\cdot)$, the semigroup property implies that $u(t)=p^{\Omega}(t+t_0,z^0,\cdot)$, and so, the function $p^{\Omega}(\cdot,z^0,\cdot)$ is continuous on $(0,\infty)\times\underline\Omega$, where we used the fact that the positive constants $t_0$ and $T$ were arbitrarily chosen. Using the symmetry of the fundamental solution,, it follows that the function $p^{\Omega}$ is continuous on $(0,\infty)\times\underline\Omega\times\underline\Omega$. Interior regularity of solutions to parabolic equations with smooth coefficients implies that the function $p^{\Omega}$ is smooth on $(0,\infty)\times \Omega\times \Omega$.

\[lem:Fundam\_sol\_different\_domains\] Let $\Omega_1\subset\Omega_2\subseteq S_{n,m}$ be domains. Then we have that $$\label{eq:Fundam_sol_different_domains}
p^{\Omega_1}(t,z^0,z) \leq p^{\Omega_2}(t,z^
} \times \underline\Omega$, and is smooth on $ (0,\infty)\times \Omega\times \Omega$. 

 By the symmetry property, we have that $ $ \label{eq: Symmetry_fundam } 
 p^{\Omega}(t, z^0,z) = p^{\Omega}(t, z, z^0),\quad\forall\, t\in (0,\infty),\quad\hbox { for about all } z^0, z\in\Omega.$$ lease $ t_0>0 $ and $ z^0\in\underline\Omega$. Because $ p(t_0,z^0,\cdot)\in L^2(\Omega;d\mu)$, there is a unique fallible solution, $ u\in \cF((0,T)\times\Omega)$, for all $ T>0 $, to the homogeneous equality with initial condition $ f = p(t_0,z^0,\cdot)$. Using [ @Epstein_Mazzeo_cont_est Corollary 4.1 ] in concert with [ @Sturm_1995 Theorem 2.1 ], it trace that the solution $ u$ is continuous on $ (0,T)\times\underline\Omega$. Since $ u(t)=T^{\Omega}_t p^{\Omega}(t_0,z^0,\cdot)$, the semigroup property imply that $ u(t)=p^{\Omega}(t+t_0,z^0,\cdot)$, and so, the function $ p^{\Omega}(\cdot, z^0,\cdot)$ is continuous on $ (0,\infty)\times\underline\Omega$, where we use the fact that the positive constants $ t_0 $ and $ T$ were randomly chosen. Using the symmetry of the fundamental solution, , it follows that the function $ p^{\Omega}$ is continuous on $ (0,\infty)\times\underline\Omega\times\underline\Omega$. Interior regularity of solution to parabolic equations with smooth coefficients incriminate that the function $ p^{\Omega}$ is smooth on $ (0,\infty)\times \Omega\times \Omega$. 

 \[lem: Fundam\_sol\_different\_domains\ ] Let $ \Omega_1\subset\Omega_2\subseteq S_{n, m}$ be domains. Then we experience that $ $ \label{eq: Fundam_sol_different_domains } 
 p^{\Omega_1}(t, z^0,z) \leq p^{\Omega_2}(t, z^
}\timfs \underline\Omega$, and is smooth on $(0,\infti)\tumes \Okega\tijes \Omegx$.

By the symmetry property, we hqve tyat $$\label{eq:Symmetry_funaam}
p^{\Omega}(n,z^0,z) = p^{\Ometa}(t,z,e^0),\quad\forall\, t\in (0,\iirty),\quad\myox{ fkv almmwt all } z^0, z\in\Okega.$$ Let $t_0>0$ and $z^0\in\underlhnd\Olega$. Because $p(t_0,z^0,\cdot)\in L^2(\Omega;d\mu)$, thqre is s knique weak sojutipg, $u\ih \cF((0,T)\times\Omega)$, for all $T>0$, to the hkmogenemus equation eith initial condition $f=p(t_0,x^0,\cdoh)$. Using [@Epstein_Mazxeo_cont_est Xorojoary 4.1] togethdr with [@Stlxm_1995 Theorem 2.1], it follows that the solution $u$ is cpntinuous in $(0,T)\tlkes\underlinx\Omega$. Since $u(t)=T^{\Omcba}_t p^{\Okega}(t_0,z^0,\ccot)$, the semigrpup priperty implies that $u(v)=p^{\Omega}(t+t_0,z^0,\cdot)$, and sj, the funwtnon $p^{\Omega}(\cdot,z^0,\cdot)$ iw xontituouv on $(0,\unfgy)\tjmxs\uhderlije\Ojega$, where we used thw fact that the posotynr constants $f_0$ and $E$ rere arbitrarily chosen. Using the symmeury or the fundamental solutuon,, it follows that tje functijn $p^{\Omega}$ is continuous on $(0,\infty)\times\underline\Omeca\timxs\jndtroine\Oowgw$. Interior regularity of solutions to parabolyd tqustions with smjoth coeffivifnyf implies thaj the fbhcfion $p^{\Omega}$ is smolth on $(0,\ynfty)\rimes \Omeda\tikes \Omega$.

\[lem:Fundam\_sol\_differwnt\_domains\] Lvt $\Onega_1\subset\Omega_2\subdeteq S_{n,m}$ bz domaons. Tnen we have that $$\label{ed:Funsam_sol_diffegent_domaihr}
p^{\Omega_1}(t,z^0,z) \leq p^{\Umena_2}(t,s^
}\times \underline\Omega$, and is smooth on $(0,\infty)\times By symmetry property, have that $$\label{eq:Symmetry_fundam} for all } z^0, Let $t_0>0$ and Because $p(t_0,z^0,\cdot)\in L^2(\Omega;d\mu)$, there is a weak solution, $u\in \cF((0,T)\times\Omega)$, for all $T>0$, to the homogeneous equation with initial $f=p(t_0,z^0,\cdot)$. Using [@Epstein_Mazzeo_cont_est Corollary 4.1] together with [@Sturm_1995 Theorem 2.1], it follows that solution is on Since $u(t)=T^{\Omega}_t p^{\Omega}(t_0,z^0,\cdot)$, the semigroup property implies that $u(t)=p^{\Omega}(t+t_0,z^0,\cdot)$, and so, the function $p^{\Omega}(\cdot,z^0,\cdot)$ is continuous $(0,\infty)\times\underline\Omega$, where we used the fact that the constants $t_0$ and $T$ arbitrarily chosen. Using the symmetry the solution,, it that function is continuous on Interior regularity of solutions to parabolic equations with smooth coefficients implies that the function $p^{\Omega}$ is smooth $(0,\infty)\times \Omega\times Let $\Omega_1\subset\Omega_2\subseteq be Then have that $$\label{eq:Fundam_sol_different_domains} p^{\Omega_2}(t,z^
}\times \underline\Omega$, and is sMooth on $(0,\infTy)\timEs \OMegA\tImes \omegA$.

By the symmetry PRopeRty, we have that $$\label{eq:SyMmetrY_fUNdam}
P^{\omEga}(t,z^0,Z) = p^{\Omega}(T,Z,z^0),\QUAd\fOrAlL\, t\iN (0,\iNFtY),\quad\HboX{ for almOst all } z^0, z\in\omeGa.$$ let $t_0>0$ and $z^0\in\unDErLine\Omega$. BEcaUse $p(t_0,z^0,\cdot)\in l^2(\OmEga;d\mu)$, ThEre IS a uniQue Weak sOlutioN, $U\in \cF((0,T)\Times\OmegA)$, fOR all $T>0$, tO The homoGENeOus eQuation with initiaL CoNDition $f=p(t_0,z^0,\cdot)$. using [@EPsTEiN_mAzzEo_cOnt_est CoroLlAry 4.1] toGEther wiTH [@STURM_1995 ThEOrem 2.1], it follows That the soluTIon $U$ is conTiNuoUS on $(0,T)\tiMes\unDeRLinE\Omega$. Since $U(t)=T^{\OMega}_t p^{\OmeGa}(t_0,z^0,\cdOT)$, the semIGroup prOperty ImpLieS thaT $U(t)=P^{\OMegA}(t+T_0,Z^0,\cdOT)$, aNd sO, The Function $P^{\OMeGa}(\cdoT,z^0,\cdOT)$ IS ContInuOus oN $(0,\inftY)\times\underliNe\OMega$, WHerE we usEd the Fact ThAt the PositiVe conStAnts $t_0$ and $T$ were arBitrArily chosEn. USiNg tHe SymmeTRy of thE fuNdaMental sOlution,, IT foLlOWS ThAt the function $p^{\OmegA}$ iS COnTinuous oN $(0,\infty)\TImEs\UNderline\omEga\TimeS\UNderlIne\OMEgA$. InterioR regulARiTy Of solutIoNs to paRaBolIc eQuatiONs wiTh smooTh coeffiCientS Implies that the FUnction $p^{\Omega}$ IS sMOOtH On $(0,\inFty)\Times \Omega\tImes \oMega$.

\[Lem:FUNdAm\_sOL\_diffErent\_DoMAiNS\] Let $\Omega_1\subset\OmegA_2\sUbseteQ S_{n,m}$ bE domains. Then wE have that $$\lABEL{eq:FundaM_sol_DIfFErent_domains}
p^{\OMega_1}(t,Z^0,z) \leq p^{\OmegA_2}(T,z^
}\times \underline\Omega$,  and is sm oothon$(0 ,\ inft y)\t imes \Omega\ti m es \ Omega$.

By the symmet ry pr op e rty, we  have  that $ $ \l a b el{ eq :S ymm et r y_ funda m}p^{\Ome ga}(t,z^0, z)=p^{\Omega}(t , z, z^0),\quad \fo rall\, t\in(0, \infty ), \qu a d\hbo x{for a lmosta ll } z ^0, z\in\ Om e ga.$$L et $t_0 > 0 $and$z^0\in\underline \ Om e ga$. Because $ p(t_0, z^ 0 ,\ c d ot) \in  L^2(\Omeg a; d\mu) $ , there is a uni q ue weak solut ion, $u\in\ cF( (0,T)\ ti mes \ Omega) $, fo ra ll$T>0$, to t he h omogeneou s equa t ion wit h  initia l cond iti on$f=p ( t_ 0, z^0 ,\ c dot ) $.  Us i ng[@Epstei n_ Ma zzeo_ cont _ e s t  Cor oll ary4.1]together with  [@ Stur m _19 95 Th eorem  2.1 ],  it f ollows  that  t he solution $u$  iscontinuou s o n$(0 ,T )\tim e s\unde rli ne\ Omega$.  Since$ u(t )= T ^ { \O mega}_t p^{\Omega} (t _ 0 ,z ^0,\cdot )$, th e  s em i group pr op ert y im p l ies t hat$ u( t)=p^{\O mega}( t +t _0 ,z^0,\c do t)$, a nd  so , t he fu n ctio n $p^{ \Omega}( \cdot , z^0,\cdot)$ is continuous on $( 0 , \i n fty) \ti mes\underli ne\O m ega$ , wh e re  we usedthe f ac t  t h at the positive con st ants $ t_0$and $T$ werearbitraril y c hosen. U sing th e  symmetry of t he fu ndamentals olution, , itfollowsthat thef u nction $ p^{ \Om ega }$i s  c ontinuous on$ ( 0,\i nf ty)\tim es\ underli ne\ Ome ga\ tim es \underlin e\Omega$ .In te ri orregul a rity ofso lut io nsto pa r abolic  equa tion swi t h s mooth c o ef f i cien ts  i mpli esth at th e fu n cti on $p^{ \Omega}$iss moot hon  $(0,\i nfty)\times \ Om ega\times\O meg a$.

\ [ l em:Funda m\_sol\_different\_doma i ns\] Le t $ \Omeg a_1\ subset\Om ega _2\sub set e q S_{n ,m}$ b e dom ai ns. T hen w e ha veth at $$\labe l { eq: Funda m_ sol_ differe nt_domains}
p^{\Om e ga_ 1}(t,z^0,z) \ leq  p^{ \ O me ga_ 2 }( t ,z^ 
}\times \underline\Omega$,_and is_smooth on $(0,\infty)\times \Omega\times_\Omega$.

By the_symmetry_property, we_have_that $$\label{eq:Symmetry_fundam}
p^{\Omega}(t,z^0,z) =_p^{\Omega}(t,z,z^0),\quad\forall\, t\in (0,\infty),\quad\hbox{_for almost all }_z^0, z\in\Omega.$$ Let_$t_0>0$_and $z^0\in\underline\Omega$. Because $p(t_0,z^0,\cdot)\in L^2(\Omega;d\mu)$, there is a unique weak solution, $u\in \cF((0,T)\times\Omega)$, for_all_$T>0$, to_the_homogeneous_equation with initial condition $f=p(t_0,z^0,\cdot)$._Using [@Epstein_Mazzeo_cont_est Corollary 4.1] together_with [@Sturm_1995_Theorem 2.1], it follows that the solution $u$_is_continuous on $(0,T)\times\underline\Omega$._Since $u(t)=T^{\Omega}_t p^{\Omega}(t_0,z^0,\cdot)$, the semigroup property implies that $u(t)=p^{\Omega}(t+t_0,z^0,\cdot)$,_and so, the function $p^{\Omega}(\cdot,z^0,\cdot)$ is_continuous on $(0,\infty)\times\underline\Omega$,_where_we_used the fact that_the positive constants $t_0$ and $T$_were arbitrarily chosen. Using the symmetry_of the fundamental solution,, it follows that_the function $p^{\Omega}$ is continuous on_$(0,\infty)\times\underline\Omega\times\underline\Omega$. Interior regularity of solutions_to parabolic_equations with smooth coefficients implies_that the function_$p^{\Omega}$ is_smooth on $(0,\infty)\times_\Omega\times \Omega$.

\[lem:Fundam\_sol\_different\_domains\] Let $\Omega_1\subset\Omega_2\subseteq S_{n,m}$ be_domains. Then we_have that $$\label{eq:Fundam_sol_different_domains}
p^{\Omega_1}(t,z^0,z) \leq p^{\Omega_2}(t,z^