Abstract:We prove a new family of inequalities, which compare the integral of a geometric convolution of non-negative functions with the integrals of the original functions. For classical inf-convolution, this type of inequality is called the Prékopa-Leindler inequality, which, restricted to indicators of convex bodies, gives the classical Brunn-Minkowski inequality. The convolution we consider is a different one, which arises from the study of the polarity transform for functions. While inf-convolution arises as the pull back of usual addition of convex functions under the Legendre transform, our geometric inf-convolution arises as the pull back of the second order reversing transform on geometric convex functions (called either polarity transform or $A$-transform). These are, up to linear terms, the only order reversing isomorphisms on the class of geometric convex functions. We prove that the integral of this new geometric convolution of two functions is bounded from below by the harmonic average of the individual integrals. Our inequality implies the Brunn-Minkowski inequality, as well as some other, new, inequalities for volumes of bodies. Our inequalities are intimately connected with Busemann's convexity theorem, a new variant of which we prove for 1-convex hulls and log-concave densities.

Shapley–Folkman-type theorem for integrally convex sets

Shapley-Folkman-type Theorem for Integrally Convex Sets

Recent Progress on Integrally Convex Functions

Decomposition of an Integrally Convex Set into a Minkowski Sum of Bounded and Conic Integrally Convex Sets

Projection and Convolution Operations for Integrally Convex Functions

Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

A further investigation of convex integrals based on monotone measures

The Hake-McShane and Hake-Henstock-Kurzweil integrals over m-dimensional unbounded sets

Functional Brunn-Minkowski Inequalities Induced by Polarity

A Theorem on Lower Semicontinuity of Integral Functionals

Note on Minkowski Summation and Unimodularity in Discrete Convex Analysis

Polyak's convexity theorem, Yuan's lemma and S-lemma: extensions and applications

Some functional inequalities and inclusion relationships associated with certain families of integral operators

Alexandrov-Fenchel type inequalities with convex weight in space forms

New Criteria for Starlikness and Convexity of a Certain Family of Integral Operators

A Minkowski theorem for Meyer sets

Sumset estimates in convex geometry

Some New Integral Inequalities for Several Kinds of Convex Functions

Inverse Additive Problems for Minkowski Sumsets II

Integration of multifunctions with closed convex values in arbitrary Banach spaces

Relationship between two types of superdecomposition integrals on finite spaces