arxiv: v2 [math.ap] 6 Dec 2015

Unform Regularty Estmates n Homogenzaton Theory of Ellptc System wth Lower Order Terms arxv:1507.06050v2 math.ap] 6 Dec 2015 Qang Xu School of Mathematcs and Statstcs, Lanzhou Unversty, Lanzhou, Gansu 730000, PR Chna. March 16, 2018 Abstract In ths paper, we extend the unform regularty estmates obtaned by M. Avellaneda and F. Ln n 3,6] to the more general second order ellptc systems n dvergence form L ε,ε > 0, wth rapdly oscllatng perodc coeffcents. We establsh not only sharp W 1,p estmates, Hölder estmates, Lpschtz estmates and non-tangental maxmal functon estmates for the Drchlet problem on a bounded C 1,η doman, but also a sharp O(ε) convergence rate n H 1 0() by vrtue of the Drchlet correctors. Moreover, we defne the Green s matrx assocated wth L ε and obtan ts decay estmates. We remark that the well known compactness methods are not employed here, nstead we construct the transformatons (1.11) to make full use of the results n 3,6]. 1 Introducton and man results The man purpose of ths paper s to study the unform regularty estmates for second order ellptc systems wth lower order terms, arsng n homogenzaton theory. More precsely, we consder L ε = dva(x/ε) +V(x/ε)]+B(x/ε) +c(x/ε)+λi, where λ s a constant, and I = (δ αβ ) denotes the dentty matrx. In a specal case, let A = I = 1, V = B, c = 0, and W = dv(v), the operator L ε becomes L ε = + 1 ε W(x/ε)+λ, where W s the rapdly oscllatng potental term (see 7, pp.91]). It s not hard to see that the unform regularty estmates obtaned n ths paper are not trval generalzatons of 3,6], and they are new even for L ε. Let 1,j d, 1 α,β m, whered 3 denotes the dmenson, and m 1s the numberof equatons n the system. Suppose that the measurable functons A = (a αβ j ) : Rd R m2 d 2, V = (V αβ ) : R d R m2 d, B = (B αβ ) : R d R m2 d, c = (c αβ ) : R d R m2 satsfy the followng condtons: the unform ellptcty condton µ ξ 2 a αβ j (y)ξα ξβ j µ1 ξ 2 for y R d and ξ = (ξ α ) Rmd, where µ > 0; (1.1) (The summaton conventon for repeated ndces s used throughout.) Emal: xuqang09@lzu.edu.cn. Ths work was supported by the Chnese Scholar Councl (Fle No. 201306180043). 1

2 the perodcty condton A(y+z) = A(y), V(y+z) = V(y), B(y+z) = B(y), c(y+z) = c(y) for y R d and z Z d ; (1.2) the boundedness condton the regularty condton max V L (R d ), B L (R d ), c L (R d ) κ 1, where κ 1 > 0; (1.3) max A C 0,τ (R d ), V C 0,τ (R d ), B C 0,τ (R d ) κ 2, where τ (0,1) and κ 2 > 0. (1.4) Set κ = maxκ 1,κ 2, and we say A Λ(µ,τ,κ) f A = A(y) satsfes condtons (1.1), (1.2) and (1.4). Throughout ths paper, we always assume that s a bounded C 1,η doman wth η τ,1), and L ε = dva(x/ε) ] s the ellptc operator from 3, 6], unless otherwse stated. The man dea of ths paper s to fnd the transformatons (1.11) between two solutons correspondng to L ε and L ε such that the regularty results of L ε can be appled to L ε drectly. Partcularly, to handle the boundary Lpschtz estmates, we defne the Drchlet correctors Φ ε,k = (Φ αβ ε,k ), 0 k d, assocated wth L ε as follows: L ε (Φ ε,k ) = dv(v ε ) n, Φ ε,k = I on (1.5) for k = 0, and L ε (Φ β ε,k ) = 0 n, Φβ ε,k = Pβ k on (1.6) for 1 k d, where V ε (x) = V(x/ε), Φ β ε,k = (Φ1β ε,k,,φmβ ε,k ) H1 (;R m ), and P β k = x k(0,,1,,0) wth 1 n the β th poston. We remark that (1.6) was studed n 3,38], but (1.5) has not yet been developed. Here we show that Φ ε,0 ought to be of the form n (1.5), and ts propertes are shown n secton 4. For Neumann boundary condtons, a sgnfcant development was made by C.E. Keng, F. Ln and Z. Shen 31], where they constructed Neumann correctors to verfy the Lpschtz estmates for L ε. Recently, S.N. Armstrongand Z. Shen 2] foundanew way to obtan the same results even wthoutdrchlet correctors or Neumann correctors n the almost perodc settng. We plan to study unform regularty estmates for L ε wth Neumann boundary condtons n a forthcomng paper. The man results are as follows. Theorem 1.1 (W 1,p estmates). Suppose that A VMO(R d ) satsfes (1.1), (1.2), and other coeffcents of L ε satsfy (1.3). Let 1 < p <, f = (f α) Lp (;R md ), F L q (;R m ) and g B 11 p,p ( ;R m ), where q = pd p+d f p > d d d1, and q > 1 f 1 < p d1. Then the Drchlet problem Lε (u ε ) = dv(f)+f n, u ε = g on (1.7) has a unque weak soluton u ε W 1,p (;R m ), whenever λ λ 0 and λ 0 = λ 0 (µ,κ,m,d) s suffcently large. Furthermore, the soluton satsfes the unform estmate where C depends on µ,ω(t),κ,λ,p,q,d,m and. Note that A VMO(R d ) f A satsfes A(y) sup x R d 0<ρ<t u ε L p () C f L p () + F L q () + g B 11/p,p ( ), (1.8) B(x,ρ) B(x,ρ) A dy ω(t), and lm = 0, +ω(t) t 0

3 and B α,p ( ;R m ) denotes the L p Besov space of order α (see 1]). We menton that for ease of notatons we say the constant C depends on ω nstead of ω(t) n the rest of the paper. We wll prove Theorem 1.1 n Secton 3 by usng bootstrap and dualty arguments. We menton that there are no perodcty or regularty assumptons on the coeffcents of the lower order terms n Theorems 1.1 and 1.2. The estmate (1.8) stll holds when s a bounded C 1 doman (see 39]). Results of the W 1,p estmates for ellptc or parabolc equatons wth VMO coeffcents can be found n 10 12, 16, 34, 35]. In the perodc settng, smlar estmates for parabolc systems, elastcty systems, and Stokes systems were obtaned by 17,18,24], respectvely. Also, the unform W 1,p estmates for L ε wth almost perodc coeffcents were shown n 2] recently. Theorem 1.2 (Hölder estmates). Suppose that the coeffcents of L ε satsfy the same condtons as n Theorem 1.1. Let p > d, f = (f α) Lp (;R md ), F L q (;R m ), and g C 0,σ ( ;R m ), where q = pd p+d, and σ = 1d/p. Then the weak soluton u ε to (1.7) satsfes the unform estmate where C depends on µ,ω,κ,λ,p,σ,d,m and. u ε C 0,σ () C f L p () + F L q () + g C 0,σ ( ), (1.9) The estmate (1.9) s sharp n terms of the Hölder exponent of g. If g C 0,1 ( ;R m ), (1.9) s just Corollary 3.8. The unform Hölder estmates for L ε were gven n 3] by the compactness method whch also works for non-dvergence form ellptc equatons (see 4]). However, we can not derve the sharp estmate by smply applyng ths method. So we turn to study the Green s matrx G ε (x,y) assocated wth L ε and obtan the decay estmates G ε (x,y) C xy d2 mn 1, d σ x d σ xy σ, y, xy σ d σ xd σ y, x,y, x y, xy σ+σ where σ,σ (0,1), d x = dst(x, ) denotes the dstance between x and, and C s ndependent of ε (see Theorem 3.11). Then we prove Theorem 1.2 through a subtle argument developed by Z. Shen 40], where he proved a smlar result for L ε n the almost perodc settng. The exstence and some related propertes of the Green s matrx wth respect to L 1 were studed by S. Hofmann and S. Km 26]. We also refer the reader to 27] for parabolc systems, and 23,36] for the scalar case. Theorem 1.3 (Lpschtz estmates). Suppose that A Λ(µ, τ, κ), V satsfes (1.2), (1.4), B and c satsfy (1.3), and λ λ 0. Let p > d and 0 < σ η. Then for any f C 0,σ (;R md ), F L p (;R m ), and g C 1,σ ( ;R m ), the weak soluton to (1.7) satsfes the unform estmate where C depends on µ,τ,κ,λ,p,d,m,σ,η and. u ε L () C f C 0,σ () + F L p () + g C 1,σ ( ), (1.10) The estmate (1.10) can not be mproved even f the coeffcents of L ε and are smooth, snce the corrector χ 0 defned n (2.1) s a counter example. Here we use two mportant transformatons u ε = I +εχ 0 (x/ε) ] v ε, and u ε = Φ ε,0 v ε (1.11) to deal wth the nteror and global Lpschtz estmates, respectvely. We explan the man dea as follows: Lε (u ε ) = dv(f)+f n, (D 1 ) u ε = g on. u ε = Φ ε,0 v ε Lε (v ε ) = dv( f)+ (D 2 ) F n, v ε = g on. Note that Φ ε,0 s not perodc, whch s the man dffculty to overcome. So we rewrte (D 1 ) as (D 2 ) to keep L ε perodc, whle the prce to pay s that the new source term f nvolves u ε. As we mentoned before, there s no unformly bounded Hölder estmate for u ε. Fortunately, t follows from Theorem 1.2 that Φ ε,0 C 0,σ 1() = O(ε σ 1 ) and u ε C 0,σ 1() = O(ε σ 2 ) as ε 0, (1.12)

