Journal of Function Spaces
Volume 2020 (2020), Article ID 3039598, 8 pages
https://doi.org/10.1155/2020/3039598

Research Article

Functional Geominimal Surface Area and Its Related Affine Isoperimetric Inequality

Niufa Fang¹ and Jin Yang²

¹Chern Institute of Mathematics, Nankai University, Tianjin 300071, China
²Department of Mathematics, Hubei Minzu University, Enshi, Hubei 445000, China

Correspondence should be addressed to Niufa Fang; fangniufa@nankai.edu.cn

Received 13 June 2020; Accepted 29 June 2020; Published 13 July 2020

Academic Editor: Chang-Jian Zhao

Copyright © 2020 Niufa Fang and Jin Yang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The first variation of the total mass of log-concave functions was studied by Colesanti and Fragalà, which includes the mixed volume of convex bodies. Using Colesanti and Fragalà’s first variation formula, we define the geominimal surface area for log-concave functions, and its related affine isoperimetric inequality is also established.

1. Introduction

As we have known, Minkowski addition (the vector addition of convex bodies) is the cornerstone in the classical Brunn-Minkowski theory. Combining with volume, it leads to the Brunn-Minkowski inequality that is one of the most important results in convex geometry. The first variation of volume with respect to Minkowski addition is named the first mixed volume, and its related inequality is the Minkowski inequality. For more history and developments of the Brunn-Minkowski inequality, one may refer to the excellent survey [1]. For instance, the Prékopa-Leindler inequality [2–8] is known as the functional version of the Brunn-Minkowski inequality. In recent years, finding the functional counterparts of existing geometric results, especially for log-concave functions, has been receiving intensive attentions (see, e.g., [9–34]).

In 2013, Colesanti and Fragalà [35] introduced the “Minkowski addition” and “scalar multiplication,” (where ), of log-concave functions and as

We remark that a function is log-concave if it has the form , where is convex. The total mass of is defined as

Similar to the case of convex bodies, Colesanti and Fragalà [35] considered the following variational

and it is called the first variation of at along . The first variation,, includes themixed volume when it restrictedandto the subclass of log-concave functions (see [35], Proposition 3.12).

Colesanti and Fragalà’s work inspired us a natural way to extend the geominimal surface area for convex bodies to the class of log-concave functions. For convenience, we recall the definition of geominimal surface area. For a convex body containing the origin in its interior, its geominimal surface area, , is defined as (the case , see Petty [36], and , see Lutwak [37])

where is the volume of the unit ball in -dimensional Euclidean space , is the polar body of defined by , denotes the class of convex bodies in that contain the origin in their interiors, and is the mixed volume (for detailed definition, see Section 2). The fundamental inequality for geominimal surface area is the following affine isoperimetric inequality (see, e.g., [37], Theorem 3.12):

with equality if and only if is an ellipsoid.

The geominimal surface area, , is an important notation in the Brunn-Minkowski theory, which serves as a bridge connecting affine differential geometry, relative differential geometry, and Minkowski geometry. In the past three decades, the geominimal surface area has developed rapidly (see [25, 38–42] for some of the pertinent results).

Since includes the mixed volume, we extend the geominimal surface area to the functional version as follows.

Definition 1. Let be an integral log-concave function and . The geominimal surface area of is defined as

where , and is the polar function of .

In Lemma 5, we prove that the above definition includes the geominimal surface area (4) when and restricted to the subclass of log-concave functions.

In order to study the functional geominimal surface area, we need the integral formula of . Hence, we need some notations. We write for the usual inner product of , and denotes the Euclidean normal of . We say that is an admissible perturbation for if there exists a constant such that is convex, where is the Legendre conjugate of . Let denote the set of log-concave functions given by function such that belongs to

Here, and

Colesanti and Fragalà ([35], Theorem 4.5) provided an integral formula for the first variation when and is an admissible perturbation for . For our aims, we consider the following optimization problem:

If the extremum in (9) exists, then it is denoted by .

