arxiv:funct-an/ v1 26 Mar 1993

Transcription

1 0. Intoduction axiv:funct-an/ v 26 Ma 993 In some ecent papes [2], [3]) a boad class of diffeential euations, the elaxed Diichlet poblems, was intoduced by G. Dal Maso and U. Mosco. The solutions of these poblems descibe the asymptotic behaviou of seuences of solutions to petubed Diichlet poblems with homogeneous bounday conditions on vaying domains as well as of Schödinge euations with vaying nonnegative potentials. These euations have the following fomal expession Lu + µu = ν in 0.) whee is a bounded open subset of IR N, N 2, L is a unifomly elliptic opeato with bounded Lebesgue) measuable coefficients in IR N, µ belongs to the space M 0 ) of all non-negative Boel measues on, which vanish on sets of zeo capacity and ν is a Radon measue belonging to a suitable subspace K N ) of H ). A vaiational Wiene citeion fo these poblems has been fomulated in [2]; this citeion is inspied by the classical one of potential theoy [8]). The main esult in [2] is the chaacteization of the egula Diichlet points of µ i.e., the points x 0 of such that evey local weak solution u of 0.) is continuous at x 0 with value ux 0 ) = 0) as the points whee the Wiene modulus of µ, defined by ω, R) def = exp R Cap µ x 0 ), B 2ρ x 0 )) Cap x 0 ), B 2ρ x 0 )) dρ ρ ), 0.2) vanishes as 0 +, fo some fixed positive R. In the same pape the necessity of the Wiene condition is poved when the dimension N of the space is geate o eual to 2. The poof of the sufficient condition is given by means of a joint estimate of the enegy and the continuity modulus of local weak solutions fo poblem 0.), in tems of the Wiene modulus, by making use of tools which euie the hypothesis N 3. Indeed, the poof of this estimate needs the euivalence between the Wiene citeion given in tems of annuli and in tems of balls. This euivalence can be obtained diectly when N 3 by using the fact that the function γρ) = Cap, B 2ρ ) is homogeneous of degee N 2. The pupose of this pape is to give a poof of the pevious estimate when N 2, having in mind some techniues aleady used by M. Bioli and U. Mosco []) in the case of obstacle poblems fo degeneate elliptic opeatos. As a fist step we will define the function V ) def = sup u 2 + x 0 ) Du 2 G x 0 2 dx + u 2 G x 0 2 dµ, 0.3) whee 0 < < and G x 0 2 is the Geen function, with singulaity in x 0, of the Diichlet poblem fo the opeato L in the ball B 2 x 0), and then we will establish the following estimate V ) kω, R) β V R) + k ν 2 K N B R ), 0.4)

2 fo any 0 < < R R such that B 2R x 0 ) ), whee k and β ae two positive constants and the nom of ν is taken in the Kato space K N B R ). We want to point out that the diffeence between ou definition of V ) and the definition given in [2] is that in 0.3) we use the Geen function elative to the ball B 2 x 0) instead of the fundamental solution in IR N fo the Laplace opeato. It is the pesence of the Geen function, togethe with the estimates connected with the maximum pinciple, that will allow us to obtain estimate 0.4) avoiding the compaison between the capacity of the balls and that of the annulus. Then, as in [2], we obtain fom 0.4) not only a poof of the sufficient Wiene condition, but also an estimate of the continuity modulus of the local weak solution of 0.) in tems of the Wiene modulus. This estimate extends that one given by Maz ja [3] and [4]) in the case of egula bounday points fo Diichlet poblems. In addition, we obtain also an estimate fo the decay of the µ enegy E µ ) def = Du 2 dx + u 2 dµ, in the ball as 0 +. Finally we specialize ou esult to the classical case, obtaining the continuity modulus estimate poved by Maz ja and finding an enegy decay estimate, at a point at the bounday, valid in dimension N 2. Acknowledgments: we would like to thank pofessos U. Mosco and G. Dal Maso fo thei kind help and useful suggestions. This wok is pat of the Reseach Poject Poblemi Vaiazionali Iegolai of the Italian National Reseach Council.. Notation and peliminay esults In this pape will be a bounded open subset of IR N, N 2, its closue and its bounday... Sobolev spaces We denote by H,p ), p < +, the Sobolev space of all functions u L p ) with distibution deivatives D i u L p ), i =,..., N. The space H,p ) is endowed with the nom u H,p )= ) u p L p ) + Du p p L p ), whee Du = D u,..., D N u) is the gadient of u. By H,p loc ) we denote the set of functions belonging to H,p ) fo evey open set. By H,p 0 ) we denote the closue of C0 ) in H,p ). As usual, fo the space H,2 ), H,2 loc ) and H,2 0 ) we use the notations H ), Hloc ) and H 0 ). Moeove by H ) we denote the dual space of H0 ) and by <, > the dual paiing between H ) and H0 ). 2

