g$ and $u_n$ at $z$ and compare them. Let $y$ be the closest point to $z$ in $\partial \Omega_n$, then $|z-y|\le \delta_n$ and given $\delta >0$ we have $$|g(z)-g_m(y)|\le |g(z)-g_m(z)|+|g_m(z)-g_m(y)|\le \delta$$ provided $m$ is sufficiently large and also $n=n(m)$ is sufficiently large. Let $p$ be the (not discrete) barrier function from the proof of Lemma \[lemma\_5\_1\] associated with $\Omega_n$, $z\in \Omega_n$, i.e. $$p(x) = e^{\lambda |x-\tilde x|^2}-e^{\lambda |\tilde z-\tilde x|^2}$$ where $\tilde x, \tilde z$ are chosen accordingly to the proof of Lemma \[lemma\_5\_1\] and we may arrange it so that $\tilde z$ equals the above specified $y$, i.e. $y=\tilde z$. We define the function $$b_m^{-}:= p(x)+g_m(y)-C_0|x-y|$$ where $C_0\ge \|g_m\|_{C^1(\bar \Omega)}$. Clearly, $b_m^{-}\le g_m$ in $\bar \Omega$ in view of $p\le 0$ in $\bar \Omega$ and we also have that $$T_{\varepsilon}[b_m^{-}]\ge f_m\quad \text{ in } \Omega_n$$ provided $\lambda$ is sufficiently large. Hence by the comparison principle we conclude that $$b_m^{-}\le u_m \quad \text{ in } \Omega_n.$$ Evaluating this inequality in $z$ and retranslation by using the definition of $b_m^{-}$ leads to $$g_m(y)-C_m\delta_n \le u_m(z)$$ where $C_m>0$ is a constant which may depend on $m$ (but not on $n$). Similarly, using $$b_m^{+}(x):=-p(x)+g_m(y)+C_0|x-y|$$ as upper barrier function for $u_m$ which is $
g$ and $ u_n$ at $ z$ and compare them. Let $ y$ be the closest point to $ z$ in $ \partial \Omega_n$, then $ |z - y|\le \delta_n$ and given $ \delta > 0 $ we get $ $ |g(z)-g_m(y)|\le |g(z)-g_m(z)|+|g_m(z)-g_m(y)|\le \delta$$ provide $ m$ is sufficiently large and also $ n = n(m)$ is sufficiently large. get $ p$ be the (not discrete) barrier function from the proof of Lemma \[lemma\_5\_1\ ] associate with $ \Omega_n$, $ z\in \Omega_n$, i.e. $ $ p(x) = e^{\lambda |x-\tilde x|^2}-e^{\lambda |\tilde z-\tilde x|^2}$$ where $ \tilde x, \tilde z$ are chosen accordingly to the validation of Lemma \[lemma\_5\_1\ ] and we may dress it so that $ \tilde z$ equals the above specify $ y$, i.e. $ y=\tilde z$. We define the function $ $ b_m^{-}:= p(x)+g_m(y)-C_0|x - y|$$ where $ C_0\ge \|g_m\|_{C^1(\bar \Omega)}$. distinctly, $ b_m^{-}\le g_m$ in $ \bar \Omega$ in scene of $ p\le 0 $ in $ \bar \Omega$ and we also get that $ $ T_{\varepsilon}[b_m^{-}]\ge f_m\quad \text { in } \Omega_n$$ provided $ \lambda$ is sufficiently large. therefore by the comparison principle we conclude that $ $ b_m^{-}\le u_m \quad \text { in } \Omega_n.$$ Evaluating this inequality in $ z$ and retranslation by use the definition of $ b_m^{-}$ leads to $ $ g_m(y)-C_m\delta_n \le u_m(z)$$ where $ C_m>0 $ is a constant which may depend on $ m$ (but not on $ n$). Similarly, practice $ $ b_m^{+}(x):=-p(x)+g_m(y)+C_0|x - y|$$ as upper barrier function for $ u_m$ which is $
g$ ajd $u_n$ at $z$ and compare tmem. Let $y$ be the closesv point to $z$ in $\partial \Omega_n$, then $|z-y|\le \deptq_n$ ane given $\delta >0$ we have $$|g(z)-g_m(y)|\le |h(z)-g_m(z)|+|g_m(z)-t_m(y)|\lt \delta$$ provided $m$ is sufnncienfpy lcrje and also $n=n(m)$ is suffichently large. Lat $p$ be the (not discrete) barrier functijn from tje proof of Leima \[kqmma\_5\_1\] associated with $\Omega_n$, $z\in \Omega_n$, i.e. $$p(x) = e^{\lambda |x-\tilce x|^2}-e^{\lambda |\tilde z-\tilde x|^2}$$ whege $\tilde x, \tilde z$ are chosen accjedingly to tfe proof of Lemma \[lemmz\_5\_1\] and we may arrange it so that $\tildz z$ equals jkw ahmve specifixd $y$, i.v. $y=\tilde z$. We define dhe funvtion $$b_m^{-}:= p(x)+g_m(y)-G_0|x-y|$$ wiere $C_0\ge \|g_m\|_{C^1(\bar \Omega)}$. Cleerly, $b_m^{-}\le g_m$ in $\bar \Jmega$ in eizw of $p\le 0$ in $\bar \Ometa$ and fe anso fqve thzt $$T_{\barepslloi}[b_m^{-}]\ge f_m\quas \text{ in } \Imega_n$$ provided $\lamndw$ is sufficienfly lawgq. Hence by the comparison principle we boncmude that $$b_m^{-}\le u_m \quad \rext{ in } \Omega_n.$$ Evaluwting thif inequality in $z$ and retranslation by using the gefinmtkon on $b_m^{-}$ oewds to $$g_m(y)-C_m\delta_n \le u_m(z)$$ where $C_m>0$ is a constwht wmich may depend jn $m$ (but noy ln $g$). Similarly, uring $$b_m^{+}(x):=-p(s)+g_m(y)+C_0|x-y|$$ as upper bwrrier sunctuon for $u_i$ whoch is $
g$ and $u_n$ at $z$ and compare $y$ the closest to $z$ in and $\delta >0$ we $$|g(z)-g_m(y)|\le |g(z)-g_m(z)|+|g_m(z)-g_m(y)|\le \delta$$ $m$ is sufficiently large and also is sufficiently large. Let $p$ be the (not discrete) barrier function from the of Lemma \[lemma\_5\_1\] associated with $\Omega_n$, $z\in \Omega_n$, i.e. $$p(x) = e^{\lambda |x-\tilde |\tilde x|^2}$$ $\tilde \tilde z$ are chosen accordingly to the proof of Lemma \[lemma\_5\_1\] and we may arrange it that $\tilde z$ equals the above specified $y$, $y=\tilde z$. We define function $$b_m^{-}:= p(x)+g_m(y)-C_0|x-y|$$ where $C_0\ge \Omega)}$. $b_m^{-}\le g_m$ $\bar in of $p\le 0$ $\bar \Omega$ and we also have that $$T_{\varepsilon}[b_m^{-}]\ge f_m\quad \text{ in } \Omega_n$$ provided $\lambda$ is sufficiently Hence by principle we that u_m \text{ in } this inequality in $z$ and retranslation definition of $b_m^{-}$ leads to $$g_m(y)-C_m\delta_n \le u_m(z)$$ $C_m>0$ is constant which may depend on $m$ not on $n$). Similarly, using $$b_m^{+}(x):=-p(x)+g_m(y)+C_0|x-y|$$ as upper function for $u_m$ which is $
g$ and $u_n$ at $z$ and compare them. LeT $y$ be the cloSest pOinT to $Z$ iN $\parTial \omega_n$, then $|z-y|\le \DElta_N$ and given $\delta >0$ we have $$|g(z)-G_m(y)|\le |G(z)-G_M(z)|+|g_m(Z)-G_m(Y)|\le \deLta$$ provIDeD $M$ Is sUfFiCieNtLY lArge aNd aLso $n=n(m)$ iS sufficienTly LaRge. Let $p$ be the (NOt Discrete) baRriEr function frOm tHe prooF oF LeMMa \[lemMa\_5\_1\] aSsociAted wiTH $\Omega_N$, $z\in \Omega_N$, i.E. $$P(x) = e^{\lamBDa |x-\tildE X|^2}-E^{\lAmbdA |\tilde z-\tilde x|^2}$$ wherE $\TiLDe x, \tilde z$ are chOsen acCoRDiNGLy tO thE proof of LeMmA \[lemmA\_5\_1\] And we maY ArRANGe iT So that $\tilde z$ eQuals the aboVE spEcifieD $y$, I.e. $y=\TIlde z$. WE defiNe THe fUnction $$b_m^{-}:= p(x)+G_m(y)-C_0|X-y|$$ where $C_0\gE \|g_m\|_{C^1(\baR \omega)}$. ClEArly, $b_m^{-}\lE g_m$ in $\bAr \OMegA$ in vIEw Of $P\le 0$ In $\BAr \OMEgA$ anD We aLso have tHaT $$T_{\VarepSiloN}[B_M^{-}]\GE f_m\qUad \Text{ In } \OmeGa_n$$ provided $\laMbdA$ is sUFfiCientLy larGe. HeNcE by thE compaRison PrInciple we concluDe thAt $$b_m^{-}\le u_m \qUad \TeXt{ iN } \OMega_n.$$ eValuatIng ThiS inequaLity in $z$ ANd rEtRANSlAtion by using the defInITIoN of $b_m^{-}$ leaDs to $$g_m(Y)-c_m\DeLTa_n \le u_m(z)$$ WhEre $c_m>0$ is A COnstaNt whICh May depenD on $m$ (buT NoT oN $n$). SimilArLy, usinG $$b_M^{+}(x):=-p(X)+g_m(Y)+C_0|x-y|$$ aS UppeR barriEr functiOn for $U_M$ which is $
g$ and $u_n$ at $z$ and co mpare them . Let  $y $ b etheclos est point to $ z $ in  $\partial \Omega_n$,then$| z -y|\ l e\delt a_n$ an d  g i v en$\ de lta  > 0 $we ha ve$$|g(z) -g_m(y)|\l e | g( z)-g_m(z)|+| g _m (z)-g_m(y) |\l e \delta$$ p rov ided $ m$  is suffi cie ntlylargea nd als o $n=n(m) $i s suff i ciently l ar ge.Let $p$ be the (n o td iscrete) barri er fun ct i on f rom  th e proof of  L emma\ [lemma\ _ 5\ _ 1 \ ] a s sociated with  $\Omega_n$ ,  $z \in \O me ga_ n $, i.e . $$p (x )  =e^{\lambda|x-\ tilde x|^ 2}-e^{ \ lambda| \tildez-\til dex|^ 2}$$ wh er e $ \t i lde x,  \t i lde  z$ arech os en ac cord i n g l y to  th e pr oof o f Lemma \[lem ma\ _5\_ 1 \]and w e may  arr an ge it  so th at $\ ti lde z$ equals t he a bove spec ifi ed  $y $,  i.e. $y=\ti lde  z$ . We de fine th e  fu nc t i o n$$b_m^{-}:= p(x)+g _m ( y )- C_0|x-y| $$ whe r e$C _ 0\ge \|g _m \|_ {C^1 ( \ bar \ Omeg a )} $. Clear ly, $b _ m^ {- }\le g_ m$  in $\ ba r \ Ome ga$ i n  vie w of $ p\le 0$in $\ b ar \Omega$ and we also havet ha t $$ T _{\v are psilon}[b_m ^{-} ] \gef_m\ q ua d \ t ext{in }\O m eg a _n$$ provided $\lam bd a$ issuffi ciently large . Hence by t h e compar ison pr i nciple we conc ludethat $$b_m ^ {-}\le u _m \q uad \tex t{ in } \ O m ega_n.$$  Ev alu ati ngt h is  inequality i n $z$an d retra nsl ation b y u sin g t hede finitionof $b_m^ {- }$  l ea dsto $$ g _m(y)-C_ m\ del ta _n\le u _ m(z)$$  wher e $C _m >0 $  is  a cons t an t whic hma y de pen don $m $ (b u t n ot on $ n$). Simi lar l y, u si ng  $$b_m^ {+}(x):=-p(x) +g _m(y)+C_0| x- y|$ $ as u p p er barri er function for $u_m$ w h ich is$
g$ and_$u_n$ at_$z$ and compare them._Let $y$_be_the closest_point_to $z$ in_$\partial \Omega_n$, then_$|z-y|\le \delta_n$ and given_$\delta >0$ we_have_$$|g(z)-g_m(y)|\le |g(z)-g_m(z)|+|g_m(z)-g_m(y)|\le \delta$$ provided $m$ is sufficiently large and also $n=n(m)$ is sufficiently large._Let_$p$ be_the_(not_discrete) barrier function from the_proof of Lemma \[lemma\_5\_1\] associated_with $\Omega_n$,_$z\in \Omega_n$, i.e. $$p(x) = e^{\lambda |x-\tilde x|^2}-e^{\lambda_|\tilde_z-\tilde x|^2}$$ where_$\tilde x, \tilde z$ are chosen accordingly to the_proof of Lemma \[lemma\_5\_1\] and we_may arrange it_so_that_$\tilde z$ equals the_above specified $y$, i.e. $y=\tilde z$._We define the function $$b_m^{-}:= p(x)+g_m(y)-C_0|x-y|$$_where $C_0\ge \|g_m\|_{C^1(\bar \Omega)}$. Clearly, $b_m^{-}\le g_m$_in $\bar \Omega$ in view of_$p\le 0$ in $\bar \Omega$_and we_also have that $$T_{\varepsilon}[b_m^{-}]\ge f_m\quad_\text{ in }_\Omega_n$$ provided_$\lambda$ is sufficiently_large. Hence by the comparison principle_we conclude that_$$b_m^{-}\le u_m \quad \text{ in }_\Omega_n.$$_Evaluating this inequality_in_$z$_and retranslation_by using the_definition_of $b_m^{-}$_leads_to $$g_m(y)-C_m\delta_n \le u_m(z)$$ where $C_m>0$_is_a constant which may depend on $m$_(but not on $n$)._Similarly,_using $$b_m^{+}(x):=-p(x)+g_m(y)+C_0|x-y|$$ as upper_barrier function for $u_m$ which_is $