In Section 3, we prove that for and , if is finite, then there exists a unique log-concave function such that

Similar to the geometric case, the unique log-concave function is called -Petty functions of and denoted by .

Using -Petty functions, we obtain the following analytic inequality with equality conditions involving .

Theorem 2. Suppose and . If has its barycenter at (i.e., ), then

with equality if and for and .

2. Background

2.1. Functional Setting

Letif for everyandit satisfies

we say is a convex function; let

By the convexity of , is a convex set. We say that is proper if . The Legendre conjugate of is the convex function defined by

Clearly, for all ; there is an equality if and only if and is in the subdifferential of at . Hence, it can be checked that

On the class of convex functions from to , the infimal convolution is defined by

and the right scalar multiplication by a nonnegative real number ,

It was proved in [21] (Proposition 2.1) that if are convex functions and , then

The following result will be used later.

Theorem 3 ([43], Theorem 10.9). Let be a relatively open convex set, and let be a sequence of finite convex functions on . Suppose that the real number is bounded for each . It is then possible to select a subsequence of which converges uniformly on closed bounded subsets of to some finite convex function .

The functional Blaschke-Santaló inequality states that let be nonnegative integrable functions on satisfying

If has its barycenter at , which means that , then

with equality if and only if there exists a positive definite matrix and such that, a.e. in ,

2.2. The First Variation of the Total Mass of Log-Concave Functions

In this paper, we set

The total mass functional of is defined as

The Gaussian function

plays within class the role of the ball in the set of convex bodies, and . For every , we write

From the definition of polar function and Legendre conjugate of function, we note that if , then

The support function of log-concave function is (see [44])

This is a proper generalization, in the sense that .

Let , and let , then

which in explicit form reads

The support function of satisfies

In particular,

Let . The first variation of at along is defined as

The existence of the above limit was proved by Colesanti and Fragalà [35], and with . In particular, for every with , then

The functional version of Minkowski first inequality reads as follows (see, e.g., [35], Theorem 5.1): let and assume that . Then,

with equality if and only if there exists such that for .

Let denote the set of convex bodies (compact, convex subsets with nonempty interiors) in the Euclidean space . We write for the set of convex bodies that contain the origin in their interiors. Let denote the -dimensional volume of convex body . The volume of the standard unit ball in is denoted by . A convex body is uniquely determined by its support function, which is defined as , where denotes the usual inner product in . The polar body of is defined by .

For real , , and real , the Minkowski-Firey combination is a convex body whose support function is given by

The mixed volume of convex bodies and is defined by

The existence of this limit is showed in [45].

The following result show that includes the mixed volume for convex bodies.

Proposition 4 ([35], Proposition 3.12). Let and . Let, and . Then, there exists a positive constant such that

with , and

We setas the subclasses ofgiven by the function such that belongs to

For log-concave function , the Borel measure on is defined by (see [35])

Here, is the -dimensional Hausdorff measure. We need the fact that the barycenter of is the origin; i.e.,

We recall that the log-concave function is an admissible perturbation for log-concave function if

is convex.

Colesanti and Fragalà [35] provided an integral representation of the first variation (see, e.g., [35], Theorem 4.5): let and and assume that is an admissible perturbation for . Then, is finite and is given by

3. Functional Geominimal Surface Areas

Analogy to convex bodies, for and , we consider the following optimization problem:

The following result shows that the above optimization problem includes Lutwak’s geominimal surface areas for convex bodies (4) when (up to a constant which is dependent onand). This is one of the reasons why is called the geominimal surface area for log-concave function .

Lemma 5. Let, , and . If, then

with for .

Proof. Let , , and . It is not hard to see that

Then, Proposition 4 tells us that

with .

From the definitions of geominimal surface area of convex bodies (4) and log-concave functions (44), we have

Since we need the integral representation of the first variation in dealing the problem (44), we focus on

for and . Trivially, .

We need the next lemma.

Lemma 6. Let and assume that is an admissible perturbation for . If, then

