 $L_h^{-1}G_h\colon X_h\to X_h$ restricted to ${\overline}{B_{2C_0M_0h}(0)}$ is a contraction, where $X_h$ is normed by $$\|w\|_{X_h}:= \left\|\left(\frac1h {\varepsilon}_h(w),\nabla \frac1h {\varepsilon}_h(w),\nabla_h^2 w\right)\right\|_{H^{1,0}(\Omega)}.$$ Therefore we obtain a unique solution $w$ solving (\[eq:FnEq\]) and satisfying (\[eq:FnEstim\]) with $H^{2,0}(\Omega)$ replaced by $H^{1,0}(\Omega)$. In order to obtain (\[eq:FnEstim\]), one can simply use that $w_j:= \partial_{x_j}w$, $j=1,\ldots, d-1$, solves $$\frac1{h^2}\left( A_n(\nabla_h w)\nabla_h w_j, \nabla_h\varphi \right)_{L^2(\Omega)} =(\partial_{x_j}f,\varphi)_{L^2(\Omega)} \qquad \text{for all}\ \varphi \in H^1_{per}(\Omega)$$ and apply Lemma \[lem:LinEstim2\].

The following lemma contains the essential estimate for the linearized system to (\[eq:Evol1\])-(\[eq:BC3\]):

