 0$ a.e. in $(0,\infty) \times {{\mathbb{R}^n}}$ provided $f \geq 0$ a.e. in ${{\mathbb{R}^n}}$.

Proposition \[prop:existence-energy-solutions\] is folklore but it cannot be read easily from the current literature. The nature of the time derivative is one of the main concerns here. Typically, the existence class is too large because of data unnecessarily general for our purposes, or the spatial domain is bounded (see e.g. [@Boegelein2014; @Chill2010; @DiBenedetto1989; @Fontes2009c; @Lions; @Wieser1987]). Therefore we give a self-contained proof at the end of the section.

With Proposition \[prop:existence-energy-solutions\] at hand, we can use *a priori* estimates for weak solutions to infer further regularity of $u$.

\[prop:Lipschitz\] Let $u$ be a weak solution to $\dot{u} - \Delta_p u = 0$ in an open cylinder $(t_1,t_2) \times \Omega$. Then $\nabla u \in L^\infty_{loc}(
    (t_1,t_2) \times \Omega)$.

In fact, $\nabla u$ is even locally Hölder continuous [@Benedetto-Friedman85], but we do not need this more involved result.

\[prop:dibenedetto\_regularity\] Let $f \in L^{2}(\mathbb{R}^{n}) \cap \dot{W}^{1,p}(\mathbb{R}^{n})$ be non-negative and let $u$ be the energy solution to. Then $u \in L^\infty(({\epsilon},\infty) \times {{\mathbb{R}^n}})$ for every ${\epsilon}>0$.