3 Finally, fo evey u H ) and fo evey E open subset of, we denote by osc E u = sup E u inf E u the essential) oscillation of u in E i.e. the diffeence between the essential sup and the essential inf of u on E). We will say that u is essentially) continuous at x 0 if ) lim osc u ρ 0 + x 0 ) = 0, whee x 0 ) o Bρ, x 0 )) is the ball of adius ρ and cente x The hamonic capacity Let A be an open subset of. The hamonic capacity of A with espect to is defined by { } CapA, ) def = inf Du 2 dx : u H0 ), u χ a.e. on, A whee χ A is the chaacteistic function of A. If the set {u H0 ), u χ a.e. on } A is empty, we define CapA, ) = +. This definition can be extended to any subset E of in the following way: CapE, ) def = inf {CapA, ) : A open; A E}. We say that a set E of IR N has zeo capacity if CapE, ) = 0 fo evey bounded open set of IR N. Then, we say that a popety holds uasi-eveywhee in a set S.e. in S), if it holds in S E 0, whee E 0 is subset of S with capacity zeo. We ecall that fo evey function u of Hloc ), it is possible to find a uasicontinuous epesentative. Then the limit lim ux) dx ρ 0 + x 0 ) exists and is finite uasi-eveywhee in is the Lebesgue measue of x 0 )). Theefoe we can detemine the pointwise value of u H ) using, fo evey x 0, the following convention: lim inf ux) dx ux 0 ) lim sup ux) dx..) ρ 0 + X 0 ) ρ 0 B + ρ x 0 ) If is bounded it is possible to pove that { CapE, ) = inf Du 2 dx : u H 0 ), u.e. on E }, 3

4 fo any set E. The function u H 0) that ealizes the minimum is said the capacitay potential of E in. It is easy to pove that u =.e. in E and u = 0 in E..3. The Geen function Let us conside a second ode elliptic diffeential opeato in divegence fom Lu = i,j= D j a ij D i u),.2) whee a ij, i, j =,..., N, ae measuable, eal valued functions such that and that the following unifomly elliptic condition i,j= Λ > 0 : a ij x) Λ a.e. in,.3) a ij x)ξ i ξ j λ ξ 2 a.e. in, ξ IR N,.4) holds fo some λ > 0. The bilinea fom on H ) associated to L is denoted by au, v) = i,j= a ij x)d i ud j v dx. We define the Geen function Gx, y) o G y x)) fo the Diichlet poblem in elative to the opeato L as the uniue solution in H,p N 0 ), with < p < N, fo the euation aφ, G y ) = φy), φ H0 ) C) with Lφ C). It is well known that Gx, y) H y)) fo evey > 0, that it is Hölde continuous on evey compact subset of {y, y) : y } and that vanishes.e. on. Moeove, fo evey measue µ H ), the function uy) = Gx, y) dµx) is the uniue solution in H 0) of the euation au, φ) = φ dµ, 4 φ C 0 ).

5 We also ecall that, if is a ball, say = B R x 0 ), fo evey 0 < < thee exists a constant K > 0, depending only on and N, such that fo evey y B R x 0 ) and > 0, with y) B Rx 0 ), and fo evey x y) the following estimate holds Λ K Cap y), B R x 0 ) Gx, y) λ K Cap y), B R x 0 ),.5) whee λ and Λ ae the ellipticity constants of L. Moeove thee exists a positive constant α, depending only on Λ λ and N, such that, fo evey x, y B Rx 0 ), if N 3, and Gx, y) α λ x y 2 N.6) Gx, y) α λ log 4R x y.7) if N = 2. Fo the main popeties of the Geen function and fo a poof of estimate.5) see [6], [2] and [5]. Let us etun to an abitay bounded open set. Fo evey y and ρ > 0 such that Bx, ρ), we define the appoximate Geen function G ρ x, y) o G y ρx)) as the uniue solution in H 0) of the euation av, G y ρ ) = vx) dx, y) y) v H 0 ). Thanks to De Giogi-Nash theoem, G y ρ is Hölde continuous fo evey ρ > 0 and Gy ρ conveges unifomly to G y, as ρ tends to zeo, on evey compact subset of {y}..4. Kato measues The Kato space K N ) is the set of all Radon measues ν on such that lim sup y x 2 N d ν y) = x x) if N 3, and lim sup log 0 + x x) y x d ν y) = 0 if N = 2, whee ν is the total vaiation of ν. With KN loc ) we denote the set of Radon measues ν on such that ν K N ) fo evey open set. In K N ) we can define the following noms def ν KN ) = sup x 5 y x 2 N d ν y),

