arxiv: v1 [math.ap] 6 Apr 2018

Transcription

1 ON WEIGHTED ISOPERIMETRIC INEQUALITIES WITH NON-RADIAL DENSITIES arxiv:184.8v1 [math.ap] 6 Apr 18 A. ALVINO 1, F. BROCK, F. CHIACCHIO 1, A. MERCALDO 1, AND M.R. POSTERARO 1 Abstract. We consider a classofisoperimetric problemson R N + where the volume and the area element carry two different weights of the type x l x α N. We solve them in a special case while a more detailed study is contained in []. Our results imply a weighted Polya-Szëgo principle and a priori estimates for weak solutions to a class of boundary value problems for degenerate elliptic equations Key words: isoperimetric inequality, weighted rearrangement, norm inequality, elliptic boundary value problem Mathematics Subject Classification: 51M16, 46E35, 46E3, 35P15 1. Introduction The study of isoperimetric problems when volume and perimeter carry two different weights has recently attracted the attention of many authors. A remarkable example is obtained when the two weights are two different powers of the distance from the origin. More precisely given two real numbers k and l the problem is to find the set G in R N which minimizes the weighted perimeter x k H N 1 (dx) once it is prescribed the weighted measure x l dx. The interest for such a problem is due to the fact that its solution G allows G to get, for instance, the knowledge of the best constants in the well-known Caffarelli-Kohn- Nirenberg inequalities as well as the radiality of the corresponding minimizers. Several partial results have been obtained in this framework (see, e.g., [1], [4], [1], [13], [14], [16], [1] and the references therein)) and a complete solution is contained in the recent paper [13] where the authors reduce the problem into a two-dimensional one by means of spherical symmetrization. The problem we address here is the following: 1 Università di Napoli Federico II, Dipartimento di Matematica e Applicazioni R. Caccioppoli, Complesso Monte S. Angelo, via Cintia, 816 Napoli, Italy; angelo.alvino@unina.it, fchiacch@unina.it, mercaldo@unina.it, posterar@unina.it South China University of Technology, International School of Advanced Materials, Wushan Campus 381, Wushan Road, Tianhe District, Guangzhou, P.R. China, 51641, fbrock@scut.edu.cn The paper was partially supported by the grants GNAMPA 1

2 A. ALVINO, F. BROCK, F. CHIACCHIO, A. MERCALDO, AND M.R. POSTERARO Given k,l R, α >, Minimize satisfying x k x α N H N 1 (dx) among all smooth sets R N + x l x α N dx = 1 where R N + := {x R N : x N > }. In the present paper we give a partial result, while a more extensive study is contained in []. Let B R denote the ball of R N of radius R centered at the origin and let B and Γ denote the Beta and the Gamma function, respectively. The main result of this paper, proved in Section 4, is the following Theorem 1.1. Let N N, N, k,l R, α > and l+n +α >. Further assume that Then (1.1) l +1 k. ( ) (k+n+α 1)/(l+N+α) x k x α N H N 1(dx) Ck,l,N,α rad x l x α N dx, for all smooth sets in R N +, where C rad k,l,n,α := ( B 1 R N + = (l+α+n) k+n+α 1 l+n+α Equality in (1.1) holds if = B R R N +. B 1 x k x α N H N 1(dx) x l x α N dx ) (k+n+α 1)/(l+N+α) ( ( N 1 B, α+1 ) N 1 π Γ ( N 1 ) ) l k+1 l+n+α. Note that the weights we consider are not radial and therefore it seems not trivial to use spherical symmetrization. For this reason our approach is different from the one used in [13]. In [] also the cases where k l+1 and l N+α 1 k ; or N, k l+1 and N+α (k +N +α 1) 3 l l 1 (k,n,α) := N α. (k +N +α 1) (N+α 1) N+α are faced and, depending on the regions where the three parameters lie, we use different methods. In [] we also provide some necessary conditions on k, l and α such that the half-ball centered at the origin is an isoperimetric set. Several applications of our isoperimetric problems are proved in [] such as, for example, a Polya-Szëgo type principle or the best constants in Caffarelli-Kohn-Nirenberg type inequalities. In this note we just prove a special case of a Polya-Szëgo type principle from which

