- Open Access
Existence and uniqueness of maximizers of a class of functionals under constraints: optimal conditions
© Hajaiej; licensee Springer 2012
- Received: 8 February 2012
- Accepted: 11 May 2012
- Published: 3 July 2012
In this article, we establish optimal assumptions under which general Hardy-Littlewood and Riesz-type functionals are maximized by balls. We also determine additional hypotheses such that balls are the unique maximizers. In both cases, we prove that our assumptions are optimal.
- Strict Inequality
- Monotonicity Property
- Unique Maximizer
- Borel Measurable Function
- Powerful Result
Functional optimization under constraints plays a crucial role in many important areas like economics , physics, and engineering . In many relevant cases, one needs very precise informations about maximizers or minimizers, especially in economics where the integrand represents the cost function, see  and references therein for a more detailed account. In this article, we will discuss such a case and a variational problem for steady axisymmetric vortex-rings in which kinetic energy is maximized subject to a prescribed impulse involving Riesz-type functionals under constraints [2, 3]. Burton  proved the existence of maximizers in a natural constraint set, and then showed that optimizers are unique (up to translations). In , we have extended his result to general Riesz-type functionals, which enabled us to treat a much larger class of functionals.
In this article, we develop an innovative approach based on a powerful result in mass transportation theory , Theorem 1], which turns out to be very fruitful for our purpose. We are convinced that our method applies to other optimization problems. This approach is also very efficient to give some estimates . First, we have established suitable conditions to prove that balls are maximizers of the Hardy-Littlewood-type functionals (Part 1, Theorem 1). Note that this result improves , Proposition 3.1], in which Draghici and Hajaiej  needed the superfluous supermodularity of the integrand. It also improves a result of  in which the author used a mass transportation technique. We have then focused our attention to prove the optimality of our hypotheses. We also prove the optimality of these results. Characterization and uniqueness of optimizers of Riesz-type functionals were established in , our new approach also allows us to weaken (Ψ3) of ; thanks to a subtle reduction of the Riesz-type functionals to the Hardy-Littlewood ones (Theorem 2). This reduction is always possible; we will then give detailed proofs for Hardy-Littlewood functionals, and results concerning Riesz-type functionals are immediate consequences.
For , μ is Lebesgue measure in .
For a Lebesgue measurable set A in , denotes its measure.
is the ball centered in the origin with radius 1.
For , .
is the set of measurable functions in .
is the Riesz type functional.
is the ball centered in the origin such that .
is the ball centered in the origin such that .
A function is Schwarz-symmetric if it is radial and radially decreasing. We say that it is strictly Schwarz-symmetric if it is radial and strictly radially decreasing.
In this article, we are interested in the following maximization problems:
In Theorem 1, we will suppose without loss of generality that for .
Theorem 1 Part 1 (Balls are maximizers of the Hardy-Littlewood type functionals)
The following assertions are equivalent:
H1 For any, u Schwarz symmetric, (I1) admits the functionas a maximizer.
Part 2 (Balls are the unique maximizers of the Hardy-Littlewood type functionals) (A) = For every, u Schwarz symmetric, if (I1) admitsas a unique maximizer, then; (B) = , . , ..Conversely, if(B′) = , . , . u is strictly Schwarz symmetric, then; (A′) = for any, u, is the unique maximizer of (I1)..
First note that is well-defined for any , Proposition 3.1]. Let us prove that (H2) implies (H1). Let , since , we have that .
But , and .
which holds true since .
Let us now prove that (H1) implies (H2).
Let us assume that for any and , we want to prove (3) and (4).
Let with fixed. Since , we can chose such that . Let us set , , , . Choose such that .
and (3) follows immediately.
Now we would like to prove (4).
For any and fixed, define , . Select such that . Therefore, . Set , and by our assumption .
We now turn to the proof of Part 2 of our result: .
We are assuming that for every Schwarz symmetric function u and , . Then (8) and (6) hold true with strict sign, it follows that (3) and (4) are strict.
Here all inequalities in the proof of Part 1, become strict inequalities which permit us to conclude.
Remark 1 Note that cannot be done if u is strictly Schwarz symmetric since in our construction, we need u to be constant on some domains. However for any u Schwarz symmetric function the condition for with is necessary for the uniqueness of the maximizer. More precisely consider . For any where , f is a maximizer of (I1) independently of the choice of u since .
Theorem 2 Part 1 (Balls are maximizers of the Riesz-type functionals)
(F2) , .
Part 2 Uniqueness of the maximizers (up to translations)
whereandare translates by the same vector ofand (respectively).
Similarly, using (F1)(ii), we deduce that .
Using equality cases established in , Theorem 1] and Part 2 of Theorem 1, we can easily prove Part 2 of Theorem 2. □
The author extend his appreciation to the Deanship of Scientific Research at King Saud University for funding the work through the research group project No RGP-VPP-124.
- Brenier Y: Polar factorization and monotone rearrangement of vector-valued functions. Commun. Pure Appl. Math. 1991, 44(4):375–471. 10.1002/cpa.3160440402MathSciNetView ArticleGoogle Scholar
- Carlier G: On a class of multidimensional optimal transportation problems. J. Convex Anal. 2003, 10(2):517–529.MathSciNetGoogle Scholar
- Burton GR: Vortex-rings of prescribed impulse. Math. Proc. Camb. Philos. Soc. 2003, 134(3):515–528. 10.1017/S0305004102006631View ArticleGoogle Scholar
- Hajaiej H: Balls are maximizers of the Riesz-type functionals with supermodular integrands. Ann. Mat. Pura Appl. 2010, 189: 395–401. 10.1007/s10231-009-0114-9MathSciNetView ArticleGoogle Scholar
- Hjaiej, H: The quantitative deficit in the Hardy-Littlewood inequality under constraint. J. Nonlinear Convex Anal. (in press)Google Scholar
- Draghici C, Hajaiej H: Uniqueness and characterization of maximizers of integral functionals with constraints. Adv. Nonlinear Stud. 2009, 9: 215–226.MathSciNetGoogle Scholar
- Hajaiej, H: Characterization of maximizers under constraints via mass transportation techniques. PreprintGoogle Scholar
- Burchard A, Hajaiej H: Rearrangement inequalities for functionals with monotone integrands. J. Funct. Anal. 2006, 233(2):561–582. 10.1016/j.jfa.2005.08.010MathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.