Proof. Let and . We note that

Since , we have

The following result shows that the functional geominimal surface area is affine invariant.

Lemma 7. Suppose and . If, then

Proof. By (51) and the definition of polar function (26), we have

for . Combing with Lemma 6, we have

Therefore, we obtain

for .

The following lemma was proved by Cordero-Erausquin and Klartag ([46], Lemma 16).

Lemma 8. Let be a finite Borel measure in , and let be the interior of . If and the barycenter of lies at the origin, then there exists a constant with the following property: for any nonnegative, -integrable, convex function ,

The next proposition shows that the infimum in the definition of the -geominimal surface area of log-concave function is a minimum.

Proposition 9. Let and . If is finite, then there exists a unique log-concave function such that

Proof. From the definition of , there exists a sequence such that , with for all , and

Let , then

First, we assume that are nonnegative and for all . In this case, from (14), we have

and

Letbe the interior of. By Lemma 8 and ((59)), we conclude thatare uniformly upper bound which is dependent only on. According to Theorem 3, there exists a subsequence that converges pointwise in to a convex function . We extend the definition of by setting for and for ,

This limit always exists in , since the function is nondecreasing for following from the convexity of and . Moreover, we have that as for any . Because is equivalent to (here, ), hence, there exits a log-concave function which satisfies the claim.

In the general case, there exist and such that are nonnegative and for all . The convexity of and ensures the finiteness of ; i.e., for some . Similar to the first case, we have

where . Lemma 8 deduces that

holds for . Moreover,

Therefore,

i.e.,

for any . Then, along the same line of the first case, we conclude that the claim of this proposition holds.

The uniqueness of the minimizing function is demonstrated as follows. Suppose , such that , and

i.e.,

Let and . Define , by

Then, from (18) and (70), we have

and by the basic inequality for and (18), we have

with equality if and only if . Therefore,

is the contradiction that would arise if it was the case that .

The unique function whose existence is guaranteed by Proposition 9 will be denoted by , and will be called the -Petty body of log-concave function (or the -Petty function). The polar function of will be denoted by , rather than . For and , the log-concave function is defined by

Lemma 10. If and , then for ,

Proof. From the definition of and Lemma 7,

Lemma 6 deduces

The uniqueness of Proposition 9 ensures that .

By the Blaschke-Santaló inequality, we obtain the following affine isoperimetric inequality for the functional geominimal surface area.

Theorem 11. Let and . If has its barycenter at , then

with equality if and for and .

Proof. Taking in (49), together with (33), we have,

i.e.,

By Blaschke-Santaló inequality (20) and the above inequality, we have

This is the desired inequality.

To obtain the equality condition, first assume that . Formula (77) tells us that

This shows that there is equality in (81). From the condition of Blaschke-Santaló inequality, we known that there exists a positive definite matrix and such that, a.e. in ,

Therefore, we obtain the equality condition, namely, and .

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare no conflict of interest.

Authors’ Contributions

All authors contributed equally to this work. All authors have read and agreed to the published version of this manuscript. The second author is the corresponding author.

Acknowledgments

N. Fang was supported in part by China Postdoctoral Science Foundation (No. 2019M651001). J. Yang was supported in part by NSFC (No. 11971005).

References

R. Gardner, “The Brunn-Minkowski inequality,” Bulletin of the American Mathematical Society, vol. 39, no. 3, pp. 355–405, 2002.

H. Brascamp and E. Lieb, “On extensions of the Brunn-Minkowski and Prékopa-Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation,” Journal of Functional Analysis, vol. 22, no. 4, pp. 366–389, 1976.

M. Fradelizi and M. Meyer, “Some functional inverse Santaló inequalities,” Advances in Mathematics, vol. 218, no. 5, pp. 1430–1452, 2008.

B. Klartag and V. D. Milman, “Geometry of log-concave functions and measures,” Geometriae Dedicata, vol. 112, no. 1, pp. 169–182, 2005.

