arxiv: v2 [math.fa] 10 May 2017

Transcription

1 SOME REMARKS ON REARRANGEMENT FOR NONLOCAL FUNCTIONALS HOAI-MINH NGUYEN AND MARCO SQUASSINA arxiv: v2 [math.fa] 1 May 217 Abstract. We prove that a nonlocal functional approximating the standard Dirichlet p-norm fails to decrease under two-point rearrangement. Furthermore, we get other properties related to this functional such as decay and compactness. 1. Introduction The well-known Polya-Szegö inequality [15,29,3] states that if u W 1,p (R N,R + ) then (1.1) u p dx u p dx. R N R N where u is the Schwarz symmetric rearrangement of u. This inequality has relevant applications in the study of isoperimetric inequalities, in the Faber-Krahn inequality and in the determination of optimal constants in the Sobolev inequality [2, 38]. This kind of inequalities still holds in the nonlocal case, e.g. for the standard fractional norm, namely for u W s,p (R N,R + ) (1.2) R2N u (x) u (y) p R2N u(x) u(y) p x y N+ps dxdy dxdy, x y N+ps for p 1 and s (,1), see e.g. [1,3]. Actually this inequality implies (1.1) by a straightforward application of a result by Bourgain, Brezis and Mironescu [4, 5] which confirms that R2N v(x) v(y) p (1.3) lim(1 s) sր1 x y N+ps dxdy = K N,p v p, for v W 1,p (R N ), R N where (1.4) K N,p := e σ p dσ, S N 1 for some e S N 1, the unit sphere in R N. Polarization by closed half spaces H R N containing the origin is an elementary form of symmetrization and it is a key tool in order to investigate various rearrangements inequalities. The polarization u H with respect to H, see the definition (2.1), also called two-point rearrangement, essentially compares the values of u on the two sides of H and keeps the largest values inside H and the smallest values outside H, cf. [14, 16 18]. Since the first achievements obtained in [14], the approximation in L p (R N ) of u via iterated polarizations of u has been refined in various ways. It is now known that there exists an explicit and universal (i.e. independent of u) sequence of closed half spaces {H n } n N of R N containing the origin such that a suitable sequence of iterated polarizations of u with respect to H n strongly converges to u in L p (R N ), see [37] and the references therein. It is thus natural to derive the rearrangement inequalities (1.1)-(1.2) from the 21 Mathematics Subject Classification. 46E35, 28D2, 82B1, 49A5. Key words and phrases. Polarization, nonlocal functionals, characterization of Sobolev spaces. The second author is member of Gruppo Nazionale per l Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). 1

2 2 H.-M. NGUYEN AND M. SQUASSINA (possible) corresponding inequalities for the polarizations using general weak lower semi-continuity properties. In fact, for any closed half space H with H and any u W 1,p (R N ), (1.5) u H p dx = u p dx, R N R N as well as, for any W s,p (R N ), (1.6) R2N u H (x) u H (y) p R2N u(x) u(y) p x y N+ps dxdy dxdy, x y N+ps see [3, 14] and references included. For applications of polarization techniques, see [19, 33 37]. More recently, a new class of nonlocal functionals has been involved in the study of topological degree of a map [7,13,27], namely, for > and 1 < p < N, I (u) := { u(y) u(x) >} p x y N+pdxdy. It turns out that this energy also provides a pointwise approximation of u p p for p > 1, precisely (1.7) limi (u) = 1 ց p K N,p u p dx, R N where K N,p is given by (1.4), see [6,23] (and also [9 12,24]). Various properties of Sobolev spaces in terms of I were investigated in [26], for example, it was shown in [26, Theorem 3] that, for 1 < p < N and for >, (1.8) ( )N p u N pdx Np Np { u >λ} C ( I (u) ) 1/p, u L p (R N ), for some positive constants C,λ depending only on N and p. The first goal of this note is to prove that, however, the nonlocal energy I fails to be decreasing upon polarization. This supports yet again the idea (cf. [25]) that I is a much more delicate approximation of local norm with respect to the other mentioned above. More precisely, we have Theorem 1.1. Let N 1 and p 1. Then there exist > and a closed half space H R N with H such that for any < < there exists a measurable function u : R N R such that I (u H ) > I (u). The proof of Theorem 1.1 is given in Section 2.2. In Section 2.3, we present a proof of (1.2). The second goal of this note is to prove some facts related to symmetric functions. Precisely: (Global compactness and I ). Let 1 < p < N, ( n ) +, and let {u n } n N be a sequence of radially symmetric decreasing functions. Assume that {u n } n N is bounded in L p (R N ) and {I n (u n )} n N is bounded in R. Then {u n } n N is pre-compact in L r (R N ) for every p < r < Np/(N p). (Decay and integrability of I ). If u : R N R + and there exists ϑ > with I (u ) ϑ/p d <, then there exists C > depending on u,n,p,ϑ such that u (x) C x (N p)/p. The proof of these two facts is given in Section 3 (see Theorems 3.2 and 3.4).