4 where 0 < σ 1 < σ 2 < 1 are ndependent of ε (see Lemma 4.9 and 4.10). Together wth an mportant consequence of Lemma 4.8 Φ ε,0 I L () = O(ε) as ε 0, (1.13) we obtan that f s unformly Hölder contnuous through the observaton that the convergence rate n (1.13) s faster than the dvergence rate n (1.12) as ε 0. Also, Theorem 1.1 mples F L p () wth p > d. Thus we can employ the results n 3] mmedately, and the proof of Theorem 1.3 s fnalzed by a sutable extenson technque. We remark that the compactness argument for our ellptc systems s also vald, however t would be much more complcated. For more references, C. E. Keng and C. Prange 32] establshed unform Lpschtz estmates wth more general source terms n the oscllatng boundares settng, and the same type of results for parabolc systems and Stokes systems were shown n 17, 24], respectvely. Theorem 1.4 (Nontangental maxmal functon estmates). Suppose that A Λ(µ, τ, κ), V, B satsfy (1.2) and (1.4), c satsfes (1.3), and λ λ 0. Let 1 < p <, and u ε be the soluton of the L p Drchlet problem L ε (u ε ) = 0 n and u ε = g on wth (u ε ) L p ( ), where g L p ( ;R m ) and (u ε ) s the nontangental maxmal functon. Then (u ε ) L p ( ) C p g L p ( ), (1.14) where C p depends on µ,τ,κ,λ,d,m,p,η and. Furthermore, f g L ( ;R m ), we have where C depends on µ,τ,κ,λ,d,m,η and. u ε L () C g L ( ), (1.15) The estmate (1.15) s known as the Agmon-Mranda maxmum prncple, and (u ε ) s defned n (4.40). We remark that the proof of Theorem 1.4 s motvated by 3,31,38]. Defne the Posson kernel assocated wth L ε as Pε γβ (x,y) = n j (x)a αβ j (x/ε) G αγ ε (x,y) n j (x)b αβ j (x/ε)gε αγ (x,y), x where n j denotes the j th component of the outward unt normal vector of. Due to Theorem 1.3, we obtan x y G ε (x,y) C x y d for x,y, and x y (see Lemma 4.11), whch mples the decay estmate of P ε (see (4.37)). Thus the soluton u ε can be formulated by (4.38). Note that P ε s actually closely related to the adjont operator L ε (see Remark 2.3). That s the reason why we addtonally assume (1.2) and (1.4) for B n ths theorem. We refer the reader to Remark 4.12 for more references on Theorem 1.4. Theorem 1.5 (Convergence rates). Let be a bounded C 1,1 doman. Suppose that the coeffcents of L ε satsfy the same condtons as n Theorem 1.3, and B, c addtonally satsfy the perodcty condton (1.2). Let u ε be the weak soluton to L ε (u ε ) = F n and u ε = 0 on, where F L 2 (;R m ). Then we have uε Φ ε,0 u(φ β ε,k Pβ k ) uβ x k H 1 0 () Cε F L 2 (), (1.16) where u satsfes L 0 (u) = F n and u = 0 on. Moreover, f the coeffcents of L ε satsfy (1.1)(1.4), then u ε u L q () Cε F L p () (1.17) holds for any F L p (;R m ), where q = pd and. dp f 1 < p < d, q = f p > d, and C depends on µ,τ,κ,λ,m,d,p

5 We menton that the estmates (1.16) and (1.17) are sharp n terms of the order of ε. The deas n the proof are manly nspred by 29,30]. It s easy to see u ε u L 2 () = O(ε) s a drect corollary of (1.16) or (1.17). In the case of p = d, (1.17) s shown n Remark 5.3. Moreover, n the sense of operator error estmates the convergence rate lke (1.17) can also be expressed by L 1 ε L 1 0 L p Lq Cε, where L p L q s referred to as the (Lp L q )-operator norm. The convergence rates are actve topcs n homogenzaton theory. Decades ago, the L 2 convergence rates were obtaned n 7,28] for scalar cases due to the maxmum prncple. At the begnnng of 2000 s, the operator-theoretc (spectral) approach was successfully ntroduced by M. Sh. Brman and T. A. Suslna 8,9] to nvestgate the convergence rates (operator error estmates) for the problems n the whole space R d. They obtaned the sharp convergence rates O(ε) n the (L 2 L 2 )-operator norm and (L 2 H 1 )-operator norm for a wde class of matrx strongly ellptc second order self-adjont operators, respectvely. These results were extended to second order strongly ellptc systems ncludng lower order terms n 44]. Recently, C. E. Keng, F. Ln and Z. Shen 29] developed the L 2 convergence rates for ellptc systems on Lpschtz domans wth ether Drchlet or Neumann boundary data by addtonally assumng regularty and symmetry condtons, whle T.A. Suslna 42,43] also obtaned smlar results on a bounded C 1,1 doman wthout any regularty assumpton on the coeffcents. We refer the reader to 13,19,20,37,46] and references theren for more results. In the end, we comment that the above fve theorems are stll true for d = 1,2. Snce we usually have a dfferent method to treat the cases d 3 and d = 1,2 (for example, see 26, pp.2]), we omt the dscusson about the cases of d = 1,2 here. 2 Prelmnares Defne the correctors χ k = (χ αβ k ), 0 k d, assocated wth L ε as follows: L 1 (χ k ) = dv(v) n R d, χ k Hper(Y;R 1 m2 ) and χ k dy = 0 for k = 0, and L 1 (χ β k +Pβ k ) = 0 n Rd, χ β k H1 per (Y;Rm ) and Y Y (2.1) χ β k dy = 0 (2.2) for 1 k d, where Y = 0,1) d = R d /Z d, and H 1 per(y;r m ) denotes the closure of C per(y;r m ) n H 1 (Y;R m ). Note that C per(y;r m ) s the subset of C (Y;R m ), whch collects all Y-perodc vector-valued functons (see 14, pp.56]). By asymptotc expanson arguments, we obtan the homogenzed operator L 0 = dv(â + V)+ B +ĉ+λi, where  = (âαβ j ), V = ( V αβ ), B = ( B αβ ) and ĉ = (ĉ αβ ) are gven by â αβ j = B αβ = Y Y a αβ j +a αγ χ γβ j ] k dy, y k B αβ +B αγ j αβ V = χ γβ y j ] dy, ĉ αβ = The proof s left to readers (see 7, pp.103] or 28, pp.31]). Y Y V αβ +a αγ j c αβ +B αγ χ γβ 0 y j ] dy, χ γβ 0 y ] dy. Remark 2.1. It follows from the condtons (1.1) and (1.2) that µ ξ 2 â αβ j ξα ξβ j µ 1 ξ 2 holds for any ξ = (ξ α) Rmd, where µ 1 depends only on µ. Moreover, f a αβ j = a βα j, then µ ξ 2 â αβ j ξα ξβ j µ 1 ξ 2 (see 7, pp.23]). Ths llustrates that the operator L 0 s stll ellptc. (2.3)