L. Leindler, “On a certain converse of Hölder inequality II,” Acta Scientiarum Mathematicarum, vol. 33, pp. 217–223, 1972.

A. Prékopa, “Logarithmic concave measures with applications to stochastic programming,” Acta Scientiarum Mathematicarum, vol. 32, pp. 335–343, 1971.

A. Prékopa, “On logarithmic concave measures and functions,” Acta Scientiarum Mathematicarum, vol. 34, pp. 335–343, 1973.

A. Prékopa, “New proof for the basic theorem of logconcave measures Hungarian,” Alkalmazott Matematikai Lapja, vol. 1, pp. 385–389, 1975.

D. Alonso-Gutiérrez, “A reverse Rogers-Shephard inequality for log-concave functions,” The Journal of Geometric Analysis, vol. 29, no. 1, pp. 299–315, 2019.

D. Alonso-Gutiérrez, S. Artstein-Avidan, B. G. Merino, C. H. Jiménez, and R. Villa, “Rogers–Shephard and local Loomis–Whitney type inequalities,” Mathematische Annalen, vol. 374, no. 3-4, pp. 1719–1771, 2019.

D. Alonso-Gutiérrez, J. Bernues, and B. G. Merino, “An extension of Berwald's inequality and its relation to Zhang's inequality,” Journal of Mathematical Analysis and Applications, vol. 486, no. 1, p. 123875, 2020.

D. Alonso-Gutiérrez, J. Bernués, and B. G. Merino, “Zhang's inequality for log-concave functions,” https://arxiv.org/abs/1810.07507.

D. Alonso-Gutiérrez, B. G. Merino, C. H. Jiménez, and R. Villa, “Rogers–Shephard inequality for log-concave functions,” Journal of Functional Analysis, vol. 271, no. 11, pp. 3269–3299, 2016.

S. Artstein-Avidan, B. Klartag, and V. Milman, “The Santaló point of a function, and a functional form of the Santaló inequality,” Mathematika, vol. 51, no. 1-2, pp. 33–48, 2004.

S. Artstein-Avidan, B. Klartag, C. Schütt, and E. M. Werner, “Functional affine-isoperimetry and an inverse logarithmic Sobolev inequality,” Journal of Functional Analysis, vol. 262, no. 9, pp. 4181–4204, 2012.

S. Artstein-Avidan and V. Milman, “The concept of duality in convex analysis, and the characterization of the Legendre transform,” Annals of Mathematics, vol. 169, no. 2, pp. 661–674, 2009.

S. Artstein-Avidan and B. A. Slomka, “A note on Santaló inequality for the polarity transform and its reverse,” Proceedings of the American Mathematical Society, vol. 143, no. 4, pp. 1693–1704, 2015.

S. Artstein-Avidan and B. A. Slomka, “Functional covering numbers,” Journal of Geometric Analysis, 2019.

K. Ball, “Logarithmically concave functions and sections of convex sets in $R^{n}$,” Studia Mathematica, vol. 88, no. 1, pp. 69–84, 1988.

M. Barchiesia, G. M. Caprianib, N. Fusco, and G. Pisante, “Stability of Pólya–Szegő inequality for log-concave functions,” Journal of Functional Analysis, vol. 267, no. 7, pp. 2264–2297, 2014.

F. Barthe, K. J. Böröczky, and M. Fradelizi, “Stability of the functional forms of the Blaschke-Santaló inequality,” Monatshefte für Mathematik, vol. 173, no. 2, pp. 135–159, 2014.

U. Caglar, M. Fradelizi, O. Guedon, J. Lehec, C. Schütt, and E. M. Werner, “Functional versions of -affine surface area and entropy inequalities,” International Mathematics Research Notices, vol. 2016, no. 4, pp. 1223–1250, 2016.

U. Caglar and E. M. Werner, “Divergence for -concave and log concave functions,” Advances in Mathematics, vol. 257, pp. 219–247, 2014.

U. Caglar and E. M. Werner, “Mixed -divergence and inequalities for log-concave functions,” Proceedings of the London Mathematical Society, vol. 110, no. 2, pp. 271–290, 2015.

