0 SOLUTIOS I SOM BORDRLI CASS OF LLIPTIC QUATIOS WITH DGRAT CORCIVITY arxiv:1305.36v1 [math.ap] 10 May 013 LUCIO BOCCARDO, GISLLA CROC Abstract. We study a degenerate elliptic equation, proving existence results of distributional solutions in some borderline cases. Bernardo, come vide li occhi miei... Dante, Paradiso XXXI) Acknowledgements. This paper contains developments of the results presented by the first author at IX WD João Pessoa, 18.9.01), on the occasion of the sixtieth birthday of Bernhard Ruf, and it is dedicated to him. 1. Introduction The Sobolev space W 1, 0 ) is the natural functional framework see [10], [1]) to find weak solutions of nonlinear elliptic problems of the following type 1) ) ax) div = f, in ; 1 + u ) θ u = 0, on, where the function f belongs to the dual space of W 1, 0 ), is a bounded, open subset of IR, with >, θ is a real number such that ) 0 θ 1, and a : IR is a measurable function satisfying the following conditions: 3) α ax) β, 1991 Mathematics Subject Classification. 35J61, 35J70, 35J75. Key words and phrases. lliptic equations; solutions; Degenerate equations. 1
LUCIO BOCCARDO, GISLLA CROC for almost every x, where α and β are positive constants. The main difficulty to use the general results of [10], [1] is the fact that ) ax) v Av) = div, 1 + v ) θ is not coercive. Papers [7], [4] and [3] deal with the existence and summability of solutions to problem 1) if f L m ), for some m 1. Despite the lack of coercivity of the differential operator Av) appearing in problem 1), in the papers [7], [4] and [1], the authors prove the following existence results of solutions of problem 1), under assumption 3): A) a weak solution u W 1, 0 ) L ), if m > and ) holds true; B) a weak solution u W 1, 0 ) L m 1 θ) ), where m = m ) = m, if m 0 < θ < 1, + θ ) m < ; C) a distributional solution u in W 1,q 0 ), q = if 1 1 θ < 1, + 1 θ 1) < m < m1 θ) m1 + θ) <, + θ ). D) an entropy solution { u M m } 1 θ), with M q ), for 1 m max 1,. +1 θ 1) The borderline case θ = 1 was studied in [3], proving the existence of a solution u W 1, 0 ) L p ) for every p <. The case where the source is A was analyzed too. x About the different notions of solutions mentioned above, we recall that the notion of entropy solution was introduced in []. Let { s if s k, 4) T k s) = k s if s > k. s Then u is an entropy solution to problem 1) if T k u) W 1, 0 ) for every k > 0 and ax) 1 + u ) θ T ku ϕ) f T k u ϕ), ϕ W 1, 0 ) L ).
0 SOLUTIOS I A PROBLM WITH DGRAT CORCVITY 3 Moreover, we say that u is a distributional solution of 1) if ax) 5) 1 + u ) ϕ = f ϕ, ϕ C θ 0 ). The figure below can help to summarize the previous results, where the name of a given region corresponds to the results that we have just cited. m / A B /+) C D Our results are the following. 1/-1)! Theorem 1.1. Let f be a function in L m ). Assume 3) and 6) m = + 1 θ 1), 1 1 < θ < 1 Then there exists a 0 ) distributional solution to problem 1). Observe that this case corresponds to the curve between the regions C and D of the figure. ote that m > 1 if and only if θ > 1. 1 In the following result too, we will prove the existence of a 0 ) solution. Theorem 1.. Let f be a function in L m ). Assume 3), f log1 + ) L 1 ) and θ = 1 1,1. Then there exists a W 1 0 ) distributional solution of 1). We end our introduction just mentioning a uniqueness result of solutions to problem 1) can be found in [13]. Moreover, in [4, 5, 11, 6] it was showed that the presence of a lower order term has a regularizing effect on the existence and regularity of the solutions.
4 LUCIO BOCCARDO, GISLLA CROC To prove our results, we will work by approximation, using the following sequance of problems: ) ax)n div = T 7) 1 + u n ) θ n f), in ; u n = 0, on. The existence of weak solutions u n W 1, 0 ) L ) to problem 7) is due to [7].. 0 ) solutions In the sequel C will denote a constant depending on α,, meas), θ and the L m ) norm of the source f. We are going to prove Theorem 1.1, that is, the existence of a solution to problem 1) in the case where m = ote that m > 1 if and only if θ > 1 1. +1 θ 1) and 1 1 < θ < 1. Proof. of Theorem 1.1) We consider T k u n ) as a test function in 7): then 1 + k) θ f 8) T k u n ) L 1 ) α by assumption 3) on a. Choosing [1 + u n ) p 1]signu n ), for p = θ 1, as a test function in 7) we have, by Hölder s inequality on the right hand side and 1 assumption 3) on the left one 9) α p 1 + u n ) 1) ) [1+ u n ) p 1] f L m ) The Sobolev embedding used on the left hand side implies [ { } ] [ ] 1 + u n ) 1 1) 1 C [1 + u n ) p 1] m m. We observe that = 1) pm ; moreover > 1, since m <. m Therefore the above inequality implies that 10) u n 1 C. [ [1+ u n ) p 1] m ] 1 m.
0 SOLUTIOS I A PROBLM WITH DGRAT CORCVITY 5 One deduces that 11) 1 + u n ) 1 C from 10) and 9). Let v n = 1) 1 + u n ) 1) signun ). stimate 11) is equivalent to say that {v n } is a bounded sequence in W 1, 0 ); therefore, up to a subsequence, there exists v W 1, 0 ) such that v n v weakly in W 1, 0 ) and a.e. in. If we define the function [ ] 1) ) u = 1) v 1 signv), the weak convergence of v n v means that n 1) weakly in L ). 1 + u n ) 1) 1 + u ) 1) Moreover, the Sobolev embedding for v n implies that u n u in L s ), for every 1 s <. 1 Holdër s inequality with exponent applied to = 1 + u 1 + u n ) n ) gives 13) C, due to 10) and 11). We are now going to estimate. By using [1 + u n ) p 1 + k) p ] + signu n ) as a test function in 7), we have [ ] 1 [ ] 1 C m m 1 + u 1 + u n ) n ) m 1, 1 which implies, by 10), 14) 1 + u n ) 1 [ C m ] 1 m. Hölder s inequality, estimates 10) and 14) on [ = 1+ u 1 + u n ) n ) C m ] 1 m,
6 LUCIO BOCCARDO, GISLLA CROC give 15) = 1 + u n ) 1+ u n ) C [ Thus, for every measurable subset, due to 8) and 15), we have u n T k u n ) + 16) meas) 1 [ 1 + k) θ f L 1 ) α ] 1 [ + C m ] 1 m. m ] 1 m. ow we are going to prove that u n weakly converges to u in 0 ) following [5]. stimates 16) and 10) imply that the sequence { un } is equiintegrable. By Dunford-Pettis theorem, and up to subsequences, there exists Y i in L 1 ) such that un weakly converges to Y i in L 1 ). Since un is the distributional partial derivative of u n, we have, for every n in I, u n ϕ ϕ = u n, ϕ C0 ). We now pass to the limit in the above identities, using that i u n weakly converges to Y i in L 1 ), and that u n strongly converges to u in L 1 ): we obtain Y i ϕ = u ϕ, ϕ C 0 ). This implies that Y i = u, and this result is true for every i. Since Y i belongs to L 1 ) for every i, u belongs to 0 ). We are now going to pass to the limit in problems 7). For the limit of the left hand side, it is sufficient to observe that n 1+ u ) 1) 1+ u n ) 1) weakly in L ) due to 1) and that ax) ϕ is bounded. We prove Theorem 1., that is, the existence of a 0 ) solution in the case where θ = 1 and f log1 + ) 1 L1 ). Proof. of Theorem 1.) Let k 0 and take [log1 + u n ) log1 + k)] + signu n ), as a test function in problems 7). By assumption 3) on
0 SOLUTIOS I A PROBLM WITH DGRAT CORCVITY 7 a one has α 1 + u n ) θ+1 log1 + u n ). We now use the following inequality on the left hand side: 17) a log1 + b) a log 1 + a ) + 1 + b) where a, b are positive real numbers and 0 < <. This gives, for 1 any k 0 18) α 1 + u n ) θ+1 log 1 + ) + 1 + u n ). In particular, for k 1 we have α 19) θ+1 u n θ+1 log 1+ )+ u n. Writing the above inequality for k = 1 and using the Sobolev inequality on the left hand side, one has [ ] u n 1 θ 1) + C log 1 + ) + C u n, which implies that [ ] 1 u n 1 θ) C+C log 1 + ) By using Hölder s inequality with exponent 1 θ) the right hand side, we get [ u n 1 θ) C+C ] 1 By the choice of, this inequality implies that 0) u n 1 θ) C. +C u n. on the last term of log 1 + ) [ +C Inequalities 0) and 18) written for k = 0 imply that {v n } = { ] u n 1 θ) 1 θ). 1 θ 1+ u n ) 1 θ signu n )} is a bounded sequence in W 1, 0 ), as in the proof
8 LUCIO BOCCARDO, GISLLA CROC of Theorem 1.1. Therefore, up to a subsequence there exists v W 1, 0 ) { such that v n v weakly in W 1, 0 ) and a.e. in. Let [ } u = 1 θ v] 1 θ 1 signv); the weak convergence of v n v means that n 1) weakly in L ). 1 + u n ) θ+1 1 + u ) θ+1 Moreover, the Sobolev embedding for v n implies that u n u in L s ), s <. 1 By 8) one has = T 1 u n ) + C + u n θ+1 u n θ+1. Hölder s inequality on the right hand side, and estimates 19) written with k = 1 and 0) imply that the sequence {u n } is bounded in 0 ). Moreover, due to 19) C = log 1 + u n θ+1 ) + u n θ+1 u n. For every measurable subset, the previous inequality and 8) imply u n T k u n ) + C meas) 1 1 + k) θ + C log 1 + ) + u n. Since < 1 θ), by using Hölder s inequality on the last term and estimate 0), one has u n C meas) 1 θ 1 + k) + +C log 1 + ) 1 + meas{ u n k}) 1 θ).
0 SOLUTIOS I A PROBLM WITH DGRAT CORCVITY 9 One can argue as in the proof of Theorem 1.1 to deduce that u n u weakly in 0 ). To pass to the limit in problems 7), as in the proof of Theorem 1.1, it is sufficient to observe that n weakly in L ), due to 1). 1+ u n ) 1) References 1+ u ) 1) [1] A. Alvino, L. Boccardo, V. Ferone, L. Orsina, G. Trombetti: xistence results for nonlinear elliptic equations with degenerate coercivity; Ann. Mat. Pura Appl. 18 003), 53 79. [] P. Benilan, L. Boccardo, T. Gallouët, R. Gariepy, M. Pierre, and J.L. Vazquez: An L 1 theory of existence and uniqueness of nonlinear elliptic equations; Ann. Scuola orm. Sup. Pisa Cl. Sci. 1995), 40 73. [3] L. Boccardo: Some elliptic problems with degenerate coercivity; Adv. onlinear Stud. 6 006), 1 1. [4] L. Boccardo, H. Brezis: Some remarks on a class of elliptic equations with degenerate coercivity; Boll. Unione Mat. Ital. 6 003), 51 530. [5] L. Boccardo, G. Croce, L. Orsina: onlinear degenerate elliptic problems with 0 ) solutions; Manuscripta Mathematica 137 01), 419 439. [6] L. Boccardo, G. Croce, L. Orsina: A semilinear problem with a 0 ) solution; Rend. Lincei. Mat. Appl. 3 01), 97-103. [7] L. Boccardo, A. Dall Aglio, L. Orsina: xistence and regularity results for some elliptic equations with degenerate coercivity ; Atti Sem. Mat. Fis. Univ. Modena 46 1998), 51 81. [8] L. Boccardo, T. Gallouët: onlinear elliptic equations with right-hand side measures; Comm. Partial Differential quations 17 199), 641 655. [9] L. Boccardo, T. Gallouet: 0 solutions in some borderline cases of Calderon- Zygmund theory; J. Differential quations 53 01), 698 714. [10] H. Brezis: quations et inéquations non linéaires dans les espaces vectoriels en dualité; Ann. Inst. Fourier Grenoble), 18 1968), 115 175. [11] G. Croce: The regularizing effects of some lower order terms in an elliptic equation with degenerate coercivity; Rendiconti di Matematica 7 007), 99 314. [1] J. Leray, J.L. Lions: Quelques résultats de Višik sur les problèmes elliptiques semi-linéaires par les méthodes de Minty et Browder; Bull. Soc. Math. France, 93 1965), 97 107. [13] A. Porretta: Uniqueness and homogenization for a class ofnon coercive operators in divergence form; Atti Sem. Mat. Fis. Univ. Modena 46 1998), 915 936. L.B. Dipartimento di Matematica, Sapienza Università di Roma, P.le A. Moro, 00185 Roma ITALY) -mail address: boccardo@mat.uniroma1.it G.C. Laboratoire de Mathématiques Appliquées du Havre, Université du Havre, 5, rue Philippe Lebon, 76063 Le Havre FRAC) -mail address: gisella.croce@univ-lehavre.fr