6 Remark 2.2. We ntroduce the followng notatons for smplcty. We wrte χ k,ε (x) = χ k (x/ε), A ε (x) = A(x/ε), V ε (x) = V(x/ε), B ε (x) = B(x/ε), c ε (x) = c(x/ε), andthercomponentsfollow thesameabbrevated way. Note that the abbrevatons are not appled to Φ ε,k (x) or Ψ ε,k (x). Let B = B(x,r) = B r (x), and KB = B(x,Kr) denote the concentrc balls as K > 0 vares, where r < 1 n general. We say that s a bounded C 1,η doman, f there exst r 0 > 0, M 0 > 0 and P : = 1,2,,n 0 such that n 0 =1 B(P,r 0 ) and for each, there exsts a functon ψ C 1,η (R d1 ) and a coordnate system, such that B(P,C 0 r 0 ) = B(0,C 0 r 0 ) (x,x d ) R d : x R d1 and x d > ψ (x ), where C 0 = 10(M 0 +1) and ψ satsfes ψ (0) = 0, and ψ C 1,η (R d1 ) M 0. (2.4) We set D(r) = D(r,ψ) = (x,x d ) R d : x < r and ψ(x ) < x d < ψ(x ) + C 0 r and (r) = (r,ψ) = (x,ψ(x )) R d : x < r. In the paper, we say the constant C depends on, whch means C nvolves both M 0 and. Ths s especally mportant when we do near boundary regularty estmates. Here denotes the volume of. We also menton that for any E, we wrte f E = E f(x)dx = 1 E E f(x)dx, and the subscrpt of f E s usually omtted. Remark 2.3. Let L ε be the adjont of L ε, gven by L ε (v ε ) ] β = a αβ j x (x/ε) vα ε +B αβ j (x/ε)vε α +V αβ (x/ε) vα ε +c αβ (x/ε)vε α +λv j x x ε. β Then we defne the blnear form assocated wth L ε as B ε u ε,φ] = a αβ u β ε j,ε +V αβ φ α,ε x uβ ε dx+ j x and the conjugate blnear form wth respect to L ε as B ε v ε,φ] = a αβ vε α j,ε j,ε vα ε x +B αβ φ β dx+ x j B αβ,ε V αβ,ε u β ε +c αβ ε u β ε +λu α ε φ α dx, x vε β +c αβ ε x vα ε +λvβ ε φ β dx (2.5) for any u ε,v ε,φ H0 1(;Rm ). It follows that B ε u ε,v ε ] = B ε v ε,u ε ] and ( ) < L ε (u ε ),v ε >= Aε u ε +V ε u ε vε dx u ε dv ( ) ( B ε v ε dx+ cε +λ ) u ε v ε dx =< u ε,l ε (v ε) >. Lemma 2.4. Let be a Lpschtz doman. Suppose that A satsfes the ellptcty condton (1.1), and other coeffcents of L ε satsfy (1.3). Then we have the followng propertes: for any u,v H 1 0 (;Rm ), Bε u,v] C u H 1 0 () v H 1 0 (), and c 0 u 2 H 1 0 () B εu,u], whenever λ λ 0, (2.7) where λ 0 = λ 0 (µ,κ,m,d) s suffcently large. Note that C depends on µ,κ,λ,m,d,, whle c 0 depends on µ,κ,m,d,. Theorem 2.5. The coeffcents of L ε and λ 0 are as n Lemma 2.4. Suppose F H 1 (;R m ) and g H 1 2( ;R m ). Then the Drchlet boundary value problem L ε (u ε ) = F n and u ε = g on has a unque weak soluton u ε H 1 (), whenever λ λ 0, and the soluton satsfes the unform estmate (2.6) u ε H 1 () C F H 1 () + g H 1/2 ( ), (2.8) where C depends only on µ,κ,m,d and. Moreover, wth one more the perodcty condton (1.2) on the coeffcents of L ε, we then have u ε u weakly n H 1 (;R m ) and strongly n L 2 (;R m ) as ε 0, where u s the weak soluton to the homogenzed problem L 0 (u) = F n and u = g on.

7 Remark 2.6. The proof of Lemma 2.4 follows from the same argument n the scalar case (see 15,22]). Theorem 2.5 nvolves the unqueness and exstence of the weak soluton to (1.7), and the so-called homogenzaton theorem assocated wth L ε. The proof of Theorem 2.5 follows from Lemma 2.4, Lax-Mlgram theorem, Tartar s method of oscllatng test functons (see 7, pp.103] or 28, pp.31]). We refer the reader to 14] for more detals on the Tartar s method. We also menton that all the results n Lemma 2.4 and Theorem 2.5 stll hold for L ε and B ε. Lemma 2.7 (Caccopoll s nequalty). Suppose that A satsfes (1.1), and other coeffcents satsfy (1.3). Assume that u ε Hloc 1 (;Rm ) s a weak soluton to L ε (u ε ) = dv(f)+f n, where f = (f α) L2 (;R md ) and F L q (;R m ) wth q = 2d d+2. Then for any B, we have the unform estmate ( u ε 2 2 dx C ( ( ( u ε 2 2 dx +C f 2 2 dx +rc F q q dx, (2.9) r B where C depends only on µ,κ,λ,m,d. Proof. The proof s standard, and we provde a proof for the sake of completeness. Let φ C0 1 () be a cut-off functon satsfyng φ = 1 n B, φ = 0 outsde, and φ 2/r. Then let ϕ = φ 2 u ε be a test functon, t follows that A αβ ε u β ε +Vε αβ u β ε] u α ε φ 2 dx + 2 + c αβ ε u β εu α εφ 2 +λ u ε 2 φ 2 dx = A αβ ε u β ε +Vε αβ u β ε] φu α ε φdx+ Bε αβ u β εu α εφ 2 dx F α u α εφ 2 dx f α u α εφ 2 dx2 f α φu α εφdx, n. By usng the ellptcty condton and Young s nequalty wth δ, we have µ φ 2 u ε 2 dx + (λc ) φ 2 u ε 2 dx 4 C φ 2 u ε 2 dx+c φ 2 f 2 dx+ φ 2 F u ε dx, (2.10) where C = C (µ,κ,m,d). Ths together wth ( φ 2 ( F u ε dx φ uε ) 2 1 dx) ( 2 ( ) qdx q φ F µ u ε 2 φ 2 dx+ µ 8 8 ( C (φuε ) 2 ( 2 ( ) qdx q dx φ F φ 2 u ε 2 dx+c ( φf q dx ) 2/q gves (2.9), where 2 = 2d/(d 2), and we use Hölder s nequalty, Sobolev s nequalty, and Young s nequalty n order. Remark 2.8. In fact, (2.9) s the nteror W 1,2 estmate. By the same argument, we can also derve the near boundary Caccopoll s nequalty for the weak soluton to L ε (u ε ) = dv(f)+f n D(4r) and u ε = 0 on (4r), ( D(r) u ε 2 2 dx C ( r D(2r) ( u ε 2 2 dx +C D(2r) f f ( 2 2 dx +rc D(2r) F q q dx. (2.11) We pont out that the constant C n (2.9) or (2.11) depends only on µ,κ,m,d, whenever λ λ 0 C. Remark 2.9. Suppose that A Λ(µ,τ,κ), and V satsfes (1.2) and (1.4). In vew of the nteror Schauder estmate (see 21]), we obtan χk L (Y), χ k L (Y), χ k ] C 0,τ (Y) C(µ,τ,κ,m,d), (2.12) max 0 k d

8 where χ k ] C 0,τ (Y) s the τ th -Hölder semnorm of χ k (see 15, pp.254] for the defnton). If A VMO(R d ), and V satsfes (1.2) and (1.3), then for any 2 p < and ς (0,1), max χk L 0 k d (Y),χ k ] C 0,ς (Y), χ k L p (Y) C(µ,ω,κ,p,ς,m,d) (2.13) can be derved from the nteror W 1,p estmate (see 11,12,21]). Note that n the case of m = 1, due to the De Gorg-Nash-Moser theorem, the condtons (1.1) and (1.3) are suffcent to derve Hölder estmates for some ς (0,1), but nsuffcent to get W 1,p estmates (see 10,22,25]). In another specal case of d = 2, K.O. Wdman 45] obtaned the Hölder estmate by the hole fllng technque wthout any regularty assumpton on A (or see 21]). To handle the convergence rates, some auxlary functons and ther estmates are necessary. Let 1,j,l,k d, 1 α,β,γ m, and y = x/ε. Defne b αγ j (y) = âαγ j a αγ j (y)aαβ k (y) χ j, U αγ αγ (y) = V V αγ (y)a αβ j y (y) χ 0. (2.14) k y j Note that C.E. Keng, F. Ln, and Z. Shen 29,30] showed that there exsts E αγ lj Hper(Y), 1 such that b αβ j = y l E αβ lj, Eαβ lj = E αβ lj and E αβ lj L (Y) C(µ,ω,m,d). Here we obtan smlar results for U αγ : there exsts F αγ k Hper 1 (Y) such that U αγ = F αγ y k k, Fαγ k = F αγ k and F αγ k L (Y) C(µ,ω,κ,m,d). (2.15) We gve a proof of (2.15) for the sake of completeness. In vew of (2.1) and (2.3), we have Y Uαγ (y)dy = 0 and y U αγ = 0. Then there exsts a unque soluton θ αγ Hper(Y) 1 satsfyng θ αγ = U αγ n R d, (see 7,14]). Let F αγ k = y k θ αγ y θ αγ k, and obvously Fαγ whch mples F αγ k Hper(Y). 1 Next, we verfy F αγ Y θ αγ = 0 k = F αγ k. We menton that θαγ H 2 per(y), k s bounded, whch s equvalent to max θ αγ L (Y) 1 d C(µ,ω,κ,m,d). (2.16) Observe that (2.13) gves U αγ L p per(y), then the estmate (2.16) follows from the L p estmates and the Sobolev embeddng theorem, provded p > d. Moreover, we have F αγ y k = θ αγ 2 θ αγ k y k y k = U αγ. Note that y k U αγ k = 0 n Rd, whch mples y k θ αγ k = 0. In vew of Louvll s theorem (see 15]), we have y k θ αγ k = C, therefore y k y θ αγ k = y y k θ αγ k = 0, and we complete the proof of (2.15). In addton, we defne the auxlary functons ϑ αγ and ζ αγ as follows: ϑ αγ = W αγ := αγ B B αγ (y)b αβ j (y) χ y j ζ αγ = Z αγ := ĉ αγ c αγ (y)b αβ (y) χ 0 y n R d, n R d, Y Y ϑ αγ dy = 0, ζ αγ dy = 0. (2.17) Itfollows from (2.3) that Y Wαγ (y)dy = 0and Y Zαγ (y)dy = 0, whch mples theexstence of ϑ αγ andζ αγ. By the same argument, t follows from (2.13) that max ϑ αγ L (Y), ζ αγ L (Y) C(µ,ω,κ,d,m).