6 def ν K2 ) = sup x log y x d ν y), the fome when N 3 and the latte when N = 2. With this nom K N ) is a Banach space see. [2], Poposition 4.6). Fom the definition of K N ) it follows that lim 0 + ν KN x))= 0, fo evey ν K N ) and x. Moeove if ν K N ), then ν H ) and ν H ) k ν KN ), whee k is a positive constant depending only on the dimension of the space, i.e. K N ) H ) with continuous imbedding..5. Relaxed Diichlet poblems By M 0 ) we denote the set of non-negative Boel measues µ on such that µe) = 0 fo evey Boel subset E of of capacity zeo. The poblem we conside have the following fomal expession Lu + µu = f in, whee µ M 0 ), f H loc ) and L is the opeato defined in.3. These ae called elaxed Diichlet poblems. if Definition.. We say that u is a local weak solution of the elaxed poblem Lu + µu = f in.8) u H loc) L 2 loc, µ) and it satisfies the following vaiational euation au, v) + uv dµ = v, f.9) fo evey v H ) L 2, µ) with compact suppot in. In.9) and in all othe expessions of this kind we always choose the uasicontinuous epesentatives fo u and v. So, since µ M 0 ) i.e. it vanishes on set of zeo capacity), the integal with espect to µ is well defined and does not depend on the choice of such epesentative. Definition.2. Given g H ) and f H loc ), we will say that u is a weak solution of the elaxed Diichlet poblem { Lu + µu = f in.0) u = g on 6

7 if u is a local weak solution of.8) and u g H 0). Theoem.. Suppose that f H ) and that thee exists a function w H ) L 2, µ) such that w g H0). Then poblem.0) has one and only one weak solution u. Moeove we have u H ) L 2, µ) and au, v) + uv dµ =< v, f > fo evey v H0) L 2, µ). If L is a symmetic opeato, the solution u is the uniue minimum point of the functional Fv) = av, v) + v 2 dµ 2 < f, v > in the set V g) = {v H ) : v g H 0 )}. Poof. See [2], Theoem 2.4 and Poposition The µ-capacity Let µ belong M 0 ) and let L be the elliptic opeato defined in.3. Let E be a Boel set and let µ E be a Boel measue in such that, fo evey Boel set B, µ E B) = µb E). If µ M 0 ), then µ E M 0 ) fo evey Boel subset E of. by Definition.3. Fo evey Boel set E, the µ-capacity of E in is defined { } Cap µ E, ) def = min Du 2 dx + u 2 dµ E : u H0). We ecall the main popeties of the µ-capacity. Poposition.. Let u, v M 0 ), let E and F be Boel subsets of and let be an open subset of. Then a) 0 = Cap µ, ) Cap µ E, ) CapE, ); b) if E F then Cap µ E, ) Cap µ F, ); c) Cap µ E F, ) + Cap µ E F, ) Cap µ E, ) + Cap µ F, ); d) if E then Cap µ E, ) Cap µ E, ); e) if µ ν then Cap µ E, ) Cap ν E, ). Finally we ecall a Poincaé ineuality, involving µ-capacity, that will be useful in the following. Theoem.2. Thee exists a constant k > 0, depending only on N, such that, given x 0 IR N and > 0, the following ineuality holds fo evey u H x 0 )) u 2 k N [ ] dx Du 2 dx + u 2 dµ. Cap µ, B 2 ) 7

8 Fo a complete teatment of the aguments in.4,.5 and.6 see [2] and [3]. 2. Wiene Citeion fo elaxed poblem We ae going to study the behaviou of the local weak solution of a given elaxed poblem in some special points: the egula Diichlet points. Let be an open bounded set of IR N. Let L be the second ode elliptic opeato in divegence fom defined by.2) with bounded coefficients satisfying conditions.3) and.4). Let µ M 0 ), x 0 and R 0 > 0 such that B R0 x 0 ). Definition 2.. We say that x 0 is a egula Diichlet point fo the measue µ in if evey local weak solution u, in a abitay neighbouhood of x 0, of the euation Lu + µu = 0, 2.) is continuous in x 0 and ux 0 ) = 0. We ecall that fo the definition of the pointwise value of u we use the convention.). Definition 2.2. Fo evey 0 < R R 0, we define the Wiene modulus of µ in x 0 by ) R ω, R) = exp δρ) dρ, ρ whee fo evey 0 < ρ < R 0. R δρ) = Cap µ, B 2ρ ) Cap, B 2ρ ) Remak 2.. It is easy to veify that 0 δρ) fo evey ρ > 0 and that ω, R) fo evey 0 < < R. Definition 2.3. We say that x 0 is a Wiene point fo the measue µ if lim ω, R) = 0, 2.2) 0 + fo some R > 0 o, euivalently, if the following Wiene condition fo the measue µ in x 0 holds R δρ) dρ = ) ρ 0 The following Wiene Citeion chaacteizes the egula Diichlet points in tems of ω, R). Theoem 2.. The point x 0 is a egula Diichlet point fo the measue µ and the opeato L if and only if x 0 is a Wiene point fo µ. 8