3 we deduce a Poincaré type inequality. Such inequality allows to ensure, via Lax-Milgram Theorem, the existence of a weak solution to a boundary value problem for a class of degenerate elliptic equations. For weak solutions to such problems we state a comparison result which can be proved by using the same method of Talenti [] or Alvino and Trombetti [3].. Notation and preliminary results Throughout this article N will denote a natural number with N, k and l are real numbers, while α is a positive number such that (.1) l+n +α >. As usual we denote and for any R > R N + := { x R N : x N > }, B R := { x R N : x < R } B + R := B R R N +. 3 Furthermore, we will set and κ(n,α) := ω N := L N (B 1 ) B + 1 x α N H N 1(dx) where L N denotes the N-dimensional Lebesgue measure and H N 1 the (N 1)-dimensional Hausdorff measure. In the Appendix of [8] the value of κ(n,α) is computed and it is proved that ( N 1 κ(n,α) = B, α+1 ) π N 1 Γ ( N 1 where B and Γ are the Beta function and the Gamma function, respectively. Next we define a measure µ l,α by dµ l,α (x) = x l x α N dx. If M R N + is a measurable set with finite µ l,α -measure, then we define M, the µ l,α -symmetrization of M, as follows (.) M := B + R with ( ) R : µ l,α B + R = µl,α (M) = dµ l,α (x). ), M

4 4 A. ALVINO, F. BROCK, F. CHIACCHIO, A. MERCALDO, AND M.R. POSTERARO A straightforward calculation gives where R = ( ) 1 µl,α l+α+n (M) µ l,α (B 1 + ) µ l,α (B + 1 ) = κ(n,α) l+α+n. If u : M R is a measurable function such that µ l,α ({ u(x) > t}) < t >, then u denotes the weighted decreasing rearrangement of u, which is given by u (s) = sup{t : µ l,α ({ u(x) > t}) > s}, s ],µ l,α (M)], and u denotes the weighted Schwarz symmetrization of u, or in short, the µ l,α symmetrization of u, which is given by u (x) = u (µ l,α (B + x )) = u (µ l,α (B + 1 ) x l+α+n ), x M. Note that u is a radial and radially non-increasing function. Moreover if M is a measurable set in R N + with finite µ l,α -measure, then (χ M ) = χ M. Here and in the following for any measurable set M in R N +, χ M denotes its characteristic function. The µ k,α perimeter of a measurable set M is given by { P µk,α (M) := sup div ( x α N x k v ) } dx : v C 1 (RN,R N ), v 1 in M. M It is well-known that the above distributional definition of weighted perimeter is equivalent to the following x k H N 1 (dx) if is (N 1) rectifiable P µk (M) = + otherwise. Let R N + and p [1,+ ). We will denote by Lp (,dµ l,α ) the space of all Lebesgue measurable real valued functions u such that ( 1/p u L p (,dµ l,α ) := u p dµ l,α (x)) < +. By W 1,p (,dµ l,α ) we denote the weighted Sobolev space consisting of all functions which

