 G$.

Suppose, for contradiction, that $$c: = \max_{x \in G} (   u(0,x)  - h(x) ) > 0.$$ Note that the maximum $c$ is finite and achieved in the interior since $h(x) \ge u^{*}(x) \geq u(0,x) $ for $x \in \partial G$ and $u$ and $h$ are continuous. Let $x_0 \in G$ be such that $$c =   u(0,x_0)  - h(x_0).$$ Consider now the function $h_c = h + c$. By choice of $c$, we have that $u(0,x) \le h_c(x)$ for $x \in G$, and by the counter-assumption $u \leq h_c$ also on $[0,T) \times \partial G$. It follows from the assumption on $u$ that $u \le h + c$ in $(0,T) \times G$. Thus, by the definition of $c$ and $x_0$, we have for all $t \in (0,T)$ that $$u(t,x_0) \le h(x_0) + c =  u (0, x_0).$$ Taking the supremum in $t$, we obtain $u^{*}(x_0) \le u(0,x)$, which violates $x_0 \in G  \subset E$. This contradiction implies $c \le 0$.

Consequently, we have $u(0,x) \le h(x)$ for $x \in \overline{G}$, and further $u(t,x) \leq h(x)$ for all $(t,x) \in [0,T) \times \partial G$ by the choice of $h$. The assumed comparison property of $u$ yields $u(t,x) \leq h(x)$ for all $(t,x) \in (0,T) \times G$. Taking the supremum in $t$ implies $u^{*}(x) \leq h(x)$ for all $x \in G$ as claimed.

We use this lemma to give the

Let $T > 1$ and define the truncated maximal function $$S^{*,T} f(x)
G$. 

 Suppose, for contradiction, that $ $ c: = \max_{x \in G } (   u(0,x)   - h(x) ) > 0.$$ Note that the maximum $ c$ is finite and achieve in the department of the interior since $ h(x) \ge u^{*}(x) \geq u(0,x) $ for $ x \in \partial G$ and $ u$ and $ h$ are continuous. Let $ x_0 \in G$ be such that $ $ c =    u(0,x_0)   - h(x_0).$$ think immediately the function $ h_c = h + c$. By option of $ c$, we have that $ u(0,x) \le h_c(x)$ for $ x \in G$, and by the counter - assumption $ uracil \leq h_c$ also on $ [ 0,T) \times \partial G$. It follows from the presumption on $ u$ that $ u \le h + c$ in $ (0,T) \times G$. Thus, by the definition of $ c$ and $ x_0 $, we get for all $ t \in (0,T)$ that $ $ u(t, x_0) \le h(x_0) + c =   u (0, x_0).$$ Taking the supremum in $ t$, we obtain $ u^{*}(x_0) \le u(0,x)$, which violates $ x_0 \in G   \subset E$. This contradiction implies $ coke \le 0$. 

 Consequently, we have $ u(0,x) \le h(x)$ for $ x \in \overline{G}$, and further $ u(t, x) \leq h(x)$ for all $ (t, x) \in [ 0,T) \times \partial G$ by the choice of $ h$. The bear comparison property of $ u$ yields $ u(t, x) \leq h(x)$ for all $ (t, x) \in (0,T) \times G$. Taking the supremum in $ t$ implies $ u^{*}(x) \leq h(x)$ for all $ x \in G$ as claim. 

 We use this lemma to give the 

 Let $ T > 1 $ and define the abbreviated maximal function $ $ S^{*,T } f(x )
 G$.

Skppose, for contradiction, that $$c: = \max_{x \iu G} (   n(0,x)  - h(x) ) > 0.$$ Note that the maximum $c$ is finitx ane achueved in the interior rince $h(x) \he u^{*}(x) \gew u(0,x) $ for $x \in \'zrtial N$ and $m$ and $i$ are continuoux. Let $x_0 \in G$ be such thad $$z =   u(0,x_0)  - h(x_0).$$ Consider now the functiog $h_c = h + f$. By choice of $c$, wt hwve fhat $u(0,x) \le h_c(x)$ for $x \in G$, and by tge counuer-assumption $u \lea h_c$ also on $[0,T) \times \partiwl G$. It follows from tje assumptiin og $u$ that $u \le h + c$ in $(0,T) \times G$. Thua, by the definition of $c$ and $x_0$, de hare for all $j \jn (0,J)$ that $$u(t,x_0) \lx h(x_0) + b =  u (0, x_0).$$ Takikb the vupremuk in $t$, we obtaln $u^{*}(x_0) \le u(0,x)$, which violates $x_0 \mn G  \subset E$. This sontradicdikn implies $c \le 0$.