9 We end ths remark by a summary. Suppose that A VMO(R d ), and the coeffcents of L ε satsfy (1.1)(1.3), then we have E αγ lj L (Y), F αγ k L (Y), ϑ αγ L (Y), ζ αγ L (Y) C(µ,ω,κ,m,d). (2.18) max 1,j,l,k d 1 α,γ m In the specal case of m = 1 or d = 2, the estmate (2.18) stll holds wthout any regularty assumpton on A. We now ntroduce the Lpschtz estmate and Schauder estmate that wll be frequently employed later. Let L(u) = dv(a u) and L(u) = dv(a u + Vu) + B u + (c + λi)u. Then we have the followng results: Lemma 2.10. Let be a bounded C 1,τ doman. Suppose A satsfes (1.1) and (1.4). Let u be the weak soluton to L(u) = dv(f) + F n and u = 0 on, where f C 0,σ (;R md ) wth σ (0,τ], and F L p (;R m ) wth p > d. Then we have: () the Schauder estmate u ] C 0,σ () C f C 0,σ () + F L p () ; (2.19) () the Lpschtz estmate u L () C f] C 0,σ () + F L p (), (2.20) where C depends on µ,τ,κ,σ,m,d,p and. Moreover, f u = g on wth g C 1,σ ( ;R m ), then we have u ] C 0,σ () C f C 0,σ () + F L p () + g C 1,σ ( ). (2.21) Proof. The results are standard, and we provde a proof for the sake of completeness. For (), we refer the reader to 21, pp.75-95] for the detals. For (), due to the propertes of Green functon (denoted by G(x,y)) assocated wth L: G(x,y) C x y 2d, x G(x,y) C x y 1d and x y G(x,y) C xy d (theexstence of G(x,y) sncludedn26, Theorem4.1]), wehave u(x) = yg(x,y)f(y)dy+ G(x,y)F(y)dy. Dfferentatng both sdes wth respect to x gves u(x) = x y G(x,y) f(y)f(x) ] dy f(x) x y G(x,y)dy + x G(x,y)F(y)dy = x y G(x,y) f(y)f(x) ] dy f(x) n(y) x G(x,y)dS(y)+ x G(x,y)F(y)dy = x y G(x,y) f(y)f(x) ] dy + x G(x,y)F(y)dy for any x. Note that we usethe ntegraton by parts n the second equalty, and the fact of x G(x, ) = 0 on n the last equalty. Ths mples (2.20). Fnally we can use the extenson technque to obtan the estmate (2.21). (Its proof s smlar to that n the proof of Theorem 1.1, and we refer the reader to 22, pp.136-138] for the extenson lemmas.) Remark 2.11. Set U(x,r) = B(x,r) for any x. Let ϕ C0 () be a cut-off functon satsfyng ϕ = 1 n B, ϕ = 0 outsde 3/, and ϕ C/r. Let w = uϕ, where u s gven n Lemma 2.10. Then we have L(w) = dv(fϕ)f ϕ+fϕdv(a ϕu)a u ϕ n, w = 0 on. We apply the estmate (2.20) to the above equaton wth r = 1, and obtan u L (U(x,1)) C u C 0,σ (U(x,2)) + u L p (U(x,2)) + f L (U(x,2)) +f] C 0,σ (U(x,2)) + F L p (U(x,2)) C u W 1,s (U(x,2)) + f L (U(x,2)) +f] C 0,σ (U(x,2)) + F L p (U(x,2)) (2.22)

10 d where s = maxp, 1σ ]+1 ( d 1σ ] s the nteger part of d 1σ ), and we employ the fact of u C 0,σ (U(x,2)) C u W 1,s (U(x,2)). On account of where q = pd d+p u L p (U(x,2)) C u L 2 (U(x,4)) + f L p (U(x,4)) + F L q (U(x,4)), (see 21, Theorem 7.2]), we have u W 1,s (U(x,2)) C u W 1,2 (U(x,4)) + f L p (U(x,4)) + F L q (U(x,4)) (2.23) whereweuse u L s (U(x,2)) C u L s (U(x,2))+ u L 2 (U(x,2)) ntheabovenequalty(see(3.5)). Combnng (2.22) and (2.23), we have u L (U(x,1)) C u L 2 (U(x,4)) + u L 2 (U(x,4)) + f L (U(x,4)) +f] C 0,σ (U(x,4)) + F L (U(x,4)) p. Note that f U(x,4), then v = uū s stll a soluton to L(u) = dv(f)+f n, where ū = In ths case, the above estmate becomes U(x,4) udy. u L (U(x,1)) C u L 2 (U(x,4)) + uū L 2 (U(x,4)) + f L (U(x,4)) +f] C 0,σ (U(x,4)) + F L p (U(x,4)). If U(x,4) κ 0 > 0, then we have u L 2 (U(x,4)) C u L 2 (U(x,4)) due to u = 0 on. (It s another type of Poncaré s nequalty, whch can be derved from the trace theorem coupled wth Rellch s theorem by a contradcton argument, and the proof s left to the reader.) In all, we are able to apply Poncaré s nequalty to both of the two cases, and then obtan u L (U(x,1)) C u L 2 (U(x,4)) + f L (U(x,4)) +f] C 0,σ (U(x,4)) + F L p (U(x,4)). (2.24) Next, we let v(y) = u(ry), where y U(x,4). Then we have L(v) = dv( f) + F n U(x,4) and v = 0 on U(x,4), where L = y a αβ j (ry) y j, f(y) = rf(ry) and F(y) = r 2 F(ry). It follows from (2.24) that v L (U(x,1)) C v L 2 (U(x,4)) + f L (U(x,4)) + f] C 0,σ (U(x,4)) + F L p (U(x,4)), and by change of varable, we have ( ) 1/2 u L (U(x,r)) C u 2 dy + f L (U(x,4r)) +r σ f ] ( C 0,σ(U(x,4r)) +r U(x,4r) By a coverng technque (shown n the proof of Theorem 4.4), we have ( ) 1/2 u L (U) C u 2 dy + f L (2U) +r σ f ] ( C 0,σ(2U) +r 2U 2U U(x,4r) ) 1/p F p dy. ) 1/p F p dy. (2.25) Here U s the abbrevaton of U(x,r) and 2U = U(x,2r). We menton that all the above proof s socalled localzaton argument, whch gves a way to obtan local estmates (such as nteror estmates and boundary estmates) from correspondng global estmates. The man pont s based on cut-off functon coupled wth rescalng technque. So, on account of the estmate (2.19), followng the same procedure as before, t s not hard to derve ] ( ) 1/2 u C 0,σ (U) Crσ u 2 dy + f L (2U) +r σ f ] ( ) 1/p C 0,σ(2U) +r F p dy, (2.26) and by (2.21), ] ( u C 0,σ (D(r)) Crσ 2U D(2r) u 2 dy) 1/2+r 1 g L ( (2r))+ g L ( (2r))+r σ g ] C 0,σ ( (2r)) 2U (2.27) holds for u satsfyng L(u) = 0 n D(2r) and u = g on (2r). We note that the estmate (2.25) s of help to arrve at (2.26), and the extenson technque (see 22, pp.136]) s used n (2.27). The detals of the proof are omtted. Fnally we remark that (2.27) s exactly the Schauder estmate at boundary, whch can be drectly proved (see 21, Theorem 5.21]).