9 As mentioned in the intoduction, the poof of Theoem 2. was given in [2]. The poof of the necessity of the Wiene condition is valid fo N 2, but the poof of the sufficiency given in [2] holds only fo N 3. In the next section we shall pove an enegy estimate Thm 3.) which is valid in the geneal case N 2, and fom which the sufficiency of the Wiene condition can be obtained immediately Thm 3.2). We want to point out that the notion of Wiene point fo the measue µ does not depend on the opeato L. Theefoe, Theoem 2. implies that the notion of egula Diichlet point is independent of L. 3. Enegy estimate In this section an enegy estimate, simila to that one given in [2], is poved unde the geneal hypothesis N 2. Let u be a local weak solution of the poblem Lu + µu = ν in, 3.) whee is a bounded open set of IR N, L is the elliptic opeato defined by.2),.3) and.4), µ M 0 ) and ν KN loc). We fix a point x 0 and a adius R 0 > 0 such that B R0. Fo evey ρ > 0 we denote x 0 ) by ; the Geen function fo the Diichlet poblem elative to the opeato L in the ball x 0 ) with singulaity at x will be denoted by G x y) o G x Bx 0,ρ) ). Definition 3.. Let 0, 5m) be fixed with m. Fo evey such that 0 < 2 < R 0, we define the function V ) def = sup u 2 + x 0 ) dx + dµ. Du 2 G x 0 2 u 2 G x 0 2 Theoem 3.. Thee exist two constants k > 0 and β > 0, depending only on, λ, Λ and N, such that fo evey 0 < < R < 2R R 0. V ) kω, R) β V R) + k ν 2 K N B R ), Befoe poving this theoem we note that as a conseuence of Theoem 3. and of Lemma 3.2 we obtain the following esult, with the same poof as in [2]. Theoem 3.2. If x 0 is a Wiene point fo the measue µ, then lim V ) = lim ux) = ux 0 ) = x x 0 If x 0 is a Wiene point fo the measue µ, then u is continuous at x 0 and ux 0 ) = 0. This esult holds in paticula fo solutions of 3.) with ν = 0. Then Theoem 3. poves also the sufficient condition in the Wiene Citeion. 9

10 In this section k will denote a positive constant, independent of and R, that can assume diffeent values. We state some lemmas that will be useful in the poof of Theoem 3.. Lemma 3.. Fo evey 0 < < thee exists a constant k > 0, depending only on, λ, Λ and N, such that sup u k x B R x 0 ) fo evey 0 < R R 0. R 2 B R B R u 2 dx ) 2 + k ν KN B R ), Lemma 3.2. Fo evey fixed 0 < R < 2R 0 and fo evey such that 0 < < thee exists a constant k > 0, depending only on, λ, Λ and N, such that V R) k R N u 2 dx + k ν 2 K N B R ). B R B R Fo the poofs of Lemmas 3. and 3.2 see [2]. We give hee, fo the sake of completeness, the poof of the following lemma given in [] fo the case of obstacle poblems with elliptic degeneate opeatos. Lemma 3.3. Fo uasi evey z in and R > 0 such that B R z), fo evey γ > 0 we have 2λ Du 2 G z BtR,z) dx + uz))2 2 + γ) sup u 2 + B pr z) + A Du 2 G z α2 BtR,z) dx + γ λ 2 ν 2 K N B R z)), 3.2) B pr z) with t, 2), p < 2 3t, A is a positive constant depending only on λ, Λ and N and α is the constant appeaing in.6) and.7). Poof. Let G y ρ be the appoximate Geen function fo G y BtR,z). Conside v = ug z ρ ϕ with ρ < pr and ϕ the capacitay potential of BpR, z) in BtR, z) fo 2 the opeato L, i. e., ϕ H0B tr z)), ϕ.e. on B pr z), and aϕ, ψ ϕ) 0 ψ H 0 B trz)) withψ.e. onb pr z). It tuns out that ϕ =.e. on B pr z) and that ϕ 0.e. on see [6]). Since u H 0) L 2, µ) L, µ) Lemma 3.) and G z ρ H 0 B trz)) L, µ), then v H 0 B trz)) L 2, µ) and v has compact suppot in povided that we extend it to all IR N in the tivial way. We can use v as test function in the vaiational euation veified by u, obtaining i,j= a ij D i ud j uϕg z ρ dx + 0 i,j= a ij D i ud j G z ρϕu dx =

