EDP Sciences logo
Submit your paper
Search
Menu
All issues Volume 28 / No 2 (April 2023) Wuhan Univ. J. Nat. Sci., 28 2 (2023) 93-98 Full HTML
Open Access
Issue
Wuhan Univ. J. Nat. Sci.
Volume 28, Number 2, April 2023
Page(s) 93 - 98
DOI https://doi.org/10.1051/wujns/2023282093
Published online 23 May 2023

© Wuhan University 2023

Licence Creative CommonsThis is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

0 Introduction

Let denote the n-dimensional Euclidean vector space, equipped with its standard scalar product . We denote the set of convex bodies (compact convex subsets with nonempty interior) in which contain origin in the interior by . For , its dual or polar body is defined by (see, e.g., Ref.[1])

It is again in . Polar body is an important and fundamental notion of the dual theory of convex bodies, and this duality is one of the central concepts both in geometry and in analysis (see, e.g., Refs.[2-10]).

Mahler's conjecture (see, e.g., Ref.[11]), a famous open problem, is related to polar bodies. By we denote the class of all convex bodies in , and by we denote the class of all -dimensional origin-symmetric convex bodies in . Let , the volume product of and its polar body is defined by (see, e.g., Ref.[5]) , where denotes the -dimensional volume of . Along the volume product, there is the Mahler's conjecture that: for ,

where equality holds for parallelepipeds and their polars (and other bodies). It is easily checked that for all . In 1939, Mahler [12] himself proved that for all , and in 1986, Reisner [13] characterized that equality holds only for parallelograms. Later, in 1991, Meyer [14] used some alternative methods to give a complete proof for the case , including the characterization of equality. Recently, Iriyeh and Shibata[15] showed that the conjecture holds for the case n = 3 and equality holds if and only if K or K∗ is a parallelepiped. For the case n ≥ 4, Mahler's conjecture is still a challenging open problem.

Duality for convex functions can also be defined. For a convex function , its conjugate function is defined by (see, e.g., Ref.[16])

If is a lower semi-continuous convex function, then is also a lower semi-continuous convex function, and . This duality for lower semi-continuous convex functions can be characterized from two simple and natural properties: involution and order-reversion. Artstein-Avidan and Milman [17] showed that any involution on the class of lower semi-continuous convex functions which is order-reversing, must be, up to linear terms, the well-known Legendre transform. For more results on the characterizations of the duality for convex functions, s-concave functions and log-concave functions, we can refer to Refs.[18-22].

Recently, Böröczky and Schneider [1] made use of an excellent tool that is lattice endomorphism from Gruber [23,24], to characterize the duality mapping for convex bodies by interchanging the pairwise intersections and convex hulls of unions. Let denote the convex hull of unions (see Sect.1 Notations for details).

Theorem 1   Let and let be a mapping satisfying

(1)

(2)

for all . Then either is constant, or there exists a linear transformation such that for all .

It is important to point out that the property (the duality interchanges the pairwise intersections and convex hulls of unions) is sufficient for a characterization, up to a trivial exception (the constant map) and the composition with a linear transformation. A mapping is called involutive if

(3)

for all . If satisfies condition (3) and one of conditions (1) and (2), then satisfies conditions (1), (2) and (3), and is order-reversing. By replacing condition (1) with (3), Böröczky and Schneider [1] completely established a characterization of the duality mapping for convex bodies in with . Condition (3) excludes the constant map and forces the linear map appearing in the theorem to be selfadjoint.

Theorem 2   Let and let be a mapping satisfying

for all . Then there exists a selfadjoint linear transformation such that for all .

For more results on the characterization of duality and lattice endomorphism of the class of convex bodies and of convex sets, we can refer to Refs.[25-29].

The main purpose of this paper is to establish a characterization of the duality mapping for convex bodies on 1-dimensional Euclidean space with some additional assumptions. For simplicity, we will identify with as follows. And, obviously, if , where .

Theorem 3   Let be a mapping satisfying

for all and all real . Then, there exist constants with such that

for all ; or there exists a constant with such that

for all .

1 Notations

For reference, we collect some basic facts on convex sets and convex bodies. Excellent references are the books by Gardner [30], Gruber [31] and Schneider [16].

Let stand for the unit ball and the unit sphere of . A set is convex if for any two points , the line segment joining them is contained in , i.e.,

If are convex, then and are convex. A convex body is a compact convex subset of with non-empty interior.

The support function of a compact, convex is defined, for , by

It can be easily checked that the support function is sublinear, i.e., has the positive homogeneity of degree 1 and satisfies subadditive. From the definition, it follows immediately that, for , the support function of is given by .

A boundary point is said to have as an outer normal provided . The convex body is equipped with the Hausdorff metric , which is defined for convex bodies by

Let denote the convex hull of unions, i.e., for all . The set of convex bodies in containing the origin in their interior is denoted by . For , its dual or polar body is defined by

The duality mapping has a number of remarkable properties, of which we list the following; they are valid for all :

1) ;

2) implies ;

3) ;

4) ;

5) Continuity with respect to the Hausdorff metric;