Cinwequettly, we fqve $u(0,x) \lx h(s)$ for $d \ii \overline{G}$, and furthee $u(t,x) \leq h(x)$ for alk $(e,q) \in [0,T) \times \lartiaj D$ by the choice of $h$. The assumed comparpson property of $u$ yields $u(r,x) \leq h(x)$ for all $(t,x) \ln (0,T) \timef G$. Taking the supremum in $t$ implies $u^{*}(x) \leq h(x)$ fos all $b \iu G$ as xlwimed.

We use this lemma to give the

Let $T > 1$ and segike the truncated maximal fumchipg $$S^{*,T} f(x)
G$. Suppose, for contradiction, that $$c: = G} u(0,x) - ) > 0.$$ is and achieved in interior since $h(x) u^{*}(x) \geq u(0,x) $ for $x \partial G$ and $u$ and $h$ are continuous. Let $x_0 \in G$ be that $$c = u(0,x_0) - h(x_0).$$ Consider now the function $h_c = h c$. choice $c$, have that $u(0,x) \le h_c(x)$ for $x \in G$, and by the counter-assumption $u \leq h_c$ on $[0,T) \times \partial G$. It follows from assumption on $u$ that \le h + c$ in \times Thus, by definition $c$ $x_0$, we have all $t \in (0,T)$ that $$u(t,x_0) \le h(x_0) + c = u (0, x_0).$$ Taking the supremum $t$, we \le u(0,x)$, violates \in \subset E$. This $c \le 0$. Consequently, we have for $x \in \overline{G}$, and further $u(t,x) \leq for all \in [0,T) \times \partial G$ by choice of $h$. The assumed comparison property of yields $u(t,x) \leq h(x)$ for all $(t,x) \in (0,T) \times G$. Taking the supremum in $u^{*}(x) \leq h(x)$ for $x \in G$ claimed. use lemma give the $T > 1$ and define the truncated maximal function $$S^{*,T} f(x)
 G$.

Suppose, for contradiction, tHat $$c: = \max_{x \in g} (   u(0,x)  - h(x) ) > 0.$$ notE thAt The mAximUm $c$ is finite and AChieVed in the interior since $h(X) \ge u^{*}(x) \GeQ U(0,x) $ foR $X \iN \partIal G$ and $U$ AnD $H$ Are CoNtInuOuS. leT $x_0 \in G$ Be sUch that $$C =   u(0,x_0)  - h(x_0).$$ ConsiDer NoW the function $H_C = h + C$. By choice oF $c$, wE have that $u(0,x) \lE h_c(X)$ for $x \iN G$, And BY the cOunTer-asSumptiON $u \leq h_C$ also on $[0,T) \tImES \partiAL G$. It folLOWs From The assumption on $u$ tHAt $U \Le h + c$ in $(0,T) \times G$. THus, by tHe DEfINItiOn oF $c$ and $x_0$, we haVe For alL $T \in (0,T)$ thaT $$U(t,X_0) \LE H(x_0) + c =  U (0, X_0).$$ Taking the supRemum in $t$, we oBTaiN $u^{*}(x_0) \le u(0,X)$, wHicH ViolatEs $x_0 \in g  \sUBseT E$. This contrAdicTion impliEs $c \le 0$.

CONsequenTLy, we havE $u(0,x) \le h(X)$ foR $x \iN \oveRLiNe{g}$, anD fURthER $u(T,x) \lEQ h(x)$ For all $(t,x) \In [0,t) \tImes \pArtiAL g$ BY the ChoIce oF $h$. The Assumed comparIsoN proPErtY of $u$ yIelds $U(t,x) \lEq H(x)$ for All $(t,x) \iN (0,T) \timEs g$. Taking the supreMum iN $t$ implies $U^{*}(x) \lEq H(x)$ fOr All $x \iN g$ as claImeD.