U. Caglar and D. Ye, “Affine isoperimetric inequalities in the functional Orlicz-Brunn-Minkowski theory,” Advances in Applied Mathematics, vol. 81, pp. 78–114, 2016.

M. Fradelizi and M. Meyer, “Some functional forms of Blaschke-Santaló inequality,” Mathematische Zeitschrift, vol. 256, no. 2, pp. 379–395, 2007.

Q. Huang and A. Li, “The functional version of the Ball inequality,” Proceedings of the American Mathematical Society, vol. 145, no. 8, pp. 3531–3541, 2017.

J. Lehec, “A direct proof of the functional Santaló inequality,” Comptes Rendus Mathematique, vol. 347, no. 1-2, pp. 55–58, 2009.

J. Lehec, “Partitions and functional Santaló inequalities,” Archiv der Mathematik, vol. 92, no. 1, pp. 89–94, 2009.

B. Li, C. Schütt, and E. M. Werner, “Floating functions,” Israel Journal of Mathematics, vol. 231, no. 1, pp. 181–210, 2019.

Y. Lin, “Affine Orlicz Pólya-Szegö principle for log-concave functions,” Journal of Functional Analysis, vol. 273, no. 10, pp. 3295–3326, 2017.

V. Milman and L. Rotem, “Mixed integrals and related inequalities,” Journal of Functional Analysis, vol. 264, no. 2, pp. 570–604, 2013.

F. Mussnig, “Volume, polar volume and Euler characteristic for convex functions,” Advances in Mathematics, vol. 344, pp. 340–373, 2019.

L. Rotem, “Support functions and mean width for α-concave functions,” Advances in Mathematics, vol. 243, pp. 168–186, 2013.

A. Colesanti and I. Fragalà, “The first variation of the total mass of log-concave functions and related inequalities,” Advances in Mathematics, vol. 244, pp. 708–749, 2013.

C. M. Petty, “Geominimal surface area,” Geometriae Dedicata, vol. 3, pp. 77–97, 1974.

E. Lutwak, “The Brunn–Minkowski–Firey theory II,” Advances in Mathematics, vol. 118, no. 2, pp. 244–294, 1996.

D. Ye, “Lp geominimal surface areas and their inequalities,” International Mathematics Research Notices, vol. 9, pp. 2465–2498, 2015.

D. Ye, “Dual Orlicz–Brunn–Minkowski theory: dual Orlicz affine and geominimal surface areas,” Journal of Mathematical Analysis and Applications, vol. 443, no. 1, pp. 352–371, 2016.

D. Ye, B. Zhu, and J. Zhou, “The mixed $Lp$ geominimal surface areas for multiple convex bodies,” Indiana University Mathematics Journal, vol. 64, no. 5, pp. 1513–1552, 2015.

B. Zhu, N. Li, and J. Zhou, “Isoperimetric inequalities for geominimal surface area,” Glasgow Mathematical Journal, vol. 53, no. 3, pp. 717–726, 2011.

B. Zhu, J. Zhou, and W. Xu, “Lp mixed geominimal surface area,” Journal of Mathematical Analysis and Applications, vol. 422, no. 2, pp. 1247–1263, 2015.

T. Rockafellar, Convex Analysis, Princeton University Press, Princeton, 1970.

L. Rotem, “On the mean width of log-concave functions,” in Geometric Aspects of Functional Analysis, B. Klartag, S. Mendelson, and V. Milman, Eds., vol. 2050 of Lecture Notes in Mathematics, Springer, Berlin, Heidelberg, 2012.

E. Lutwak, “The Brunn-Minkowski-Firey theory I Mixed volumes and the Minkowski problem,” Journal of Differential Geometry, vol. 38, pp. 131–150, 1993.

D. Cordero-Erausquin and B. Klartag, “Moment measures,” Journal of Functional Analysis, vol. 268, no. 12, pp. 3834–3866, 2015.