\[lem:LinEstim3\] Let $0<T<\infty$, $0<h\leq 1$, $0<R\leq R_0$, $n\in {\mathbb N}\cup \{\infty\}$ be given, and let $R_0$ be as in Lemma \[lem:LinEstim2\]. Assume that $u_h$ satisfies (\[eq:LInftyUnifEstim\]) and that $f\in W^1_1(0,T;H^{1,0})^d$, $w_0\in H^{1,2}(\Omega)^d\cap H^{3,0}(\Omega)^d, w_1 \in V(\Omega)^d$. Then there is a unique $w\in C^0([0,T];H^{2,1}(\Omega)\cap H^{3,0}(\Omega))^d\cap C^2([0,T];H^{1,
$ L_h^{-1}G_h\colon X_h\to X_h$ restricted to $ { \overline}{B_{2C_0M_0h}(0)}$ is a contraction, where $ X_h$ is normed by $ $ \|w\|_{X_h}:= \left\|\left(\frac1h { \varepsilon}_h(w),\nabla \frac1h { \varepsilon}_h(w),\nabla_h^2 w\right)\right\|_{H^{1,0}(\Omega)}.$$ Therefore we obtain a alone solution $ w$ clear (\[eq: FnEq\ ]) and satisfying (\[eq: FnEstim\ ]) with $ H^{2,0}(\Omega)$ replaced by $ H^{1,0}(\Omega)$. In order to prevail (\[eq: FnEstim\ ]), one can simply use that $ w_j:= \partial_{x_j}w$, $ j=1,\ldots, d-1 $, solve $ $ \frac1{h^2}\left (A_n(\nabla_h w)\nabla_h w_j, \nabla_h\varphi \right)_{L^2(\Omega) } =( \partial_{x_j}f,\varphi)_{L^2(\Omega) } \qquad \text{for all}\ \varphi \in H^1_{per}(\Omega)$$ and apply Lemma   \[lem: LinEstim2\ ]. 

 The following lemma incorporate the essential estimate for the linearize system to (\[eq: Evol1\])-(\[eq: BC3\ ] ): 

 \[lem: LinEstim3\ ] Let $ 0 < T<\infty$, $ 0 < h\leq 1 $, $ 0 < R\leq R_0 $, $ n\in { \mathbb N}\cup \{\infty\}$ be given, and let $ R_0 $ be as in Lemma   \[lem: LinEstim2\ ]. wear that $ u_h$ satisfies (\[eq: LInftyUnifEstim\ ]) and that $ f\in W^1_1(0,T;H^{1,0})^d$, $ w_0\in H^{1,2}(\Omega)^d\cap H^{3,0}(\Omega)^d, w_1 \in V(\Omega)^d$. Then there is a unique $ w\in C^0([0,T];H^{2,1}(\Omega)\cap H^{3,0}(\Omega))^d\cap C^2([0,T];H^{1,
 $L_h^{-1}H_h\colon X_h\to X_h$ restricttd to ${\overline}{B_{2C_0M_0k}(0)}$ is a rontracfion, whefe $X_h$ is normed by $$\|w\|_{X_h}:= \left\|\lxft(\feac1h {\carepsilon}_h(w),\nabla \frac1f {\varepsipon}_h(w),\naboa_h^2 x\right)\right\|_{H^{1,0}(\Omege)}.$$ Therefore we lbtann a unique solujion $w$ solvitg (\[eq:FnEq\]) and vagidfying (\[eq:FnEstim\]) with $H^{2,0}(\Omega)$ replacqd by $H^{1,0}(\Pmfga)$. In order tj obuaig (\[eq:RnEstim\]), one can simply use that $w_j:= \partian_{x_j}w$, $j=1,\ldots, d-1$, solves $$\frac1{h^2}\left( A_n(\nabla_h w)\nahla_h w_j, \nabla_h\varpji \right)_{L^2(\Omgfa)} =(\[qrtial_{x_j}f,\varohi)_{L^2(\Omega)} \qquad \text{fot all}\ \varphi \in H^1_{per}(\Omega)$$ and apoly Lzmma \[lem:LinEwtum2\].

Tjg following oemma contains thc essendial esyimate for the liiearuzed system to (\[eq:Evol1\])-(\[xq:BC3\]):

\[lem:LinEstim3\] Let $0<J<\infty$, $0<h\lex 1$, $0<R\leq R_0$, $n\in {\mathbv B}\cup \{\hnftf\}$ be tivdn, znv lst $R_0$ bf aa in Lemma \[mem:LinEstim2\]. Assume that $u_h$ satossprs (\[eq:LInftyUhifEstym\]) and that $f\in W^1_1(0,T;H^{1,0})^d$, $w_0\in H^{1,2}(\Omega)^d\cap H^{3,0}(\Omegd)^d, s_1 \in V(\Omega)^d$. Then there is a unique $w\in C^0([0,T];H^{2,1}(\Olega)\cap H^{3,0}(\Jmega))^d\cap C^2([0,T];H^{1,
$L_h^{-1}G_h\colon X_h\to X_h$ restricted to ${\overline}{B_{2C_0M_0h}(0)}$ is where is normed $$\|w\|_{X_h}:= \left\|\left(\frac1h {\varepsilon}_h(w),\nabla obtain unique solution $w$ (\[eq:FnEq\]) and satisfying with $H^{2,0}(\Omega)$ replaced by $H^{1,0}(\Omega)$. In to obtain (\[eq:FnEstim\]), one can simply use that $w_j:= \partial_{x_j}w$, $j=1,\ldots, d-1$, solves A_n(\nabla_h w)\nabla_h w_j, \nabla_h\varphi \right)_{L^2(\Omega)} =(\partial_{x_j}f,\varphi)_{L^2(\Omega)} \qquad \text{for all}\ \varphi \in H^1_{per}(\Omega)$$ and Lemma The lemma the essential estimate for the linearized system to (\[eq:Evol1\])-(\[eq:BC3\]): \[lem:LinEstim3\] Let $0<T<\infty$, $0<h\leq 1$, $0<R\leq R_0$, {\mathbb N}\cup \{\infty\}$ be given, and let $R_0$ as in Lemma \[lem:LinEstim2\]. that $u_h$ satisfies (\[eq:LInftyUnifEstim\]) and $f\in $w_0\in H^{1,2}(\Omega)^d\cap w_1 V(\Omega)^d$. there is a $w\in C^0([0,T];H^{2,1}(\Omega)\cap H^{3,0}(\Omega))^d\cap C^2([0,T];H^{1,
 $L_h^{-1}G_h\colon X_h\to X_h$ restricted To ${\overline}{b_{2C_0M_0h}(0)}$ iS a cOntRaCtioN, wheRe $X_h$ is normed by $$\|W\|_{x_h}:= \leFt\|\left(\frac1h {\varepsilon}_h(W),\nablA \fRAc1h {\vARePsiloN}_h(w),\nablA_H^2 w\RIGht)\RiGhT\|_{H^{1,0}(\OMeGA)}.$$ THerefOre We obtaiN a unique soLutIoN $w$ solving (\[eq:FNeq\]) And satisfyIng (\[Eq:FnEstim\]) witH $H^{2,0}(\OMega)$ rePlAceD By $H^{1,0}(\OmEga)$. in ordEr to obTAin (\[eq:FNEstim\]), one CaN Simply USe that $w_J:= \PArTial_{X_j}w$, $j=1,\ldots, d-1$, solves $$\fRAc1{H^2}\Left( A_n(\nabla_h w)\nAbla_h w_J, \nABlA_H\VarPhi \Right)_{L^2(\OmegA)} =(\pArtiaL_{X_j}f,\varpHI)_{L^2(\oMEGa)} \qQUad \text{for all}\ \Varphi \in H^1_{peR}(\omeGa)$$ and aPpLy LEMma \[lem:linEsTiM2\].

the Following leMma cOntains thE essenTIal estiMAte for tHe lineAriZed SystEM tO (\[eQ:EvOl1\])-(\[EQ:BC3\]):

\[LEm:lineStiM3\] Let $0<T<\infTy$, $0<H\lEq 1$, $0<R\leQ R_0$, $n\iN {\MATHbb N}\Cup \{\InftY\}$ be giVen, and let $R_0$ be aS in lemmA \[Lem:linEsTim2\]. AsSume ThAt $u_h$ sAtisfiEs (\[eq:LinFtyUnifEstim\]) and That $F\in W^1_1(0,T;H^{1,0})^d$, $w_0\iN H^{1,2}(\OMeGa)^d\CaP H^{3,0}(\OmeGA)^d, w_1 \in V(\omeGa)^d$. then theRe is a unIQue $W\iN c^0([0,t];h^{2,1}(\OMega)\cap H^{3,0}(\Omega))^d\cap C^2([0,t];H^{1,
 $L_h^{-1}G_h\colon X_h\to  X_h$ rest ricte d t o $ {\ over line }{B_{2C_0M_0h} ( 0)}$  is a contraction, whe re $X _h $  isn or med b y $$\|w \ |_ { X _h} :=  \ lef t\ | \l eft(\ fra c1h {\v arepsilon} _h( w) ,\nabla \fra c 1h  {\varepsi lon }_h(w),\nabl a_h ^2 w\r ig ht) \ right \|_ {H^{1 ,0}(\O m ega)}. $$ Theref or e  we ob t ain a u n i qu e so lution $w$ solvin g  ( \ [eq:FnEq\]) an d sati sf y in g (\[ eq: FnEstim\])  w ith $ H ^{2,0}( \ Om e g a )$r eplaced by $H ^{1,0}(\Ome g a)$ . In o rd ert o obta in (\ [e q :Fn Estim\]), o ne c an simply  use t h at $w_j : = \part ial_{x _j} w$,  $j= 1 ,\ ld ots ,d -1$ ,  s olv e s $ $\frac1{ h^ 2} \left ( A_ n ( \ n abla _hw)\n abla_ h w_j, \nabla _h\ varp h i \ right )_{L^ 2(\O me ga)}=(\par tial_ {x _j}f,\varphi)_{ L^2( \Omega)}\qq ua d \ te xt{fo r  all}\  \v arp hi \inH^1_{pe r }(\ Om e g a )$ $ and apply Lemma\[ l e m: LinEstim 2\].
T he  f o llowingle mma  con t a ins t he e s se ntial es timate fo rthe lin ea rizedsy ste m t o (\[ e q:Ev ol1\]) -(\[eq:B C3\]) : 

\[lem:LinEst i m3\] Let $0<T < \i n f ty $ , $0 <h\ leq 1$, $0< R\le q  R_0 $, $ n \i n { \ mathb b N}\ cu p  \ { \infty\}$ be given,  a nd let  $R_0 $ be as in Le mma \[lem: L i n Estim2\] . As s um e  that $u_h$ sa tisfi es (\[eq:L I nftyUnif Estim \]) andthat $f\i n W^1_1(0, T;H ^{1 ,0} )^d $ ,  $ w_0\in H^{1,2 } ( \Ome ga )^d\cap  H^ {3,0}(\ Ome ga) ^d,  w_ 1\in V(\Om ega)^d$.  T he nth ere  is a unique $ w\ inC^ 0([ 0,T]; H ^{2,1} (\Ome ga)\ ca pH ^{3 ,0}(\Om e ga ) ) ^d\c ap  C ^2([ 0,T ]; H^{1, 
 $L_h^{-1}G_h\colon_X_h\to X_h$_restricted to ${\overline}{B_{2C_0M_0h}(0)}$ is_a contraction,_where_$X_h$ is_normed_by $$\|w\|_{X_h}:= \left\|\left(\frac1h_{\varepsilon}_h(w),\nabla \frac1h {\varepsilon}_h(w),\nabla_h^2_w\right)\right\|_{H^{1,0}(\Omega)}.$$ Therefore we obtain_a unique solution_$w$_solving (\[eq:FnEq\]) and satisfying (\[eq:FnEstim\]) with $H^{2,0}(\Omega)$ replaced by $H^{1,0}(\Omega)$. In order to obtain_(\[eq:FnEstim\]),_one can_simply_use_that $w_j:= \partial_{x_j}w$, $j=1,\ldots, d-1$,_solves $$\frac1{h^2}\left( A_n(\nabla_h w)\nabla_h w_j,_\nabla_h\varphi \right)_{L^2(\Omega)}_=(\partial_{x_j}f,\varphi)_{L^2(\Omega)} \qquad \text{for all}\ \varphi \in H^1_{per}(\Omega)$$ and_apply_Lemma \[lem:LinEstim2\].

The following lemma_contains the essential estimate for the linearized system to_(\[eq:Evol1\])-(\[eq:BC3\]):

\[lem:LinEstim3\] Let $0<T<\infty$, $0<h\leq 1$, $0<R\leq_R_0$, $n\in {\mathbb_N}\cup_\{\infty\}$_be given, and let_$R_0$ be as in Lemma \[lem:LinEstim2\]. Assume_that $u_h$ satisfies (\[eq:LInftyUnifEstim\]) and that_$f\in W^1_1(0,T;H^{1,0})^d$, $w_0\in H^{1,2}(\Omega)^d\cap H^{3,0}(\Omega)^d, w_1 \in_V(\Omega)^d$. Then there is a unique_$w\in C^0([0,T];H^{2,1}(\Omega)\cap H^{3,0}(\Omega))^d\cap C^2([0,T];H^{1,