We Use this Lemma to GIve ThE

lET $T > 1$ And define the truncaTeD MAxImal funcTion $$S^{*,T} F(X)
 G$.

Suppose, for contrad iction, th at $$ c:= \ ma x_{x  \in  G} (   u(0,x)  - h (x) ) > 0.$$ Note that  thema x imum $c $ isfinitea nd a chi ev ed  in  t h einter ior  since$h(x) \geu^{ *} (x) \geq u(0 , x)  $ for $x\in  \partial G$  an d $u$an d $ h $ are  co ntinu ous. L e t $x_0  \in G$ b es uch th a t $$c =  u (0,x _0)  - h(x_0).$$C on s ider now the f unctio n$ h_ c = h  +c$. By cho ic e of$ c$, weh av e t hat $u(0,x) \le h _c(x)$ for$ x \ in G$,  a ndb y thecount er - ass umption $u\leq  h_c$ als o on $ [ 0,T) \t i mes \pa rtialG$.  It  fol l ow sfro mt hea ss ump t ion  on $u$th at  $u \ le h + c $ in  $( 0,T)  \tim es G$. Thus,bythed efi nitio n of$c$an d $x_ 0$, we  have  f or all $t \in ( 0,T) $ that $$ u(t ,x _0)  \ le h( x _0) +c =   u  (0, x_ 0).$$ T a kin gt h e  s upremum in $t$, we  o b t ai n $u^{*} (x_0)\ le  u ( 0,x)$, w hi chviol a t es $x _0 \ i nG  \subs et E$. Th is  contra di ctionim pli es$c \l e  0$. 

Cons equently , weh ave $u(0,x) \l e  h(x)$ for $x \i n \o v erli ne{ G}$, and fu rthe r  $u( t,x) \l eqh (x)$for a ll $( t ,x) \in [0,T) \time s\parti al G$  by the choic e of $h$.T h e  assumed  com p ar i son property o f $u$  yields $u ( t,x) \le q h(x )$ for a ll $(t,x) \ in (0,T)  \t ime s G $.T a ki ng the suprem u m  in$t $ impli es$u^{*}( x)\le q h (x) $for all $ x \in G$  a scl ai med .

We use this  l emm atogivet he

Le t $T> 1$  a nd def ine the tr u n cate dma xima l f un ction  $$S ^ {*, T} f(x) 
 G$.

Suppose,_for contradiction,_that $$c: = \max_{x_\in G}_(_ _u(0,x)_ - h(x)_) > 0.$$_Note that the maximum_$c$ is finite_and_achieved in the interior since $h(x) \ge u^{*}(x) \geq u(0,x) $ for $x \in_\partial_G$ and_$u$_and_$h$ are continuous. Let $x_0_\in G$ be such that_$$c =_  u(0,x_0)  - h(x_0).$$ Consider now_the_function $h_c =_h + c$. By choice of $c$, we have_that $u(0,x) \le h_c(x)$ for $x_\in G$, and_by_the_counter-assumption $u \leq h_c$_also on $[0,T) \times \partial G$._It follows from the assumption on_$u$ that $u \le h + c$_in $(0,T) \times G$. Thus, by_the definition of $c$ and_$x_0$, we_have for all $t \in_(0,T)$ that $$u(t,x_0)_\le h(x_0)_+ c =_ u (0, x_0).$$ Taking the_supremum in $t$,_we obtain $u^{*}(x_0) \le u(0,x)$, which_violates_$x_0 \in G__\subset_E$. This_contradiction implies $c_\le_0$.

Consequently, we_have_$u(0,x) \le h(x)$ for $x \in_\overline{G}$,_and further $u(t,x) \leq h(x)$ for all_$(t,x) \in [0,T) \times_\partial_G$ by the choice_of $h$. The assumed comparison_property of $u$ yields $u(t,x) \leq_h(x)$ for_all $(t,x)_\in (0,T) \times G$. Taking the supremum in $t$ implies $u^{*}(x)_\leq h(x)$ for all $x \in_G$ as claimed.

We use_this lemma_to_give the

Let $T_>_1$ and_define the truncated maximal function $$S^{*,T} f(x)