11 Lemma 2.12. Let be a bounded C 1,τ doman, and σ (0,τ]. Suppose that A,V satsfy (1.1) and (1.4), and B,c satsfy (1.3). Let u be the weak soluton to L(u) = dv(f)+f n and u = 0 on, where f,f satsfy the same condtons as n Lemma 2.10. Then we have () the Lpschtz estmate u L () C f C 0,σ () + F L p () ; (2.28) () the Schauder estmate u ] C 0,σ () C f C 0,σ () + F L p (), (2.29) where C depends on µ,τ,κ,m,d,σ,p and. Proof. The results are classcal, and we offer a sketch of the proof. Frst we rewrte L(u) = dv(f)+f as L(u) = dv(f +Vu)B u(c+λi)u+f n. It follows from (2.20) that u L () C f] C 0,σ () + F L p () + u C 0,σ () + u W 1,p () C f] C 0,σ () + F L p () +2 u σ L () u 1σ L () + u W 1,p () C 1 f] C 0,σ () + F L p () + u L () + u W 1,p () + 2 u L (), (2.30) where we use Young s nequalty n the last nequalty. By the Sobolev embeddng theorem we have u L () C u W 1,p () for p > d. Ths together wth (2.30) leads to u L () C f] C 0,σ () + F L p () + u W 1,p () C f C 0,σ () + F L p (), where we use the W 1,p estmate wth 1 < p < n the last nequalty, whch can be derved by a smlar argument as n the proof of Theorem 1.1, or see 11,21,22]. It remans to show (). In vew of (2.19) and (2.28), we obtan ] u C 0,σ () C f C 0,σ () + F L p () + u L () + u L () + u W 1,p () C f C 0,σ () + F L p (), where we also use W 1,p estmate n the last nequalty. The proof s completed. Remark 2.13. Let u be gven n Lemma 2.12. Applyng the localzaton argument (see Remark 2.11) to the estmates (2.28) and (2.29), we can smlarly gve the correspondng local estmates: u L (U) C r 1( ) 1/2 u 2 dy + f L (2U) +r σ f ] ( ) 1/p C 0,σ(2U) +r F p dy, (2.31) 2U 2U and ] u r C 0,σ (U) Crσ 1( 2U ) 1/2 u 2 dy + f L (2U) +r σ f ] ( C 0,σ(2U) +r 2U ) 1/p F p dy, (2.32) where C depends on µ,τ,κ,m,d,p,σ and M 0. We menton that n the proof of (2.31), we also need W 1,p estmate lke 21, Theorem 7.2] for L. It can be establshed by usng the bootstrap method whch s exactly shown n the proof of Theorem 3.3, so we do not repeat them. The remander of the argument s analogous to that n Remark 2.11.

12 3 W 1,p estmates & Hölder estmates Lemma 3.1. Let 2 p <. Suppose that A VMO(R d ) satsfes (1.1) and (1.2). Assume f = (f α) L p (;R md ), and F L q (;R m ) wth q = pd p+d. Then the weak soluton to L ε(u ε ) = dv(f) + F n and u ε = 0 on satsfes the unform estmate where C depends only on µ,ω,κ,p,q,d,m and. u ε L p () C f L p () + F L q (), (3.1) Remark 3.2. The estmate (3.1) actually holds for 1 < p <, where q = pd p+d f p > d d1, and q > 1 f 1 < p d d1. In the case of F = 0, (3.1) s shown n 6]. If F 0, we can derve the above result by the dualty argument appled n Lemma 3.7. The same method may be found n 16, 31]. Besdes, we refer the reader to 39] for the sharp range of p s on Lpschtz domans. Theorem 3.3. (Interor W 1,p estmates). Let 2 p <. Suppose that A VMO(R d ) satsfes (1.1), (1.2), and other coeffcents satsfy (1.3). Assume that u ε Hloc 1 (;Rm ) s a weak soluton to L ε (u ε ) = dv(f)+f n, where f L p (;R md ) and F L q (;R m ) wth q = pd p+d. Then, we have u ε L p (B) and the unform estmate ( u ε p dx B p C r ( u ε 2 dx 2 ( +C ( f p p dx +r for any B wth 0 < r 1, where C depends only on µ,ω,κ,λ,p,m,d. F q dx Proof. By rescalng we may assume r = 1. In the case of p = 2, (3.2) follows from Lemma 2.7. Next, we wll prove (3.2) for p 2,p ], where p = 2d d2k 0, and k 0 < d/2 k 0 +1. To do so, let w ε = ϕu ε, where ϕ C0 () s a cut-off functon satsfyng ϕ = 1 n B, ϕ = 0 outsde 3/, and ϕ C. We rewrte the orgnal systems as dv(a ε w ε ) = dv(fϕ)f ϕ+fϕ+ F n, where F α = dv(v αβ ε w β ε A αβ ε ϕu β ε)a αβ ε ϕ u β ε V αβ ε ϕu β ε B αβ ε u β εϕc αβ ε w β ε λw α ε. Hence t follows from (2.9), (3.1), (3.6), and Hölder s nequalty that u ε L p (B) C u ε L p () + u ε L q () + u ε L q () + f L p () + F L q () C u ε L q () + u ε L 2 () + f L p () + F L q () C u ε L 2 (2 k 0 +1 B) + f L p (2 k 0 +1 B) + F L q (2 k 0 +1 B). We frst check the specal case of p = p to obtan the fnal step k 0 of teraton, and then verfy the above 2d nequalty for any p 2, d2 ]. Second, t s not hard to extend the range of p s to 2,p ] by at most k 0 tmes of teraton. The rest of the proof s to extend the p s range to p < p <. Indeed t s true, snce u ε L p (B) C u ε L q () + u ε L 2 () + f L p () + F L q () q (3.2) and q < d 2,p ], whch s exactly the start pont for teratons due to the prevous case. Hence, let N = 4 k 0, we have proved u ε L p (B) C u ε L 2 (NB) + f L p (NB) + F L q (NB) (3.3) for any 2 p < n the case of r = 1. We remark that () the estmate (3.3) unformly holds for ε > 0; () the constant n (3.3) can begven by C C(µ,ω,m,d,p) A L (R d )+ V L (R d )+ B L (R d )+ c L (R d )+ λ k 0 +2. The two ponts make the rescalng argument vald when we study the estmate (3.2) for 0 < r < 1.

