On the $$L_p$$-Brunn–Minkowski and Dimensional Brunn–Minkowski Conjectures for Log-Concave Measures

Hosle, Johannes; Kolesnikov, Alexander V.; Livshyts, Galyna V.

doi:10.1007/s12220-020-00505-z

Abstract

We construct the extension of the curvilinear summation for bounded Borel measurable sets to the$$L_p$$ $L_{p}$ space for multiple power parameter$$\bar{\alpha }=(\alpha _1, \ldots , \alpha _{n+1})$$ $\bar{α} = (α_{1}, \dots, α_{n + 1})$ when$$p>0$$ $p > 0$ . Based on this$$L_{p,\bar{\alpha }}$$ $L_{p, \bar{α}}$ -curvilinear summation for sets and the concept ofcompressionof sets, the$$L_{p,\bar{\alpha }}$$ $L_{p, \bar{α}}$ -curvilinear-Brunn–Minkowski inequality for bounded Borel measurable sets and its normalized version are established. Furthermore, by utilizing the hypo-graphs for functions, we enact a brand new proof of$$L_{p,\bar{\alpha }}$$ $L_{p, \bar{α}}$ Borell–Brascamp–Lieb inequality, as well as its normalized version, for functions containing the special case of the$$L_{p}$$ $L_{p}$ Borell–Brascamp–Lieb inequality through the$$L_{p,\bar{\alpha }}$$ $L_{p, \bar{α}}$ -curvilinear-Brunn–Minkowski inequality for sets. Moreover, we propose the multiple power$$L_{p,\bar{\alpha }}$$ $L_{p, \bar{α}}$ -supremal-convolution for two functions together with its properties. Last but not least, we introduce the definition of the surface area originated from the variation formula of measure in terms of the$$L_{p,\bar{\alpha }}$$ $L_{p, \bar{α}}$ -curvilinear summation for sets as well as$$L_{p,\bar{\alpha }}$$ $L_{p, \bar{α}}$ -supremal-convolution for functions together with their corresponding Minkowski type inequalities and isoperimetric inequalities for$$p\ge 1,$$ $p \geq 1,$ etc.

More Like this