3 REMARKS ON REARRANGEMENT FOR NONLOCAL FUNCTIONALS 3 2. Symmetrization inequalities 2.1. The defect of decreasingness of I. In the following H will denote a closed half-space of R N containing the origin. We denote by H the set of these closed half-spaces. A reflection σ H : R N R N with respect to H is an isometry such that σh 2 = Id and x y < x σ H(y) for all x,y H. We also set H c := R N \H. Given x R N, σ H (x) will also be denoted by x H. The polarization (or two-point rearrangement) of a nonnegative real valued function u : R N R + with respect to a given H is defined as { (2.1) u H max{u(x),u(σ H (x))}, for x H, (x) := min{u(x),u(σ H (x))}, for x H c. Let us set It is clear that We have A := { x int(h) : u(x) u(x H ) }, B := { x int(h) : u(x) > u(x H ) }, C := { y H c : u(y) u(y H ) }, and D := { y H c : u(y) < u(y H ) }. (2.2) I = I (A C)(A C) C = σ(a) and D = σ(b). +I (B D)(B D) +I (A C)(B D) where, for two measurable subsets O, P of R N, we denote I OP p (u) := x y N+pdxdy. We claim that (2.3) I (A C)(A C) O P { u(y) u(x) >} (u H ) = I (A C)(A C) (u), (2.4) I (B D)(B D) (u H ) = I (B D)(B D) (u). We begin with (2.3). Since +I (B D)(A C), u H (x) = u(x H ) if x A C and x y = x H y H, by a change of variable x = x H and y = y H, we obtain I (A C)(A C) (u H ) = I (A C)(A C) (u), which is (2.3). We next establish (2.4). This is a direct consequence of the fact u H (x) = u(x), if x B D. We next concern about the validity of the inequality: (2.5) I (A C)(B D) By a change of variables, we obtain I (A C)(B D) (v) = where We have, for x A and y B, A B (u H ) I (A C)(B D) (u). ( L(v,x,y) x y N+p + L(v,x,yH ) x y H N+p + L(v,xH,y) x H y N+p + L(v,xH,y H ) x H y H N+p L(v,x,y) := p 1 { v(x) v(y) >} (x,y), x,y R N. u H (x) = u(x H ), u H (x H ) = u(x), u H (y) = u(y), and u H (y H ) = u(y H ). ) dxdy,

4 4 H.-M. NGUYEN AND M. SQUASSINA It follows that, for x A and y B, and Setting L(u H,x,y) x y N+p = L(u,xH,y) x y N+p, L(u H,x,y H ) x y H N+p = L(u,xH,y H ) x y H N+p L(u H,x H,y) L(u,x,y) L(u H,x H,y H ) x H = y N+p x H y N+p, x H y H N+p = L(u,x,yH ) x y N+p. D H (u,x,y) := L(u,xH,y)+L(u,x,y H ) L(u,x,y) L(u,x H,y H ), we derive that inequality (2.5) is equivalent to ( (2.6) d H (u) := D H (u,x,y) 1 x y N+p 1 ) x H y N+p dxdy. A B On the other hand, in general, concrete examples show that the inequality D u (x,y) fails, so that it is expected that I (u H ) I (u) can be positive for some H,u and >, in which case the quantity d H (u) provides a measure of the defect of decreasingness. Remark 2.1 (Vanishing defect). For any closed half space H R N with H there holds, for p > 1, lim ց dh (u) =, for all u W1,p (R N ). In fact, we know that u H W 1,p (R N ) also and u H L p (R N ) = u L p (R N ) from formula (1.5). Furthermore, from formulas (2.2)-(2.5), we infer d H (u) = 1 2 I (u H ) 1 2 I (u), for all >. Then, from equality (1.7), we conclude lim ց dh (u) = 1 2 limi (u H ) 1 ց 2 limi (u) = K N,p( u H p ) ց 2p L p (R N ) u p L p (R N ) =, proving the assertion Proof of Theorem 1.1. We first deal with the case N = 1. Here is a counterexample to (2.6) with p [1,+ ). Fix ε (,1/8) and let u : R R be defined by for x ( 2, 1], (2.7) u(x) = linear 2ε for x [ 1, 1+], for x [ 1+,), ε for x (,1), ε for x (1,2), for x ( 2,2). Let H = [, ) and σ be the standard reflection. It is clear that u H satisfies ε for x ( 2, 1], (2.8) u H (x) = 2ε ε for x [ 1+,), for x (,1 ), for x (1,2), for x ( 2,2).

5 We derive from (2.7) and (2.8) that I (u H ) I (u) REMARKS ON REARRANGEMENT FOR NONLOCAL FUNCTIONALS p dxdy x y p { u(x) u(y) >} p 2 dxdy 2 x y p A straightforward computation yields, for small and ε, 1 { 2 p ln if p = 1 dxdy 1 x y p+1 if p > 1, and { u(x) u(y) >} p dxdy ε, x y p+1 p x y p+1 dxdy p. We obtain that, for small positive and ε, we have I (u H ) > I (u). p dxdy. x y p+1 This example can be modified to obtain similar conclusion in the case {} H by considering the function u( +c) for some c > where u is given above. In the above example, the function u is not non-negative. However, this point can be handled by considering the function given by u(x)+2ε if x < 3 and otherwise. We next consider the case N 2. Set H = [,+ ) R N 1 and define U : R N R as follows, for (x 1,x ) R R N 1, { u(x1 ) /2 if x U(x 1,x 2, ) = otherwise, where u is given in (2.7). One can check that I (U H ) I (U) I (u H ) I (u) >. In the above example, the function U is not non-negative and H does not contain the origin. However, this point can be handled similarly as in the case N = 1. The following question remains open: Open problem 2.2. Let N 1. It is true that I (u ) I (u) for any measurable u : R N R + and >? 2.3. Riesz two-point inequality. Let u L 1 loc (RN ), let H be a closed half-space of R N and let G be a Young function, i.e. G : [,+ ) R, G() =, G is non-decreasing, and G is convex, and let w be a non-negative, non-increasing radial function. The above notations allow to prove the classical inequality (2.9) G( u H (x) u H (y) )w( x y )dxdy R 2N G( u(x) u(y) )w( x y )dxdy. R 2N In fact, set D H (u,x,y) := G(u,x H,y)+G(u,x,y H ) G(u,x,y) G(u,x H,y H ),

6 6 H.-M. NGUYEN AND M. SQUASSINA and define d H (u) := G( u H (x) u H (y) )w( x y )dxdy R 2N G( u(x) u(y) )w( x y )dxdy. R 2N As in (2.6), we have ( ) d H (u) = D H (x,y;u) w( x y ) w( x H y ) dxdy. We claim that (2.1) D H (u,x,y), A B for each x A and y B. Assuming this, we then immediately get inequality (1.6) since w is non-decreasing. We now prove (2.1). Observe that if a b and c d then and It follows that, for x A and y B, and a c + b d d a + b c. max{ a c, b d } max{ d a, b c }. u(x) u(y H ) + u(x H ) u(y) u(y) u(x) + u(x H ) u(y H ) max{ u(x) u(y H ), u(x H ) u(y) } max{ u(y) u(x), u(x H ) u(y H ) }. Assertion (2.1) follows from the properties of Young s functions of G. As a consequence of (2.9), one has u H W s,p (R N ) u W s,p (R N ), for s (,1) and p > 1. It follows that, for u W s,p (R N ) with u >, u W s,p (R N ) u W s,p (R N ), where u denotes the spherical symmetric rearrangement of u. By the BBM formula (1.3), one reaches the Polya-Szegö inequality. Remark 2.3. Recall that H is the set of half-spaces which contain the origin. One can endow H with a metric that ensures that H n H if there exists a sequence of isometries i n : R N R N such that H n = i n (H) and i n converges to the identity as n +, moreover, H is separable with respect to this metric. Let {H n } n N be a dense set in H. For any u L p (R N ), let {u n } n N be the sequence defined by (2.11) u := u and u n+1 := u H 1 H n+1 n for n. Assume that supi n (u n ) < +, for some { n }. n N Then u W 1,p (R N ) (p > 1), where u denotes the Schwarz symmetrization of u. In fact, by [37, Theorem 1], we have u n u strongly in L p (R N ) as n. Then, the assertion follows by the Gamma-convergence result in [25, Theorem 2]. If in addition, for all >, x y N p dxdy = x y N p dxdy, { u(y) u(x) >} { u (y) u (x) >} then u is radially symmetric about some point x R N provided that L N ({ u = }) =. This follows by the Brothers-Ziemer result [15, Theorem 1.1] jointly with [23, Theorem 2].

7 REMARKS ON REARRANGEMENT FOR NONLOCAL FUNCTIONALS 7 3. Radially decreasing functions and I For every measurable function u : R N R we define its distribution function µ u (t) = {x : u(x) > t}, t >. Let < q < and < ϑ <, the Lorentz space L q,ϑ (R N ) (cf. [2,22,28]) is defined by { } L q,ϑ (R N ) := u : R N R : t ϑ 1 µ u (t) ϑ/q dt <. In the limit case ϑ =, this is defined by { } L q, (R N ) := u : R N R : suptµ u (t) 1/q <. t> We recall from [8, Lemma 2.9] the following Lemma 3.1. Let < ϑ and < q <. Let u L q,ϑ (R N ) be a non-negative and radially symmetric decreasing function. Then ( ) 1 u(x) ϑω ϑ q N t ϑ 1 µ u (t) ϑ ϑ q dt x N q, if ϑ <, ( ) u(x) ω 1 q N sup tµ u (t) 1 q x N q, if ϑ =. t> The next proposition shows that the measure of the superlevels of a nonnegative function u is controlled by a quantity involving I (u ). Set p := Np/(N p) for 1 p < N. Theorem 3.2. Let 1 < p < N and u : R N R be a non-negative function. Then there exists two positive constants C and λ depending only on N and p such that (3.1) {x R N : u(x) > λ} C Np N p min { I (u ) N p,i N (u ) N p} N, where u is the Schwarz symmetric rearrangement of u. Assume that there exists ϑ > such that (3.2) I (u) ϑ p d < or I (u ) ϑ p d <. Then u,u L p,ϑ (R N ) and there exists a positive constant C depending on u,n,p,ϑ such that u (x) C x N p p. Proof. By the definition of u we have that µ u (t) = µ u (t) for t >. Then, by applying inequality (1.8) to u, we have, for all >, ( )N p λµ u (λ) N p Np = λµ u (λ) N p Np u Np Np N pdx CI (u ) 1 p { u >λ} and ( )N p λµ u (λ) N p Np = λµ u (λ) N p Np u Np Np N pdx { u >λ} which implies (3.1). By virtue of (3.2), it follows from (3.1) that ϑ 1 µ u () ϑ p d < and CI (u) 1 p, ϑ 1 µ u () ϑ p d <, which yields u,u L p,ϑ (R N ) and the final assertions follows from Lemma 3.1.

8 8 H.-M. NGUYEN AND M. SQUASSINA Remark 3.3. Since L q,q (R N ) = L q (R N ), it follows that u,u L p (R N ) if I (u) N/(N p) d < or I (u ) N/(N p) d <. Concerning the compactness related to I, the following result was shown in [26, Theorem 2]. Let p > 1, ( n ) + and (u n ) L p (R N ). Assume that (3.3) {u n } n N is bounded in L p (R N ) and {I n (u n )} n N is bounded. Then (3.4) {u n } n N is pre-compact in L p loc (RN ). In this paper, we prove the following global compactness result: Theorem 3.4. Let 1 < p < N, ( n ) +, and let {u n } n N be a sequence of radially symmetric decreasing functions. Assume that { } un n N is bounded in Lp (R N ) and { I n (u n ) } is bounded. n N Then { u n }n N is pre-compact in Lr (R N ) for every p < r < Np/(N p). Proof. From (1.8), (3.3), and (3.4), we derive that (3.5) (u n ) is pre-compact in L r loc (RN ). Since (u n ) is decreasing and (u n ) is bounded in L p (R N ), for any > there exists R such that, for all n, (3.6) u n (x) for x > R. Fix ε >. By (3.5), there exists a finite subset J of N such that { (3.7) un L r (B Rε );n N } { u L r (B Rε ) : u u j L r (B Rε ) < ε }, j J where B R denotes the open ball centered at the origin and of radius R in R N for R >. On the other hand, by (3.6), we have (3.8) u n L r (R N \B Rε ) ε (r p)/r u n p/r L p (R N \B Rε ) Cε1 p/r, since (u n ) is bounded in L p (R N ). A combination of (3.7) and (3.8) yields, for ε small enough such that ε < Cε 1 p/r, { (3.9) un L r (R N );n N } { u L r (R N ); u u j L r (R N ) < 3Cε 1 p/r}, j J where C is the constant in (3.8). Since (3.9) holds for small ε and 1 r/p >, it follows that (u n ) is pre-compact in L r (R N ). Remark 3.5. Let N 1 and p N. It was shown in [26, Theorem 1] that if u L p (R N ) and I (u) < + for some > then u BMO loc (R N ) where BMO denotes the space of functions of bounded mean oscillation. By the same proof, under the same assumptions on {u n }, one obtains the compactness result for L r (R N ) for p < r < p with p =. As a consequence of Theorem 3.4, we have the following

9 REMARKS ON REARRANGEMENT FOR NONLOCAL FUNCTIONALS 9 Corollary 3.6. Let 1 < p < N and let {u n } n N be a nonnegative sequence of functions bounded in L p (R N ) such that lim inf n I n (u n ) <, for some sequence { n } n N +. Then, up to a subsequence, {u n} n N converges strongly in L r (R N ) to a radial decreasing function, for any p < r < Np/(N p). Proof. Since the sequence {u n } n N is bounded in L p (R N ), it follows that sequence {u n } n N is also bounded in L p (R N ) by Cavalieri s principle. Then, by Theorem 3.4, it follows that u n v in L r (R N ) strongly for any p < r < Np/(N p). 4. An open problem for Riesz fractional gradients Recently, a notion of fractional gradients (more precisely distributional Riesz fractional gradients) has been introduced in the literature by Shieh and Spector in the papers[31,32], where several basic properties of local Sobolev spaces (e.g. Sobolev, Morrey, Hardy, Trudinger inequalities) are proven to extend to fractional spaces defined through this new notion. More precisely, the fractional gradient D s u(x) at a point x R N is defined for locally Lipschitz compactly supported functions u : R N R, for any s (,1), by D s u(x) u(y) x y u(x) := c N,s R N x y N+s x y dy, for x RN, for a suitable positive constant c N,s depending on N and s. This is reminiscent of the classical scalar notion of s 2-fractional laplacian ( ) s/2 u(x) u(y) u(x) = C N,s R N x y N+s dy, for x RN, for a suitable normalization constant C N,s depending on N and s. Notice also that [31,32] D s u = I 1 s Du, u C c (R N ), I 1 s (x) := γ(n,s) x N+s 1. According to [31,32], one can define, for p > 1 and s (,1), the space We now formulate a related open problem. L s,p (R N ) := C c (R N ) L p+ Ds L p. Open problem 4.1. Let p > 1, s (,1) and u L s,p (R N ) with u. Prove or disprove that D s u L s,p (R N ) and the inequality holds (4.1) D s u p dx D s u p dx. R N R N In general the inequality D s u p dx D s u p dx. R N R N for all u L s,p (R N ) is not expected to hold. In particular, one cannot obtain inequality (4.1) for sign-changing functions. The solution of the above open problem would be very useful in connection with compact injections for radially symmetric functions of L s,p (R N ). In fact, assume N 2. Notice that, since for any ε (,s) the injection L s,p (R N ) W s ε,p (R N ), is continuous (cf. [31, (g) of Theorem 2.2]) and the injection W s ε,p rad (R N ) L q (R N ),

10 1 H.-M. NGUYEN AND M. SQUASSINA is compact (cf. [21, Theorem II.1]) for all p < q < p s ε it follows that the injection L s,p rad (RN ) L q (R N ), is compact for p < q < Np/(N sp). In particular, nonnegative minimizing sequences for u D s u p dx, R N could be replaced by new minimizing sequences which are radially symmetric decreasing and strongly converging in L q (R N ) for any p < q < Np/(N sp). Remark 4.2. Aiming to prove (4.1), with no loss of generality one may assume u Cc (RN ). Let H be an arbitrary closed given half-space with H. Define the function J(u) : R N R, J(u)(x) := u(x) u(y) x y R N x y N+s x y dy p, for all x R N. Then J(u) L 1 (R N ). Setting v(x) := u(x H ) and w(x) := u H (x H ) for all x R N, we have (4.2) u H (x) = v(x)+(u(x) v(x)) +, w(x) = u(x) (u(x) v(x)) +, for x H. Writing x H = x +Rx where R is a rotation, a change of variable yields J(u)(x H ) = u(x H ) u(y) x H p y R N x H y N+s x H y dy = u(x H ) u(y H ) x H y H p R N x H y H N+s x H y H dy = R v(x) v(y) x y R N x y N+s x y dy p = J(v)(x), and, analogously, J(u H )(x H ) = J(w)(x). In turn, we conclude that J(u)dx = J(u)dx + J(v)dx, J(u H )dx = R N H H R N H If one was be able to prove that (4.3) J(u H )(x)+j(w)(x) J(u)(x)+J(v)(x), for all x H, J(u H )dx+ J(w)dx. H then (4.1) would follow by standard approximations. In the local case (4.3) follows immediately in light of (4.2), while for J, which is a nonlocal function, the situation is rather unclear. If instead one finds u and H such that (4.3) holds with opposite inequality, then the Riesz gradients would already fail the basic polarization inequality. Acknowledgements. The authors would like to warmly thank Daniel Spector for providing some useful remarks about the content of his works [31, 32]. References [1] F.J. Almgren, E.H. Lieb, Symmetric decreasing rearrangement is sometimes continuous, J. Amer. Math. Soc. 2 (1989), [2] T. Aubin, Problémes isopérimétriques et espaces de Sobolev, J. Differential Geometry 11 (1976), [3] A. Baernstein, A unified approach to symmetrization, Partial Differential equations of elliptic type, eds, A. Alvino et al., Symposia matematica 35, Cambridge University Press 1995, , 2 [4] J. Bourgain, H. Brezis, P. Mironescu, Another look at Sobolev spaces, in Optimal control and partial differential equations. A volume in honor of professor Alain Bensoussan s 6th Birthday (eds. J. L. Menaldi, E. Rofman and A. Sulem), IOS Press, Amsterdam, 21,

11 REMARKS ON REARRANGEMENT FOR NONLOCAL FUNCTIONALS 11 [5] J. Bourgain, H. Brezis, P. Mironescu, Limiting embedding theorems for W s,p when s 1 and applications, J. Anal. Math. 87 (22), [6] J. Bourgain, H-M. Nguyen, A new characterization of Sobolev spaces, C. R. Math. Acad. Sci. Paris 343 (26), [7] J. Bourgain, H. Brezis, H-M. Nguyen, A new estimate for the topological degree, C. R. Math. Acad. Sci. Paris 34 (25), [8] L. Brasco, S. Mosconi, M. Squassina, Optimal decay of extremals for the fractional Sobolev inequality Calc. Var. Partial Differential Equations 55 (216), 55:23. 7 [9] H. Brezis, How to recognize constant functions. Connections with Sobolev spaces, Russian Mathematical Surveys 57 (22), [1] H. Brezis, H-M. Nguyen, Non-local functionals related to the total variation and connections with Image Processing, preprint 2 [11] H. Brezis, H-M. Nguyen, The BBM formula revisited, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 27 (216), [12] H. Brezis, H-M. Nguyen, Two subtle convex nonlocal approximations of the BV-norm, Nonlinear Anal. 137 (216), [13] H. Brezis, H-M. Nguyen, On the distributional Jacobian of maps from S N into S N in fractional Sobolev and Hölder spaces, Ann. of Math 173 (211), [14] F. Brock, Y. Solynin, An approach to symmetrization via polarization, Trans. Amer. Math. Soc. 352, (2), , 2 [15] J.E. Brothers, W.P. Ziemer, Minimal rearrangements of Sobolev functions, J. Reine Angew. Math. 384 (1988), , 6 [16] V.N. Dubinin, Transformation of functions and the Dirichlet principle, Mat. Zametki 38 (1985), [17] V.N. Dubinin, Transformation of condensers in space, Dokl. Akad. Nauk SSSR 296 (1987), [18] V.N. Dubinin, Transformations of condensers in an n-dimensional space, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 196 (1991), Modul. Funktsii Kvadrat. Formy. 2, 41 6, [19] R. Filippucci, P. Pucci, C. Varga, Symmetry and multiple solutions for certain quasilinear elliptic equations, Adv. Differential Equations 2 (215), [2] G. Lorentz, Some new function spaces, Ann. of Math. 51 (195), [21] P.L. Lions, Symétrie et compacité dans les espaces de Sobolev, J. Funct. Anal. 49 (1982), [22] G. Lorentz, On the theory of spaces Λ, Pacific J. Math. 1 (1951), [23] H-M. Nguyen, Some new characterizations of Sobolev spaces, J. Funct. Anal. 237 (26), , 6 [24] H-M. Nguyen, Further characterizations of Sobolev spaces, J. Eur. Math. Soc. 1 (28), [25] H-M. Nguyen, Γ-convergence, Sobolev norms, and BV functions, Duke Math. J. 157 (211), , 6 [26] H-M. Nguyen, Some inequalities related to Sobolev norms, Calc. Var. Partial Differential Equations 41 (211), , 8 [27] H-M. Nguyen, Optimal constant in a new estimate for the degree, J. Anal. Math. 11 (27), [28] L. Pick, A. Kufner, O. John, S. Fucik, Function spaces. Vol. 1. Second edition. De Gruyter Series in Nonlinear Analysis and Applications 14. Walter de Gruyter, Berlin, [29] G. Polya, G. Szegö, Inequalities for the capacity of a condenser, Amer. J. Math. 67 (1945), [3] G. Polya, G. Szegö, Isoperimetric Inequalities in Mathematical Physics, Annals of Mathematics Studies. Princeton, N.J. Princeton University Press (1945). 1 [31] T.-T. Shieh, D.E. Spector, On a new class of fractional partial differential equations, Adv. Calc. Var. 8 (215), , 1 [32] T.-T. Shieh, D.E. Spector, On a new class of fractional partial differential equations II, Adv. Calc. Var. to appear. 9, 1 [33] M. Squassina, Radial symmetry of minimax critical points for nonsmooth functionals, Commun. Contemp. Math. 13 (211), [34] M. Squassina, Symmetry in variational principles and applications, J. London Math. Soc. 85 (212), [35] M. Squassina, On a result by Boccardo-Ferone-Fusco-Orsina, Rend. Lincei Mat. Appl. 22 (211), [36] J. Van Schaftingen, Symmetrization and minimax principles, Comm. Contemp. Math. 7 (25), [37] J. Van Schaftingen, Explicit approximation of the symmetric rearrangement by polarizations, Arch. Math. 93 (29), , 2, 6 [38] G. Talenti, Best constant in Sobolev inequality, Ann. Mat. Pura Appl. 11 (1976),

12 12 H.-M. NGUYEN AND M. SQUASSINA (H.-M. Nguyen) Department of Mathematics EPFL SB CAMA Station 8 CH-115 Lausanne, Switzerland address: hoai-minh.nguyen@epfl.ch (M. Squassina) Dipartimento di Matematica e Fisica Università Cattolica del Sacro Cuore Via dei Musei 41, I Brescia, Italy address: marco.squassina@unicatt.it