Skip to main content

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

See other formats




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{x),giy)) j i\x-y\) dxdy. 

;0<f<h and J^nf<ii 
]0<g<k2 and J^^ g < ^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*) 


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, 


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; 


(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 


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). 


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 


u{x)T {yix)) dx < 

u{x)r{k)'^dx = r{k) 





1 + 1 

dx + 


u{x)V [klB{x)) 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. 


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). 


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. 


[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. 


[7] A. Burchard and M. Schmuckenschlager. Comparison theorems for exist times. Geom. Fund. Anal, 11:651-692, 

[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