arxiv: v2 [math.ap] 6 Dec 2015

Transcript

1 Unform Regularty Estmates n Homogenzaton Theory of Ellptc System wth Lower Order Terms arxv: v2 math.ap] 6 Dec 2015 Qang Xu School of Mathematcs and Statstcs, Lanzhou Unversty, Lanzhou, Gansu , 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 ). 1

2 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 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 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 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 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 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 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 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 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 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 ] for the extenson lemmas.) Remark 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 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 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 11 Lemma 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 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 Let u be gven n Lemma 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 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 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 The two ponts make the rescalng argument vald when we study the estmate (3.2) for 0 < r < 1.

13 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 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 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 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 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 In the followng, we frequently use the abbrevated wrtng lke F(,y) = F(x,y)dx. Theorem 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 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 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 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 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)

19 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 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 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 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 ]), 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 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