13 We now let v ε (x) = u ε (rx), where x B 1 and r (0,1). Hence we have Lε (v ε) = dv A(rx/ε) v r ε +Ṽ(rx/ε)v ] ε + B(rx/ε) vε + c(rx/ε)v ε + λv ε = dv( f)+ F n NB 1, (3.4) where Ṽ(x) = rv(x), B = rb(x), c = r 2 c(x), λ = r 2 λ, f = rf(rx), F = r 2 F(rx). It s clear to see that the coeffcents of L satsfy the same assumptons as L n ths theorem. Set ε = ε/r, and applyng (3.3) drectly, we obtan v rε L p (B 1 ) C v rε L 2 (NB 1 ) + f L p (NB 1 ) + F L q (NB 1 ), where C s the same constant as n (3.3). Ths mples u ε L p (B r) C r 1+d p d 2 u ε L 2 (NB r) + f L p (NB r) +r 1+d p d q F L q (NB r). Fnally, for any B wth 0 < r 1, we choose the small ball wth r/n radus to cover B r. Hence we have u ε L p (B r) C r 1+d p d 2 u ε L 2 (B 2r ) + f L p (B 2r ) +r 1+d p d q F L q (B 2r ), and ths gves (3.2). We complete the proof. Remark 3.4. Here we ntroduce two elementary nterpolaton nequaltes used n the above proof. Let u W 1,p (;R m ) wth 2 p <, then for any δ > 0, there exsts a constant C δ dependng on δ,p,d,m and, such that u L p () δ u L p () +C δ u L 2 (). (3.5) The estmate (3.5) can be easly derved by contradcton argument (or see 1]). As a result, we have u L p () C u W 1,q () C u L q () +C u L 2 () (3.6) for 1 p < and q = pd p+d, where C depends on p,d,m and. Corollary 3.5. Suppose that the coeffcents of L ε satsfy the same condtons as n Theorem 3.3. Let p > d and σ = 1 d/p. Assume that u ε H0 1(;Rm ) s a weak soluton of L ε (u ε ) = dv(f) + F n, where f L p (;R md ) and F L q (;R m ) wth q = pd p+d > d 2. Then we have ( ( u ε C 0,σ (B) Cr σ u ε 2 2 dx +r f p p dx +r 2( F q q dx (3.7) for any B wth 0 < r 1. In partcular, for any s > 0, ( ( u ε L (B) C u ε s s dx +r f p p dx where C depends only on µ,ω,κ,λ,p,m,d. +r 2( F q dx Proof. Assume r = 1. It follows from the Sobolev embeddng theorem and Remark 3.4 that u ε C 0,σ (B) C u ε W 1,p (B) C u ε L p (B) +C u ε L 2 (B). Then t follows from (3.2) and rescalng arguments that u ε C 0,σ (B) Cr ( σ 1/2 ( u ε dx) 2 +Cr 1σ f p p dx +r ( q F q dx, (3.8) q,

14 where σ = 1d/p. Moreover, for any x B we have from Hölder s nequalty. Ths gves u ε (x) u ε (x)ū ε + ū ε ( u ε ]C 0,σ (B) rσ + ( u ε L (B) C B ) 1/2 u ε (y) 2 dy 1/2 ( ( u ε dx) +Cr 2 f p p dx +r Moreover, by the teraton method (see 21, pp.184]), we have (3.8). F q dx q. Lemma 3.6. Suppose that the coeffcents of L ε satsfy the same assumptons as n Theorem 3.3. Let 1 < p <, f = (f α) Lp (;R md ). Then there exsts a unque u ε W 1,p 0 (;R m ) such that L ε (u ε ) = dv(f) n and u ε = 0 on, whenever λ λ 0. Moreover, the soluton satsfes the unform estmate u ε L p () C f L p (), (3.9) where λ 0 s gven n Lemma 2.4, and C depends on µ,ω,κ,λ,p,d,m and. Proof. In the case of p = 2, t follows from Theorem 2.5 that there exsts a unque soluton u ε H 1 0 (;Rm ) satsfyng the unform estmate u ε L 2 () C f L 2 (). For p > 2, the unqueness and exstence of the weak soluton s reduced to the case of p = 2. We rewrte the orgnal systems as L ε (u ε ) = dv(f +V ε u ε )B ε u ε (c ε +λ)u ε. Applyng (2.8), (3.1) and Sobolev s nequalty, we obtan u ε L p k0() C f L p k0() + u ε L p k0() + u ε L p k0 1 () C f L p k 0() + u ε L p k0 1 () C f L p k0() + f L 2 () C f L p k0(), (3.10) where p k0 = 2d d2k 0, and k 0 s a postve nteger such that k 0 < d/2 k 0 + 1. We clam that (3.10) holds for any p 2,p k0 ]. Indeed, let T(f) = u ε, then together wth T L 2 L 2 C and T L p k 0 L p k0 C, the Marcnkewcz nterpolaton theorem gves T L p L p C (see 41]). Moreover, for any p > p k 0, we stll have u ε L p () C f L p () + u ε L q () C f L p (), snce q < d. By the dualty argument, we can derve (3.9) for p (1,2). Let h = (h β ) C1 0 (;Rmd ), and v ε be the weak soluton to L ε (v ε) = dv(h) n and v ε = 0 on. Hence, n vew of the prevous result, we have v ε L p () C h L p () for any p > 2. Moreover, f f C0 1(;Rmd ), there exsts the weak soluton u ε H0 1(;Rm ) to the orgnal systems. Then t follows from Remark 2.3 that u ε hdx = u ε L ε(v ε )dx = L ε (u ε )v ε dx = f v ε dx. Ths gves u ε L p () C f L p (), where p = p /(p 1). By the densty argument, we can verfy the exstence of solutons n W 1,p 0 () for general f L p (;R md ), as well as the unqueness for 1 < p < 2. The proof s complete. Lemma 3.7. Suppose that the coeffcents of L ε satsfy the same condtons as n Lemma 3.6. Let 1 < p <. Then for any F L q (;R m ), where q = pd/(p+d) f p > d/(d1), and q > 1 f 1 < p d/(d1), there exsts a unque soluton u ε W 1,p 0 (;R m ) to L ε (u ε ) = F n and u ε = 0 on, satsfyng the unform estmate u ε L p () C F L q (), (3.11) where C depends only on µ,ω,κ,λ,p,q,d,m and.

15 Proof. We prove ths lemma by the dualty argument. The unqueness s clearly contaned n Lemma 3.6, and the exstence of the soluton u ε follows from the densty and Theorem 2.5. The rest of the proof s to establsh (3.11). Consder the dual problem for any f C0 1(;Rmd ), there exsts the unque v ε H0 1(;Rm ) to L ε(v ε ) = dv(f) n and v ε = 0 on. Note that t follows from Lemma 3.6 that v ε L p () C f L p (). Then we have u ε fdx = u ε L ε (v ε)dx = L ε (u ε )v ε dx = Fv ε dx, and u ε fdx F L q () v ε L q () C F L q () v ε L p () C F L q () f L p (). Note that 1 q = 1 p 1 d f p < d, 1 < q < f p = d, and q = f p > d. In other words, q = pd p > d d d1, and q > 1 f 1 < p d1. Fnally we obtan u ε L p () C F L q (). Proof of Theorem 1.1. In the case of g = 0, we wrte v ε = u ε,1 +u ε,2, where u ε,1 and u ε,2 are the solutons n Lemma 3.6 and 3.7, respectvely. Then we have p+d f v ε L p () u ε,1 L p () + u ε,2 L p () C f L p () + F L q (). (3.12) For g 0, consder the homogeneous Drchlet problem L ε (w ε ) = 0 n and w ε = g on, where g B 11/p,p ( ;R m ). By the propertes of boundary Besov space, there exsts G W 1,p (;R m ) such that G = g on and G W 1,p () C g B 11/p,p ( ). Let h ε = w ε G, we have L ε (h ε ) = dv ( A ε G+V ε G ) B ε G(c ε +λ)g n, h ε = 0 on. Recall the case of g = 0, n whch there exsts the unque weak soluton h ε W 1,p 0 (;R m ), satsfyng the unform estmate h ε L p () C G W 1,p () C g B 11/p,p ( ) for 1 < p <. Ths mples w ε L p () h ε L p () + G L p () C g B 11/p,p ( ). (3.13) Fnally, let u ε = v ε +w ε. Combnng (3.12) and (3.13), we have u ε L p () C f L p () + F L q () + g B 11/p,p ( ), where C depends only on µ,ω,κ,λ,p,q,d,m and. We complete the proof. Corollary 3.8. Suppose that the coeffcents of L ε satsfy the same condtons as n Theorem 1.1. Set d < p < and σ = 1d/p. Let f = (f α) Lp (;R md ), F L q (;R m ) wth q = pd p+d, and g C0,1 ( ;R m ). Then the unque soluton u ε to (1.7) satsfes the unform estmate where C depends only on µ,ω,κ,λ,p,q,d,m, and. u ε C 0,σ () C f L p () + F L q () + g C 0,1 ( ), (3.14) Proof. Due to the extenson theorem (see 22, pp.136]), there exsts an extenson functon G C 0,1 (;R m ) such that G = g on and G C 0,1 () C g C 0,1 ( ). Ths also mples G W 1,p () C g C 0,1 ( ) for any p 1. Let v ε,w ε be the weak solutons to the followng Drchlet problems: Lε (v () ε ) = dv(f)+f n, Lε (w () ε ) = 0 n, (3.15) v ε = 0 on, w ε = g on, respectvely. For (), t follows from the Sobolev embeddng theorem and Theorem 1.1 that v ε C 0,σ () C v ε L p () C f L p () + F L q (). For (), by settng h ε = w ε G, we have L ε (h ε ) = L ε (G) n and h ε = 0 on. Therefore h ε C 0,σ () C G W 1,p () C g C 0,1 ( ), whch mples w ε C 0,σ () C g C 0,1 ( ). Let u ε = v ε + w ε. Combnng the estmates related to v ε and w ε, we derve the estmate (3.14).

16 Remark 3.9. Assume the same condtons as n Corollary 3.8, let u ε be a weak soluton to (1.7). Then by the same argument as n the proof of Theorem 3.3, we obtan the near boundary Hölder estmate ( ( u ε C 0,σ (D(r)) Cr σ u ε 2 2 dx +r g C 0,1 ( (2r)) +r f p p dx +r 2( F q q dx, D(2r) D(2r) D(2r) (3.16) where σ = 1d/p, and C depends on µ,ω,κ,λ,p,d,m and. Remark 3.10. In the followng, we frequently use the abbrevated wrtng lke F(,y) = F(x,y)dx. Theorem 3.11. Suppose the same condtons on L ε as n Theorem 1.1, and λ λ 0. Then there exsts a unque Green s matrx G ε : R m2, such that G ε (,y) H 1 ( \B r (y);r m2 ) W 1,s 0 (;Rm2 ) d wth s 1, d1 ) for each y and r > 0, and B ε G γ ε (,y),φ ] = φ γ (y), φ W 1,p 0 (;R m ), p > d. (3.17) Partcularly, for any F L q (;R m ) wth q > d/2, u γ ε (y) = Gε γα (x,y)fα (x)dx (3.18) satsfes L ε (u ε ) = F n and u ε = 0 on. Moreover, let G ε (,x) be the adjont Green s matrx of G ε (,y), then G ε (x,y) = G ε (y,x) ] and for any σ,σ (0,1), the followng estmates G ε (x,y) C xy d2 mn 1, d σ x d σ xy σ, y, xy σ d σ xd σ y xy σ+σ hold for any x,y and x y, where d x = dst(x, ), and C depends only on µ,ω,κ,λ,d,m and. (3.19) Lemma 3.12 (Approxmatng Green s matrx). Assume the same condtons as n Theorem 3.11. Defne the approxmatng Green s matrx G ρ,ε (,y) as B εg γ ρ,ε(,y),u] = u γ dx, u H0(;R 1 m ), (3.20) ρ(y) where 1 γ m, and ρ (y) = B ρ (y). Then f xy < d y /2, we have the unform estmate G γ ρ,ε (x,y) C xy d2, ρ < xy /4, (3.21) d where C depends only on µ,ω,κ,λ,d,m and. Moreover, for any s 1, d1 ), we have sup G γ ρ,ε (,y) W 1,s ρ>0 0 () C(µ,ω,κ,λ,d,m,s,,d y). (3.22) Proof. Frst of all, we show G ρ,ε (x,y) = G γθ ρ,ε(x, y)] s well defned. Let I(u) = ρ(y) uγ dx, then I H 1 (;R m ) and I(u) C ρ (y) 1/2 u H 1 0 () wth 2 = 2d d2. It follows from Theorem 2.5 that there exsts a unque G γ ρ,ε(,y) H0 1(;Rm ) satsfyng (3.20) and G γ ρ,ε(,y) L 2 () C ρ (y) 1 2. (3.23) For any F C0 (;Rm ), consder L ε (u ε ) = F n and u ε = 0 on. There exsts the unque soluton u ε H0 1(;Rm ) such that FG γ ρ,ε (,y) = B εu ε,g γ ρ,ε (,y)] = B ε Gγ ρ,ε (,y),u ε] = u γ ε. (3.24) ρ(y)