6) If , then .

If is convex, then and . When , for , is convex. And for and real , is the form of the case in 6) above. For more interesting properties of the duality mapping of convex body, we can refer to Ref.[16], §1.6.

2 Main Results

Lemma 1   Let be a mapping satisfying

(4)

(5)

for all . Then, for all , the value of has the following four cases:

Case 1: ;

Case 2: ;

Case 3: ;

Case 4: ;

where are two decreasing positive functions on .

Proof   Let , combining with (4), it follows that

which implies

(6)

for . Note that if , there is still . Then (6) induces

(7)

for all , where both and are decreasing positive functions with respect to and .

Suppose are arbitrary, it follows from (7) that

and

Without loss of generality, letting , . Then, we obtain from (4), (5) and (6) that

and

We now study the first result which implies the following three possibilities, and the others are similar.

(P1) If , then we have . Thus, is independent of the first variable . We obtain that can be rewritten as , which is a decreasing positive function on .

(P2) If , then we have . Thus, is independent of the second variable . We obtain that can be rewritten as , which is a decreasing positive function on .

(P3) If , then we have . Thus, is independent of the variable and . We obtain that is a constant positive function on . Since the decreasing function contains the constant function as a special case, can be rewritten as either in (P2) or in (P1).

Consequently, we may rewrite as either or , and similarly, we rewrite as either or , where are two decreasing positive functions on . Then, we conclude from (7) that has 4 different cases as desired.

A mapping is called order-reversing if

(8)

for .

Lemma 2   Let be a mapping satisfying (3) and (5) for all . Then is order-reversing and satisfies (4).

Proof   Let , then, from (5), we obtain

which implies

for .

Suppose is not order-reversing and we may assume that there exist two convex bodies with such that . But, it follows from (3) that

which is a contradiction. Thus, (3) and (5) induce the property of : order-reversion.

Moreover, (3) and (5) induce

Applying (3) again, we conclude that

as desired.

Lemma 3   Let be a mapping satisfying (3) and (5) for all . Then, there exist two strictly decreasing positive functions , on with the properties that , such that

(9)

where , denote the inverse function of ,, respectively; or there exists a strictly decreasing positive function on such that

(10)

where denotes the inverse function of .

Proof   is order-reversing and satisfies (3), (4) and (5) via Lemma 2. Then, the functions , must be strictly decreasing positive functions with respect to and on . Thus, together with Lemma 1, we obtain that the functions , be rewritten as , and ,, where , are two strictly decreasing positive functions on and that the forms of four cases in Lemma 1 are remained tentatively.

However, since is order-reversing, both Case 1 and Case 4 are removed when are two strictly decreasing positive functions on . We show the contradiction for Case 1 (Case 4 is similar). Suppose are arbitrary and is fixed, then it follows from (8) that

And, combining with the form of Case 1, we obtain that

and

A contradiction occurs.

Now, we further study Case 2 and Case 3 with the conditions (3) and (5).

(i) From the form of Case 2 and above, we deduce that , where , are two strictly decreasing positive functions on . Then, from (3), we have

which implies

for all . Thus,

on , where , denote the inverse function of , , respectively. Therefore, we obtain

where , are two strictly decreasing positive functions on with the properties that , .

(ii) From the form of Case 3 and above, we deduce that , where , are two strictly decreasing positive functions on . Then, from (3), we have

which implies

for all . Thus,

on , where denotes the inverse function of . Therefore, we conclude that

where is a strictly decreasing positive function on . Certainly, is also a strictly decreasing positive function on .

A mapping is called homogeneous if there exists such that

for all and all . With the additional assumption of homogeneity, we establish a characterization of polarity or duality mapping for 1-dimensional convex bodies.

Proof of Theorem 3   Recall that satisfies , and for all and real . Together with Lemmas above, we finish the proof of Theorem 3 with two cases.

(i)　Due to Lemma 3, if (9) holds, then

for all and real , where , are two strictly decreasing positive functions on with the properties that , . Since satisfies the homogeneity of degree 1, we obtain

for all and real . Thus,

for all and real , which implies

for all , where . Thus,

for all , where .

(ii)　Due to Lemma 3, if (10) holds, then

for all and real , where is a strictly decreasing positive function on . And, from the homogeneity of , we deduce that

for all and real . Thus,

for all and real , which implies

for all , where . Thus,

for all , where .

