Functional Brunn-Minkowski inequalities induced by polarity (Q2302233)

The authors prove a new family of inequalities, which compares 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 new convolution arises from the study of the polarity transform for functions, specifically as the pullback of the second order reversing transform on geometric convex functions (called either polarity transform or $A$-transform). The main result proves that the integral of this new geometric convolution of two functions is bounded from below by the harmonic average of the individual integrals. This implies the Brunn-Minkowski inequality, as well as some other, new, inequalities for volumes of bodies; and are intimately connected with Busemann's convexity theorem, a new variant of which they prove for 1-convex hulls and log-concave densities.