Functional Brunn-Minkowski inequalities induced by polarity

DOI10.1016/J.AIM.2020.107006MaRDI QIDQ2302233zbMATH OpenOpenAlexFDO

Authors D. Florentin, S. Artstein-Avidan, Alexander Segal

Publication date 25 February 2020

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.08732

zbMATH Keywords

Brunn-Minkowski inequalityconcave functionalsconvex functionsinfimum convolutionintegral inequalitiesinterpolation

Mathematics Subject Classification ID

Convolution as an integral transform (44A35) Mixed volumes and related topics in convex geometry (52A39) Inequalities and extremum problems involving convexity in convex geometry (52A40)

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'{e}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.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 999526
• The polar -Brunn-Minkowski inequalities
• The polar Orlicz-Brunn-Minkowski inequalities
• Functional inequalities derived from the Brunn-Minkowski inequalities for quermassintegrals
• scientific article; zbMATH DE number 5846752
• On Brunn-Minkowski-type inequalities for polar bodies
• The Brunn-Minkowski theorem and related geometric and functional inequalities
• Brunn-Minkowski inequalities for two functionals involving thep-Laplace operator
• Brunn-Minkowski inequalities for variational functionals and related problems
• On Brunn-Minkowski type inequality

Cites work

• A Theorem on Convex Bodies of the Brunn-Minkowski Type
• Asymptotic geometric analysis. I
• Convex bodies and norms associated to convex measures
• Convex set functions in \(d\)-space
• Differential analysis of polarity: polar Hamilton-Jacobi, conservation laws, and Monge Ampère equations
• Eine Verallgemeinerung des Busemannschen Satzes vom Brunn-Minkowskischen Typ. (A generalization of Busemann's theorem of Brunn-Minkowski type)
• Hidden structures in the class of convex functions and a new duality transform
• scientific article; zbMATH DE number 3320765 (Why is no real title available?)
• scientific article; zbMATH DE number 3373547 (Why is no real title available?)
• scientific article; zbMATH DE number 3387680 (Why is no real title available?)
• Logarithmically concave functions and sections of convex sets in $R^{n}$
• On convexity of measures
• The Brunn-Minkowski inequality
• The concept of duality in convex analysis, and the characterization of the Legendre transform
• The geometry of \(p\)-convex intersection bodies
• Volume of the polar of random sets and shadow systems

Cited in

(21)

• Brunn-Minkowski and Prékopa-Leindler's inequalities under projection assumptions
• A functional Busemann intersection inequality
• Best approximation of functions by log-polynomials
• Geometry of log-concave functions: the L_p Asplund sum and the L_p Minkowski problem
• The equality cases in Steiner's projection inequality
• An inequality for the compositions of convex functions with convolutions and an alternative proof of the Brunn-Minkowski-Kemperman inequality
• Integral inequalities for infimal convolution and Hamilton-Jacobi equations
• Algebraically inspired results on convex functions and bodies
• scientific article; zbMATH DE number 5846752 (Why is no real title available?)
• scientific article; zbMATH DE number 999526 (Why is no real title available?)
• Brunn-Minkowski and Zhang inequalities for convolution bodies
• On the linear structures induced by the four order isomorphisms acting on \(\mathrm{Cvx}_0(\mathbb{R}^n)\)
• A Santaló-type inequality for the \(\mathcal{J}\) transform
• On the framework of \(L_p\) summations for functions
• On a geometric combination of functions related to Prékopa–Leindler inequality
• On Prékopa-Leindler type inequality for Sugeno integral
• A zoo of dualities
• Dualities, measure concentration and transportation
• L_p John ellipsoids for log-concave functions
• An affine isoperimetric inequality for log-concave functions
• The scaled polarity transform and related inequalities

This page was built for publication: Functional Brunn-Minkowski inequalities induced by polarity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2302233)