11 = ug z ρ ϕ dν u 2 G z ρ ϕ dµ ug z ρϕ dν By the definition of G z ρ, we have i,j= u 2 dx = u 2 ϕ dx = z) z) = 2 i,j= N i,j= a ij D i ud j G z ρ ϕu dx + N Fom.4), 3.3), and 3.4) it follows i,j= i,j= λ Du 2 ϕg z ρ dx+ u 2 dx 2 z) 2 i,j= = 2 aϕ, u2 G z ρ) + a ij D i ud j ϕug z ρ dx a ij D i ud j ϕug z ρ dx. 3.3) i,j= a ij + a ji )D i ud j ϕug z ρ dx + ug z ρϕ dν i,j= a ij D i u 2 ϕ ) D j G z ρ dx = a ij D i ϕd j G z ρ u2 dx. 3.4) a ij D i ϕd j G z ρ u 2) dx+ ug z ρ ϕ dν = a ij + a ji )D i ud j ϕug z ρ dx. 3.5) Now we know that u 2 G z ρ H 0 B trz)), Lϕ 0, G z ρ 0, ϕ =.e. in B prz); thus, using the definition of G z ρ, we obtain aϕ, u 2 G z ρ ) aϕ, Gz ρ ) sup u 2 = sup u 2 ϕ dx = sup u ) Theefoe fom 3.5) and 3.6) we have 2λ Du 2 ϕg z ρ dx + z) u 2 dx sup u ug z ρ ϕ dν 2 N a ij + a ji )D i ud j ϕug z ρ dx. 3.7) i,j= We can estimate fom above the absolute value of the second tem on the ight-hand side of 3.7) as follows ug z ρ ϕ dν sup u G z ρ d ν. 3.8)

12 Now we define wy) = G R x, y) d ν x), whee G R is the Geen function fo the Diichlet poblem in B R z) with the opeato L. The function w is the solution in B R z) of the euation Lw = ν tr, whee ν tr E) def = νe ) fo evey Boel set E. Then, using.6) and.7), we get Fom 3.8) we obtain 0 wx) α λ ν K N B R z)).e. in. = sup ug z ρ ϕ dν u z) sup u w dx i,j= B R a ij D i wd j G z ρ dx = sup u α λ ν K N B R z)). Finally, we estimate the last tem of 3.7) using the Young ineuality, the boundedness of the coefficients of L, and the fact that Dϕ = 0.e. in B pr z): 2 i,j= a ij + a ji )D i ud j ϕug z ρ dx 4NΛ Du Dϕ u G z ρ dx B pr z) 2NΛη Dϕ 2 u 2 G z ρ dx + 2NΛ B pr z) η B pr z) Du 2 G z ρ dx, whee η > 0 is an abitay positive constant. As ϕ is the L-capacitay potential of B pr z) in, thee exists a constant k, depending only on N, λ, Λ such that B pr z) Dϕ 2 dx λ i,j= a ij D i ϕd j ϕ dx kcapb pr, B tr ) see [6]). In the estimates obtained up to now we can pass to the limit as ρ 0 +. Fom 3.7), applying the maximum pinciple to G z BtR,z), that is L-hamonic in the annulus B pr z), we obtain 2λ Du 2 G z BtR,z) dx + u2 z) B pr z) sup u 2 + 2NΛη sup u 2 sup G z BtR,z) CapB pr, B tr )+ B pr z) 2

13 + 2NΛ Du 2 G z BtR,z) dx + 2 sup u α η B pr z) λ ν K N B R z)), 3.9) whee fo the pointwise value of u we use convention.). Then it follows by.5) 2 + γ) sup u 2 + A γ 2λ Du 2 G z BtR,z) dx + u2 z) B pr z) B pr z) Du 2 G z BtR,z) whee γ = 2NΛλ αη and A = 4N 2 Λ 2 λ α. Since η > 0 is abitay this concludes the poof of the lemma. dx + α2 λ 2 ν 2 K N B R z)), Finally we ecall the following integation lemma. Fo the poof see e.g. [5]. Lemma 3.4. Let V ρ) be a non-deceasing function of ρ 0, R], R > 0 and δρ) be a function such that 0 δρ). Let and k be two constants such that 0 < <, k > 0 and let 0 < < R. Suppose that fo evey ρ V ρ) [, R ]. Then we have V ) k 0 exp whee β = k +k and k 0 = expβ). V ρ), 3.0) + kδρ) β log R ) δρ) dρ V R), ρ Poof of Theoem 3.. We choose in 3.2) t =, p = 2, with m 0, 5m) and m so that < p < t and t +. Then fo evey z BR x 0 ) we have B R x 0 ) and sup sup z B R x 0 ) u 2 sup u 2. B R x 0 ) We take in 3.2) the supemum fo z B R x 0 ) and obtain: + A γ sup sup G z z B R x 0 ) B pr z) sup u γ) sup u 2 + z B R x 0 ) B R x 0 ) B pr z) 2 + γ) sup u 2 + Aλ KR 2 N B R x 0 ) γcapb p, B t ) Du 2 dx + α2 λ 2 ν 2 K N B R ) B R x 0 ) B R x 0 ) Du 2 dx+ 3

