)$ for the sequence $(u_h^k)_{k\in \mathbb{N}}$ and we are finished, note that we assume here that $h$ is small.

\(iv) Since $(u_h^k(x_i))_{k=1}^{\infty}$ is monotone and bounded from above for all $x_i \in N_h^0$ it converges and we set $$u_{\varepsilon}(x_i)=\lim_{k\rightarrow \infty}u_h^k(x_i)\quad \forall x_i \in N_h^0$$ and extend $u_{\varepsilon}$ without relabeling to $u_{\varepsilon}\in V_h$. Then we have $u_{\varepsilon}=I_hg$ on $\partial \Omega_h$ and $$\label{91}
T_{\varepsilon}[u_{\varepsilon}](x_i)\ge f(x_i)\quad \forall x_i \in N_h^0.$$ We show that even equality holds in (\[91\]) and assume for it that the inequality in (\[91\]) is strict for a certain $x_i \in N_h^0$. Then we find arbitrary large $k$ such that $$T_{\varepsilon}[u_h^k](x_i)>f(x_i).$$ But then in the construction of $u_h^{k+1}$ in step (ii) there was a certain ’space’ for increasement which contradicts that $(u_h^k(x_i))_k$ is especially pointwisely a Cauchy sequence. Hence we have shown existence of $u_{\varepsilon}$ as desired and we also have obtained an a priori $L^{\infty}$-bound which is independent from the discretization parameters.

Hereby, our analysis of the discrete model is finished. The remaining sections are concerned with the convergence analysis of the discrete solutions $u_{\varepsilon}$, i.e. they show that the discrete solutions $u_{\varepsilon}$ of (\[discreteMongeAmpere\]) converge to the solution $u$ of (\[1\]) when $\varepsilon \rightarrow 0$ and the relative size of $h$ and $\delta$ satisfies a certain relation provided the original equation satisfies appropriate properties. Recall that $\varepsilon = (h, \delta, \theta)$.

