# Full text of "Balls are Maximizers of the Riesz-Type Functionals with Supermodular Integrands"

## See other formats

BALLS ARE MAXIMIZERS OF THE RIESZ-TYPE FUNCTIONALS WITH SUPERMODULAR INTEGRANDS HICHEM HAJAIEJ Abstract. For a large class of supermodular integrands, we establish conditions under which balls are the unique (up to translations) maximizers of the Riesz-type functionals with constraints. 1. Introduction Over the last decades, one field of intense research activity has been the study of extremals of integral functionals. The Riesz-type kind has attracted growing attention and played a crucial role in the resolution of Choquard's conjecture in a breakthrough paper by E. H. Lieb pO|. The determination of cases of equality in the Riesz-rearrangement inequality has also received a large amount of interest from mathematicians due to its connection with many other functional inequal- ities and its several applications to physics [SlElll]. Variational problems for steady axisymmetric vortex-rings in which kinetic energy is maximized subject to prescribed impulse involves Riesz- type functionals with constraints. In [5], G. R. Burton has proved the existence of maximizers in an extended constraint set, he has also showed that the maximizer is Schwarz symmetric (up to translations). His method hinges on a resolution of an optimization of a Riesz-type functional under constraint [Sj Proposition 8] . The purpose of this paper is to answer the more general ques- tion: When do maximizers of the Riesz-type functional inherit the symmetry and monotonicity properties of the integrand involved in it? The method of G. R. Burton [5] cannot apply to solve the above problem. In this paper, we develop a self-contained approach. Let us give here a foretaste of our ideas. First, we recall that: A Riesz-type functional is a functional of the form: R{f,g)= / ^{f{x),g{y))r{x,y)dxdy. n .nan In this paper, we will consider r{x,y) = j {\x — y\). We are interested in the following maxi- mization problem: (PI) sup J{f,g) {f,9)&C where ^ {f{x),giy)) j i\x-y\) dxdy. ;0<f<h and J^nf<ii ]0<g<k2 and J^^ g < ^2 BALLS ARE MAXIMIZERS OF THE RIESZ-TYPE FUNCTIONALS WITH SUPERMODULAR INTEGRANDS 2 For supermodular operators \1/ and nonincreasing functions j, we know that J{f, g) < J{f*, g*) [H Theorem 1], where u* denotes the Schwarz symmetrization of u. Hence the problem reduces to: (P2) sup J{r,g*) {f*,9*)(^C For continuous integrands \1/ having the N-Luzin property (for any subset N having Lebesgue mea- sure zero, \I/(N) has the same property), lemma [2^ enables us to assert that (P2) is equivalent to an optimization of a Hardy-Littlewood type functionals where balls are maximizers. We will then extend this study to supermodular non-continuous bounded functions thanks to the de- composition of these functions into ^ {fi{si) , ip2{s2)) in the spirit of [HE]. The approximation of unbounded supermodular functions by bounded ones inheriting the monotonicity properties will enable us to prove that balls are maximizers in the general case. Main Result: Let \E' : M+ x IR+ ^ M be a H-Borel function satisfying: (^^1) vanishes at hyperplanes; (^2) ^(6, d) - ^(6, c) - ^(a, d) + ^(a, c) > for all < a < 6 and < c < c^; (^3)(i) ^(tx, 62) - t^(x, 62) - "^(tx, 61) + t^(a;, bi) < for all x > 0, < 61 < 62 and < t < 1; (^3)(ii)^(a2,ti/) -t^(a2,?/) - ^(ai, ty) + t^(ai, |/) < for all y > 0, < ai < 02 and < t < 1; (jl) j is nonincreasing. Suppose in addition that \1/ is continuous with respect to each variable and has the N-Luzin property, then for all (/i, /2) G C where Bi and B2 are centered in the origin, 1^ is the characteristic function of B, and /i(-Bi) = ii/ki, fi{B2) = ^2/^2- Moreover, if (\l/2) and (\l/3) hold with strict inequality, j is strictly decreasing and J (/i, /2) < 00 for any (/i, /2) G C, then (PI) is attained by exactly two couples (fcil^j, ^2152) and {hi, /i2) where hi and /i2 are translates by the same vector of /ciIb^ and k2lB2 (respectively). 2. Notations and preliminaries Definition 2.1. If A G MJ^ is a measurable set of finite Lebesgue measures fi, we define A*, the symmetric rearrangement of the set A to be the open ball centered at the origin whose volume is that of A, thus A* = {x eM.^ : \x\ < r} with \4r" = fi{A), Vn is a constant. For a nonnegative measurable function u on M", we require u to vanish at infinity in the sense that all its positive level sets {x G M" : u{x) > t} having finite measure for t > 0. The set of these functions is denoted by F„. The symmetric decreasing rearrangement u* of u is the unique upper semicontinuous, nonincreasing radial function that is equimeasurable with u. Explicitly, 00 u*{x) = j l*,^^y{x) dt where 1^ = 1^*- We say that u is Schwarz symmetric if m = -u*. Definition 2.2. A reflexion a on MJ^is an isometry with the properties: (i) al = ax o ax = X for all x G M"; (ii) the fixed point set of Hq of a separates M" into two half spaces and that are inter- changed by a; BALLS ARE MAXIMIZERS OF THE RIESZ-TYPE FUNCTIONALS WITH SUPERMODULAR INTEGRANDS 3 (iii) \x — x'\ < |a; — ax'\ for all x, x' G H^. is the half space containing the origin. The two point rearrangement or polarization of a real valued function u with respect to a reflection a is defined by: Lemma 2.3. Let j : [0, oo) ^ M. be a nonincreasing function then v{x) = J^nj {\x — y\) h{y) dy is radial and radially decreasing for any Schwarz symmetric function h. If in addition j is strictly radially decreasing then v also inherits this property. Proof: we will use [3 Lemma 2.8]: u = u* u = u'^ for all a. It is sufficient to prove that u{x) > u{ax) for all x e M", all a. By (iii) |a; — y| < |cr^ — y\, it follows that j {\x — y\) > j {\crx — y\). On the other hand h is Schwarz symmetric, hence h{y) > h{ay) for all y G H^, the conclusion follows. Definition 2.4. Let ^ : M+ x M+ ^ R: (a) \E' is supermodular if (^^2) holds. (b) We say that \E' vanishes at hyperplanes if \E'(si, 0) = \I'(0, S2) = for all Si, S2 > 0. An important property of functions satisfying (c) is that the composition (x, ?/) ^— \l/ {f{x), g{y)) is measurable on M+ for every f,gE F^. Hence j {\x — y\) {f{x),g{y)) is measurable on M+ x R+. In the spirit of and [6], we obtain: Lemma 2.5. Assume that \1' : R+ x ]R+ — > M is a supermodular bounded function vanishing at hyperplanes. Then there exist two bounded nondecreasing functions (fi and (f2 on IR+ with (pi{0) = and a Lipschitz continuous function \I' on such that \E'('U, v) = fiv)). Proof: First, we will prove the following: If is a nondecreasing real- valued function defined on an interval /, then for every / on I satisfying \ f{u) — f{v)\ < c{(f{v) — ^{u)) where u < v ^ I, c is a constant, there exists a Lipschitz continuous function / : M ^ [inf /, sup /] such that f{x) = / o fix) (2.0). If / is nondecreasing then / is nondecreasing also. The result is obvious for t = if{v) and s = f{u) < t since we have (2.1) max{u{x) , u{ax)} , x G i/+ U Hq, mm{u{x),u{ax)},x G H^. I j{\x-y\) [h{y) - h{(ry)] - j {a^ - y) [h{y) - h{(ry)] dy m - f{s)\ = \f i^{v)) - f {v{u))\ < c {^{v)) - iviu)) = c{t - s). BALLS ARE MAXIMIZERS OF THE RIESZ-TYPE FUNCTIONALS WITH SUPERMODULAR INTEGRANDS 4 Now / has a unique extension to the closure of the image and the complement consists of a countable number of disjoint bounded intervals, it is sufficient to interpolate / linearly between the values, that were assigned to end-points. By construction f = f o (fi and /(M) = [inf /, sup /] the extension we have made by linear interpolation preserves of course the modulus of continuity of /: \f{t) — f{s)\ < c{t — s) for all t > s. If / is nondecreasing, it is easy to check that this property is inherited by /. Now we can prove our lemma: First note that the fact that ^ is supermodular and vanishes at hyperplanes imply that it is nondecreasing with respect to each variable and it is nonnegative. Now set (pi{u) — lim ^(xi, v). (fil is well-defined on M+ since ^ is bounded and nondecreasing in the second variable. By the supermodularity of ^, it follows that + hi,v + h2) - v + h2) - + hi,v) + "^{u, v)>0 for any u, v, hi and /i2 > 0. Letting h2 tend to infinity, we obtain (pi{u + hi) - ip{u) > + hi,v) - v)>0 for all u, V, hi > 0. For a fixed v, the last inequality enables us to apply (2.0) to 'i/{-,v). Hence, there exists such that: "^{Ujv) = 'i/^{ipi{u),v). A moment's consideration shows that inherits all the properties of ^. Now set ip2{v) — hm ^(it, v), a similar argument ensures us that there exists ^ such that M— >+00 {^l{u),u) = {ipi{u),ip2{v)). ^ has the same monotonicity property as and consequently as ^. Note that (pi{0) — </?2(0) = and the monotonicity properties of "if imply that (pi and </?2 are nondecreasing. Lemma 2.6. Let I, k > 0, D = {h : W ^ R : < h{x) < k and J^^ h{x) dx <l}. Suppose that r : M+ — > M 2s a function satisfying: (1) r(o) = 0, (2) T(tx) < tT{x) for all x > and < t < 1. Assume also that (3) u : R" M is a Schwarz symmetric function. Then for every u & D : u{x)r {iy{x)) dx < Jjg„ u{x)r {klsix)) dx where B is the ball centered at the origin with n{B) — ijk. Proof: (2) imphes that v{x) u{x)T {yix)) dx < u{x)r{k)'^dx = r{k) k j u{x) k 1 + 1 dx + / u{x)V [klB{x)) dx p^x) +m u{x) B dx + -B u(x)u{x) k u{x)i'{x) k dx dx Using (3), it follows that the above integrals are < u{x)T (A';1 b(x)) dx+T{k)u{r) J^^ dx — fJ>{B) where fi(B) = I^t" (see definition 2.1). Thus J^„u{x)r (u^x)) dx < J^„u{x)T (^klB{x)) dx, since J^„^-^dx<^{B) = £/k. BALLS ARE MAXIMIZERS OF THE RIESZ-TYPE FUNCTIONALS WITH SUPERMODULAR INTEGRANDS 5 If additionally J^„ u{x)T {i^{x)) dx < oc for any z/ G -D, (2) holds with strict inequality and u is strictly decreasing, we can prove that for every u E D: u{x)T {i^{x)) dx < u{x)T (^klB(x)) dx. 3. Proof of the result For the convenience of the reader, the proof will be divided in three parts. First part: We suppose that: \l/(-,S2) is absolutely continuous for every S2 > 0, and ■) is absolutely continuous for every Si > 0. First note that (^'l) and (^1/2) imply that \1/ is a non-decreasing function with respect to each variable and it is nonnegative. Let (/i,/2) e C, (^2) and (jl) imply that " ./TO" J(/i,/2)< J(/r,/2) = / / ^ifKx)j;{y))ji\x-y\)dxdy ^ifiix),s) ds 1 j {\x-y\) dxdy n .nan where \l/(si,S2) = J^^ F {si,u) du. Applying Tonelli's theorem (see (3.0)), we obtain: J (/r> /2) = / / / J (k - y\) 'i-{ym-:f^{y)>s}F (/r(x), s) dydxds. n ./TO" Setting m(x, s) = l{ygiRn:/|(j^)>s}j (|x — ?/|) dy, it follows from lemma [273] that u is radial and radially decreasing with respect to x for every fixed s. /•oo n JUlf2)= / u{x,s)F{f*{x),s)dxds. Jo JR" Now for a fixed si > 0, \I'(si,X2) — \I'(si,xi) = f^^ F{si,t) dt > for X2 > xi; from which we deduce that F{si,t) is nonnegative for almost every t > 0. (3.0) On the other hand, = ^(0, S2) = J^' F{0, u) du. By the nonnegativity of F, we conclude that F{0, s) = for almost every s > 0. Moreover (^'3) says that: ^f(te, d) - t^(x, d) - ^(tx, c) + t^'(x, c) < for every x >0, d>c>0. Integrating this inequality, we have F{tx, u) — tF{x, u) du > for every x > 0; d > c > 0. Hence F(tx, u) < tF{x, u) for all x > 0, t g]0, 1[ and almost every m > 0. This shows that for almost every s > 0, the function m(x, s)F (/^*(x), s) satisfies all the hypotheses of lemma 12. 6[ consequently: For almost every s > m(x, s)F {f^{x), s) dx < u{x, s)F (A;i1b^(x), s) dx and (3.1) j{f*j;)<j{hiB,j;). Using the same argument, we easily conclude that (3.2) J{hlB,j;)<J{hlB,,k2lB,). By [H Theorem 2] we know that: (3.3) j(/i,/2)< j(/r,/2). BALLS ARE MAXIMIZERS OF THE RIESZ-TYPE FUNCTIONALS WITH SUPERMODULAR INTEGRANDS 6 Combining these three inequahties, we obtain: J (/l, /2) < J (/r, /2 ) < J ihlB.j;) < J ihlB„ k2lB,) ■ If in addition, we have strict inequahty in (\l/2) and (\I/3), j is strictly decreasing and J (/i, /2) < oo for any /i,/2 G C then [51, Theorem 2] asserts that equahty occurs in (13.31) if and only if there exists Xq G M" such that /i = /*(■ — Xq) and /2 = /2*(- — Xq). On the other hand, by lemma [231 equality occurs in (13.11) if and only if /* = /cil^i- Similarly equality holds in (13. 2p if and only if /| = k2lB2- Conclusion: we have proved that for any absolutely continuous function satisfying (^E'l), (^1/2), (\I'3) with a kernel j satisfying (jl) (/cil^j, ^2152) ^ maximizer of J under the constraint C. If additionally (\E'2), (\E'3) hold with strict inequality j is strictly decreasing and J(/i,/2) < 00 for all (/i, /2) G C then {kilsi, ^2152) is the unique maximizer of (PI) (up to a translation). Remark 1: \E' is a nondecreasing function with respect to each variable, it is then of bounded variations. The absolute continuity is then equivalent to its continuity and the fact that it satisfies the N-Luzin property. Remark 2: We can remove condition (\I'l) from our theorem by modifying (^3) and adding an integrability assumption in a same way as [8, Proposition 3.2]. Part 2: \E' is bounded. Applying lemma [2751 we know that there exist (pi,f2 such that \E'(si,S2) = ^ {ipi{si),ip2{s2)), where ^ is Lipschitz continuous with respect to each variable, there exist a function F defined on M+ such that \E'(si, S2) = /q*^ F{si, u) du. JU1J2) =11 ^(¥^i(/r(x)),^2(/2(a;)))j(|x-y|)rfxrfy = / (/ J^{,x,s)F {ipi{fl{x)) ,s)\ dxds Jo \Jm." / where iy{x,s) = J^n l{y^^n.,^^^j.^y)-^^,p i\x - y\) dy. The function l{ygMn,^,(^.(^))>,} is Schwarz- symmetric for every s since (p2 is nondecreasing. We can then apply Part 1 and the result follows. Remark 3: Here we cannot obtain a uniqueness result since (fi and <^2 do not inherit the strict monotonicity properties of Part 3: \E' is not bounded. For L > 0, set (si, S2) = (min(si, L), min(s2, L)). It is easy to check that inherits all the properties of stated in our result. Moreover Part 2 applies to \I'^ since it is a bounded function. Noticing that \E'^ —>■ \E', the monotone convergence theorem enables us to conclude. References [1] E. H. Lieb. Existence and uniqueness of the minimizing solution of the Choquard's nonhnear equation. Studies in Applied Mathematics, 57:93-105, 1977. [2] A. Burchard. Cases of equality in Riesz rearrangement inequality. Ann. Math. (2), 143:499-527, 1996. [3] E. H. Lieb and M. Loss. Analysis, volume 14 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2001. [4] A. Burchard and H. Hajaiej. Rearrangement inequalities for functionals with monotone integrands. J. Funct. Anal, 233(2):561-582, 2006. [5] G. R. Burton. Vortex-rings of prescribed impulse. Math. Proc. Cambridge Philos. Soc, 134(3):515-528, 2003. [6] A. Sklar. Fmictions de repartition a n dimensions et leurs marges. Inst. Statist. Univ. Paris, 8:229-231, 1959. BALLS ARE MAXIMIZERS OF THE RIESZ-TYPE FUNCTIONALS WITH SUPERMODULAR INTEGRANDS 7 [7] A. Burchard and M. Schmuckenschlager. Comparison theorems for exist times. Geom. Fund. Anal, 11:651-692, 2001. [8] C. Draghici and H. Hajaiej. Uniqueness and characterization of maximizers of integral functionals with con- straints. Preprint. Justus-Liebig-Universitat Giessen, Mathematisches Institut, Arnd Str 2, 35392 Giessen, Germany E-mail address: hichem.hajaiej(Sgmail . com