14 + α2 λ 2 ν 2 K N B R ). 3.) Fo the last ineuality we used the estimate.5) fo the Geen function and the fact that B pr z) B R x 0 ) fo evey z B R x 0 ). Moeove, we have by.5) G x 0 B 2R x 0 ) Λ K R 2 N CapB, B 2 ), fo evey x B R x 0 ) B R x 0 ); fom 3.) it follows that sup u γ) sup u 2 + C Du 2 G x 0 B R x 0 ) B R x 0 ) γ B 2R x 0 ) dx+ B R x 0 ) B R x 0 ) + C γ B R x 0 ) B R x 0 ) u 2 G x 0 B 2R x 0 ) dµ + A N 4 Λ 2 ν 2 K N B R ), 3.2) whee C = 4AK 2 Λ 2 λ CapB,B 2 ) CapB p,b t and in the ight-hand side we added the integal ) with espect to the non-negative measue µ. In the seuel we will use the notation G ρ fo G x 0 Bρ,x 0 ). By Lemma 3.2 we have k R N Du 2 G 2R dx + u 2 G 2R dµ V R) B R B R B R B R u 2 dx + k ν 2 K N B R ) k sup B R u 2 + k ν 2 K N B R ), whee we can choose k > abitaily lage. Theefoe sup B R u 2 + ν 2 K N B R ) C 2 [ ] Du 2 G 2R dx + u 2 G 2R dµ, 3.3) B R B R whee C 2 = k can be fixed abitaily small; this fact will be useful late. Now fom 3.2) and 3.3) we obtain [ ] C 2 Du 2 G 2R dx + u 2 G 2R dµ B R B R 3 + γ) supu 2 + C B R γ + sup B R u 2 [ ] Du 2 G 2R dx + u 2 G 2R dµ + B R B R B R B R ) + + α2 ν 2 K N B R ). 3.4) λ 2 4

15 All the elations we established up to now hold fo evey R such that 0 < R R 0 2. In paticula if we fix R R 0, then they hold fo evey ρ such that 0 < ρ R. 2 Fixed 0 < < R, we want to stat fom 3.4), in ode to aive to a elation like V ρ) V ρ) +kδρ) fo evey < ρ < R and then apply the integation lemma. To obtain this we have to distinguish diffeent cases. Conside fist the case of fixed and R such that R and dx + C 2 [ Du 2 G2 u 2 G2 dµ ] + sup u 2 2M ν 2 K N B R ), 3.5) with M a positive constant geate than all the constants appeaing as factos of ν 2 K N B R ) in Lemma 3., in Lemma 3.2 and in 3.4). Theefoe, fo evey < ρ < R, we have [ M ν 2 K N ) C ] 2 Du 2 G 2ρ dx + u 2 G 2ρ dµ sup u 2, 3.6) whee we took into account that, thanks to the maximum pinciple, G2 As + α2 λ M, by 3.4) and 3.6) it follows that 2 C 2 2 [ ] Du 2 G 2ρ dx + u 2 G 2ρ dµ 3 + γ) supu 2 + C γ + 2 sup u 2 [ ] Du 2 G 2ρ dx + u 2 G 2ρ dµ, G 2ρ. fo evey < ρ < R. Now, afte multiplication by γ, we fill the hole of the annulus adding the tem [ ] C Du 2 G 2ρ dx + u 2 G 2ρ dµ to both sides and we obtain [ ] 2 C 2γ + 2C ) Du 2 G 2ρ dx + u 2 G 2ρ dµ γ3 + γ) sup u 2 + C Now we want to eplace G 2ρ with G2ρ conside F = G2ρ G 2ρ and thus G 2ρ = G2ρ function, F is L-hamonic in B 2ρ and F = G2ρ + γ 2 sup u 2 [ ] Du 2 G 2ρ dx + u 2 G 2ρ dµ. 3.7) in the ight-hand side of 3.7). We F. Fom the definition of the Geen.e. on B 2ρ. It follows that min F min F min F = min G2ρ B 2ρ B 2ρ B 2ρ Λ K CapB 2, B 2 )ρ2 N. 3.8) 5