A special auxiliary function {#section6}
============================

We construct in the following lemma a special auxiliary function.

\[
) $ for the sequence $ (u_h^k)_{k\in \mathbb{N}}$ and we are finished, note that we assume here that $ h$ is humble. 

 \(iv) Since $ (u_h^k(x_i))_{k=1}^{\infty}$ is monotone and restrict from above for all $ x_i \in N_h^0 $ it converges and we set $ $ u_{\varepsilon}(x_i)=\lim_{k\rightarrow \infty}u_h^k(x_i)\quad \forall x_i \in N_h^0$$ and extend $ u_{\varepsilon}$ without relabeling to $ u_{\varepsilon}\in V_h$. Then we own $ u_{\varepsilon}=I_hg$ on $ \partial \Omega_h$ and $ $ \label{91 } 
 T_{\varepsilon}[u_{\varepsilon}](x_i)\ge f(x_i)\quad \forall x_i \in N_h^0.$$ We show that even equality holds in (\[91\ ]) and bear for it that the inequality in (\[91\ ]) is strict for a certain $ x_i \in N_h^0$. Then we recover arbitrary large $ k$ such that $ $ T_{\varepsilon}[u_h^k](x_i)>f(x_i).$$ But then in the construction of $ u_h^{k+1}$ in footfall (ii) there was a certain ’ distance ’ for increasement which oppose that $ (u_h^k(x_i))_k$ is especially pointwisely a Cauchy sequence. Hence we have shown existence of $ u_{\varepsilon}$ as desire and we also have obtained an a priori $ L^{\infty}$-bound which is independent from the discretization parameter. 

 Hereby, our analysis of the discrete model is finished. The remaining section are concerned with the convergence analysis of the discrete solutions $ u_{\varepsilon}$, i.e. they show that the discrete solution $ u_{\varepsilon}$ of (\[discreteMongeAmpere\ ]) converge to the solution $ u$ of (\[1\ ]) when $ \varepsilon \rightarrow 0 $ and the relative size of $ h$ and $ \delta$ satisfies a certain relation provided the original equation meet appropriate properties. Recall that $ \varepsilon = (h, \delta, \theta)$. 

 A special auxiliary function { # section6 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 We construct in the following lemma a special auxiliary function. 

 \ [
)$ fog the sequence $(u_h^k)_{k\in \mauhbb{N}}$ and we are yunishev, note fhat we xssume here that $h$ is small.

\(it) Sibce $(u_y^k(x_i))_{k=1}^{\infty}$ is monotone and bounfed from abote for all $x_i \in N_h^0$ it convergsd anb xe set $$u_{\varepsikon}(x_i)=\lim_{k\rhghtarrow \inftf}u_f^k(r_i)\quad \forall x_i \in N_h^0$$ and extend $u_{\vwrepsilpn}$ without relabgling eo $u_{\barepsilon}\in V_h$. Then we have $u_{\varelsilon}=I_ig$ on $\partial \Okega_h$ and $$\label{91}
T_{\varepsilon}[k_{\varfpsilon}](x_i)\ge f(x_i)\quaf \forall x_i \in G_y^0.$$ We show thxt even eqlclity holds in (\[91\]) and assume for it that the ineqbality in (\[91\]) us stghct for a cxrtain $x_i \in N_h^0$. Thcm we fhnd arbotrary large $k$ surh tyat $$T_{\varepsilon}[u_h^k](x_i)>f(e_i).$$ But then in the cjnstructimn of $u_h^{k+1}$ in step (iu) rhere was a cdetakn ’apece’ for ijcrxasement whjch contraducts that $(u_h^k(x_i))_k$ is efircially poinfwiselr w Cauchy sequence. Hence we have shown eqistsnce of $u_{\varepsilon}$ as eesired and we also hwve obtaiged an a priori $L^{\infty}$-bound which is independent xrom vhd dnwcretkzahion parameters.

Hereby, our analysis of the dissdeue kodel is finismed. The remaining xeftojns are concetned wicg fhe convergence anwlysis jf thw discrett solitions $u_{\varepsilon}$, i.e. they whow that thv diwcrete solutions $u_{\rarepsilon}$ oy (\[discteteMomgeAmpere\]) converge to tke solhtion $u$ of (\[1\]) when $\varsosilon \rightarrod 0$ sng the relative size of $h$ agd $\delta$ watixfies a cerjain rejation progided the original equatlon sctisfhes appropgiate properties. Recall that $\vacxpsilon = (h, \dektd, \tveta)$.

A spzcial suxiliary funstion {#section6}
============================

Wg construet in ghe followpng lemma a special wuxiliary funwjion.

\[
)$ for the sequence $(u_h^k)_{k\in \mathbb{N}}$ and finished, that we here that $h$ is and bounded from for all $x_i N_h^0$ it converges and we set \infty}u_h^k(x_i)\quad \forall x_i \in N_h^0$$ and extend $u_{\varepsilon}$ without relabeling to $u_{\varepsilon}\in V_h$. we have $u_{\varepsilon}=I_hg$ on $\partial \Omega_h$ and $$\label{91} T_{\varepsilon}[u_{\varepsilon}](x_i)\ge f(x_i)\quad \forall x_i \in We that equality in (\[91\]) and assume for it that the inequality in (\[91\]) is strict for a certain \in N_h^0$. Then we find arbitrary large $k$ that $$T_{\varepsilon}[u_h^k](x_i)>f(x_i).$$ But then the construction of $u_h^{k+1}$ in (ii) was a ’space’ increasement contradicts that $(u_h^k(x_i))_k$ especially pointwisely a Cauchy sequence. Hence we have shown existence of $u_{\varepsilon}$ as desired and we also obtained an $L^{\infty}$-bound which independent the parameters. Hereby, our the discrete model is finished. The concerned with the convergence analysis of the discrete $u_{\varepsilon}$, i.e. show that the discrete solutions $u_{\varepsilon}$ (\[discreteMongeAmpere\]) converge to the solution $u$ of (\[1\]) $\varepsilon \rightarrow 0$ and the relative size of $h$ and $\delta$ satisfies a certain relation original equation satisfies appropriate Recall that $\varepsilon (h, \theta)$. special function {#section6} We construct in the following lemma a special auxiliary function. \[
)$ for the sequence $(u_h^k)_{k\in \mathbB{N}}$ and we are FinisHed, NotE tHat wE assUme here that $h$ is SMall.

\(Iv) Since $(u_h^k(x_i))_{k=1}^{\infty}$ is moNotonE aND bouNDeD from Above foR AlL $X_I \in n_h^0$ It ConVeRGeS and wE seT $$u_{\varepSilon}(x_i)=\lim_{K\riGhTarrow \infty}u_H^K(x_I)\quad \foralL x_i \In N_h^0$$ and extenD $u_{\vArepsiLoN}$ wiTHout rElaBelinG to $u_{\vaREpsiloN}\in V_h$. Then We HAve $u_{\vaREpsilon}=i_HG$ oN $\parTial \Omega_h$ and $$\labeL{91}
t_{\vARepsilon}[u_{\varepSilon}](x_I)\gE F(x_I)\QUad \ForAll x_i \in N_h^0.$$ WE sHow thAT even eqUAlITY HolDS in (\[91\]) and assume fOr it that the INeqUality In (\[91\]) Is sTRict foR a cerTaIN $x_i \In N_h^0$. Then we fInd aRbitrary lArge $k$ sUCh that $$T_{\VArepsilOn}[u_h^k](x_I)>f(x_I).$$ BuT theN In ThE coNsTRucTIoN of $U_H^{k+1}$ iN step (ii) tHeRe Was a cErtaIN ’SPAce’ fOr iNcreAsemeNt which contraDicTs thAT $(u_h^K(x_i))_k$ iS espeCialLy PointWisely A CaucHy Sequence. Hence we Have Shown exisTenCe Of $u_{\VaRepsiLOn}$ as deSirEd aNd we alsO have obTAinEd AN A PrIori $L^{\infty}$-bound whiCh IS InDependenT from tHE dIsCRetizatiOn ParAmetERS.

HereBy, ouR AnAlysis of The disCReTe Model is FiNished. thE reMaiNing sECtioNs are cOncerned With tHE convergence anALysis of the disCReTE SoLUtioNs $u_{\Varepsilon}$, i.E. theY Show That THe DisCRete sOlutiOnS $U_{\vARepsilon}$ of (\[discreteMOnGeAmpeRe\]) conVerge to the solUtion $u$ of (\[1\]) whEN $\VArepsiloN \rigHTaRRow 0$ and the relatIve siZe of $h$ and $\deLTa$ satisfIes a cErtain reLation proVIDed the orIgiNal EquAtiON SaTisfies appropRIAte pRoPerties. recAll that $\VarEpsIloN = (h, \dElTa, \theta)$.

A sPecial auXiLiArY fUncTion {#sECtion6}
============================

We cOnStrUcT in The foLLowing Lemma A speCiAl AUxiLiary fuNCtION.

\[
)$ for the sequence $(u_h^ k)_{k\in \ mathb b{N }}$  a nd w e ar e finished, no t e th at we assume here that  $h$is smal l .
\(iv ) Since $( u _ h^k (x _i ))_ {k = 1} ^{\in fty }$ is m onotone an d b ou nded from ab o ve  for all $ x_i  \in N_h^0$itconver ge s a n d weset  $$u_ {\vare p silon} (x_i)=\li m_ { k\righ t arrow \ i n ft y}u_ h^k(x_i)\quad \fo r al l  x_i \in N_h^0 $$ and  e x te n d  $u _{\ varepsilon }$  with o ut rela b el i n g  to $u_{\varepsil on}\in V_h$ .  Th en weha ve$ u_{\va repsi lo n }=I _hg$ on $\p arti al \Omega _h$ an d  $$\lab e l{91}
T _{\var eps ilo n}[u _ {\ va rep si l on} ] (x _i) \ gef(x_i)\q ua d\fora ll x _ i \ in N _h^ 0.$$  We s how that even  eq uali t y h oldsin (\ [91\ ])  andassume  forit  that the inequ alit y in (\[9 1\] )isst rictf or a c ert ain  $x_i \ in N_h^ 0 $.Th e n we  find arbitrary la rg e $k $ such t hat $$ T _{ \v a repsilon }[ u_h ^k]( x _ i)>f( x_i) . $$  But the n in t h eco nstruct io n of $ u_ h^{ k+1 }$ in step  (ii)there wa s a c e rtain ’space’f or increaseme n tw h ic h  con tra dicts that$(u_ h ^k(x _i)) _ k$  is espec ially  p o in t wisely a Cauchy seq ue nce. H encewe have shown  existence o f  $u_{\va reps i lo n }$ as desiredand w e also hav e  obtaine d ana priori  $L^{\inf t y }$-bound  wh ich  is  in d e pe ndent from th e disc re tizatio n p aramete rs. 

H ere by,  o ur analys is of th edi sc re temodel is finis he d.Th e r emain i ng sec tions  are  c on c ern ed with th e conv er ge nceana ly sis o f th e  di scretesolutions  $u _ {\va re ps ilon}$,  i.e. they sh ow  that thedi scr ete so l u tions $u _{\varepsilon}$ of (\[d i screteM ong eAmpe re\] ) converg e t o thesol u tion $ u$ of(\[1\ ])  wh e n  $\va r e ps ilo n\rightarro w 0$and t he  rel ative s ize of $h$ and $\d e lta $ satisfies a  ce rtai n re lat i on pro vi d edt h e original equa tion satis fi e sappropriat e  pr op erties.  Recall  that $\varep silon = ( h, \delta ,\the t a )$. 

A specia l auxili ary funct i on {# s ec tion6 }
= ====== == === ===== ====== = === =

We  const ru ct inthe f ol lowing l emma a special auxiliar y func tion. 

\ [
)$ for_the sequence_$(u_h^k)_{k\in \mathbb{N}}$ and we_are finished,_note_that we_assume_here that $h$_is small.

\(iv) Since_$(u_h^k(x_i))_{k=1}^{\infty}$ is monotone and_bounded from above_for_all $x_i \in N_h^0$ it converges and we set $$u_{\varepsilon}(x_i)=\lim_{k\rightarrow \infty}u_h^k(x_i)\quad \forall x_i \in_N_h^0$$_and extend_$u_{\varepsilon}$_without_relabeling to $u_{\varepsilon}\in V_h$. Then_we have $u_{\varepsilon}=I_hg$ on $\partial_\Omega_h$ and_$$\label{91}
T_{\varepsilon}[u_{\varepsilon}](x_i)\ge f(x_i)\quad \forall x_i \in N_h^0.$$ We show_that_even equality holds_in (\[91\]) and assume for it that the inequality_in (\[91\]) is strict for a_certain $x_i \in_N_h^0$._Then_we find arbitrary large_$k$ such that $$T_{\varepsilon}[u_h^k](x_i)>f(x_i).$$ But then_in the construction of $u_h^{k+1}$ in_step (ii) there was a certain ’space’_for increasement which contradicts that $(u_h^k(x_i))_k$_is especially pointwisely a Cauchy_sequence. Hence_we have shown existence of_$u_{\varepsilon}$ as desired_and we_also have obtained_an a priori $L^{\infty}$-bound which is_independent from the_discretization parameters.

Hereby, our analysis of the_discrete_model is finished._The_remaining_sections are_concerned with the_convergence_analysis of_the_discrete solutions $u_{\varepsilon}$, i.e. they show_that_the discrete solutions $u_{\varepsilon}$ of (\[discreteMongeAmpere\]) converge_to the solution $u$_of_(\[1\]) when $\varepsilon \rightarrow_0$ and the relative size_of $h$ and $\delta$ satisfies a_certain relation_provided the_original equation satisfies appropriate properties. Recall that $\varepsilon = (h, \delta,_\theta)$.

A special auxiliary function {#section6}
============================

We construct_in the following lemma_a special_auxiliary_function.

\[