17 Suppose supp(f) B, where B = B R (y). Then t follows from (2.8), (3.8) and (3.24) that ( FG γ ρ,ε(,y) u ε L (1/4B) C u ε 2 2 +R 2( ] F p p CR 2( for any ρ < R/4 and p > d/2. Ths mples ( G γ ρ,ε (,y) q q CR 2d, R d y, q d ) 1,. d2 B Br 2 (x) 1/ B 2r (y) 1/ F p p B Now we turn to (3.21). Set r = x y, and r d y /2. In vew of (3.20), G ρ,ε (x,y) actually satsfes L ε G γ ρ,ε (,y) ] = 0 n Br (y)\b r(y). By usng (3.8) agan, we obtan 2 4 G γ ρ,ε (x,y) C G γ ρ,ε (,y) C G γ ρ,ε (,y) C xy 2d for any ρ < xy /4, where C depends only on µ,ω,κ,λ,d,m and. Then we wll prove (3.22). Step one, we verfy the followng estmates, G γ ρ,ε (,y) 2 CR 2d, G γ ρ,ε (,y) 2 CR d, ρ > 0, R < d y /4. (3.25) \B(y,R) \B(y,R) On the one hand, let ϕ C0 1 () be a cut-off functon satsfyng ϕ 0 on B(y,R), ϕ 1 outsde B(y,2R), and ϕ C/R. Choose u = ϕ 2 G γ ρ,ε(,y) n (3.20) and λ λ 0. It follows from (2.10) and (3.21) that ϕ 2 G γ ρ,ε(,y) 2 C ϕ 2 G γ ρ,ε(,y) 2 C R 2 xy 2(2d) CR 2d, ρ < R/4. (3.26) \B On the other hand, t follows from (3.23) that G γ ρ,ε (,y) 2 G γ ρ,ε (,y) 2 CR 2d, \B(y,R) ρ R/4. Thus we have the frst nequalty of (3.25) for all ρ > 0. For the second estmate n (3.25), we observe ( ϕg γ ρ,ε (,y) 2 C ( ϕg γ ρ,ε (,y)) 2) d d2 ( C ϕg γ ρ,ε (,y) 2 + ϕ G γ ρ,ε (,y) 2) d d2 CR d (3.27) for any ρ < R/4, where we use Sobolev s nequalty n the frst nequalty and (3.26) n the last nequalty. We remark that the constant C does not nvolve R. In the case of ρ R/4, snce G γ ρ,ε(,y) = 0 on, we have \B(y,R) G γ ρ,ε (,y) 2 ( d G γ ρ,ε (,y) 2 C G γ ρ,ε (,y) 2) d2 CR d, where we use Sobolev s nequalty n the second nequalty and (3.23) n the last nequalty. Ths together wth (3.27) leads to G γ ρ,ε (,y) 2 CR d, ρ > 0, R < d y /4. \B(y,R) We now addressourselves to the unformestmates of G γ ρ,ε(,y) and G γ ρ,ε(,y) wth respect to parameter ρ. In the case of t > (d y /4) 1d, we obtan x : G γ ρ,ε(,y) > t CR d +t 2 \B(y,R) G γ ρ,ε(,y) 2 Ct d d1, ρ > 0. (3.28)

18 For t > (d y /4) 2d, t follows that x : G γ ρ,ε (,y) > t Ct d d2, ρ > 0. (3.29) Then n vew of (3.28) and (3.29), we have G γ ρ,ε (,y) s Cd s(2d) y +C t s1 t (d y/4) 2d d for s 1, d2 ), and G γ ρ,ε(,y) s C d s(1d) y d d2 dt C d s(2d) +dy s(1d)+d ] y +dy s(2d)+d ] d for s 1, d1 ), where C depends only on µ,ω,κ,λ,d,m,s and. Combnng the two nequaltes above, we have (3.22), and the proof s complete. Proof of Theorem 3.11. From the unform estmate (3.22), t follows that there exst a subsequence of G γ ρ n,ε(,y) n=1 and Gγ ε(,y) such that for any s (1, d d1 ), Hence, we have G γ ρ n,ε(,y) G γ ε(,y) weakly n W 1,s 0 (;Rm ) as n. (3.30) B ε Gγ ε (,y),φ] = lm n B ε Gγ ρ n,ε (,y),φ] = lm φ n γ = φ γ (y) ρn (y) for any φ W 1,p 0 (;R m ) wth p > d, where we use the defnton of the approxmatng Green s matrx. Due to Theorem 1.1, there exsts the weak soluton u ε W 1,p 0 (;R m ) satsfyng L ε (u ε ) = F n and u ε = 0 on for any F L p 2(;R m ) wth p > d. Thus we obtan u γ ε (y) = B ε Gγ ε (,y),u ε] = B ε u ε,gε γ (,y)] = Gε γ (,y)f. We nowverfy theunqueness. If G ε(,y) γ sanother Green s matrxof L ε, wethenhave ũ γ ε = G γ ε(,y)f. It follows from the unqueness of the weak soluton that Gγ ε (,y)gε(,y) γ ] F = 0 for any F L2(;R p m ), hence G ε(,y) γ = Gε(,y) γ a.e. n. Next, let G,ε (,x) denote the approxmatng adjont of G ρ,ε (,y), whch satsfes B ε G θ,ε (,x),u] = u θ, u H0 1 (;Rm ). (3.31) (x) By the same argument, we can derve the exstence and unqueness of G ε (,x), as well as the estmates smlar to (3.21) and (3.22). Thus for any ρ, > 0, we obtan G γθ,ε (z,x)dz = B ε Gγ ρ,ε (,y), G θ,ε (,x)] = B ε G θ,ε (,x),gγ ρ,ε (,y)] = G θγ ρ,ε (z,y)dz. ρ(y) Note that L ε G θ,ε (,x)] = 0 n \ B (x) and L ε Gγ ρ,ε(,y)] = 0 n \ B ρ (y). In vew of Corollary 3.5, G θ,ε (,x) and Gγ ρ,ε(,y) are locally Hölder contnuous. Therefore, we have G γθ ε (y,x) = Gθγ ε (x,y) as ρ 0 and 0, whch mples G ε (x,y) = G ε (y,x)] for any x,y and x y. Let r = xy and F C0 ( r (x)). Assume u ε s the soluton of L 3 ε (u ε ) = F n and u ε = 0 on. Then we have u ε (y) = G ε(z,y)f(z)dz. Snce L ε (u ε ) = 0 n \r 3 (x), t follows from Corollary 3.5 that ( u ε (y) C r 3 (y) u ε (z) 2 2 dz Cr 1d 2 ( ) 1 u ε (z) 2 2 dz (x)

Cr 1d 2 ( u ε (z) 2 2 dz Cr 1d 2 F L 2d d+2() Cr2d 2 F L 2 (r 3 (x)), where we use Hölder s nequalty n the second nequalty and Sobolev s nequalty n the thrd nequalty, as well as the estmate (3.11) wth p = 2 n the fourth nequalty. Ths mples ( r 3 (x) G ε (z,y) 2 2 dz 19 Cr 2d. (3.32) Note that L ε G ε (,y)] = 0 n \B(y,r) for any r > 0. So n the case of r 3d x, t follows from (3.8) and (3.32) that ( G ε (x,y) C r 3 (x) G ε (z,y) 2 2 dz For r > 3d x, n vew of (3.16) and (3.32), for any σ (0,1), we have G ε (x,y) = G ε (x,y)g ε ( x,y) C( x x r C xy d2. ) σ( G ε (z,y) 2 2 dz r(x) 3 C d σ x xy d2+σ, where x such that d x = x x. By the same argument, we can obtan smlar results for G ε (,x). Snce G ε (x,y) = G ε (y,x) for any x,y and x y, the followng results are easly derved by the same arguments: G ε (x,y) Cd σ y d σ x mn 1, xy d2+σ xy σ for any σ,σ (0,1), where C depends only on µ,ω,κ,λ,d,m,σ and. The proof s complete. Remark 3.13. We wll see n Secton 4 that the estmates (3.19) actually hold for σ = σ = 1, whch are G ε (x,y) C xy d2 mn d y 1, xy, d x xy, d x d y xy 2. Let r = xy, and ȳ such that d y = y ȳ. In the case of d y < r/6, due to G ε (x, ) = 0 on, we have G ε (x,y) = G ε (x,y)g ε (x,ȳ) G ε (x, ) L (r 6 (y)) y ȳ Cd y r ( r 3 (y) G ε (x,z) 2 2 dz Cd y xy d1, (3.33) where we employ the estmate (4.36) n the second nequalty, and (3.32) n the last one. In the case of d y r/6, we can straghtforward derve the above estmate from the estmate G ε (x,y) C x y 2d. Smlarly, we can derve G ε (x,y) = G ε (y,x) Cd x xy 1d. Then we plug the above estmate back nto the last nequalty of (3.33), and obtan G ε (x,y) Cd x d y x y d. Remark 3.14. The man dea n the proofs of Theorem 3.11 and Lemma 3.12 can be found n 3,26]. We comment that the ndces σ and σ (0,1) can be equal, whch actually come from the Hölder estmate wth zero boundary data. Equpped wth the estmate (3.19), t s possble to arrve at the sharp Hölder estmate wth nonzero boundary data.

20 Proof of Theorem 1.2. We frst assume that u ε,1 satsfes L ε (u ε,1 ) = 0 n and u ε,1 = g on. Let v be the extenson functon of g, satsfyng v α = 0 n and v α = g α on. For any x, set B = B(x,d x ). We have the estmate ( v(x) C v 2 dy 1 4 B 2 C ( v(y)v(x) 2 2 dy d x 1 2 B Cd σ1 x v] C 0,σ () Cd σ1 x g C 0,σ ( ) (3.34) for any σ (0, 1), where we use the (nteror) Lpschtz estmate (2.25) n the frst nequalty, Caccopoll s nequalty n the second nequalty, and the Hölder estmate: v] C 0,σ () C g C 0,σ ( ) n the last nequalty. By normalzaton we may assume g C 0,σ ( ) = 1. Let w ε = u ε,1 v, then L ε (w ε ) = L ε (v) n and w ε = 0 on. It follows from (3.18) that w ε (y) = G ε (x,y) A ε v +V ε v ] dx G ε (x,y) B ε v +(c ε +λ)v ] dx, whch mples w ε (y) C =: I 1 +I 2 +I 3, G ε (x,y) d x ] σ1 dx+c G ε (x,y) d x ] σ1 dx+c where we use the estmate (3.34). To estmate I 1, set r = d y /2. It follows from (2.9) and (3.19) that B(y,r) x G ε (x,y) d x ] σ1 dx C C (2 j r) d( j=0 (2 j r) d1( j=0 B(y,2 j r)\b(y,2 j1 r) B(y,2 j+1 r)\b(y,2 j2 r) ( Gε (x,y) + G ε (x,y) ) dx x G ε (x,y) 2 dx 2r σ1 G ε (x,y) 2 2 dx r σ1 Cr σ, Next, we address ourselves to the ntegral on \ B(y,r). Let Q be a cube n R d wth the property that 3Q \y, andl(q), dst(q, )arecomparable, wherel(q)denotesthesdelengthofq(see41,pp.167]). Thus, for fxed z Q there exst c 1,c 2 > 0 such that c 1 z y xy c 2 z y for any x Q, and we have Q ( x G ε (x,y) d x ] σ1 dx Cl(Q)] σ2 Q 2Q G ε (x,y) 2 2 dx Cl(Q)] σ+σ12 r σ 2 Q z y d2+σ 1+σ 2 Cr σ 2 Q d x ] σ+σ 12 xy d2+σ 1+σ 2 dx, where we use the estmate (2.9) n the frst nequalty, the estmate (3.19) n the second one, and the Chebyshev s nequalty n the last one. (Note that σ 1 and σ 2 wll begven later.) By decomposng \B(y,r) as a non-overlappng unon of cubes Q (see 41, pp.167-170]), we then obtan \B(y,r) x G ε (x,y) d x ] σ1 dx Cr σ 2 Σ0 Σ1 Σ2 d x ] σ+σ 12 (r + xy ) d2+σ 1+σ 2 dx =: I 11 +I 12 +I 13. Note that we add the addtonal dstance r n the denomnator n the second nequalty and therefore the correspondngdomanofntegral becomestheunonofσ 0 = B(y,r), Σ 1 = j=0 j andσ 2 = j=0 m=0 j,m, where j = 2 j r xy 2 j+1 r 2 j r d x 2 j+1 r +2r, j,m = 2 j r xy 2 j+1 r 2 m1 (2 j r) d x 2 m (2 j r).