16 Then by 3.7) and 3.8) we obtain [ ] 2 C 2γ + 2C ) Du 2 G 2ρ dx + u 2 G 2ρ dµ + γ 2 sup u 2 γ3 + γ) sup u 2 + C [ Du 2 G2ρ dx + u 2 G2ρ [ C Λ K ] )ρ2 N Du 2 dx + u 2 dµ. 3.9) CapB 2, B 2 B ρ Theefoe, applying Poincaé ineuality see Theoem.2) to the last tem of 3.9), we have [ C Λ K ] )ρ2 N Du 2 dx + u 2 dµ κδρ) CapB 2, B 2 B ρ ρ N dµ ] u 2 dx, 3.20) whee κ is a positive constant depending only on, λ, Λ and N. Choosing C 2 <, by 3.6) it follows that M ν 2 K N ) 2 V ρ), fo evey < ρ < R. Since the constant k which appeas in Lemma 3.2 satisfies k M, fom Lemma 3.2 we obtain 2 sup u 2 2 V ρ) k ρ N with k > abitaily lage. Then fom 3.20) we get u 2 dx, [ C Λ K ] )ρ2 N Du 2 dx + u 2 dµ C 3 δρ) supu 2, 3.2) CapB 2, B 2 B ρ with < ρ < R, whee C 3 as well as C 2 ) is a constant that can be chosen abitaily small. Then we can take, without loss of geneality, C 3 = 5 2 C 2. Theefoe, by 3.9) and 3.2) it follows that [ ] 2 C 2γ + 2C ) Du 2 G 2ρ dx + u 2 G 2ρ dµ + 2 [γ + 5C 2δρ)]sup u 2 γ3 + γ) sup u 2 + C [ Du 2 G2ρ 6 dx + u 2 G2ρ dµ ]. 3.22)

17 By adding 6C C 2 sup Bρ u 2 to both sides of 3.22) we obtain [ ] C 2 γ + 2C ) Du 2 G 2ρ dx + u 2 G 2ρ dµ [ C + C 2 γ3 + γ) C 2 6 ] + 6 [ 2C + C 2 C 2 [ sup u 2 + 2C ] 6 γ + 5C 2δρ)) Du 2 G2ρ dx + sup u 2 u 2 G2ρ Then, since γ is an abitay constant, we can choose γ = C 2 δρ) < and we get ] 2C + C2 2 δρ))[ Du 2 G 2ρ dx + u 2 G 2ρ dµ C + C2 2 C δρ)) sup u C + 2 ) [ ] C C22 δρ) sup u 2 + 2C Du 2 G2ρ dx + u 2 G2ρ dµ. 3.23) 2 We now intoduce the non-deceasing function Uρ) defined by Uρ) def = Du 2 G2ρ dx + u 2 G2ρ dµ + 6 sup u 2. C 2 dµ ]. Fom 3.23) we have Uρ) 2C + 2 C2 2 δρ) 2C + C2 2 Uρ), 3.24) δρ) fo evey < ρ < R. Since we can choose C 2 such that C2 2 2C < holds, then fom 3.24) we obtain Uρ) + kδρ) Uρ), fo evey < ρ < R, with k = C2 2 6C. Theefoe by Lemma 3.4 we have U) k 0 exp β Then, choosing C 2 < 6, we get V ) 6 k 0 exp β C 2 R 7 R δρ) dρ ρ ) UR). ) δρ) dρ V R), 3.25) ρ

18 fo evey and R with < R such that 3.5) holds. Tivially, if < R and 3.5) does not hold, i.e., C 2 [ Du 2 G2 dx + u 2 G2 dµ ] + sup u 2 < 2M ν 2 K N B R ), then we have V ) 2M C 2 ν 2 K N B R ). 3.26) If R R, then R δρ) dρ R ρ δρ) dρ R ρ log ; hence exp β R ) δρ) dρ β. ρ Theefoe fom V ) V R) it follows that V ) β exp β R ) δρ) dρ V R). 3.27) ρ Finally fom 3.25), 3.26) and 3.27) it follows that, fo evey 0 < R 2R 0, we have ) R V ) k exp β δρ) dρ V R) + k ν 2 K ρ N B R ), { 6 whee k = max C 2 k 0, 2M C 2, }. β As a conseuence of Theoem 3. we have the following estimate of the µ-enegy E µ ) def = Du 2 dx + u 2 dµ, 0 < R 0 Theoem 3.3. Thee exist two constants k > 0 and β > 0, depending only on λ, Λ and N, such that N 2 E µ ) kω, R) β Cap µ B 2R, B 4R ) E µ2r) + k N 2 ν KN B 2R ) fo evey 0 < R R 0 2. Poof. We poceed as in Theoem 6.5 of [2], having in mind that when in [2] it is used the estimate of the fundamental solution fo the Laplace opeato, we must use the estimate of the Geen function. 8