5 together with their weak derivatives u xi, (i = 1,...,N), belong to L p (,dµ l,α ). This space will be equipped with the norm u W 1,p (,dµ l,α ) := u L p (,dµ l,α ) + u L p (,dµ l,α ). Let X be the set of all functions u C 1 ( ) that vanish in a neighborhood of \{x N = }. Then let V (,dµ l,α ) be the closure of X in the norm of W 1, (,dµ l,α ). 3. The isoperimetric problem In order to formulate the isoperimetric problem we introduce two functionals R k,l,n,α and Q k,l,n,α. If M is any measurable subset of R N +, with < µ l,α (M) < +, we set Note that R k,l,n,α (M) := R k,l,n,α (M) = if the set M is smooth. If u C 1 (R N +)\{}, we set Q k,l,n,α (u) := ( R N + ( P µk,α (M) (µ l,α (M)) (k+n+α 1)/(l+N+α). M M x α N x l dx R N + x α N x k H N 1 (dx) ) (k+n+α 1)/(l+N+α) x α N x k u dx x α N x l u (l+n+α)/(k+n+α 1) dx Finally, we define Ck,l,N,α rad := R k,l,n,α(b 1 R N + ). We study the following isoperimetric problem: Find the constant C k,l,n,α [,+ ), such that ) (k+n+α 1)/(l+N+α). C k,l,n,α := inf{r k,l,n,α (M) : M is measurable with < µ l,α (M) < + }. Moreover, we are interested in conditions on k, l and α such that (3.1) R k,l,n,α (M) R k,l,n,α (M ) holds for all measurable sets M R N + with < µ l,α(m) < +. Let us begin with some standard remarks. If M is a measurable subset of R N + with finite µ l,α-measure and µ k,α -perimeter, then there 5