21 Then a routne computaton gves rse to I 11 Cr σ, I 12 Cr σ2 I 13 Cr σ2 j=0 (2 j r) σ+σ 12 (2 j r) d2+σ 1+σ 2 (2 j r) d Cr σ j=0 m=0 (2 j ) σσ 2 Cr σ, j=0 2 m1 (2 j r)] σ+σ 11 (2 j r) d2+σ 1+σ 2 (2 j r) d1 Cr σ (2 m ) σ+σ 11 (2 j ) σσ 2 Cr σ, provded we choose σ 1,σ 2 (0,1) such that σ 1 + σ > 1 and σ 2 < σ. Combnng the above estmates, we obtan I 1 Cd y ] σ. In vew of (3.19), we obtan I 2 Cd y ] σ 1 xy d1dx Cd y] σ, and I 3 C(I 1 +I 2 ). Hence, for any y we have m=0 w ε (y) I 1 +I 2 +I 3 Cd y ] σ. (3.35) Consder three cases: (1) xy d x /4; (2) xy d y /4; (3) xy > maxd x /4,d y /4. In the frst case, let r = d x. In vew of (3.34) and (3.35) we frst have sup v(z) Cr σ1 and sup w ε (z) Cr σ. (3.36) z B(x,r/2) z B(x,r/2) It follows from (3.7), (3.35) and (3.36) that w ε (x)w ε (y) w ε ] C 0,σ (B(x,d x/4)) xy σ C xy r σ σ( C xy σ, w ε 2 2 dz +r 1σ( ( v p + v p p )dz j=0 +r 2σ( ( v q + v q )dz where we also use the fact v L () C (the maxmum prncple) n the last nequalty. It s clear to see that we can handle the second case n the same manner. In the case of (3), we derve w ε (x)w ε (y) w ε (x) + w ε (y) C xy σ from (3.35). Thus we have proved w ε C 0,σ () C g C 0,σ ( ). Ths together wth v C 0,σ () C g C 0,σ () gves u ε,1 C 0,σ () w ε C 0,σ () + v C 0,σ () C g C 0,σ ( ). In addton, assume that u ε,2 satsfes L ε (u ε,2 ) = dvf + F n and u ε,2 = 0 on. It follows from Corollary 3.8 that u ε,2 C 0,σ () C f L p ()+ F L q (). Let u ε = u ε,1 +u ε,2, we fnally obtan (1.9) and complete the proof. 4 Lpschtz estmates & Nontangental maxmal functon estmates Lemma 4.1. Suppose A Λ(µ,τ,κ). Let p > d and ν (0,η]. Assume that f = (f α ) C0,ν (;R md ), F L p (;R m ) and g C 1,ν ( ;R m ). Then the unque soluton u ε to L ε (u ε ) = dv(f)+f n and u ε = g on satsfes the unform estmate u ε L () C f C 0,ν () + F L p () + g C 1,ν ( ), (4.1) where C depends only on µ,τ,κ,m,d,η,p,ν and. q