19 4. Classical case Choosing a suitable µ in M 0 ) it is possible to obtain fom a elaxed poblem of the type 3.) a poblem euivalent to the following vaiational Diichlet poblem { Lu = f in u H 0 ) 4.) whee f H ). Let E be a subset of IR N. We denote with E the measue of M 0 ) defined by E B) def = and we conside the euation { 0 if Cap E B) = 0 + othewise Lu + E u = f in. 4.2) Fist of all we emak that if v L 2 loc, E), then v = 0.e. in E. Thus u is a local weak solution of 4.2) if and only if u H ) u = 0.e. in E DuDv dx = fv dx fo evey v H0) with compact suppot in and such that v = 0.e. in E. In paticula if E is a closed set, u is a weak solution of poblem { Lu + E u = f in u = 0 on if and only if u = 0.e. in E and u E is a solution of { Lu = f in E u H 0 E). Let be a bounded open set such that. Conside the euation 4.2) in, choosing E =. In this case u is a local weak solution of 4.2) in if and only if it is a solution of 4.). If we conside the Wiene Citeion Theoem 2.) fo this special case, we obtain exactly the classical Wiene Citeion fo the vaiational Diichlet poblem 4.). Actually it is easy to see that Cap, B 2ρ ) = Cap C, B 2ρ ), fo ρ small enough, and then the Wiene modulus at a point x 0 on the bounday of is given by ω, R) = exp R Cap x 0 ) C, B 2ρ x 0 )) Cap x 0 ), B 2ρ x 0 )) 9 ) dρ, ρ

20 fo evey 0 < ρ < R 0 with R 0 such that B R0 x 0 ) ), whee C = IR N. Moeove, if we conside poblem 4.) with f = ν K N ), by the estimate of Theoem 3. we obtain a continuity modulus estimate aleady poved by Maz ja in [3]; by Theoem 3.2 we have the following estimate of the enegy decay in tems of the Wiene modulus Du 2 N 2 ) R dx k CapB 2R C, B 4R ) exp Cap C, B 2ρ ) β ρ N dρ Du 2 dx + k N 2 ν KN B 2R ) B 2R ν is extended out of in the tivial way), that holds fo evey 0 < R and in dimension N 2. Refeences [] M. Bioli, U. Mosco: Wiene and potential estimates fo obstacle poblems elative to degeneate elliptic opeatos, Annali Mat. Pua Appl. IV), 59, 99, p [2] G. Dal Maso, U. Mosco: Wiene citeia and enegy decay fo elaxed Diichlet poblems, Ach. Rat. Mech. Anal., 95, n. 4, 986, p [3] G. Dal Maso, U. Mosco: Wiene citeion and Γ-convegence, Appl. Math. Opt, 5, 987, p [4] G. Dal Maso, U. Mosco, M. A. Vivaldi: A pointwise egulaity theoy fo the two-obstacle poblem, Acta Mathematica, 63, 989, p [5] E. Fabes, D. Jeison, C. Kenig: The Wiene test fo degeneate euations, Ann. Inst. Fouie, Genoble, 32, n. 3, 982, p [6] E. Fabes, C. Kenig, R. Seapioni: The local egulaity of solution of degeneate elliptic euations, Comm. in Patial Diffeential Euations, 7, n. 982, p [7] J. Fehse: Capacity methods in the theoy of patial diffeential euations, Jbe. d. Dt. Math.-Veein, 84, 982, p. 44. [8] L.L. Helms: Intoduction to potential theoy, J. Wiley & Sons, New Yok, 969. [9] O.D. Kellog, M. Vasilesco: A contibution to potential theoy of capacity, Ame. Joun. of Math., 5, 929, p

21 [0] Ch. de La Vallée Poussin: Points iegulie. Detemitation de masses pa le potentiel, Académie Royale de Belgiue. Bull. Classes des Sciences s. 5, 24, 938, p ; [] N.S. Landkof: Foundations of moden potential theoy, Spinge-Velag, Belin, Heidelbeg, New Yok, 972. [2] W. Littman, G. Stampacchia, H.F. Weinbege: Regula points fo elliptic euations with discontinuous coefficients, Ann. Scuola Nomale Sup. Pisa, 7, 963, p [3] V.G. Maz ja: Behaviou, nea the bounday, of solutions of the Diichlet poblem fo a second-ode elliptic euation in divegent fom, Math. Notes, 2, 967, p [4] V.G. Maz ja: On the continuity at a bounday point of solutions of uasi-linea elliptic euations, Vestnik Leningad Univ. Math., 3, 976, p [5] U. Mosco: Wiene citeion and potential estimates fo the obstacle poblem, Indiana Univesity Mathematical Jounal, 36, n. 3, 987, p [6] G. Stampacchia: Le poblème de Diichlet pou les éuations elliptiues du second ode à coefficients discontinus, Ann. Inst. Fouie Genoble), 5, 965, p [7] N. Wiene: Cetain notions in potential theoy, J. Math. and Phys., 3, 924, p [8] N. Wiene: The Diichlet poblem, J. Math. and Phys., 3, 924, p