Proposition \[prop:existence-energy-solutions\] guarantees that the solution $u$ is non-negative. Let ${\epsilon}> 0$ and fix $t_0 > {\epsilon}$, $x_0 \in {{\mathbb{R}^n}}$. By the local sup-estimate of Theorem V.4.2 in [@DiBenedetto1993a], there is a constant $C=C({\epsilon},n,p)$ such that $$\begin{aligned}
u(t,x
0 $ a.e.   in $ (0,\infty) \times { { \mathbb{R}^n}}$ provided $ f \geq 0 $ a.e.   in $ { { \mathbb{R}^n}}$. 

 Proposition   \[prop: existence - energy - solutions\ ] is folklore but it cannot be read well from the current literature. The nature of the meter derivative is one of the main concern here. Typically, the universe class is too big because of datum unnecessarily general for our purposes, or the spatial domain is bounded (see for example   [ @Boegelein2014; @Chill2010; @DiBenedetto1989; @Fontes2009c; @Lions; @Wieser1987 ]). Therefore we give a self - contained proof at the goal of the section. 

 With Proposition   \[prop: existence - energy - solutions\ ] at hand, we can use * a priori * estimate for weak solutions to infer further regularity of $ u$. 

 \[prop: Lipschitz\ ] lease $ u$ be a weak solution to $ \dot{u } - \Delta_p u = 0 $ in an open cylinder $ (t_1,t_2) \times \Omega$. Then $ \nabla u \in L^\infty_{loc } (
     (t_1,t_2) \times \Omega)$. 

 In fact, $ \nabla u$ is even locally Hölder continuous   [ @Benedetto - Friedman85 ], but we do not necessitate this more involved result. 

 \[prop: dibenedetto\_regularity\ ] Let $ f \in L^{2}(\mathbb{R}^{n }) \cap \dot{W}^{1,p}(\mathbb{R}^{n})$ be non - negative and let $ u$ be the department of energy solution to. Then $ u \in L^\infty(({\epsilon},\infty) \times { { \mathbb{R}^n}})$ for every $ { \epsilon}>0$. 

 Proposition   \[prop: existence - energy - solutions\ ] guarantees that the solution $ u$ is non - negative. Let $ { \epsilon } > 0 $ and sterilize $ t_0 > { \epsilon}$, $ x_0 \in { { \mathbb{R}^n}}$. By the local sup - estimate of Theorem   V.4.2 in [ @DiBenedetto1993a ], there is a constant $ C = C({\epsilon},n, p)$ such that $ $ \begin{aligned } 
 u(t, x
 0$ a.f. in $(0,\infty) \times {{\mathbb{R}^n}}$ provided $f \geq 0$ a.e. in ${{\kathbb{D}^n}}$.

Proposktion \[prop:existence-energy-soluvionw\] is dolklore but it cannot be read vasily frim tie current literefure. Thc nathve of vhe time derivajive is one mf the main cotcdrus here. Typically, the existence clasf is top parge because jf dsea uhnecessarily general for our purpoaes, or uhe spatial domain is bounded (see e.g. [@Boegeleij2014; @Chlll2010; @DiBenedetto1989; @Fojtes2009c; @Lions; @Wiefwr1987]). Therefore we give a self-containgd proof at the end of the sectiun.

Witk Propositiin \[proo:gxistence-enecgy-solltions\] at hand, we can use *a lriori* estimatcs foc weqk solutions to infer further regulariti of $u$.

\[prop:Ni'schitz\] Let $u$ be a weqk solujion do $\dur{u} - \Demte_p h = 0$ in an open cylihder $(t_1,t_2) \timws \Omega$. Then $\nabla u \pm L^\infty_{loc}(
    (t_1,t_2) \eiies \Omega)$.

In fact, $\nabla u$ is even locallj Hölser continuous [@Benedetto-Driedman85], but we do noj need thif more involved result.

\[prop:dibenedetto\_regularity\] Lat $f \mn L^{2}(\mcbmbb{R}^{v}) \cwp \dot{W}^{1,p}(\mathbb{R}^{n})$ be non-negative and let $u$ be ege ekergy solution tj. Then $u \in L^\lngjy(({\epsilon},\infty) \times {{\mafhbb{R}^n}})$ for every ${\eosilon}>0$.

Ptoposirion \[prop:evistrnce-energy-solutions\] guarantwes that the wolution $u$ is non-nzgative. Let ${\zpsilom}> 0$ anc fix $t_0 > {\epsilon}$, $x_0 \in {{\mcthbb{R}^h}}$. By the lofal sup-esfkmate of Theorem X.4.2 ik [@DhBenedetuu1993a], there is a conftant $C=C({\e'silou},n,p)$ such thaj $$\begin{wligned}
u(t,x
0$ a.e. in $(0,\infty) \times {{\mathbb{R}^n}}$ provided 0$ in ${{\mathbb{R}^n}}$. \[prop:existence-energy-solutions\] is folklore easily the current literature. nature of the derivative is one of the main here. Typically, the existence class is too large because of data unnecessarily general our purposes, or the spatial domain is bounded (see e.g. [@Boegelein2014; @Chill2010; @DiBenedetto1989; @Lions; Therefore give self-contained proof at the end of the section. With Proposition \[prop:existence-energy-solutions\] at hand, we can use priori* estimates for weak solutions to infer further of $u$. \[prop:Lipschitz\] Let be a weak solution to - u = in open $(t_1,t_2) \times \Omega$. $\nabla u \in L^\infty_{loc}( (t_1,t_2) \times \Omega)$. In fact, $\nabla u$ is even locally Hölder continuous [@Benedetto-Friedman85], we do this more result. Let \in L^{2}(\mathbb{R}^{n}) \cap non-negative and let $u$ be the Then $u \in L^\infty(({\epsilon},\infty) \times {{\mathbb{R}^n}})$ for every Proposition \[prop:existence-energy-solutions\] that the solution $u$ is non-negative. ${\epsilon}> 0$ and fix $t_0 > {\epsilon}$, $x_0 {{\mathbb{R}^n}}$. By the local sup-estimate of Theorem V.4.2 in [@DiBenedetto1993a], there is a constant $C=C({\epsilon},n,p)$ $$\begin{aligned} u(t,x
 0$ a.e. in $(0,\infty) \times {{\mathbb{R}^n}}$ proVided $f \geq 0$ a.E. in ${{\maThbB{R}^n}}$.

prOposItioN \[prop:existence-ENergY-solutions\] is folklore buT it caNnOT be rEAd EasilY from thE CuRREnt LiTeRatUrE. thE natuRe oF the timE derivativE is OnE of the main coNCeRns here. TypIcaLly, the existeNce Class iS tOo lARge beCauSe of dAta unnECessarIly generaL fOR our puRPoses, or THE sPatiAl domain is bounded (SEe E.G. [@Boegelein2014; @ChilL2010; @DiBenEdETtO1989; @fOntEs2009c; @lions; @WieseR1987]). THerefORe we givE A sELF-ConTAined proof at tHe end of the sECtiOn.

With prOpoSItion \[pRop:exIsTEncE-energy-soluTionS\] at hand, we Can use *A Priori* eSTimates For weaK soLutIons TO iNfEr fUrTHer REgUlaRIty Of $u$.

\[prop:LIpScHitz\] LEt $u$ bE A WEAk soLutIon tO $\dot{u} - \delta_p u = 0$ in an opEn cYlinDEr $(t_1,T_2) \timeS \OmegA$. TheN $\nAbla u \In L^\infTy_{loc}(
    (T_1,t_2) \Times \Omega)$.

In facT, $\nabLa u$ is even LocAlLy HÖlDer coNTinuouS [@BeNedEtto-FriEdman85], buT We dO nOT NEeD this more involved rEsULT.

\[pRop:dibenEdetto\_REgUlARity\] Let $f \In l^{2}(\maThbb{r}^{N}) \Cap \doT{W}^{1,p}(\mAThBb{R}^{n})$ be noN-negatIVe AnD let $u$ be ThE energY sOluTioN to. ThEN $u \in l^\infty(({\Epsilon},\iNfty) \tIMes {{\mathbb{R}^n}})$ for EVery ${\epsilon}>0$.

PrOPoSITiON \[proP:exIstence-enerGy-soLUtioNs\] guARaNteES that The soLuTIoN $U$ is non-negative. Let ${\epSiLon}> 0$ and Fix $t_0 > {\ePsilon}$, $x_0 \in {{\mathBb{R}^n}}$. By the lOCAL sup-estiMate OF THEorem V.4.2 in [@DiBeneDetto1993A], there is a cONstant $C=C({\EpsilOn},n,p)$ such That $$\begin{ALIgned}
u(t,x
 0$ a.e. in $(0,\infty) \t imes {{\ma thbb{ R}^ n}} $prov ided  $f \geq 0$ a. e . in  ${{\mathbb{R}^n}}$.
Propo si t ion\ [p rop:e xistenc e -e n e rgy -s ol uti on s \]  is f olk lore bu t it canno t b eread easilyf ro m the curr ent  literature.  Th e natu re  of the t ime  deri vative is one  of the m ai n  conce r ns here . Ty pica lly, the existenc e  c l ass is too lar ge bec au s eo f  da taunnecessar il y gen e ral for ou r p urp o ses, or the s patial doma i n i s boun de d ( s ee e.g . [@B oe g ele in2014; @Ch ill2 010; @DiB enedet t o1989;@ Fontes2 009c;@Li ons ; @W i es er 198 7] ) . T h er efo r e w e give a  s el f-con tain e d p roof  at  the  endof the sectio n.
Wit h  Pr oposi tion\[pr op :exis tence- energ y- solutions\] athand , we canuse  * a p ri ori*e stimat esfor  weak s olution s  to  i n f e rfurther regularity  o f $u $.

\[pr op:Lip s ch it z \] Let $ u$  be  a w e a k sol utio n  t o $\dot{ u} - \ D el ta _p u =0$  in an  o pen  cy linde r  $(t _1,t_2 ) \times  \Ome g a$. Then $\nab l a u \in L^\in f ty _ { lo c }(
  (t_1,t_2) \ time s  \Om ega) $ .
In fact,  $\na bl a  u $  is even locally Hö ld er con tinuo us [@Benedett o-Friedman 8 5 ] , but we  don ot need this more  invo lved resul t .

\[pro p:dib enedetto \_regular i t y\] Let$f\in  L^ {2} ( \ ma thbb{R}^{n})\ c ap \ do t{W}^{1 ,p} (\mathb b{R }^{ n}) $ b enon-negat ive andle t$u $bethe e n ergy sol ut ion  t o.Then$ u \inL^\in fty( ({ \e p sil on},\in f ty ) \tim es  { {\ma thb b{ R}^n} })$f orevery $ {\epsilon }>0 $ .

P ro po sition\[prop:existe nc e-energy-s ol uti ons\]g u arantees  that the solution $u$i s non-n ega tive.  Let  ${\epsil on} > 0$ a ndf ix $t_ 0 > {\ epsil on }$, $ x_0 \ i n  { {\m at hbb{R}^n}} $ .  By  thelo calsup-est imate of Theorem V . 4.2  in [@DiBened ett o199 3 a ],  th e re isac ons t a nt $C=C({\epsil on},n,p)$su c hthat $$\be g in{ al igned}u(t,x
 0$_a.e. in $(0,\infty)_\times {{\mathbb{R}^n}}$ provided $f_\geq 0$_a.e. in_${{\mathbb{R}^n}}$.

Proposition \[prop:existence-energy-solutions\] is_folklore_but it cannot_be read easily_from the current literature._The nature of_the_time derivative is one of the main concerns here. Typically, the existence class is_too_large because_of_data_unnecessarily general for our purposes,_or the spatial domain is_bounded (see_e.g. [@Boegelein2014; @Chill2010; @DiBenedetto1989; @Fontes2009c; @Lions; @Wieser1987]). Therefore we_give_a self-contained proof_at the end of the section.

With Proposition \[prop:existence-energy-solutions\] at hand,_we can use *a priori* estimates_for weak solutions_to_infer_further regularity of $u$.

\[prop:Lipschitz\]_Let $u$ be a weak solution_to $\dot{u} - \Delta_p u =_0$ in an open cylinder $(t_1,t_2) \times_\Omega$. Then $\nabla u \in L^\infty_{loc}(
_   (t_1,t_2) \times_\Omega)$.

In fact,_$\nabla u$ is even locally_Hölder continuous [@Benedetto-Friedman85], but_we do_not need this_more involved result.

\[prop:dibenedetto\_regularity\] Let $f \in_L^{2}(\mathbb{R}^{n}) \cap \dot{W}^{1,p}(\mathbb{R}^{n})$_be non-negative and let $u$ be_the_energy solution to._Then_$u_\in L^\infty(({\epsilon},\infty)_\times {{\mathbb{R}^n}})$ for_every_${\epsilon}>0$.

Proposition \[prop:existence-energy-solutions\] guarantees_that_the solution $u$ is non-negative. Let_${\epsilon}>_0$ and fix $t_0 > {\epsilon}$, $x_0_\in {{\mathbb{R}^n}}$. By the_local_sup-estimate of Theorem V.4.2 in_[@DiBenedetto1993a], there is a constant_$C=C({\epsilon},n,p)$ such that $$\begin{aligned}
u(t,x