References

  1. Böröczky K, Schneider R. A characterization of the duality mapping for convex bodies[J]. Geom Funct Anal, 2008,18(3): 657-667. [CrossRef] [MathSciNet] [Google Scholar]
  2. Firey W J. Polar means of convex bodies and a dual to the Brunn-Minkowski theorem[J]. Canad J Math, 1961, 13: 444-453. [CrossRef] [Google Scholar]
  3. Ludwig M. Ellipsoids and matrix-valued valuations[J]. Duke Math J, 2003, 119(1): 159-188. [MathSciNet] [Google Scholar]
  4. Ludwig M, Reitzner M. A classification of Formula invariant valuations[J]. Ann Math, 2010, 172(2): 1219-1267. [Google Scholar]
  5. Lutwak E, Yang D, Zhang G Y. A volume inequality for polar bodies[J]. J Differential Geom, 2010, 84(1): 163-178. [Google Scholar]
  6. Hernández Cifre M A, Nicolás J Y. On Brunn-Minkowski-type inequalities for polar bodies[J]. J Geom Anal, 2016, 26(1): 143-155. [CrossRef] [MathSciNet] [Google Scholar]
  7. Liu L. The polar Orlicz-Brunn-Minkowski inequalities[J]. Math Inequal Appl, 2020, 23(2): 653-662. [MathSciNet] [Google Scholar]
  8. Liu L J, Wang W. Formula contravariant Formula harmonic valuations on polytopes[J]. Discrete Comput Geom, 2021, 66(3): 977-995. [CrossRef] [MathSciNet] [Google Scholar]
  9. Wang W, Liu L J. Complex Formula affine isoperimetric inequalities[J]. Adv Appl Math, 2021, 122: 102108. [Google Scholar]
  10. Wang W. Formula equivariant matrix-valued valuations on polytopes[J]. Int Math Res Notices, 2022, 13:10302-10346. [Google Scholar]
  11. Mahler K. Ein minimalproblem für konvexe polygone[J]. Mathematica (Zutphen) B, 1939, 7: 118-127 (German). [Google Scholar]
  12. Mahler K. Ein Ü bertragungsprinzip für konvexe Körper[J]. Časopis Pěst Mat Fys, 1939, 68: 93-102 (German). [Google Scholar]
  13. Reisner S. Zonoids with minimal volume-product[J]. Math Z, 1986, 192(3): 339-346. [CrossRef] [MathSciNet] [Google Scholar]
  14. Meyer M. Convex bodies with minimal volume product in Formula [J]. Monatsh Math, 1991, 112(4): 297-301. [CrossRef] [MathSciNet] [Google Scholar]
  15. Iriyeh H, Shibata M. Symmetric Mahler's conjecture for the volume product in the 3-dimensional case[J]. Duke Math J, 2020, 169(6): 1077-1134. [Google Scholar]
  16. Schneider R. Convex Bodies: The Brunn-Minkowski Theory [M]. 2nd Edition. New York: Cambridge University Press, 2014. [Google Scholar]
  17. Artstein-Avidan S, Milman V. A characterization of the concept of duality, and the characterization of the Legendre transform[J]. Ann of Math, 2009, 169(2): 661-674. [Google Scholar]
  18. Artstein-Avidan S, Milman V. A characterization of the concept of duality[J]. Electron Res Anounc Math Sci, 2007, 14: 48-65. [Google Scholar]
  19. Artstein-Avidan S, Milman V. The concept of duality for measure projections of convex bodies[J]. J Funct Ananl, 2008, 254(10): 2648-2666. [Google Scholar]
  20. Artstein-Avidan S, Milman V. A new duality transform[J]. Geom Funct Anal, 2008, 346(21): 1143-148. [Google Scholar]
  21. Artstein-Avidan S, Milman V. A characterization of the support map[J]. Adv Math, 2010, 223(1): 379-391. [CrossRef] [MathSciNet] [Google Scholar]
  22. Artstein-Avidan S, Milman V. Hidden structures in the class of convex functions and a new duality transform[J]. J Eur Math Soc, 2010, 13(4): 975-1004. [Google Scholar]
  23. Gruber P M. The endomorphisms of the lattice of convex bodies[J]. Abh Math Sem Univ Hamburg, 1991, 61(1): 121-130. [Google Scholar]
  24. Gruber P M. The endomorphisms of the lattice of norms in finite dimensions[J]. Abh Math Sem Univ Hamburg, 1992, 62(1): 179-189. [Google Scholar]
  25. Abardia-Evequoz J, Colesanti A, Saorin-Gomez E. Minkowski additive operators under volume constraints[J]. J Geom Anal, 2018, 28(3): 2422-2455. [Google Scholar]
  26. Alesker S. Valuations on convex functions and convex sets and Monge-Ampere operators[J]. Adv Geom, 2019, 19(3): 313-322. [CrossRef] [MathSciNet] [Google Scholar]
  27. Hofstätter G C, Schuster F E. Blaschke-Santaló inequalities for Minkowski and Asplund endomorphisms[EB/OL]. [2022-08-10]. http://www.arXiv:2101.07031. [Google Scholar]
  28. Kiderlen M. Blaschke- and Minkowski-endomorphisms of convex bodies[J]. Trans Amer Math Soc, 2006, 358(12): 5539-5564. [Google Scholar]
  29. Slomka B. On duality and endomorphisms of lattices of closed convex sets[J]. Adv Geom, 2011, 11(2): 225-239. [CrossRef] [MathSciNet] [Google Scholar]
  30. Gardner R. Geometric Tomography[M]. New York: Cambridge University Press, 2006. [CrossRef] [Google Scholar]
  31. Gruber P M. Convex and Discrete Geometry[M]. Berlin:Springer-Verlag, 2007. [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.