6 6 A. ALVINO, F. BROCK, F. CHIACCHIO, A. MERCALDO, AND M.R. POSTERARO existsasequenceofsmoothsets{m n }suchthat lim µ l,α (M n M) = and lim P µk,α (M n ) = n n P µk,α (M). This property is well-known for Lebesgue measure (see for instance [15], Theorem 1.4) and its proof carries over to the weighted case. This implies that we also have (3.) C k,l,n,α = inf{r k,l,n,α () : R N +, smooth}. Actually in [] it is proved that for the value of k,l such that k l+1, the constant C k,l,n,α is related to the functional Q k,l,n,α as follows C k,l,n,α = inf{q k,l,n,α () : u C 1 (RN + )\{}}. The functionals R k,l,n,α and Q k,l,n,α have the following homogeneity properties, R k,l,n,α (M) = R k,l,n,α (tm), Q k,l,n,α (u) = Q k,l,n,α (u t ), where t >, M is a measurable set with < µ l,α (M) < +, u C(R 1 N +)\{}, tm := {tx : x M} and u t (x) := u(tx), (x R N + ), and there holds Hence we have that C rad k,l,n,α = R k,l,n,α (B + 1 ). (3.3) C k,l,n,α C rad k,l,n,α, and (3.1) holds if and only if (3.4) C k,l,n,α = C rad k,l,n,α. Finally, we recall the following weighted isoperimetric inequality proved, for example, in [7] (see also [8, 1, 11, 19]) Proposition 3.1. For all measurable sets M R N +, with < µ,α(m) < +, the following inequality holds true R,,N,α (M) := P µ,α (M) Crad (N+α 1)/(N+α),,N,α (µ,α (M)) := P µ,α (M ) (µ,α (M )), (N+α 1)/(N+α) where M = B + R with R such that µ,α(m) = µ,α (M ) We recall that the isoperimetric constant C,,N,α rad [19] for the case N = ). 4. Main result is explicitly computed in [7] (see also This section is devoted to the proof of Theorem 1.1 which provides a sufficient condition on k,l and α such that C k,l,n,α = Ck,l,N,,α rad holds, or equivalently, (4.1) R k,l,n,α (M) Ck,l,N,α rad for all measurable sets M R N + with < µ l,α(m) < +. This implies that our main result can be equivalently formulated as follows

7 Theorem 4.1. Let N N, N, k,l R, α >, l +N + α > and l + 1 k. Then (3.4) holds. Moreover, if l+1 < k and (4.) R k,l,n,α (M) = C rad k,l,n,α for some measurable set M RN + with < µ l(m) < +, then M = B + R for some R >. The proof of this a result relies on Gauss Divergence Theorem and the following lemmas (see [18], [6] and [1]). Lemma 4.1. Let l > l > N α. Then (4.3) (µ l,α (M)) 1/(l+N+α) (µ l,α(m)) (µ l,α(m 1/(l+N+α) )) 1/(l +N+α) (µ l,α(m )) 1/(l +N+α) for all measurable sets M R N + with < µ l,α(m) < +. Equality holds only for half-balls B + R, (R > ). Proof: Let M be the µ l,α -symmetrization of M. Then we obtain, using the Hardy- Littlewood inequality, µ l,α(m) = x α N dx = x x l l l χ M (x)dµ l,α (x) M = R N + R N + R N + ( x l l) (χm ) (x)dµ l,α (x) x l l χ M (x)dµ l,α (x) = x α N dx = µ x l l,α(m ). M This implies (4.3). Next assume that equality holds in (4.3). Then we must have x l l dµ l,α (x) = x l l dµ l,α (x), M M that is, x l l dµ l,α (x) = x l l dµ l,α (x). M\M M \M Since l l <, this means that µ l (M M ) =. The Lemma is proved. Lemma 4.. Let k,l,α satisfy (.1). Assume that l > l > N α and C k,l,n,α = Ck,l,N,α rad. Then we also have C k,l,n,α = Ck,l rad,n,α. Moreover, if R k,l,n,α(m) = Ck,l rad,n,α for some measurable set M R N +, with < µ l,α(m) < +, then M = B + R for some R >. 7

8 8 A. ALVINO, F. BROCK, F. CHIACCHIO, A. MERCALDO, AND M.R. POSTERARO Proof: By our assumptions and Lemma 4.1 we have for every measurable set M with < µ l,α (M) < +, [ ] (µ l,α (M)) 1/(l+N+α) k+n+α 1 R k,l,n,α(m) = R k,l,n,α (M) (µ l,α(m)) 1/(l +N+α) with equality only if M = B + R C rad k,l,n,α, for some R >. Proof of Theorem 4.1: We consider two cases. Assume l +1 = k. Let be a smooth subset of R N + and let be the set defined in (.). From Gauss Divergence Theorem we have, (ν denotes the exterior unit normal to ), x α N x l 1 dx = div ( x α l +N +α N x l x ) dx 1 = (x ν)x α l +N +α N x l H N 1 (dx) 1 x α l +N +α N x l+1 H N 1 (dx), with equality for = B + R, and (4.1) follows for smooth sets. Using (3.), we also obtain (4.1) for measurable sets. Finally assume l +1 < k. Using Lemma 4. and the result for l + 1 = k we again obtain (4.1), and (4.) can hold only if M = B + R for some R >. 5. Application to a class of degenerate pde s In this section we show how our isoperimetric inequality allows to obtain pointwise estimates for solutions to a class of boundary value problems for degenerate elliptic equations. We divide it into two parts: in the first one we prove a Polya-Szegö principle and we deduce a Poincaré-type inequality, while in the second part we provide the comparison result given by Theorem 5. below Pólya-Szegö principle. First we obtain a Pólya-Szegö principle related to our isoperimetric inequality (1.1) (see also [3]) which applies to a special class of functions that we define below. Assume that the numbers N,k,l and α satisfy the assumptions of Theorem 1.1. Then (1.1) implies (5.1) x k x α N H N 1(dx) x k x α N H N 1(dx) for every smooth set R N +, where is the µ l,α -symmetrization of. We will use (5.1) to prove the following result

9 Theorem 5.1. (Pólya-Szegö principle) Let the numbers N, k, l and α satisfy the assumptions of Theorem 1.1 and denote m := k l. Then there holds (5.) u dµ m,α (x) u dµ m,α (x), u V (,dµ m,α ), where u denotes the µ m,α -symmetrization of u. Proof: It is sufficient to consider the case that u is non-negative. Further, by an approximation argument we may assume that u C (R N ). Let I := u x k l x α N dx and I := u x k l x α N dx. The coarea formula yields I = I = u =t u x k l x α N H N 1(dx)dt and u x k l x α N H N 1 (dx)dt. Further, Hölder s inequality gives (5.3) ( x k x α N H N 1 (dx) x k l u x α N H N 1 (dx) )1 ( x l x α N u H N 1 (dx) for a.e. t [,+ ). Hence (5.3) together with (5.3) tells us that ( ( ) (5.4) I x k x α N N 1(dx)) H x l x α 1 N u xα N H N 1(dx) dt. Since u is a radial function, we obtain in an analogous manner, ( ( ) (5.5) I = x k x α N N 1(dx)) H x l x α 1 N u H N 1(dx) dt. Observing that u =t u>t x l x α N dx = u >t Fleming-Rishel s formula yields x l x α N (5.6) H N 1 (dx) = u u =t x l x α N dx t [,+ ), u =t x l x α N u H N 1(dx) )1, 9

10 1 A. ALVINO, F. BROCK, F. CHIACCHIO, A. MERCALDO, AND M.R. POSTERARO for a.e. t [,+ ). Hence (5.6) and (5.1) give ( ( x k x α N N 1(dx)) H ( ( x k x α N N 1(dx)) H u =t Now (5.) follows from this, (5.4) and (5.5). u =t x l x α N u H N 1 (dx)) 1 dt x l x α N u H N 1(dx) ) 1 dt. Corollary 5.1. There exists a constant C, depending only on µ m,α (), such that for any u V (,dµ m,α ) the following inequality holds u dµ m,α C u dµ m,α. Proof : Let u V (,dµ m,α ) and define U by U( x ) := u (x), (x ). Using (5.), since rearrangements preserves the L p -norms, we find u dµ m,α u dµ m,α u dµ m,α u dµ m,α R du R dr r N 1+m+α dr du dr r N 1+m+α dr =. R U r N 1+m+α dr R U r N 1+m+α dr Since N +l+α+ > we can conclude the proof by applying Thorem 4 at p.45 in []. 5.. Comparison result. Let us consider the class of boundary value problems for degenerate elliptic equations of the type div(a(x) u) = x α N x m f(x) in (5.7) u = on Γ + u x N = on Γ where is an open subset of R N + with µ m,α () < +, Γ + = R N +, Γ = \ Γ +, m := k l. Assume that A(x) = (a ij (x)) ij is an N N symmetric matrix with measurable coefficients satisfying (5.8) x α N x m ζ a ij (x)ζ i ζ j Λx α N x m ζ, Λ 1, for almost every x and for all ζ R N. Assume also that f belongs to the weighted Hölder space L (,dµ m,α ).

11 The type of degeneracy in (5.8) occurs, for α N, when one looks for solutions to linear PDE s which are radially symmetric with respect to groups of (α+1) variables (see, e.g., [19] and the references therein). The case of non-integers α has been the object of investigation, for instance, in the generalized axially symmetric potential theory. Byaweaksolutiontosuchaproblem(5.7)wemeanafunctionubelongingtoV (,dµ m,α ) such that A(x) u φdµ m,α = fφdµ m,α, for every φ C 1 ( ) such that φ = on the set \{x N = }. Observe that, by Corollary 5.1, for any f L (,dµ m,α ), Lax-Milgram Theorem ensures the existence of a unique solution u V (,dµ m,α ) to problem (5.7). We provide optimal bounds for the solution to problem (5.7) trough symmetrization methods introduced by G. Talenti in [] (see also [3], [4] and [19]). Theorem 5.. Let u be the weak solution to problem (5.7), and let w be the function r ( ρ ) w(x) = w (x) = f (σ)σ N 1+m+α dσ ρ N+1 m α dρ, x which is the weak solution to the problem div(x α N x m w) = x α N x m f in w = on \{x N = } w x N = on {x N = } Then u (x) w(x) a.e. in, and u q dµ m,α w q dµ m,α, for all < q. The proof will be omitted since it can be easily obtained by repeating the arguments of analogous results contained for instance in [3], [4], [7] and []. References [1] A. Alvino, F. Brock, F. Chiacchio, A. Mercaldo, M.R. Posteraro, Some isoperimetric inequalities onr N withrespect to weights x α, J. Math. Anal. Appl. 451, no. 1, (17), [] A. Alvino, F. Brock, F. Chiacchio, A. Mercaldo, M.R. Posteraro, The isoperimetric problem for a class of non-radial weights and applications, in preparation. [3] A. Alvino, G. Trombetti, The best majorization constants for a class of degenerate elliptic equations, Ricerche Mat. 7, no., (1978), [4] M.F. Betta, F. Brock, A. Mercaldo, M.R. Posteraro, Weighted isoperimetric inequalities on R N and applications to rearrangements. Math. Nachr. 81 (8), no. 4,

12 1 A. ALVINO, F. BROCK, F. CHIACCHIO, A. MERCALDO, AND M.R. POSTERARO [5] W. Boyer, B. Brown, G. Chambers, A. Loving, S. Tammen, Isoperimetric regions in R n with density r p, Anal. Geom. Metr. Spaces 4 (16), [6] L. Brasco, G. De Philippis, B. Ruffini, Spectral optimization for the Stekloff-Laplacian: the stability issue. J. Funct. Anal. 6 (1), no. 11, [7] F. Brock, F. Chiacchio, A. Mercaldo, Weighted isoperimetric inequalities in cones and applications. Nonlinear Analysis T.M.A. 75 (1), no. 15, [8] F. Brock, F. Chiacchio, A. Mercaldo, A weighted isoperimetric inequality in an orthant. Potential Anal. 41 (1), [9] F. Brock, A. Mercaldo, M.R. Posteraro, On isoperimetric inequalities with respect to infinite measures. Revista Matemática Iberoamericana 9 (13), [1] X. Cabré, X. Ros-Oton, Sobolev and isoperimetric inequalities with monomial weights. J. Differential Equations 55 (13), [11] X. Cabré, X. Ros-Oton, J. Serra, Euclidean balls solve some isoperimetric problems with nonradial weights. C. R. Math. Acad. Sci. Paris 35 (1), [1] G. Csató, An isoperimetric problem with density and the Hardy Sobolev inequality in R, Differential Integral Equations 8 (15), no. 9-1, [13] L. Di Giosia, J. Habib, L. Kenigsberg, D. Pittman, W. Zhu, Balls Isoperimetric in R n with Volume and Perimeter Densities r m and r k. (16), arxiv: v1 [14] A. Diaz, N. Harman, S. Howe, D. Thompson Isoperimetric problems in sectors with density. Adv. Geom. 1 (1), [15] E. Giusti, Minimal surfaces and functions of bounded variation. Monographs in Mathematics, 8. Birkhäuser Verlag, Basel, [16] S. Howe, The Log-Convex Density Conjecture and vertical surface area in warped products. Adv. Geom. 15 (15), [17] B. Kawohl, Rearrangements and convexity of level sets. Springer-Verlag N.Y. (1985). [18] A.V. Kolesnikov, R.I. Zhdanov, On isoperimetric sets of radially symmetric measures. Concentration, functional inequalities and isoperimetry, , Contemp. Math. 545, Amer. Math. Soc., Providence, RI, 11. [19] C. Maderna, S. Salsa, Sharp estimates for solutions to a certain type of singular elliptic boundary value problems in two dimensions. Appl. Anal. 1 (1981), [] V.G. Maz ja, Sobolev Spaces, Springer-Verlag, [1] F. Morgan, Manifolds with density. Notices Amer. Math. Soc. 5 (5), no.8, [] G. Talenti, Elliptic equations and rearrangements, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 3 (1976), no. 4, [3] G. Talenti, A weighted version of a rearrangement inequality, Ann. Univ. Ferrara Sez. VII (N.S.) 43 (1997), (1998)